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-4253990-1501613543/watcher-4253990-1501613543 -o /tmp/evaluation-result-4253990-1501613543/solver-4253990-1501613543 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node130-1501611170-5184 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 141460032 HOME/instance-4253990-1501613543.xml
pid=6783
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: 2.07 1.95 1.56 3/195 6786
/proc/meminfo: memFree=31840708/32770624 swapFree=0/180440
[pid=6786] ppid=6783 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/6786/stat : 6786 (runsolver) D 6783 6786 5123 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 9971276 24240128 106 18446744073709551615 4194304 4338465 140729692022544 140729692020184 140589495145175 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 27533312 140729692029022 140729692029510 140729692029510 140729692032970 0
/proc/6786/statm: 5918 106 53 36 0 2156 0
[startup+0.100136 s]
/proc/loadavg: 2.07 1.95 1.56 3/195 6786
/proc/meminfo: memFree=31840708/32770624 swapFree=0/180440
[pid=6786] ppid=6783 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6786/stat : 6786 (xcsp3-exec) S 6783 6786 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9971276 9740288 345 18446744073709551615 4194304 5098028 140723557028688 140723557026792 140007864148604 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 11677696 140723557032348 140723557032551 140723557032551 140723557036011 0
/proc/6786/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200322 s]
/proc/loadavg: 2.07 1.95 1.56 3/195 6786
/proc/meminfo: memFree=31840708/32770624 swapFree=0/180440
[pid=6786] ppid=6783 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6786/stat : 6786 (xcsp3-exec) S 6783 6786 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9971276 9740288 345 18446744073709551615 4194304 5098028 140723557028688 140723557026792 140007864148604 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 11677696 140723557032348 140723557032551 140723557032551 140723557036011 0
/proc/6786/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300275 s]
/proc/loadavg: 2.07 1.95 1.56 3/195 6786
/proc/meminfo: memFree=31840708/32770624 swapFree=0/180440
[pid=6786] ppid=6783 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6786/stat : 6786 (xcsp3-exec) S 6783 6786 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9971276 9740288 345 18446744073709551615 4194304 5098028 140723557028688 140723557026792 140007864148604 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 11677696 140723557032348 140723557032551 140723557032551 140723557036011 0
/proc/6786/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700262 s]
/proc/loadavg: 2.07 1.95 1.56 3/195 6786
/proc/meminfo: memFree=31840708/32770624 swapFree=0/180440
[pid=6786] ppid=6783 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6786/stat : 6786 (xcsp3-exec) S 6783 6786 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9971276 9740288 345 18446744073709551615 4194304 5098028 140723557028688 140723557026792 140007864148604 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 11677696 140723557032348 140723557032551 140723557032551 140723557036011 0
/proc/6786/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50072 s]
/proc/loadavg: 2.07 1.95 1.56 5/211 6802
/proc/meminfo: memFree=31700768/32770624 swapFree=0/180444
[pid=6786] ppid=6783 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6786/stat : 6786 (xcsp3-exec) S 6783 6786 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9971276 9740288 345 18446744073709551615 4194304 5098028 140723557028688 140723557026792 140007864148604 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 11677696 140723557032348 140723557032551 140723557032551 140723557036011 0
/proc/6786/statm: 2378 345 289 221 0 87 0
[pid=6788] ppid=6786 vsize=13980732 CPUtime=3.65 cores=1,3,5,7
/proc/6788/stat : 6788 (java) S 6786 6786 5123 0 -1 1077944320 19591 0 0 0 359 6 0 0 20 0 15 0 9971284 14316269568 40050 18446744073709551615 4194304 4196468 140733136775888 140733136758432 139680204496631 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
/proc/6788/statm: 3495183 40050 3187 1 0 3483484 0
[pid=6788/tid=6789] ppid=6786 vsize=13980732 CPUtime=1.32 cores=1,3,5,7
/proc/6788/task/6789/stat : 6789 (java) R 6786 6786 5123 0 -1 4202560 9656 0 0 0 128 4 0 0 20 0 15 0 9971285 14316269568 40050 18446744073709551615 4194304 4196468 140733136775888 139680208730992 139679808247708 0 4 1 16800974 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
[pid=6788/tid=6790] ppid=6786 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6788/task/6790/stat : 6790 (java) S 6786 6786 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9971285 14316269568 40050 18446744073709551615 4194304 4196468 140733136775888 139680123910800 139680204506837 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
[pid=6788/tid=6791] ppid=6786 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6788/task/6791/stat : 6791 (java) S 6786 6786 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9971285 14316269568 40050 18446744073709551615 4194304 4196468 140733136775888 139680122858000 139680204506837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
[pid=6788/tid=6792] ppid=6786 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6788/task/6792/stat : 6792 (java) S 6786 6786 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9971285 14316269568 40050 18446744073709551615 4194304 4196468 140733136775888 139679802321296 139680204506837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
[pid=6788/tid=6793] ppid=6786 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6788/task/6793/stat : 6793 (java) S 6786 6786 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9971285 14316269568 40050 18446744073709551615 4194304 4196468 140733136775888 139679801268496 139680204506837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
[pid=6788/tid=6794] ppid=6786 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6788/task/6794/stat : 6794 (java) S 6786 6786 5123 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 9971287 14316269568 40050 18446744073709551615 4194304 4196468 140733136775888 139679683005296 139680204507778 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
[pid=6788/tid=6795] ppid=6786 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6788/task/6795/stat : 6795 (java) S 6786 6786 5123 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9971287 14316269568 40050 18446744073709551615 4194304 4196468 140733136775888 139679681951264 139680204506837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
[pid=6788/tid=6796] ppid=6786 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6788/task/6796/stat : 6796 (java) S 6786 6786 5123 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9971287 14316269568 40050 18446744073709551615 4194304 4196468 140733136775888 139679680898416 139680204506837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
[pid=6788/tid=6797] ppid=6786 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6788/task/6797/stat : 6797 (java) S 6786 6786 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9971290 14316269568 40050 18446744073709551615 4194304 4196468 140733136775888 139679679846736 139680204515227 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
[pid=6788/tid=6798] ppid=6786 vsize=13980732 CPUtime=0.91 cores=1,3,5,7
/proc/6788/task/6798/stat : 6798 (java) S 6786 6786 5123 0 -1 1077944384 3509 0 0 0 91 0 0 0 20 0 15 0 9971290 14316269568 40050 18446744073709551615 4194304 4196468 140733136775888 139679678794096 139680204507778 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
[pid=6788/tid=6799] ppid=6786 vsize=13980732 CPUtime=0.86 cores=1,3,5,7
/proc/6788/task/6799/stat : 6799 (java) S 6786 6786 5123 0 -1 1077944384 2268 0 0 0 86 0 0 0 20 0 15 0 9971290 14316269568 40050 18446744073709551615 4194304 4196468 140733136775888 139679677741296 139680204507778 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
[pid=6788/tid=6800] ppid=6786 vsize=13980732 CPUtime=0.53 cores=1,3,5,7
/proc/6788/task/6800/stat : 6800 (java) S 6786 6786 5123 0 -1 1077944384 2831 0 0 0 52 1 0 0 20 0 15 0 9971290 14316269568 40050 18446744073709551615 4194304 4196468 140733136775888 139679676688496 139680204507778 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
[pid=6788/tid=6801] ppid=6786 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6788/task/6801/stat : 6801 (java) S 6786 6786 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9971290 14316269568 40050 18446744073709551615 4194304 4196468 140733136775888 139679675635936 139680204506837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
[pid=6788/tid=6802] ppid=6786 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6788/task/6802/stat : 6802 (java) S 6786 6786 5123 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 9971298 14316269568 40050 18446744073709551615 4194304 4196468 140733136775888 139679674584240 139680204507778 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
Current children cumulated CPU time (s) 3.65
Current children cumulated vsize (KiB) 13990244
[startup+3.10079 s]
/proc/loadavg: 2.06 1.95 1.56 3/211 6802
/proc/meminfo: memFree=31686000/32770624 swapFree=0/180444
[pid=6786] ppid=6783 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6786/stat : 6786 (xcsp3-exec) S 6783 6786 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9971276 9740288 345 18446744073709551615 4194304 5098028 140723557028688 140723557026792 140007864148604 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 11677696 140723557032348 140723557032551 140723557032551 140723557036011 0
/proc/6786/statm: 2378 345 289 221 0 87 0
[pid=6788] ppid=6786 vsize=13980732 CPUtime=5.71 cores=1,3,5,7
/proc/6788/stat : 6788 (java) S 6786 6786 5123 0 -1 1077944320 20829 0 0 0 564 7 0 0 20 0 15 0 9971284 14316269568 41526 18446744073709551615 4194304 4196468 140733136775888 140733136758432 139680204496631 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
/proc/6788/statm: 3495183 41526 3187 1 0 3483484 0
[pid=6788/tid=6789] ppid=6786 vsize=13980732 CPUtime=2.92 cores=1,3,5,7
/proc/6788/task/6789/stat : 6789 (java) R 6786 6786 5123 0 -1 4202560 9742 0 0 0 288 4 0 0 20 0 15 0 9971285 14316269568 41526 18446744073709551615 4194304 4196468 140733136775888 139680208733704 139679803465222 0 4 1 16800974 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
[pid=6788/tid=6790] ppid=6786 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6788/task/6790/stat : 6790 (java) S 6786 6786 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9971285 14316269568 41526 18446744073709551615 4194304 4196468 140733136775888 139680123910800 139680204506837 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
[pid=6788/tid=6791] ppid=6786 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6788/task/6791/stat : 6791 (java) S 6786 6786 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9971285 14316269568 41526 18446744073709551615 4194304 4196468 140733136775888 139680122858000 139680204506837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
[pid=6788/tid=6792] ppid=6786 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6788/task/6792/stat : 6792 (java) S 6786 6786 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9971285 14316269568 41526 18446744073709551615 4194304 4196468 140733136775888 139679802321296 139680204506837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
[pid=6788/tid=6793] ppid=6786 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6788/task/6793/stat : 6793 (java) S 6786 6786 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9971285 14316269568 41526 18446744073709551615 4194304 4196468 140733136775888 139679801268496 139680204506837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
[pid=6788/tid=6794] ppid=6786 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6788/task/6794/stat : 6794 (java) S 6786 6786 5123 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 9971287 14316269568 41526 18446744073709551615 4194304 4196468 140733136775888 139679683005296 139680204507778 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
[pid=6788/tid=6795] ppid=6786 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6788/task/6795/stat : 6795 (java) S 6786 6786 5123 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9971287 14316269568 41526 18446744073709551615 4194304 4196468 140733136775888 139679681951264 139680204506837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
[pid=6788/tid=6796] ppid=6786 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6788/task/6796/stat : 6796 (java) S 6786 6786 5123 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9971287 14316269568 41526 18446744073709551615 4194304 4196468 140733136775888 139679680898416 139680204506837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
[pid=6788/tid=6797] ppid=6786 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6788/task/6797/stat : 6797 (java) S 6786 6786 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9971290 14316269568 41526 18446744073709551615 4194304 4196468 140733136775888 139679679846736 139680204515227 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
[pid=6788/tid=6798] ppid=6786 vsize=13980732 CPUtime=1.09 cores=1,3,5,7
/proc/6788/task/6798/stat : 6798 (java) S 6786 6786 5123 0 -1 1077944384 3960 0 0 0 109 0 0 0 20 0 15 0 9971290 14316269568 41526 18446744073709551615 4194304 4196468 140733136775888 139679678794096 139680204507778 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
[pid=6788/tid=6799] ppid=6786 vsize=13980732 CPUtime=1.11 cores=1,3,5,7
/proc/6788/task/6799/stat : 6799 (java) R 6786 6786 5123 0 -1 4202560 2903 0 0 0 111 0 0 0 20 0 15 0 9971290 14316269568 41526 18446744073709551615 4194304 4196468 140733136775888 139679677741296 139680185195949 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
[pid=6788/tid=6800] ppid=6786 vsize=13980732 CPUtime=0.55 cores=1,3,5,7
/proc/6788/task/6800/stat : 6800 (java) S 6786 6786 5123 0 -1 1077944384 2861 0 0 0 54 1 0 0 20 0 15 0 9971290 14316269568 41526 18446744073709551615 4194304 4196468 140733136775888 139679676688496 139680204507778 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
[pid=6788/tid=6801] ppid=6786 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6788/task/6801/stat : 6801 (java) S 6786 6786 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9971290 14316269568 41526 18446744073709551615 4194304 4196468 140733136775888 139679675635936 139680204506837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
[pid=6788/tid=6802] ppid=6786 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6788/task/6802/stat : 6802 (java) S 6786 6786 5123 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 15 0 9971298 14316269568 41526 18446744073709551615 4194304 4196468 140733136775888 139679674584240 139680204507778 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
Current children cumulated CPU time (s) 5.71
Current children cumulated vsize (KiB) 13990244
[startup+6.30079 s]
/proc/loadavg: 2.06 1.95 1.56 3/211 6802
/proc/meminfo: memFree=31682360/32770624 swapFree=0/180456
[pid=6786] ppid=6783 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6786/stat : 6786 (xcsp3-exec) S 6783 6786 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9971276 9740288 345 18446744073709551615 4194304 5098028 140723557028688 140723557026792 140007864148604 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 11677696 140723557032348 140723557032551 140723557032551 140723557036011 0
/proc/6786/statm: 2378 345 289 221 0 87 0
[pid=6788] ppid=6786 vsize=13980732 CPUtime=9.35 cores=1,3,5,7
/proc/6788/stat : 6788 (java) S 6786 6786 5123 0 -1 1077944320 25284 0 0 0 927 8 0 0 20 0 15 0 9971284 14316269568 42109 18446744073709551615 4194304 4196468 140733136775888 140733136758432 139680204496631 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
/proc/6788/statm: 3495183 42109 3191 1 0 3483484 0
[pid=6788/tid=6789] ppid=6786 vsize=13980732 CPUtime=6.12 cores=1,3,5,7
/proc/6788/task/6789/stat : 6789 (java) R 6786 6786 5123 0 -1 4202560 10273 0 0 0 608 4 0 0 20 0 15 0 9971285 14316269568 42109 18446744073709551615 4194304 4196468 140733136775888 139680208733360 139679808156821 0 4 1 16800974 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
[pid=6788/tid=6790] ppid=6786 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6788/task/6790/stat : 6790 (java) S 6786 6786 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9971285 14316269568 42109 18446744073709551615 4194304 4196468 140733136775888 139680123910800 139680204506837 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
[pid=6788/tid=6791] ppid=6786 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6788/task/6791/stat : 6791 (java) S 6786 6786 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9971285 14316269568 42109 18446744073709551615 4194304 4196468 140733136775888 139680122858000 139680204506837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
[pid=6788/tid=6792] ppid=6786 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6788/task/6792/stat : 6792 (java) S 6786 6786 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9971285 14316269568 42109 18446744073709551615 4194304 4196468 140733136775888 139679802321296 139680204506837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
[pid=6788/tid=6793] ppid=6786 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6788/task/6793/stat : 6793 (java) S 6786 6786 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9971285 14316269568 42109 18446744073709551615 4194304 4196468 140733136775888 139679801268496 139680204506837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
[pid=6788/tid=6794] ppid=6786 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6788/task/6794/stat : 6794 (java) S 6786 6786 5123 0 -1 1077944384 270 0 0 0 0 0 0 0 20 0 15 0 9971287 14316269568 42109 18446744073709551615 4194304 4196468 140733136775888 139679683005296 139680204507778 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
[pid=6788/tid=6795] ppid=6786 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6788/task/6795/stat : 6795 (java) S 6786 6786 5123 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9971287 14316269568 42109 18446744073709551615 4194304 4196468 140733136775888 139679681951264 139680204506837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
[pid=6788/tid=6796] ppid=6786 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6788/task/6796/stat : 6796 (java) S 6786 6786 5123 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9971287 14316269568 42109 18446744073709551615 4194304 4196468 140733136775888 139679680898416 139680204506837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
[pid=6788/tid=6797] ppid=6786 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6788/task/6797/stat : 6797 (java) S 6786 6786 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9971290 14316269568 42109 18446744073709551615 4194304 4196468 140733136775888 139679679846736 139680204515227 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
[pid=6788/tid=6798] ppid=6786 vsize=13980732 CPUtime=1.36 cores=1,3,5,7
/proc/6788/task/6798/stat : 6798 (java) S 6786 6786 5123 0 -1 1077944384 5992 0 0 0 136 0 0 0 20 0 15 0 9971290 14316269568 42109 18446744073709551615 4194304 4196468 140733136775888 139679678794096 139680204507778 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
[pid=6788/tid=6799] ppid=6786 vsize=13980732 CPUtime=1.25 cores=1,3,5,7
/proc/6788/task/6799/stat : 6799 (java) S 6786 6786 5123 0 -1 1077944384 3883 0 0 0 125 0 0 0 20 0 15 0 9971290 14316269568 42109 18446744073709551615 4194304 4196468 140733136775888 139679677741296 139680204507778 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
[pid=6788/tid=6800] ppid=6786 vsize=13980732 CPUtime=0.56 cores=1,3,5,7
/proc/6788/task/6800/stat : 6800 (java) S 6786 6786 5123 0 -1 1077944384 3421 0 0 0 55 1 0 0 20 0 15 0 9971290 14316269568 42109 18446744073709551615 4194304 4196468 140733136775888 139679676688496 139680204507778 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
[pid=6788/tid=6801] ppid=6786 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6788/task/6801/stat : 6801 (java) S 6786 6786 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9971290 14316269568 42109 18446744073709551615 4194304 4196468 140733136775888 139679675635936 139680204506837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
[pid=6788/tid=6802] ppid=6786 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6788/task/6802/stat : 6802 (java) S 6786 6786 5123 0 -1 1077944384 145 0 0 0 0 0 0 0 20 0 15 0 9971298 14316269568 42109 18446744073709551615 4194304 4196468 140733136775888 139679674584240 139680204507778 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
Current children cumulated CPU time (s) 9.35
Current children cumulated vsize (KiB) 13990244
[startup+12.7008 s]
/proc/loadavg: 2.06 1.95 1.56 3/211 6802
/proc/meminfo: memFree=31677504/32770624 swapFree=0/180456
[pid=6786] ppid=6783 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6786/stat : 6786 (xcsp3-exec) S 6783 6786 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9971276 9740288 345 18446744073709551615 4194304 5098028 140723557028688 140723557026792 140007864148604 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 11677696 140723557032348 140723557032551 140723557032551 140723557036011 0
/proc/6786/statm: 2378 345 289 221 0 87 0
[pid=6788] ppid=6786 vsize=13980732 CPUtime=15.78 cores=1,3,5,7
/proc/6788/stat : 6788 (java) S 6786 6786 5123 0 -1 1077944320 28514 0 0 0 1569 9 0 0 20 0 15 0 9971284 14316269568 42149 18446744073709551615 4194304 4196468 140733136775888 140733136758432 139680204496631 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
/proc/6788/statm: 3495183 42149 3191 1 0 3483484 0
[pid=6788/tid=6789] ppid=6786 vsize=13980732 CPUtime=12.53 cores=1,3,5,7
/proc/6788/task/6789/stat : 6789 (java) R 6786 6786 5123 0 -1 4202560 11147 0 0 0 1248 5 0 0 20 0 15 0 9971285 14316269568 42149 18446744073709551615 4194304 4196468 140733136775888 139680208733248 139679803465256 0 4 1 16800974 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
[pid=6788/tid=6790] ppid=6786 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6788/task/6790/stat : 6790 (java) S 6786 6786 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9971285 14316269568 42149 18446744073709551615 4194304 4196468 140733136775888 139680123910800 139680204506837 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
[pid=6788/tid=6791] ppid=6786 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6788/task/6791/stat : 6791 (java) S 6786 6786 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9971285 14316269568 42149 18446744073709551615 4194304 4196468 140733136775888 139680122858000 139680204506837 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
################
# More data... #
################
/proc/6788/stat : 6788 (java) S 6786 6786 5123 0 -1 1077944320 52204 0 0 0 10644 19 0 0 20 0 15 0 9971284 14316269568 57292 18446744073709551615 4194304 4196468 140733136775888 140733136758432 139680204496631 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
/proc/6788/statm: 3495183 57292 3215 1 0 3483484 0
[pid=6788/tid=6789] ppid=6786 vsize=13980732 CPUtime=102.09 cores=1,3,5,7
/proc/6788/task/6789/stat : 6789 (java) R 6786 6786 5123 0 -1 4202560 13959 0 0 0 10204 5 0 0 20 0 15 0 9971285 14316269568 57292 18446744073709551615 4194304 4196468 140733136775888 139680208734680 139679808775716 0 4 1 16800974 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
[pid=6788/tid=6790] ppid=6786 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/6788/task/6790/stat : 6790 (java) S 6786 6786 5123 0 -1 1077944384 822 0 0 0 2 1 0 0 20 0 15 0 9971285 14316269568 57292 18446744073709551615 4194304 4196468 140733136775888 139680123910800 139680204506837 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
[pid=6788/tid=6791] ppid=6786 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/6788/task/6791/stat : 6791 (java) S 6786 6786 5123 0 -1 1077944384 370 0 0 0 1 1 0 0 20 0 15 0 9971285 14316269568 57292 18446744073709551615 4194304 4196468 140733136775888 139680122858000 139680204506837 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
[pid=6788/tid=6792] ppid=6786 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/6788/task/6792/stat : 6792 (java) S 6786 6786 5123 0 -1 1077944384 98 0 0 0 1 1 0 0 20 0 15 0 9971285 14316269568 57292 18446744073709551615 4194304 4196468 140733136775888 139679802321296 139680204506837 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
[pid=6788/tid=6793] ppid=6786 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/6788/task/6793/stat : 6793 (java) S 6786 6786 5123 0 -1 1077944384 110 0 0 0 2 1 0 0 20 0 15 0 9971285 14316269568 57292 18446744073709551615 4194304 4196468 140733136775888 139679801268496 139680204506837 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
[pid=6788/tid=6794] ppid=6786 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6788/task/6794/stat : 6794 (java) S 6786 6786 5123 0 -1 1077944384 694 0 0 0 0 0 0 0 20 0 15 0 9971287 14316269568 57292 18446744073709551615 4194304 4196468 140733136775888 139679683005296 139680204507778 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
[pid=6788/tid=6795] ppid=6786 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6788/task/6795/stat : 6795 (java) S 6786 6786 5123 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 9971287 14316269568 57292 18446744073709551615 4194304 4196468 140733136775888 139679681951264 139680204506837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
[pid=6788/tid=6796] ppid=6786 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6788/task/6796/stat : 6796 (java) S 6786 6786 5123 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 9971287 14316269568 57292 18446744073709551615 4194304 4196468 140733136775888 139679680898416 139680204506837 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
[pid=6788/tid=6797] ppid=6786 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6788/task/6797/stat : 6797 (java) S 6786 6786 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9971290 14316269568 57292 18446744073709551615 4194304 4196468 140733136775888 139679679846736 139680204515227 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
[pid=6788/tid=6798] ppid=6786 vsize=13980732 CPUtime=1.97 cores=1,3,5,7
/proc/6788/task/6798/stat : 6798 (java) S 6786 6786 5123 0 -1 1077944384 17166 0 0 0 196 1 0 0 20 0 15 0 9971290 14316269568 57292 18446744073709551615 4194304 4196468 140733136775888 139679678794096 139680204507778 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
[pid=6788/tid=6799] ppid=6786 vsize=13980732 CPUtime=1.66 cores=1,3,5,7
/proc/6788/task/6799/stat : 6799 (java) S 6786 6786 5123 0 -1 1077944384 8150 0 0 0 165 1 0 0 20 0 15 0 9971290 14316269568 57292 18446744073709551615 4194304 4196468 140733136775888 139679677741296 139680204507778 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
[pid=6788/tid=6800] ppid=6786 vsize=13980732 CPUtime=0.66 cores=1,3,5,7
/proc/6788/task/6800/stat : 6800 (java) S 6786 6786 5123 0 -1 1077944384 8950 0 0 0 64 2 0 0 20 0 15 0 9971290 14316269568 57292 18446744073709551615 4194304 4196468 140733136775888 139679676688496 139680204507778 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
[pid=6788/tid=6801] ppid=6786 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6788/task/6801/stat : 6801 (java) S 6786 6786 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9971290 14316269568 57292 18446744073709551615 4194304 4196468 140733136775888 139679675635936 139680204506837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
[pid=6788/tid=6802] ppid=6786 vsize=13980732 CPUtime=0.07 cores=1,3,5,7
/proc/6788/task/6802/stat : 6802 (java) S 6786 6786 5123 0 -1 1077944384 529 0 0 0 3 4 0 0 20 0 15 0 9971298 14316269568 57292 18446744073709551615 4194304 4196468 140733136775888 139679674584240 139680204507778 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
Current children cumulated CPU time (s) 106.63
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 2.07 1.99 1.63 3/212 6891
/proc/meminfo: memFree=31564688/32770624 swapFree=0/180608
[pid=6786] ppid=6783 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6786/stat : 6786 (xcsp3-exec) S 6783 6786 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9971276 9740288 345 18446744073709551615 4194304 5098028 140723557028688 140723557026792 140007864148604 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 11677696 140723557032348 140723557032551 140723557032551 140723557036011 0
/proc/6786/statm: 2378 345 289 221 0 87 0
[pid=6788] ppid=6786 vsize=13980732 CPUtime=166.72 cores=1,3,5,7
/proc/6788/stat : 6788 (java) S 6786 6786 5123 0 -1 1077944320 52339 0 0 0 16651 21 0 0 20 0 15 0 9971284 14316269568 57301 18446744073709551615 4194304 4196468 140733136775888 140733136758432 139680204496631 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
/proc/6788/statm: 3495183 57301 3216 1 0 3483484 0
[pid=6788/tid=6789] ppid=6786 vsize=13980732 CPUtime=162.08 cores=1,3,5,7
/proc/6788/task/6789/stat : 6789 (java) R 6786 6786 5123 0 -1 4202560 13985 0 0 0 16203 5 0 0 20 0 15 0 9971285 14316269568 57301 18446744073709551615 4194304 4196468 140733136775888 139680208733960 139679808156821 0 4 1 16800974 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
[pid=6788/tid=6790] ppid=6786 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/6788/task/6790/stat : 6790 (java) S 6786 6786 5123 0 -1 1077944384 822 0 0 0 2 1 0 0 20 0 15 0 9971285 14316269568 57301 18446744073709551615 4194304 4196468 140733136775888 139680123910800 139680204506837 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
[pid=6788/tid=6791] ppid=6786 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/6788/task/6791/stat : 6791 (java) S 6786 6786 5123 0 -1 1077944384 370 0 0 0 1 1 0 0 20 0 15 0 9971285 14316269568 57301 18446744073709551615 4194304 4196468 140733136775888 139680122858000 139680204506837 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
[pid=6788/tid=6792] ppid=6786 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/6788/task/6792/stat : 6792 (java) S 6786 6786 5123 0 -1 1077944384 98 0 0 0 1 1 0 0 20 0 15 0 9971285 14316269568 57301 18446744073709551615 4194304 4196468 140733136775888 139679802321296 139680204506837 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
[pid=6788/tid=6793] ppid=6786 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/6788/task/6793/stat : 6793 (java) S 6786 6786 5123 0 -1 1077944384 110 0 0 0 2 1 0 0 20 0 15 0 9971285 14316269568 57301 18446744073709551615 4194304 4196468 140733136775888 139679801268496 139680204506837 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
[pid=6788/tid=6794] ppid=6786 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6788/task/6794/stat : 6794 (java) S 6786 6786 5123 0 -1 1077944384 695 0 0 0 0 0 0 0 20 0 15 0 9971287 14316269568 57301 18446744073709551615 4194304 4196468 140733136775888 139679683005296 139680204507778 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
[pid=6788/tid=6795] ppid=6786 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6788/task/6795/stat : 6795 (java) S 6786 6786 5123 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 9971287 14316269568 57301 18446744073709551615 4194304 4196468 140733136775888 139679681951264 139680204506837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
[pid=6788/tid=6796] ppid=6786 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6788/task/6796/stat : 6796 (java) S 6786 6786 5123 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 9971287 14316269568 57301 18446744073709551615 4194304 4196468 140733136775888 139679680898416 139680204506837 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
[pid=6788/tid=6797] ppid=6786 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6788/task/6797/stat : 6797 (java) S 6786 6786 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9971290 14316269568 57301 18446744073709551615 4194304 4196468 140733136775888 139679679846736 139680204515227 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
[pid=6788/tid=6798] ppid=6786 vsize=13980732 CPUtime=2.02 cores=1,3,5,7
/proc/6788/task/6798/stat : 6798 (java) S 6786 6786 5123 0 -1 1077944384 17230 0 0 0 200 2 0 0 20 0 15 0 9971290 14316269568 57301 18446744073709551615 4194304 4196468 140733136775888 139679678794096 139680204507778 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
[pid=6788/tid=6799] ppid=6786 vsize=13980732 CPUtime=1.67 cores=1,3,5,7
/proc/6788/task/6799/stat : 6799 (java) S 6786 6786 5123 0 -1 1077944384 8186 0 0 0 166 1 0 0 20 0 15 0 9971290 14316269568 57301 18446744073709551615 4194304 4196468 140733136775888 139679677741296 139680204507778 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
[pid=6788/tid=6800] ppid=6786 vsize=13980732 CPUtime=0.66 cores=1,3,5,7
/proc/6788/task/6800/stat : 6800 (java) S 6786 6786 5123 0 -1 1077944384 8958 0 0 0 64 2 0 0 20 0 15 0 9971290 14316269568 57301 18446744073709551615 4194304 4196468 140733136775888 139679676688496 139680204507778 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
[pid=6788/tid=6801] ppid=6786 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6788/task/6801/stat : 6801 (java) S 6786 6786 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9971290 14316269568 57301 18446744073709551615 4194304 4196468 140733136775888 139679675635936 139680204506837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
[pid=6788/tid=6802] ppid=6786 vsize=13980732 CPUtime=0.11 cores=1,3,5,7
/proc/6788/task/6802/stat : 6802 (java) S 6786 6786 5123 0 -1 1077944384 529 0 0 0 5 6 0 0 20 0 15 0 9971298 14316269568 57301 18446744073709551615 4194304 4196468 140733136775888 139679674584240 139680204507778 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
Current children cumulated CPU time (s) 166.72
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 2.09 2.01 1.67 3/212 6893
/proc/meminfo: memFree=31559680/32770624 swapFree=0/180672
[pid=6786] ppid=6783 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6786/stat : 6786 (xcsp3-exec) S 6783 6786 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9971276 9740288 345 18446744073709551615 4194304 5098028 140723557028688 140723557026792 140007864148604 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 11677696 140723557032348 140723557032551 140723557032551 140723557036011 0
/proc/6786/statm: 2378 345 289 221 0 87 0
[pid=6788] ppid=6786 vsize=13980732 CPUtime=226.94 cores=1,3,5,7
/proc/6788/stat : 6788 (java) S 6786 6786 5123 0 -1 1077944320 53126 0 0 0 22670 24 0 0 20 0 15 0 9971284 14316269568 60561 18446744073709551615 4194304 4196468 140733136775888 140733136758432 139680204496631 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
/proc/6788/statm: 3495183 60561 3218 1 0 3483484 0
[pid=6788/tid=6789] ppid=6786 vsize=13980732 CPUtime=222.09 cores=1,3,5,7
/proc/6788/task/6789/stat : 6789 (java) R 6786 6786 5123 0 -1 4202560 14246 0 0 0 22204 5 0 0 20 0 15 0 9971285 14316269568 60561 18446744073709551615 4194304 4196468 140733136775888 139680208735080 139679808156878 0 4 1 16800974 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
[pid=6788/tid=6790] ppid=6786 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/6788/task/6790/stat : 6790 (java) S 6786 6786 5123 0 -1 1077944384 822 0 0 0 2 1 0 0 20 0 15 0 9971285 14316269568 60561 18446744073709551615 4194304 4196468 140733136775888 139680123910800 139680204506837 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
[pid=6788/tid=6791] ppid=6786 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/6788/task/6791/stat : 6791 (java) S 6786 6786 5123 0 -1 1077944384 370 0 0 0 1 1 0 0 20 0 15 0 9971285 14316269568 60561 18446744073709551615 4194304 4196468 140733136775888 139680122858000 139680204506837 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
[pid=6788/tid=6792] ppid=6786 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/6788/task/6792/stat : 6792 (java) S 6786 6786 5123 0 -1 1077944384 98 0 0 0 1 1 0 0 20 0 15 0 9971285 14316269568 60561 18446744073709551615 4194304 4196468 140733136775888 139679802321296 139680204506837 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
[pid=6788/tid=6793] ppid=6786 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/6788/task/6793/stat : 6793 (java) S 6786 6786 5123 0 -1 1077944384 110 0 0 0 2 1 0 0 20 0 15 0 9971285 14316269568 60561 18446744073709551615 4194304 4196468 140733136775888 139679801268496 139680204506837 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
[pid=6788/tid=6794] ppid=6786 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/6788/task/6794/stat : 6794 (java) S 6786 6786 5123 0 -1 1077944384 705 0 0 0 1 0 0 0 20 0 15 0 9971287 14316269568 60561 18446744073709551615 4194304 4196468 140733136775888 139679683005296 139680204507778 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
[pid=6788/tid=6795] ppid=6786 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6788/task/6795/stat : 6795 (java) S 6786 6786 5123 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 9971287 14316269568 60561 18446744073709551615 4194304 4196468 140733136775888 139679681951264 139680204506837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
[pid=6788/tid=6796] ppid=6786 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6788/task/6796/stat : 6796 (java) S 6786 6786 5123 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 9971287 14316269568 60561 18446744073709551615 4194304 4196468 140733136775888 139679680898416 139680204506837 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
[pid=6788/tid=6797] ppid=6786 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6788/task/6797/stat : 6797 (java) S 6786 6786 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9971290 14316269568 60561 18446744073709551615 4194304 4196468 140733136775888 139679679846736 139680204515227 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
[pid=6788/tid=6798] ppid=6786 vsize=13980732 CPUtime=2.14 cores=1,3,5,7
/proc/6788/task/6798/stat : 6798 (java) S 6786 6786 5123 0 -1 1077944384 17433 0 0 0 212 2 0 0 20 0 15 0 9971290 14316269568 60561 18446744073709551615 4194304 4196468 140733136775888 139679678794096 139680204507778 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
[pid=6788/tid=6799] ppid=6786 vsize=13980732 CPUtime=1.7 cores=1,3,5,7
/proc/6788/task/6799/stat : 6799 (java) S 6786 6786 5123 0 -1 1077944384 8381 0 0 0 169 1 0 0 20 0 15 0 9971290 14316269568 60561 18446744073709551615 4194304 4196468 140733136775888 139679677741296 139680204507778 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
[pid=6788/tid=6800] ppid=6786 vsize=13980732 CPUtime=0.67 cores=1,3,5,7
/proc/6788/task/6800/stat : 6800 (java) S 6786 6786 5123 0 -1 1077944384 9074 0 0 0 65 2 0 0 20 0 15 0 9971290 14316269568 60561 18446744073709551615 4194304 4196468 140733136775888 139679676688496 139680204507778 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
[pid=6788/tid=6801] ppid=6786 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6788/task/6801/stat : 6801 (java) S 6786 6786 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9971290 14316269568 60561 18446744073709551615 4194304 4196468 140733136775888 139679675635936 139680204506837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
[pid=6788/tid=6802] ppid=6786 vsize=13980732 CPUtime=0.15 cores=1,3,5,7
/proc/6788/task/6802/stat : 6802 (java) S 6786 6786 5123 0 -1 1077944384 531 0 0 0 6 9 0 0 20 0 15 0 9971298 14316269568 60561 18446744073709551615 4194304 4196468 140733136775888 139679674584240 139680204507778 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
Current children cumulated CPU time (s) 226.94
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 2.06 2.01 1.67 3/212 6894
/proc/meminfo: memFree=31549440/32770624 swapFree=0/180680
[pid=6786] ppid=6783 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/6786/stat : 6786 (xcsp3-exec) S 6783 6786 5123 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9971276 9740288 345 18446744073709551615 4194304 5098028 140723557028688 140723557026792 140007864148604 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 11677696 140723557032348 140723557032551 140723557032551 140723557036011 0
/proc/6786/statm: 2378 345 289 221 0 87 0
[pid=6788] ppid=6786 vsize=13980732 CPUtime=244.64 cores=1,3,5,7
/proc/6788/stat : 6788 (java) S 6786 6786 5123 0 -1 1077944320 53129 0 0 0 24440 24 0 0 20 0 15 0 9971284 14316269568 60571 18446744073709551615 4194304 4196468 140733136775888 140733136758432 139680204496631 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
/proc/6788/statm: 3495183 60571 3218 1 0 3483484 0
[pid=6788/tid=6789] ppid=6786 vsize=13980732 CPUtime=239.78 cores=1,3,5,7
/proc/6788/task/6789/stat : 6789 (java) R 6786 6786 5123 0 -1 4202560 14249 0 0 0 23973 5 0 0 20 0 15 0 9971285 14316269568 60571 18446744073709551615 4194304 4196468 140733136775888 139680208733544 139679808428074 0 4 1 16800974 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
[pid=6788/tid=6790] ppid=6786 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/6788/task/6790/stat : 6790 (java) S 6786 6786 5123 0 -1 1077944384 822 0 0 0 2 1 0 0 20 0 15 0 9971285 14316269568 60571 18446744073709551615 4194304 4196468 140733136775888 139680123910800 139680204506837 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
[pid=6788/tid=6791] ppid=6786 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/6788/task/6791/stat : 6791 (java) S 6786 6786 5123 0 -1 1077944384 370 0 0 0 1 1 0 0 20 0 15 0 9971285 14316269568 60571 18446744073709551615 4194304 4196468 140733136775888 139680122858000 139680204506837 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
[pid=6788/tid=6792] ppid=6786 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/6788/task/6792/stat : 6792 (java) S 6786 6786 5123 0 -1 1077944384 98 0 0 0 1 1 0 0 20 0 15 0 9971285 14316269568 60571 18446744073709551615 4194304 4196468 140733136775888 139679802321296 139680204506837 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
[pid=6788/tid=6793] ppid=6786 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/6788/task/6793/stat : 6793 (java) S 6786 6786 5123 0 -1 1077944384 110 0 0 0 2 1 0 0 20 0 15 0 9971285 14316269568 60571 18446744073709551615 4194304 4196468 140733136775888 139679801268496 139680204506837 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
[pid=6788/tid=6794] ppid=6786 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/6788/task/6794/stat : 6794 (java) S 6786 6786 5123 0 -1 1077944384 705 0 0 0 1 0 0 0 20 0 15 0 9971287 14316269568 60571 18446744073709551615 4194304 4196468 140733136775888 139679683005296 139680204507778 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
[pid=6788/tid=6795] ppid=6786 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6788/task/6795/stat : 6795 (java) S 6786 6786 5123 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 9971287 14316269568 60571 18446744073709551615 4194304 4196468 140733136775888 139679681951264 139680204506837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
[pid=6788/tid=6796] ppid=6786 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6788/task/6796/stat : 6796 (java) S 6786 6786 5123 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 9971287 14316269568 60571 18446744073709551615 4194304 4196468 140733136775888 139679680898416 139680204506837 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
[pid=6788/tid=6797] ppid=6786 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6788/task/6797/stat : 6797 (java) S 6786 6786 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9971290 14316269568 60571 18446744073709551615 4194304 4196468 140733136775888 139679679846736 139680204515227 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
[pid=6788/tid=6798] ppid=6786 vsize=13980732 CPUtime=2.14 cores=1,3,5,7
/proc/6788/task/6798/stat : 6798 (java) S 6786 6786 5123 0 -1 1077944384 17433 0 0 0 212 2 0 0 20 0 15 0 9971290 14316269568 60571 18446744073709551615 4194304 4196468 140733136775888 139679678794096 139680204507778 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
[pid=6788/tid=6799] ppid=6786 vsize=13980732 CPUtime=1.7 cores=1,3,5,7
/proc/6788/task/6799/stat : 6799 (java) S 6786 6786 5123 0 -1 1077944384 8381 0 0 0 169 1 0 0 20 0 15 0 9971290 14316269568 60571 18446744073709551615 4194304 4196468 140733136775888 139679677741296 139680204507778 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
[pid=6788/tid=6800] ppid=6786 vsize=13980732 CPUtime=0.67 cores=1,3,5,7
/proc/6788/task/6800/stat : 6800 (java) S 6786 6786 5123 0 -1 1077944384 9074 0 0 0 65 2 0 0 20 0 15 0 9971290 14316269568 60571 18446744073709551615 4194304 4196468 140733136775888 139679676688496 139680204507778 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
[pid=6788/tid=6801] ppid=6786 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/6788/task/6801/stat : 6801 (java) S 6786 6786 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9971290 14316269568 60571 18446744073709551615 4194304 4196468 140733136775888 139679675635936 139680204506837 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
[pid=6788/tid=6802] ppid=6786 vsize=13980732 CPUtime=0.15 cores=1,3,5,7
/proc/6788/task/6802/stat : 6802 (java) S 6786 6786 5123 0 -1 1077944384 531 0 0 0 6 9 0 0 20 0 15 0 9971298 14316269568 60571 18446744073709551615 4194304 4196468 140733136775888 139679674584240 139680204507778 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17334272 140733136777684 140733136777859 140733136777859 140733136781263 0
Current children cumulated CPU time (s) 244.64
Current children cumulated vsize (KiB) 13990244
Sending SIGTERM to process tree (bottom up)
Solver just ended.
Sleeping 2 seconds
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 6788 sig 9
??? kill 6786 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 240.01
CPU time (s): 244.666
CPU user time (s): 244.416
CPU system time (s): 0.250113
CPU usage (%): 101.94
Max. virtual memory (cumulated for all children) (KiB): 13992096
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 244.416
system time used= 0.250113
maximum resident set size= 243004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53829
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= 7713
involuntary context switches= 108
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.12973 second user time and 1.6103 second system time
The end