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-4255250-1501618351/watcher-4255250-1501618351 -o /tmp/evaluation-result-4255250-1501618351/solver-4255250-1501618351 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node134-1501616951-11515 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 686305565 HOME/instance-4255250-1501618351.xml
pid=19651
running on 4 cores: 1,3,5,7
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.54 1.77 1.87 3/199 19654
/proc/meminfo: memFree=31546692/32770624 swapFree=0/287524
[pid=19654] ppid=19651 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/19654/stat : 19654 (runsolver) D 19651 19654 5234 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 9340888 24240128 108 18446744073709551615 4194304 4338465 140730527785312 140730527782952 139706250482391 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 24768512 140730527789149 140730527789638 140730527789638 140730527793098 0
/proc/19654/statm: 5918 108 54 36 0 2156 0
[startup+0.100133 s]
/proc/loadavg: 1.54 1.77 1.87 3/199 19654
/proc/meminfo: memFree=31546692/32770624 swapFree=0/287524
[pid=19654] ppid=19651 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/19654/stat : 19654 (xcsp3-exec) S 19651 19654 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9340888 9740288 345 18446744073709551615 4194304 5098028 140721006065632 140721006063736 139653876171388 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 40321024 140721006068124 140721006068327 140721006068327 140721006071787 0
/proc/19654/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200341 s]
/proc/loadavg: 1.54 1.77 1.87 3/199 19654
/proc/meminfo: memFree=31546692/32770624 swapFree=0/287524
[pid=19654] ppid=19651 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/19654/stat : 19654 (xcsp3-exec) S 19651 19654 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9340888 9740288 345 18446744073709551615 4194304 5098028 140721006065632 140721006063736 139653876171388 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 40321024 140721006068124 140721006068327 140721006068327 140721006071787 0
/proc/19654/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.303082 s]
/proc/loadavg: 1.54 1.77 1.87 3/199 19654
/proc/meminfo: memFree=31546692/32770624 swapFree=0/287524
[pid=19654] ppid=19651 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/19654/stat : 19654 (xcsp3-exec) S 19651 19654 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9340888 9740288 345 18446744073709551615 4194304 5098028 140721006065632 140721006063736 139653876171388 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 40321024 140721006068124 140721006068327 140721006068327 140721006071787 0
/proc/19654/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700617 s]
/proc/loadavg: 1.54 1.77 1.87 3/199 19654
/proc/meminfo: memFree=31546692/32770624 swapFree=0/287524
[pid=19654] ppid=19651 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/19654/stat : 19654 (xcsp3-exec) S 19651 19654 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9340888 9740288 345 18446744073709551615 4194304 5098028 140721006065632 140721006063736 139653876171388 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 40321024 140721006068124 140721006068327 140721006068327 140721006071787 0
/proc/19654/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50071 s]
/proc/loadavg: 1.54 1.77 1.87 5/215 19670
/proc/meminfo: memFree=31452588/32770624 swapFree=0/287516
[pid=19654] ppid=19651 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/19654/stat : 19654 (xcsp3-exec) S 19651 19654 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9340888 9740288 345 18446744073709551615 4194304 5098028 140721006065632 140721006063736 139653876171388 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 40321024 140721006068124 140721006068327 140721006068327 140721006071787 0
/proc/19654/statm: 2378 345 289 221 0 87 0
[pid=19656] ppid=19654 vsize=13984236 CPUtime=3.63 cores=1,3,5,7
/proc/19656/stat : 19656 (java) S 19654 19654 5234 0 -1 1077944320 41476 0 0 0 354 9 0 0 20 0 15 0 9340897 14319857664 38994 18446744073709551615 4194304 4196468 140730796985328 140730796967872 140122791403255 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
/proc/19656/statm: 3496059 38994 3175 1 0 3484360 0
[pid=19656/tid=19657] ppid=19654 vsize=13984236 CPUtime=1.33 cores=1,3,5,7
/proc/19656/task/19657/stat : 19657 (java) R 19654 19654 5234 0 -1 4202560 9500 0 0 0 129 4 0 0 20 0 15 0 9340897 14319857664 38994 18446744073709551615 4194304 4196468 140730796985328 140122795640296 140122389854989 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
[pid=19656/tid=19658] ppid=19654 vsize=13984236 CPUtime=0 cores=1,3,5,7
/proc/19656/task/19658/stat : 19658 (java) S 19654 19654 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9340898 14319857664 38994 18446744073709551615 4194304 4196468 140730796985328 140122710817936 140122791413461 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
[pid=19656/tid=19659] ppid=19654 vsize=13984236 CPUtime=0 cores=1,3,5,7
/proc/19656/task/19659/stat : 19659 (java) S 19654 19654 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9340898 14319857664 38994 18446744073709551615 4194304 4196468 140730796985328 140122709765136 140122791413461 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
[pid=19656/tid=19660] ppid=19654 vsize=13984236 CPUtime=0 cores=1,3,5,7
/proc/19656/task/19660/stat : 19660 (java) S 19654 19654 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9340898 14319857664 38994 18446744073709551615 4194304 4196468 140730796985328 140122708712336 140122791413461 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
[pid=19656/tid=19661] ppid=19654 vsize=13984236 CPUtime=0 cores=1,3,5,7
/proc/19656/task/19661/stat : 19661 (java) S 19654 19654 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9340898 14319857664 38994 18446744073709551615 4194304 4196468 140730796985328 140122707659536 140122791413461 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
[pid=19656/tid=19662] ppid=19654 vsize=13984236 CPUtime=0 cores=1,3,5,7
/proc/19656/task/19662/stat : 19662 (java) S 19654 19654 5234 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 9340899 14319857664 38994 18446744073709551615 4194304 4196468 140730796985328 140122300340592 140122791414402 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
[pid=19656/tid=19663] ppid=19654 vsize=13984236 CPUtime=0 cores=1,3,5,7
/proc/19656/task/19663/stat : 19663 (java) S 19654 19654 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9340900 14319857664 38994 18446744073709551615 4194304 4196468 140730796985328 140122299286560 140122791413461 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
[pid=19656/tid=19664] ppid=19654 vsize=13984236 CPUtime=0 cores=1,3,5,7
/proc/19656/task/19664/stat : 19664 (java) S 19654 19654 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9340900 14319857664 38994 18446744073709551615 4194304 4196468 140730796985328 140122298233712 140122791413461 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
[pid=19656/tid=19665] ppid=19654 vsize=13984236 CPUtime=0 cores=1,3,5,7
/proc/19656/task/19665/stat : 19665 (java) S 19654 19654 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9340903 14319857664 38994 18446744073709551615 4194304 4196468 140730796985328 140122297182032 140122791421851 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
[pid=19656/tid=19666] ppid=19654 vsize=13984236 CPUtime=0.89 cores=1,3,5,7
/proc/19656/task/19666/stat : 19666 (java) R 19654 19654 5234 0 -1 4202560 14266 0 0 0 88 1 0 0 20 0 15 0 9340903 14319857664 38994 18446744073709551615 4194304 4196468 140730796985328 140122296116152 140122772102798 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
[pid=19656/tid=19667] ppid=19654 vsize=13984236 CPUtime=0.88 cores=1,3,5,7
/proc/19656/task/19667/stat : 19667 (java) R 19654 19654 5234 0 -1 4202560 12529 0 0 0 87 1 0 0 20 0 15 0 9340903 14319857664 38994 18446744073709551615 4194304 4196468 140730796985328 140122295063352 140122772947798 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
[pid=19656/tid=19668] ppid=19654 vsize=13984236 CPUtime=0.49 cores=1,3,5,7
/proc/19656/task/19668/stat : 19668 (java) S 19654 19654 5234 0 -1 1077944384 3872 0 0 0 48 1 0 0 20 0 15 0 9340903 14319857664 38994 18446744073709551615 4194304 4196468 140730796985328 140122294024816 140122791414402 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
[pid=19656/tid=19669] ppid=19654 vsize=13984236 CPUtime=0 cores=1,3,5,7
/proc/19656/task/19669/stat : 19669 (java) S 19654 19654 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9340903 14319857664 38994 18446744073709551615 4194304 4196468 140730796985328 140122292972256 140122791413461 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
[pid=19656/tid=19670] ppid=19654 vsize=13984236 CPUtime=0 cores=1,3,5,7
/proc/19656/task/19670/stat : 19670 (java) S 19654 19654 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9340908 14319857664 38994 18446744073709551615 4194304 4196468 140730796985328 140122291919536 140122791414402 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
Current children cumulated CPU time (s) 3.63
Current children cumulated vsize (KiB) 13993748
[startup+3.1007 s]
/proc/loadavg: 1.54 1.77 1.87 5/215 19670
/proc/meminfo: memFree=31387336/32770624 swapFree=0/287516
[pid=19654] ppid=19651 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/19654/stat : 19654 (xcsp3-exec) S 19651 19654 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9340888 9740288 345 18446744073709551615 4194304 5098028 140721006065632 140721006063736 139653876171388 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 40321024 140721006068124 140721006068327 140721006068327 140721006071787 0
/proc/19654/statm: 2378 345 289 221 0 87 0
[pid=19656] ppid=19654 vsize=13980732 CPUtime=8.46 cores=1,3,5,7
/proc/19656/stat : 19656 (java) S 19654 19654 5234 0 -1 1077944320 46889 0 0 0 836 10 0 0 20 0 15 0 9340897 14316269568 54447 18446744073709551615 4194304 4196468 140730796985328 140730796967872 140122791403255 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
/proc/19656/statm: 3495183 54447 3188 1 0 3483484 0
[pid=19656/tid=19657] ppid=19654 vsize=13980732 CPUtime=2.93 cores=1,3,5,7
/proc/19656/task/19657/stat : 19657 (java) R 19654 19654 5234 0 -1 4202560 10263 0 0 0 288 5 0 0 20 0 15 0 9340897 14316269568 54447 18446744073709551615 4194304 4196468 140730796985328 140122795640048 140122389419776 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
[pid=19656/tid=19658] ppid=19654 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19656/task/19658/stat : 19658 (java) S 19654 19654 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9340898 14316269568 54447 18446744073709551615 4194304 4196468 140730796985328 140122710817936 140122791413461 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
[pid=19656/tid=19659] ppid=19654 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19656/task/19659/stat : 19659 (java) S 19654 19654 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9340898 14316269568 54447 18446744073709551615 4194304 4196468 140730796985328 140122709765136 140122791413461 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
[pid=19656/tid=19660] ppid=19654 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19656/task/19660/stat : 19660 (java) S 19654 19654 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9340898 14316269568 54447 18446744073709551615 4194304 4196468 140730796985328 140122708712336 140122791413461 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
[pid=19656/tid=19661] ppid=19654 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19656/task/19661/stat : 19661 (java) S 19654 19654 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9340898 14316269568 54447 18446744073709551615 4194304 4196468 140730796985328 140122707659536 140122791413461 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
[pid=19656/tid=19662] ppid=19654 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19656/task/19662/stat : 19662 (java) S 19654 19654 5234 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 9340899 14316269568 54447 18446744073709551615 4194304 4196468 140730796985328 140122300340592 140122791414402 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
[pid=19656/tid=19663] ppid=19654 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19656/task/19663/stat : 19663 (java) S 19654 19654 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9340900 14316269568 54447 18446744073709551615 4194304 4196468 140730796985328 140122299286560 140122791413461 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
[pid=19656/tid=19664] ppid=19654 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19656/task/19664/stat : 19664 (java) S 19654 19654 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9340900 14316269568 54447 18446744073709551615 4194304 4196468 140730796985328 140122298233712 140122791413461 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
[pid=19656/tid=19665] ppid=19654 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19656/task/19665/stat : 19665 (java) S 19654 19654 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9340903 14316269568 54447 18446744073709551615 4194304 4196468 140730796985328 140122297182032 140122791421851 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
[pid=19656/tid=19666] ppid=19654 vsize=13980732 CPUtime=2.49 cores=1,3,5,7
/proc/19656/task/19666/stat : 19666 (java) R 19654 19654 5234 0 -1 4202560 16119 0 0 0 247 2 0 0 20 0 15 0 9340903 14316269568 54447 18446744073709551615 4194304 4196468 140730796985328 140122296122904 140122772103870 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
[pid=19656/tid=19667] ppid=19654 vsize=13980732 CPUtime=2.48 cores=1,3,5,7
/proc/19656/task/19667/stat : 19667 (java) R 19654 19654 5234 0 -1 4202560 14978 0 0 0 247 1 0 0 20 0 15 0 9340903 14316269568 54447 18446744073709551615 4194304 4196468 140730796985328 140122295067088 140122776511227 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
[pid=19656/tid=19668] ppid=19654 vsize=13980732 CPUtime=0.53 cores=1,3,5,7
/proc/19656/task/19668/stat : 19668 (java) S 19654 19654 5234 0 -1 1077944384 4175 0 0 0 52 1 0 0 20 0 15 0 9340903 14316269568 54447 18446744073709551615 4194304 4196468 140730796985328 140122294024816 140122791414402 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
[pid=19656/tid=19669] ppid=19654 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19656/task/19669/stat : 19669 (java) S 19654 19654 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9340903 14316269568 54447 18446744073709551615 4194304 4196468 140730796985328 140122292972256 140122791413461 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
[pid=19656/tid=19670] ppid=19654 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19656/task/19670/stat : 19670 (java) S 19654 19654 5234 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 9340908 14316269568 54447 18446744073709551615 4194304 4196468 140730796985328 140122291919536 140122791414402 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
Current children cumulated CPU time (s) 8.46
Current children cumulated vsize (KiB) 13990244
[startup+6.30162 s]
/proc/loadavg: 1.58 1.77 1.87 3/215 19670
/proc/meminfo: memFree=31341364/32770624 swapFree=0/287520
[pid=19654] ppid=19651 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/19654/stat : 19654 (xcsp3-exec) S 19651 19654 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9340888 9740288 345 18446744073709551615 4194304 5098028 140721006065632 140721006063736 139653876171388 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 40321024 140721006068124 140721006068327 140721006068327 140721006071787 0
/proc/19654/statm: 2378 345 289 221 0 87 0
[pid=19656] ppid=19654 vsize=13980732 CPUtime=15.66 cores=1,3,5,7
/proc/19656/stat : 19656 (java) S 19654 19654 5234 0 -1 1077944320 61086 0 0 0 1553 13 0 0 20 0 15 0 9340897 14316269568 55555 18446744073709551615 4194304 4196468 140730796985328 140730796967872 140122791403255 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
/proc/19656/statm: 3495183 55555 3200 1 0 3483484 0
[pid=19656/tid=19657] ppid=19654 vsize=13980732 CPUtime=6.13 cores=1,3,5,7
/proc/19656/task/19657/stat : 19657 (java) R 19654 19654 5234 0 -1 4202560 10703 0 0 0 607 6 0 0 20 0 15 0 9340897 14316269568 55555 18446744073709551615 4194304 4196468 140730796985328 140122795639848 140122391411012 0 4 1 16800974 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
[pid=19656/tid=19658] ppid=19654 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19656/task/19658/stat : 19658 (java) S 19654 19654 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9340898 14316269568 55555 18446744073709551615 4194304 4196468 140730796985328 140122710817936 140122791413461 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
[pid=19656/tid=19659] ppid=19654 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19656/task/19659/stat : 19659 (java) S 19654 19654 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9340898 14316269568 55555 18446744073709551615 4194304 4196468 140730796985328 140122709765136 140122791413461 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
[pid=19656/tid=19660] ppid=19654 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19656/task/19660/stat : 19660 (java) S 19654 19654 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9340898 14316269568 55555 18446744073709551615 4194304 4196468 140730796985328 140122708712336 140122791413461 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
[pid=19656/tid=19661] ppid=19654 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19656/task/19661/stat : 19661 (java) S 19654 19654 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9340898 14316269568 55555 18446744073709551615 4194304 4196468 140730796985328 140122707659536 140122791413461 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
[pid=19656/tid=19662] ppid=19654 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19656/task/19662/stat : 19662 (java) S 19654 19654 5234 0 -1 1077944384 198 0 0 0 0 0 0 0 20 0 15 0 9340899 14316269568 55555 18446744073709551615 4194304 4196468 140730796985328 140122300340592 140122791414402 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
[pid=19656/tid=19663] ppid=19654 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19656/task/19663/stat : 19663 (java) S 19654 19654 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9340900 14316269568 55555 18446744073709551615 4194304 4196468 140730796985328 140122299286560 140122791413461 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
[pid=19656/tid=19664] ppid=19654 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19656/task/19664/stat : 19664 (java) S 19654 19654 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9340900 14316269568 55555 18446744073709551615 4194304 4196468 140730796985328 140122298233712 140122791413461 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
[pid=19656/tid=19665] ppid=19654 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19656/task/19665/stat : 19665 (java) S 19654 19654 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9340903 14316269568 55555 18446744073709551615 4194304 4196468 140730796985328 140122297182032 140122791421851 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
[pid=19656/tid=19666] ppid=19654 vsize=13980732 CPUtime=4.42 cores=1,3,5,7
/proc/19656/task/19666/stat : 19666 (java) S 19654 19654 5234 0 -1 1077944384 21511 0 0 0 439 3 0 0 20 0 15 0 9340903 14316269568 55555 18446744073709551615 4194304 4196468 140730796985328 140122296130416 140122791414402 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
[pid=19656/tid=19667] ppid=19654 vsize=13980732 CPUtime=4.5 cores=1,3,5,7
/proc/19656/task/19667/stat : 19667 (java) R 19654 19654 5234 0 -1 4202560 22547 0 0 0 448 2 0 0 20 0 15 0 9340903 14316269568 55555 18446744073709551615 4194304 4196468 140730796985328 140122295077616 140122774903453 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
[pid=19656/tid=19668] ppid=19654 vsize=13980732 CPUtime=0.59 cores=1,3,5,7
/proc/19656/task/19668/stat : 19668 (java) S 19654 19654 5234 0 -1 1077944384 4804 0 0 0 58 1 0 0 20 0 15 0 9340903 14316269568 55555 18446744073709551615 4194304 4196468 140730796985328 140122294024816 140122791414402 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
[pid=19656/tid=19669] ppid=19654 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19656/task/19669/stat : 19669 (java) S 19654 19654 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9340903 14316269568 55555 18446744073709551615 4194304 4196468 140730796985328 140122292972256 140122791413461 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
[pid=19656/tid=19670] ppid=19654 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19656/task/19670/stat : 19670 (java) S 19654 19654 5234 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 9340908 14316269568 55555 18446744073709551615 4194304 4196468 140730796985328 140122291919536 140122791414402 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
Current children cumulated CPU time (s) 15.66
Current children cumulated vsize (KiB) 13990244
[startup+12.7006 s]
/proc/loadavg: 1.69 1.79 1.87 3/215 19670
/proc/meminfo: memFree=31319068/32770624 swapFree=0/287528
[pid=19654] ppid=19651 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/19654/stat : 19654 (xcsp3-exec) S 19651 19654 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9340888 9740288 345 18446744073709551615 4194304 5098028 140721006065632 140721006063736 139653876171388 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 40321024 140721006068124 140721006068327 140721006068327 140721006071787 0
/proc/19654/statm: 2378 345 289 221 0 87 0
[pid=19656] ppid=19654 vsize=13980732 CPUtime=23.02 cores=1,3,5,7
/proc/19656/stat : 19656 (java) S 19654 19654 5234 0 -1 1077944320 67097 0 0 0 2288 14 0 0 20 0 15 0 9340897 14316269568 59363 18446744073709551615 4194304 4196468 140730796985328 140730796967872 140122791403255 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
/proc/19656/statm: 3495183 59363 3225 1 0 3483484 0
[pid=19656/tid=19657] ppid=19654 vsize=13980732 CPUtime=12.51 cores=1,3,5,7
/proc/19656/task/19657/stat : 19657 (java) R 19654 19654 5234 0 -1 4202560 11595 0 0 0 1245 6 0 0 20 0 15 0 9340897 14316269568 59363 18446744073709551615 4194304 4196468 140730796985328 140122795639152 140122391411332 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
[pid=19656/tid=19658] ppid=19654 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19656/task/19658/stat : 19658 (java) S 19654 19654 5234 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 9340898 14316269568 59363 18446744073709551615 4194304 4196468 140730796985328 140122710817936 140122791413461 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
[pid=19656/tid=19659] ppid=19654 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19656/task/19659/stat : 19659 (java) S 19654 19654 5234 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 15 0 9340898 14316269568 59363 18446744073709551615 4194304 4196468 140730796985328 140122709765136 140122791413461 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
################
# More data... #
################
/proc/19656/stat : 19656 (java) S 19654 19654 5234 0 -1 1077944320 115323 0 0 0 12046 29 0 0 20 0 15 0 9340897 14316269568 69666 18446744073709551615 4194304 4196468 140730796985328 140730796967872 140122791403255 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
/proc/19656/statm: 3495183 69666 3238 1 0 3483484 0
[pid=19656/tid=19657] ppid=19654 vsize=13980732 CPUtime=101.93 cores=1,3,5,7
/proc/19656/task/19657/stat : 19657 (java) R 19654 19654 5234 0 -1 4202560 15805 0 0 0 10187 6 0 0 20 0 15 0 9340897 14316269568 69666 18446744073709551615 4194304 4196468 140730796985328 140122795642768 140122396551018 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
[pid=19656/tid=19658] ppid=19654 vsize=13980732 CPUtime=0.14 cores=1,3,5,7
/proc/19656/task/19658/stat : 19658 (java) S 19654 19654 5234 0 -1 1077944384 727 0 0 0 12 2 0 0 20 0 15 0 9340898 14316269568 69666 18446744073709551615 4194304 4196468 140730796985328 140122710817936 140122791413461 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
[pid=19656/tid=19659] ppid=19654 vsize=13980732 CPUtime=0.13 cores=1,3,5,7
/proc/19656/task/19659/stat : 19659 (java) S 19654 19654 5234 0 -1 1077944384 814 0 0 0 11 2 0 0 20 0 15 0 9340898 14316269568 69666 18446744073709551615 4194304 4196468 140730796985328 140122709765136 140122791413461 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
[pid=19656/tid=19660] ppid=19654 vsize=13980732 CPUtime=0.13 cores=1,3,5,7
/proc/19656/task/19660/stat : 19660 (java) S 19654 19654 5234 0 -1 1077944384 1871 0 0 0 11 2 0 0 20 0 15 0 9340898 14316269568 69666 18446744073709551615 4194304 4196468 140730796985328 140122708712336 140122791413461 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
[pid=19656/tid=19661] ppid=19654 vsize=13980732 CPUtime=0.12 cores=1,3,5,7
/proc/19656/task/19661/stat : 19661 (java) S 19654 19654 5234 0 -1 1077944384 620 0 0 0 11 1 0 0 20 0 15 0 9340898 14316269568 69666 18446744073709551615 4194304 4196468 140730796985328 140122707659536 140122791413461 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
[pid=19656/tid=19662] ppid=19654 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/19656/task/19662/stat : 19662 (java) S 19654 19654 5234 0 -1 1077944384 1142 0 0 0 3 0 0 0 20 0 15 0 9340899 14316269568 69666 18446744073709551615 4194304 4196468 140730796985328 140122300340592 140122791414402 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
[pid=19656/tid=19663] ppid=19654 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19656/task/19663/stat : 19663 (java) S 19654 19654 5234 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 9340900 14316269568 69666 18446744073709551615 4194304 4196468 140730796985328 140122299286624 140122791413461 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
[pid=19656/tid=19664] ppid=19654 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19656/task/19664/stat : 19664 (java) S 19654 19654 5234 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 9340900 14316269568 69666 18446744073709551615 4194304 4196468 140730796985328 140122298233728 140122791413461 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
[pid=19656/tid=19665] ppid=19654 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19656/task/19665/stat : 19665 (java) S 19654 19654 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9340903 14316269568 69666 18446744073709551615 4194304 4196468 140730796985328 140122297182032 140122791421851 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
[pid=19656/tid=19666] ppid=19654 vsize=13980732 CPUtime=8.26 cores=1,3,5,7
/proc/19656/task/19666/stat : 19666 (java) S 19654 19654 5234 0 -1 1077944384 40820 0 0 0 822 4 0 0 20 0 15 0 9340903 14316269568 69666 18446744073709551615 4194304 4196468 140730796985328 140122296130416 140122791414402 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
[pid=19656/tid=19667] ppid=19654 vsize=13980732 CPUtime=9.03 cores=1,3,5,7
/proc/19656/task/19667/stat : 19667 (java) S 19654 19654 5234 0 -1 1077944384 40971 0 0 0 900 3 0 0 20 0 15 0 9340903 14316269568 69666 18446744073709551615 4194304 4196468 140730796985328 140122295077616 140122791414402 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
[pid=19656/tid=19668] ppid=19654 vsize=13980732 CPUtime=0.83 cores=1,3,5,7
/proc/19656/task/19668/stat : 19668 (java) S 19654 19654 5234 0 -1 1077944384 10892 0 0 0 81 2 0 0 20 0 15 0 9340903 14316269568 69666 18446744073709551615 4194304 4196468 140730796985328 140122294024816 140122791414402 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
[pid=19656/tid=19669] ppid=19654 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19656/task/19669/stat : 19669 (java) S 19654 19654 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9340903 14316269568 69666 18446744073709551615 4194304 4196468 140730796985328 140122292972256 140122791413461 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
[pid=19656/tid=19670] ppid=19654 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/19656/task/19670/stat : 19670 (java) S 19654 19654 5234 0 -1 1077944384 266 0 0 0 1 1 0 0 20 0 15 0 9340908 14316269568 69666 18446744073709551615 4194304 4196468 140730796985328 140122291919536 140122791414402 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
Current children cumulated CPU time (s) 120.75
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.89 1.85 1.88 3/220 19791
/proc/meminfo: memFree=31340756/32770624 swapFree=0/287704
[pid=19654] ppid=19651 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/19654/stat : 19654 (xcsp3-exec) S 19651 19654 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9340888 9740288 345 18446744073709551615 4194304 5098028 140721006065632 140721006063736 139653876171388 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 40321024 140721006068124 140721006068327 140721006068327 140721006071787 0
/proc/19654/statm: 2378 345 289 221 0 87 0
[pid=19656] ppid=19654 vsize=13980732 CPUtime=181.07 cores=1,3,5,7
/proc/19656/stat : 19656 (java) S 19654 19654 5234 0 -1 1077944320 122434 0 0 0 18075 32 0 0 20 0 15 0 9340897 14316269568 63010 18446744073709551615 4194304 4196468 140730796985328 140730796967872 140122791403255 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
/proc/19656/statm: 3495183 63010 3238 1 0 3483484 0
[pid=19656/tid=19657] ppid=19654 vsize=13980732 CPUtime=161.85 cores=1,3,5,7
/proc/19656/task/19657/stat : 19657 (java) R 19654 19654 5234 0 -1 4202560 16908 0 0 0 16179 6 0 0 20 0 15 0 9340897 14316269568 63010 18446744073709551615 4194304 4196468 140730796985328 140122795642576 140122396550960 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
[pid=19656/tid=19658] ppid=19654 vsize=13980732 CPUtime=0.18 cores=1,3,5,7
/proc/19656/task/19658/stat : 19658 (java) S 19654 19654 5234 0 -1 1077944384 802 0 0 0 16 2 0 0 20 0 15 0 9340898 14316269568 63010 18446744073709551615 4194304 4196468 140730796985328 140122710817936 140122791413461 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
[pid=19656/tid=19659] ppid=19654 vsize=13980732 CPUtime=0.19 cores=1,3,5,7
/proc/19656/task/19659/stat : 19659 (java) S 19654 19654 5234 0 -1 1077944384 1461 0 0 0 16 3 0 0 20 0 15 0 9340898 14316269568 63010 18446744073709551615 4194304 4196468 140730796985328 140122709765136 140122791413461 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
[pid=19656/tid=19660] ppid=19654 vsize=13980732 CPUtime=0.19 cores=1,3,5,7
/proc/19656/task/19660/stat : 19660 (java) S 19654 19654 5234 0 -1 1077944384 1966 0 0 0 16 3 0 0 20 0 15 0 9340898 14316269568 63010 18446744073709551615 4194304 4196468 140730796985328 140122708712336 140122791413461 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
[pid=19656/tid=19661] ppid=19654 vsize=13980732 CPUtime=0.18 cores=1,3,5,7
/proc/19656/task/19661/stat : 19661 (java) S 19654 19654 5234 0 -1 1077944384 663 0 0 0 16 2 0 0 20 0 15 0 9340898 14316269568 63010 18446744073709551615 4194304 4196468 140730796985328 140122707659536 140122791413461 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
[pid=19656/tid=19662] ppid=19654 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/19656/task/19662/stat : 19662 (java) S 19654 19654 5234 0 -1 1077944384 1373 0 0 0 5 1 0 0 20 0 15 0 9340899 14316269568 63010 18446744073709551615 4194304 4196468 140730796985328 140122300340592 140122791414402 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
[pid=19656/tid=19663] ppid=19654 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19656/task/19663/stat : 19663 (java) S 19654 19654 5234 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 9340900 14316269568 63010 18446744073709551615 4194304 4196468 140730796985328 140122299286624 140122791413461 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
[pid=19656/tid=19664] ppid=19654 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19656/task/19664/stat : 19664 (java) S 19654 19654 5234 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 9340900 14316269568 63010 18446744073709551615 4194304 4196468 140730796985328 140122298233728 140122791413461 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
[pid=19656/tid=19665] ppid=19654 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19656/task/19665/stat : 19665 (java) S 19654 19654 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9340903 14316269568 63010 18446744073709551615 4194304 4196468 140730796985328 140122297182032 140122791421851 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
[pid=19656/tid=19666] ppid=19654 vsize=13980732 CPUtime=8.39 cores=1,3,5,7
/proc/19656/task/19666/stat : 19666 (java) S 19654 19654 5234 0 -1 1077944384 44236 0 0 0 835 4 0 0 20 0 15 0 9340903 14316269568 63010 18446744073709551615 4194304 4196468 140730796985328 140122296130416 140122791414402 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
[pid=19656/tid=19667] ppid=19654 vsize=13980732 CPUtime=9.05 cores=1,3,5,7
/proc/19656/task/19667/stat : 19667 (java) S 19654 19654 5234 0 -1 1077944384 42195 0 0 0 902 3 0 0 20 0 15 0 9340903 14316269568 63010 18446744073709551615 4194304 4196468 140730796985328 140122295077616 140122791414402 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
[pid=19656/tid=19668] ppid=19654 vsize=13980732 CPUtime=0.84 cores=1,3,5,7
/proc/19656/task/19668/stat : 19668 (java) S 19654 19654 5234 0 -1 1077944384 11125 0 0 0 82 2 0 0 20 0 15 0 9340903 14316269568 63010 18446744073709551615 4194304 4196468 140730796985328 140122294024816 140122791414402 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
[pid=19656/tid=19669] ppid=19654 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19656/task/19669/stat : 19669 (java) S 19654 19654 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9340903 14316269568 63010 18446744073709551615 4194304 4196468 140730796985328 140122292972256 140122791413461 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
[pid=19656/tid=19670] ppid=19654 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/19656/task/19670/stat : 19670 (java) S 19654 19654 5234 0 -1 1077944384 310 0 0 0 2 2 0 0 20 0 15 0 9340908 14316269568 63010 18446744073709551615 4194304 4196468 140730796985328 140122291919536 140122791414402 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
Current children cumulated CPU time (s) 181.07
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 1.59 1.78 1.85 3/220 19793
/proc/meminfo: memFree=31342916/32770624 swapFree=0/287740
[pid=19654] ppid=19651 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/19654/stat : 19654 (xcsp3-exec) S 19651 19654 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9340888 9740288 345 18446744073709551615 4194304 5098028 140721006065632 140721006063736 139653876171388 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 40321024 140721006068124 140721006068327 140721006068327 140721006071787 0
/proc/19654/statm: 2378 345 289 221 0 87 0
[pid=19656] ppid=19654 vsize=13980732 CPUtime=242.01 cores=1,3,5,7
/proc/19656/stat : 19656 (java) S 19654 19654 5234 0 -1 1077944320 131386 0 0 0 24164 37 0 0 20 0 15 0 9340897 14316269568 62107 18446744073709551615 4194304 4196468 140730796985328 140730796967872 140122791403255 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
/proc/19656/statm: 3495183 62107 3239 1 0 3483484 0
[pid=19656/tid=19657] ppid=19654 vsize=13980732 CPUtime=221.67 cores=1,3,5,7
/proc/19656/task/19657/stat : 19657 (java) R 19654 19654 5234 0 -1 4202560 17562 0 0 0 22161 6 0 0 20 0 15 0 9340897 14316269568 62107 18446744073709551615 4194304 4196468 140730796985328 140122795642608 140122396550990 0 4 1 16800974 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
[pid=19656/tid=19658] ppid=19654 vsize=13980732 CPUtime=0.31 cores=1,3,5,7
/proc/19656/task/19658/stat : 19658 (java) S 19654 19654 5234 0 -1 1077944384 826 0 0 0 27 4 0 0 20 0 15 0 9340898 14316269568 62107 18446744073709551615 4194304 4196468 140730796985328 140122710817936 140122791413461 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
[pid=19656/tid=19659] ppid=19654 vsize=13980732 CPUtime=0.31 cores=1,3,5,7
/proc/19656/task/19659/stat : 19659 (java) S 19654 19654 5234 0 -1 1077944384 1648 0 0 0 27 4 0 0 20 0 15 0 9340898 14316269568 62107 18446744073709551615 4194304 4196468 140730796985328 140122709765136 140122791413461 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
[pid=19656/tid=19660] ppid=19654 vsize=13980732 CPUtime=0.31 cores=1,3,5,7
/proc/19656/task/19660/stat : 19660 (java) S 19654 19654 5234 0 -1 1077944384 1993 0 0 0 27 4 0 0 20 0 15 0 9340898 14316269568 62107 18446744073709551615 4194304 4196468 140730796985328 140122708712336 140122791413461 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
[pid=19656/tid=19661] ppid=19654 vsize=13980732 CPUtime=0.3 cores=1,3,5,7
/proc/19656/task/19661/stat : 19661 (java) S 19654 19654 5234 0 -1 1077944384 694 0 0 0 27 3 0 0 20 0 15 0 9340898 14316269568 62107 18446744073709551615 4194304 4196468 140730796985328 140122707659536 140122791413461 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
[pid=19656/tid=19662] ppid=19654 vsize=13980732 CPUtime=0.09 cores=1,3,5,7
/proc/19656/task/19662/stat : 19662 (java) S 19654 19654 5234 0 -1 1077944384 1598 0 0 0 8 1 0 0 20 0 15 0 9340899 14316269568 62107 18446744073709551615 4194304 4196468 140730796985328 140122300340592 140122791414402 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
[pid=19656/tid=19663] ppid=19654 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19656/task/19663/stat : 19663 (java) S 19654 19654 5234 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 9340900 14316269568 62107 18446744073709551615 4194304 4196468 140730796985328 140122299286624 140122791413461 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
[pid=19656/tid=19664] ppid=19654 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19656/task/19664/stat : 19664 (java) S 19654 19654 5234 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 9340900 14316269568 62107 18446744073709551615 4194304 4196468 140730796985328 140122298233728 140122791413461 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
[pid=19656/tid=19665] ppid=19654 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19656/task/19665/stat : 19665 (java) S 19654 19654 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9340903 14316269568 62107 18446744073709551615 4194304 4196468 140730796985328 140122297182032 140122791421851 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
[pid=19656/tid=19666] ppid=19654 vsize=13980732 CPUtime=8.89 cores=1,3,5,7
/proc/19656/task/19666/stat : 19666 (java) S 19654 19654 5234 0 -1 1077944384 49640 0 0 0 884 5 0 0 20 0 15 0 9340903 14316269568 62107 18446744073709551615 4194304 4196468 140730796985328 140122296130416 140122791414402 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
[pid=19656/tid=19667] ppid=19654 vsize=13980732 CPUtime=9.14 cores=1,3,5,7
/proc/19656/task/19667/stat : 19667 (java) S 19654 19654 5234 0 -1 1077944384 44074 0 0 0 911 3 0 0 20 0 15 0 9340903 14316269568 62107 18446744073709551615 4194304 4196468 140730796985328 140122295077616 140122791414402 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
[pid=19656/tid=19668] ppid=19654 vsize=13980732 CPUtime=0.84 cores=1,3,5,7
/proc/19656/task/19668/stat : 19668 (java) S 19654 19654 5234 0 -1 1077944384 11615 0 0 0 82 2 0 0 20 0 15 0 9340903 14316269568 62107 18446744073709551615 4194304 4196468 140730796985328 140122294024816 140122791414402 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
[pid=19656/tid=19669] ppid=19654 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19656/task/19669/stat : 19669 (java) S 19654 19654 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9340903 14316269568 62107 18446744073709551615 4194304 4196468 140730796985328 140122292972256 140122791413461 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
[pid=19656/tid=19670] ppid=19654 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/19656/task/19670/stat : 19670 (java) S 19654 19654 5234 0 -1 1077944384 341 0 0 0 2 4 0 0 20 0 15 0 9340908 14316269568 62107 18446744073709551615 4194304 4196468 140730796985328 140122291919536 140122791414402 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
Current children cumulated CPU time (s) 242.01
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.60 1.77 1.85 3/220 19793
/proc/meminfo: memFree=31329912/32770624 swapFree=0/287748
[pid=19654] ppid=19651 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/19654/stat : 19654 (xcsp3-exec) S 19651 19654 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9340888 9740288 345 18446744073709551615 4194304 5098028 140721006065632 140721006063736 139653876171388 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 40321024 140721006068124 140721006068327 140721006068327 140721006071787 0
/proc/19654/statm: 2378 345 289 221 0 87 0
[pid=19656] ppid=19654 vsize=13980732 CPUtime=260.19 cores=1,3,5,7
/proc/19656/stat : 19656 (java) S 19654 19654 5234 0 -1 1077944320 132129 0 0 0 25979 40 0 0 20 0 15 0 9340897 14316269568 65030 18446744073709551615 4194304 4196468 140730796985328 140730796967872 140122791403255 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
/proc/19656/statm: 3495183 65030 3239 1 0 3483484 0
[pid=19656/tid=19657] ppid=19654 vsize=13980732 CPUtime=239.27 cores=1,3,5,7
/proc/19656/task/19657/stat : 19657 (java) R 19654 19654 5234 0 -1 4202560 17659 0 0 0 23921 6 0 0 20 0 15 0 9340897 14316269568 65030 18446744073709551615 4194304 4196468 140730796985328 140122795642848 140122396550847 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
[pid=19656/tid=19658] ppid=19654 vsize=13980732 CPUtime=0.37 cores=1,3,5,7
/proc/19656/task/19658/stat : 19658 (java) S 19654 19654 5234 0 -1 1077944384 869 0 0 0 33 4 0 0 20 0 15 0 9340898 14316269568 65030 18446744073709551615 4194304 4196468 140730796985328 140122710817936 140122791413461 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
[pid=19656/tid=19659] ppid=19654 vsize=13980732 CPUtime=0.37 cores=1,3,5,7
/proc/19656/task/19659/stat : 19659 (java) S 19654 19654 5234 0 -1 1077944384 1667 0 0 0 33 4 0 0 20 0 15 0 9340898 14316269568 65030 18446744073709551615 4194304 4196468 140730796985328 140122709765136 140122791413461 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
[pid=19656/tid=19660] ppid=19654 vsize=13980732 CPUtime=0.37 cores=1,3,5,7
/proc/19656/task/19660/stat : 19660 (java) S 19654 19654 5234 0 -1 1077944384 2039 0 0 0 33 4 0 0 20 0 15 0 9340898 14316269568 65030 18446744073709551615 4194304 4196468 140730796985328 140122708712336 140122791413461 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
[pid=19656/tid=19661] ppid=19654 vsize=13980732 CPUtime=0.36 cores=1,3,5,7
/proc/19656/task/19661/stat : 19661 (java) S 19654 19654 5234 0 -1 1077944384 728 0 0 0 33 3 0 0 20 0 15 0 9340898 14316269568 65030 18446744073709551615 4194304 4196468 140730796985328 140122707659536 140122791413461 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
[pid=19656/tid=19662] ppid=19654 vsize=13980732 CPUtime=0.11 cores=1,3,5,7
/proc/19656/task/19662/stat : 19662 (java) S 19654 19654 5234 0 -1 1077944384 1607 0 0 0 10 1 0 0 20 0 15 0 9340899 14316269568 65030 18446744073709551615 4194304 4196468 140730796985328 140122300340592 140122791414402 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
[pid=19656/tid=19663] ppid=19654 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19656/task/19663/stat : 19663 (java) S 19654 19654 5234 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 9340900 14316269568 65030 18446744073709551615 4194304 4196468 140730796985328 140122299286624 140122791413461 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
[pid=19656/tid=19664] ppid=19654 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19656/task/19664/stat : 19664 (java) S 19654 19654 5234 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 9340900 14316269568 65030 18446744073709551615 4194304 4196468 140730796985328 140122298233728 140122791413461 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
[pid=19656/tid=19665] ppid=19654 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19656/task/19665/stat : 19665 (java) S 19654 19654 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9340903 14316269568 65030 18446744073709551615 4194304 4196468 140730796985328 140122297182032 140122791421851 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
[pid=19656/tid=19666] ppid=19654 vsize=13980732 CPUtime=9.05 cores=1,3,5,7
/proc/19656/task/19666/stat : 19666 (java) S 19654 19654 5234 0 -1 1077944384 49728 0 0 0 900 5 0 0 20 0 15 0 9340903 14316269568 65030 18446744073709551615 4194304 4196468 140730796985328 140122296130416 140122791414402 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
[pid=19656/tid=19667] ppid=19654 vsize=13980732 CPUtime=9.25 cores=1,3,5,7
/proc/19656/task/19667/stat : 19667 (java) S 19654 19654 5234 0 -1 1077944384 44416 0 0 0 921 4 0 0 20 0 15 0 9340903 14316269568 65030 18446744073709551615 4194304 4196468 140730796985328 140122295077616 140122791414402 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
[pid=19656/tid=19668] ppid=19654 vsize=13980732 CPUtime=0.85 cores=1,3,5,7
/proc/19656/task/19668/stat : 19668 (java) S 19654 19654 5234 0 -1 1077944384 11680 0 0 0 83 2 0 0 20 0 15 0 9340903 14316269568 65030 18446744073709551615 4194304 4196468 140730796985328 140122294024816 140122791414402 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
[pid=19656/tid=19669] ppid=19654 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19656/task/19669/stat : 19669 (java) S 19654 19654 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9340903 14316269568 65030 18446744073709551615 4194304 4196468 140730796985328 140122292972256 140122791413461 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
[pid=19656/tid=19670] ppid=19654 vsize=13980732 CPUtime=0.07 cores=1,3,5,7
/proc/19656/task/19670/stat : 19670 (java) S 19654 19654 5234 0 -1 1077944384 341 0 0 0 3 4 0 0 20 0 15 0 9340908 14316269568 65030 18446744073709551615 4194304 4196468 140730796985328 140122291919536 140122791414402 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39247872 140730796990932 140730796991107 140730796991107 140730796994511 0
Current children cumulated CPU time (s) 260.19
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 19656 sig 9
??? kill 19654 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.017
CPU time (s): 260.221
CPU user time (s): 259.808
CPU system time (s): 0.413271
CPU usage (%): 108.418
Max. virtual memory (cumulated for all children) (KiB): 13995768
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 259.808
system time used= 0.413271
maximum resident set size= 323244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 132909
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= 10971
involuntary context switches= 387
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.09217 second user time and 1.4159 second system time
The end