runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4254329-1501612753/watcher-4254329-1501612753 -o /tmp/evaluation-result-4254329-1501612753/solver-4254329-1501612753 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node131-1501611152-5191 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1393214587 HOME/instance-4254329-1501612753.xml
pid=5976
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.73 1.79 1.13 3/195 5979
/proc/meminfo: memFree=31793424/32770624 swapFree=0/183616
[pid=5979] ppid=5976 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/5979/stat : 5979 (runsolver) D 5976 5979 5131 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 9895565 24240128 106 18446744073709551615 4194304 4338465 140725073906608 140725073904248 139959978185431 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 15917056 140725073911901 140725073912390 140725073912390 140725073915850 0
/proc/5979/statm: 5918 106 53 36 0 2156 0
[startup+0.110073 s]
/proc/loadavg: 1.73 1.79 1.13 3/195 5979
/proc/meminfo: memFree=31793424/32770624 swapFree=0/183616
[pid=5979] ppid=5976 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5979/stat : 5979 (xcsp3-exec) S 5976 5979 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9895565 9740288 345 18446744073709551615 4194304 5098028 140734929014384 140734929012488 140055297340028 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 24821760 140734929023387 140734929023591 140734929023591 140734929027051 0
/proc/5979/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200296 s]
/proc/loadavg: 1.73 1.79 1.13 3/195 5979
/proc/meminfo: memFree=31793424/32770624 swapFree=0/183616
[pid=5979] ppid=5976 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5979/stat : 5979 (xcsp3-exec) S 5976 5979 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9895565 9740288 345 18446744073709551615 4194304 5098028 140734929014384 140734929012488 140055297340028 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 24821760 140734929023387 140734929023591 140734929023591 140734929027051 0
/proc/5979/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300509 s]
/proc/loadavg: 1.73 1.79 1.13 3/195 5979
/proc/meminfo: memFree=31793424/32770624 swapFree=0/183616
[pid=5979] ppid=5976 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5979/stat : 5979 (xcsp3-exec) S 5976 5979 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9895565 9740288 345 18446744073709551615 4194304 5098028 140734929014384 140734929012488 140055297340028 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 24821760 140734929023387 140734929023591 140734929023591 140734929027051 0
/proc/5979/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.701115 s]
/proc/loadavg: 1.73 1.79 1.13 3/195 5979
/proc/meminfo: memFree=31793424/32770624 swapFree=0/183616
[pid=5979] ppid=5976 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5979/stat : 5979 (xcsp3-exec) S 5976 5979 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9895565 9740288 345 18446744073709551615 4194304 5098028 140734929014384 140734929012488 140055297340028 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 24821760 140734929023387 140734929023591 140734929023591 140734929027051 0
/proc/5979/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50067 s]
/proc/loadavg: 1.73 1.79 1.13 5/211 5995
/proc/meminfo: memFree=31726104/32770624 swapFree=0/183640
[pid=5979] ppid=5976 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5979/stat : 5979 (xcsp3-exec) S 5976 5979 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9895565 9740288 345 18446744073709551615 4194304 5098028 140734929014384 140734929012488 140055297340028 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 24821760 140734929023387 140734929023591 140734929023591 140734929027051 0
/proc/5979/statm: 2378 345 289 221 0 87 0
[pid=5981] ppid=5979 vsize=13982384 CPUtime=3.6 cores=0,2,4,6
/proc/5981/stat : 5981 (java) S 5979 5979 5131 0 -1 1077944320 24734 0 0 0 354 6 0 0 20 0 15 0 9895572 14317961216 24173 18446744073709551615 4194304 4196468 140736134354752 140736134337296 140214116884215 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
/proc/5981/statm: 3495596 24173 3180 1 0 3483897 0
[pid=5981/tid=5982] ppid=5979 vsize=13982384 CPUtime=1.33 cores=0,2,4,6
/proc/5981/task/5982/stat : 5982 (java) R 5979 5979 5131 0 -1 4202560 9124 0 0 0 129 4 0 0 20 0 15 0 9895572 14317961216 24173 18446744073709551615 4194304 4196468 140736134354752 140214121121744 140213724589107 0 4 1 16800974 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
[pid=5981/tid=5983] ppid=5979 vsize=13982384 CPUtime=0 cores=0,2,4,6
/proc/5981/task/5983/stat : 5983 (java) S 5979 5979 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9895573 14317961216 24173 18446744073709551615 4194304 4196468 140736134354752 140214051318288 140214116894421 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
[pid=5981/tid=5984] ppid=5979 vsize=13982384 CPUtime=0 cores=0,2,4,6
/proc/5981/task/5984/stat : 5984 (java) S 5979 5979 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9895573 14317961216 24173 18446744073709551615 4194304 4196468 140736134354752 140214050265744 140214116894421 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
[pid=5981/tid=5985] ppid=5979 vsize=13982384 CPUtime=0 cores=0,2,4,6
/proc/5981/task/5985/stat : 5985 (java) S 5979 5979 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9895573 14317961216 24173 18446744073709551615 4194304 4196468 140736134354752 140214049212688 140214116894421 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
[pid=5981/tid=5986] ppid=5979 vsize=13982384 CPUtime=0 cores=0,2,4,6
/proc/5981/task/5986/stat : 5986 (java) S 5979 5979 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9895573 14317961216 24173 18446744073709551615 4194304 4196468 140736134354752 140214048160144 140214116894421 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
[pid=5981/tid=5987] ppid=5979 vsize=13982384 CPUtime=0 cores=0,2,4,6
/proc/5981/task/5987/stat : 5987 (java) S 5979 5979 5131 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 9895574 14317961216 24173 18446744073709551615 4194304 4196468 140736134354752 140213595114224 140214116895362 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
[pid=5981/tid=5988] ppid=5979 vsize=13982384 CPUtime=0 cores=0,2,4,6
/proc/5981/task/5988/stat : 5988 (java) S 5979 5979 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9895575 14317961216 24173 18446744073709551615 4194304 4196468 140736134354752 140213594060448 140214116894421 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
[pid=5981/tid=5989] ppid=5979 vsize=13982384 CPUtime=0 cores=0,2,4,6
/proc/5981/task/5989/stat : 5989 (java) S 5979 5979 5131 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9895575 14317961216 24173 18446744073709551615 4194304 4196468 140736134354752 140213593007344 140214116894421 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
[pid=5981/tid=5990] ppid=5979 vsize=13982384 CPUtime=0 cores=0,2,4,6
/proc/5981/task/5990/stat : 5990 (java) S 5979 5979 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9895577 14317961216 24173 18446744073709551615 4194304 4196468 140736134354752 140213591955920 140214116902811 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
[pid=5981/tid=5991] ppid=5979 vsize=13982384 CPUtime=0.91 cores=0,2,4,6
/proc/5981/task/5991/stat : 5991 (java) R 5979 5979 5131 0 -1 4202560 6540 0 0 0 91 0 0 0 20 0 15 0 9895577 14317961216 24173 18446744073709551615 4194304 4196468 140736134354752 140213590889000 140214096570913 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
[pid=5981/tid=5992] ppid=5979 vsize=13982384 CPUtime=0.92 cores=0,2,4,6
/proc/5981/task/5992/stat : 5992 (java) R 5979 5979 5131 0 -1 4202560 5067 0 0 0 92 0 0 0 20 0 15 0 9895577 14317961216 24173 18446744073709551615 4194304 4196468 140736134354752 140213589840272 140214101686425 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
[pid=5981/tid=5993] ppid=5979 vsize=13982384 CPUtime=0.42 cores=0,2,4,6
/proc/5981/task/5993/stat : 5993 (java) S 5979 5979 5131 0 -1 1077944384 2688 0 0 0 41 1 0 0 20 0 15 0 9895577 14317961216 24173 18446744073709551615 4194304 4196468 140736134354752 140213588797424 140214116895362 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
[pid=5981/tid=5994] ppid=5979 vsize=13982384 CPUtime=0 cores=0,2,4,6
/proc/5981/task/5994/stat : 5994 (java) S 5979 5979 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9895578 14317961216 24173 18446744073709551615 4194304 4196468 140736134354752 140213587745120 140214116894421 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
[pid=5981/tid=5995] ppid=5979 vsize=13982384 CPUtime=0 cores=0,2,4,6
/proc/5981/task/5995/stat : 5995 (java) S 5979 5979 5131 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 9895587 14317961216 24173 18446744073709551615 4194304 4196468 140736134354752 140213586693168 140214116895362 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
Current children cumulated CPU time (s) 3.6
Current children cumulated vsize (KiB) 13991896
[startup+3.1007 s]
/proc/loadavg: 1.73 1.79 1.13 3/211 5995
/proc/meminfo: memFree=31695380/32770624 swapFree=0/183640
[pid=5979] ppid=5976 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5979/stat : 5979 (xcsp3-exec) S 5976 5979 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9895565 9740288 345 18446744073709551615 4194304 5098028 140734929014384 140734929012488 140055297340028 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 24821760 140734929023387 140734929023591 140734929023591 140734929027051 0
/proc/5979/statm: 2378 345 289 221 0 87 0
[pid=5981] ppid=5979 vsize=13980732 CPUtime=5.93 cores=0,2,4,6
/proc/5981/stat : 5981 (java) S 5979 5979 5131 0 -1 1077944320 26768 0 0 0 586 7 0 0 20 0 15 0 9895572 14316269568 32026 18446744073709551615 4194304 4196468 140736134354752 140736134337296 140214116884215 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
/proc/5981/statm: 3495183 32026 3182 1 0 3483484 0
[pid=5981/tid=5982] ppid=5979 vsize=13980732 CPUtime=2.92 cores=0,2,4,6
/proc/5981/task/5982/stat : 5982 (java) R 5979 5979 5131 0 -1 4202560 9334 0 0 0 288 4 0 0 20 0 15 0 9895572 14316269568 32026 18446744073709551615 4194304 4196468 140736134354752 140214121121088 140213725058919 0 4 1 16800974 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
[pid=5981/tid=5983] ppid=5979 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5981/task/5983/stat : 5983 (java) S 5979 5979 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9895573 14316269568 32026 18446744073709551615 4194304 4196468 140736134354752 140214051318288 140214116894421 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
[pid=5981/tid=5984] ppid=5979 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5981/task/5984/stat : 5984 (java) S 5979 5979 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9895573 14316269568 32026 18446744073709551615 4194304 4196468 140736134354752 140214050265744 140214116894421 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
[pid=5981/tid=5985] ppid=5979 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5981/task/5985/stat : 5985 (java) S 5979 5979 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9895573 14316269568 32026 18446744073709551615 4194304 4196468 140736134354752 140214049212688 140214116894421 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
[pid=5981/tid=5986] ppid=5979 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5981/task/5986/stat : 5986 (java) S 5979 5979 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9895573 14316269568 32026 18446744073709551615 4194304 4196468 140736134354752 140214048160144 140214116894421 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
[pid=5981/tid=5987] ppid=5979 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5981/task/5987/stat : 5987 (java) S 5979 5979 5131 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 9895574 14316269568 32026 18446744073709551615 4194304 4196468 140736134354752 140213595114224 140214116895362 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
[pid=5981/tid=5988] ppid=5979 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5981/task/5988/stat : 5988 (java) S 5979 5979 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9895575 14316269568 32026 18446744073709551615 4194304 4196468 140736134354752 140213594060448 140214116894421 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
[pid=5981/tid=5989] ppid=5979 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5981/task/5989/stat : 5989 (java) S 5979 5979 5131 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9895575 14316269568 32026 18446744073709551615 4194304 4196468 140736134354752 140213593007344 140214116894421 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
[pid=5981/tid=5990] ppid=5979 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5981/task/5990/stat : 5990 (java) S 5979 5979 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9895577 14316269568 32026 18446744073709551615 4194304 4196468 140736134354752 140213591955920 140214116902811 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
[pid=5981/tid=5991] ppid=5979 vsize=13980732 CPUtime=1.31 cores=0,2,4,6
/proc/5981/task/5991/stat : 5991 (java) S 5979 5979 5131 0 -1 1077944384 7979 0 0 0 130 1 0 0 20 0 15 0 9895577 14316269568 32026 18446744073709551615 4194304 4196468 140736134354752 140213590903024 140214116895362 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
[pid=5981/tid=5992] ppid=5979 vsize=13980732 CPUtime=1.23 cores=0,2,4,6
/proc/5981/task/5992/stat : 5992 (java) S 5979 5979 5131 0 -1 1077944384 5373 0 0 0 123 0 0 0 20 0 15 0 9895577 14316269568 32026 18446744073709551615 4194304 4196468 140736134354752 140213589850480 140214116895362 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
[pid=5981/tid=5993] ppid=5979 vsize=13980732 CPUtime=0.44 cores=0,2,4,6
/proc/5981/task/5993/stat : 5993 (java) S 5979 5979 5131 0 -1 1077944384 2725 0 0 0 43 1 0 0 20 0 15 0 9895577 14316269568 32026 18446744073709551615 4194304 4196468 140736134354752 140213588797424 140214116895362 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
[pid=5981/tid=5994] ppid=5979 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5981/task/5994/stat : 5994 (java) S 5979 5979 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9895578 14316269568 32026 18446744073709551615 4194304 4196468 140736134354752 140213587745120 140214116894421 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
[pid=5981/tid=5995] ppid=5979 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5981/task/5995/stat : 5995 (java) S 5979 5979 5131 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 9895587 14316269568 32026 18446744073709551615 4194304 4196468 140736134354752 140213586693168 140214116895362 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
Current children cumulated CPU time (s) 5.93
Current children cumulated vsize (KiB) 13990244
[startup+6.30073 s]
/proc/loadavg: 1.83 1.81 1.14 3/211 5995
/proc/meminfo: memFree=31635988/32770624 swapFree=0/183648
[pid=5979] ppid=5976 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5979/stat : 5979 (xcsp3-exec) S 5976 5979 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9895565 9740288 345 18446744073709551615 4194304 5098028 140734929014384 140734929012488 140055297340028 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 24821760 140734929023387 140734929023591 140734929023591 140734929027051 0
/proc/5979/statm: 2378 345 289 221 0 87 0
[pid=5981] ppid=5979 vsize=13980732 CPUtime=9.33 cores=0,2,4,6
/proc/5981/stat : 5981 (java) S 5979 5979 5131 0 -1 1077944320 29644 0 0 0 924 9 0 0 20 0 15 0 9895572 14316269568 46015 18446744073709551615 4194304 4196468 140736134354752 140736134337296 140214116884215 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
/proc/5981/statm: 3495183 46015 3186 1 0 3483484 0
[pid=5981/tid=5982] ppid=5979 vsize=13980732 CPUtime=6.12 cores=0,2,4,6
/proc/5981/task/5982/stat : 5982 (java) R 5979 5979 5131 0 -1 4202560 9983 0 0 0 607 5 0 0 20 0 15 0 9895572 14316269568 46015 18446744073709551615 4194304 4196468 140736134354752 140214121120768 140213724929524 0 4 1 16800974 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
[pid=5981/tid=5983] ppid=5979 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5981/task/5983/stat : 5983 (java) S 5979 5979 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9895573 14316269568 46015 18446744073709551615 4194304 4196468 140736134354752 140214051318288 140214116894421 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
[pid=5981/tid=5984] ppid=5979 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5981/task/5984/stat : 5984 (java) S 5979 5979 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9895573 14316269568 46015 18446744073709551615 4194304 4196468 140736134354752 140214050265744 140214116894421 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
[pid=5981/tid=5985] ppid=5979 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5981/task/5985/stat : 5985 (java) S 5979 5979 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9895573 14316269568 46015 18446744073709551615 4194304 4196468 140736134354752 140214049212688 140214116894421 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
[pid=5981/tid=5986] ppid=5979 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5981/task/5986/stat : 5986 (java) S 5979 5979 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9895573 14316269568 46015 18446744073709551615 4194304 4196468 140736134354752 140214048160144 140214116894421 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
[pid=5981/tid=5987] ppid=5979 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5981/task/5987/stat : 5987 (java) S 5979 5979 5131 0 -1 1077944384 317 0 0 0 0 0 0 0 20 0 15 0 9895574 14316269568 46015 18446744073709551615 4194304 4196468 140736134354752 140213595114224 140214116895362 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
[pid=5981/tid=5988] ppid=5979 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5981/task/5988/stat : 5988 (java) S 5979 5979 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9895575 14316269568 46015 18446744073709551615 4194304 4196468 140736134354752 140213594060448 140214116894421 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
[pid=5981/tid=5989] ppid=5979 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5981/task/5989/stat : 5989 (java) S 5979 5979 5131 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9895575 14316269568 46015 18446744073709551615 4194304 4196468 140736134354752 140213593007344 140214116894421 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
[pid=5981/tid=5990] ppid=5979 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5981/task/5990/stat : 5990 (java) S 5979 5979 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9895577 14316269568 46015 18446744073709551615 4194304 4196468 140736134354752 140213591955920 140214116902811 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
[pid=5981/tid=5991] ppid=5979 vsize=13980732 CPUtime=1.42 cores=0,2,4,6
/proc/5981/task/5991/stat : 5991 (java) S 5979 5979 5131 0 -1 1077944384 8024 0 0 0 141 1 0 0 20 0 15 0 9895577 14316269568 46015 18446744073709551615 4194304 4196468 140736134354752 140213590903024 140214116895362 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
[pid=5981/tid=5992] ppid=5979 vsize=13980732 CPUtime=1.29 cores=0,2,4,6
/proc/5981/task/5992/stat : 5992 (java) S 5979 5979 5131 0 -1 1077944384 5603 0 0 0 129 0 0 0 20 0 15 0 9895577 14316269568 46015 18446744073709551615 4194304 4196468 140736134354752 140213589850480 140214116895362 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
[pid=5981/tid=5993] ppid=5979 vsize=13980732 CPUtime=0.46 cores=0,2,4,6
/proc/5981/task/5993/stat : 5993 (java) S 5979 5979 5131 0 -1 1077944384 3697 0 0 0 45 1 0 0 20 0 15 0 9895577 14316269568 46015 18446744073709551615 4194304 4196468 140736134354752 140213588797424 140214116895362 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
[pid=5981/tid=5994] ppid=5979 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5981/task/5994/stat : 5994 (java) S 5979 5979 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9895578 14316269568 46015 18446744073709551615 4194304 4196468 140736134354752 140213587745120 140214116894421 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
[pid=5981/tid=5995] ppid=5979 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5981/task/5995/stat : 5995 (java) S 5979 5979 5131 0 -1 1077944384 720 0 0 0 0 0 0 0 20 0 15 0 9895587 14316269568 46015 18446744073709551615 4194304 4196468 140736134354752 140213586693168 140214116895362 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
Current children cumulated CPU time (s) 9.33
Current children cumulated vsize (KiB) 13990244
[startup+12.7007 s]
/proc/loadavg: 1.84 1.82 1.14 3/211 5996
/proc/meminfo: memFree=31610540/32770624 swapFree=0/183652
[pid=5979] ppid=5976 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5979/stat : 5979 (xcsp3-exec) S 5976 5979 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9895565 9740288 345 18446744073709551615 4194304 5098028 140734929014384 140734929012488 140055297340028 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 24821760 140734929023387 140734929023591 140734929023591 140734929027051 0
/proc/5979/statm: 2378 345 289 221 0 87 0
[pid=5981] ppid=5979 vsize=13980732 CPUtime=15.88 cores=0,2,4,6
/proc/5981/stat : 5981 (java) S 5979 5979 5131 0 -1 1077944320 33573 0 0 0 1578 10 0 0 20 0 15 0 9895572 14316269568 49171 18446744073709551615 4194304 4196468 140736134354752 140736134337296 140214116884215 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
/proc/5981/statm: 3495183 49171 3210 1 0 3483484 0
[pid=5981/tid=5982] ppid=5979 vsize=13980732 CPUtime=12.51 cores=0,2,4,6
/proc/5981/task/5982/stat : 5982 (java) R 5979 5979 5131 0 -1 4202560 10464 0 0 0 1246 5 0 0 20 0 15 0 9895572 14316269568 49171 18446744073709551615 4194304 4196468 140736134354752 140214121123568 140213724788053 0 4 1 16800974 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
[pid=5981/tid=5983] ppid=5979 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5981/task/5983/stat : 5983 (java) S 5979 5979 5131 0 -1 1077944384 275 0 0 0 0 0 0 0 20 0 15 0 9895573 14316269568 49171 18446744073709551615 4194304 4196468 140736134354752 140214051318288 140214116894421 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
[pid=5981/tid=5984] ppid=5979 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5981/task/5984/stat : 5984 (java) S 5979 5979 5131 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 15 0 9895573 14316269568 49171 18446744073709551615 4194304 4196468 140736134354752 140214050265744 140214116894421 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
################
# More data... #
################
/proc/5981/stat : 5981 (java) S 5979 5979 5131 0 -1 1077944320 46847 0 0 0 10573 14 0 0 20 0 15 0 9895572 14316269568 42064 18446744073709551615 4194304 4196468 140736134354752 140736134337296 140214116884215 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
/proc/5981/statm: 3495183 42064 3211 1 0 3483484 0
[pid=5981/tid=5982] ppid=5979 vsize=13980732 CPUtime=102 cores=0,2,4,6
/proc/5981/task/5982/stat : 5982 (java) R 5979 5979 5131 0 -1 4202560 12688 0 0 0 10195 5 0 0 20 0 15 0 9895572 14316269568 42064 18446744073709551615 4194304 4196468 140736134354752 140214121123776 140213724468075 0 4 1 16800974 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
[pid=5981/tid=5983] ppid=5979 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/5981/task/5983/stat : 5983 (java) S 5979 5979 5131 0 -1 1077944384 790 0 0 0 3 0 0 0 20 0 15 0 9895573 14316269568 42064 18446744073709551615 4194304 4196468 140736134354752 140214051318288 140214116894421 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
[pid=5981/tid=5984] ppid=5979 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/5981/task/5984/stat : 5984 (java) S 5979 5979 5131 0 -1 1077944384 473 0 0 0 3 0 0 0 20 0 15 0 9895573 14316269568 42064 18446744073709551615 4194304 4196468 140736134354752 140214050265744 140214116894421 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
[pid=5981/tid=5985] ppid=5979 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/5981/task/5985/stat : 5985 (java) S 5979 5979 5131 0 -1 1077944384 981 0 0 0 2 1 0 0 20 0 15 0 9895573 14316269568 42064 18446744073709551615 4194304 4196468 140736134354752 140214049212688 140214116894421 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
[pid=5981/tid=5986] ppid=5979 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/5981/task/5986/stat : 5986 (java) S 5979 5979 5131 0 -1 1077944384 1627 0 0 0 3 0 0 0 20 0 15 0 9895573 14316269568 42064 18446744073709551615 4194304 4196468 140736134354752 140214048160144 140214116894421 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
[pid=5981/tid=5987] ppid=5979 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/5981/task/5987/stat : 5987 (java) S 5979 5979 5131 0 -1 1077944384 1411 0 0 0 3 0 0 0 20 0 15 0 9895574 14316269568 42064 18446744073709551615 4194304 4196468 140736134354752 140213595114224 140214116895362 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
[pid=5981/tid=5988] ppid=5979 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5981/task/5988/stat : 5988 (java) S 5979 5979 5131 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 9895575 14316269568 42064 18446744073709551615 4194304 4196468 140736134354752 140213594060448 140214116894421 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
[pid=5981/tid=5989] ppid=5979 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5981/task/5989/stat : 5989 (java) S 5979 5979 5131 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 9895575 14316269568 42064 18446744073709551615 4194304 4196468 140736134354752 140213593007344 140214116894421 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
[pid=5981/tid=5990] ppid=5979 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5981/task/5990/stat : 5990 (java) S 5979 5979 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9895577 14316269568 42064 18446744073709551615 4194304 4196468 140736134354752 140213591955920 140214116902811 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
[pid=5981/tid=5991] ppid=5979 vsize=13980732 CPUtime=1.58 cores=0,2,4,6
/proc/5981/task/5991/stat : 5991 (java) S 5979 5979 5131 0 -1 1077944384 11077 0 0 0 157 1 0 0 20 0 15 0 9895577 14316269568 42064 18446744073709551615 4194304 4196468 140736134354752 140213590903024 140214116895362 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
[pid=5981/tid=5992] ppid=5979 vsize=13980732 CPUtime=1.5 cores=0,2,4,6
/proc/5981/task/5992/stat : 5992 (java) S 5979 5979 5131 0 -1 1077944384 10004 0 0 0 150 0 0 0 20 0 15 0 9895577 14316269568 42064 18446744073709551615 4194304 4196468 140736134354752 140213589850480 140214116895362 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
[pid=5981/tid=5993] ppid=5979 vsize=13980732 CPUtime=0.49 cores=0,2,4,6
/proc/5981/task/5993/stat : 5993 (java) S 5979 5979 5131 0 -1 1077944384 5592 0 0 0 48 1 0 0 20 0 15 0 9895577 14316269568 42064 18446744073709551615 4194304 4196468 140736134354752 140213588797424 140214116895362 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
[pid=5981/tid=5994] ppid=5979 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5981/task/5994/stat : 5994 (java) S 5979 5979 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9895578 14316269568 42064 18446744073709551615 4194304 4196468 140736134354752 140213587745120 140214116894421 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
[pid=5981/tid=5995] ppid=5979 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/5981/task/5995/stat : 5995 (java) S 5979 5979 5131 0 -1 1077944384 841 0 0 0 2 1 0 0 20 0 15 0 9895587 14316269568 42064 18446744073709551615 4194304 4196468 140736134354752 140213586693168 140214116895362 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
Current children cumulated CPU time (s) 105.87
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.62 1.72 1.21 3/211 6000
/proc/meminfo: memFree=31655620/32770624 swapFree=0/183764
[pid=5979] ppid=5976 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5979/stat : 5979 (xcsp3-exec) S 5976 5979 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9895565 9740288 345 18446744073709551615 4194304 5098028 140734929014384 140734929012488 140055297340028 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 24821760 140734929023387 140734929023591 140734929023591 140734929027051 0
/proc/5979/statm: 2378 345 289 221 0 87 0
[pid=5981] ppid=5979 vsize=13980732 CPUtime=166.05 cores=0,2,4,6
/proc/5981/stat : 5981 (java) S 5979 5979 5131 0 -1 1077944320 49571 0 0 0 16589 16 0 0 20 0 15 0 9895572 14316269568 42638 18446744073709551615 4194304 4196468 140736134354752 140736134337296 140214116884215 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
/proc/5981/statm: 3495183 42638 3212 1 0 3483484 0
[pid=5981/tid=5982] ppid=5979 vsize=13980732 CPUtime=161.87 cores=0,2,4,6
/proc/5981/task/5982/stat : 5982 (java) R 5979 5979 5131 0 -1 4202560 13231 0 0 0 16182 5 0 0 20 0 15 0 9895572 14316269568 42638 18446744073709551615 4194304 4196468 140736134354752 140214121123776 140213725017607 0 4 1 16800974 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
[pid=5981/tid=5983] ppid=5979 vsize=13980732 CPUtime=0.08 cores=0,2,4,6
/proc/5981/task/5983/stat : 5983 (java) S 5979 5979 5131 0 -1 1077944384 827 0 0 0 8 0 0 0 20 0 15 0 9895573 14316269568 42638 18446744073709551615 4194304 4196468 140736134354752 140214051318288 140214116894421 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
[pid=5981/tid=5984] ppid=5979 vsize=13980732 CPUtime=0.08 cores=0,2,4,6
/proc/5981/task/5984/stat : 5984 (java) S 5979 5979 5131 0 -1 1077944384 526 0 0 0 7 1 0 0 20 0 15 0 9895573 14316269568 42638 18446744073709551615 4194304 4196468 140736134354752 140214050265744 140214116894421 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
[pid=5981/tid=5985] ppid=5979 vsize=13980732 CPUtime=0.08 cores=0,2,4,6
/proc/5981/task/5985/stat : 5985 (java) S 5979 5979 5131 0 -1 1077944384 1085 0 0 0 7 1 0 0 20 0 15 0 9895573 14316269568 42638 18446744073709551615 4194304 4196468 140736134354752 140214049212688 140214116894421 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
[pid=5981/tid=5986] ppid=5979 vsize=13980732 CPUtime=0.08 cores=0,2,4,6
/proc/5981/task/5986/stat : 5986 (java) S 5979 5979 5131 0 -1 1077944384 2015 0 0 0 7 1 0 0 20 0 15 0 9895573 14316269568 42638 18446744073709551615 4194304 4196468 140736134354752 140214048160144 140214116894421 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
[pid=5981/tid=5987] ppid=5979 vsize=13980732 CPUtime=0.08 cores=0,2,4,6
/proc/5981/task/5987/stat : 5987 (java) S 5979 5979 5131 0 -1 1077944384 1651 0 0 0 8 0 0 0 20 0 15 0 9895574 14316269568 42638 18446744073709551615 4194304 4196468 140736134354752 140213595114224 140214116895362 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
[pid=5981/tid=5988] ppid=5979 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5981/task/5988/stat : 5988 (java) S 5979 5979 5131 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 9895575 14316269568 42638 18446744073709551615 4194304 4196468 140736134354752 140213594060448 140214116894421 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
[pid=5981/tid=5989] ppid=5979 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5981/task/5989/stat : 5989 (java) S 5979 5979 5131 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 9895575 14316269568 42638 18446744073709551615 4194304 4196468 140736134354752 140213593007344 140214116894421 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
[pid=5981/tid=5990] ppid=5979 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5981/task/5990/stat : 5990 (java) S 5979 5979 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9895577 14316269568 42638 18446744073709551615 4194304 4196468 140736134354752 140213591955920 140214116902811 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
[pid=5981/tid=5991] ppid=5979 vsize=13980732 CPUtime=1.63 cores=0,2,4,6
/proc/5981/task/5991/stat : 5991 (java) S 5979 5979 5131 0 -1 1077944384 11812 0 0 0 162 1 0 0 20 0 15 0 9895577 14316269568 42638 18446744073709551615 4194304 4196468 140736134354752 140213590903024 140214116895362 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
[pid=5981/tid=5992] ppid=5979 vsize=13980732 CPUtime=1.52 cores=0,2,4,6
/proc/5981/task/5992/stat : 5992 (java) S 5979 5979 5131 0 -1 1077944384 10481 0 0 0 151 1 0 0 20 0 15 0 9895577 14316269568 42638 18446744073709551615 4194304 4196468 140736134354752 140213589850480 140214116895362 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
[pid=5981/tid=5993] ppid=5979 vsize=13980732 CPUtime=0.49 cores=0,2,4,6
/proc/5981/task/5993/stat : 5993 (java) S 5979 5979 5131 0 -1 1077944384 5718 0 0 0 48 1 0 0 20 0 15 0 9895577 14316269568 42638 18446744073709551615 4194304 4196468 140736134354752 140213588797424 140214116895362 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
[pid=5981/tid=5994] ppid=5979 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5981/task/5994/stat : 5994 (java) S 5979 5979 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9895578 14316269568 42638 18446744073709551615 4194304 4196468 140736134354752 140213587745120 140214116894421 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
[pid=5981/tid=5995] ppid=5979 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/5981/task/5995/stat : 5995 (java) S 5979 5979 5131 0 -1 1077944384 862 0 0 0 3 2 0 0 20 0 15 0 9895587 14316269568 42638 18446744073709551615 4194304 4196468 140736134354752 140213586693168 140214116895362 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
Current children cumulated CPU time (s) 166.05
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 1.27 1.59 1.19 3/212 6085
/proc/meminfo: memFree=31622972/32770624 swapFree=0/183856
[pid=5979] ppid=5976 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5979/stat : 5979 (xcsp3-exec) S 5976 5979 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9895565 9740288 345 18446744073709551615 4194304 5098028 140734929014384 140734929012488 140055297340028 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 24821760 140734929023387 140734929023591 140734929023591 140734929027051 0
/proc/5979/statm: 2378 345 289 221 0 87 0
[pid=5981] ppid=5979 vsize=13980732 CPUtime=226.37 cores=0,2,4,6
/proc/5981/stat : 5981 (java) S 5979 5979 5131 0 -1 1077944320 51455 0 0 0 22616 21 0 0 20 0 15 0 9895572 14316269568 45494 18446744073709551615 4194304 4196468 140736134354752 140736134337296 140214116884215 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
/proc/5981/statm: 3495183 45494 3212 1 0 3483484 0
[pid=5981/tid=5982] ppid=5979 vsize=13980732 CPUtime=221.6 cores=0,2,4,6
/proc/5981/task/5982/stat : 5982 (java) R 5979 5979 5131 0 -1 4202560 13996 0 0 0 22154 6 0 0 20 0 15 0 9895572 14316269568 45494 18446744073709551615 4194304 4196468 140736134354752 140214121123776 140213724205533 0 4 1 16800974 0 0 0 -1 2 0 0 8 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
[pid=5981/tid=5983] ppid=5979 vsize=13980732 CPUtime=0.19 cores=0,2,4,6
/proc/5981/task/5983/stat : 5983 (java) S 5979 5979 5131 0 -1 1077944384 953 0 0 0 18 1 0 0 20 0 15 0 9895573 14316269568 45494 18446744073709551615 4194304 4196468 140736134354752 140214051318288 140214116894421 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
[pid=5981/tid=5984] ppid=5979 vsize=13980732 CPUtime=0.19 cores=0,2,4,6
/proc/5981/task/5984/stat : 5984 (java) S 5979 5979 5131 0 -1 1077944384 618 0 0 0 18 1 0 0 20 0 15 0 9895573 14316269568 45494 18446744073709551615 4194304 4196468 140736134354752 140214050265744 140214116894421 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
[pid=5981/tid=5985] ppid=5979 vsize=13980732 CPUtime=0.19 cores=0,2,4,6
/proc/5981/task/5985/stat : 5985 (java) S 5979 5979 5131 0 -1 1077944384 1177 0 0 0 17 2 0 0 20 0 15 0 9895573 14316269568 45494 18446744073709551615 4194304 4196468 140736134354752 140214049212688 140214116894421 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
[pid=5981/tid=5986] ppid=5979 vsize=13980732 CPUtime=0.19 cores=0,2,4,6
/proc/5981/task/5986/stat : 5986 (java) S 5979 5979 5131 0 -1 1077944384 2510 0 0 0 17 2 0 0 20 0 15 0 9895573 14316269568 45494 18446744073709551615 4194304 4196468 140736134354752 140214048160144 140214116894421 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
[pid=5981/tid=5987] ppid=5979 vsize=13980732 CPUtime=0.19 cores=0,2,4,6
/proc/5981/task/5987/stat : 5987 (java) S 5979 5979 5131 0 -1 1077944384 1904 0 0 0 18 1 0 0 20 0 15 0 9895574 14316269568 45494 18446744073709551615 4194304 4196468 140736134354752 140213595114224 140214116895362 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
[pid=5981/tid=5988] ppid=5979 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5981/task/5988/stat : 5988 (java) S 5979 5979 5131 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 9895575 14316269568 45494 18446744073709551615 4194304 4196468 140736134354752 140213594060448 140214116894421 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
[pid=5981/tid=5989] ppid=5979 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5981/task/5989/stat : 5989 (java) S 5979 5979 5131 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 9895575 14316269568 45494 18446744073709551615 4194304 4196468 140736134354752 140213593007344 140214116894421 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
[pid=5981/tid=5990] ppid=5979 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5981/task/5990/stat : 5990 (java) S 5979 5979 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9895577 14316269568 45494 18446744073709551615 4194304 4196468 140736134354752 140213591955920 140214116902811 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
[pid=5981/tid=5991] ppid=5979 vsize=13980732 CPUtime=1.63 cores=0,2,4,6
/proc/5981/task/5991/stat : 5991 (java) S 5979 5979 5131 0 -1 1077944384 11814 0 0 0 162 1 0 0 20 0 15 0 9895577 14316269568 45494 18446744073709551615 4194304 4196468 140736134354752 140213590903024 140214116895362 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
[pid=5981/tid=5992] ppid=5979 vsize=13980732 CPUtime=1.52 cores=0,2,4,6
/proc/5981/task/5992/stat : 5992 (java) S 5979 5979 5131 0 -1 1077944384 10483 0 0 0 151 1 0 0 20 0 15 0 9895577 14316269568 45494 18446744073709551615 4194304 4196468 140736134354752 140213589850480 140214116895362 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
[pid=5981/tid=5993] ppid=5979 vsize=13980732 CPUtime=0.49 cores=0,2,4,6
/proc/5981/task/5993/stat : 5993 (java) S 5979 5979 5131 0 -1 1077944384 5769 0 0 0 48 1 0 0 20 0 15 0 9895577 14316269568 45494 18446744073709551615 4194304 4196468 140736134354752 140213588797424 140214116895362 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
[pid=5981/tid=5994] ppid=5979 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5981/task/5994/stat : 5994 (java) S 5979 5979 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9895578 14316269568 45494 18446744073709551615 4194304 4196468 140736134354752 140213587745120 140214116894421 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
[pid=5981/tid=5995] ppid=5979 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/5981/task/5995/stat : 5995 (java) S 5979 5979 5131 0 -1 1077944384 868 0 0 0 4 3 0 0 20 0 15 0 9895587 14316269568 45494 18446744073709551615 4194304 4196468 140736134354752 140213586693168 140214116895362 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
Current children cumulated CPU time (s) 226.37
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.26 1.57 1.20 3/212 6085
/proc/meminfo: memFree=31616332/32770624 swapFree=0/183872
[pid=5979] ppid=5976 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5979/stat : 5979 (xcsp3-exec) S 5976 5979 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9895565 9740288 345 18446744073709551615 4194304 5098028 140734929014384 140734929012488 140055297340028 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 24821760 140734929023387 140734929023591 140734929023591 140734929027051 0
/proc/5979/statm: 2378 345 289 221 0 87 0
[pid=5981] ppid=5979 vsize=13980732 CPUtime=244.15 cores=0,2,4,6
/proc/5981/stat : 5981 (java) S 5979 5979 5131 0 -1 1077944320 51591 0 0 0 24393 22 0 0 20 0 15 0 9895572 14316269568 46048 18446744073709551615 4194304 4196468 140736134354752 140736134337296 140214116884215 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
/proc/5981/statm: 3495183 46048 3212 1 0 3483484 0
[pid=5981/tid=5982] ppid=5979 vsize=13980732 CPUtime=239.23 cores=0,2,4,6
/proc/5981/task/5982/stat : 5982 (java) R 5979 5979 5131 0 -1 4202560 14047 0 0 0 23917 6 0 0 20 0 15 0 9895572 14316269568 46048 18446744073709551615 4194304 4196468 140736134354752 140214121123888 140213725662794 0 4 1 16800974 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
[pid=5981/tid=5983] ppid=5979 vsize=13980732 CPUtime=0.22 cores=0,2,4,6
/proc/5981/task/5983/stat : 5983 (java) S 5979 5979 5131 0 -1 1077944384 974 0 0 0 21 1 0 0 20 0 15 0 9895573 14316269568 46048 18446744073709551615 4194304 4196468 140736134354752 140214051318288 140214116894421 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
[pid=5981/tid=5984] ppid=5979 vsize=13980732 CPUtime=0.22 cores=0,2,4,6
/proc/5981/task/5984/stat : 5984 (java) S 5979 5979 5131 0 -1 1077944384 638 0 0 0 21 1 0 0 20 0 15 0 9895573 14316269568 46048 18446744073709551615 4194304 4196468 140736134354752 140214050265744 140214116894421 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
[pid=5981/tid=5985] ppid=5979 vsize=13980732 CPUtime=0.23 cores=0,2,4,6
/proc/5981/task/5985/stat : 5985 (java) S 5979 5979 5131 0 -1 1077944384 1197 0 0 0 20 3 0 0 20 0 15 0 9895573 14316269568 46048 18446744073709551615 4194304 4196468 140736134354752 140214049212688 140214116894421 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
[pid=5981/tid=5986] ppid=5979 vsize=13980732 CPUtime=0.22 cores=0,2,4,6
/proc/5981/task/5986/stat : 5986 (java) S 5979 5979 5131 0 -1 1077944384 2534 0 0 0 19 3 0 0 20 0 15 0 9895573 14316269568 46048 18446744073709551615 4194304 4196468 140736134354752 140214048160144 140214116894421 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
[pid=5981/tid=5987] ppid=5979 vsize=13980732 CPUtime=0.22 cores=0,2,4,6
/proc/5981/task/5987/stat : 5987 (java) S 5979 5979 5131 0 -1 1077944384 1904 0 0 0 20 2 0 0 20 0 15 0 9895574 14316269568 46048 18446744073709551615 4194304 4196468 140736134354752 140213595114224 140214116895362 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
[pid=5981/tid=5988] ppid=5979 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5981/task/5988/stat : 5988 (java) S 5979 5979 5131 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 9895575 14316269568 46048 18446744073709551615 4194304 4196468 140736134354752 140213594060448 140214116894421 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
[pid=5981/tid=5989] ppid=5979 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5981/task/5989/stat : 5989 (java) S 5979 5979 5131 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 9895575 14316269568 46048 18446744073709551615 4194304 4196468 140736134354752 140213593007344 140214116894421 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
[pid=5981/tid=5990] ppid=5979 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5981/task/5990/stat : 5990 (java) S 5979 5979 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9895577 14316269568 46048 18446744073709551615 4194304 4196468 140736134354752 140213591955920 140214116902811 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
[pid=5981/tid=5991] ppid=5979 vsize=13980732 CPUtime=1.63 cores=0,2,4,6
/proc/5981/task/5991/stat : 5991 (java) S 5979 5979 5131 0 -1 1077944384 11814 0 0 0 162 1 0 0 20 0 15 0 9895577 14316269568 46048 18446744073709551615 4194304 4196468 140736134354752 140213590903024 140214116895362 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
[pid=5981/tid=5992] ppid=5979 vsize=13980732 CPUtime=1.52 cores=0,2,4,6
/proc/5981/task/5992/stat : 5992 (java) S 5979 5979 5131 0 -1 1077944384 10483 0 0 0 151 1 0 0 20 0 15 0 9895577 14316269568 46048 18446744073709551615 4194304 4196468 140736134354752 140213589850480 140214116895362 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
[pid=5981/tid=5993] ppid=5979 vsize=13980732 CPUtime=0.49 cores=0,2,4,6
/proc/5981/task/5993/stat : 5993 (java) S 5979 5979 5131 0 -1 1077944384 5769 0 0 0 48 1 0 0 20 0 15 0 9895577 14316269568 46048 18446744073709551615 4194304 4196468 140736134354752 140213588797424 140214116895362 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
[pid=5981/tid=5994] ppid=5979 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5981/task/5994/stat : 5994 (java) S 5979 5979 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9895578 14316269568 46048 18446744073709551615 4194304 4196468 140736134354752 140213587745120 140214116894421 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
[pid=5981/tid=5995] ppid=5979 vsize=13980732 CPUtime=0.09 cores=0,2,4,6
/proc/5981/task/5995/stat : 5995 (java) S 5979 5979 5131 0 -1 1077944384 868 0 0 0 5 4 0 0 20 0 15 0 9895587 14316269568 46048 18446744073709551615 4194304 4196468 140736134354752 140213586693168 140214116895362 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34938880 140736134361556 140736134361731 140736134361731 140736134365135 0
Current children cumulated CPU time (s) 244.15
Current children cumulated vsize (KiB) 13990244
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 5981 sig 9
??? kill 5979 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 240.012
CPU time (s): 244.178
CPU user time (s): 243.95
CPU system time (s): 0.227376
CPU usage (%): 101.736
Max. virtual memory (cumulated for all children) (KiB): 13991896
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 243.95
system time used= 0.227376
maximum resident set size= 204528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52634
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13104
involuntary context switches= 539
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.23524 second user time and 1.28923 second system time
The end