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-4254989-1501623429/watcher-4254989-1501623429 -o /tmp/evaluation-result-4254989-1501623429/solver-4254989-1501623429 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501617129-10653 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 705206525 HOME/instance-4254989-1501623429.xml
pid=15399
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.95 1.87 1.82 3/201 15402
/proc/meminfo: memFree=31522156/32770624 swapFree=0/192092
[pid=15402] ppid=15399 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/15402/stat : 15402 (runsolver) D 15399 15402 5228 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 10158205 24240128 106 18446744073709551615 4194304 4338465 140735897114304 140735897111944 140396936827607 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 30011392 140735897120861 140735897121350 140735897121350 140735897124810 0
/proc/15402/statm: 5918 106 53 36 0 2156 0
[startup+0.100057 s]
/proc/loadavg: 1.95 1.87 1.82 3/201 15402
/proc/meminfo: memFree=31522156/32770624 swapFree=0/192092
[pid=15402] ppid=15399 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/15402/stat : 15402 (xcsp3-exec) S 15399 15402 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10158205 9740288 345 18446744073709551615 4194304 5098028 140727435498432 140727435496536 140154039804540 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 37453824 140727435506076 140727435506279 140727435506279 140727435509739 0
/proc/15402/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200262 s]
/proc/loadavg: 1.95 1.87 1.82 3/201 15402
/proc/meminfo: memFree=31522156/32770624 swapFree=0/192092
[pid=15402] ppid=15399 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/15402/stat : 15402 (xcsp3-exec) S 15399 15402 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10158205 9740288 345 18446744073709551615 4194304 5098028 140727435498432 140727435496536 140154039804540 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 37453824 140727435506076 140727435506279 140727435506279 140727435509739 0
/proc/15402/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300958 s]
/proc/loadavg: 1.95 1.87 1.82 3/201 15402
/proc/meminfo: memFree=31522156/32770624 swapFree=0/192092
[pid=15402] ppid=15399 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/15402/stat : 15402 (xcsp3-exec) S 15399 15402 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10158205 9740288 345 18446744073709551615 4194304 5098028 140727435498432 140727435496536 140154039804540 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 37453824 140727435506076 140727435506279 140727435506279 140727435509739 0
/proc/15402/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700875 s]
/proc/loadavg: 1.95 1.87 1.82 3/201 15402
/proc/meminfo: memFree=31522156/32770624 swapFree=0/192092
[pid=15402] ppid=15399 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/15402/stat : 15402 (xcsp3-exec) S 15399 15402 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10158205 9740288 345 18446744073709551615 4194304 5098028 140727435498432 140727435496536 140154039804540 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 37453824 140727435506076 140727435506279 140727435506279 140727435509739 0
/proc/15402/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50074 s]
/proc/loadavg: 1.95 1.87 1.82 5/217 15418
/proc/meminfo: memFree=31421360/32770624 swapFree=0/192100
[pid=15402] ppid=15399 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/15402/stat : 15402 (xcsp3-exec) S 15399 15402 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10158205 9740288 345 18446744073709551615 4194304 5098028 140727435498432 140727435496536 140154039804540 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 37453824 140727435506076 140727435506279 140727435506279 140727435509739 0
/proc/15402/statm: 2378 345 289 221 0 87 0
[pid=15404] ppid=15402 vsize=13980732 CPUtime=3.95 cores=1,3,5,7
/proc/15404/stat : 15404 (java) S 15402 15402 5228 0 -1 1077944320 26028 0 0 0 388 7 0 0 20 0 15 0 10158213 14316269568 35074 18446744073709551615 4194304 4196468 140725870357200 140725870339744 140609580982007 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
/proc/15404/statm: 3495183 35074 3182 1 0 3483484 0
[pid=15404/tid=15405] ppid=15402 vsize=13980732 CPUtime=1.35 cores=1,3,5,7
/proc/15404/task/15405/stat : 15405 (java) R 15402 15402 5228 0 -1 4202560 9538 0 0 0 131 4 0 0 20 0 15 0 10158214 14316269568 35074 18446744073709551615 4194304 4196468 140725870357200 140609585216432 140609198347961 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
[pid=15404/tid=15406] ppid=15402 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15404/task/15406/stat : 15406 (java) S 15402 15402 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10158214 14316269568 35074 18446744073709551615 4194304 4196468 140725870357200 140609515416208 140609580992213 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
[pid=15404/tid=15407] ppid=15402 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15404/task/15407/stat : 15407 (java) S 15402 15402 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10158214 14316269568 35074 18446744073709551615 4194304 4196468 140725870357200 140609514363408 140609580992213 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
[pid=15404/tid=15408] ppid=15402 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15404/task/15408/stat : 15408 (java) S 15402 15402 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10158214 14316269568 35074 18446744073709551615 4194304 4196468 140725870357200 140609513310608 140609580992213 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
[pid=15404/tid=15409] ppid=15402 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15404/task/15409/stat : 15409 (java) S 15402 15402 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10158214 14316269568 35074 18446744073709551615 4194304 4196468 140725870357200 140609177958672 140609580992213 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
[pid=15404/tid=15410] ppid=15402 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15404/task/15410/stat : 15410 (java) S 15402 15402 5228 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 10158216 14316269568 35074 18446744073709551615 4194304 4196468 140725870357200 140609059560304 140609580993154 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
[pid=15404/tid=15411] ppid=15402 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15404/task/15411/stat : 15411 (java) S 15402 15402 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10158216 14316269568 35074 18446744073709551615 4194304 4196468 140725870357200 140609058506272 140609580992213 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
[pid=15404/tid=15412] ppid=15402 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15404/task/15412/stat : 15412 (java) S 15402 15402 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10158216 14316269568 35074 18446744073709551615 4194304 4196468 140725870357200 140609057453424 140609580992213 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
[pid=15404/tid=15413] ppid=15402 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15404/task/15413/stat : 15413 (java) S 15402 15402 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10158219 14316269568 35074 18446744073709551615 4194304 4196468 140725870357200 140609056401744 140609581000603 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
[pid=15404/tid=15414] ppid=15402 vsize=13980732 CPUtime=1.01 cores=1,3,5,7
/proc/15404/task/15414/stat : 15414 (java) R 15402 15402 5228 0 -1 4202560 5082 0 0 0 101 0 0 0 20 0 15 0 10158219 14316269568 35074 18446744073709551615 4194304 4196468 140725870357200 140609055333616 140609560227850 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
[pid=15404/tid=15415] ppid=15402 vsize=13980732 CPUtime=1 cores=1,3,5,7
/proc/15404/task/15415/stat : 15415 (java) R 15402 15402 5228 0 -1 4202560 6036 0 0 0 100 0 0 0 20 0 15 0 10158219 14316269568 35074 18446744073709551615 4194304 4196468 140725870357200 140609054284656 140609562526968 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
[pid=15404/tid=15416] ppid=15402 vsize=13980732 CPUtime=0.56 cores=1,3,5,7
/proc/15404/task/15416/stat : 15416 (java) S 15402 15402 5228 0 -1 1077944384 4041 0 0 0 55 1 0 0 20 0 15 0 10158219 14316269568 35074 18446744073709551615 4194304 4196468 140725870357200 140609053243504 140609580993154 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
[pid=15404/tid=15417] ppid=15402 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15404/task/15417/stat : 15417 (java) S 15402 15402 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10158219 14316269568 35074 18446744073709551615 4194304 4196468 140725870357200 140609052190944 140609580992213 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
[pid=15404/tid=15418] ppid=15402 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15404/task/15418/stat : 15418 (java) S 15402 15402 5228 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 10158223 14316269568 35074 18446744073709551615 4194304 4196468 140725870357200 140609051139248 140609580993154 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
Current children cumulated CPU time (s) 3.95
Current children cumulated vsize (KiB) 13990244
[startup+3.10087 s]
/proc/loadavg: 1.95 1.87 1.82 3/217 15418
/proc/meminfo: memFree=31352108/32770624 swapFree=0/192100
[pid=15402] ppid=15399 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/15402/stat : 15402 (xcsp3-exec) S 15399 15402 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10158205 9740288 345 18446744073709551615 4194304 5098028 140727435498432 140727435496536 140154039804540 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 37453824 140727435506076 140727435506279 140727435506279 140727435509739 0
/proc/15402/statm: 2378 345 289 221 0 87 0
[pid=15404] ppid=15402 vsize=13980732 CPUtime=6.65 cores=1,3,5,7
/proc/15404/stat : 15404 (java) S 15402 15402 5228 0 -1 1077944320 28125 0 0 0 657 8 0 0 20 0 15 0 10158213 14316269568 45845 18446744073709551615 4194304 4196468 140725870357200 140725870339744 140609580982007 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
/proc/15404/statm: 3495183 45845 3190 1 0 3483484 0
[pid=15404/tid=15405] ppid=15402 vsize=13980732 CPUtime=2.95 cores=1,3,5,7
/proc/15404/task/15405/stat : 15405 (java) R 15402 15402 5228 0 -1 4202560 9695 0 0 0 290 5 0 0 20 0 15 0 10158214 14316269568 45845 18446744073709551615 4194304 4196468 140725870357200 140609585217584 140609198767456 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
[pid=15404/tid=15406] ppid=15402 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15404/task/15406/stat : 15406 (java) S 15402 15402 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10158214 14316269568 45845 18446744073709551615 4194304 4196468 140725870357200 140609515416208 140609580992213 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
[pid=15404/tid=15407] ppid=15402 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15404/task/15407/stat : 15407 (java) S 15402 15402 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10158214 14316269568 45845 18446744073709551615 4194304 4196468 140725870357200 140609514363408 140609580992213 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
[pid=15404/tid=15408] ppid=15402 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15404/task/15408/stat : 15408 (java) S 15402 15402 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10158214 14316269568 45845 18446744073709551615 4194304 4196468 140725870357200 140609513310608 140609580992213 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
[pid=15404/tid=15409] ppid=15402 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15404/task/15409/stat : 15409 (java) S 15402 15402 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10158214 14316269568 45845 18446744073709551615 4194304 4196468 140725870357200 140609177958672 140609580992213 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
[pid=15404/tid=15410] ppid=15402 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15404/task/15410/stat : 15410 (java) S 15402 15402 5228 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 10158216 14316269568 45845 18446744073709551615 4194304 4196468 140725870357200 140609059560304 140609580993154 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
[pid=15404/tid=15411] ppid=15402 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15404/task/15411/stat : 15411 (java) S 15402 15402 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10158216 14316269568 45845 18446744073709551615 4194304 4196468 140725870357200 140609058506272 140609580992213 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
[pid=15404/tid=15412] ppid=15402 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15404/task/15412/stat : 15412 (java) S 15402 15402 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10158216 14316269568 45845 18446744073709551615 4194304 4196468 140725870357200 140609057453424 140609580992213 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
[pid=15404/tid=15413] ppid=15402 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15404/task/15413/stat : 15413 (java) S 15402 15402 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10158219 14316269568 45845 18446744073709551615 4194304 4196468 140725870357200 140609056401744 140609581000603 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
[pid=15404/tid=15414] ppid=15402 vsize=13980732 CPUtime=1.51 cores=1,3,5,7
/proc/15404/task/15414/stat : 15414 (java) S 15402 15402 5228 0 -1 1077944384 5747 0 0 0 151 0 0 0 20 0 15 0 10158219 14316269568 45845 18446744073709551615 4194304 4196468 140725870357200 140609055349104 140609580993154 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
[pid=15404/tid=15415] ppid=15402 vsize=13980732 CPUtime=1.52 cores=1,3,5,7
/proc/15404/task/15415/stat : 15415 (java) R 15402 15402 5228 0 -1 4202560 6788 0 0 0 152 0 0 0 20 0 15 0 10158219 14316269568 45845 18446744073709551615 4194304 4196468 140725870357200 140609054296600 140609562504494 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
[pid=15404/tid=15416] ppid=15402 vsize=13980732 CPUtime=0.63 cores=1,3,5,7
/proc/15404/task/15416/stat : 15416 (java) S 15402 15402 5228 0 -1 1077944384 4539 0 0 0 62 1 0 0 20 0 15 0 10158219 14316269568 45845 18446744073709551615 4194304 4196468 140725870357200 140609053243504 140609580993154 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
[pid=15404/tid=15417] ppid=15402 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15404/task/15417/stat : 15417 (java) S 15402 15402 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10158219 14316269568 45845 18446744073709551615 4194304 4196468 140725870357200 140609052190944 140609580992213 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
[pid=15404/tid=15418] ppid=15402 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15404/task/15418/stat : 15418 (java) S 15402 15402 5228 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 10158223 14316269568 45845 18446744073709551615 4194304 4196468 140725870357200 140609051139248 140609580993154 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
Current children cumulated CPU time (s) 6.65
Current children cumulated vsize (KiB) 13990244
[startup+6.30067 s]
/proc/loadavg: 1.87 1.85 1.81 3/217 15418
/proc/meminfo: memFree=31341360/32770624 swapFree=0/192112
[pid=15402] ppid=15399 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/15402/stat : 15402 (xcsp3-exec) S 15399 15402 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10158205 9740288 345 18446744073709551615 4194304 5098028 140727435498432 140727435496536 140154039804540 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 37453824 140727435506076 140727435506279 140727435506279 140727435509739 0
/proc/15402/statm: 2378 345 289 221 0 87 0
[pid=15404] ppid=15402 vsize=13980732 CPUtime=10.23 cores=1,3,5,7
/proc/15404/stat : 15404 (java) S 15402 15402 5228 0 -1 1077944320 33227 0 0 0 1015 8 0 0 20 0 15 0 10158213 14316269568 48431 18446744073709551615 4194304 4196468 140725870357200 140725870339744 140609580982007 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
/proc/15404/statm: 3495183 48431 3194 1 0 3483484 0
[pid=15404/tid=15405] ppid=15402 vsize=13980732 CPUtime=6.15 cores=1,3,5,7
/proc/15404/task/15405/stat : 15405 (java) R 15402 15402 5228 0 -1 4202560 10608 0 0 0 610 5 0 0 20 0 15 0 10158214 14316269568 48431 18446744073709551615 4194304 4196468 140725870357200 140609585217536 140609199972610 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
[pid=15404/tid=15406] ppid=15402 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15404/task/15406/stat : 15406 (java) S 15402 15402 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10158214 14316269568 48431 18446744073709551615 4194304 4196468 140725870357200 140609515416208 140609580992213 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
[pid=15404/tid=15407] ppid=15402 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15404/task/15407/stat : 15407 (java) S 15402 15402 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10158214 14316269568 48431 18446744073709551615 4194304 4196468 140725870357200 140609514363408 140609580992213 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
[pid=15404/tid=15408] ppid=15402 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15404/task/15408/stat : 15408 (java) S 15402 15402 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10158214 14316269568 48431 18446744073709551615 4194304 4196468 140725870357200 140609513310608 140609580992213 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
[pid=15404/tid=15409] ppid=15402 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15404/task/15409/stat : 15409 (java) S 15402 15402 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10158214 14316269568 48431 18446744073709551615 4194304 4196468 140725870357200 140609177958672 140609580992213 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
[pid=15404/tid=15410] ppid=15402 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15404/task/15410/stat : 15410 (java) S 15402 15402 5228 0 -1 1077944384 278 0 0 0 0 0 0 0 20 0 15 0 10158216 14316269568 48431 18446744073709551615 4194304 4196468 140725870357200 140609059560304 140609580993154 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
[pid=15404/tid=15411] ppid=15402 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15404/task/15411/stat : 15411 (java) S 15402 15402 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10158216 14316269568 48431 18446744073709551615 4194304 4196468 140725870357200 140609058506272 140609580992213 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
[pid=15404/tid=15412] ppid=15402 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15404/task/15412/stat : 15412 (java) S 15402 15402 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10158216 14316269568 48431 18446744073709551615 4194304 4196468 140725870357200 140609057453424 140609580992213 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
[pid=15404/tid=15413] ppid=15402 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15404/task/15413/stat : 15413 (java) S 15402 15402 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10158219 14316269568 48431 18446744073709551615 4194304 4196468 140725870357200 140609056401744 140609581000603 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
[pid=15404/tid=15414] ppid=15402 vsize=13980732 CPUtime=1.66 cores=1,3,5,7
/proc/15404/task/15414/stat : 15414 (java) S 15402 15402 5228 0 -1 1077944384 7042 0 0 0 165 1 0 0 20 0 15 0 10158219 14316269568 48431 18446744073709551615 4194304 4196468 140725870357200 140609055349104 140609580993154 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
[pid=15404/tid=15415] ppid=15402 vsize=13980732 CPUtime=1.73 cores=1,3,5,7
/proc/15404/task/15415/stat : 15415 (java) S 15402 15402 5228 0 -1 1077944384 8570 0 0 0 173 0 0 0 20 0 15 0 10158219 14316269568 48431 18446744073709551615 4194304 4196468 140725870357200 140609054296304 140609580993154 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
[pid=15404/tid=15416] ppid=15402 vsize=13980732 CPUtime=0.66 cores=1,3,5,7
/proc/15404/task/15416/stat : 15416 (java) S 15402 15402 5228 0 -1 1077944384 5046 0 0 0 65 1 0 0 20 0 15 0 10158219 14316269568 48431 18446744073709551615 4194304 4196468 140725870357200 140609053243504 140609580993154 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
[pid=15404/tid=15417] ppid=15402 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15404/task/15417/stat : 15417 (java) S 15402 15402 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10158219 14316269568 48431 18446744073709551615 4194304 4196468 140725870357200 140609052190944 140609580992213 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
[pid=15404/tid=15418] ppid=15402 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15404/task/15418/stat : 15418 (java) S 15402 15402 5228 0 -1 1077944384 382 0 0 0 0 0 0 0 20 0 15 0 10158223 14316269568 48431 18446744073709551615 4194304 4196468 140725870357200 140609051139248 140609580993154 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
Current children cumulated CPU time (s) 10.23
Current children cumulated vsize (KiB) 13990244
[startup+12.7006 s]
/proc/loadavg: 1.80 1.84 1.81 7/217 15418
/proc/meminfo: memFree=31244888/32770624 swapFree=0/192120
[pid=15402] ppid=15399 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/15402/stat : 15402 (xcsp3-exec) S 15399 15402 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10158205 9740288 345 18446744073709551615 4194304 5098028 140727435498432 140727435496536 140154039804540 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 37453824 140727435506076 140727435506279 140727435506279 140727435509739 0
/proc/15402/statm: 2378 345 289 221 0 87 0
[pid=15404] ppid=15402 vsize=13980732 CPUtime=17.29 cores=1,3,5,7
/proc/15404/stat : 15404 (java) S 15402 15402 5228 0 -1 1077944320 40153 0 0 0 1716 13 0 0 20 0 15 0 10158213 14316269568 56833 18446744073709551615 4194304 4196468 140725870357200 140725870339744 140609580982007 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
/proc/15404/statm: 3495183 56833 3217 1 0 3483484 0
[pid=15404/tid=15405] ppid=15402 vsize=13980732 CPUtime=12.52 cores=1,3,5,7
/proc/15404/task/15405/stat : 15405 (java) R 15402 15402 5228 0 -1 4202560 11470 0 0 0 1247 5 0 0 20 0 15 0 10158214 14316269568 56833 18446744073709551615 4194304 4196468 140725870357200 140609585218000 140609198420966 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
[pid=15404/tid=15406] ppid=15402 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/15404/task/15406/stat : 15406 (java) S 15402 15402 5228 0 -1 1077944384 59 0 0 0 1 0 0 0 20 0 15 0 10158214 14316269568 56833 18446744073709551615 4194304 4196468 140725870357200 140609515416208 140609580992213 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
[pid=15404/tid=15407] ppid=15402 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/15404/task/15407/stat : 15407 (java) S 15402 15402 5228 0 -1 1077944384 62 0 0 0 1 0 0 0 20 0 15 0 10158214 14316269568 56833 18446744073709551615 4194304 4196468 140725870357200 140609514363408 140609580992213 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
################
# More data... #
################
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 15404 sig 9
??? kill 15402 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2008 s]
/proc/loadavg: 1.73 1.81 1.80 3/216 15419
/proc/meminfo: memFree=31053232/32770624 swapFree=0/192144
[pid=15402] ppid=15399 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/15402/stat : 15402 (xcsp3-exec) S 15399 15402 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10158205 9740288 345 18446744073709551615 4194304 5098028 140727435498432 140727435496536 140154039804540 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 37453824 140727435506076 140727435506279 140727435506279 140727435509739 0
/proc/15402/statm: 2378 345 289 221 0 87 0
[pid=15404] ppid=15402 vsize=13980732 CPUtime=58.6 cores=1,3,5,7
/proc/15404/stat : 15404 (java) S 15402 15402 5228 0 -1 1077944320 63170 0 0 0 5827 33 0 0 20 0 15 0 10158213 14316269568 98104 18446744073709551615 4194304 4196468 140725870357200 140725870339744 140609580982007 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
/proc/15404/statm: 3495183 98104 3234 1 0 3483484 0
[pid=15404/tid=15405] ppid=15402 vsize=13980732 CPUtime=50.86 cores=1,3,5,7
/proc/15404/task/15405/stat : 15405 (java) R 15402 15402 5228 0 -1 4202560 13555 0 0 0 5080 6 0 0 20 0 15 0 10158214 14316269568 98104 18446744073709551615 4194304 4196468 140725870357200 140609585221248 140609197168303 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
[pid=15404/tid=15406] ppid=15402 vsize=13980732 CPUtime=0.17 cores=1,3,5,7
/proc/15404/task/15406/stat : 15406 (java) S 15402 15402 5228 0 -1 1077944384 1474 0 0 0 12 5 0 0 20 0 15 0 10158214 14316269568 98104 18446744073709551615 4194304 4196468 140725870357200 140609515416208 140609580992213 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
[pid=15404/tid=15407] ppid=15402 vsize=13980732 CPUtime=0.16 cores=1,3,5,7
/proc/15404/task/15407/stat : 15407 (java) S 15402 15402 5228 0 -1 1077944384 1205 0 0 0 11 5 0 0 20 0 15 0 10158214 14316269568 98104 18446744073709551615 4194304 4196468 140725870357200 140609514363408 140609580992213 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
[pid=15404/tid=15408] ppid=15402 vsize=13980732 CPUtime=0.15 cores=1,3,5,7
/proc/15404/task/15408/stat : 15408 (java) S 15402 15402 5228 0 -1 1077944384 1319 0 0 0 11 4 0 0 20 0 15 0 10158214 14316269568 98104 18446744073709551615 4194304 4196468 140725870357200 140609513310608 140609580992213 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
[pid=15404/tid=15409] ppid=15402 vsize=13980732 CPUtime=0.16 cores=1,3,5,7
/proc/15404/task/15409/stat : 15409 (java) S 15402 15402 5228 0 -1 1077944384 499 0 0 0 12 4 0 0 20 0 15 0 10158214 14316269568 98104 18446744073709551615 4194304 4196468 140725870357200 140609177958672 140609580992213 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
[pid=15404/tid=15410] ppid=15402 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/15404/task/15410/stat : 15410 (java) S 15402 15402 5228 0 -1 1077944384 881 0 0 0 1 0 0 0 20 0 15 0 10158216 14316269568 98104 18446744073709551615 4194304 4196468 140725870357200 140609059560304 140609580993154 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
[pid=15404/tid=15411] ppid=15402 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15404/task/15411/stat : 15411 (java) S 15402 15402 5228 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 10158216 14316269568 98104 18446744073709551615 4194304 4196468 140725870357200 140609058506336 140609580992213 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
[pid=15404/tid=15412] ppid=15402 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15404/task/15412/stat : 15412 (java) S 15402 15402 5228 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 10158216 14316269568 98104 18446744073709551615 4194304 4196468 140725870357200 140609057453424 140609580992213 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
[pid=15404/tid=15413] ppid=15402 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15404/task/15413/stat : 15413 (java) S 15402 15402 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10158219 14316269568 98104 18446744073709551615 4194304 4196468 140725870357200 140609056401744 140609581000603 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
[pid=15404/tid=15414] ppid=15402 vsize=13980732 CPUtime=2.95 cores=1,3,5,7
/proc/15404/task/15414/stat : 15414 (java) S 15402 15402 5228 0 -1 1077944384 14950 0 0 0 293 2 0 0 20 0 15 0 10158219 14316269568 98104 18446744073709551615 4194304 4196468 140725870357200 140609055349104 140609580993154 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
[pid=15404/tid=15415] ppid=15402 vsize=13980732 CPUtime=3.29 cores=1,3,5,7
/proc/15404/task/15415/stat : 15415 (java) S 15402 15402 5228 0 -1 1077944384 19415 0 0 0 327 2 0 0 20 0 15 0 10158219 14316269568 98104 18446744073709551615 4194304 4196468 140725870357200 140609054296304 140609580993154 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
[pid=15404/tid=15416] ppid=15402 vsize=13980732 CPUtime=0.76 cores=1,3,5,7
/proc/15404/task/15416/stat : 15416 (java) S 15402 15402 5228 0 -1 1077944384 7636 0 0 0 75 1 0 0 20 0 15 0 10158219 14316269568 98104 18446744073709551615 4194304 4196468 140725870357200 140609053243504 140609580993154 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
[pid=15404/tid=15417] ppid=15402 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15404/task/15417/stat : 15417 (java) S 15402 15402 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10158219 14316269568 98104 18446744073709551615 4194304 4196468 140725870357200 140609052190944 140609580992213 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
[pid=15404/tid=15418] ppid=15402 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15404/task/15418/stat : 15418 (java) S 15402 15402 5228 0 -1 1077944384 867 0 0 0 0 0 0 0 20 0 15 0 10158223 14316269568 98104 18446744073709551615 4194304 4196468 140725870357200 140609051139248 140609580993154 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
Current children cumulated CPU time (s) 58.6
Current children cumulated vsize (KiB) 13990244
[startup+52.8007 s]
/proc/loadavg: 1.73 1.81 1.80 3/216 15419
/proc/meminfo: memFree=31046220/32770624 swapFree=0/192148
[pid=15402] ppid=15399 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/15402/stat : 15402 (xcsp3-exec) S 15399 15402 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10158205 9740288 345 18446744073709551615 4194304 5098028 140727435498432 140727435496536 140154039804540 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 37453824 140727435506076 140727435506279 140727435506279 140727435509739 0
/proc/15402/statm: 2378 345 289 221 0 87 0
[pid=15404] ppid=15402 vsize=13980732 CPUtime=60.61 cores=1,3,5,7
/proc/15404/stat : 15404 (java) S 15402 15402 5228 0 -1 1077944320 68611 0 0 0 6027 34 0 0 20 0 15 0 10158213 14316269568 98777 18446744073709551615 4194304 4196468 140725870357200 140725870339744 140609580982007 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
/proc/15404/statm: 3495183 98777 3234 1 0 3483484 0
[pid=15404/tid=15405] ppid=15402 vsize=13980732 CPUtime=52.46 cores=1,3,5,7
/proc/15404/task/15405/stat : 15405 (java) R 15402 15402 5228 0 -1 4202560 14008 0 0 0 5240 6 0 0 20 0 15 0 10158214 14316269568 98777 18446744073709551615 4194304 4196468 140725870357200 140609585218584 140609200122185 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
[pid=15404/tid=15406] ppid=15402 vsize=13980732 CPUtime=0.17 cores=1,3,5,7
/proc/15404/task/15406/stat : 15406 (java) S 15402 15402 5228 0 -1 1077944384 1474 0 0 0 12 5 0 0 20 0 15 0 10158214 14316269568 98777 18446744073709551615 4194304 4196468 140725870357200 140609515416208 140609580992213 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
[pid=15404/tid=15407] ppid=15402 vsize=13980732 CPUtime=0.16 cores=1,3,5,7
/proc/15404/task/15407/stat : 15407 (java) S 15402 15402 5228 0 -1 1077944384 1205 0 0 0 11 5 0 0 20 0 15 0 10158214 14316269568 98777 18446744073709551615 4194304 4196468 140725870357200 140609514363408 140609580992213 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
[pid=15404/tid=15408] ppid=15402 vsize=13980732 CPUtime=0.15 cores=1,3,5,7
/proc/15404/task/15408/stat : 15408 (java) S 15402 15402 5228 0 -1 1077944384 1319 0 0 0 11 4 0 0 20 0 15 0 10158214 14316269568 98777 18446744073709551615 4194304 4196468 140725870357200 140609513310608 140609580992213 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
[pid=15404/tid=15409] ppid=15402 vsize=13980732 CPUtime=0.16 cores=1,3,5,7
/proc/15404/task/15409/stat : 15409 (java) S 15402 15402 5228 0 -1 1077944384 499 0 0 0 12 4 0 0 20 0 15 0 10158214 14316269568 98777 18446744073709551615 4194304 4196468 140725870357200 140609177958672 140609580992213 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
[pid=15404/tid=15410] ppid=15402 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/15404/task/15410/stat : 15410 (java) S 15402 15402 5228 0 -1 1077944384 881 0 0 0 1 0 0 0 20 0 15 0 10158216 14316269568 98777 18446744073709551615 4194304 4196468 140725870357200 140609059560304 140609580993154 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
[pid=15404/tid=15411] ppid=15402 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15404/task/15411/stat : 15411 (java) S 15402 15402 5228 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 10158216 14316269568 98777 18446744073709551615 4194304 4196468 140725870357200 140609058506336 140609580992213 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
[pid=15404/tid=15412] ppid=15402 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15404/task/15412/stat : 15412 (java) S 15402 15402 5228 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 10158216 14316269568 98777 18446744073709551615 4194304 4196468 140725870357200 140609057453424 140609580992213 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
[pid=15404/tid=15413] ppid=15402 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15404/task/15413/stat : 15413 (java) S 15402 15402 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10158219 14316269568 98777 18446744073709551615 4194304 4196468 140725870357200 140609056401744 140609581000603 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
[pid=15404/tid=15414] ppid=15402 vsize=13980732 CPUtime=2.98 cores=1,3,5,7
/proc/15404/task/15414/stat : 15414 (java) S 15402 15402 5228 0 -1 1077944384 15696 0 0 0 296 2 0 0 20 0 15 0 10158219 14316269568 98777 18446744073709551615 4194304 4196468 140725870357200 140609055349104 140609580993154 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
[pid=15404/tid=15415] ppid=15402 vsize=13980732 CPUtime=3.65 cores=1,3,5,7
/proc/15404/task/15415/stat : 15415 (java) S 15402 15402 5228 0 -1 1077944384 23644 0 0 0 363 2 0 0 20 0 15 0 10158219 14316269568 98777 18446744073709551615 4194304 4196468 140725870357200 140609054296304 140609580993154 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
[pid=15404/tid=15416] ppid=15402 vsize=13980732 CPUtime=0.76 cores=1,3,5,7
/proc/15404/task/15416/stat : 15416 (java) S 15402 15402 5228 0 -1 1077944384 7642 0 0 0 75 1 0 0 20 0 15 0 10158219 14316269568 98777 18446744073709551615 4194304 4196468 140725870357200 140609053243504 140609580993154 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
[pid=15404/tid=15417] ppid=15402 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15404/task/15417/stat : 15417 (java) S 15402 15402 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10158219 14316269568 98777 18446744073709551615 4194304 4196468 140725870357200 140609052190944 140609580992213 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
[pid=15404/tid=15418] ppid=15402 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15404/task/15418/stat : 15418 (java) S 15402 15402 5228 0 -1 1077944384 874 0 0 0 0 0 0 0 20 0 15 0 10158223 14316269568 98777 18446744073709551615 4194304 4196468 140725870357200 140609051139248 140609580993154 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
Current children cumulated CPU time (s) 60.61
Current children cumulated vsize (KiB) 13990244
[startup+53.6007 s]
/proc/loadavg: 1.73 1.81 1.80 3/216 15419
/proc/meminfo: memFree=31046220/32770624 swapFree=0/192148
[pid=15402] ppid=15399 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/15402/stat : 15402 (xcsp3-exec) S 15399 15402 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10158205 9740288 345 18446744073709551615 4194304 5098028 140727435498432 140727435496536 140154039804540 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 37453824 140727435506076 140727435506279 140727435506279 140727435509739 0
/proc/15402/statm: 2378 345 289 221 0 87 0
[pid=15404] ppid=15402 vsize=13980732 CPUtime=61.45 cores=1,3,5,7
/proc/15404/stat : 15404 (java) S 15402 15402 5228 0 -1 1077944320 69244 0 0 0 6111 34 0 0 20 0 15 0 10158213 14316269568 98806 18446744073709551615 4194304 4196468 140725870357200 140725870339744 140609580982007 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
/proc/15404/statm: 3495183 98806 3234 1 0 3483484 0
[pid=15404/tid=15405] ppid=15402 vsize=13980732 CPUtime=53.26 cores=1,3,5,7
/proc/15404/task/15405/stat : 15405 (java) R 15402 15402 5228 0 -1 4202560 14189 0 0 0 5320 6 0 0 20 0 15 0 10158214 14316269568 98806 18446744073709551615 4194304 4196468 140725870357200 140609585218512 140609197970629 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
[pid=15404/tid=15406] ppid=15402 vsize=13980732 CPUtime=0.17 cores=1,3,5,7
/proc/15404/task/15406/stat : 15406 (java) S 15402 15402 5228 0 -1 1077944384 1474 0 0 0 12 5 0 0 20 0 15 0 10158214 14316269568 98806 18446744073709551615 4194304 4196468 140725870357200 140609515416208 140609580992213 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
[pid=15404/tid=15407] ppid=15402 vsize=13980732 CPUtime=0.16 cores=1,3,5,7
/proc/15404/task/15407/stat : 15407 (java) S 15402 15402 5228 0 -1 1077944384 1205 0 0 0 11 5 0 0 20 0 15 0 10158214 14316269568 98806 18446744073709551615 4194304 4196468 140725870357200 140609514363408 140609580992213 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
[pid=15404/tid=15408] ppid=15402 vsize=13980732 CPUtime=0.15 cores=1,3,5,7
/proc/15404/task/15408/stat : 15408 (java) S 15402 15402 5228 0 -1 1077944384 1319 0 0 0 11 4 0 0 20 0 15 0 10158214 14316269568 98806 18446744073709551615 4194304 4196468 140725870357200 140609513310608 140609580992213 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
[pid=15404/tid=15409] ppid=15402 vsize=13980732 CPUtime=0.16 cores=1,3,5,7
/proc/15404/task/15409/stat : 15409 (java) S 15402 15402 5228 0 -1 1077944384 499 0 0 0 12 4 0 0 20 0 15 0 10158214 14316269568 98806 18446744073709551615 4194304 4196468 140725870357200 140609177958672 140609580992213 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
[pid=15404/tid=15410] ppid=15402 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/15404/task/15410/stat : 15410 (java) S 15402 15402 5228 0 -1 1077944384 915 0 0 0 1 0 0 0 20 0 15 0 10158216 14316269568 98806 18446744073709551615 4194304 4196468 140725870357200 140609059560304 140609580993154 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
[pid=15404/tid=15411] ppid=15402 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15404/task/15411/stat : 15411 (java) S 15402 15402 5228 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 10158216 14316269568 98806 18446744073709551615 4194304 4196468 140725870357200 140609058506336 140609580992213 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
[pid=15404/tid=15412] ppid=15402 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15404/task/15412/stat : 15412 (java) S 15402 15402 5228 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 10158216 14316269568 98806 18446744073709551615 4194304 4196468 140725870357200 140609057453424 140609580992213 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
[pid=15404/tid=15413] ppid=15402 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15404/task/15413/stat : 15413 (java) S 15402 15402 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10158219 14316269568 98806 18446744073709551615 4194304 4196468 140725870357200 140609056401744 140609581000603 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
[pid=15404/tid=15414] ppid=15402 vsize=13980732 CPUtime=3.02 cores=1,3,5,7
/proc/15404/task/15414/stat : 15414 (java) S 15402 15402 5228 0 -1 1077944384 16067 0 0 0 300 2 0 0 20 0 15 0 10158219 14316269568 98806 18446744073709551615 4194304 4196468 140725870357200 140609055349104 140609580993154 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
[pid=15404/tid=15415] ppid=15402 vsize=13980732 CPUtime=3.65 cores=1,3,5,7
/proc/15404/task/15415/stat : 15415 (java) S 15402 15402 5228 0 -1 1077944384 23691 0 0 0 363 2 0 0 20 0 15 0 10158219 14316269568 98806 18446744073709551615 4194304 4196468 140725870357200 140609054296304 140609580993154 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
[pid=15404/tid=15416] ppid=15402 vsize=13980732 CPUtime=0.76 cores=1,3,5,7
/proc/15404/task/15416/stat : 15416 (java) S 15402 15402 5228 0 -1 1077944384 7642 0 0 0 75 1 0 0 20 0 15 0 10158219 14316269568 98806 18446744073709551615 4194304 4196468 140725870357200 140609053243504 140609580993154 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
[pid=15404/tid=15417] ppid=15402 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15404/task/15417/stat : 15417 (java) S 15402 15402 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10158219 14316269568 98806 18446744073709551615 4194304 4196468 140725870357200 140609052190944 140609580992213 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
[pid=15404/tid=15418] ppid=15402 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15404/task/15418/stat : 15418 (java) S 15402 15402 5228 0 -1 1077944384 874 0 0 0 0 0 0 0 20 0 15 0 10158223 14316269568 98806 18446744073709551615 4194304 4196468 140725870357200 140609051139248 140609580993154 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
Current children cumulated CPU time (s) 61.45
Current children cumulated vsize (KiB) 13990244
[startup+53.8009 s]
/proc/loadavg: 1.73 1.81 1.80 3/216 15419
/proc/meminfo: memFree=31046220/32770624 swapFree=0/192148
[pid=15402] ppid=15399 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/15402/stat : 15402 (xcsp3-exec) S 15399 15402 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10158205 9740288 345 18446744073709551615 4194304 5098028 140727435498432 140727435496536 140154039804540 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 37453824 140727435506076 140727435506279 140727435506279 140727435509739 0
/proc/15402/statm: 2378 345 289 221 0 87 0
[pid=15404] ppid=15402 vsize=13980732 CPUtime=61.69 cores=1,3,5,7
/proc/15404/stat : 15404 (java) S 15402 15402 5228 0 -1 1077944320 69896 0 0 0 6135 34 0 0 20 0 15 0 10158213 14316269568 99023 18446744073709551615 4194304 4196468 140725870357200 140725870339744 140609580982007 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
/proc/15404/statm: 3495183 99023 3234 1 0 3483484 0
[pid=15404/tid=15405] ppid=15402 vsize=13980732 CPUtime=53.44 cores=1,3,5,7
/proc/15404/task/15405/stat : 15405 (java) R 15402 15402 5228 0 -1 4202560 14205 0 0 0 5338 6 0 0 20 0 15 0 10158214 14316269568 99023 18446744073709551615 4194304 4196468 140725870357200 140609585221184 140609198347904 0 4 1 16800974 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
[pid=15404/tid=15406] ppid=15402 vsize=13980732 CPUtime=0.18 cores=1,3,5,7
/proc/15404/task/15406/stat : 15406 (java) S 15402 15402 5228 0 -1 1077944384 1553 0 0 0 13 5 0 0 20 0 15 0 10158214 14316269568 99023 18446744073709551615 4194304 4196468 140725870357200 140609515416208 140609580992213 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
[pid=15404/tid=15407] ppid=15402 vsize=13980732 CPUtime=0.17 cores=1,3,5,7
/proc/15404/task/15407/stat : 15407 (java) S 15402 15402 5228 0 -1 1077944384 1283 0 0 0 12 5 0 0 20 0 15 0 10158214 14316269568 99023 18446744073709551615 4194304 4196468 140725870357200 140609514363408 140609580992213 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
[pid=15404/tid=15408] ppid=15402 vsize=13980732 CPUtime=0.17 cores=1,3,5,7
/proc/15404/task/15408/stat : 15408 (java) S 15402 15402 5228 0 -1 1077944384 1445 0 0 0 13 4 0 0 20 0 15 0 10158214 14316269568 99023 18446744073709551615 4194304 4196468 140725870357200 140609513310608 140609580992213 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
[pid=15404/tid=15409] ppid=15402 vsize=13980732 CPUtime=0.18 cores=1,3,5,7
/proc/15404/task/15409/stat : 15409 (java) S 15402 15402 5228 0 -1 1077944384 696 0 0 0 13 5 0 0 20 0 15 0 10158214 14316269568 99023 18446744073709551615 4194304 4196468 140725870357200 140609177958672 140609580992213 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
[pid=15404/tid=15410] ppid=15402 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/15404/task/15410/stat : 15410 (java) S 15402 15402 5228 0 -1 1077944384 1071 0 0 0 1 0 0 0 20 0 15 0 10158216 14316269568 99023 18446744073709551615 4194304 4196468 140725870357200 140609059560304 140609580993154 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
[pid=15404/tid=15411] ppid=15402 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15404/task/15411/stat : 15411 (java) S 15402 15402 5228 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 10158216 14316269568 99023 18446744073709551615 4194304 4196468 140725870357200 140609058506336 140609580992213 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
[pid=15404/tid=15412] ppid=15402 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15404/task/15412/stat : 15412 (java) S 15402 15402 5228 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 10158216 14316269568 99023 18446744073709551615 4194304 4196468 140725870357200 140609057453424 140609580992213 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
[pid=15404/tid=15413] ppid=15402 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15404/task/15413/stat : 15413 (java) S 15402 15402 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10158219 14316269568 99023 18446744073709551615 4194304 4196468 140725870357200 140609056401744 140609581000603 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
[pid=15404/tid=15414] ppid=15402 vsize=13980732 CPUtime=3.02 cores=1,3,5,7
/proc/15404/task/15414/stat : 15414 (java) S 15402 15402 5228 0 -1 1077944384 16067 0 0 0 300 2 0 0 20 0 15 0 10158219 14316269568 99023 18446744073709551615 4194304 4196468 140725870357200 140609055349104 140609580993154 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
[pid=15404/tid=15415] ppid=15402 vsize=13980732 CPUtime=3.65 cores=1,3,5,7
/proc/15404/task/15415/stat : 15415 (java) S 15402 15402 5228 0 -1 1077944384 23691 0 0 0 363 2 0 0 20 0 15 0 10158219 14316269568 99023 18446744073709551615 4194304 4196468 140725870357200 140609054296304 140609580993154 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
[pid=15404/tid=15416] ppid=15402 vsize=13980732 CPUtime=0.76 cores=1,3,5,7
/proc/15404/task/15416/stat : 15416 (java) S 15402 15402 5228 0 -1 1077944384 7642 0 0 0 75 1 0 0 20 0 15 0 10158219 14316269568 99023 18446744073709551615 4194304 4196468 140725870357200 140609053243504 140609580993154 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
[pid=15404/tid=15417] ppid=15402 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15404/task/15417/stat : 15417 (java) S 15402 15402 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10158219 14316269568 99023 18446744073709551615 4194304 4196468 140725870357200 140609052190944 140609580992213 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
[pid=15404/tid=15418] ppid=15402 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/15404/task/15418/stat : 15418 (java) S 15402 15402 5228 0 -1 1077944384 874 0 0 0 0 0 0 0 20 0 15 0 10158223 14316269568 99023 18446744073709551615 4194304 4196468 140725870357200 140609051139248 140609580993154 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22392832 140725870358996 140725870359171 140725870359171 140725870362575 0
Current children cumulated CPU time (s) 61.69
Current children cumulated vsize (KiB) 13990244
Child status: 0
Real time (s): 53.8356
CPU time (s): 61.732
CPU user time (s): 61.376
CPU system time (s): 0.355964
CPU usage (%): 114.668
Max. virtual memory (cumulated for all children) (KiB): 13991940
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 61.376
system time used= 0.355964
maximum resident set size= 397632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71076
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= 4351
involuntary context switches= 102
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.241685 second user time and 0.339372 second system time
The end