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-4254231-1501986501/watcher-4254231-1501986501 -o /tmp/evaluation-result-4254231-1501986501/solver-4254231-1501986501 -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 1099250732 HOME/instance-4254231-1501986501.xml
pid=20062
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.87 1.92 1.96 2/200 20065
/proc/meminfo: memFree=28125064/32770624 swapFree=0/324032
[pid=20065] ppid=20062 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/20065/stat : 20065 (runsolver) D 20062 20065 12039 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 98303319 24240128 106 18446744073709551615 4194304 4338465 140729066830720 140729066828360 139697838129879 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 28397568 140729066831970 140729066832460 140729066832460 140729066835914 0
/proc/20065/statm: 5918 106 53 36 0 2156 0
[startup+0.103026 s]
/proc/loadavg: 1.87 1.92 1.96 2/200 20065
/proc/meminfo: memFree=28125064/32770624 swapFree=0/324032
[pid=20065] ppid=20062 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/20065/stat : 20065 (xcsp3-exec) S 20062 20065 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 98303319 9740288 345 18446744073709551615 4194304 5098028 140732609925280 140732609923384 139983704801916 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 22884352 140732609933729 140732609933933 140732609933933 140732609937387 0
/proc/20065/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200286 s]
/proc/loadavg: 1.87 1.92 1.96 2/200 20065
/proc/meminfo: memFree=28125064/32770624 swapFree=0/324032
[pid=20065] ppid=20062 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/20065/stat : 20065 (xcsp3-exec) S 20062 20065 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 98303319 9740288 345 18446744073709551615 4194304 5098028 140732609925280 140732609923384 139983704801916 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 22884352 140732609933729 140732609933933 140732609933933 140732609937387 0
/proc/20065/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300244 s]
/proc/loadavg: 1.87 1.92 1.96 2/200 20065
/proc/meminfo: memFree=28125064/32770624 swapFree=0/324032
[pid=20065] ppid=20062 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/20065/stat : 20065 (xcsp3-exec) S 20062 20065 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 98303319 9740288 345 18446744073709551615 4194304 5098028 140732609925280 140732609923384 139983704801916 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 22884352 140732609933729 140732609933933 140732609933933 140732609937387 0
/proc/20065/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.705029 s]
/proc/loadavg: 1.87 1.92 1.96 2/200 20065
/proc/meminfo: memFree=28125064/32770624 swapFree=0/324032
[pid=20065] ppid=20062 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/20065/stat : 20065 (xcsp3-exec) S 20062 20065 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 98303319 9740288 345 18446744073709551615 4194304 5098028 140732609925280 140732609923384 139983704801916 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 22884352 140732609933729 140732609933933 140732609933933 140732609937387 0
/proc/20065/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50104 s]
/proc/loadavg: 1.87 1.92 1.96 6/216 20081
/proc/meminfo: memFree=27943244/32770624 swapFree=0/324080
[pid=20065] ppid=20062 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/20065/stat : 20065 (xcsp3-exec) S 20062 20065 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 98303319 9740288 345 18446744073709551615 4194304 5098028 140732609925280 140732609923384 139983704801916 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 22884352 140732609933729 140732609933933 140732609933933 140732609937387 0
/proc/20065/statm: 2378 345 289 221 0 87 0
[pid=20067] ppid=20065 vsize=13980732 CPUtime=3.9 cores=1,3,5,7
/proc/20067/stat : 20067 (java) S 20065 20065 12039 0 -1 1077944320 16126 0 0 0 380 10 0 0 20 0 15 0 98303327 14316269568 54432 18446744073709551615 4194304 4196468 140730757714480 140730757697024 139757787815671 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
/proc/20067/statm: 3495183 54432 3215 1 0 3483476 0
[pid=20067/tid=20068] ppid=20065 vsize=13980732 CPUtime=1.29 cores=1,3,5,7
/proc/20067/task/20068/stat : 20068 (java) S 20065 20065 12039 0 -1 1077944384 8623 0 0 0 124 5 0 0 20 0 15 0 98303327 14316269568 54432 18446744073709551615 4194304 4196468 140730757714480 139757792052928 139757787825877 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
[pid=20067/tid=20069] ppid=20065 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/20067/task/20069/stat : 20069 (java) R 20065 20065 12039 0 -1 4202560 110 0 0 0 2 0 0 0 20 0 15 0 98303328 14316269568 54432 18446744073709551615 4194304 4196468 140730757714480 139757707230168 139757772843090 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
[pid=20067/tid=20070] ppid=20065 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/20067/task/20070/stat : 20070 (java) R 20065 20065 12039 0 -1 4202560 75 0 0 0 2 0 0 0 20 0 15 0 98303328 14316269568 54432 18446744073709551615 4194304 4196468 140730757714480 139757706177624 139757780912372 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
[pid=20067/tid=20071] ppid=20065 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/20067/task/20071/stat : 20071 (java) R 20065 20065 12039 0 -1 4202560 49 0 0 0 1 0 0 0 20 0 15 0 98303328 14316269568 54432 18446744073709551615 4194304 4196468 140730757714480 139757705124880 139757772843554 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
[pid=20067/tid=20072] ppid=20065 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/20067/task/20072/stat : 20072 (java) R 20065 20065 12039 0 -1 4202560 54 0 0 0 1 0 0 0 20 0 15 0 98303328 14316269568 54432 18446744073709551615 4194304 4196468 140730757714480 139757704072336 139757780912372 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
[pid=20067/tid=20073] ppid=20065 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20067/task/20073/stat : 20073 (java) S 20065 20065 12039 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 98303329 14316269568 54432 18446744073709551615 4194304 4196468 140730757714480 139756973011488 139757787825877 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
[pid=20067/tid=20074] ppid=20065 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20067/task/20074/stat : 20074 (java) S 20065 20065 12039 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98303330 14316269568 54432 18446744073709551615 4194304 4196468 140730757714480 139756971959200 139757787825877 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
[pid=20067/tid=20075] ppid=20065 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20067/task/20075/stat : 20075 (java) S 20065 20065 12039 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98303330 14316269568 54432 18446744073709551615 4194304 4196468 140730757714480 139756970906608 139757787825877 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
[pid=20067/tid=20076] ppid=20065 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20067/task/20076/stat : 20076 (java) S 20065 20065 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98303332 14316269568 54432 18446744073709551615 4194304 4196468 140730757714480 139756969855184 139757787834267 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
[pid=20067/tid=20077] ppid=20065 vsize=13980732 CPUtime=0.99 cores=1,3,5,7
/proc/20067/task/20077/stat : 20077 (java) S 20065 20065 12039 0 -1 1077944384 1963 0 0 0 99 0 0 0 20 0 15 0 98303332 14316269568 54432 18446744073709551615 4194304 4196468 140730757714480 139756968787792 139757787825877 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
[pid=20067/tid=20078] ppid=20065 vsize=13980732 CPUtime=0.99 cores=1,3,5,7
/proc/20067/task/20078/stat : 20078 (java) S 20065 20065 12039 0 -1 1077944384 1857 0 0 0 99 0 0 0 20 0 15 0 98303332 14316269568 54432 18446744073709551615 4194304 4196468 140730757714480 139756967735248 139757787825877 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
[pid=20067/tid=20079] ppid=20065 vsize=13980732 CPUtime=0.48 cores=1,3,5,7
/proc/20067/task/20079/stat : 20079 (java) S 20065 20065 12039 0 -1 1077944384 2016 0 0 0 48 0 0 0 20 0 15 0 98303332 14316269568 54432 18446744073709551615 4194304 4196468 140730757714480 139756966697712 139757787826818 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
[pid=20067/tid=20080] ppid=20065 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20067/task/20080/stat : 20080 (java) S 20065 20065 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98303333 14316269568 54432 18446744073709551615 4194304 4196468 140730757714480 139756965645408 139757787825877 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
[pid=20067/tid=20081] ppid=20065 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20067/task/20081/stat : 20081 (java) S 20065 20065 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98303339 14316269568 54432 18446744073709551615 4194304 4196468 140730757714480 139756964591920 139757787826818 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
Current children cumulated CPU time (s) 3.9
Current children cumulated vsize (KiB) 13990244
[startup+3.10073 s]
/proc/loadavg: 1.87 1.92 1.96 3/214 20112
/proc/meminfo: memFree=31391332/32770624 swapFree=0/324080
[pid=20065] ppid=20062 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/20065/stat : 20065 (xcsp3-exec) S 20062 20065 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 98303319 9740288 345 18446744073709551615 4194304 5098028 140732609925280 140732609923384 139983704801916 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 22884352 140732609933729 140732609933933 140732609933933 140732609937387 0
/proc/20065/statm: 2378 345 289 221 0 87 0
[pid=20067] ppid=20065 vsize=13980732 CPUtime=6.27 cores=1,3,5,7
/proc/20067/stat : 20067 (java) S 20065 20065 12039 0 -1 1077944320 16775 0 0 0 616 11 0 0 20 0 15 0 98303327 14316269568 58526 18446744073709551615 4194304 4196468 140730757714480 140730757697024 139757787815671 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
/proc/20067/statm: 3495183 58526 3224 1 0 3483476 0
[pid=20067/tid=20068] ppid=20065 vsize=13980732 CPUtime=2.88 cores=1,3,5,7
/proc/20067/task/20068/stat : 20068 (java) R 20065 20065 12039 0 -1 4202560 8872 0 0 0 283 5 0 0 20 0 15 0 98303327 14316269568 58526 18446744073709551615 4194304 4196468 140730757714480 139757792054552 139757386883670 0 4 1 16800974 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
[pid=20067/tid=20069] ppid=20065 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/20067/task/20069/stat : 20069 (java) S 20065 20065 12039 0 -1 1077944384 113 0 0 0 3 1 0 0 20 0 15 0 98303328 14316269568 58526 18446744073709551615 4194304 4196468 140730757714480 139757707229968 139757787825877 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
[pid=20067/tid=20070] ppid=20065 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/20067/task/20070/stat : 20070 (java) S 20065 20065 12039 0 -1 1077944384 79 0 0 0 2 0 0 0 20 0 15 0 98303328 14316269568 58526 18446744073709551615 4194304 4196468 140730757714480 139757706177424 139757787825877 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
[pid=20067/tid=20071] ppid=20065 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/20067/task/20071/stat : 20071 (java) S 20065 20065 12039 0 -1 1077944384 55 0 0 0 1 0 0 0 20 0 15 0 98303328 14316269568 58526 18446744073709551615 4194304 4196468 140730757714480 139757705124880 139757787825877 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
[pid=20067/tid=20072] ppid=20065 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/20067/task/20072/stat : 20072 (java) S 20065 20065 12039 0 -1 1077944384 58 0 0 0 2 0 0 0 20 0 15 0 98303328 14316269568 58526 18446744073709551615 4194304 4196468 140730757714480 139757704072336 139757787825877 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
[pid=20067/tid=20073] ppid=20065 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20067/task/20073/stat : 20073 (java) S 20065 20065 12039 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 98303329 14316269568 58526 18446744073709551615 4194304 4196468 140730757714480 139756973012976 139757787826818 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
[pid=20067/tid=20074] ppid=20065 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20067/task/20074/stat : 20074 (java) S 20065 20065 12039 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98303330 14316269568 58526 18446744073709551615 4194304 4196468 140730757714480 139756971959264 139757787825877 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
[pid=20067/tid=20075] ppid=20065 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20067/task/20075/stat : 20075 (java) S 20065 20065 12039 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98303330 14316269568 58526 18446744073709551615 4194304 4196468 140730757714480 139756970906624 139757787825877 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
[pid=20067/tid=20076] ppid=20065 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20067/task/20076/stat : 20076 (java) S 20065 20065 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98303332 14316269568 58526 18446744073709551615 4194304 4196468 140730757714480 139756969855184 139757787834267 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
[pid=20067/tid=20077] ppid=20065 vsize=13980732 CPUtime=1.33 cores=1,3,5,7
/proc/20067/task/20077/stat : 20077 (java) S 20065 20065 12039 0 -1 1077944384 2185 0 0 0 133 0 0 0 20 0 15 0 98303332 14316269568 58526 18446744073709551615 4194304 4196468 140730757714480 139756968802800 139757787826818 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
[pid=20067/tid=20078] ppid=20065 vsize=13980732 CPUtime=1.31 cores=1,3,5,7
/proc/20067/task/20078/stat : 20078 (java) S 20065 20065 12039 0 -1 1077944384 1912 0 0 0 131 0 0 0 20 0 15 0 98303332 14316269568 58526 18446744073709551615 4194304 4196468 140730757714480 139756967750256 139757787826818 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
[pid=20067/tid=20079] ppid=20065 vsize=13980732 CPUtime=0.56 cores=1,3,5,7
/proc/20067/task/20079/stat : 20079 (java) S 20065 20065 12039 0 -1 1077944384 2122 0 0 0 56 0 0 0 20 0 15 0 98303332 14316269568 58526 18446744073709551615 4194304 4196468 140730757714480 139756966697712 139757787826818 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
[pid=20067/tid=20080] ppid=20065 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20067/task/20080/stat : 20080 (java) S 20065 20065 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98303333 14316269568 58526 18446744073709551615 4194304 4196468 140730757714480 139756965645408 139757787825877 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
[pid=20067/tid=20081] ppid=20065 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20067/task/20081/stat : 20081 (java) S 20065 20065 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98303339 14316269568 58526 18446744073709551615 4194304 4196468 140730757714480 139756964591920 139757787826818 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 13990244
[startup+6.30076 s]
/proc/loadavg: 1.88 1.92 1.96 3/216 20159
/proc/meminfo: memFree=31050176/32770624 swapFree=0/324116
[pid=20065] ppid=20062 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/20065/stat : 20065 (xcsp3-exec) S 20062 20065 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 98303319 9740288 345 18446744073709551615 4194304 5098028 140732609925280 140732609923384 139983704801916 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 22884352 140732609933729 140732609933933 140732609933933 140732609937387 0
/proc/20065/statm: 2378 345 289 221 0 87 0
[pid=20067] ppid=20065 vsize=13980732 CPUtime=9.62 cores=1,3,5,7
/proc/20067/stat : 20067 (java) S 20065 20065 12039 0 -1 1077944320 20327 0 0 0 942 20 0 0 20 0 15 0 98303327 14316269568 96334 18446744073709551615 4194304 4196468 140730757714480 140730757697024 139757787815671 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
/proc/20067/statm: 3495183 96334 3226 1 0 3483476 0
[pid=20067/tid=20068] ppid=20065 vsize=13980732 CPUtime=6.04 cores=1,3,5,7
/proc/20067/task/20068/stat : 20068 (java) R 20065 20065 12039 0 -1 4202560 9408 0 0 0 597 7 0 0 20 0 15 0 98303327 14316269568 96334 18446744073709551615 4194304 4196468 140730757714480 139757792055152 139757386883778 0 4 1 16800974 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
[pid=20067/tid=20069] ppid=20065 vsize=13980732 CPUtime=0.07 cores=1,3,5,7
/proc/20067/task/20069/stat : 20069 (java) S 20065 20065 12039 0 -1 1077944384 948 0 0 0 5 2 0 0 20 0 15 0 98303328 14316269568 96334 18446744073709551615 4194304 4196468 140730757714480 139757707229968 139757787825877 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
[pid=20067/tid=20070] ppid=20065 vsize=13980732 CPUtime=0.07 cores=1,3,5,7
/proc/20067/task/20070/stat : 20070 (java) S 20065 20065 12039 0 -1 1077944384 161 0 0 0 5 2 0 0 20 0 15 0 98303328 14316269568 96334 18446744073709551615 4194304 4196468 140730757714480 139757706177424 139757787825877 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
[pid=20067/tid=20071] ppid=20065 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/20067/task/20071/stat : 20071 (java) S 20065 20065 12039 0 -1 1077944384 182 0 0 0 4 2 0 0 20 0 15 0 98303328 14316269568 96334 18446744073709551615 4194304 4196468 140730757714480 139757705124880 139757787825877 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
[pid=20067/tid=20072] ppid=20065 vsize=13980732 CPUtime=0.07 cores=1,3,5,7
/proc/20067/task/20072/stat : 20072 (java) S 20065 20065 12039 0 -1 1077944384 151 0 0 0 5 2 0 0 20 0 15 0 98303328 14316269568 96334 18446744073709551615 4194304 4196468 140730757714480 139757704072336 139757787825877 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
[pid=20067/tid=20073] ppid=20065 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20067/task/20073/stat : 20073 (java) S 20065 20065 12039 0 -1 1077944384 676 0 0 0 0 0 0 0 20 0 15 0 98303329 14316269568 96334 18446744073709551615 4194304 4196468 140730757714480 139756973012976 139757787826818 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
[pid=20067/tid=20074] ppid=20065 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20067/task/20074/stat : 20074 (java) S 20065 20065 12039 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 98303330 14316269568 96334 18446744073709551615 4194304 4196468 140730757714480 139756971959264 139757787825877 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
[pid=20067/tid=20075] ppid=20065 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20067/task/20075/stat : 20075 (java) S 20065 20065 12039 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98303330 14316269568 96334 18446744073709551615 4194304 4196468 140730757714480 139756970906624 139757787825877 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
[pid=20067/tid=20076] ppid=20065 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20067/task/20076/stat : 20076 (java) S 20065 20065 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98303332 14316269568 96334 18446744073709551615 4194304 4196468 140730757714480 139756969855184 139757787834267 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
[pid=20067/tid=20077] ppid=20065 vsize=13980732 CPUtime=1.33 cores=1,3,5,7
/proc/20067/task/20077/stat : 20077 (java) S 20065 20065 12039 0 -1 1077944384 2187 0 0 0 133 0 0 0 20 0 15 0 98303332 14316269568 96334 18446744073709551615 4194304 4196468 140730757714480 139756968802800 139757787826818 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
[pid=20067/tid=20078] ppid=20065 vsize=13980732 CPUtime=1.32 cores=1,3,5,7
/proc/20067/task/20078/stat : 20078 (java) S 20065 20065 12039 0 -1 1077944384 2011 0 0 0 132 0 0 0 20 0 15 0 98303332 14316269568 96334 18446744073709551615 4194304 4196468 140730757714480 139756967750256 139757787826818 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
[pid=20067/tid=20079] ppid=20065 vsize=13980732 CPUtime=0.58 cores=1,3,5,7
/proc/20067/task/20079/stat : 20079 (java) S 20065 20065 12039 0 -1 1077944384 2924 0 0 0 58 0 0 0 20 0 15 0 98303332 14316269568 96334 18446744073709551615 4194304 4196468 140730757714480 139756966697712 139757787826818 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
[pid=20067/tid=20080] ppid=20065 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20067/task/20080/stat : 20080 (java) S 20065 20065 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98303333 14316269568 96334 18446744073709551615 4194304 4196468 140730757714480 139756965645408 139757787825877 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
[pid=20067/tid=20081] ppid=20065 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20067/task/20081/stat : 20081 (java) S 20065 20065 12039 0 -1 1077944384 379 0 0 0 0 0 0 0 20 0 15 0 98303339 14316269568 96334 18446744073709551615 4194304 4196468 140730757714480 139756964591920 139757787826818 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
Current children cumulated CPU time (s) 9.62
Current children cumulated vsize (KiB) 13990244
[startup+12.7008 s]
/proc/loadavg: 1.89 1.92 1.96 3/216 20159
/proc/meminfo: memFree=30826892/32770624 swapFree=0/324124
[pid=20065] ppid=20062 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/20065/stat : 20065 (xcsp3-exec) S 20062 20065 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 98303319 9740288 345 18446744073709551615 4194304 5098028 140732609925280 140732609923384 139983704801916 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 22884352 140732609933729 140732609933933 140732609933933 140732609937387 0
/proc/20065/statm: 2378 345 289 221 0 87 0
[pid=20067] ppid=20065 vsize=13980732 CPUtime=16.15 cores=1,3,5,7
/proc/20067/stat : 20067 (java) S 20065 20065 12039 0 -1 1077944320 21784 0 0 0 1594 21 0 0 20 0 15 0 98303327 14316269568 101514 18446744073709551615 4194304 4196468 140730757714480 140730757697024 139757787815671 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
/proc/20067/statm: 3495183 101514 3228 1 0 3483476 0
[pid=20067/tid=20068] ppid=20065 vsize=13980732 CPUtime=12.42 cores=1,3,5,7
/proc/20067/task/20068/stat : 20068 (java) R 20065 20065 12039 0 -1 4202560 9546 0 0 0 1235 7 0 0 20 0 15 0 98303327 14316269568 101514 18446744073709551615 4194304 4196468 140730757714480 139757792055152 139757386883697 0 4 1 16800974 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
[pid=20067/tid=20069] ppid=20065 vsize=13980732 CPUtime=0.1 cores=1,3,5,7
/proc/20067/task/20069/stat : 20069 (java) S 20065 20065 12039 0 -1 1077944384 999 0 0 0 7 3 0 0 20 0 15 0 98303328 14316269568 101514 18446744073709551615 4194304 4196468 140730757714480 139757707229968 139757787825877 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
[pid=20067/tid=20070] ppid=20065 vsize=13980732 CPUtime=0.09 cores=1,3,5,7
/proc/20067/task/20070/stat : 20070 (java) S 20065 20065 12039 0 -1 1077944384 188 0 0 0 7 2 0 0 20 0 15 0 98303328 14316269568 101514 18446744073709551615 4194304 4196468 140730757714480 139757706177424 139757787825877 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
################
# More data... #
################
[pid=20067/tid=20074] ppid=20065 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20067/task/20074/stat : 20074 (java) S 20065 20065 12039 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 98303330 14316269568 295230 18446744073709551615 4194304 4196468 140730757714480 139756971959264 139757787825877 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
[pid=20067/tid=20075] ppid=20065 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20067/task/20075/stat : 20075 (java) S 20065 20065 12039 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98303330 14316269568 295230 18446744073709551615 4194304 4196468 140730757714480 139756970906624 139757787825877 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
[pid=20067/tid=20076] ppid=20065 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20067/task/20076/stat : 20076 (java) S 20065 20065 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98303332 14316269568 295230 18446744073709551615 4194304 4196468 140730757714480 139756969855184 139757787834267 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
[pid=20067/tid=20077] ppid=20065 vsize=13980732 CPUtime=1.4 cores=1,3,5,7
/proc/20067/task/20077/stat : 20077 (java) S 20065 20065 12039 0 -1 1077944384 3929 0 0 0 140 0 0 0 20 0 15 0 98303332 14316269568 295230 18446744073709551615 4194304 4196468 140730757714480 139756968802800 139757787826818 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
[pid=20067/tid=20078] ppid=20065 vsize=13980732 CPUtime=1.44 cores=1,3,5,7
/proc/20067/task/20078/stat : 20078 (java) S 20065 20065 12039 0 -1 1077944384 5150 0 0 0 144 0 0 0 20 0 15 0 98303332 14316269568 295230 18446744073709551615 4194304 4196468 140730757714480 139756967750256 139757787826818 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
[pid=20067/tid=20079] ppid=20065 vsize=13980732 CPUtime=0.59 cores=1,3,5,7
/proc/20067/task/20079/stat : 20079 (java) S 20065 20065 12039 0 -1 1077944384 3135 0 0 0 59 0 0 0 20 0 15 0 98303332 14316269568 295230 18446744073709551615 4194304 4196468 140730757714480 139756966697712 139757787826818 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
[pid=20067/tid=20080] ppid=20065 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20067/task/20080/stat : 20080 (java) S 20065 20065 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98303333 14316269568 295230 18446744073709551615 4194304 4196468 140730757714480 139756965645408 139757787825877 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
[pid=20067/tid=20081] ppid=20065 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/20067/task/20081/stat : 20081 (java) S 20065 20065 12039 0 -1 1077944384 489 0 0 0 3 3 0 0 20 0 15 0 98303339 14316269568 295230 18446744073709551615 4194304 4196468 140730757714480 139756964591920 139757787826818 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
Current children cumulated CPU time (s) 106.25
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.90 1.91 1.95 3/216 20164
/proc/meminfo: memFree=27494564/32770624 swapFree=0/324208
[pid=20065] ppid=20062 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/20065/stat : 20065 (xcsp3-exec) S 20062 20065 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 98303319 9740288 345 18446744073709551615 4194304 5098028 140732609925280 140732609923384 139983704801916 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 22884352 140732609933729 140732609933933 140732609933933 140732609937387 0
/proc/20065/statm: 2378 345 289 221 0 87 0
[pid=20067] ppid=20065 vsize=13980732 CPUtime=168.58 cores=1,3,5,7
/proc/20067/stat : 20067 (java) S 20065 20065 12039 0 -1 1077944320 54000 0 0 0 16774 84 0 0 20 0 15 0 98303327 14316269568 743923 18446744073709551615 4194304 4196468 140730757714480 140730757697024 139757787815671 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
/proc/20067/statm: 3495183 743923 3239 1 0 3483476 0
[pid=20067/tid=20068] ppid=20065 vsize=13980732 CPUtime=161.86 cores=1,3,5,7
/proc/20067/task/20068/stat : 20068 (java) R 20065 20065 12039 0 -1 4202560 20366 0 0 0 16140 46 0 0 20 0 15 0 98303327 14316269568 743923 18446744073709551615 4194304 4196468 140730757714480 139757792055224 139757388104453 0 4 1 16800974 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
[pid=20067/tid=20069] ppid=20065 vsize=13980732 CPUtime=0.23 cores=1,3,5,7
/proc/20067/task/20069/stat : 20069 (java) S 20065 20065 12039 0 -1 1077944384 1289 0 0 0 16 7 0 0 20 0 15 0 98303328 14316269568 743923 18446744073709551615 4194304 4196468 140730757714480 139757707229968 139757787825877 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
[pid=20067/tid=20070] ppid=20065 vsize=13980732 CPUtime=0.22 cores=1,3,5,7
/proc/20067/task/20070/stat : 20070 (java) S 20065 20065 12039 0 -1 1077944384 1549 0 0 0 16 6 0 0 20 0 15 0 98303328 14316269568 743923 18446744073709551615 4194304 4196468 140730757714480 139757706177424 139757787825877 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
[pid=20067/tid=20071] ppid=20065 vsize=13980732 CPUtime=0.21 cores=1,3,5,7
/proc/20067/task/20071/stat : 20071 (java) S 20065 20065 12039 0 -1 1077944384 2431 0 0 0 15 6 0 0 20 0 15 0 98303328 14316269568 743923 18446744073709551615 4194304 4196468 140730757714480 139757705124880 139757787825877 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
[pid=20067/tid=20072] ppid=20065 vsize=13980732 CPUtime=0.22 cores=1,3,5,7
/proc/20067/task/20072/stat : 20072 (java) S 20065 20065 12039 0 -1 1077944384 662 0 0 0 16 6 0 0 20 0 15 0 98303328 14316269568 743923 18446744073709551615 4194304 4196468 140730757714480 139757704072336 139757787825877 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
[pid=20067/tid=20073] ppid=20065 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/20067/task/20073/stat : 20073 (java) S 20065 20065 12039 0 -1 1077944384 3026 0 0 0 2 0 0 0 20 0 15 0 98303329 14316269568 743923 18446744073709551615 4194304 4196468 140730757714480 139756973012976 139757787826818 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
[pid=20067/tid=20074] ppid=20065 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20067/task/20074/stat : 20074 (java) S 20065 20065 12039 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 98303330 14316269568 743923 18446744073709551615 4194304 4196468 140730757714480 139756971959264 139757787825877 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
[pid=20067/tid=20075] ppid=20065 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20067/task/20075/stat : 20075 (java) S 20065 20065 12039 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 98303330 14316269568 743923 18446744073709551615 4194304 4196468 140730757714480 139756970906624 139757787825877 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
[pid=20067/tid=20076] ppid=20065 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20067/task/20076/stat : 20076 (java) S 20065 20065 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98303332 14316269568 743923 18446744073709551615 4194304 4196468 140730757714480 139756969855184 139757787834267 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
[pid=20067/tid=20077] ppid=20065 vsize=13980732 CPUtime=2.5 cores=1,3,5,7
/proc/20067/task/20077/stat : 20077 (java) S 20065 20065 12039 0 -1 1077944384 8648 0 0 0 249 1 0 0 20 0 15 0 98303332 14316269568 743923 18446744073709551615 4194304 4196468 140730757714480 139756968802800 139757787826818 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
[pid=20067/tid=20078] ppid=20065 vsize=13980732 CPUtime=2.41 cores=1,3,5,7
/proc/20067/task/20078/stat : 20078 (java) S 20065 20065 12039 0 -1 1077944384 9665 0 0 0 240 1 0 0 20 0 15 0 98303332 14316269568 743923 18446744073709551615 4194304 4196468 140730757714480 139756967750256 139757787826818 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
[pid=20067/tid=20079] ppid=20065 vsize=13980732 CPUtime=0.71 cores=1,3,5,7
/proc/20067/task/20079/stat : 20079 (java) S 20065 20065 12039 0 -1 1077944384 4489 0 0 0 70 1 0 0 20 0 15 0 98303332 14316269568 743923 18446744073709551615 4194304 4196468 140730757714480 139756966697712 139757787826818 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
[pid=20067/tid=20080] ppid=20065 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20067/task/20080/stat : 20080 (java) S 20065 20065 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98303333 14316269568 743923 18446744073709551615 4194304 4196468 140730757714480 139756965645408 139757787825877 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
[pid=20067/tid=20081] ppid=20065 vsize=13980732 CPUtime=0.1 cores=1,3,5,7
/proc/20067/task/20081/stat : 20081 (java) S 20065 20065 12039 0 -1 1077944384 540 0 0 0 5 5 0 0 20 0 15 0 98303339 14316269568 743923 18446744073709551615 4194304 4196468 140730757714480 139756964591920 139757787826818 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
Current children cumulated CPU time (s) 168.58
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 1.75 1.87 1.94 3/216 20166
/proc/meminfo: memFree=24320768/32770624 swapFree=0/324256
[pid=20065] ppid=20062 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/20065/stat : 20065 (xcsp3-exec) S 20062 20065 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 98303319 9740288 345 18446744073709551615 4194304 5098028 140732609925280 140732609923384 139983704801916 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 22884352 140732609933729 140732609933933 140732609933933 140732609937387 0
/proc/20065/statm: 2378 345 289 221 0 87 0
[pid=20067] ppid=20065 vsize=13980732 CPUtime=229.15 cores=1,3,5,7
/proc/20067/stat : 20067 (java) S 20065 20065 12039 0 -1 1077944320 57593 0 0 0 22811 104 0 0 20 0 15 0 98303327 14316269568 933712 18446744073709551615 4194304 4196468 140730757714480 140730757697024 139757787815671 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
/proc/20067/statm: 3495183 933712 3239 1 0 3483476 0
[pid=20067/tid=20068] ppid=20065 vsize=13980732 CPUtime=221.83 cores=1,3,5,7
/proc/20067/task/20068/stat : 20068 (java) R 20065 20065 12039 0 -1 4202560 21583 0 0 0 22127 56 0 0 20 0 15 0 98303327 14316269568 933712 18446744073709551615 4194304 4196468 140730757714480 139757792054056 139757388104453 0 4 1 16800974 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
[pid=20067/tid=20069] ppid=20065 vsize=13980732 CPUtime=0.26 cores=1,3,5,7
/proc/20067/task/20069/stat : 20069 (java) S 20065 20065 12039 0 -1 1077944384 1317 0 0 0 18 8 0 0 20 0 15 0 98303328 14316269568 933712 18446744073709551615 4194304 4196468 140730757714480 139757707229968 139757787825877 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
[pid=20067/tid=20070] ppid=20065 vsize=13980732 CPUtime=0.26 cores=1,3,5,7
/proc/20067/task/20070/stat : 20070 (java) S 20065 20065 12039 0 -1 1077944384 1697 0 0 0 18 8 0 0 20 0 15 0 98303328 14316269568 933712 18446744073709551615 4194304 4196468 140730757714480 139757706177424 139757787825877 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
[pid=20067/tid=20071] ppid=20065 vsize=13980732 CPUtime=0.24 cores=1,3,5,7
/proc/20067/task/20071/stat : 20071 (java) S 20065 20065 12039 0 -1 1077944384 2462 0 0 0 16 8 0 0 20 0 15 0 98303328 14316269568 933712 18446744073709551615 4194304 4196468 140730757714480 139757705124880 139757787825877 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
[pid=20067/tid=20072] ppid=20065 vsize=13980732 CPUtime=0.25 cores=1,3,5,7
/proc/20067/task/20072/stat : 20072 (java) S 20065 20065 12039 0 -1 1077944384 691 0 0 0 17 8 0 0 20 0 15 0 98303328 14316269568 933712 18446744073709551615 4194304 4196468 140730757714480 139757704072336 139757787825877 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
[pid=20067/tid=20073] ppid=20065 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/20067/task/20073/stat : 20073 (java) S 20065 20065 12039 0 -1 1077944384 3097 0 0 0 2 0 0 0 20 0 15 0 98303329 14316269568 933712 18446744073709551615 4194304 4196468 140730757714480 139756973012976 139757787826818 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
[pid=20067/tid=20074] ppid=20065 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20067/task/20074/stat : 20074 (java) S 20065 20065 12039 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 98303330 14316269568 933712 18446744073709551615 4194304 4196468 140730757714480 139756971959264 139757787825877 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
[pid=20067/tid=20075] ppid=20065 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20067/task/20075/stat : 20075 (java) S 20065 20065 12039 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 98303330 14316269568 933712 18446744073709551615 4194304 4196468 140730757714480 139756970906624 139757787825877 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
[pid=20067/tid=20076] ppid=20065 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20067/task/20076/stat : 20076 (java) S 20065 20065 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98303332 14316269568 933712 18446744073709551615 4194304 4196468 140730757714480 139756969855184 139757787834267 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
[pid=20067/tid=20077] ppid=20065 vsize=13980732 CPUtime=2.6 cores=1,3,5,7
/proc/20067/task/20077/stat : 20077 (java) S 20065 20065 12039 0 -1 1077944384 8669 0 0 0 258 2 0 0 20 0 15 0 98303332 14316269568 933712 18446744073709551615 4194304 4196468 140730757714480 139756968802800 139757787826818 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
[pid=20067/tid=20078] ppid=20065 vsize=13980732 CPUtime=2.74 cores=1,3,5,7
/proc/20067/task/20078/stat : 20078 (java) S 20065 20065 12039 0 -1 1077944384 11699 0 0 0 272 2 0 0 20 0 15 0 98303332 14316269568 933712 18446744073709551615 4194304 4196468 140730757714480 139756967750256 139757787826818 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
[pid=20067/tid=20079] ppid=20065 vsize=13980732 CPUtime=0.72 cores=1,3,5,7
/proc/20067/task/20079/stat : 20079 (java) S 20065 20065 12039 0 -1 1077944384 4499 0 0 0 71 1 0 0 20 0 15 0 98303332 14316269568 933712 18446744073709551615 4194304 4196468 140730757714480 139756966697712 139757787826818 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
[pid=20067/tid=20080] ppid=20065 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20067/task/20080/stat : 20080 (java) S 20065 20065 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98303333 14316269568 933712 18446744073709551615 4194304 4196468 140730757714480 139756965645408 139757787825877 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
[pid=20067/tid=20081] ppid=20065 vsize=13980732 CPUtime=0.14 cores=1,3,5,7
/proc/20067/task/20081/stat : 20081 (java) S 20065 20065 12039 0 -1 1077944384 544 0 0 0 7 7 0 0 20 0 15 0 98303339 14316269568 933712 18446744073709551615 4194304 4196468 140730757714480 139756964591920 139757787826818 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
Current children cumulated CPU time (s) 229.15
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.82 1.88 1.94 3/216 20167
/proc/meminfo: memFree=24037524/32770624 swapFree=0/324280
[pid=20065] ppid=20062 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/20065/stat : 20065 (xcsp3-exec) S 20062 20065 12039 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 98303319 9740288 345 18446744073709551615 4194304 5098028 140732609925280 140732609923384 139983704801916 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 22884352 140732609933729 140732609933933 140732609933933 140732609937387 0
/proc/20065/statm: 2378 345 289 221 0 87 0
[pid=20067] ppid=20065 vsize=13980732 CPUtime=246.86 cores=1,3,5,7
/proc/20067/stat : 20067 (java) S 20065 20065 12039 0 -1 1077944320 57593 0 0 0 24581 105 0 0 20 0 15 0 98303327 14316269568 933712 18446744073709551615 4194304 4196468 140730757714480 140730757697024 139757787815671 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
/proc/20067/statm: 3495183 933712 3239 1 0 3483476 0
[pid=20067/tid=20068] ppid=20065 vsize=13980732 CPUtime=239.52 cores=1,3,5,7
/proc/20067/task/20068/stat : 20068 (java) R 20065 20065 12039 0 -1 4202560 21583 0 0 0 23896 56 0 0 20 0 15 0 98303327 14316269568 933712 18446744073709551615 4194304 4196468 140730757714480 139757792052168 139757386883778 0 4 1 16800974 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
[pid=20067/tid=20069] ppid=20065 vsize=13980732 CPUtime=0.26 cores=1,3,5,7
/proc/20067/task/20069/stat : 20069 (java) S 20065 20065 12039 0 -1 1077944384 1317 0 0 0 18 8 0 0 20 0 15 0 98303328 14316269568 933712 18446744073709551615 4194304 4196468 140730757714480 139757707229968 139757787825877 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
[pid=20067/tid=20070] ppid=20065 vsize=13980732 CPUtime=0.26 cores=1,3,5,7
/proc/20067/task/20070/stat : 20070 (java) S 20065 20065 12039 0 -1 1077944384 1697 0 0 0 18 8 0 0 20 0 15 0 98303328 14316269568 933712 18446744073709551615 4194304 4196468 140730757714480 139757706177424 139757787825877 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
[pid=20067/tid=20071] ppid=20065 vsize=13980732 CPUtime=0.24 cores=1,3,5,7
/proc/20067/task/20071/stat : 20071 (java) S 20065 20065 12039 0 -1 1077944384 2462 0 0 0 16 8 0 0 20 0 15 0 98303328 14316269568 933712 18446744073709551615 4194304 4196468 140730757714480 139757705124880 139757787825877 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
[pid=20067/tid=20072] ppid=20065 vsize=13980732 CPUtime=0.25 cores=1,3,5,7
/proc/20067/task/20072/stat : 20072 (java) S 20065 20065 12039 0 -1 1077944384 691 0 0 0 17 8 0 0 20 0 15 0 98303328 14316269568 933712 18446744073709551615 4194304 4196468 140730757714480 139757704072336 139757787825877 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
[pid=20067/tid=20073] ppid=20065 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/20067/task/20073/stat : 20073 (java) S 20065 20065 12039 0 -1 1077944384 3097 0 0 0 2 0 0 0 20 0 15 0 98303329 14316269568 933712 18446744073709551615 4194304 4196468 140730757714480 139756973012976 139757787826818 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
[pid=20067/tid=20074] ppid=20065 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20067/task/20074/stat : 20074 (java) S 20065 20065 12039 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 98303330 14316269568 933712 18446744073709551615 4194304 4196468 140730757714480 139756971959264 139757787825877 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
[pid=20067/tid=20075] ppid=20065 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20067/task/20075/stat : 20075 (java) S 20065 20065 12039 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 98303330 14316269568 933712 18446744073709551615 4194304 4196468 140730757714480 139756970906624 139757787825877 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
[pid=20067/tid=20076] ppid=20065 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20067/task/20076/stat : 20076 (java) S 20065 20065 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98303332 14316269568 933712 18446744073709551615 4194304 4196468 140730757714480 139756969855184 139757787834267 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
[pid=20067/tid=20077] ppid=20065 vsize=13980732 CPUtime=2.6 cores=1,3,5,7
/proc/20067/task/20077/stat : 20077 (java) S 20065 20065 12039 0 -1 1077944384 8669 0 0 0 258 2 0 0 20 0 15 0 98303332 14316269568 933712 18446744073709551615 4194304 4196468 140730757714480 139756968802800 139757787826818 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
[pid=20067/tid=20078] ppid=20065 vsize=13980732 CPUtime=2.74 cores=1,3,5,7
/proc/20067/task/20078/stat : 20078 (java) S 20065 20065 12039 0 -1 1077944384 11699 0 0 0 272 2 0 0 20 0 15 0 98303332 14316269568 933712 18446744073709551615 4194304 4196468 140730757714480 139756967750256 139757787826818 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
[pid=20067/tid=20079] ppid=20065 vsize=13980732 CPUtime=0.72 cores=1,3,5,7
/proc/20067/task/20079/stat : 20079 (java) S 20065 20065 12039 0 -1 1077944384 4499 0 0 0 71 1 0 0 20 0 15 0 98303332 14316269568 933712 18446744073709551615 4194304 4196468 140730757714480 139756966697712 139757787826818 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
[pid=20067/tid=20080] ppid=20065 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20067/task/20080/stat : 20080 (java) S 20065 20065 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98303333 14316269568 933712 18446744073709551615 4194304 4196468 140730757714480 139756965645408 139757787825877 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
[pid=20067/tid=20081] ppid=20065 vsize=13980732 CPUtime=0.15 cores=1,3,5,7
/proc/20067/task/20081/stat : 20081 (java) S 20065 20065 12039 0 -1 1077944384 544 0 0 0 7 8 0 0 20 0 15 0 98303339 14316269568 933712 18446744073709551615 4194304 4196468 140730757714480 139756964591920 139757787826818 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27258880 140730757718490 140730757718665 140730757718665 140730757722063 0
Current children cumulated CPU time (s) 246.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 20067 sig 9
??? kill 20065 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 20065 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=913
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=913
# CPU time returned by wait4() is 0.001826
# while last known CPU time is 246.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): 246.86
CPU user time (s): 245.81
CPU system time (s): 1.05
CPU usage (%): 102.854
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000913
system time used= 0.000913
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 510
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.039 second user time and 1.71034 second system time
The end