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-4253974-1501982381/watcher-4253974-1501982381 -o /tmp/evaluation-result-4253974-1501982381/solver-4253974-1501982381 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node132-1501978181-12403 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1519088725 HOME/instance-4253974-1501982381.xml
pid=15664
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.97 2.03 2.02 4/180 15668
/proc/meminfo: memFree=31628936/32770624 swapFree=0/319392
[pid=15667] ppid=15664 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/15667/stat : 15667 (runsolver) D 15664 15667 12039 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 97891309 24240128 108 18446744073709551615 4194304 4338465 140730610076960 140730610074600 140012970947287 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 39456768 140730610081890 140730610082380 140730610082380 140730610085834 0
/proc/15667/statm: 5918 108 54 36 0 2156 0
[startup+0.100151 s]
/proc/loadavg: 1.97 2.03 2.02 4/180 15668
/proc/meminfo: memFree=31628936/32770624 swapFree=0/319392
[pid=15667] ppid=15664 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/15667/stat : 15667 (runsolver) D 15664 15667 12039 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 97891309 24240128 108 18446744073709551615 4194304 4338465 140730610076960 140730610074600 140012970947287 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 39456768 140730610081890 140730610082380 140730610082380 140730610085834 0
/proc/15667/statm: 5918 108 54 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672
[startup+0.200298 s]
/proc/loadavg: 1.97 2.03 2.02 4/180 15668
/proc/meminfo: memFree=31628936/32770624 swapFree=0/319392
[pid=15667] ppid=15664 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/15667/stat : 15667 (xcsp3-exec) S 15664 15667 12039 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 97891309 9740288 345 18446744073709551615 4194304 5098028 140736071855712 140736071853816 139777178419836 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 25141248 140736071860641 140736071860845 140736071860845 140736071864299 0
/proc/15667/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300245 s]
/proc/loadavg: 1.97 2.03 2.02 4/180 15668
/proc/meminfo: memFree=31628936/32770624 swapFree=0/319392
[pid=15667] ppid=15664 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/15667/stat : 15667 (xcsp3-exec) S 15664 15667 12039 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 97891309 9740288 345 18446744073709551615 4194304 5098028 140736071855712 140736071853816 139777178419836 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 25141248 140736071860641 140736071860845 140736071860845 140736071864299 0
/proc/15667/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.705229 s]
/proc/loadavg: 1.97 2.03 2.02 4/180 15668
/proc/meminfo: memFree=31628936/32770624 swapFree=0/319392
[pid=15667] ppid=15664 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/15667/stat : 15667 (xcsp3-exec) S 15664 15667 12039 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 97891309 9740288 345 18446744073709551615 4194304 5098028 140736071855712 140736071853816 139777178419836 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 25141248 140736071860641 140736071860845 140736071860845 140736071864299 0
/proc/15667/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50069 s]
/proc/loadavg: 1.97 2.03 2.02 6/216 15730
/proc/meminfo: memFree=31368336/32770624 swapFree=0/319504
[pid=15667] ppid=15664 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/15667/stat : 15667 (xcsp3-exec) S 15664 15667 12039 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 97891309 9740288 345 18446744073709551615 4194304 5098028 140736071855712 140736071853816 139777178419836 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 25141248 140736071860641 140736071860845 140736071860845 140736071864299 0
/proc/15667/statm: 2378 345 289 221 0 87 0
[pid=15672] ppid=15667 vsize=13978684 CPUtime=3.38 cores=1,3,5,7
/proc/15672/stat : 15672 (java) S 15667 15667 12039 0 -1 1077944320 14900 0 0 0 316 22 0 0 20 0 15 0 97891319 14314172416 98130 18446744073709551615 4194304 4196468 140725319892752 140725319875296 140048940977911 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
/proc/15672/statm: 3494671 98130 3201 1 0 3482964 0
[pid=15672/tid=15673] ppid=15667 vsize=13978684 CPUtime=1.24 cores=1,3,5,7
/proc/15672/task/15673/stat : 15673 (java) R 15667 15667 12039 0 -1 4202560 7984 0 0 0 117 7 0 0 20 0 15 0 97891320 14314172416 98130 18446744073709551615 4194304 4196468 140725319892752 140048945215696 140048569598758 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
[pid=15672/tid=15674] ppid=15667 vsize=13978684 CPUtime=0.07 cores=1,3,5,7
/proc/15672/task/15674/stat : 15674 (java) S 15667 15667 12039 0 -1 1077944384 110 0 0 0 4 3 0 0 20 0 15 0 97891320 14314172416 98130 18446744073709551615 4194304 4196468 140725319892752 140048897944720 140048940988117 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
[pid=15672/tid=15675] ppid=15667 vsize=13978684 CPUtime=0.07 cores=1,3,5,7
/proc/15672/task/15675/stat : 15675 (java) S 15667 15667 12039 0 -1 1077944384 85 0 0 0 4 3 0 0 20 0 15 0 97891320 14314172416 98130 18446744073709551615 4194304 4196468 140725319892752 140048896891920 140048940988117 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
[pid=15672/tid=15676] ppid=15667 vsize=13978684 CPUtime=0.06 cores=1,3,5,7
/proc/15672/task/15676/stat : 15676 (java) S 15667 15667 12039 0 -1 1077944384 96 0 0 0 4 2 0 0 20 0 15 0 97891320 14314172416 98130 18446744073709551615 4194304 4196468 140725319892752 140048895839120 140048940988117 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
[pid=15672/tid=15677] ppid=15667 vsize=13978684 CPUtime=0.08 cores=1,3,5,7
/proc/15672/task/15677/stat : 15677 (java) S 15667 15667 12039 0 -1 1077944384 128 0 0 0 5 3 0 0 20 0 15 0 97891320 14314172416 98130 18446744073709551615 4194304 4196468 140725319892752 140048894786320 140048940988117 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
[pid=15672/tid=15678] ppid=15667 vsize=13978684 CPUtime=0 cores=1,3,5,7
/proc/15672/task/15678/stat : 15678 (java) S 15667 15667 12039 0 -1 1077944384 208 0 0 0 0 0 0 0 20 0 15 0 97891322 14314172416 98130 18446744073709551615 4194304 4196468 140725319892752 140048126273904 140048940989058 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
[pid=15672/tid=15679] ppid=15667 vsize=13978684 CPUtime=0 cores=1,3,5,7
/proc/15672/task/15679/stat : 15679 (java) S 15667 15667 12039 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97891322 14314172416 98130 18446744073709551615 4194304 4196468 140725319892752 140048125219872 140048940988117 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
[pid=15672/tid=15680] ppid=15667 vsize=13978684 CPUtime=0 cores=1,3,5,7
/proc/15672/task/15680/stat : 15680 (java) S 15667 15667 12039 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 97891322 14314172416 98130 18446744073709551615 4194304 4196468 140725319892752 140048124167024 140048940988117 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
[pid=15672/tid=15681] ppid=15667 vsize=13978684 CPUtime=0 cores=1,3,5,7
/proc/15672/task/15681/stat : 15681 (java) S 15667 15667 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97891325 14314172416 98130 18446744073709551615 4194304 4196468 140725319892752 140048123115344 140048940996507 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
[pid=15672/tid=15682] ppid=15667 vsize=13978684 CPUtime=0.74 cores=1,3,5,7
/proc/15672/task/15682/stat : 15682 (java) S 15667 15667 12039 0 -1 1077944384 1579 0 0 0 74 0 0 0 20 0 15 0 97891325 14314172416 98130 18446744073709551615 4194304 4196468 140725319892752 140048122063728 140048940989058 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
[pid=15672/tid=15683] ppid=15667 vsize=13978684 CPUtime=0.73 cores=1,3,5,7
/proc/15672/task/15683/stat : 15683 (java) R 15667 15667 12039 0 -1 4202560 1744 0 0 0 73 0 0 0 20 0 15 0 97891325 14314172416 98130 18446744073709551615 4194304 4196468 140725319892752 140048121001904 140048925255675 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
[pid=15672/tid=15684] ppid=15667 vsize=13978684 CPUtime=0.3 cores=1,3,5,7
/proc/15672/task/15684/stat : 15684 (java) S 15667 15667 12039 0 -1 1077944384 1669 0 0 0 29 1 0 0 20 0 15 0 97891325 14314172416 98130 18446744073709551615 4194304 4196468 140725319892752 140048119958128 140048940989058 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
[pid=15672/tid=15685] ppid=15667 vsize=13978684 CPUtime=0 cores=1,3,5,7
/proc/15672/task/15685/stat : 15685 (java) S 15667 15667 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97891325 14314172416 98130 18446744073709551615 4194304 4196468 140725319892752 140048118905568 140048940988117 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
[pid=15672/tid=15689] ppid=15667 vsize=13978684 CPUtime=0 cores=1,3,5,7
/proc/15672/task/15689/stat : 15689 (java) S 15667 15667 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97891329 14314172416 98130 18446744073709551615 4194304 4196468 140725319892752 140048117852848 140048940989058 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
Current children cumulated CPU time (s) 3.38
Current children cumulated vsize (KiB) 13988196
[startup+3.10071 s]
/proc/loadavg: 1.97 2.03 2.02 8/216 15730
/proc/meminfo: memFree=30889588/32770624 swapFree=0/319656
[pid=15667] ppid=15664 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/15667/stat : 15667 (xcsp3-exec) S 15664 15667 12039 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 97891309 9740288 345 18446744073709551615 4194304 5098028 140736071855712 140736071853816 139777178419836 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 25141248 140736071860641 140736071860845 140736071860845 140736071864299 0
/proc/15667/statm: 2378 345 289 221 0 87 0
[pid=15672] ppid=15667 vsize=13980732 CPUtime=8.37 cores=1,3,5,7
/proc/15672/stat : 15672 (java) S 15667 15667 12039 0 -1 1077944320 22270 0 0 0 802 35 0 0 20 0 15 0 97891319 14316269568 187523 18446744073709551615 4194304 4196468 140725319892752 140725319875296 140048940977911 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
/proc/15672/statm: 3495183 187523 3228 1 0 3483476 0
[pid=15672/tid=15673] ppid=15667 vsize=13980732 CPUtime=2.71 cores=1,3,5,7
/proc/15672/task/15673/stat : 15673 (java) R 15667 15667 12039 0 -1 4202560 9226 0 0 0 261 10 0 0 20 0 15 0 97891320 14316269568 187523 18446744073709551615 4194304 4196468 140725319892752 140048945212424 140048572460896 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
[pid=15672/tid=15674] ppid=15667 vsize=13980732 CPUtime=0.15 cores=1,3,5,7
/proc/15672/task/15674/stat : 15674 (java) S 15667 15667 12039 0 -1 1077944384 218 0 0 0 10 5 0 0 20 0 15 0 97891320 14316269568 187523 18446744073709551615 4194304 4196468 140725319892752 140048897944720 140048940988117 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
[pid=15672/tid=15675] ppid=15667 vsize=13980732 CPUtime=0.19 cores=1,3,5,7
/proc/15672/task/15675/stat : 15675 (java) S 15667 15667 12039 0 -1 1077944384 190 0 0 0 14 5 0 0 20 0 15 0 97891320 14316269568 187523 18446744073709551615 4194304 4196468 140725319892752 140048896891920 140048940988117 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
[pid=15672/tid=15676] ppid=15667 vsize=13980732 CPUtime=0.15 cores=1,3,5,7
/proc/15672/task/15676/stat : 15676 (java) S 15667 15667 12039 0 -1 1077944384 325 0 0 0 10 5 0 0 20 0 15 0 97891320 14316269568 187523 18446744073709551615 4194304 4196468 140725319892752 140048895839120 140048940988117 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
[pid=15672/tid=15677] ppid=15667 vsize=13980732 CPUtime=0.2 cores=1,3,5,7
/proc/15672/task/15677/stat : 15677 (java) S 15667 15667 12039 0 -1 1077944384 213 0 0 0 15 5 0 0 20 0 15 0 97891320 14316269568 187523 18446744073709551615 4194304 4196468 140725319892752 140048894786320 140048940988117 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
[pid=15672/tid=15678] ppid=15667 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15672/task/15678/stat : 15678 (java) S 15667 15667 12039 0 -1 1077944384 533 0 0 0 0 0 0 0 20 0 15 0 97891322 14316269568 187523 18446744073709551615 4194304 4196468 140725319892752 140048126273904 140048940989058 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
[pid=15672/tid=15679] ppid=15667 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15672/task/15679/stat : 15679 (java) S 15667 15667 12039 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97891322 14316269568 187523 18446744073709551615 4194304 4196468 140725319892752 140048125219936 140048940988117 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
[pid=15672/tid=15680] ppid=15667 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15672/task/15680/stat : 15680 (java) S 15667 15667 12039 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 97891322 14316269568 187523 18446744073709551615 4194304 4196468 140725319892752 140048124167040 140048940988117 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
[pid=15672/tid=15681] ppid=15667 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15672/task/15681/stat : 15681 (java) S 15667 15667 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97891325 14316269568 187523 18446744073709551615 4194304 4196468 140725319892752 140048123115344 140048940996507 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
[pid=15672/tid=15682] ppid=15667 vsize=13980732 CPUtime=2.23 cores=1,3,5,7
/proc/15672/task/15682/stat : 15682 (java) R 15667 15667 12039 0 -1 4202560 3642 0 0 0 222 1 0 0 20 0 15 0 97891325 14316269568 187523 18446744073709551615 4194304 4196468 140725319892752 140048122049752 140048922522138 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
[pid=15672/tid=15683] ppid=15667 vsize=13980732 CPUtime=2.12 cores=1,3,5,7
/proc/15672/task/15683/stat : 15683 (java) R 15667 15667 12039 0 -1 4202560 4316 0 0 0 211 1 0 0 20 0 15 0 97891325 14316269568 187523 18446744073709551615 4194304 4196468 140725319892752 140048121003416 140048922525382 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
[pid=15672/tid=15684] ppid=15667 vsize=13980732 CPUtime=0.55 cores=1,3,5,7
/proc/15672/task/15684/stat : 15684 (java) S 15667 15667 12039 0 -1 1077944384 2310 0 0 0 54 1 0 0 20 0 15 0 97891325 14316269568 187523 18446744073709551615 4194304 4196468 140725319892752 140048119958128 140048940989058 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
[pid=15672/tid=15685] ppid=15667 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15672/task/15685/stat : 15685 (java) S 15667 15667 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97891325 14316269568 187523 18446744073709551615 4194304 4196468 140725319892752 140048118905568 140048940988117 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
[pid=15672/tid=15689] ppid=15667 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15672/task/15689/stat : 15689 (java) S 15667 15667 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97891329 14316269568 187523 18446744073709551615 4194304 4196468 140725319892752 140048117852848 140048940989058 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
Current children cumulated CPU time (s) 8.37
Current children cumulated vsize (KiB) 13990244
[startup+6.3007 s]
/proc/loadavg: 1.98 2.03 2.02 6/216 15730
/proc/meminfo: memFree=28362232/32770624 swapFree=0/319660
[pid=15667] ppid=15664 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/15667/stat : 15667 (xcsp3-exec) S 15664 15667 12039 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 97891309 9740288 345 18446744073709551615 4194304 5098028 140736071855712 140736071853816 139777178419836 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 25141248 140736071860641 140736071860845 140736071860845 140736071864299 0
/proc/15667/statm: 2378 345 289 221 0 87 0
[pid=15672] ppid=15667 vsize=13980732 CPUtime=16.42 cores=1,3,5,7
/proc/15672/stat : 15672 (java) S 15667 15667 12039 0 -1 1077944320 32398 0 0 0 1554 88 0 0 20 0 15 0 97891319 14316269568 414281 18446744073709551615 4194304 4196468 140725319892752 140725319875296 140048940977911 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
/proc/15672/statm: 3495183 414281 3253 1 0 3483476 0
[pid=15672/tid=15673] ppid=15667 vsize=13980732 CPUtime=4.18 cores=1,3,5,7
/proc/15672/task/15673/stat : 15673 (java) R 15667 15667 12039 0 -1 4202560 11808 0 0 0 401 17 0 0 20 0 15 0 97891320 14316269568 414281 18446744073709551615 4194304 4196468 140725319892752 140048945214728 140048925058428 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
[pid=15672/tid=15674] ppid=15667 vsize=13980732 CPUtime=1.54 cores=1,3,5,7
/proc/15672/task/15674/stat : 15674 (java) S 15667 15667 12039 0 -1 1077944384 666 0 0 0 138 16 0 0 20 0 15 0 97891320 14316269568 414281 18446744073709551615 4194304 4196468 140725319892752 140048897944720 140048940988117 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
[pid=15672/tid=15675] ppid=15667 vsize=13980732 CPUtime=1.56 cores=1,3,5,7
/proc/15672/task/15675/stat : 15675 (java) S 15667 15667 12039 0 -1 1077944384 818 0 0 0 140 16 0 0 20 0 15 0 97891320 14316269568 414281 18446744073709551615 4194304 4196468 140725319892752 140048896891920 140048940988117 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
[pid=15672/tid=15676] ppid=15667 vsize=13980732 CPUtime=1.54 cores=1,3,5,7
/proc/15672/task/15676/stat : 15676 (java) S 15667 15667 12039 0 -1 1077944384 698 0 0 0 138 16 0 0 20 0 15 0 97891320 14316269568 414281 18446744073709551615 4194304 4196468 140725319892752 140048895839120 140048940988117 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
[pid=15672/tid=15677] ppid=15667 vsize=13980732 CPUtime=1.58 cores=1,3,5,7
/proc/15672/task/15677/stat : 15677 (java) S 15667 15667 12039 0 -1 1077944384 670 0 0 0 142 16 0 0 20 0 15 0 97891320 14316269568 414281 18446744073709551615 4194304 4196468 140725319892752 140048894786320 140048940988117 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
[pid=15672/tid=15678] ppid=15667 vsize=13980732 CPUtime=0.33 cores=1,3,5,7
/proc/15672/task/15678/stat : 15678 (java) S 15667 15667 12039 0 -1 1077944384 2900 0 0 0 33 0 0 0 20 0 15 0 97891322 14316269568 414281 18446744073709551615 4194304 4196468 140725319892752 140048126273904 140048940989058 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
[pid=15672/tid=15679] ppid=15667 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15672/task/15679/stat : 15679 (java) S 15667 15667 12039 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 97891322 14316269568 414281 18446744073709551615 4194304 4196468 140725319892752 140048125219936 140048940988117 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
[pid=15672/tid=15680] ppid=15667 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15672/task/15680/stat : 15680 (java) S 15667 15667 12039 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 97891322 14316269568 414281 18446744073709551615 4194304 4196468 140725319892752 140048124167040 140048940988117 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
[pid=15672/tid=15681] ppid=15667 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15672/task/15681/stat : 15681 (java) S 15667 15667 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97891325 14316269568 414281 18446744073709551615 4194304 4196468 140725319892752 140048123115344 140048940996507 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
[pid=15672/tid=15682] ppid=15667 vsize=13980732 CPUtime=2.52 cores=1,3,5,7
/proc/15672/task/15682/stat : 15682 (java) S 15667 15667 12039 0 -1 1077944384 4165 0 0 0 251 1 0 0 20 0 15 0 97891325 14316269568 414281 18446744073709551615 4194304 4196468 140725319892752 140048122063728 140048940989058 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
[pid=15672/tid=15683] ppid=15667 vsize=13980732 CPUtime=2.44 cores=1,3,5,7
/proc/15672/task/15683/stat : 15683 (java) S 15667 15667 12039 0 -1 1077944384 5011 0 0 0 243 1 0 0 20 0 15 0 97891325 14316269568 414281 18446744073709551615 4194304 4196468 140725319892752 140048121010928 140048940989058 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
[pid=15672/tid=15684] ppid=15667 vsize=13980732 CPUtime=0.65 cores=1,3,5,7
/proc/15672/task/15684/stat : 15684 (java) R 15667 15667 12039 0 -1 4202560 3526 0 0 0 64 1 0 0 20 0 15 0 97891325 14316269568 414281 18446744073709551615 4194304 4196468 140725319892752 140048119958128 140048940989846 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
[pid=15672/tid=15685] ppid=15667 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15672/task/15685/stat : 15685 (java) S 15667 15667 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97891325 14316269568 414281 18446744073709551615 4194304 4196468 140725319892752 140048118905568 140048940988117 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
[pid=15672/tid=15689] ppid=15667 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15672/task/15689/stat : 15689 (java) S 15667 15667 12039 0 -1 1077944384 805 0 0 0 0 0 0 0 20 0 15 0 97891329 14316269568 414281 18446744073709551615 4194304 4196468 140725319892752 140048117852848 140048940989058 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
Current children cumulated CPU time (s) 16.42
Current children cumulated vsize (KiB) 13990244
[startup+12.7008 s]
/proc/loadavg: 1.98 2.03 2.02 5/216 15730
/proc/meminfo: memFree=26754576/32770624 swapFree=0/319668
[pid=15667] ppid=15664 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/15667/stat : 15667 (xcsp3-exec) S 15664 15667 12039 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 97891309 9740288 345 18446744073709551615 4194304 5098028 140736071855712 140736071853816 139777178419836 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 25141248 140736071860641 140736071860845 140736071860845 140736071864299 0
/proc/15667/statm: 2378 345 289 221 0 87 0
[pid=15672] ppid=15667 vsize=13980732 CPUtime=22.9 cores=1,3,5,7
/proc/15672/stat : 15672 (java) S 15667 15667 12039 0 -1 1077944320 33671 0 0 0 2202 88 0 0 20 0 15 0 97891319 14316269568 414325 18446744073709551615 4194304 4196468 140725319892752 140725319875296 140048940977911 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
/proc/15672/statm: 3495183 414325 3253 1 0 3483476 0
[pid=15672/tid=15673] ppid=15667 vsize=13980732 CPUtime=10.58 cores=1,3,5,7
/proc/15672/task/15673/stat : 15673 (java) R 15667 15667 12039 0 -1 4202560 13019 0 0 0 1041 17 0 0 20 0 15 0 97891320 14316269568 414325 18446744073709551615 4194304 4196468 140725319892752 140048945216536 140048573667932 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
[pid=15672/tid=15674] ppid=15667 vsize=13980732 CPUtime=1.54 cores=1,3,5,7
/proc/15672/task/15674/stat : 15674 (java) S 15667 15667 12039 0 -1 1077944384 666 0 0 0 138 16 0 0 20 0 15 0 97891320 14316269568 414325 18446744073709551615 4194304 4196468 140725319892752 140048897944720 140048940988117 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
[pid=15672/tid=15675] ppid=15667 vsize=13980732 CPUtime=1.56 cores=1,3,5,7
/proc/15672/task/15675/stat : 15675 (java) S 15667 15667 12039 0 -1 1077944384 818 0 0 0 140 16 0 0 20 0 15 0 97891320 14316269568 414325 18446744073709551615 4194304 4196468 140725319892752 140048896891920 140048940988117 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
################
# More data... #
################
[pid=15672/tid=15679] ppid=15667 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15672/task/15679/stat : 15679 (java) S 15667 15667 12039 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 97891322 14316269568 582924 18446744073709551615 4194304 4196468 140725319892752 140048125219936 140048940988117 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
[pid=15672/tid=15680] ppid=15667 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15672/task/15680/stat : 15680 (java) S 15667 15667 12039 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 97891322 14316269568 582924 18446744073709551615 4194304 4196468 140725319892752 140048124167040 140048940988117 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
[pid=15672/tid=15681] ppid=15667 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15672/task/15681/stat : 15681 (java) S 15667 15667 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97891325 14316269568 582924 18446744073709551615 4194304 4196468 140725319892752 140048123115344 140048940996507 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
[pid=15672/tid=15682] ppid=15667 vsize=13980732 CPUtime=2.58 cores=1,3,5,7
/proc/15672/task/15682/stat : 15682 (java) S 15667 15667 12039 0 -1 1077944384 5816 0 0 0 257 1 0 0 20 0 15 0 97891325 14316269568 582924 18446744073709551615 4194304 4196468 140725319892752 140048122063728 140048940989058 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
[pid=15672/tid=15683] ppid=15667 vsize=13980732 CPUtime=2.49 cores=1,3,5,7
/proc/15672/task/15683/stat : 15683 (java) S 15667 15667 12039 0 -1 1077944384 5668 0 0 0 248 1 0 0 20 0 15 0 97891325 14316269568 582924 18446744073709551615 4194304 4196468 140725319892752 140048121010928 140048940989058 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
[pid=15672/tid=15684] ppid=15667 vsize=13980732 CPUtime=0.7 cores=1,3,5,7
/proc/15672/task/15684/stat : 15684 (java) S 15667 15667 12039 0 -1 1077944384 6020 0 0 0 69 1 0 0 20 0 15 0 97891325 14316269568 582924 18446744073709551615 4194304 4196468 140725319892752 140048119958128 140048940989058 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
[pid=15672/tid=15685] ppid=15667 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15672/task/15685/stat : 15685 (java) S 15667 15667 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97891325 14316269568 582924 18446744073709551615 4194304 4196468 140725319892752 140048118905568 140048940988117 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
[pid=15672/tid=15689] ppid=15667 vsize=13980732 CPUtime=0.07 cores=1,3,5,7
/proc/15672/task/15689/stat : 15689 (java) S 15667 15667 12039 0 -1 1077944384 885 0 0 0 3 4 0 0 20 0 15 0 97891329 14316269568 582924 18446744073709551615 4194304 4196468 140725319892752 140048117852848 140048940989058 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
Current children cumulated CPU time (s) 112.82
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.98 2.01 2.02 3/217 15737
/proc/meminfo: memFree=25208908/32770624 swapFree=0/319764
[pid=15667] ppid=15664 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/15667/stat : 15667 (xcsp3-exec) S 15664 15667 12039 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 97891309 9740288 345 18446744073709551615 4194304 5098028 140736071855712 140736071853816 139777178419836 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 25141248 140736071860641 140736071860845 140736071860845 140736071864299 0
/proc/15667/statm: 2378 345 289 221 0 87 0
[pid=15672] ppid=15667 vsize=13980732 CPUtime=173.02 cores=1,3,5,7
/proc/15672/stat : 15672 (java) S 15667 15667 12039 0 -1 1077944320 56790 0 0 0 17185 117 0 0 20 0 15 0 97891319 14316269568 629543 18446744073709551615 4194304 4196468 140725319892752 140725319875296 140048940977911 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
/proc/15672/statm: 3495183 629543 3255 1 0 3483476 0
[pid=15672/tid=15673] ppid=15667 vsize=13980732 CPUtime=160.07 cores=1,3,5,7
/proc/15672/task/15673/stat : 15673 (java) R 15667 15667 12039 0 -1 4202560 24010 0 0 0 15977 30 0 0 20 0 15 0 97891320 14316269568 629543 18446744073709551615 4194304 4196468 140725319892752 140048945215176 140048573667946 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
[pid=15672/tid=15674] ppid=15667 vsize=13980732 CPUtime=1.64 cores=1,3,5,7
/proc/15672/task/15674/stat : 15674 (java) S 15667 15667 12039 0 -1 1077944384 1807 0 0 0 146 18 0 0 20 0 15 0 97891320 14316269568 629543 18446744073709551615 4194304 4196468 140725319892752 140048897944720 140048940988117 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
[pid=15672/tid=15675] ppid=15667 vsize=13980732 CPUtime=1.65 cores=1,3,5,7
/proc/15672/task/15675/stat : 15675 (java) S 15667 15667 12039 0 -1 1077944384 1817 0 0 0 146 19 0 0 20 0 15 0 97891320 14316269568 629543 18446744073709551615 4194304 4196468 140725319892752 140048896891920 140048940988117 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
[pid=15672/tid=15676] ppid=15667 vsize=13980732 CPUtime=1.63 cores=1,3,5,7
/proc/15672/task/15676/stat : 15676 (java) S 15667 15667 12039 0 -1 1077944384 1568 0 0 0 145 18 0 0 20 0 15 0 97891320 14316269568 629543 18446744073709551615 4194304 4196468 140725319892752 140048895839120 140048940988117 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
[pid=15672/tid=15677] ppid=15667 vsize=13980732 CPUtime=1.68 cores=1,3,5,7
/proc/15672/task/15677/stat : 15677 (java) S 15667 15667 12039 0 -1 1077944384 1703 0 0 0 149 19 0 0 20 0 15 0 97891320 14316269568 629543 18446744073709551615 4194304 4196468 140725319892752 140048894786320 140048940988117 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
[pid=15672/tid=15678] ppid=15667 vsize=13980732 CPUtime=0.33 cores=1,3,5,7
/proc/15672/task/15678/stat : 15678 (java) S 15667 15667 12039 0 -1 1077944384 3718 0 0 0 33 0 0 0 20 0 15 0 97891322 14316269568 629543 18446744073709551615 4194304 4196468 140725319892752 140048126273904 140048940989058 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
[pid=15672/tid=15679] ppid=15667 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15672/task/15679/stat : 15679 (java) S 15667 15667 12039 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 97891322 14316269568 629543 18446744073709551615 4194304 4196468 140725319892752 140048125219936 140048940988117 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
[pid=15672/tid=15680] ppid=15667 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15672/task/15680/stat : 15680 (java) S 15667 15667 12039 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 97891322 14316269568 629543 18446744073709551615 4194304 4196468 140725319892752 140048124167040 140048940988117 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
[pid=15672/tid=15681] ppid=15667 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15672/task/15681/stat : 15681 (java) S 15667 15667 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97891325 14316269568 629543 18446744073709551615 4194304 4196468 140725319892752 140048123115344 140048940996507 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
[pid=15672/tid=15682] ppid=15667 vsize=13980732 CPUtime=2.6 cores=1,3,5,7
/proc/15672/task/15682/stat : 15682 (java) S 15667 15667 12039 0 -1 1077944384 6759 0 0 0 259 1 0 0 20 0 15 0 97891325 14316269568 629543 18446744073709551615 4194304 4196468 140725319892752 140048122063728 140048940989058 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
[pid=15672/tid=15683] ppid=15667 vsize=13980732 CPUtime=2.51 cores=1,3,5,7
/proc/15672/task/15683/stat : 15683 (java) S 15667 15667 12039 0 -1 1077944384 6994 0 0 0 250 1 0 0 20 0 15 0 97891325 14316269568 629543 18446744073709551615 4194304 4196468 140725319892752 140048121010928 140048940989058 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
[pid=15672/tid=15684] ppid=15667 vsize=13980732 CPUtime=0.7 cores=1,3,5,7
/proc/15672/task/15684/stat : 15684 (java) S 15667 15667 12039 0 -1 1077944384 6170 0 0 0 69 1 0 0 20 0 15 0 97891325 14316269568 629543 18446744073709551615 4194304 4196468 140725319892752 140048119958128 140048940989058 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
[pid=15672/tid=15685] ppid=15667 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15672/task/15685/stat : 15685 (java) S 15667 15667 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97891325 14316269568 629543 18446744073709551615 4194304 4196468 140725319892752 140048118905568 140048940988117 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
[pid=15672/tid=15689] ppid=15667 vsize=13980732 CPUtime=0.1 cores=1,3,5,7
/proc/15672/task/15689/stat : 15689 (java) S 15667 15667 12039 0 -1 1077944384 913 0 0 0 4 6 0 0 20 0 15 0 97891329 14316269568 629543 18446744073709551615 4194304 4196468 140725319892752 140048117852848 140048940989058 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
Current children cumulated CPU time (s) 173.02
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 1.91 1.98 2.01 3/217 15739
/proc/meminfo: memFree=24954540/32770624 swapFree=0/319796
[pid=15667] ppid=15664 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/15667/stat : 15667 (xcsp3-exec) S 15664 15667 12039 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 97891309 9740288 345 18446744073709551615 4194304 5098028 140736071855712 140736071853816 139777178419836 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 25141248 140736071860641 140736071860845 140736071860845 140736071864299 0
/proc/15667/statm: 2378 345 289 221 0 87 0
[pid=15672] ppid=15667 vsize=13980732 CPUtime=233.15 cores=1,3,5,7
/proc/15672/stat : 15672 (java) S 15667 15667 12039 0 -1 1077944320 63404 0 0 0 23193 122 0 0 20 0 15 0 97891319 14316269568 653943 18446744073709551615 4194304 4196468 140725319892752 140725319875296 140048940977911 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
/proc/15672/statm: 3495183 653943 3255 1 0 3483476 0
[pid=15672/tid=15673] ppid=15667 vsize=13980732 CPUtime=220.04 cores=1,3,5,7
/proc/15672/task/15673/stat : 15673 (java) R 15667 15667 12039 0 -1 4202560 27557 0 0 0 21972 32 0 0 20 0 15 0 97891320 14316269568 653943 18446744073709551615 4194304 4196468 140725319892752 140048945217472 140048573733209 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
[pid=15672/tid=15674] ppid=15667 vsize=13980732 CPUtime=1.66 cores=1,3,5,7
/proc/15672/task/15674/stat : 15674 (java) S 15667 15667 12039 0 -1 1077944384 1966 0 0 0 147 19 0 0 20 0 15 0 97891320 14316269568 653943 18446744073709551615 4194304 4196468 140725319892752 140048897944720 140048940988117 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
[pid=15672/tid=15675] ppid=15667 vsize=13980732 CPUtime=1.67 cores=1,3,5,7
/proc/15672/task/15675/stat : 15675 (java) S 15667 15667 12039 0 -1 1077944384 1894 0 0 0 148 19 0 0 20 0 15 0 97891320 14316269568 653943 18446744073709551615 4194304 4196468 140725319892752 140048896891920 140048940988117 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
[pid=15672/tid=15676] ppid=15667 vsize=13980732 CPUtime=1.66 cores=1,3,5,7
/proc/15672/task/15676/stat : 15676 (java) S 15667 15667 12039 0 -1 1077944384 2172 0 0 0 147 19 0 0 20 0 15 0 97891320 14316269568 653943 18446744073709551615 4194304 4196468 140725319892752 140048895839120 140048940988117 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
[pid=15672/tid=15677] ppid=15667 vsize=13980732 CPUtime=1.7 cores=1,3,5,7
/proc/15672/task/15677/stat : 15677 (java) S 15667 15667 12039 0 -1 1077944384 1911 0 0 0 151 19 0 0 20 0 15 0 97891320 14316269568 653943 18446744073709551615 4194304 4196468 140725319892752 140048894786320 140048940988117 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
[pid=15672/tid=15678] ppid=15667 vsize=13980732 CPUtime=0.34 cores=1,3,5,7
/proc/15672/task/15678/stat : 15678 (java) S 15667 15667 12039 0 -1 1077944384 3950 0 0 0 34 0 0 0 20 0 15 0 97891322 14316269568 653943 18446744073709551615 4194304 4196468 140725319892752 140048126273904 140048940989058 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
[pid=15672/tid=15679] ppid=15667 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15672/task/15679/stat : 15679 (java) S 15667 15667 12039 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 97891322 14316269568 653943 18446744073709551615 4194304 4196468 140725319892752 140048125219936 140048940988117 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
[pid=15672/tid=15680] ppid=15667 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15672/task/15680/stat : 15680 (java) S 15667 15667 12039 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 97891322 14316269568 653943 18446744073709551615 4194304 4196468 140725319892752 140048124167040 140048940988117 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
[pid=15672/tid=15681] ppid=15667 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15672/task/15681/stat : 15681 (java) S 15667 15667 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97891325 14316269568 653943 18446744073709551615 4194304 4196468 140725319892752 140048123115344 140048940996507 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
[pid=15672/tid=15682] ppid=15667 vsize=13980732 CPUtime=2.62 cores=1,3,5,7
/proc/15672/task/15682/stat : 15682 (java) S 15667 15667 12039 0 -1 1077944384 8025 0 0 0 261 1 0 0 20 0 15 0 97891325 14316269568 653943 18446744073709551615 4194304 4196468 140725319892752 140048122063728 140048940989058 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
[pid=15672/tid=15683] ppid=15667 vsize=13980732 CPUtime=2.52 cores=1,3,5,7
/proc/15672/task/15683/stat : 15683 (java) S 15667 15667 12039 0 -1 1077944384 7468 0 0 0 251 1 0 0 20 0 15 0 97891325 14316269568 653943 18446744073709551615 4194304 4196468 140725319892752 140048121010928 140048940989058 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
[pid=15672/tid=15684] ppid=15667 vsize=13980732 CPUtime=0.7 cores=1,3,5,7
/proc/15672/task/15684/stat : 15684 (java) S 15667 15667 12039 0 -1 1077944384 6176 0 0 0 69 1 0 0 20 0 15 0 97891325 14316269568 653943 18446744073709551615 4194304 4196468 140725319892752 140048119958128 140048940989058 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
[pid=15672/tid=15685] ppid=15667 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15672/task/15685/stat : 15685 (java) S 15667 15667 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97891325 14316269568 653943 18446744073709551615 4194304 4196468 140725319892752 140048118905568 140048940988117 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
[pid=15672/tid=15689] ppid=15667 vsize=13980732 CPUtime=0.14 cores=1,3,5,7
/proc/15672/task/15689/stat : 15689 (java) S 15667 15667 12039 0 -1 1077944384 954 0 0 0 6 8 0 0 20 0 15 0 97891329 14316269568 653943 18446744073709551615 4194304 4196468 140725319892752 140048117852848 140048940989058 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
Current children cumulated CPU time (s) 233.15
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.93 1.99 2.01 3/217 15739
/proc/meminfo: memFree=24807912/32770624 swapFree=0/319796
[pid=15667] ppid=15664 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/15667/stat : 15667 (xcsp3-exec) S 15664 15667 12039 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 97891309 9740288 345 18446744073709551615 4194304 5098028 140736071855712 140736071853816 139777178419836 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 25141248 140736071860641 140736071860845 140736071860845 140736071864299 0
/proc/15667/statm: 2378 345 289 221 0 87 0
[pid=15672] ppid=15667 vsize=13980732 CPUtime=250.86 cores=1,3,5,7
/proc/15672/stat : 15672 (java) S 15667 15667 12039 0 -1 1077944320 63588 0 0 0 24963 123 0 0 20 0 15 0 97891319 14316269568 653943 18446744073709551615 4194304 4196468 140725319892752 140725319875296 140048940977911 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
/proc/15672/statm: 3495183 653943 3255 1 0 3483476 0
[pid=15672/tid=15673] ppid=15667 vsize=13980732 CPUtime=237.73 cores=1,3,5,7
/proc/15672/task/15673/stat : 15673 (java) R 15667 15667 12039 0 -1 4202560 27720 0 0 0 23741 32 0 0 20 0 15 0 97891320 14316269568 653943 18446744073709551615 4194304 4196468 140725319892752 140048945214792 140048573667498 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
[pid=15672/tid=15674] ppid=15667 vsize=13980732 CPUtime=1.66 cores=1,3,5,7
/proc/15672/task/15674/stat : 15674 (java) S 15667 15667 12039 0 -1 1077944384 1966 0 0 0 147 19 0 0 20 0 15 0 97891320 14316269568 653943 18446744073709551615 4194304 4196468 140725319892752 140048897944720 140048940988117 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
[pid=15672/tid=15675] ppid=15667 vsize=13980732 CPUtime=1.67 cores=1,3,5,7
/proc/15672/task/15675/stat : 15675 (java) S 15667 15667 12039 0 -1 1077944384 1894 0 0 0 148 19 0 0 20 0 15 0 97891320 14316269568 653943 18446744073709551615 4194304 4196468 140725319892752 140048896891920 140048940988117 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
[pid=15672/tid=15676] ppid=15667 vsize=13980732 CPUtime=1.66 cores=1,3,5,7
/proc/15672/task/15676/stat : 15676 (java) S 15667 15667 12039 0 -1 1077944384 2172 0 0 0 147 19 0 0 20 0 15 0 97891320 14316269568 653943 18446744073709551615 4194304 4196468 140725319892752 140048895839120 140048940988117 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
[pid=15672/tid=15677] ppid=15667 vsize=13980732 CPUtime=1.7 cores=1,3,5,7
/proc/15672/task/15677/stat : 15677 (java) S 15667 15667 12039 0 -1 1077944384 1911 0 0 0 151 19 0 0 20 0 15 0 97891320 14316269568 653943 18446744073709551615 4194304 4196468 140725319892752 140048894786320 140048940988117 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
[pid=15672/tid=15678] ppid=15667 vsize=13980732 CPUtime=0.35 cores=1,3,5,7
/proc/15672/task/15678/stat : 15678 (java) S 15667 15667 12039 0 -1 1077944384 3950 0 0 0 34 1 0 0 20 0 15 0 97891322 14316269568 653943 18446744073709551615 4194304 4196468 140725319892752 140048126273904 140048940989058 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
[pid=15672/tid=15679] ppid=15667 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15672/task/15679/stat : 15679 (java) S 15667 15667 12039 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 97891322 14316269568 653943 18446744073709551615 4194304 4196468 140725319892752 140048125219936 140048940988117 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
[pid=15672/tid=15680] ppid=15667 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15672/task/15680/stat : 15680 (java) S 15667 15667 12039 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 97891322 14316269568 653943 18446744073709551615 4194304 4196468 140725319892752 140048124167040 140048940988117 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
[pid=15672/tid=15681] ppid=15667 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15672/task/15681/stat : 15681 (java) S 15667 15667 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97891325 14316269568 653943 18446744073709551615 4194304 4196468 140725319892752 140048123115344 140048940996507 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
[pid=15672/tid=15682] ppid=15667 vsize=13980732 CPUtime=2.62 cores=1,3,5,7
/proc/15672/task/15682/stat : 15682 (java) S 15667 15667 12039 0 -1 1077944384 8041 0 0 0 261 1 0 0 20 0 15 0 97891325 14316269568 653943 18446744073709551615 4194304 4196468 140725319892752 140048122063728 140048940989058 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
[pid=15672/tid=15683] ppid=15667 vsize=13980732 CPUtime=2.52 cores=1,3,5,7
/proc/15672/task/15683/stat : 15683 (java) S 15667 15667 12039 0 -1 1077944384 7473 0 0 0 251 1 0 0 20 0 15 0 97891325 14316269568 653943 18446744073709551615 4194304 4196468 140725319892752 140048121010928 140048940989058 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
[pid=15672/tid=15684] ppid=15667 vsize=13980732 CPUtime=0.7 cores=1,3,5,7
/proc/15672/task/15684/stat : 15684 (java) S 15667 15667 12039 0 -1 1077944384 6176 0 0 0 69 1 0 0 20 0 15 0 97891325 14316269568 653943 18446744073709551615 4194304 4196468 140725319892752 140048119958128 140048940989058 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
[pid=15672/tid=15685] ppid=15667 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15672/task/15685/stat : 15685 (java) S 15667 15667 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97891325 14316269568 653943 18446744073709551615 4194304 4196468 140725319892752 140048118905568 140048940988117 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
[pid=15672/tid=15689] ppid=15667 vsize=13980732 CPUtime=0.16 cores=1,3,5,7
/proc/15672/task/15689/stat : 15689 (java) S 15667 15667 12039 0 -1 1077944384 954 0 0 0 7 9 0 0 20 0 15 0 97891329 14316269568 653943 18446744073709551615 4194304 4196468 140725319892752 140048117852848 140048940989058 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37097472 140725319901658 140725319901833 140725319901833 140725319905231 0
Current children cumulated CPU time (s) 250.86
Current children cumulated vsize (KiB) 13990244
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 15672 sig 9
??? kill 15667 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15667 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=941
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=941
# CPU time returned by wait4() is 0.001882
# while last known CPU time is 250.86
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 240.01
CPU time (s): 250.86
CPU user time (s): 249.63
CPU system time (s): 1.23
CPU usage (%): 104.52
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000941
system time used= 0.000941
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 1.20863 second user time and 1.5719 second system time
The end