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-4255319-1501619249/watcher-4255319-1501619249 -o /tmp/evaluation-result-4255319-1501619249/solver-4255319-1501619249 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node131-1501617193-9962 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 820627756 HOME/instance-4255319-1501619249.xml
pid=11036
running on 4 cores: 0,2,4,6
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.72 1.80 1.82 3/195 11039
/proc/meminfo: memFree=31699228/32770624 swapFree=0/190780
[pid=11039] ppid=11036 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/11039/stat : 11039 (runsolver) D 11036 11039 5131 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 10545227 24240128 108 18446744073709551615 4194304 4338465 140722779041248 140722779038888 140047932510935 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 26177536 140722779045982 140722779046470 140722779046470 140722779049930 0
/proc/11039/statm: 5918 108 54 36 0 2156 0
[startup+0.100495 s]
/proc/loadavg: 1.72 1.80 1.82 3/195 11039
/proc/meminfo: memFree=31699228/32770624 swapFree=0/190780
[pid=11039] ppid=11036 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/11039/stat : 11039 (xcsp3-exec) S 11036 11039 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10545227 9740288 345 18446744073709551615 4194304 5098028 140733173618720 140733173616824 139702696456828 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 33009664 140733173621148 140733173621351 140733173621351 140733173624811 0
/proc/11039/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200296 s]
/proc/loadavg: 1.72 1.80 1.82 3/195 11039
/proc/meminfo: memFree=31699228/32770624 swapFree=0/190780
[pid=11039] ppid=11036 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/11039/stat : 11039 (xcsp3-exec) S 11036 11039 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10545227 9740288 345 18446744073709551615 4194304 5098028 140733173618720 140733173616824 139702696456828 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 33009664 140733173621148 140733173621351 140733173621351 140733173624811 0
/proc/11039/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.30577 s]
/proc/loadavg: 1.72 1.80 1.82 3/195 11039
/proc/meminfo: memFree=31699228/32770624 swapFree=0/190780
[pid=11039] ppid=11036 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/11039/stat : 11039 (xcsp3-exec) S 11036 11039 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10545227 9740288 345 18446744073709551615 4194304 5098028 140733173618720 140733173616824 139702696456828 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 33009664 140733173621148 140733173621351 140733173621351 140733173624811 0
/proc/11039/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700168 s]
/proc/loadavg: 1.72 1.80 1.82 3/195 11039
/proc/meminfo: memFree=31699228/32770624 swapFree=0/190780
[pid=11039] ppid=11036 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/11039/stat : 11039 (xcsp3-exec) S 11036 11039 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10545227 9740288 345 18446744073709551615 4194304 5098028 140733173618720 140733173616824 139702696456828 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 33009664 140733173621148 140733173621351 140733173621351 140733173624811 0
/proc/11039/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50068 s]
/proc/loadavg: 1.72 1.80 1.82 5/211 11055
/proc/meminfo: memFree=31622480/32770624 swapFree=0/190800
[pid=11039] ppid=11036 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/11039/stat : 11039 (xcsp3-exec) S 11036 11039 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10545227 9740288 345 18446744073709551615 4194304 5098028 140733173618720 140733173616824 139702696456828 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 33009664 140733173621148 140733173621351 140733173621351 140733173624811 0
/proc/11039/statm: 2378 345 289 221 0 87 0
[pid=11041] ppid=11039 vsize=13980732 CPUtime=3.57 cores=0,2,4,6
/proc/11041/stat : 11041 (java) S 11039 11039 5131 0 -1 1077944320 34560 0 0 0 350 7 0 0 20 0 15 0 10545236 14316269568 32980 18446744073709551615 4194304 4196468 140729720692224 140729720674768 139936160177911 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17244160 140729720697300 140729720697475 140729720697475 140729720700879 0
/proc/11041/statm: 3495183 32980 3184 1 0 3483484 0
[pid=11041/tid=11042] ppid=11039 vsize=13980732 CPUtime=1.3 cores=0,2,4,6
/proc/11041/task/11042/stat : 11042 (java) R 11039 11039 5131 0 -1 4202560 8466 0 0 0 127 3 0 0 20 0 15 0 10545236 14316269568 32980 18446744073709551615 4194304 4196468 140729720692224 139936164414296 139935760127697 0 4 1 16800974 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 17244160 140729720697300 140729720697475 140729720697475 140729720700879 0
[pid=11041/tid=11043] ppid=11039 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11043/stat : 11043 (java) S 11039 11039 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10545237 14316269568 33046 18446744073709551615 4194304 4196468 140729720692224 139936079592464 139936160188117 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17244160 140729720697300 140729720697475 140729720697475 140729720700879 0
[pid=11041/tid=11044] ppid=11039 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11044/stat : 11044 (java) S 11039 11039 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10545237 14316269568 33046 18446744073709551615 4194304 4196468 140729720692224 139936078539920 139936160188117 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17244160 140729720697300 140729720697475 140729720697475 140729720700879 0
[pid=11041/tid=11045] ppid=11039 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11045/stat : 11045 (java) S 11039 11039 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10545237 14316269568 33046 18446744073709551615 4194304 4196468 140729720692224 139936077486864 139936160188117 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17244160 140729720697300 140729720697475 140729720697475 140729720700879 0
[pid=11041/tid=11046] ppid=11039 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11046/stat : 11046 (java) S 11039 11039 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10545237 14316269568 33046 18446744073709551615 4194304 4196468 140729720692224 139936076434320 139936160188117 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17244160 140729720697300 140729720697475 140729720697475 140729720700879 0
[pid=11041/tid=11047] ppid=11039 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11047/stat : 11047 (java) S 11039 11039 5131 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 10545238 14316269568 33046 18446744073709551615 4194304 4196468 140729720692224 139935076813040 139936160189058 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17244160 140729720697300 140729720697475 140729720697475 140729720700879 0
[pid=11041/tid=11048] ppid=11039 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11048/stat : 11048 (java) S 11039 11039 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10545239 14316269568 33046 18446744073709551615 4194304 4196468 140729720692224 139935075759264 139936160188117 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17244160 140729720697300 140729720697475 140729720697475 140729720700879 0
[pid=11041/tid=11049] ppid=11039 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11049/stat : 11049 (java) S 11039 11039 5131 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10545239 14316269568 33046 18446744073709551615 4194304 4196468 140729720692224 139935074706160 139936160188117 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17244160 140729720697300 140729720697475 140729720697475 140729720700879 0
[pid=11041/tid=11050] ppid=11039 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11050/stat : 11050 (java) S 11039 11039 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10545241 14316269568 33046 18446744073709551615 4194304 4196468 140729720692224 139935073654736 139936160196507 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17244160 140729720697300 140729720697475 140729720697475 140729720700879 0
[pid=11041/tid=11051] ppid=11039 vsize=13980732 CPUtime=0.89 cores=0,2,4,6
/proc/11041/task/11051/stat : 11051 (java) R 11039 11039 5131 0 -1 4202560 16745 0 0 0 87 2 0 0 20 0 15 0 10545241 14316269568 33046 18446744073709551615 4194304 4196468 140729720692224 139935072583880 139936140875305 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17244160 140729720697300 140729720697475 140729720697475 140729720700879 0
[pid=11041/tid=11052] ppid=11039 vsize=13980732 CPUtime=0.89 cores=0,2,4,6
/proc/11041/task/11052/stat : 11052 (java) R 11039 11039 5131 0 -1 4202560 5189 0 0 0 89 0 0 0 20 0 15 0 10545241 14316269568 33046 18446744073709551615 4194304 4196468 140729720692224 139935071550616 139936140878208 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17244160 140729720697300 140729720697475 140729720697475 140729720700879 0
[pid=11041/tid=11053] ppid=11039 vsize=13980732 CPUtime=0.45 cores=0,2,4,6
/proc/11041/task/11053/stat : 11053 (java) S 11039 11039 5131 0 -1 1077944384 2905 0 0 0 45 0 0 0 20 0 15 0 10545241 14316269568 33046 18446744073709551615 4194304 4196468 140729720692224 139935070497264 139936160189058 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17244160 140729720697300 140729720697475 140729720697475 140729720700879 0
[pid=11041/tid=11054] ppid=11039 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11054/stat : 11054 (java) S 11039 11039 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10545242 14316269568 33046 18446744073709551615 4194304 4196468 140729720692224 139935069444960 139936160188117 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17244160 140729720697300 140729720697475 140729720697475 140729720700879 0
[pid=11041/tid=11055] ppid=11039 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11055/stat : 11055 (java) S 11039 11039 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10545251 14316269568 33046 18446744073709551615 4194304 4196468 140729720692224 139934597900848 139936160189058 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17244160 140729720697300 140729720697475 140729720697475 140729720700879 0
Current children cumulated CPU time (s) 3.57
Current children cumulated vsize (KiB) 13990244
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 11041 sig 9
??? kill 11039 sig 9
??? kill -11039 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.6067 s]
/proc/loadavg: 1.72 1.80 1.82 5/211 11055
/proc/meminfo: memFree=31622480/32770624 swapFree=0/190800
[pid=11039] ppid=11036 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/11039/stat : 11039 (xcsp3-exec) S 11036 11039 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10545227 9740288 345 18446744073709551615 4194304 5098028 140733173618720 140733173616824 139702696456828 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 33009664 140733173621148 140733173621351 140733173621351 140733173624811 0
/proc/11039/statm: 2378 345 289 221 0 87 0
[pid=11041] ppid=11039 vsize=13980732 CPUtime=3.9 cores=0,2,4,6
/proc/11041/stat : 11041 (java) S 11039 11039 5131 0 -1 1077944320 35249 0 0 0 382 8 0 0 20 0 15 0 10545236 14316269568 35004 18446744073709551615 4194304 4196468 140729720692224 140729720674768 139936160177911 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17244160 140729720697300 140729720697475 140729720697475 140729720700879 0
/proc/11041/statm: 3495183 35004 3187 1 0 3483484 0
[pid=11041/tid=11042] ppid=11039 vsize=13980732 CPUtime=1.41 cores=0,2,4,6
/proc/11041/task/11042/stat : 11042 (java) R 11039 11039 5131 0 -1 4202560 8470 0 0 0 137 4 0 0 20 0 15 0 10545236 14316269568 35004 18446744073709551615 4194304 4196468 140729720692224 139936164414296 139936144518080 0 4 1 16800974 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 17244160 140729720697300 140729720697475 140729720697475 140729720700879 0
[pid=11041/tid=11043] ppid=11039 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11043/stat : 11043 (java) S 11039 11039 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10545237 14316269568 35004 18446744073709551615 4194304 4196468 140729720692224 139936079592464 139936160188117 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17244160 140729720697300 140729720697475 140729720697475 140729720700879 0
[pid=11041/tid=11044] ppid=11039 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11044/stat : 11044 (java) S 11039 11039 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10545237 14316269568 35004 18446744073709551615 4194304 4196468 140729720692224 139936078539920 139936160188117 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17244160 140729720697300 140729720697475 140729720697475 140729720700879 0
[pid=11041/tid=11045] ppid=11039 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11045/stat : 11045 (java) S 11039 11039 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10545237 14316269568 35004 18446744073709551615 4194304 4196468 140729720692224 139936077486864 139936160188117 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17244160 140729720697300 140729720697475 140729720697475 140729720700879 0
[pid=11041/tid=11046] ppid=11039 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11046/stat : 11046 (java) S 11039 11039 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10545237 14316269568 35004 18446744073709551615 4194304 4196468 140729720692224 139936076434320 139936160188117 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17244160 140729720697300 140729720697475 140729720697475 140729720700879 0
[pid=11041/tid=11047] ppid=11039 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11047/stat : 11047 (java) S 11039 11039 5131 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 10545238 14316269568 35004 18446744073709551615 4194304 4196468 140729720692224 139935076813040 139936160189058 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17244160 140729720697300 140729720697475 140729720697475 140729720700879 0
[pid=11041/tid=11048] ppid=11039 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11048/stat : 11048 (java) S 11039 11039 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10545239 14316269568 35004 18446744073709551615 4194304 4196468 140729720692224 139935075759264 139936160188117 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17244160 140729720697300 140729720697475 140729720697475 140729720700879 0
[pid=11041/tid=11049] ppid=11039 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11049/stat : 11049 (java) S 11039 11039 5131 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10545239 14316269568 35004 18446744073709551615 4194304 4196468 140729720692224 139935074706160 139936160188117 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17244160 140729720697300 140729720697475 140729720697475 140729720700879 0
[pid=11041/tid=11050] ppid=11039 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11050/stat : 11050 (java) S 11039 11039 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10545241 14316269568 35004 18446744073709551615 4194304 4196468 140729720692224 139935073654736 139936160196507 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17244160 140729720697300 140729720697475 140729720697475 140729720700879 0
[pid=11041/tid=11051] ppid=11039 vsize=13980732 CPUtime=1 cores=0,2,4,6
/proc/11041/task/11051/stat : 11051 (java) R 11039 11039 5131 0 -1 4202560 16919 0 0 0 98 2 0 0 20 0 15 0 10545241 14316269568 35004 18446744073709551615 4194304 4196468 140729720692224 139935072583880 139936139871011 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17244160 140729720697300 140729720697475 140729720697475 140729720700879 0
[pid=11041/tid=11052] ppid=11039 vsize=13980732 CPUtime=0.99 cores=0,2,4,6
/proc/11041/task/11052/stat : 11052 (java) R 11039 11039 5131 0 -1 4202560 5604 0 0 0 99 0 0 0 20 0 15 0 10545241 14316269568 35004 18446744073709551615 4194304 4196468 140729720692224 139935071550616 139936145285586 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17244160 140729720697300 140729720697475 140729720697475 140729720700879 0
[pid=11041/tid=11053] ppid=11039 vsize=13980732 CPUtime=0.46 cores=0,2,4,6
/proc/11041/task/11053/stat : 11053 (java) S 11039 11039 5131 0 -1 1077944384 2947 0 0 0 46 0 0 0 20 0 15 0 10545241 14316269568 35004 18446744073709551615 4194304 4196468 140729720692224 139935070497264 139936160189058 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17244160 140729720697300 140729720697475 140729720697475 140729720700879 0
[pid=11041/tid=11054] ppid=11039 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11054/stat : 11054 (java) S 11039 11039 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10545242 14316269568 35004 18446744073709551615 4194304 4196468 140729720692224 139935069444960 139936160188117 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17244160 140729720697300 140729720697475 140729720697475 140729720700879 0
[pid=11041/tid=11055] ppid=11039 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11055/stat : 11055 (java) S 11039 11039 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10545251 14316269568 35004 18446744073709551615 4194304 4196468 140729720692224 139934597900848 139936160189058 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17244160 140729720697300 140729720697475 140729720697475 140729720700879 0
Current children cumulated CPU time (s) 3.9
Current children cumulated vsize (KiB) 13990244
[startup+2.00066 s]
/proc/loadavg: 1.72 1.80 1.82 5/211 11055
/proc/meminfo: memFree=31622480/32770624 swapFree=0/190800
[pid=11039] ppid=11036 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/11039/stat : 11039 (xcsp3-exec) S 11036 11039 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10545227 9740288 345 18446744073709551615 4194304 5098028 140733173618720 140733173616824 139702696456828 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 33009664 140733173621148 140733173621351 140733173621351 140733173624811 0
/proc/11039/statm: 2378 345 289 221 0 87 0
[pid=11041] ppid=11039 vsize=13984540 CPUtime=5.09 cores=0,2,4,6
/proc/11041/stat : 11041 (java) S 11039 11039 5131 0 -1 1077944320 41965 0 0 0 500 9 0 0 20 0 15 0 10545236 14320168960 45780 18446744073709551615 4194304 4196468 140729720692224 140729720674768 139936160177911 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17244160 140729720697300 140729720697475 140729720697475 140729720700879 0
/proc/11041/statm: 3496135 45780 3189 1 0 3484436 0
[pid=11041/tid=11042] ppid=11039 vsize=13984540 CPUtime=1.8 cores=0,2,4,6
/proc/11041/task/11042/stat : 11042 (java) R 11039 11039 5131 0 -1 4202560 8508 0 0 0 176 4 0 0 20 0 15 0 10545236 14320168960 45780 18446744073709551615 4194304 4196468 140729720692224 139936164415600 139935758705689 0 4 1 16800974 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 17244160 140729720697300 140729720697475 140729720697475 140729720700879 0
[pid=11041/tid=11043] ppid=11039 vsize=13984540 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11043/stat : 11043 (java) S 11039 11039 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10545237 14320168960 45780 18446744073709551615 4194304 4196468 140729720692224 139936079592464 139936160188117 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17244160 140729720697300 140729720697475 140729720697475 140729720700879 0
[pid=11041/tid=11044] ppid=11039 vsize=13984540 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11044/stat : 11044 (java) S 11039 11039 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10545237 14320168960 45780 18446744073709551615 4194304 4196468 140729720692224 139936078539920 139936160188117 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17244160 140729720697300 140729720697475 140729720697475 140729720700879 0
[pid=11041/tid=11045] ppid=11039 vsize=13984540 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11045/stat : 11045 (java) S 11039 11039 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10545237 14320168960 45780 18446744073709551615 4194304 4196468 140729720692224 139936077486864 139936160188117 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17244160 140729720697300 140729720697475 140729720697475 140729720700879 0
[pid=11041/tid=11046] ppid=11039 vsize=13984540 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11046/stat : 11046 (java) S 11039 11039 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10545237 14320168960 45780 18446744073709551615 4194304 4196468 140729720692224 139936076434320 139936160188117 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17244160 140729720697300 140729720697475 140729720697475 140729720700879 0
[pid=11041/tid=11047] ppid=11039 vsize=13984540 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11047/stat : 11047 (java) S 11039 11039 5131 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 10545238 14320168960 45780 18446744073709551615 4194304 4196468 140729720692224 139935076813040 139936160189058 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17244160 140729720697300 140729720697475 140729720697475 140729720700879 0
[pid=11041/tid=11048] ppid=11039 vsize=13984540 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11048/stat : 11048 (java) S 11039 11039 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10545239 14320168960 45780 18446744073709551615 4194304 4196468 140729720692224 139935075759264 139936160188117 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17244160 140729720697300 140729720697475 140729720697475 140729720700879 0
[pid=11041/tid=11049] ppid=11039 vsize=13984540 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11049/stat : 11049 (java) S 11039 11039 5131 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10545239 14320168960 45780 18446744073709551615 4194304 4196468 140729720692224 139935074706160 139936160188117 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17244160 140729720697300 140729720697475 140729720697475 140729720700879 0
[pid=11041/tid=11050] ppid=11039 vsize=13984540 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11050/stat : 11050 (java) S 11039 11039 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10545241 14320168960 45780 18446744073709551615 4194304 4196468 140729720692224 139935073654736 139936160196507 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17244160 140729720697300 140729720697475 140729720697475 140729720700879 0
[pid=11041/tid=11051] ppid=11039 vsize=13984540 CPUtime=1.39 cores=0,2,4,6
/proc/11041/task/11051/stat : 11051 (java) R 11039 11039 5131 0 -1 4202560 22250 0 0 0 136 3 0 0 20 0 15 0 10545241 14320168960 45780 18446744073709551615 4194304 4196468 140729720692224 139935072588600 139936141722129 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17244160 140729720697300 140729720697475 140729720697475 140729720700879 0
[pid=11041/tid=11052] ppid=11039 vsize=13984540 CPUtime=1.39 cores=0,2,4,6
/proc/11041/task/11052/stat : 11052 (java) R 11039 11039 5131 0 -1 4202560 6770 0 0 0 138 1 0 0 20 0 15 0 10545241 14320168960 45780 18446744073709551615 4194304 4196468 140729720692224 139935071540176 139936139421629 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17244160 140729720697300 140729720697475 140729720697475 140729720700879 0
[pid=11041/tid=11053] ppid=11039 vsize=13984540 CPUtime=0.47 cores=0,2,4,6
/proc/11041/task/11053/stat : 11053 (java) S 11039 11039 5131 0 -1 1077944384 3118 0 0 0 47 0 0 0 20 0 15 0 10545241 14320168960 45780 18446744073709551615 4194304 4196468 140729720692224 139935070497264 139936160189058 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17244160 140729720697300 140729720697475 140729720697475 140729720700879 0
[pid=11041/tid=11054] ppid=11039 vsize=13984540 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11054/stat : 11054 (java) S 11039 11039 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10545242 14320168960 45780 18446744073709551615 4194304 4196468 140729720692224 139935069444960 139936160188117 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17244160 140729720697300 140729720697475 140729720697475 140729720700879 0
[pid=11041/tid=11055] ppid=11039 vsize=13984540 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11055/stat : 11055 (java) S 11039 11039 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10545251 14320168960 45780 18446744073709551615 4194304 4196468 140729720692224 139934597900848 139936160189058 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17244160 140729720697300 140729720697475 140729720697475 140729720700879 0
Current children cumulated CPU time (s) 5.09
Current children cumulated vsize (KiB) 13994052
[startup+2.20073 s]
/proc/loadavg: 1.72 1.80 1.82 3/210 11055
/proc/meminfo: memFree=31528456/32770624 swapFree=0/190800
[pid=11039] ppid=11036 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/11039/stat : 11039 (xcsp3-exec) S 11036 11039 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10545227 9740288 345 18446744073709551615 4194304 5098028 140733173618720 140733173616824 139702696456828 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 33009664 140733173621148 140733173621351 140733173621351 140733173624811 0
/proc/11039/statm: 2378 345 289 221 0 87 0
[pid=11041] ppid=11039 vsize=13980732 CPUtime=5.63 cores=0,2,4,6
/proc/11041/stat : 11041 (java) S 11039 11039 5131 0 -1 1077944320 43840 0 0 0 553 10 0 0 20 0 14 0 10545236 14316269568 48770 18446744073709551615 4194304 4196468 140729720692224 140729720674768 139936160177911 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17244160 140729720697300 140729720697475 140729720697475 140729720700879 0
/proc/11041/statm: 3495183 48770 3192 1 0 3483484 0
[pid=11041/tid=11042] ppid=11039 vsize=13980732 CPUtime=1.96 cores=0,2,4,6
/proc/11041/task/11042/stat : 11042 (java) S 11039 11039 5131 0 -1 1077944384 8579 0 0 0 192 4 0 0 20 0 14 0 10545236 14316269568 48770 18446744073709551615 4194304 4196468 140729720692224 139936164420752 139936160188117 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 17244160 140729720697300 140729720697475 140729720697475 140729720700879 0
[pid=11041/tid=11043] ppid=11039 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11043/stat : 11043 (java) S 11039 11039 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 10545237 14316269568 48770 18446744073709551615 4194304 4196468 140729720692224 139936079592464 139936160188117 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17244160 140729720697300 140729720697475 140729720697475 140729720700879 0
[pid=11041/tid=11044] ppid=11039 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11044/stat : 11044 (java) S 11039 11039 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 10545237 14316269568 48770 18446744073709551615 4194304 4196468 140729720692224 139936078539920 139936160188117 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17244160 140729720697300 140729720697475 140729720697475 140729720700879 0
[pid=11041/tid=11045] ppid=11039 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11045/stat : 11045 (java) S 11039 11039 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 10545237 14316269568 48770 18446744073709551615 4194304 4196468 140729720692224 139936077486864 139936160188117 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17244160 140729720697300 140729720697475 140729720697475 140729720700879 0
[pid=11041/tid=11046] ppid=11039 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11046/stat : 11046 (java) S 11039 11039 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 10545237 14316269568 48770 18446744073709551615 4194304 4196468 140729720692224 139936076434320 139936160188117 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17244160 140729720697300 140729720697475 140729720697475 140729720700879 0
[pid=11041/tid=11047] ppid=11039 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11047/stat : 11047 (java) S 11039 11039 5131 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 14 0 10545238 14316269568 48770 18446744073709551615 4194304 4196468 140729720692224 139935076813248 139936160189058 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17244160 140729720697300 140729720697475 140729720697475 140729720700879 0
[pid=11041/tid=11048] ppid=11039 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11048/stat : 11048 (java) S 11039 11039 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 10545239 14316269568 48770 18446744073709551615 4194304 4196468 140729720692224 139935075759264 139936160188117 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17244160 140729720697300 140729720697475 140729720697475 140729720700879 0
[pid=11041/tid=11049] ppid=11039 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11049/stat : 11049 (java) S 11039 11039 5131 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 10545239 14316269568 48770 18446744073709551615 4194304 4196468 140729720692224 139935074706160 139936160188117 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17244160 140729720697300 140729720697475 140729720697475 140729720700879 0
[pid=11041/tid=11050] ppid=11039 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11050/stat : 11050 (java) S 11039 11039 5131 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 14 0 10545241 14316269568 48770 18446744073709551615 4194304 4196468 140729720692224 139935073654384 139936160188117 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17244160 140729720697300 140729720697475 140729720697475 140729720700879 0
[pid=11041/tid=11051] ppid=11039 vsize=13980732 CPUtime=1.6 cores=0,2,4,6
/proc/11041/task/11051/stat : 11051 (java) R 11039 11039 5131 0 -1 4202560 23309 0 0 0 157 3 0 0 20 0 14 0 10545241 14316269568 48770 18446744073709551615 4194304 4196468 140729720692224 139935072588600 139936145102856 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17244160 140729720697300 140729720697475 140729720697475 140729720700879 0
[pid=11041/tid=11052] ppid=11039 vsize=13980732 CPUtime=1.56 cores=0,2,4,6
/proc/11041/task/11052/stat : 11052 (java) S 11039 11039 5131 0 -1 1077944384 7495 0 0 0 155 1 0 0 20 0 14 0 10545241 14316269568 48770 18446744073709551615 4194304 4196468 140729720692224 139935071529360 139936160188117 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17244160 140729720697300 140729720697475 140729720697475 140729720700879 0
[pid=11041/tid=11053] ppid=11039 vsize=13980732 CPUtime=0.47 cores=0,2,4,6
/proc/11041/task/11053/stat : 11053 (java) S 11039 11039 5131 0 -1 1077944384 3131 0 0 0 47 0 0 0 20 0 14 0 10545241 14316269568 48770 18446744073709551615 4194304 4196468 140729720692224 139935070497264 139936160189058 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17244160 140729720697300 140729720697475 140729720697475 140729720700879 0
[pid=11041/tid=11054] ppid=11039 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11054/stat : 11054 (java) S 11039 11039 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 10545242 14316269568 48770 18446744073709551615 4194304 4196468 140729720692224 139935069444960 139936160188117 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17244160 140729720697300 140729720697475 140729720697475 140729720700879 0
Current children cumulated CPU time (s) 5.63
Current children cumulated vsize (KiB) 13990244
Child status: 0
Real time (s): 2.23422
CPU time (s): 5.66049
CPU user time (s): 5.54833
CPU system time (s): 0.112167
CPU usage (%): 253.355
Max. virtual memory (cumulated for all children) (KiB): 13994052
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.54833
system time used= 0.112167
maximum resident set size= 195452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44372
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2088
involuntary context switches= 16
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.018657 second user time and 0.011783 second system time
The end