2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
Concrete 3.4	SAT	63.493099	52.027401
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-4262681-1502455281/watcher-4262681-1502455281 -o /tmp/evaluation-result-4262681-1502455281/solver-4262681-1502455281 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502411443-13071 --watchdog 2580 bin/concrete HOME/instance-4262681-1502455281.xml 

pid=23949
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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.18 1.34 1.44 3/198 23952
/proc/meminfo: memFree=29911700/32770624 swapFree=0/464456
[pid=23952] ppid=23949 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/23952/stat : 23952 (runsolver) D 23949 23952 13007 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 87439353 24240128 107 18446744073709551615 4194304 4338465 140731113521856 140731113519496 139849691325143 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 34045952 140731113525456 140731113525833 140731113525833 140731113529290 0
/proc/23952/statm: 5918 107 54 36 0 2156 0

[startup+0.104755 s]
/proc/loadavg: 1.18 1.34 1.44 3/198 23952
/proc/meminfo: memFree=29911700/32770624 swapFree=0/464456
[pid=23952] ppid=23949 vsize=9636 CPUtime=0.01 cores=0,2,4,6
/proc/23952/stat : 23952 (bash) S 23949 23952 13007 0 -1 4202496 893 6487 0 0 0 0 0 1 20 0 1 0 87439353 9867264 377 18446744073709551615 4194304 5098028 140726537009632 140726537003640 140698066086912 0 0 5 65536 18446744071580971376 0 0 17 4 0 0 6 0 0 7196144 7232144 25710592 140726537015828 140726537015913 140726537015913 140726537019370 0
/proc/23952/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.206735 s]
/proc/loadavg: 1.18 1.34 1.44 3/198 23952
/proc/meminfo: memFree=29911700/32770624 swapFree=0/464456
[pid=23952] ppid=23949 vsize=13358716 CPUtime=0.09 cores=0,2,4,6
/proc/23952/stat : 23952 (java) S 23949 23952 13007 0 -1 1077944320 4467 12418 0 0 1 0 5 3 20 0 6 0 87439353 13679325184 3792 18446744073709551615 4194304 4196468 140730234857760 140730234840304 139924183273207 0 0 1 16784584 18446744073709551615 0 0 17 2 0 0 6 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
/proc/23952/statm: 3339679 3792 1925 1 0 3329176 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13358716

[startup+0.300225 s]
/proc/loadavg: 1.18 1.34 1.44 3/198 23952
/proc/meminfo: memFree=29911700/32770624 swapFree=0/464456
[pid=23952] ppid=23949 vsize=13974356 CPUtime=0.17 cores=0,2,4,6
/proc/23952/stat : 23952 (java) S 23949 23952 13007 0 -1 1077944320 6354 12418 0 0 8 1 5 3 20 0 15 0 87439353 14309740544 6998 18446744073709551615 4194304 4196468 140730234857760 140730234840304 139924183273207 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 6 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
/proc/23952/statm: 3493589 6998 2833 1 0 3482965 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 13974356

[startup+0.700324 s]
/proc/loadavg: 1.18 1.34 1.44 3/198 23952
/proc/meminfo: memFree=29911700/32770624 swapFree=0/464456
[pid=23952] ppid=23949 vsize=13974784 CPUtime=0.72 cores=0,2,4,6
/proc/23952/stat : 23952 (java) S 23949 23952 13007 0 -1 1077944320 14035 12418 0 0 60 4 5 3 20 0 15 0 87439353 14310178816 15007 18446744073709551615 4194304 4196468 140730234857760 140730234840304 139924183273207 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 6 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
/proc/23952/statm: 3493696 15007 3119 1 0 3482965 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 13974784

[startup+1.5032 s]
/proc/loadavg: 1.18 1.34 1.44 4/213 24015
/proc/meminfo: memFree=29816224/32770624 swapFree=0/464736
[pid=23952] ppid=23949 vsize=13985408 CPUtime=2 cores=0,2,4,6
/proc/23952/stat : 23952 (java) S 23949 23952 13007 0 -1 1077944320 30495 12418 0 0 179 13 5 3 20 0 15 0 87439353 14321057792 42881 18446744073709551615 4194304 4196468 140730234857760 140730234840304 139924183273207 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 6 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
/proc/23952/statm: 3496352 42881 3370 1 0 3485525 0
[pid=23952/tid=24002] ppid=23949 vsize=13985408 CPUtime=1.31 cores=0,2,4,6
/proc/23952/task/24002/stat : 24002 (java) R 23949 23952 13007 0 -1 4202560 22448 12418 0 0 115 8 5 3 20 0 15 0 87439372 14321057792 42881 18446744073709551615 4194304 4196468 140730234857760 139924187500912 139924167353694 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24003] ppid=23949 vsize=13985408 CPUtime=0.09 cores=0,2,4,6
/proc/23952/task/24003/stat : 24003 (java) S 23949 23952 13007 0 -1 1077944384 47 12418 0 0 1 0 5 3 20 0 15 0 87439373 14321057792 42881 18446744073709551615 4194304 4196468 140730234857760 139924140240016 139924183283413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24004] ppid=23949 vsize=13985408 CPUtime=0.09 cores=0,2,4,6
/proc/23952/task/24004/stat : 24004 (java) S 23949 23952 13007 0 -1 1077944384 200 12418 0 0 1 0 5 3 20 0 15 0 87439373 14321057792 42881 18446744073709551615 4194304 4196468 140730234857760 139924139187216 139924183283413 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24005] ppid=23949 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/23952/task/24005/stat : 24005 (java) S 23949 23952 13007 0 -1 1077944384 52 12418 0 0 0 0 5 3 20 0 15 0 87439373 14321057792 42881 18446744073709551615 4194304 4196468 140730234857760 139924138134416 139924183283413 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24006] ppid=23949 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/23952/task/24006/stat : 24006 (java) S 23949 23952 13007 0 -1 1077944384 64 12418 0 0 0 0 5 3 20 0 15 0 87439373 14321057792 42881 18446744073709551615 4194304 4196468 140730234857760 139924137081616 139924183283413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24007] ppid=23949 vsize=13985408 CPUtime=0.09 cores=0,2,4,6
/proc/23952/task/24007/stat : 24007 (java) S 23949 23952 13007 0 -1 1077944384 1740 12418 0 0 1 0 5 3 20 0 15 0 87439374 14321057792 42881 18446744073709551615 4194304 4196468 140730234857760 139923728914800 139924183284354 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24008] ppid=23949 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/23952/task/24008/stat : 24008 (java) S 23949 23952 13007 0 -1 1077944384 56 12418 0 0 0 0 5 3 20 0 15 0 87439374 14321057792 42881 18446744073709551615 4194304 4196468 140730234857760 139923727860768 139924183283413 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24009] ppid=23949 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/23952/task/24009/stat : 24009 (java) S 23949 23952 13007 0 -1 1077944384 46 12418 0 0 0 0 5 3 20 0 15 0 87439375 14321057792 42881 18446744073709551615 4194304 4196468 140730234857760 139923659152784 139924183283413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24010] ppid=23949 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/23952/task/24010/stat : 24010 (java) S 23949 23952 13007 0 -1 1077944384 3 12418 0 0 0 0 5 3 20 0 15 0 87439377 14321057792 42881 18446744073709551615 4194304 4196468 140730234857760 139923658102608 139924183291803 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24011] ppid=23949 vsize=13985408 CPUtime=0.24 cores=0,2,4,6
/proc/23952/task/24011/stat : 24011 (java) S 23949 23952 13007 0 -1 1077944384 1041 12418 0 0 16 0 5 3 20 0 15 0 87439377 14321057792 42881 18446744073709551615 4194304 4196468 140730234857760 139923657050992 139924183284354 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24012] ppid=23949 vsize=13985408 CPUtime=0.25 cores=0,2,4,6
/proc/23952/task/24012/stat : 24012 (java) R 23949 23952 13007 0 -1 1077944384 1293 12418 0 0 17 0 5 3 20 0 15 0 87439377 14321057792 42881 18446744073709551615 4194304 4196468 140730234857760 139923655998288 139924183283413 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24013] ppid=23949 vsize=13985408 CPUtime=0.31 cores=0,2,4,6
/proc/23952/task/24013/stat : 24013 (java) R 23949 23952 13007 0 -1 4202560 1342 12418 0 0 23 0 5 3 20 0 15 0 87439377 14321057792 42881 18446744073709551615 4194304 4196468 140730234857760 139923654944576 139924176370043 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24014] ppid=23949 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/23952/task/24014/stat : 24014 (java) S 23949 23952 13007 0 -1 1077944384 3 12418 0 0 0 0 5 3 20 0 15 0 87439377 14321057792 42881 18446744073709551615 4194304 4196468 140730234857760 139923653892832 139924183283413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24015] ppid=23949 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/23952/task/24015/stat : 24015 (java) S 23949 23952 13007 0 -1 1077944384 9 12418 0 0 0 0 5 3 20 0 15 0 87439381 14321057792 42881 18446744073709551615 4194304 4196468 140730234857760 139923652840112 139924183284354 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
Current children cumulated CPU time (s) 2
Current children cumulated vsize (KiB) 13985408

