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-4244639-1502044332/watcher-4244639-1502044332 -o /tmp/evaluation-result-4244639-1502044332/solver-4244639-1502044332 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502042263-31899 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 10000 -tdir HOME -seed 40078474 HOME/instance-4244639-1502044332.xml
pid=763
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 8.75 8.47 6.62 5/204 766
/proc/meminfo: memFree=30878544/32770624 swapFree=0/318952
[pid=766] ppid=763 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/766/stat : 766 (runsolver) D 763 766 25100 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 52248512 24240128 107 18446744073709551615 4194304 4338465 140733590467376 140733590465016 139905753977559 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 29167616 140733590474840 140733590475337 140733590475337 140733590478794 0
/proc/766/statm: 5918 107 54 36 0 2156 0
[startup+0.110027 s]
/proc/loadavg: 8.75 8.47 6.62 5/204 766
/proc/meminfo: memFree=30878544/32770624 swapFree=0/318952
[pid=766] ppid=763 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/766/stat : 766 (xcsp3-exec) S 763 766 25100 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 52248512 9740288 345 18446744073709551615 4194304 5098028 140724476008832 140724476006936 140272320701052 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 13893632 140724476010906 140724476011114 140724476011114 140724476014571 0
/proc/766/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.203516 s]
/proc/loadavg: 8.75 8.47 6.62 5/204 766
/proc/meminfo: memFree=30878544/32770624 swapFree=0/318952
[pid=766] ppid=763 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/766/stat : 766 (xcsp3-exec) S 763 766 25100 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 52248512 9740288 345 18446744073709551615 4194304 5098028 140724476008832 140724476006936 140272320701052 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 13893632 140724476010906 140724476011114 140724476011114 140724476014571 0
/proc/766/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300273 s]
/proc/loadavg: 8.75 8.47 6.62 5/204 766
/proc/meminfo: memFree=30878544/32770624 swapFree=0/318952
[pid=766] ppid=763 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/766/stat : 766 (xcsp3-exec) S 763 766 25100 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 52248512 9740288 345 18446744073709551615 4194304 5098028 140724476008832 140724476006936 140272320701052 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 13893632 140724476010906 140724476011114 140724476011114 140724476014571 0
/proc/766/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.70278 s]
/proc/loadavg: 8.75 8.47 6.62 5/204 766
/proc/meminfo: memFree=30878544/32770624 swapFree=0/318952
[pid=766] ppid=763 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/766/stat : 766 (xcsp3-exec) S 763 766 25100 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 52248512 9740288 345 18446744073709551615 4194304 5098028 140724476008832 140724476006936 140272320701052 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 13893632 140724476010906 140724476011114 140724476011114 140724476014571 0
/proc/766/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.5006 s]
/proc/loadavg: 8.75 8.47 6.62 9/220 782
/proc/meminfo: memFree=30744000/32770624 swapFree=0/318980
[pid=766] ppid=763 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/766/stat : 766 (xcsp3-exec) S 763 766 25100 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 52248512 9740288 345 18446744073709551615 4194304 5098028 140724476008832 140724476006936 140272320701052 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 13893632 140724476010906 140724476011114 140724476011114 140724476014571 0
/proc/766/statm: 2378 345 289 221 0 87 0
[pid=768] ppid=766 vsize=13185584 CPUtime=4.3 cores=1,3,5,7
/proc/768/stat : 768 (java) S 766 766 25100 0 -1 1077944320 26081 0 0 0 419 11 0 0 20 0 19 0 52248521 13502038016 54099 18446744073709551615 4194304 4196468 140723671340672 140723671323216 139999609695991 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
/proc/768/statm: 3296396 54099 3221 1 0 3284688 0
[pid=768/tid=769] ppid=766 vsize=13185584 CPUtime=1.04 cores=1,3,5,7
/proc/768/task/769/stat : 769 (java) S 766 766 25100 0 -1 1077944384 11324 0 0 0 98 6 0 0 20 0 19 0 52248521 13502038016 54099 18446744073709551615 4194304 4196468 140723671340672 139999613936768 139999609706197 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=770] ppid=766 vsize=13185584 CPUtime=0.01 cores=1,3,5,7
/proc/768/task/770/stat : 770 (java) S 766 766 25100 0 -1 1077944384 45 0 0 0 1 0 0 0 20 0 19 0 52248522 13502038016 54099 18446744073709551615 4194304 4196468 140723671340672 139999566662800 139999609706197 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=771] ppid=766 vsize=13185584 CPUtime=0.01 cores=1,3,5,7
/proc/768/task/771/stat : 771 (java) S 766 766 25100 0 -1 1077944384 239 0 0 0 1 0 0 0 20 0 19 0 52248522 13502038016 54099 18446744073709551615 4194304 4196468 140723671340672 139999565610000 139999609706197 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=772] ppid=766 vsize=13185584 CPUtime=0.01 cores=1,3,5,7
/proc/768/task/772/stat : 772 (java) S 766 766 25100 0 -1 1077944384 430 0 0 0 1 0 0 0 20 0 19 0 52248522 13502038016 54099 18446744073709551615 4194304 4196468 140723671340672 139999564557200 139999609706197 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=773] ppid=766 vsize=13185584 CPUtime=0.01 cores=1,3,5,7
/proc/768/task/773/stat : 773 (java) S 766 766 25100 0 -1 1077944384 58 0 0 0 1 0 0 0 20 0 19 0 52248522 13502038016 54099 18446744073709551615 4194304 4196468 140723671340672 139999563504400 139999609706197 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=774] ppid=766 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/768/task/774/stat : 774 (java) S 766 766 25100 0 -1 1077944384 164 0 0 0 0 0 0 0 20 0 19 0 52248523 13502038016 54099 18446744073709551615 4194304 4196468 140723671340672 139998833170800 139999609707138 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=775] ppid=766 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/768/task/775/stat : 775 (java) S 766 766 25100 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 19 0 52248523 13502038016 54099 18446744073709551615 4194304 4196468 140723671340672 139998832116768 139999609706197 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=776] ppid=766 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/768/task/776/stat : 776 (java) S 766 766 25100 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 19 0 52248524 13502038016 54099 18446744073709551615 4194304 4196468 140723671340672 139998831063920 139999609706197 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=777] ppid=766 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/768/task/777/stat : 777 (java) S 766 766 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52248526 13502038016 54099 18446744073709551615 4194304 4196468 140723671340672 139998830012240 139999609714587 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=778] ppid=766 vsize=13185584 CPUtime=0.96 cores=1,3,5,7
/proc/768/task/778/stat : 778 (java) R 766 766 25100 0 -1 4202560 4110 0 0 0 96 0 0 0 20 0 19 0 52248526 13502038016 54099 18446744073709551615 4194304 4196468 140723671340672 139998828952176 139999595710368 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=779] ppid=766 vsize=13185584 CPUtime=0.83 cores=1,3,5,7
/proc/768/task/779/stat : 779 (java) R 766 766 25100 0 -1 4202560 3513 0 0 0 83 0 0 0 20 0 19 0 52248526 13502038016 54099 18446744073709551615 4194304 4196468 140723671340672 139998827893792 139999594594222 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=780] ppid=766 vsize=13185584 CPUtime=0.66 cores=1,3,5,7
/proc/768/task/780/stat : 780 (java) R 766 766 25100 0 -1 4202560 4249 0 0 0 66 0 0 0 20 0 19 0 52248526 13502038016 54099 18446744073709551615 4194304 4196468 140723671340672 139998826855024 139999609717338 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=781] ppid=766 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/768/task/781/stat : 781 (java) S 766 766 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52248526 13502038016 54099 18446744073709551615 4194304 4196468 140723671340672 139998825802464 139999609706197 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=782] ppid=766 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/768/task/782/stat : 782 (java) S 766 766 25100 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 19 0 52248531 13502038016 54099 18446744073709551615 4194304 4196468 140723671340672 139998824749744 139999609707138 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
Current children cumulated CPU time (s) 4.3
Current children cumulated vsize (KiB) 13195096
[startup+3.10099 s]
/proc/loadavg: 8.75 8.47 6.62 12/224 786
/proc/meminfo: memFree=30665928/32770624 swapFree=0/318980
[pid=766] ppid=763 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/766/stat : 766 (xcsp3-exec) S 763 766 25100 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 52248512 9740288 345 18446744073709551615 4194304 5098028 140724476008832 140724476006936 140272320701052 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 13893632 140724476010906 140724476011114 140724476011114 140724476014571 0
/proc/766/statm: 2378 345 289 221 0 87 0
[pid=768] ppid=766 vsize=13187632 CPUtime=10.65 cores=1,3,5,7
/proc/768/stat : 768 (java) S 766 766 25100 0 -1 1077944320 40096 0 0 0 1051 14 0 0 20 0 19 0 52248521 13504135168 66274 18446744073709551615 4194304 4196468 140723671340672 140723671323216 139999609695991 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
/proc/768/statm: 3296908 66274 3226 1 0 3285200 0
[pid=768/tid=769] ppid=766 vsize=13187632 CPUtime=1.04 cores=1,3,5,7
/proc/768/task/769/stat : 769 (java) S 766 766 25100 0 -1 1077944384 11324 0 0 0 98 6 0 0 20 0 19 0 52248521 13504135168 66274 18446744073709551615 4194304 4196468 140723671340672 139999613936768 139999609706197 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=770] ppid=766 vsize=13187632 CPUtime=0.01 cores=1,3,5,7
/proc/768/task/770/stat : 770 (java) S 766 766 25100 0 -1 1077944384 45 0 0 0 1 0 0 0 20 0 19 0 52248522 13504135168 66274 18446744073709551615 4194304 4196468 140723671340672 139999566662800 139999609706197 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=771] ppid=766 vsize=13187632 CPUtime=0.01 cores=1,3,5,7
/proc/768/task/771/stat : 771 (java) S 766 766 25100 0 -1 1077944384 239 0 0 0 1 0 0 0 20 0 19 0 52248522 13504135168 66274 18446744073709551615 4194304 4196468 140723671340672 139999565610000 139999609706197 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=772] ppid=766 vsize=13187632 CPUtime=0.01 cores=1,3,5,7
/proc/768/task/772/stat : 772 (java) S 766 766 25100 0 -1 1077944384 430 0 0 0 1 0 0 0 20 0 19 0 52248522 13504135168 66274 18446744073709551615 4194304 4196468 140723671340672 139999564557200 139999609706197 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=773] ppid=766 vsize=13187632 CPUtime=0.01 cores=1,3,5,7
/proc/768/task/773/stat : 773 (java) S 766 766 25100 0 -1 1077944384 58 0 0 0 1 0 0 0 20 0 19 0 52248522 13504135168 66274 18446744073709551615 4194304 4196468 140723671340672 139999563504400 139999609706197 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=774] ppid=766 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/768/task/774/stat : 774 (java) S 766 766 25100 0 -1 1077944384 164 0 0 0 0 0 0 0 20 0 19 0 52248523 13504135168 66274 18446744073709551615 4194304 4196468 140723671340672 139998833170800 139999609707138 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=775] ppid=766 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/768/task/775/stat : 775 (java) S 766 766 25100 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 19 0 52248523 13504135168 66274 18446744073709551615 4194304 4196468 140723671340672 139998832116768 139999609706197 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=776] ppid=766 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/768/task/776/stat : 776 (java) S 766 766 25100 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 19 0 52248524 13504135168 66274 18446744073709551615 4194304 4196468 140723671340672 139998831063920 139999609706197 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=777] ppid=766 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/768/task/777/stat : 777 (java) S 766 766 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52248526 13504135168 66274 18446744073709551615 4194304 4196468 140723671340672 139998830012240 139999609714587 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=778] ppid=766 vsize=13187632 CPUtime=1.74 cores=1,3,5,7
/proc/768/task/778/stat : 778 (java) R 766 766 25100 0 -1 4202560 10326 0 0 0 173 1 0 0 20 0 19 0 52248526 13504135168 66274 18446744073709551615 4194304 4196468 140723671340672 139998828947168 139999595755984 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=779] ppid=766 vsize=13187632 CPUtime=1.58 cores=1,3,5,7
/proc/768/task/779/stat : 779 (java) R 766 766 25100 0 -1 4202560 8819 0 0 0 156 2 0 0 20 0 19 0 52248526 13504135168 66274 18446744073709551615 4194304 4196468 140723671340672 139998827893848 139999591217357 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=780] ppid=766 vsize=13187632 CPUtime=0.84 cores=1,3,5,7
/proc/768/task/780/stat : 780 (java) S 766 766 25100 0 -1 1077944384 6626 0 0 0 84 0 0 0 20 0 19 0 52248526 13504135168 66274 18446744073709551615 4194304 4196468 140723671340672 139998826855024 139999609707138 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=781] ppid=766 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/768/task/781/stat : 781 (java) S 766 766 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52248526 13504135168 66274 18446744073709551615 4194304 4196468 140723671340672 139998825802464 139999609706197 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=782] ppid=766 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/768/task/782/stat : 782 (java) S 766 766 25100 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 19 0 52248531 13504135168 66274 18446744073709551615 4194304 4196468 140723671340672 139998824749744 139999609707138 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=783] ppid=766 vsize=13187632 CPUtime=1.2 cores=1,3,5,7
/proc/768/task/783/stat : 783 (java) R 766 766 25100 0 -1 4202560 229 0 0 0 120 0 0 0 20 0 19 0 52248631 13504135168 66274 18446744073709551615 4194304 4196468 140723671340672 139998011410776 139999240644345 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=784] ppid=766 vsize=13187632 CPUtime=1.42 cores=1,3,5,7
/proc/768/task/784/stat : 784 (java) R 766 766 25100 0 -1 4202560 109 0 0 0 142 0 0 0 20 0 19 0 52248631 13504135168 66274 18446744073709551615 4194304 4196468 140723671340672 139998010361096 139999240551726 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=785] ppid=766 vsize=13187632 CPUtime=1.21 cores=1,3,5,7
/proc/768/task/785/stat : 785 (java) R 766 766 25100 0 -1 4202560 68 0 0 0 121 0 0 0 20 0 19 0 52248631 13504135168 66274 18446744073709551615 4194304 4196468 140723671340672 139998009305056 139999248699559 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=786] ppid=766 vsize=13187632 CPUtime=1.43 cores=1,3,5,7
/proc/768/task/786/stat : 786 (java) R 766 766 25100 0 -1 4202560 308 0 0 0 143 0 0 0 20 0 19 0 52248631 13504135168 66274 18446744073709551615 4194304 4196468 140723671340672 139998008254504 139999240657384 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
Current children cumulated CPU time (s) 10.65
Current children cumulated vsize (KiB) 13197144
[startup+6.30599 s]
/proc/loadavg: 8.69 8.46 6.63 12/224 786
/proc/meminfo: memFree=30688792/32770624 swapFree=0/318992
[pid=766] ppid=763 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/766/stat : 766 (xcsp3-exec) S 763 766 25100 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 52248512 9740288 345 18446744073709551615 4194304 5098028 140724476008832 140724476006936 140272320701052 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 13893632 140724476010906 140724476011114 140724476011114 140724476014571 0
/proc/766/statm: 2378 345 289 221 0 87 0
[pid=768] ppid=766 vsize=13187632 CPUtime=23.35 cores=1,3,5,7
/proc/768/stat : 768 (java) S 766 766 25100 0 -1 1077944320 67682 0 0 0 2318 17 0 0 20 0 19 0 52248521 13504135168 72230 18446744073709551615 4194304 4196468 140723671340672 140723671323216 139999609695991 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
/proc/768/statm: 3296908 72230 3251 1 0 3285200 0
[pid=768/tid=769] ppid=766 vsize=13187632 CPUtime=1.04 cores=1,3,5,7
/proc/768/task/769/stat : 769 (java) S 766 766 25100 0 -1 1077944384 11324 0 0 0 98 6 0 0 20 0 19 0 52248521 13504135168 72230 18446744073709551615 4194304 4196468 140723671340672 139999613936768 139999609706197 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=770] ppid=766 vsize=13187632 CPUtime=0.01 cores=1,3,5,7
/proc/768/task/770/stat : 770 (java) S 766 766 25100 0 -1 1077944384 45 0 0 0 1 0 0 0 20 0 19 0 52248522 13504135168 72230 18446744073709551615 4194304 4196468 140723671340672 139999566662800 139999609706197 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=771] ppid=766 vsize=13187632 CPUtime=0.01 cores=1,3,5,7
/proc/768/task/771/stat : 771 (java) S 766 766 25100 0 -1 1077944384 239 0 0 0 1 0 0 0 20 0 19 0 52248522 13504135168 72230 18446744073709551615 4194304 4196468 140723671340672 139999565610000 139999609706197 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=772] ppid=766 vsize=13187632 CPUtime=0.01 cores=1,3,5,7
/proc/768/task/772/stat : 772 (java) S 766 766 25100 0 -1 1077944384 430 0 0 0 1 0 0 0 20 0 19 0 52248522 13504135168 72230 18446744073709551615 4194304 4196468 140723671340672 139999564557200 139999609706197 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=773] ppid=766 vsize=13187632 CPUtime=0.01 cores=1,3,5,7
/proc/768/task/773/stat : 773 (java) S 766 766 25100 0 -1 1077944384 58 0 0 0 1 0 0 0 20 0 19 0 52248522 13504135168 72230 18446744073709551615 4194304 4196468 140723671340672 139999563504400 139999609706197 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=774] ppid=766 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/768/task/774/stat : 774 (java) S 766 766 25100 0 -1 1077944384 208 0 0 0 0 0 0 0 20 0 19 0 52248523 13504135168 72230 18446744073709551615 4194304 4196468 140723671340672 139998833170800 139999609707138 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=775] ppid=766 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/768/task/775/stat : 775 (java) S 766 766 25100 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 19 0 52248523 13504135168 72230 18446744073709551615 4194304 4196468 140723671340672 139998832116768 139999609706197 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=776] ppid=766 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/768/task/776/stat : 776 (java) S 766 766 25100 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 19 0 52248524 13504135168 72230 18446744073709551615 4194304 4196468 140723671340672 139998831063920 139999609706197 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=777] ppid=766 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/768/task/777/stat : 777 (java) S 766 766 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52248526 13504135168 72230 18446744073709551615 4194304 4196468 140723671340672 139998830012240 139999609714587 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=778] ppid=766 vsize=13187632 CPUtime=3.86 cores=1,3,5,7
/proc/768/task/778/stat : 778 (java) R 766 766 25100 0 -1 4202560 24398 0 0 0 384 2 0 0 20 0 19 0 52248526 13504135168 72230 18446744073709551615 4194304 4196468 140723671340672 139998828947168 139999591217173 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=779] ppid=766 vsize=13187632 CPUtime=3.6 cores=1,3,5,7
/proc/768/task/779/stat : 779 (java) R 766 766 25100 0 -1 4202560 20369 0 0 0 357 3 0 0 20 0 19 0 52248526 13504135168 72230 18446744073709551615 4194304 4196468 140723671340672 139998827900312 139999593188567 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=780] ppid=766 vsize=13187632 CPUtime=0.87 cores=1,3,5,7
/proc/768/task/780/stat : 780 (java) S 766 766 25100 0 -1 1077944384 6987 0 0 0 87 0 0 0 20 0 19 0 52248526 13504135168 72230 18446744073709551615 4194304 4196468 140723671340672 139998826855024 139999609707138 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=781] ppid=766 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/768/task/781/stat : 781 (java) S 766 766 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52248526 13504135168 72230 18446744073709551615 4194304 4196468 140723671340672 139998825802464 139999609706197 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=782] ppid=766 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/768/task/782/stat : 782 (java) S 766 766 25100 0 -1 1077944384 281 0 0 0 0 0 0 0 20 0 19 0 52248531 13504135168 72230 18446744073709551615 4194304 4196468 140723671340672 139998824749744 139999609707138 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=783] ppid=766 vsize=13187632 CPUtime=3.12 cores=1,3,5,7
/proc/768/task/783/stat : 783 (java) R 766 766 25100 0 -1 4202560 604 0 0 0 312 0 0 0 20 0 19 0 52248631 13504135168 72230 18446744073709551615 4194304 4196468 140723671340672 139998011412136 139999247130851 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=784] ppid=766 vsize=13187632 CPUtime=3.84 cores=1,3,5,7
/proc/768/task/784/stat : 784 (java) R 766 766 25100 0 -1 4202560 271 0 0 0 384 0 0 0 20 0 19 0 52248631 13504135168 72230 18446744073709551615 4194304 4196468 140723671340672 139998010359944 139999251130644 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=785] ppid=766 vsize=13187632 CPUtime=3.15 cores=1,3,5,7
/proc/768/task/785/stat : 785 (java) R 766 766 25100 0 -1 4202560 625 0 0 0 315 0 0 0 20 0 19 0 52248631 13504135168 72230 18446744073709551615 4194304 4196468 140723671340672 139998009307816 139999245435580 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=786] ppid=766 vsize=13187632 CPUtime=3.69 cores=1,3,5,7
/proc/768/task/786/stat : 786 (java) R 766 766 25100 0 -1 4202560 502 0 0 0 369 0 0 0 20 0 19 0 52248631 13504135168 72230 18446744073709551615 4194304 4196468 140723671340672 139998008253832 139999251131025 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
Current children cumulated CPU time (s) 23.35
Current children cumulated vsize (KiB) 13197144
################
# More data... #
################
/proc/766/statm: 2378 345 289 221 0 87 0
[pid=768] ppid=766 vsize=13187632 CPUtime=2311.3 cores=1,3,5,7
/proc/768/stat : 768 (java) S 766 766 25100 0 -1 1077944320 136843 0 0 0 230812 318 0 0 20 0 19 0 52248521 13504135168 134261 18446744073709551615 4194304 4196468 140723671340672 140723671323216 139999609695991 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
/proc/768/statm: 3296908 134261 3263 1 0 3285200 0
[pid=768/tid=769] ppid=766 vsize=13187632 CPUtime=1.04 cores=1,3,5,7
/proc/768/task/769/stat : 769 (java) S 766 766 25100 0 -1 1077944384 11324 0 0 0 98 6 0 0 20 0 19 0 52248521 13504135168 134261 18446744073709551615 4194304 4196468 140723671340672 139999613936768 139999609706197 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=770] ppid=766 vsize=13187632 CPUtime=0.99 cores=1,3,5,7
/proc/768/task/770/stat : 770 (java) S 766 766 25100 0 -1 1077944384 4768 0 0 0 84 15 0 0 20 0 19 0 52248522 13504135168 134261 18446744073709551615 4194304 4196468 140723671340672 139999566662800 139999609706197 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=771] ppid=766 vsize=13187632 CPUtime=1 cores=1,3,5,7
/proc/768/task/771/stat : 771 (java) S 766 766 25100 0 -1 1077944384 3743 0 0 0 86 14 0 0 20 0 19 0 52248522 13504135168 134261 18446744073709551615 4194304 4196468 140723671340672 139999565610000 139999609706197 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=772] ppid=766 vsize=13187632 CPUtime=1.01 cores=1,3,5,7
/proc/768/task/772/stat : 772 (java) S 766 766 25100 0 -1 1077944384 2716 0 0 0 86 15 0 0 20 0 19 0 52248522 13504135168 134261 18446744073709551615 4194304 4196468 140723671340672 139999564557200 139999609706197 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=773] ppid=766 vsize=13187632 CPUtime=1 cores=1,3,5,7
/proc/768/task/773/stat : 773 (java) S 766 766 25100 0 -1 1077944384 3527 0 0 0 84 16 0 0 20 0 19 0 52248522 13504135168 134261 18446744073709551615 4194304 4196468 140723671340672 139999563504400 139999609706197 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=774] ppid=766 vsize=13187632 CPUtime=3.38 cores=1,3,5,7
/proc/768/task/774/stat : 774 (java) S 766 766 25100 0 -1 1077944384 4229 0 0 0 104 234 0 0 20 0 19 0 52248523 13504135168 134261 18446744073709551615 4194304 4196468 140723671340672 139998833170800 139999609707138 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=775] ppid=766 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/768/task/775/stat : 775 (java) S 766 766 25100 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 52248523 13504135168 134261 18446744073709551615 4194304 4196468 140723671340672 139998832116832 139999609706197 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=776] ppid=766 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/768/task/776/stat : 776 (java) S 766 766 25100 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 19 0 52248524 13504135168 134261 18446744073709551615 4194304 4196468 140723671340672 139998831063936 139999609706197 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=777] ppid=766 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/768/task/777/stat : 777 (java) S 766 766 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52248526 13504135168 134261 18446744073709551615 4194304 4196468 140723671340672 139998830012240 139999609714587 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=778] ppid=766 vsize=13187632 CPUtime=6.06 cores=1,3,5,7
/proc/768/task/778/stat : 778 (java) S 766 766 25100 0 -1 1077944384 37596 0 0 0 603 3 0 0 20 0 19 0 52248526 13504135168 134261 18446744073709551615 4194304 4196468 140723671340672 139998828960624 139999609707138 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=779] ppid=766 vsize=13187632 CPUtime=6.16 cores=1,3,5,7
/proc/768/task/779/stat : 779 (java) S 766 766 25100 0 -1 1077944384 33792 0 0 0 613 3 0 0 20 0 19 0 52248526 13504135168 134261 18446744073709551615 4194304 4196468 140723671340672 139998827907824 139999609707138 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=780] ppid=766 vsize=13187632 CPUtime=1.07 cores=1,3,5,7
/proc/768/task/780/stat : 780 (java) S 766 766 25100 0 -1 1077944384 13380 0 0 0 106 1 0 0 20 0 19 0 52248526 13504135168 134261 18446744073709551615 4194304 4196468 140723671340672 139998826855024 139999609707138 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=781] ppid=766 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/768/task/781/stat : 781 (java) S 766 766 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52248526 13504135168 134261 18446744073709551615 4194304 4196468 140723671340672 139998825802464 139999609706197 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=782] ppid=766 vsize=13187632 CPUtime=0.34 cores=1,3,5,7
/proc/768/task/782/stat : 782 (java) S 766 766 25100 0 -1 1077944384 1928 0 0 0 8 26 0 0 20 0 19 0 52248531 13504135168 134261 18446744073709551615 4194304 4196468 140723671340672 139998824749744 139999609707138 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=783] ppid=766 vsize=13187632 CPUtime=572.89 cores=1,3,5,7
/proc/768/task/783/stat : 783 (java) R 766 766 25100 0 -1 4202560 3701 0 0 0 57285 4 0 0 20 0 19 0 52248631 13504135168 134261 18446744073709551615 4194304 4196468 140723671340672 139998011411576 139999243104619 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=784] ppid=766 vsize=13187632 CPUtime=571.32 cores=1,3,5,7
/proc/768/task/784/stat : 784 (java) R 766 766 25100 0 -1 4202560 7523 0 0 0 57128 4 0 0 20 0 19 0 52248631 13504135168 134261 18446744073709551615 4194304 4196468 140723671340672 139998010362416 139999248205823 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=785] ppid=766 vsize=13187632 CPUtime=573.15 cores=1,3,5,7
/proc/768/task/785/stat : 785 (java) R 766 766 25100 0 -1 4202560 3185 0 0 0 57311 4 0 0 20 0 19 0 52248631 13504135168 134261 18446744073709551615 4194304 4196468 140723671340672 139998009306736 139999243104632 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=786] ppid=766 vsize=13187632 CPUtime=571.82 cores=1,3,5,7
/proc/768/task/786/stat : 786 (java) R 766 766 25100 0 -1 4202560 4059 0 0 0 57179 3 0 0 20 0 19 0 52248631 13504135168 134261 18446744073709551615 4194304 4196468 140723671340672 139998008254464 139999248205766 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
Current children cumulated CPU time (s) 2311.3
Current children cumulated vsize (KiB) 13197144
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+604.701 s]
/proc/loadavg: 8.69 8.37 7.45 9/224 1195
/proc/meminfo: memFree=30616840/32770624 swapFree=0/319340
[pid=766] ppid=763 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/766/stat : 766 (xcsp3-exec) S 763 766 25100 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 52248512 9740288 345 18446744073709551615 4194304 5098028 140724476008832 140724476006936 140272320701052 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 13893632 140724476010906 140724476011114 140724476011114 140724476014571 0
/proc/766/statm: 2378 345 289 221 0 87 0
[pid=768] ppid=766 vsize=13187632 CPUtime=2400.27 cores=1,3,5,7
/proc/768/stat : 768 (java) S 766 766 25100 0 -1 1077944320 137169 0 0 0 239694 333 0 0 20 0 19 0 52248521 13504135168 133998 18446744073709551615 4194304 4196468 140723671340672 140723671323216 139999609695991 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
/proc/768/statm: 3296908 133998 3263 1 0 3285200 0
[pid=768/tid=769] ppid=766 vsize=13187632 CPUtime=1.04 cores=1,3,5,7
/proc/768/task/769/stat : 769 (java) S 766 766 25100 0 -1 1077944384 11324 0 0 0 98 6 0 0 20 0 19 0 52248521 13504135168 133998 18446744073709551615 4194304 4196468 140723671340672 139999613936768 139999609706197 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=770] ppid=766 vsize=13187632 CPUtime=1.01 cores=1,3,5,7
/proc/768/task/770/stat : 770 (java) S 766 766 25100 0 -1 1077944384 4772 0 0 0 86 15 0 0 20 0 19 0 52248522 13504135168 133998 18446744073709551615 4194304 4196468 140723671340672 139999566662800 139999609706197 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=771] ppid=766 vsize=13187632 CPUtime=1.03 cores=1,3,5,7
/proc/768/task/771/stat : 771 (java) S 766 766 25100 0 -1 1077944384 3751 0 0 0 88 15 0 0 20 0 19 0 52248522 13504135168 133998 18446744073709551615 4194304 4196468 140723671340672 139999565610000 139999609706197 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=772] ppid=766 vsize=13187632 CPUtime=1.05 cores=1,3,5,7
/proc/768/task/772/stat : 772 (java) S 766 766 25100 0 -1 1077944384 2722 0 0 0 89 16 0 0 20 0 19 0 52248522 13504135168 133998 18446744073709551615 4194304 4196468 140723671340672 139999564557200 139999609706197 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=773] ppid=766 vsize=13187632 CPUtime=1.02 cores=1,3,5,7
/proc/768/task/773/stat : 773 (java) S 766 766 25100 0 -1 1077944384 3538 0 0 0 86 16 0 0 20 0 19 0 52248522 13504135168 133998 18446744073709551615 4194304 4196468 140723671340672 139999563504400 139999609706197 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=774] ppid=766 vsize=13187632 CPUtime=3.57 cores=1,3,5,7
/proc/768/task/774/stat : 774 (java) S 766 766 25100 0 -1 1077944384 4242 0 0 0 108 249 0 0 20 0 19 0 52248523 13504135168 133998 18446744073709551615 4194304 4196468 140723671340672 139998833170800 139999609707138 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=775] ppid=766 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/768/task/775/stat : 775 (java) S 766 766 25100 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 52248523 13504135168 133998 18446744073709551615 4194304 4196468 140723671340672 139998832116832 139999609706197 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=776] ppid=766 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/768/task/776/stat : 776 (java) S 766 766 25100 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 19 0 52248524 13504135168 133998 18446744073709551615 4194304 4196468 140723671340672 139998831063936 139999609706197 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=777] ppid=766 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/768/task/777/stat : 777 (java) S 766 766 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52248526 13504135168 133998 18446744073709551615 4194304 4196468 140723671340672 139998830012240 139999609714587 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=778] ppid=766 vsize=13187632 CPUtime=6.06 cores=1,3,5,7
/proc/768/task/778/stat : 778 (java) S 766 766 25100 0 -1 1077944384 37596 0 0 0 603 3 0 0 20 0 19 0 52248526 13504135168 133998 18446744073709551615 4194304 4196468 140723671340672 139998828960624 139999609707138 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=779] ppid=766 vsize=13187632 CPUtime=6.16 cores=1,3,5,7
/proc/768/task/779/stat : 779 (java) S 766 766 25100 0 -1 1077944384 33792 0 0 0 613 3 0 0 20 0 19 0 52248526 13504135168 133998 18446744073709551615 4194304 4196468 140723671340672 139998827907824 139999609707138 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=780] ppid=766 vsize=13187632 CPUtime=1.07 cores=1,3,5,7
/proc/768/task/780/stat : 780 (java) S 766 766 25100 0 -1 1077944384 13380 0 0 0 106 1 0 0 20 0 19 0 52248526 13504135168 133998 18446744073709551615 4194304 4196468 140723671340672 139998826855024 139999609707138 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=781] ppid=766 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/768/task/781/stat : 781 (java) S 766 766 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52248526 13504135168 133998 18446744073709551615 4194304 4196468 140723671340672 139998825802464 139999609706197 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=782] ppid=766 vsize=13187632 CPUtime=0.34 cores=1,3,5,7
/proc/768/task/782/stat : 782 (java) S 766 766 25100 0 -1 1077944384 1932 0 0 0 8 26 0 0 20 0 19 0 52248531 13504135168 133998 18446744073709551615 4194304 4196468 140723671340672 139998824749744 139999609707138 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=783] ppid=766 vsize=13187632 CPUtime=595.16 cores=1,3,5,7
/proc/768/task/783/stat : 783 (java) R 766 766 25100 0 -1 4202560 3780 0 0 0 59512 4 0 0 20 0 19 0 52248631 13504135168 133998 18446744073709551615 4194304 4196468 140723671340672 139998011411328 139999243104619 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=784] ppid=766 vsize=13187632 CPUtime=593.39 cores=1,3,5,7
/proc/768/task/784/stat : 784 (java) R 766 766 25100 0 -1 4202560 7595 0 0 0 59335 4 0 0 20 0 19 0 52248631 13504135168 133998 18446744073709551615 4194304 4196468 140723671340672 139998010362416 139999248293505 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=785] ppid=766 vsize=13187632 CPUtime=595.36 cores=1,3,5,7
/proc/768/task/785/stat : 785 (java) R 766 766 25100 0 -1 4202560 3256 0 0 0 59532 4 0 0 20 0 19 0 52248631 13504135168 133998 18446744073709551615 4194304 4196468 140723671340672 139998009306984 139999243104602 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=786] ppid=766 vsize=13187632 CPUtime=593.94 cores=1,3,5,7
/proc/768/task/786/stat : 786 (java) R 766 766 25100 0 -1 4202560 4117 0 0 0 59391 3 0 0 20 0 19 0 52248631 13504135168 133998 18446744073709551615 4194304 4196468 140723671340672 139998008254760 139999248205148 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
Current children cumulated CPU time (s) 2400.27
Current children cumulated vsize (KiB) 13197144
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 768 sig 9
??? kill 766 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+604.701 s]
/proc/loadavg: 8.69 8.37 7.45 9/224 1195
/proc/meminfo: memFree=30616840/32770624 swapFree=0/319340
[pid=766] ppid=763 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/766/stat : 766 (xcsp3-exec) S 763 766 25100 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 52248512 9740288 345 18446744073709551615 4194304 5098028 140724476008832 140724476006936 140272320701052 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 13893632 140724476010906 140724476011114 140724476011114 140724476014571 0
/proc/766/statm: 2378 345 289 221 0 87 0
[pid=768] ppid=766 vsize=13187632 CPUtime=2400.27 cores=1,3,5,7
/proc/768/stat : 768 (java) S 766 766 25100 0 -1 1077944320 137169 0 0 0 239694 333 0 0 20 0 19 0 52248521 13504135168 133998 18446744073709551615 4194304 4196468 140723671340672 140723671323216 139999609695991 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
/proc/768/statm: 3296908 133998 3263 1 0 3285200 0
[pid=768/tid=769] ppid=766 vsize=13187632 CPUtime=1.04 cores=1,3,5,7
/proc/768/task/769/stat : 769 (java) S 766 766 25100 0 -1 1077944384 11324 0 0 0 98 6 0 0 20 0 19 0 52248521 13504135168 133998 18446744073709551615 4194304 4196468 140723671340672 139999613936768 139999609706197 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=770] ppid=766 vsize=13187632 CPUtime=1.01 cores=1,3,5,7
/proc/768/task/770/stat : 770 (java) S 766 766 25100 0 -1 1077944384 4772 0 0 0 86 15 0 0 20 0 19 0 52248522 13504135168 133998 18446744073709551615 4194304 4196468 140723671340672 139999566662800 139999609706197 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=771] ppid=766 vsize=13187632 CPUtime=1.03 cores=1,3,5,7
/proc/768/task/771/stat : 771 (java) S 766 766 25100 0 -1 1077944384 3751 0 0 0 88 15 0 0 20 0 19 0 52248522 13504135168 133998 18446744073709551615 4194304 4196468 140723671340672 139999565610000 139999609706197 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=772] ppid=766 vsize=13187632 CPUtime=1.05 cores=1,3,5,7
/proc/768/task/772/stat : 772 (java) S 766 766 25100 0 -1 1077944384 2722 0 0 0 89 16 0 0 20 0 19 0 52248522 13504135168 133998 18446744073709551615 4194304 4196468 140723671340672 139999564557200 139999609706197 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=773] ppid=766 vsize=13187632 CPUtime=1.02 cores=1,3,5,7
/proc/768/task/773/stat : 773 (java) S 766 766 25100 0 -1 1077944384 3538 0 0 0 86 16 0 0 20 0 19 0 52248522 13504135168 133998 18446744073709551615 4194304 4196468 140723671340672 139999563504400 139999609706197 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=774] ppid=766 vsize=13187632 CPUtime=3.57 cores=1,3,5,7
/proc/768/task/774/stat : 774 (java) S 766 766 25100 0 -1 1077944384 4242 0 0 0 108 249 0 0 20 0 19 0 52248523 13504135168 133998 18446744073709551615 4194304 4196468 140723671340672 139998833170800 139999609707138 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=775] ppid=766 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/768/task/775/stat : 775 (java) S 766 766 25100 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 52248523 13504135168 133998 18446744073709551615 4194304 4196468 140723671340672 139998832116832 139999609706197 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=776] ppid=766 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/768/task/776/stat : 776 (java) S 766 766 25100 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 19 0 52248524 13504135168 133998 18446744073709551615 4194304 4196468 140723671340672 139998831063936 139999609706197 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=777] ppid=766 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/768/task/777/stat : 777 (java) S 766 766 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52248526 13504135168 133998 18446744073709551615 4194304 4196468 140723671340672 139998830012240 139999609714587 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=778] ppid=766 vsize=13187632 CPUtime=6.06 cores=1,3,5,7
/proc/768/task/778/stat : 778 (java) S 766 766 25100 0 -1 1077944384 37596 0 0 0 603 3 0 0 20 0 19 0 52248526 13504135168 133998 18446744073709551615 4194304 4196468 140723671340672 139998828960624 139999609707138 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=779] ppid=766 vsize=13187632 CPUtime=6.16 cores=1,3,5,7
/proc/768/task/779/stat : 779 (java) S 766 766 25100 0 -1 1077944384 33792 0 0 0 613 3 0 0 20 0 19 0 52248526 13504135168 133998 18446744073709551615 4194304 4196468 140723671340672 139998827907824 139999609707138 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=780] ppid=766 vsize=13187632 CPUtime=1.07 cores=1,3,5,7
/proc/768/task/780/stat : 780 (java) S 766 766 25100 0 -1 1077944384 13380 0 0 0 106 1 0 0 20 0 19 0 52248526 13504135168 133998 18446744073709551615 4194304 4196468 140723671340672 139998826855024 139999609707138 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=781] ppid=766 vsize=13187632 CPUtime=0 cores=1,3,5,7
/proc/768/task/781/stat : 781 (java) S 766 766 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52248526 13504135168 133998 18446744073709551615 4194304 4196468 140723671340672 139998825802464 139999609706197 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=782] ppid=766 vsize=13187632 CPUtime=0.34 cores=1,3,5,7
/proc/768/task/782/stat : 782 (java) S 766 766 25100 0 -1 1077944384 1932 0 0 0 8 26 0 0 20 0 19 0 52248531 13504135168 133998 18446744073709551615 4194304 4196468 140723671340672 139998824749744 139999609707138 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=783] ppid=766 vsize=13187632 CPUtime=595.16 cores=1,3,5,7
/proc/768/task/783/stat : 783 (java) R 766 766 25100 0 -1 4202560 3780 0 0 0 59512 4 0 0 20 0 19 0 52248631 13504135168 133998 18446744073709551615 4194304 4196468 140723671340672 139998011411328 139999243104619 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=784] ppid=766 vsize=13187632 CPUtime=593.39 cores=1,3,5,7
/proc/768/task/784/stat : 784 (java) R 766 766 25100 0 -1 4202560 7595 0 0 0 59335 4 0 0 20 0 19 0 52248631 13504135168 133998 18446744073709551615 4194304 4196468 140723671340672 139998010362416 139999248293505 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=785] ppid=766 vsize=13187632 CPUtime=595.36 cores=1,3,5,7
/proc/768/task/785/stat : 785 (java) R 766 766 25100 0 -1 4202560 3256 0 0 0 59532 4 0 0 20 0 19 0 52248631 13504135168 133998 18446744073709551615 4194304 4196468 140723671340672 139998009306984 139999243104602 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
[pid=768/tid=786] ppid=766 vsize=13187632 CPUtime=593.94 cores=1,3,5,7
/proc/768/task/786/stat : 786 (java) R 766 766 25100 0 -1 4202560 4117 0 0 0 59391 3 0 0 20 0 19 0 52248631 13504135168 133998 18446744073709551615 4194304 4196468 140723671340672 139998008254760 139999248205148 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23793664 140723671347670 140723671347846 140723671347846 140723671351247 0
Current children cumulated CPU time (s) 2400.27
Current children cumulated vsize (KiB) 13197144
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 766 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=609
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1219
# CPU time returned by wait4() is 0.001828
# while last known CPU time is 2400.27
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 604.726
CPU time (s): 2400.27
CPU user time (s): 2396.94
CPU system time (s): 3.33
CPU usage (%): 396.919
Max. virtual memory (cumulated for all children) (KiB): 13202028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000609
system time used= 0.001219
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 509
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.38066 second user time and 4.36753 second system time
The end