runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (10700 MiB free)
memory of node 1: 16384 MiB (12484 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301456-1532881290/watcher-4301456-1532881290 -o /tmp/evaluation-result-4301456-1532881290/solver-4301456-1532881290 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532878307-6427 --watchdog 312 HOME/xcsp3-exec -seed 786143405 -dir HOME -tl 252 -ml 11000 -p 1 HOME/instance-4301456-1532881290.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=8916, runsolver pid=8913
[startup+0.10016 s]*
/proc/loadavg: 1.92 1.83 1.82 3/218 8932
/proc/meminfo: memFree=23724680/32770624 swapFree=67108860/67108860
[pid=8916] ppid=8913 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8916/stat : 8916 (xcsp3-exec) S 8913 8916 6396 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105692156 115843072 363 33554432000 4194304 5098028 140724000265008 140724000263112 140681909138044 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 22380544 140724000273473 140724000273673 140724000273673 140724000276426 0
/proc/8916/statm: 28282 363 305 221 0 87 0
[pid=8918] ppid=8916 vsize=14082940 memory=28684 CPUtime=0.11 cores=0,2,4,6
/proc/8918/stat : 8918 (java) S 8916 8916 6396 0 -1 1077944320 5559 0 0 0 10 1 0 0 20 0 15 0 105692156 14420930560 7171 33554432000 4194304 4196468 140725521937440 140725521919984 139824443162359 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
/proc/8918/statm: 3520735 7171 3013 1 0 3483012 0
[pid=8918/tid=8919] ppid=8916 vsize=14082940 memory=7900621750270137179 CPUtime=0.09 cores=0,2,4,6
/proc/8918/task/8919/stat : 8919 (java) R 8916 8916 6396 0 -1 4202560 3532 0 0 0 8 1 0 0 20 0 15 0 105692157 14420930560 7171 33554432000 4194304 4196468 140725521937440 139824447388608 139824443174294 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8920] ppid=8916 vsize=14082940 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8920/stat : 8920 (java) S 8916 8916 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105692157 14420930560 7171 33554432000 4194304 4196468 140725521937440 139824406268304 139824443172565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8921] ppid=8916 vsize=14082940 memory=139821915133568 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8921/stat : 8921 (java) S 8916 8916 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105692157 14420930560 7171 33554432000 4194304 4196468 140725521937440 139824038340880 139824443172565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8922] ppid=8916 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8922/stat : 8922 (java) S 8916 8916 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105692157 14420930560 7171 33554432000 4194304 4196468 140725521937440 139824037288592 139824443172565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8923] ppid=8916 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8923/stat : 8923 (java) S 8916 8916 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105692157 14420930560 7171 33554432000 4194304 4196468 140725521937440 139824036235792 139824443172565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8924] ppid=8916 vsize=14082940 memory=139821915133568 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8924/stat : 8924 (java) S 8916 8916 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105692159 14420930560 7171 33554432000 4194304 4196468 140725521937440 139823624071792 139824443173506 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8925] ppid=8916 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8925/stat : 8925 (java) S 8916 8916 6396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105692159 14420930560 7171 33554432000 4194304 4196468 140725521937440 139823623017760 139824443172565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8926] ppid=8916 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8926/stat : 8926 (java) S 8916 8916 6396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105692159 14420930560 7171 33554432000 4194304 4196468 140725521937440 139823621965424 139824443172565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8927] ppid=8916 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8927/stat : 8927 (java) S 8916 8916 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105692162 14420930560 7171 33554432000 4194304 4196468 140725521937440 139823620913744 139824443180955 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8928] ppid=8916 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8928/stat : 8928 (java) S 8916 8916 6396 0 -1 1077944384 313 0 0 0 0 0 0 0 20 0 15 0 105692162 14420930560 7171 33554432000 4194304 4196468 140725521937440 139823619860592 139824443173506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8929] ppid=8916 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8929/stat : 8929 (java) S 8916 8916 6396 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 105692162 14420930560 7171 33554432000 4194304 4196468 140725521937440 139823618807792 139824443173506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8930] ppid=8916 vsize=14082940 memory=139821915133568 CPUtime=0.01 cores=0,2,4,6
/proc/8918/task/8930/stat : 8930 (java) R 8916 8916 6396 0 -1 4202560 293 0 0 0 1 0 0 0 20 0 15 0 105692162 14420930560 7171 33554432000 4194304 4196468 140725521937440 139823617755504 139824427242846 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8931] ppid=8916 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8931/stat : 8931 (java) S 8916 8916 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105692162 14420930560 7171 33554432000 4194304 4196468 140725521937440 139823616702944 139824443172565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8932] ppid=8916 vsize=14082940 memory=139821915133568 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8932/stat : 8932 (java) S 8916 8916 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105692162 14420930560 7171 33554432000 4194304 4196468 140725521937440 139823615650736 139824443173506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30136 KiB
[startup+0.212903 s]*
/proc/loadavg: 1.92 1.83 1.82 4/218 8932
/proc/meminfo: memFree=23713788/32770624 swapFree=67108860/67108860
[pid=8916] ppid=8913 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8916/stat : 8916 (xcsp3-exec) S 8913 8916 6396 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105692156 115843072 363 33554432000 4194304 5098028 140724000265008 140724000263112 140681909138044 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 22380544 140724000273473 140724000273673 140724000273673 140724000276426 0
/proc/8916/statm: 28282 363 305 221 0 87 0
[pid=8918] ppid=8916 vsize=14082940 memory=41236 CPUtime=0.34 cores=0,2,4,6
/proc/8918/stat : 8918 (java) S 8916 8916 6396 0 -1 1077944320 8371 0 0 0 32 2 0 0 20 0 15 0 105692156 14420930560 10309 33554432000 4194304 4196468 140725521937440 140725521919984 139824443162359 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
/proc/8918/statm: 3520735 10309 3187 1 0 3483012 0
[pid=8918/tid=8919] ppid=8916 vsize=14082940 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/8918/task/8919/stat : 8919 (java) R 8916 8916 6396 0 -1 4202560 5461 0 0 0 18 1 0 0 20 0 15 0 105692157 14420930560 10309 33554432000 4194304 4196468 140725521937440 139824447397344 139824427242846 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8920] ppid=8916 vsize=14082940 memory=12591 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8920/stat : 8920 (java) S 8916 8916 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105692157 14420930560 10373 33554432000 4194304 4196468 140725521937440 139824406268304 139824443172565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8921] ppid=8916 vsize=14082940 memory=139821915751960 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8921/stat : 8921 (java) S 8916 8916 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105692157 14420930560 10373 33554432000 4194304 4196468 140725521937440 139824038340880 139824443172565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8922] ppid=8916 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8922/stat : 8922 (java) S 8916 8916 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105692157 14420930560 10373 33554432000 4194304 4196468 140725521937440 139824037288592 139824443172565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8923] ppid=8916 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8923/stat : 8923 (java) S 8916 8916 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105692157 14420930560 10373 33554432000 4194304 4196468 140725521937440 139824036235792 139824443172565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8924] ppid=8916 vsize=14082940 memory=139821915133568 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8924/stat : 8924 (java) S 8916 8916 6396 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105692159 14420930560 10373 33554432000 4194304 4196468 140725521937440 139823624071792 139824443173506 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8925] ppid=8916 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8925/stat : 8925 (java) S 8916 8916 6396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105692159 14420930560 10373 33554432000 4194304 4196468 140725521937440 139823623017760 139824443172565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8926] ppid=8916 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8926/stat : 8926 (java) S 8916 8916 6396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105692159 14420930560 10373 33554432000 4194304 4196468 140725521937440 139823621965424 139824443172565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8927] ppid=8916 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8927/stat : 8927 (java) S 8916 8916 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105692162 14420930560 10373 33554432000 4194304 4196468 140725521937440 139823620913744 139824443180955 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8928] ppid=8916 vsize=14082940 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/8918/task/8928/stat : 8928 (java) S 8916 8916 6396 0 -1 1077944384 446 0 0 0 2 0 0 0 20 0 15 0 105692162 14420930560 10373 33554432000 4194304 4196468 140725521937440 139823619860592 139824443173506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8929] ppid=8916 vsize=14082940 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/8918/task/8929/stat : 8929 (java) S 8916 8916 6396 0 -1 1077944384 372 0 0 0 2 0 0 0 20 0 15 0 105692162 14420930560 10373 33554432000 4194304 4196468 140725521937440 139823618807792 139824443173506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8930] ppid=8916 vsize=14082940 memory=139821915133568 CPUtime=0.07 cores=0,2,4,6
/proc/8918/task/8930/stat : 8930 (java) S 8916 8916 6396 0 -1 1077944384 795 0 0 0 7 0 0 0 20 0 15 0 105692162 14420930560 10373 33554432000 4194304 4196468 140725521937440 139823617755504 139824443173506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8931] ppid=8916 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8931/stat : 8931 (java) S 8916 8916 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105692162 14420930560 10373 33554432000 4194304 4196468 140725521937440 139823616702944 139824443172565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8932] ppid=8916 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8932/stat : 8932 (java) S 8916 8916 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105692162 14420930560 10373 33554432000 4194304 4196468 140725521937440 139823615650736 139824443173506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42688 KiB
[startup+0.310713 s]*
/proc/loadavg: 1.92 1.83 1.82 5/218 8932
/proc/meminfo: memFree=23708080/32770624 swapFree=67108860/67108860
[pid=8916] ppid=8913 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8916/stat : 8916 (xcsp3-exec) S 8913 8916 6396 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105692156 115843072 363 33554432000 4194304 5098028 140724000265008 140724000263112 140681909138044 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 22380544 140724000273473 140724000273673 140724000273673 140724000276426 0
/proc/8916/statm: 28282 363 305 221 0 87 0
[pid=8918] ppid=8916 vsize=14087196 memory=47964 CPUtime=0.52 cores=0,2,4,6
/proc/8918/stat : 8918 (java) S 8916 8916 6396 0 -1 1077944320 9176 0 0 0 49 3 0 0 20 0 15 0 105692156 14425288704 11991 33554432000 4194304 4196468 140725521937440 140725521919984 139824443162359 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
/proc/8918/statm: 3521799 11991 3253 1 0 3483012 0
[pid=8918/tid=8919] ppid=8916 vsize=14087196 memory=8112282956445269571 CPUtime=0.29 cores=0,2,4,6
/proc/8918/task/8919/stat : 8919 (java) R 8916 8916 6396 0 -1 4202560 6120 0 0 0 27 2 0 0 20 0 15 0 105692157 14425288704 12004 33554432000 4194304 4196468 140725521937440 139824447393472 139824427242846 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8920] ppid=8916 vsize=14087196 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8920/stat : 8920 (java) S 8916 8916 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105692157 14425288704 12004 33554432000 4194304 4196468 140725521937440 139824406268304 139824443172565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8921] ppid=8916 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8921/stat : 8921 (java) S 8916 8916 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105692157 14425288704 12004 33554432000 4194304 4196468 140725521937440 139824038340880 139824443172565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8922] ppid=8916 vsize=14087196 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8922/stat : 8922 (java) S 8916 8916 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105692157 14425288704 12004 33554432000 4194304 4196468 140725521937440 139824037288592 139824443172565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8923] ppid=8916 vsize=14087196 memory=7379517710693473142 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8923/stat : 8923 (java) S 8916 8916 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105692157 14425288704 12004 33554432000 4194304 4196468 140725521937440 139824036235792 139824443172565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8924] ppid=8916 vsize=14087196 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8924/stat : 8924 (java) S 8916 8916 6396 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105692159 14425288704 12004 33554432000 4194304 4196468 140725521937440 139823624071792 139824443173506 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8925] ppid=8916 vsize=14087196 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8925/stat : 8925 (java) S 8916 8916 6396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105692159 14425288704 12004 33554432000 4194304 4196468 140725521937440 139823623017760 139824443172565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8926] ppid=8916 vsize=14087196 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8926/stat : 8926 (java) S 8916 8916 6396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105692159 14425288704 12004 33554432000 4194304 4196468 140725521937440 139823621965424 139824443172565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8927] ppid=8916 vsize=14087196 memory=-8412660965215072671 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8927/stat : 8927 (java) S 8916 8916 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105692162 14425288704 12004 33554432000 4194304 4196468 140725521937440 139823620913744 139824443180955 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8928] ppid=8916 vsize=14087196 memory=-7384621950708166502 CPUtime=0.05 cores=0,2,4,6
/proc/8918/task/8928/stat : 8928 (java) R 8916 8916 6396 0 -1 4202560 525 0 0 0 5 0 0 0 20 0 15 0 105692162 14425288704 12004 33554432000 4194304 4196468 140725521937440 139823619850976 139824424685649 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8929] ppid=8916 vsize=14087196 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/8918/task/8929/stat : 8929 (java) S 8916 8916 6396 0 -1 1077944384 381 0 0 0 3 0 0 0 20 0 15 0 105692162 14425288704 12004 33554432000 4194304 4196468 140725521937440 139823618807792 139824443173506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8930] ppid=8916 vsize=14087196 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/8918/task/8930/stat : 8930 (java) S 8916 8916 6396 0 -1 1077944384 856 0 0 0 12 0 0 0 20 0 15 0 105692162 14425288704 12004 33554432000 4194304 4196468 140725521937440 139823617755504 139824443173506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8931] ppid=8916 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8931/stat : 8931 (java) S 8916 8916 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105692162 14425288704 12004 33554432000 4194304 4196468 140725521937440 139823616702944 139824443172565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8932] ppid=8916 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8932/stat : 8932 (java) S 8916 8916 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105692162 14425288704 12004 33554432000 4194304 4196468 140725521937440 139823615650736 139824443173506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49416 KiB
[startup+0.700792 s]
/proc/loadavg: 1.92 1.83 1.82 6/218 8932
/proc/meminfo: memFree=23686248/32770624 swapFree=67108860/67108860
[pid=8916] ppid=8913 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8916/stat : 8916 (xcsp3-exec) S 8913 8916 6396 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105692156 115843072 363 33554432000 4194304 5098028 140724000265008 140724000263112 140681909138044 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 22380544 140724000273473 140724000273673 140724000273673 140724000276426 0
/proc/8916/statm: 28282 363 305 221 0 87 0
[pid=8918] ppid=8916 vsize=14089320 memory=91708 CPUtime=1.75 cores=0,2,4,6
/proc/8918/stat : 8918 (java) S 8916 8916 6396 0 -1 1077944320 13582 0 0 0 169 6 0 0 20 0 15 0 105692156 14427463680 22927 33554432000 4194304 4196468 140725521937440 140725521919984 139824443162359 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
/proc/8918/statm: 3522330 22927 3360 1 0 3483524 0
[pid=8918/tid=8919] ppid=8916 vsize=14089320 memory=33 CPUtime=0.67 cores=0,2,4,6
/proc/8918/task/8919/stat : 8919 (java) R 8916 8916 6396 0 -1 4202560 7019 0 0 0 64 3 0 0 20 0 15 0 105692157 14427463680 22927 33554432000 4194304 4196468 140725521937440 139824447401008 139824079862420 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8920] ppid=8916 vsize=14089320 memory=-7816663703405220396 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8920/stat : 8920 (java) S 8916 8916 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105692157 14427463680 22927 33554432000 4194304 4196468 140725521937440 139824406268304 139824443172565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8921] ppid=8916 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8921/stat : 8921 (java) S 8916 8916 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105692157 14427463680 22927 33554432000 4194304 4196468 140725521937440 139824038340880 139824443172565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8922] ppid=8916 vsize=14089320 memory=30092 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8922/stat : 8922 (java) S 8916 8916 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105692157 14427463680 22927 33554432000 4194304 4196468 140725521937440 139824037288592 139824443172565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8923] ppid=8916 vsize=14089320 memory=1292 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8923/stat : 8923 (java) S 8916 8916 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105692157 14427463680 22927 33554432000 4194304 4196468 140725521937440 139824036235792 139824443172565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8924] ppid=8916 vsize=14089320 memory=2416 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8924/stat : 8924 (java) S 8916 8916 6396 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105692159 14427463680 22927 33554432000 4194304 4196468 140725521937440 139823624071792 139824443173506 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8925] ppid=8916 vsize=14089320 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8925/stat : 8925 (java) S 8916 8916 6396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105692159 14427463680 22927 33554432000 4194304 4196468 140725521937440 139823623017760 139824443172565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8926] ppid=8916 vsize=14089320 memory=1704 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8926/stat : 8926 (java) S 8916 8916 6396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105692159 14427463680 22927 33554432000 4194304 4196468 140725521937440 139823621965424 139824443172565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8927] ppid=8916 vsize=14089320 memory=796 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8927/stat : 8927 (java) S 8916 8916 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105692162 14427463680 22927 33554432000 4194304 4196468 140725521937440 139823620913744 139824443180955 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8928] ppid=8916 vsize=14089320 memory=5408 CPUtime=0.35 cores=0,2,4,6
/proc/8918/task/8928/stat : 8928 (java) S 8916 8916 6396 0 -1 1077944384 1414 0 0 0 35 0 0 0 20 0 15 0 105692162 14427463680 22927 33554432000 4194304 4196468 140725521937440 139823619860592 139824443173506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8929] ppid=8916 vsize=14089320 memory=1008 CPUtime=0.32 cores=0,2,4,6
/proc/8918/task/8929/stat : 8929 (java) S 8916 8916 6396 0 -1 1077944384 1702 0 0 0 32 0 0 0 20 0 15 0 105692162 14427463680 22927 33554432000 4194304 4196468 140725521937440 139823618807792 139824443173506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8930] ppid=8916 vsize=14089320 memory=9992 CPUtime=0.38 cores=0,2,4,6
/proc/8918/task/8930/stat : 8930 (java) R 8916 8916 6396 0 -1 1077944384 2137 0 0 0 37 1 0 0 20 0 15 0 105692162 14427463680 22927 33554432000 4194304 4196468 140725521937440 139823617755504 139824443173506 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8931] ppid=8916 vsize=14089320 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8931/stat : 8931 (java) S 8916 8916 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105692162 14427463680 22927 33554432000 4194304 4196468 140725521937440 139823616702944 139824443172565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8932] ppid=8916 vsize=14089320 memory=1952 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8932/stat : 8932 (java) S 8916 8916 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105692162 14427463680 22927 33554432000 4194304 4196468 140725521937440 139823615650736 139824443173506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
Current children cumulated CPU time: 1.75 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 93160 KiB
[startup+1.50089 s]
/proc/loadavg: 1.92 1.83 1.82 3/218 8932
/proc/meminfo: memFree=23663112/32770624 swapFree=67108860/67108860
[pid=8916] ppid=8913 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8916/stat : 8916 (xcsp3-exec) S 8913 8916 6396 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105692156 115843072 363 33554432000 4194304 5098028 140724000265008 140724000263112 140681909138044 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 22380544 140724000273473 140724000273673 140724000273673 140724000276426 0
/proc/8916/statm: 28282 363 305 221 0 87 0
################
# More data... #
################
[pid=8918/tid=8924] ppid=8916 vsize=14089320 memory=1452 CPUtime=0.01 cores=0,2,4,6
/proc/8918/task/8924/stat : 8924 (java) S 8916 8916 6396 0 -1 1077944384 933 0 0 0 1 0 0 0 20 0 15 0 105692159 14427463680 54268 33554432000 4194304 4196468 140725521937440 139823624071792 139824443173506 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 15 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8925] ppid=8916 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8925/stat : 8925 (java) S 8916 8916 6396 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 105692159 14427463680 54268 33554432000 4194304 4196468 140725521937440 139823623017760 139824443172565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8926] ppid=8916 vsize=14089320 memory=4128 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8926/stat : 8926 (java) S 8916 8916 6396 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 105692159 14427463680 54268 33554432000 4194304 4196468 140725521937440 139823621965424 139824443172565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8927] ppid=8916 vsize=14089320 memory=30092 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8927/stat : 8927 (java) S 8916 8916 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105692162 14427463680 54268 33554432000 4194304 4196468 140725521937440 139823620913744 139824443180955 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8928] ppid=8916 vsize=14089320 memory=279643576401632 CPUtime=2.79 cores=0,2,4,6
/proc/8918/task/8928/stat : 8928 (java) S 8916 8916 6396 0 -1 1077944384 14738 0 0 0 278 1 0 0 20 0 15 0 105692162 14427463680 54268 33554432000 4194304 4196468 140725521937440 139823619860592 139824443173506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8929] ppid=8916 vsize=14089320 memory=6656426216303648864 CPUtime=2.59 cores=0,2,4,6
/proc/8918/task/8929/stat : 8929 (java) S 8916 8916 6396 0 -1 1077944384 16410 0 0 0 257 2 0 0 20 0 15 0 105692162 14427463680 54268 33554432000 4194304 4196468 140725521937440 139823618807792 139824443173506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 30 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8930] ppid=8916 vsize=14089320 memory=4128 CPUtime=0.58 cores=0,2,4,6
/proc/8918/task/8930/stat : 8930 (java) S 8916 8916 6396 0 -1 1077944384 5981 0 0 0 56 2 0 0 20 0 15 0 105692162 14427463680 54268 33554432000 4194304 4196468 140725521937440 139823617755504 139824443173506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 31 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8931] ppid=8916 vsize=14089320 memory=30092 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8931/stat : 8931 (java) S 8916 8916 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105692162 14427463680 54268 33554432000 4194304 4196468 140725521937440 139823616702944 139824443172565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8932] ppid=8916 vsize=14089320 memory=1292 CPUtime=0.03 cores=0,2,4,6
/proc/8918/task/8932/stat : 8932 (java) S 8916 8916 6396 0 -1 1077944384 847 0 0 0 2 1 0 0 20 0 15 0 105692162 14427463680 54268 33554432000 4194304 4196468 140725521937440 139823615650736 139824443173506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 32 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
Current children cumulated CPU time: 108.35 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 218524 KiB
[startup+162.301 s]
/proc/loadavg: 2.02 1.91 1.86 3/218 9012
/proc/meminfo: memFree=23513308/32770624 swapFree=67108860/67108860
[pid=8916] ppid=8913 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8916/stat : 8916 (xcsp3-exec) S 8913 8916 6396 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105692156 115843072 363 33554432000 4194304 5098028 140724000265008 140724000263112 140681909138044 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 22380544 140724000273473 140724000273673 140724000273673 140724000276426 0
/proc/8916/statm: 28282 363 305 221 0 87 0
[pid=8918] ppid=8916 vsize=14089320 memory=226488 CPUtime=168.74 cores=0,2,4,6
/proc/8918/stat : 8918 (java) S 8916 8916 6396 0 -1 1077944320 62718 0 0 0 16855 19 0 0 20 0 15 0 105692156 14427463680 56622 33554432000 4194304 4196468 140725521937440 140725521919984 139824443162359 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
/proc/8918/statm: 3522330 56622 3414 1 0 3483524 0
[pid=8918/tid=8919] ppid=8916 vsize=14089320 memory=1452 CPUtime=162.19 cores=0,2,4,6
/proc/8918/task/8919/stat : 8919 (java) R 8916 8916 6396 0 -1 4202560 12512 0 0 0 16215 4 0 0 20 0 15 0 105692157 14427463680 56622 33554432000 4194304 4196468 140725521937440 139824447401808 139824086938979 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8920] ppid=8916 vsize=14089320 memory=226488 CPUtime=0.03 cores=0,2,4,6
/proc/8918/task/8920/stat : 8920 (java) S 8916 8916 6396 0 -1 1077944384 1690 0 0 0 2 1 0 0 20 0 15 0 105692157 14427463680 56622 33554432000 4194304 4196468 140725521937440 139824406268304 139824443172565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8921] ppid=8916 vsize=14089320 memory=226488 CPUtime=0.03 cores=0,2,4,6
/proc/8918/task/8921/stat : 8921 (java) S 8916 8916 6396 0 -1 1077944384 1218 0 0 0 2 1 0 0 20 0 15 0 105692157 14427463680 56622 33554432000 4194304 4196468 140725521937440 139824038340880 139824443172565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8922] ppid=8916 vsize=14089320 memory=1452 CPUtime=0.03 cores=0,2,4,6
/proc/8918/task/8922/stat : 8922 (java) S 8916 8916 6396 0 -1 1077944384 1957 0 0 0 2 1 0 0 20 0 15 0 105692157 14427463680 56622 33554432000 4194304 4196468 140725521937440 139824037288592 139824443172565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8923] ppid=8916 vsize=14089320 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/8918/task/8923/stat : 8923 (java) S 8916 8916 6396 0 -1 1077944384 780 0 0 0 2 1 0 0 20 0 15 0 105692157 14427463680 56622 33554432000 4194304 4196468 140725521937440 139824036235792 139824443172565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8924] ppid=8916 vsize=14089320 memory=1952 CPUtime=0.01 cores=0,2,4,6
/proc/8918/task/8924/stat : 8924 (java) S 8916 8916 6396 0 -1 1077944384 1286 0 0 0 1 0 0 0 20 0 15 0 105692159 14427463680 56622 33554432000 4194304 4196468 140725521937440 139823624071792 139824443173506 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 15 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8925] ppid=8916 vsize=14089320 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8925/stat : 8925 (java) S 8916 8916 6396 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 105692159 14427463680 56622 33554432000 4194304 4196468 140725521937440 139823623017760 139824443172565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8926] ppid=8916 vsize=14089320 memory=226488 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8926/stat : 8926 (java) S 8916 8916 6396 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 105692159 14427463680 56622 33554432000 4194304 4196468 140725521937440 139823621965424 139824443172565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8927] ppid=8916 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8927/stat : 8927 (java) S 8916 8916 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105692162 14427463680 56622 33554432000 4194304 4196468 140725521937440 139823620913744 139824443180955 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8928] ppid=8916 vsize=14089320 memory=8112282956445269571 CPUtime=2.93 cores=0,2,4,6
/proc/8918/task/8928/stat : 8928 (java) S 8916 8916 6396 0 -1 1077944384 16600 0 0 0 292 1 0 0 20 0 15 0 105692162 14427463680 56622 33554432000 4194304 4196468 140725521937440 139823619860592 139824443173506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8929] ppid=8916 vsize=14089320 memory=17224 CPUtime=2.76 cores=0,2,4,6
/proc/8918/task/8929/stat : 8929 (java) S 8916 8916 6396 0 -1 1077944384 17692 0 0 0 274 2 0 0 20 0 15 0 105692162 14427463680 56622 33554432000 4194304 4196468 140725521937440 139823618807792 139824443173506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 30 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8930] ppid=8916 vsize=14089320 memory=1428 CPUtime=0.58 cores=0,2,4,6
/proc/8918/task/8930/stat : 8930 (java) S 8916 8916 6396 0 -1 1077944384 6771 0 0 0 56 2 0 0 20 0 15 0 105692162 14427463680 56622 33554432000 4194304 4196468 140725521937440 139823617755504 139824443173506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 31 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8931] ppid=8916 vsize=14089320 memory=15876 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8931/stat : 8931 (java) S 8916 8916 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105692162 14427463680 56622 33554432000 4194304 4196468 140725521937440 139823616702944 139824443172565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8932] ppid=8916 vsize=14089320 memory=226488 CPUtime=0.04 cores=0,2,4,6
/proc/8918/task/8932/stat : 8932 (java) S 8916 8916 6396 0 -1 1077944384 862 0 0 0 2 2 0 0 20 0 15 0 105692162 14427463680 56622 33554432000 4194304 4196468 140725521937440 139823615650736 139824443173506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 32 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
Current children cumulated CPU time: 168.74 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 227940 KiB
[startup+222.301 s]
/proc/loadavg: 1.94 1.91 1.86 3/217 9014
/proc/meminfo: memFree=23528236/32770624 swapFree=67108860/67108860
[pid=8916] ppid=8913 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8916/stat : 8916 (xcsp3-exec) S 8913 8916 6396 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105692156 115843072 363 33554432000 4194304 5098028 140724000265008 140724000263112 140681909138044 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 22380544 140724000273473 140724000273673 140724000273673 140724000276426 0
/proc/8916/statm: 28282 363 305 221 0 87 0
[pid=8918] ppid=8916 vsize=14089320 memory=216780 CPUtime=228.76 cores=0,2,4,6
/proc/8918/stat : 8918 (java) S 8916 8916 6396 0 -1 1077944320 63500 0 0 0 22856 20 0 0 20 0 15 0 105692156 14427463680 54195 33554432000 4194304 4196468 140725521937440 140725521919984 139824443162359 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
/proc/8918/statm: 3522330 54195 3414 1 0 3483524 0
[pid=8918/tid=8919] ppid=8916 vsize=14089320 memory=1452 CPUtime=222.17 cores=0,2,4,6
/proc/8918/task/8919/stat : 8919 (java) R 8916 8916 6396 0 -1 4202560 12873 0 0 0 22213 4 0 0 20 0 15 0 105692157 14427463680 54195 33554432000 4194304 4196468 140725521937440 139824447401856 139824086200958 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8920] ppid=8916 vsize=14089320 memory=1452 CPUtime=0.03 cores=0,2,4,6
/proc/8918/task/8920/stat : 8920 (java) S 8916 8916 6396 0 -1 1077944384 1699 0 0 0 2 1 0 0 20 0 15 0 105692157 14427463680 54195 33554432000 4194304 4196468 140725521937440 139824406268304 139824443172565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8921] ppid=8916 vsize=14089320 memory=219860 CPUtime=0.03 cores=0,2,4,6
/proc/8918/task/8921/stat : 8921 (java) S 8916 8916 6396 0 -1 1077944384 1345 0 0 0 2 1 0 0 20 0 15 0 105692157 14427463680 54195 33554432000 4194304 4196468 140725521937440 139824038340880 139824443172565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8922] ppid=8916 vsize=14089320 memory=1452 CPUtime=0.03 cores=0,2,4,6
/proc/8918/task/8922/stat : 8922 (java) S 8916 8916 6396 0 -1 1077944384 1965 0 0 0 2 1 0 0 20 0 15 0 105692157 14427463680 54195 33554432000 4194304 4196468 140725521937440 139824037288592 139824443172565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8923] ppid=8916 vsize=14089320 memory=304556123141439514 CPUtime=0.03 cores=0,2,4,6
/proc/8918/task/8923/stat : 8923 (java) S 8916 8916 6396 0 -1 1077944384 787 0 0 0 2 1 0 0 20 0 15 0 105692157 14427463680 54195 33554432000 4194304 4196468 140725521937440 139824036235792 139824443172565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8924] ppid=8916 vsize=14089320 memory=288230621803970871 CPUtime=0.02 cores=0,2,4,6
/proc/8918/task/8924/stat : 8924 (java) S 8916 8916 6396 0 -1 1077944384 1372 0 0 0 2 0 0 0 20 0 15 0 105692159 14427463680 54195 33554432000 4194304 4196468 140725521937440 139823624071792 139824443173506 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 15 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8925] ppid=8916 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8925/stat : 8925 (java) S 8916 8916 6396 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 105692159 14427463680 54195 33554432000 4194304 4196468 140725521937440 139823623017760 139824443172565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8926] ppid=8916 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8926/stat : 8926 (java) S 8916 8916 6396 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 105692159 14427463680 54195 33554432000 4194304 4196468 140725521937440 139823621965424 139824443172565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8927] ppid=8916 vsize=14089320 memory=216780 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8927/stat : 8927 (java) S 8916 8916 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105692162 14427463680 54195 33554432000 4194304 4196468 140725521937440 139823620913744 139824443180955 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8928] ppid=8916 vsize=14089320 memory=216780 CPUtime=2.93 cores=0,2,4,6
/proc/8918/task/8928/stat : 8928 (java) S 8916 8916 6396 0 -1 1077944384 16601 0 0 0 292 1 0 0 20 0 15 0 105692162 14427463680 54195 33554432000 4194304 4196468 140725521937440 139823619860592 139824443173506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8929] ppid=8916 vsize=14089320 memory=1228 CPUtime=2.76 cores=0,2,4,6
/proc/8918/task/8929/stat : 8929 (java) S 8916 8916 6396 0 -1 1077944384 17698 0 0 0 274 2 0 0 20 0 15 0 105692162 14427463680 54195 33554432000 4194304 4196468 140725521937440 139823618807792 139824443173506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 30 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8930] ppid=8916 vsize=14089320 memory=4128 CPUtime=0.59 cores=0,2,4,6
/proc/8918/task/8930/stat : 8930 (java) S 8916 8916 6396 0 -1 1077944384 6921 0 0 0 57 2 0 0 20 0 15 0 105692162 14427463680 54195 33554432000 4194304 4196468 140725521937440 139823617755504 139824443173506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 31 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8931] ppid=8916 vsize=14089320 memory=30100 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8931/stat : 8931 (java) S 8916 8916 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105692162 14427463680 54195 33554432000 4194304 4196468 140725521937440 139823616702944 139824443172565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8932] ppid=8916 vsize=14089320 memory=1292 CPUtime=0.06 cores=0,2,4,6
/proc/8918/task/8932/stat : 8932 (java) S 8916 8916 6396 0 -1 1077944384 889 0 0 0 3 3 0 0 20 0 15 0 105692162 14427463680 54195 33554432000 4194304 4196468 140725521937440 139823615650736 139824443173506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 32 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
Current children cumulated CPU time: 228.76 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 218232 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+245.601 s]
/proc/loadavg: 1.90 1.90 1.86 3/217 9014
/proc/meminfo: memFree=23538040/32770624 swapFree=67108860/67108860
[pid=8916] ppid=8913 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8916/stat : 8916 (xcsp3-exec) S 8913 8916 6396 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105692156 115843072 363 33554432000 4194304 5098028 140724000265008 140724000263112 140681909138044 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 22380544 140724000273473 140724000273673 140724000273673 140724000276426 0
/proc/8916/statm: 28282 363 305 221 0 87 0
[pid=8918] ppid=8916 vsize=14089320 memory=208576 CPUtime=252.07 cores=0,2,4,6
/proc/8918/stat : 8918 (java) S 8916 8916 6396 0 -1 1077944320 64009 0 0 0 25187 20 0 0 20 0 15 0 105692156 14427463680 52144 33554432000 4194304 4196468 140725521937440 140725521919984 139824443162359 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
/proc/8918/statm: 3522330 52144 3414 1 0 3483524 0
[pid=8918/tid=8919] ppid=8916 vsize=14089320 memory=1292 CPUtime=245.46 cores=0,2,4,6
/proc/8918/task/8919/stat : 8919 (java) R 8916 8916 6396 0 -1 4202560 12897 0 0 0 24542 4 0 0 20 0 15 0 105692157 14427463680 52144 33554432000 4194304 4196468 140725521937440 139824447401856 139824086238902 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8920] ppid=8916 vsize=14089320 memory=8112282956445269571 CPUtime=0.04 cores=0,2,4,6
/proc/8918/task/8920/stat : 8920 (java) S 8916 8916 6396 0 -1 1077944384 1702 0 0 0 3 1 0 0 20 0 15 0 105692157 14427463680 52144 33554432000 4194304 4196468 140725521937440 139824406268304 139824443172565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8921] ppid=8916 vsize=14089320 memory=1728 CPUtime=0.04 cores=0,2,4,6
/proc/8918/task/8921/stat : 8921 (java) S 8916 8916 6396 0 -1 1077944384 1345 0 0 0 3 1 0 0 20 0 15 0 105692157 14427463680 52144 33554432000 4194304 4196468 140725521937440 139824038340880 139824443172565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8922] ppid=8916 vsize=14089320 memory=1704 CPUtime=0.04 cores=0,2,4,6
/proc/8918/task/8922/stat : 8922 (java) S 8916 8916 6396 0 -1 1077944384 1967 0 0 0 3 1 0 0 20 0 15 0 105692157 14427463680 52144 33554432000 4194304 4196468 140725521937440 139824037288592 139824443172565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8923] ppid=8916 vsize=14089320 memory=796 CPUtime=0.03 cores=0,2,4,6
/proc/8918/task/8923/stat : 8923 (java) S 8916 8916 6396 0 -1 1077944384 787 0 0 0 2 1 0 0 20 0 15 0 105692157 14427463680 52144 33554432000 4194304 4196468 140725521937440 139824036235792 139824443172565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8924] ppid=8916 vsize=14089320 memory=5408 CPUtime=0.02 cores=0,2,4,6
/proc/8918/task/8924/stat : 8924 (java) S 8916 8916 6396 0 -1 1077944384 1379 0 0 0 2 0 0 0 20 0 15 0 105692159 14427463680 52144 33554432000 4194304 4196468 140725521937440 139823624071792 139824443173506 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 15 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8925] ppid=8916 vsize=14089320 memory=208576 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8925/stat : 8925 (java) S 8916 8916 6396 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 105692159 14427463680 52144 33554432000 4194304 4196468 140725521937440 139823623017760 139824443172565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8926] ppid=8916 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8926/stat : 8926 (java) S 8916 8916 6396 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 105692159 14427463680 52144 33554432000 4194304 4196468 140725521937440 139823621965424 139824443172565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8927] ppid=8916 vsize=14089320 memory=208572 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8927/stat : 8927 (java) S 8916 8916 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105692162 14427463680 52144 33554432000 4194304 4196468 140725521937440 139823620913744 139824443180955 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8928] ppid=8916 vsize=14089320 memory=3200 CPUtime=2.93 cores=0,2,4,6
/proc/8918/task/8928/stat : 8928 (java) S 8916 8916 6396 0 -1 1077944384 16601 0 0 0 292 1 0 0 20 0 15 0 105692162 14427463680 52144 33554432000 4194304 4196468 140725521937440 139823619860592 139824443173506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8929] ppid=8916 vsize=14089320 memory=1452 CPUtime=2.76 cores=0,2,4,6
/proc/8918/task/8929/stat : 8929 (java) S 8916 8916 6396 0 -1 1077944384 17698 0 0 0 274 2 0 0 20 0 15 0 105692162 14427463680 52144 33554432000 4194304 4196468 140725521937440 139823618807792 139824443173506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 30 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8930] ppid=8916 vsize=14089320 memory=8112282956445269571 CPUtime=0.59 cores=0,2,4,6
/proc/8918/task/8930/stat : 8930 (java) S 8916 8916 6396 0 -1 1077944384 7392 0 0 0 57 2 0 0 20 0 15 0 105692162 14427463680 52144 33554432000 4194304 4196468 140725521937440 139823617755504 139824443173506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 31 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8931] ppid=8916 vsize=14089320 memory=796 CPUtime=0 cores=0,2,4,6
/proc/8918/task/8931/stat : 8931 (java) S 8916 8916 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105692162 14427463680 52144 33554432000 4194304 4196468 140725521937440 139823616702944 139824443172565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
[pid=8918/tid=8932] ppid=8916 vsize=14089320 memory=5408 CPUtime=0.06 cores=0,2,4,6
/proc/8918/task/8932/stat : 8932 (java) S 8916 8916 6396 0 -1 1077944384 891 0 0 0 3 3 0 0 20 0 15 0 105692162 14427463680 52144 33554432000 4194304 4196468 140725521937440 139823615650736 139824443173506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 32 0 0 6293624 6294260 27680768 140725521941644 140725521941814 140725521941814 140725521944527 0
Current children cumulated CPU time: 252.07 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 210028 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+245.615 s]
# the end of solver process 8916 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.89 s, system=0.213672 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 245.615
CPU time (s): 252.103
CPU user time (s): 251.89
CPU system time (s): 0.213672
CPU usage (%): 102.642
Max. virtual memory (cumulated for all children) (KiB): 14202448
Max. memory (cumulated for all children) (KiB): 228972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.89
system time used= 0.213672
maximum resident set size= 233548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64864
page faults= 0
swaps= 0
block input operations= 0
block output operations= 432
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8102
involuntary context switches= 256
# summary of solver processes directly reported to runsolver:
# pid: 8916
# total CPU time (s): 252.103
# total CPU user time (s): 251.89
# total CPU system time (s): 0.213672
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.49972 second user time and 2.27954 second system time
The end