[startup+3.10056 s]
/proc/loadavg: 1.25 1.35 1.44 4/213 24015
/proc/meminfo: memFree=29741896/32770624 swapFree=0/464732
[pid=23952] ppid=23949 vsize=13997884 CPUtime=5.24 cores=0,2,4,6
/proc/23952/stat : 23952 (java) S 23949 23952 13007 0 -1 1077944320 48561 12418 0 0 498 18 5 3 20 0 15 0 87439353 14333833216 53950 18446744073709551615 4194304 4196468 140730234857760 140730234840304 139924183273207 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 6 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
/proc/23952/statm: 3499471 53950 3445 1 0 3488085 0
[pid=23952/tid=24002] ppid=23949 vsize=13997884 CPUtime=2.9 cores=0,2,4,6
/proc/23952/task/24002/stat : 24002 (java) R 23949 23952 13007 0 -1 4202560 36052 12418 0 0 272 10 5 3 20 0 15 0 87439372 14333833216 53950 18446744073709551615 4194304 4196468 140730234857760 139924187504448 139924183285142 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24003] ppid=23949 vsize=13997884 CPUtime=0.09 cores=0,2,4,6
/proc/23952/task/24003/stat : 24003 (java) S 23949 23952 13007 0 -1 1077944384 47 12418 0 0 1 0 5 3 20 0 15 0 87439373 14333833216 53950 18446744073709551615 4194304 4196468 140730234857760 139924140240016 139924183283413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24004] ppid=23949 vsize=13997884 CPUtime=0.09 cores=0,2,4,6
/proc/23952/task/24004/stat : 24004 (java) S 23949 23952 13007 0 -1 1077944384 200 12418 0 0 1 0 5 3 20 0 15 0 87439373 14333833216 53950 18446744073709551615 4194304 4196468 140730234857760 139924139187216 139924183283413 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24005] ppid=23949 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/23952/task/24005/stat : 24005 (java) S 23949 23952 13007 0 -1 1077944384 52 12418 0 0 0 0 5 3 20 0 15 0 87439373 14333833216 53950 18446744073709551615 4194304 4196468 140730234857760 139924138134416 139924183283413 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24006] ppid=23949 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/23952/task/24006/stat : 24006 (java) S 23949 23952 13007 0 -1 1077944384 64 12418 0 0 0 0 5 3 20 0 15 0 87439373 14333833216 53950 18446744073709551615 4194304 4196468 140730234857760 139924137081616 139924183283413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24007] ppid=23949 vsize=13997884 CPUtime=0.09 cores=0,2,4,6
/proc/23952/task/24007/stat : 24007 (java) S 23949 23952 13007 0 -1 1077944384 1756 12418 0 0 1 0 5 3 20 0 15 0 87439374 14333833216 53950 18446744073709551615 4194304 4196468 140730234857760 139923728914800 139924183284354 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24008] ppid=23949 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/23952/task/24008/stat : 24008 (java) S 23949 23952 13007 0 -1 1077944384 56 12418 0 0 0 0 5 3 20 0 15 0 87439374 14333833216 53950 18446744073709551615 4194304 4196468 140730234857760 139923727860768 139924183283413 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24009] ppid=23949 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/23952/task/24009/stat : 24009 (java) S 23949 23952 13007 0 -1 1077944384 46 12418 0 0 0 0 5 3 20 0 15 0 87439375 14333833216 53950 18446744073709551615 4194304 4196468 140730234857760 139923659154304 139924183283413 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24010] ppid=23949 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/23952/task/24010/stat : 24010 (java) S 23949 23952 13007 0 -1 1077944384 3 12418 0 0 0 0 5 3 20 0 15 0 87439377 14333833216 53950 18446744073709551615 4194304 4196468 140730234857760 139923658102608 139924183291803 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24011] ppid=23949 vsize=13997884 CPUtime=0.71 cores=0,2,4,6
/proc/23952/task/24011/stat : 24011 (java) S 23949 23952 13007 0 -1 1077944384 2380 12418 0 0 63 0 5 3 20 0 15 0 87439377 14333833216 53950 18446744073709551615 4194304 4196468 140730234857760 139923657050992 139924183284354 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24012] ppid=23949 vsize=13997884 CPUtime=0.73 cores=0,2,4,6
/proc/23952/task/24012/stat : 24012 (java) S 23949 23952 13007 0 -1 1077944384 2437 12418 0 0 63 2 5 3 20 0 15 0 87439377 14333833216 53950 18446744073709551615 4194304 4196468 140730234857760 139923655998192 139924183284354 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24013] ppid=23949 vsize=13997884 CPUtime=1.01 cores=0,2,4,6
/proc/23952/task/24013/stat : 24013 (java) S 23949 23952 13007 0 -1 1077944384 3303 12418 0 0 92 1 5 3 20 0 15 0 87439377 14333833216 53950 18446744073709551615 4194304 4196468 140730234857760 139923654945392 139924183284354 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24014] ppid=23949 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/23952/task/24014/stat : 24014 (java) S 23949 23952 13007 0 -1 1077944384 3 12418 0 0 0 0 5 3 20 0 15 0 87439377 14333833216 53950 18446744073709551615 4194304 4196468 140730234857760 139923653892832 139924183283413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24015] ppid=23949 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/23952/task/24015/stat : 24015 (java) S 23949 23952 13007 0 -1 1077944384 10 12418 0 0 0 0 5 3 20 0 15 0 87439381 14333833216 53950 18446744073709551615 4194304 4196468 140730234857760 139923652840112 139924183284354 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
Current children cumulated CPU time (s) 5.24
Current children cumulated vsize (KiB) 13997884

[startup+6.30072 s]
/proc/loadavg: 1.25 1.35 1.44 3/213 24016
/proc/meminfo: memFree=29448156/32770624 swapFree=0/464732
[pid=23952] ppid=23949 vsize=13999932 CPUtime=11.74 cores=0,2,4,6
/proc/23952/stat : 23952 (java) S 23949 23952 13007 0 -1 1077944320 54511 12418 0 0 1135 31 5 3 20 0 15 0 87439353 14335930368 159372 18446744073709551615 4194304 4196468 140730234857760 140730234840304 139924183273207 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 6 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
/proc/23952/statm: 3499983 159372 3467 1 0 3488597 0
[pid=23952/tid=24002] ppid=23949 vsize=13999932 CPUtime=6.03 cores=0,2,4,6
/proc/23952/task/24002/stat : 24002 (java) R 23949 23952 13007 0 -1 4202560 38101 12418 0 0 578 17 5 3 20 0 15 0 87439372 14335930368 159372 18446744073709551615 4194304 4196468 140730234857760 139924187505824 139923822294655 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24003] ppid=23949 vsize=13999932 CPUtime=0.13 cores=0,2,4,6
/proc/23952/task/24003/stat : 24003 (java) S 23949 23952 13007 0 -1 1077944384 88 12418 0 0 4 1 5 3 20 0 15 0 87439373 14335930368 159372 18446744073709551615 4194304 4196468 140730234857760 139924140240016 139924183283413 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24004] ppid=23949 vsize=13999932 CPUtime=0.13 cores=0,2,4,6
/proc/23952/task/24004/stat : 24004 (java) S 23949 23952 13007 0 -1 1077944384 225 12418 0 0 4 1 5 3 20 0 15 0 87439373 14335930368 159372 18446744073709551615 4194304 4196468 140730234857760 139924139187216 139924183283413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24005] ppid=23949 vsize=13999932 CPUtime=0.13 cores=0,2,4,6
/proc/23952/task/24005/stat : 24005 (java) S 23949 23952 13007 0 -1 1077944384 82 12418 0 0 4 1 5 3 20 0 15 0 87439373 14335930368 159372 18446744073709551615 4194304 4196468 140730234857760 139924138134416 139924183283413 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24006] ppid=23949 vsize=13999932 CPUtime=0.13 cores=0,2,4,6
/proc/23952/task/24006/stat : 24006 (java) S 23949 23952 13007 0 -1 1077944384 150 12418 0 0 4 1 5 3 20 0 15 0 87439373 14335930368 159372 18446744073709551615 4194304 4196468 140730234857760 139924137081616 139924183283413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24007] ppid=23949 vsize=13999932 CPUtime=0.1 cores=0,2,4,6
/proc/23952/task/24007/stat : 24007 (java) S 23949 23952 13007 0 -1 1077944384 2089 12418 0 0 2 0 5 3 20 0 15 0 87439374 14335930368 159372 18446744073709551615 4194304 4196468 140730234857760 139923728914800 139924183284354 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24008] ppid=23949 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/23952/task/24008/stat : 24008 (java) S 23949 23952 13007 0 -1 1077944384 56 12418 0 0 0 0 5 3 20 0 15 0 87439374 14335930368 159372 18446744073709551615 4194304 4196468 140730234857760 139923727860832 139924183283413 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24009] ppid=23949 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/23952/task/24009/stat : 24009 (java) S 23949 23952 13007 0 -1 1077944384 46 12418 0 0 0 0 5 3 20 0 15 0 87439375 14335930368 159372 18446744073709551615 4194304 4196468 140730234857760 139923659154304 139924183283413 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24010] ppid=23949 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/23952/task/24010/stat : 24010 (java) S 23949 23952 13007 0 -1 1077944384 3 12418 0 0 0 0 5 3 20 0 15 0 87439377 14335930368 159372 18446744073709551615 4194304 4196468 140730234857760 139923658102608 139924183291803 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24011] ppid=23949 vsize=13999932 CPUtime=2.09 cores=0,2,4,6
/proc/23952/task/24011/stat : 24011 (java) S 23949 23952 13007 0 -1 1077944384 3441 12418 0 0 200 1 5 3 20 0 15 0 87439377 14335930368 159372 18446744073709551615 4194304 4196468 140730234857760 139923657050992 139924183284354 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24012] ppid=23949 vsize=13999932 CPUtime=2.2 cores=0,2,4,6
/proc/23952/task/24012/stat : 24012 (java) S 23949 23952 13007 0 -1 1077944384 3430 12418 0 0 210 2 5 3 20 0 15 0 87439377 14335930368 159372 18446744073709551615 4194304 4196468 140730234857760 139923655998192 139924183284354 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24013] ppid=23949 vsize=13999932 CPUtime=1.35 cores=0,2,4,6
/proc/23952/task/24013/stat : 24013 (java) S 23949 23952 13007 0 -1 1077944384 4634 12418 0 0 124 3 5 3 20 0 15 0 87439377 14335930368 159372 18446744073709551615 4194304 4196468 140730234857760 139923654945392 139924183284354 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24014] ppid=23949 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/23952/task/24014/stat : 24014 (java) S 23949 23952 13007 0 -1 1077944384 3 12418 0 0 0 0 5 3 20 0 15 0 87439377 14335930368 159372 18446744073709551615 4194304 4196468 140730234857760 139923653892832 139924183283413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24015] ppid=23949 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/23952/task/24015/stat : 24015 (java) S 23949 23952 13007 0 -1 1077944384 11 12418 0 0 0 0 5 3 20 0 15 0 87439381 14335930368 159372 18446744073709551615 4194304 4196468 140730234857760 139923652840112 139924183284354 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
Current children cumulated CPU time (s) 11.74
Current children cumulated vsize (KiB) 13999932

[startup+12.7008 s]
/proc/loadavg: 1.36 1.38 1.45 3/213 24016
/proc/meminfo: memFree=28942740/32770624 swapFree=0/464732
[pid=23952] ppid=23949 vsize=13999932 CPUtime=18.5 cores=0,2,4,6
/proc/23952/stat : 23952 (java) S 23949 23952 13007 0 -1 1077944320 59118 12418 0 0 1804 38 5 3 20 0 15 0 87439353 14335930368 246008 18446744073709551615 4194304 4196468 140730234857760 140730234840304 139924183273207 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 6 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
/proc/23952/statm: 3499983 246008 3467 1 0 3488597 0
[pid=23952/tid=24002] ppid=23949 vsize=13999932 CPUtime=12.41 cores=0,2,4,6
/proc/23952/task/24002/stat : 24002 (java) R 23949 23952 13007 0 -1 4202560 39509 12418 0 0 1211 22 5 3 20 0 15 0 87439372 14335930368 246008 18446744073709551615 4194304 4196468 140730234857760 139924187503960 139923822188757 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24003] ppid=23949 vsize=13999932 CPUtime=0.13 cores=0,2,4,6
/proc/23952/task/24003/stat : 24003 (java) S 23949 23952 13007 0 -1 1077944384 111 12418 0 0 4 1 5 3 20 0 15 0 87439373 14335930368 246008 18446744073709551615 4194304 4196468 140730234857760 139924140240016 139924183283413 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24004] ppid=23949 vsize=13999932 CPUtime=0.13 cores=0,2,4,6
/proc/23952/task/24004/stat : 24004 (java) S 23949 23952 13007 0 -1 1077944384 1003 12418 0 0 4 1 5 3 20 0 15 0 87439373 14335930368 246008 18446744073709551615 4194304 4196468 140730234857760 139924139187216 139924183283413 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24005] ppid=23949 vsize=13999932 CPUtime=0.14 cores=0,2,4,6
/proc/23952/task/24005/stat : 24005 (java) S 23949 23952 13007 0 -1 1077944384 106 12418 0 0 4 2 5 3 20 0 15 0 87439373 14335930368 246008 18446744073709551615 4194304 4196468 140730234857760 139924138134416 139924183283413 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24006] ppid=23949 vsize=13999932 CPUtime=0.14 cores=0,2,4,6
/proc/23952/task/24006/stat : 24006 (java) S 23949 23952 13007 0 -1 1077944384 174 12418 0 0 4 2 5 3 20 0 15 0 87439373 14335930368 246008 18446744073709551615 4194304 4196468 140730234857760 139924137081616 139924183283413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24007] ppid=23949 vsize=13999932 CPUtime=0.11 cores=0,2,4,6
/proc/23952/task/24007/stat : 24007 (java) S 23949 23952 13007 0 -1 1077944384 2282 12418 0 0 3 0 5 3 20 0 15 0 87439374 14335930368 246008 18446744073709551615 4194304 4196468 140730234857760 139923728914800 139924183284354 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24008] ppid=23949 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/23952/task/24008/stat : 24008 (java) S 23949 23952 13007 0 -1 1077944384 56 12418 0 0 0 0 5 3 20 0 15 0 87439374 14335930368 246008 18446744073709551615 4194304 4196468 140730234857760 139923727860832 139924183283413 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24009] ppid=23949 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/23952/task/24009/stat : 24009 (java) S 23949 23952 13007 0 -1 1077944384 46 12418 0 0 0 0 5 3 20 0 15 0 87439375 14335930368 246008 18446744073709551615 4194304 4196468 140730234857760 139923659154304 139924183283413 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24010] ppid=23949 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/23952/task/24010/stat : 24010 (java) S 23949 23952 13007 0 -1 1077944384 3 12418 0 0 0 0 5 3 20 0 15 0 87439377 14335930368 246008 18446744073709551615 4194304 4196468 140730234857760 139923658102608 139924183291803 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0

################
# More data... #
################

[pid=23952/tid=24010] ppid=23949 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/23952/task/24010/stat : 24010 (java) S 23949 23952 13007 0 -1 1077944384 3 12418 0 0 0 0 5 3 20 0 15 0 87439377 14405136384 419232 18446744073709551615 4194304 4196468 140730234857760 139923658102608 139924183291803 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24011] ppid=23949 vsize=14067516 CPUtime=2.93 cores=0,2,4,6
/proc/23952/task/24011/stat : 24011 (java) S 23949 23952 13007 0 -1 1077944384 7260 12418 0 0 284 1 5 3 20 0 15 0 87439377 14405136384 419232 18446744073709551615 4194304 4196468 140730234857760 139923657050992 139924183284354 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24012] ppid=23949 vsize=14067516 CPUtime=3.18 cores=0,2,4,6
/proc/23952/task/24012/stat : 24012 (java) S 23949 23952 13007 0 -1 1077944384 10856 12418 0 0 307 3 5 3 20 0 15 0 87439377 14405136384 419232 18446744073709551615 4194304 4196468 140730234857760 139923655998192 139924183284354 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24013] ppid=23949 vsize=14067516 CPUtime=1.75 cores=0,2,4,6
/proc/23952/task/24013/stat : 24013 (java) S 23949 23952 13007 0 -1 1077944384 7234 12418 0 0 164 3 5 3 20 0 15 0 87439377 14405136384 419232 18446744073709551615 4194304 4196468 140730234857760 139923654945392 139924183284354 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24014] ppid=23949 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/23952/task/24014/stat : 24014 (java) S 23949 23952 13007 0 -1 1077944384 3 12418 0 0 0 0 5 3 20 0 15 0 87439377 14405136384 419232 18446744073709551615 4194304 4196468 140730234857760 139923653892832 139924183283413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24015] ppid=23949 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/23952/task/24015/stat : 24015 (java) S 23949 23952 13007 0 -1 1077944384 149 12418 0 0 0 0 5 3 20 0 15 0 87439381 14405136384 419232 18446744073709551615 4194304 4196468 140730234857760 139923652840112 139924183284354 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
Current children cumulated CPU time (s) 33.81
Current children cumulated vsize (KiB) 14067516

[startup+51.1008 s]
/proc/loadavg: 1.46 1.40 1.45 3/213 24017
/proc/meminfo: memFree=27109212/32770624 swapFree=0/464736
[pid=23952] ppid=23949 vsize=14067516 CPUtime=60.48 cores=0,2,4,6
/proc/23952/stat : 23952 (java) S 23949 23952 13007 0 -1 1077944320 114175 12418 0 0 5912 128 5 3 20 0 15 0 87439353 14405136384 703116 18446744073709551615 4194304 4196468 140730234857760 140730234840304 139924183273207 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 6 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
/proc/23952/statm: 3516879 703116 3471 1 0 3505493 0
[pid=23952/tid=24002] ppid=23949 vsize=14067516 CPUtime=50.39 cores=0,2,4,6
/proc/23952/task/24002/stat : 24002 (java) R 23949 23952 13007 0 -1 4202560 65243 12418 0 0 4986 45 5 3 20 0 15 0 87439372 14405136384 703116 18446744073709551615 4194304 4196468 140730234857760 139924187505856 139923813345673 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24003] ppid=23949 vsize=14067516 CPUtime=0.5 cores=0,2,4,6
/proc/23952/task/24003/stat : 24003 (java) S 23949 23952 13007 0 -1 1077944384 444 12418 0 0 25 17 5 3 20 0 15 0 87439373 14405136384 703116 18446744073709551615 4194304 4196468 140730234857760 139924140240016 139924183283413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24004] ppid=23949 vsize=14067516 CPUtime=0.51 cores=0,2,4,6
/proc/23952/task/24004/stat : 24004 (java) S 23949 23952 13007 0 -1 1077944384 1725 12418 0 0 26 17 5 3 20 0 15 0 87439373 14405136384 703116 18446744073709551615 4194304 4196468 140730234857760 139924139187216 139924183283413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24005] ppid=23949 vsize=14067516 CPUtime=0.49 cores=0,2,4,6
/proc/23952/task/24005/stat : 24005 (java) S 23949 23952 13007 0 -1 1077944384 385 12418 0 0 24 17 5 3 20 0 15 0 87439373 14405136384 703116 18446744073709551615 4194304 4196468 140730234857760 139924138134416 139924183283413 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24006] ppid=23949 vsize=14067516 CPUtime=0.5 cores=0,2,4,6
/proc/23952/task/24006/stat : 24006 (java) S 23949 23952 13007 0 -1 1077944384 1532 12418 0 0 25 17 5 3 20 0 15 0 87439373 14405136384 703116 18446744073709551615 4194304 4196468 140730234857760 139924137081616 139924183283413 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24007] ppid=23949 vsize=14067516 CPUtime=0.15 cores=0,2,4,6
/proc/23952/task/24007/stat : 24007 (java) S 23949 23952 13007 0 -1 1077944384 10349 12418 0 0 5 2 5 3 20 0 15 0 87439374 14405136384 703116 18446744073709551615 4194304 4196468 140730234857760 139923728914800 139924183284354 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24008] ppid=23949 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/23952/task/24008/stat : 24008 (java) S 23949 23952 13007 0 -1 1077944384 65 12418 0 0 0 0 5 3 20 0 15 0 87439374 14405136384 703116 18446744073709551615 4194304 4196468 140730234857760 139923727860832 139924183283413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24009] ppid=23949 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/23952/task/24009/stat : 24009 (java) S 23949 23952 13007 0 -1 1077944384 56 12418 0 0 0 0 5 3 20 0 15 0 87439375 14405136384 703116 18446744073709551615 4194304 4196468 140730234857760 139923659154304 139924183283413 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24010] ppid=23949 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/23952/task/24010/stat : 24010 (java) S 23949 23952 13007 0 -1 1077944384 3 12418 0 0 0 0 5 3 20 0 15 0 87439377 14405136384 703116 18446744073709551615 4194304 4196468 140730234857760 139923658102608 139924183291803 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24011] ppid=23949 vsize=14067516 CPUtime=3.17 cores=0,2,4,6
/proc/23952/task/24011/stat : 24011 (java) R 23949 23952 13007 0 -1 4202560 8184 12418 0 0 307 2 5 3 20 0 15 0 87439377 14405136384 703116 18446744073709551615 4194304 4196468 140730234857760 139923657039792 139924164459117 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24012] ppid=23949 vsize=14067516 CPUtime=3.43 cores=0,2,4,6
/proc/23952/task/24012/stat : 24012 (java) R 23949 23952 13007 0 -1 4202560 12916 12418 0 0 332 3 5 3 20 0 15 0 87439377 14405136384 703116 18446744073709551615 4194304 4196468 140730234857760 139923655991008 139924166748420 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24013] ppid=23949 vsize=14067516 CPUtime=1.84 cores=0,2,4,6
/proc/23952/task/24013/stat : 24013 (java) R 23949 23952 13007 0 -1 4202560 10944 12418 0 0 173 3 5 3 20 0 15 0 87439377 14405136384 703116 18446744073709551615 4194304 4196468 140730234857760 139923654945392 139924162227976 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24014] ppid=23949 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/23952/task/24014/stat : 24014 (java) S 23949 23952 13007 0 -1 1077944384 3 12418 0 0 0 0 5 3 20 0 15 0 87439377 14405136384 703116 18446744073709551615 4194304 4196468 140730234857760 139923653892832 139924183283413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24015] ppid=23949 vsize=14067516 CPUtime=0.1 cores=0,2,4,6
/proc/23952/task/24015/stat : 24015 (java) S 23949 23952 13007 0 -1 1077944384 174 12418 0 0 1 1 5 3 20 0 15 0 87439381 14405136384 703116 18446744073709551615 4194304 4196468 140730234857760 139923652840112 139924183284354 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
Current children cumulated CPU time (s) 60.48
Current children cumulated vsize (KiB) 14067516

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 23952 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+51.2008 s]
/proc/loadavg: 1.46 1.40 1.45 3/213 24017
/proc/meminfo: memFree=27109212/32770624 swapFree=0/464736
[pid=23952] ppid=23949 vsize=14067516 CPUtime=60.77 cores=0,2,4,6
/proc/23952/stat : 23952 (java) S 23949 23952 13007 0 -1 1077944320 115462 12418 0 0 5941 128 5 3 20 0 15 0 87439353 14405136384 703119 18446744073709551615 4194304 4196468 140730234857760 140730234840304 139924183273207 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 6 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
/proc/23952/statm: 3516879 703119 3471 1 0 3505493 0
[pid=23952/tid=24002] ppid=23949 vsize=14067516 CPUtime=50.49 cores=0,2,4,6
/proc/23952/task/24002/stat : 24002 (java) R 23949 23952 13007 0 -1 4202560 65250 12418 0 0 4996 45 5 3 20 0 15 0 87439372 14405136384 703119 18446744073709551615 4194304 4196468 140730234857760 139924187503648 139924183285142 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24003] ppid=23949 vsize=14067516 CPUtime=0.5 cores=0,2,4,6
/proc/23952/task/24003/stat : 24003 (java) S 23949 23952 13007 0 -1 1077944384 444 12418 0 0 25 17 5 3 20 0 15 0 87439373 14405136384 703119 18446744073709551615 4194304 4196468 140730234857760 139924140240016 139924183283413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24004] ppid=23949 vsize=14067516 CPUtime=0.51 cores=0,2,4,6
/proc/23952/task/24004/stat : 24004 (java) S 23949 23952 13007 0 -1 1077944384 1725 12418 0 0 26 17 5 3 20 0 15 0 87439373 14405136384 703119 18446744073709551615 4194304 4196468 140730234857760 139924139187216 139924183283413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24005] ppid=23949 vsize=14067516 CPUtime=0.49 cores=0,2,4,6
/proc/23952/task/24005/stat : 24005 (java) S 23949 23952 13007 0 -1 1077944384 385 12418 0 0 24 17 5 3 20 0 15 0 87439373 14405136384 703119 18446744073709551615 4194304 4196468 140730234857760 139924138134416 139924183283413 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24006] ppid=23949 vsize=14067516 CPUtime=0.5 cores=0,2,4,6
/proc/23952/task/24006/stat : 24006 (java) S 23949 23952 13007 0 -1 1077944384 1532 12418 0 0 25 17 5 3 20 0 15 0 87439373 14405136384 703119 18446744073709551615 4194304 4196468 140730234857760 139924137081616 139924183283413 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24007] ppid=23949 vsize=14067516 CPUtime=0.15 cores=0,2,4,6
/proc/23952/task/24007/stat : 24007 (java) S 23949 23952 13007 0 -1 1077944384 10349 12418 0 0 5 2 5 3 20 0 15 0 87439374 14405136384 703119 18446744073709551615 4194304 4196468 140730234857760 139923728914800 139924183284354 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24008] ppid=23949 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/23952/task/24008/stat : 24008 (java) S 23949 23952 13007 0 -1 1077944384 65 12418 0 0 0 0 5 3 20 0 15 0 87439374 14405136384 703119 18446744073709551615 4194304 4196468 140730234857760 139923727860832 139924183283413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24009] ppid=23949 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/23952/task/24009/stat : 24009 (java) S 23949 23952 13007 0 -1 1077944384 56 12418 0 0 0 0 5 3 20 0 15 0 87439375 14405136384 703119 18446744073709551615 4194304 4196468 140730234857760 139923659154304 139924183283413 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24010] ppid=23949 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/23952/task/24010/stat : 24010 (java) S 23949 23952 13007 0 -1 1077944384 3 12418 0 0 0 0 5 3 20 0 15 0 87439377 14405136384 703119 18446744073709551615 4194304 4196468 140730234857760 139923658102608 139924183291803 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24011] ppid=23949 vsize=14067516 CPUtime=3.26 cores=0,2,4,6
/proc/23952/task/24011/stat : 24011 (java) S 23949 23952 13007 0 -1 1077944384 8776 12418 0 0 316 2 5 3 20 0 15 0 87439377 14405136384 703119 18446744073709551615 4194304 4196468 140730234857760 139923657050992 139924183284354 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24012] ppid=23949 vsize=14067516 CPUtime=3.51 cores=0,2,4,6
/proc/23952/task/24012/stat : 24012 (java) S 23949 23952 13007 0 -1 1077944384 13556 12418 0 0 340 3 5 3 20 0 15 0 87439377 14405136384 703119 18446744073709551615 4194304 4196468 140730234857760 139923655998192 139924183284354 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24013] ppid=23949 vsize=14067516 CPUtime=1.86 cores=0,2,4,6
/proc/23952/task/24013/stat : 24013 (java) R 23949 23952 13007 0 -1 4202560 10993 12418 0 0 175 3 5 3 20 0 15 0 87439377 14405136384 703119 18446744073709551615 4194304 4196468 140730234857760 139923654941264 139924175524748 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24014] ppid=23949 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/23952/task/24014/stat : 24014 (java) S 23949 23952 13007 0 -1 1077944384 3 12418 0 0 0 0 5 3 20 0 15 0 87439377 14405136384 703119 18446744073709551615 4194304 4196468 140730234857760 139923653892832 139924183283413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24015] ppid=23949 vsize=14067516 CPUtime=0.1 cores=0,2,4,6
/proc/23952/task/24015/stat : 24015 (java) S 23949 23952 13007 0 -1 1077944384 174 12418 0 0 1 1 5 3 20 0 15 0 87439381 14405136384 703119 18446744073709551615 4194304 4196468 140730234857760 139923652840112 139924183284354 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
Current children cumulated CPU time (s) 60.77
Current children cumulated vsize (KiB) 14067516

[startup+51.6008 s]
/proc/loadavg: 1.46 1.40 1.45 3/213 24017
/proc/meminfo: memFree=27109212/32770624 swapFree=0/464736
[pid=23952] ppid=23949 vsize=14067516 CPUtime=62.17 cores=0,2,4,6
/proc/23952/stat : 23952 (java) S 23949 23952 13007 0 -1 1077944320 122770 12418 0 0 6079 130 5 3 20 0 15 0 87439353 14405136384 708713 18446744073709551615 4194304 4196468 140730234857760 140730234840304 139924183273207 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 6 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
/proc/23952/statm: 3516879 708713 3471 1 0 3505493 0
[pid=23952/tid=24002] ppid=23949 vsize=14067516 CPUtime=50.6 cores=0,2,4,6
/proc/23952/task/24002/stat : 24002 (java) S 23949 23952 13007 0 -1 1077944384 65339 12418 0 0 5007 45 5 3 20 0 15 0 87439372 14405136384 708713 18446744073709551615 4194304 4196468 140730234857760 139924187510928 139924183283413 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24003] ppid=23949 vsize=14067516 CPUtime=0.76 cores=0,2,4,6
/proc/23952/task/24003/stat : 24003 (java) R 23949 23952 13007 0 -1 4202560 659 12418 0 0 51 17 5 3 20 0 15 0 87439373 14405136384 708713 18446744073709551615 4194304 4196468 140730234857760 139924140240016 139924167970846 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24004] ppid=23949 vsize=14067516 CPUtime=0.76 cores=0,2,4,6
/proc/23952/task/24004/stat : 24004 (java) R 23949 23952 13007 0 -1 4202560 2382 12418 0 0 51 17 5 3 20 0 15 0 87439373 14405136384 708713 18446744073709551615 4194304 4196468 140730234857760 139924139187416 139924167970959 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24005] ppid=23949 vsize=14067516 CPUtime=0.75 cores=0,2,4,6
/proc/23952/task/24005/stat : 24005 (java) R 23949 23952 13007 0 -1 4202560 607 12418 0 0 49 18 5 3 20 0 15 0 87439373 14405136384 708713 18446744073709551615 4194304 4196468 140730234857760 139924138134416 139924167970846 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24006] ppid=23949 vsize=14067516 CPUtime=0.76 cores=0,2,4,6
/proc/23952/task/24006/stat : 24006 (java) R 23949 23952 13007 0 -1 4202560 1754 12418 0 0 50 18 5 3 20 0 15 0 87439373 14405136384 708713 18446744073709551615 4194304 4196468 140730234857760 139924137081616 139924167970846 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24007] ppid=23949 vsize=14067516 CPUtime=0.18 cores=0,2,4,6
/proc/23952/task/24007/stat : 24007 (java) S 23949 23952 13007 0 -1 1077944384 15621 12418 0 0 8 2 5 3 20 0 15 0 87439374 14405136384 708713 18446744073709551615 4194304 4196468 140730234857760 139923728913200 139924183283413 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24008] ppid=23949 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/23952/task/24008/stat : 24008 (java) S 23949 23952 13007 0 -1 1077944384 66 12418 0 0 0 0 5 3 20 0 15 0 87439374 14405136384 708713 18446744073709551615 4194304 4196468 140730234857760 139923727860736 139924183283413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24009] ppid=23949 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/23952/task/24009/stat : 24009 (java) S 23949 23952 13007 0 -1 1077944384 56 12418 0 0 0 0 5 3 20 0 15 0 87439375 14405136384 708713 18446744073709551615 4194304 4196468 140730234857760 139923659154304 139924183283413 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24010] ppid=23949 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/23952/task/24010/stat : 24010 (java) S 23949 23952 13007 0 -1 1077944384 3 12418 0 0 0 0 5 3 20 0 15 0 87439377 14405136384 708713 18446744073709551615 4194304 4196468 140730234857760 139923658102608 139924183291803 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24011] ppid=23949 vsize=14067516 CPUtime=3.34 cores=0,2,4,6
/proc/23952/task/24011/stat : 24011 (java) S 23949 23952 13007 0 -1 1077944384 8895 12418 0 0 324 2 5 3 20 0 15 0 87439377 14405136384 708713 18446744073709551615 4194304 4196468 140730234857760 139923657035824 139924183283413 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24012] ppid=23949 vsize=14067516 CPUtime=3.62 cores=0,2,4,6
/proc/23952/task/24012/stat : 24012 (java) S 23949 23952 13007 0 -1 1077944384 13889 12418 0 0 351 3 5 3 20 0 15 0 87439377 14405136384 708713 18446744073709551615 4194304 4196468 140730234857760 139923655978000 139924183283413 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24013] ppid=23949 vsize=14067516 CPUtime=1.9 cores=0,2,4,6
/proc/23952/task/24013/stat : 24013 (java) S 23949 23952 13007 0 -1 1077944384 11170 12418 0 0 179 3 5 3 20 0 15 0 87439377 14405136384 708713 18446744073709551615 4194304 4196468 140730234857760 139923654945392 139924183284354 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24014] ppid=23949 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/23952/task/24014/stat : 24014 (java) S 23949 23952 13007 0 -1 1077944384 3 12418 0 0 0 0 5 3 20 0 15 0 87439377 14405136384 708713 18446744073709551615 4194304 4196468 140730234857760 139923653892832 139924183283413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24015] ppid=23949 vsize=14067516 CPUtime=0.1 cores=0,2,4,6
/proc/23952/task/24015/stat : 24015 (java) S 23949 23952 13007 0 -1 1077944384 174 12418 0 0 1 1 5 3 20 0 15 0 87439381 14405136384 708713 18446744073709551615 4194304 4196468 140730234857760 139923652840112 139924183284354 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
Current children cumulated CPU time (s) 62.17
Current children cumulated vsize (KiB) 14067516

[startup+52.0006 s]
/proc/loadavg: 1.74 1.46 1.47 6/213 24017
/proc/meminfo: memFree=27086984/32770624 swapFree=0/464724
[pid=23952] ppid=23949 vsize=14136128 CPUtime=63.46 cores=0,2,4,6
/proc/23952/stat : 23952 (java) S 23949 23952 13007 0 -1 1077944320 123175 12418 0 0 6208 130 5 3 20 0 14 0 87439353 14475395072 708908 18446744073709551615 4194304 4196468 140730234857760 140730234840304 139924183273207 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 6 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
/proc/23952/statm: 3534032 708908 3479 1 0 3522646 0
[pid=23952/tid=24002] ppid=23949 vsize=14136128 CPUtime=50.67 cores=0,2,4,6
/proc/23952/task/24002/stat : 24002 (java) S 23949 23952 13007 0 -1 1077944384 65614 12418 0 0 5014 45 5 3 20 0 14 0 87439372 14475395072 708908 18446744073709551615 4194304 4196468 140730234857760 139924187516048 139924183283413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24003] ppid=23949 vsize=14136128 CPUtime=1.02 cores=0,2,4,6
/proc/23952/task/24003/stat : 24003 (java) S 23949 23952 13007 0 -1 1077944384 685 12418 0 0 77 17 5 3 20 0 14 0 87439373 14475395072 708908 18446744073709551615 4194304 4196468 140730234857760 139924140240016 139924183283413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24004] ppid=23949 vsize=14136128 CPUtime=1.02 cores=0,2,4,6
/proc/23952/task/24004/stat : 24004 (java) S 23949 23952 13007 0 -1 1077944384 2395 12418 0 0 77 17 5 3 20 0 14 0 87439373 14475395072 708908 18446744073709551615 4194304 4196468 140730234857760 139924139187216 139924183283413 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24005] ppid=23949 vsize=14136128 CPUtime=1 cores=0,2,4,6
/proc/23952/task/24005/stat : 24005 (java) S 23949 23952 13007 0 -1 1077944384 621 12418 0 0 74 18 5 3 20 0 14 0 87439373 14475395072 708908 18446744073709551615 4194304 4196468 140730234857760 139924138134416 139924183283413 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24006] ppid=23949 vsize=14136128 CPUtime=1.02 cores=0,2,4,6
/proc/23952/task/24006/stat : 24006 (java) S 23949 23952 13007 0 -1 1077944384 1760 12418 0 0 76 18 5 3 20 0 14 0 87439373 14475395072 708908 18446744073709551615 4194304 4196468 140730234857760 139924137081616 139924183283413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24007] ppid=23949 vsize=14136128 CPUtime=0.25 cores=0,2,4,6
/proc/23952/task/24007/stat : 24007 (java) S 23949 23952 13007 0 -1 1077944384 15624 12418 0 0 15 2 5 3 20 0 14 0 87439374 14475395072 708908 18446744073709551615 4194304 4196468 140730234857760 139923728915008 139924183284354 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24008] ppid=23949 vsize=14136128 CPUtime=0.08 cores=0,2,4,6
/proc/23952/task/24008/stat : 24008 (java) S 23949 23952 13007 0 -1 1077944384 69 12418 0 0 0 0 5 3 20 0 14 0 87439374 14475395072 708908 18446744073709551615 4194304 4196468 140730234857760 139923727860832 139924183283413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24009] ppid=23949 vsize=14136128 CPUtime=0.08 cores=0,2,4,6
/proc/23952/task/24009/stat : 24009 (java) S 23949 23952 13007 0 -1 1077944384 58 12418 0 0 0 0 5 3 20 0 14 0 87439375 14475395072 708908 18446744073709551615 4194304 4196468 140730234857760 139923659154304 139924183283413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24010] ppid=23949 vsize=14136128 CPUtime=0.08 cores=0,2,4,6
/proc/23952/task/24010/stat : 24010 (java) S 23949 23952 13007 0 -1 1077944384 6 12418 0 0 0 0 5 3 20 0 14 0 87439377 14475395072 708908 18446744073709551615 4194304 4196468 140730234857760 139923658102256 139924183283413 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24011] ppid=23949 vsize=14136128 CPUtime=3.39 cores=0,2,4,6
/proc/23952/task/24011/stat : 24011 (java) S 23949 23952 13007 0 -1 1077944384 8901 12418 0 0 329 2 5 3 20 0 14 0 87439377 14475395072 708908 18446744073709551615 4194304 4196468 140730234857760 139923657050992 139924183284354 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24012] ppid=23949 vsize=14136128 CPUtime=3.68 cores=0,2,4,6
/proc/23952/task/24012/stat : 24012 (java) S 23949 23952 13007 0 -1 1077944384 13890 12418 0 0 357 3 5 3 20 0 14 0 87439377 14475395072 708908 18446744073709551615 4194304 4196468 140730234857760 139923655978128 139924183283413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24013] ppid=23949 vsize=14136128 CPUtime=1.92 cores=0,2,4,6
/proc/23952/task/24013/stat : 24013 (java) S 23949 23952 13007 0 -1 1077944384 11190 12418 0 0 181 3 5 3 20 0 14 0 87439377 14475395072 708908 18446744073709551615 4194304 4196468 140730234857760 139923654945392 139924183284354 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
[pid=23952/tid=24014] ppid=23949 vsize=14136128 CPUtime=0.08 cores=0,2,4,6
/proc/23952/task/24014/stat : 24014 (java) S 23949 23952 13007 0 -1 1077944384 3 12418 0 0 0 0 5 3 20 0 14 0 87439377 14475395072 708908 18446744073709551615 4194304 4196468 140730234857760 139923653892832 139924183283413 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28864512 140730234861520 140730234864305 140730234864305 140730234867663 0
Current children cumulated CPU time (s) 63.46
Current children cumulated vsize (KiB) 14136128

Child status: 0
Real time (s): 52.0274
CPU time (s): 63.4931
CPU user time (s): 62.1345
CPU system time (s): 1.35858
CPU usage (%): 122.038
Max. virtual memory (cumulated for all children) (KiB): 14136128

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 62.1345
system time used= 1.35858
maximum resident set size= 2836144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 135613
page faults= 0
swaps= 0
block input operations= 0
block output operations= 224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10014
involuntary context switches= 208

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.335406 second user time and 0.225966 second system time

The end
Name	Subisomorphism/Subisomorphism-m1-si6-bvg/ Subisomorphism-si6-b03-m800-07.xml
MD5SUM	98d2d58aab7f5f40944baaa5254cf1ac
Bench Category	CSP (decision problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark	0.61332101
Satisfiable
(Un)Satisfiability was proved
Number of variables	480
Number of constraints	718
Number of domains	1
Minimum domain size	800
Maximum domain size	800
Distribution of domain sizes	[{"size":800,"count":480}]
Minimum variable degree	2
Maximum variable degree	4
Distribution of variable degrees	[{"degree":2,"count":2},{"degree":3,"count":2},{"degree":4,"count":476}]
Minimum constraint arity	2
Maximum constraint arity	480
Distribution of constraint arities	[{"arity":2,"count":717},{"arity":480,"count":1}]
Number of extensional constraints	717
Number of intensional constraints	0
Distribution of constraint types	[{"type":"extension","count":717},{"type":"allDifferent","count":1}]
Optimization problem	NO
Type of objective
Trace number 4262681

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
