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-4259466-1501661067/watcher-4259466-1501661067 -o /tmp/evaluation-result-4259466-1501661067/solver-4259466-1501661067 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501653519-11656 --watchdog 300 bin/concrete HOME/instance-4259466-1501661067.xml
pid=20732
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.96 1.77 1.72 3/199 20735
/proc/meminfo: memFree=30431492/32770624 swapFree=0/241944
[pid=20735] ppid=20732 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/20735/stat : 20735 (runsolver) D 20732 20735 5228 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 13922026 24240128 107 18446744073709551615 4194304 4338465 140731518809488 140731518807128 140410686755543 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 35827712 140731518812368 140731518812742 140731518812742 140731518816202 0
/proc/20735/statm: 5918 107 54 36 0 2156 0
[startup+0.10013 s]
/proc/loadavg: 1.96 1.77 1.72 3/199 20735
/proc/meminfo: memFree=30431492/32770624 swapFree=0/241944
[pid=20735] ppid=20732 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/20735/stat : 20735 (runsolver) R 20732 20735 5228 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 13922026 24240128 107 18446744073709551615 4194304 4338465 140731518809488 140731518807128 140410689795325 0 0 1 24578 0 0 0 17 1 0 0 10 0 0 6438912 6441760 35827712 140731518812368 140731518812742 140731518812742 140731518816202 0
/proc/20735/statm: 5918 107 54 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672
[startup+0.200278 s]
/proc/loadavg: 1.96 1.77 1.72 3/199 20735
/proc/meminfo: memFree=30431492/32770624 swapFree=0/241944
[pid=20735] ppid=20732 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/20735/stat : 20735 (bash) S 20732 20735 5228 0 -1 4202496 898 6473 0 0 0 0 0 1 20 0 1 0 13922026 9867264 377 18446744073709551615 4194304 5098028 140720934971504 140720934965512 140175772171264 0 0 5 65536 18446744071580971376 0 0 17 5 0 0 10 0 0 7196144 7232144 19079168 140720934978065 140720934978150 140720934978150 140720934981610 0
/proc/20735/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636
[startup+0.300254 s]
/proc/loadavg: 1.96 1.77 1.72 3/199 20735
/proc/meminfo: memFree=30431492/32770624 swapFree=0/241944
[pid=20735] ppid=20732 vsize=13907308 CPUtime=0.14 cores=1,3,5,7
/proc/20735/stat : 20735 (java) S 20732 20735 5228 0 -1 1077944320 5818 12604 0 0 5 1 5 3 20 0 14 0 13922026 14241083392 5495 18446744073709551615 4194304 4196468 140736364180432 140736364162976 140409039585015 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 10 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
/proc/20735/statm: 3476827 5495 2560 1 0 3466332 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 13907308
[startup+0.700276 s]
/proc/loadavg: 1.96 1.77 1.72 3/199 20735
/proc/meminfo: memFree=30431492/32770624 swapFree=0/241944
[pid=20735] ppid=20732 vsize=13974784 CPUtime=0.62 cores=1,3,5,7
/proc/20735/stat : 20735 (java) S 20732 20735 5228 0 -1 1077944320 13786 12604 0 0 50 4 5 3 20 0 15 0 13922026 14310178816 14209 18446744073709551615 4194304 4196468 140736364180432 140736364162976 140409039585015 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 10 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
/proc/20735/statm: 3493696 14209 3066 1 0 3482973 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 13974784
[startup+1.50506 s]
/proc/loadavg: 1.96 1.77 1.72 3/214 20798
/proc/meminfo: memFree=30338108/32770624 swapFree=0/242212
[pid=20735] ppid=20732 vsize=13985408 CPUtime=1.87 cores=1,3,5,7
/proc/20735/stat : 20735 (java) S 20732 20735 5228 0 -1 1077944320 27389 12604 0 0 171 8 5 3 20 0 15 0 13922026 14321057792 33900 18446744073709551615 4194304 4196468 140736364180432 140736364162976 140409039585015 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 10 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
/proc/20735/statm: 3496352 33900 3335 1 0 3485533 0
[pid=20735/tid=20785] ppid=20732 vsize=13985408 CPUtime=1.29 cores=1,3,5,7
/proc/20735/task/20785/stat : 20785 (java) R 20732 20735 5228 0 -1 4202560 21879 12604 0 0 115 6 5 3 20 0 15 0 13922048 14321057792 33900 18446744073709551615 4194304 4196468 140736364180432 140409043805360 140409025265137 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
[pid=20735/tid=20786] ppid=20732 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/20735/task/20786/stat : 20786 (java) S 20732 20735 5228 0 -1 1077944384 1 12604 0 0 0 0 5 3 20 0 15 0 13922049 14321057792 33900 18446744073709551615 4194304 4196468 140736364180432 140408996550928 140409039595221 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
[pid=20735/tid=20787] ppid=20732 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/20735/task/20787/stat : 20787 (java) S 20732 20735 5228 0 -1 1077944384 1 12604 0 0 0 0 5 3 20 0 15 0 13922049 14321057792 33900 18446744073709551615 4194304 4196468 140736364180432 140408995498384 140409039595221 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
[pid=20735/tid=20788] ppid=20732 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/20735/task/20788/stat : 20788 (java) S 20732 20735 5228 0 -1 1077944384 1 12604 0 0 0 0 5 3 20 0 15 0 13922049 14321057792 33900 18446744073709551615 4194304 4196468 140736364180432 140408994445840 140409039595221 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
[pid=20735/tid=20789] ppid=20732 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/20735/task/20789/stat : 20789 (java) S 20732 20735 5228 0 -1 1077944384 2 12604 0 0 0 0 5 3 20 0 15 0 13922049 14321057792 33900 18446744073709551615 4194304 4196468 140736364180432 140408993393296 140409039595221 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
[pid=20735/tid=20790] ppid=20732 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/20735/task/20790/stat : 20790 (java) S 20732 20735 5228 0 -1 1077944384 5 12604 0 0 0 0 5 3 20 0 15 0 13922050 14321057792 33900 18446744073709551615 4194304 4196468 140736364180432 140408517540336 140409039596162 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
[pid=20735/tid=20791] ppid=20732 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/20735/task/20791/stat : 20791 (java) S 20732 20735 5228 0 -1 1077944384 33 12604 0 0 0 0 5 3 20 0 15 0 13922051 14321057792 33900 18446744073709551615 4194304 4196468 140736364180432 140408516486560 140409039595221 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
[pid=20735/tid=20792] ppid=20732 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/20735/task/20792/stat : 20792 (java) S 20732 20735 5228 0 -1 1077944384 21 12604 0 0 0 0 5 3 20 0 15 0 13922051 14321057792 33900 18446744073709551615 4194304 4196468 140736364180432 140408515433968 140409039595221 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
[pid=20735/tid=20793] ppid=20732 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/20735/task/20793/stat : 20793 (java) S 20732 20735 5228 0 -1 1077944384 3 12604 0 0 0 0 5 3 20 0 15 0 13922053 14321057792 33900 18446744073709551615 4194304 4196468 140736364180432 140408514382544 140409039603611 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
[pid=20735/tid=20794] ppid=20732 vsize=13985408 CPUtime=0.23 cores=1,3,5,7
/proc/20735/task/20794/stat : 20794 (java) S 20732 20735 5228 0 -1 1077944384 897 12604 0 0 15 0 5 3 20 0 15 0 13922054 14321057792 33900 18446744073709551615 4194304 4196468 140736364180432 140408513329136 140409039596162 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
[pid=20735/tid=20795] ppid=20732 vsize=13985408 CPUtime=0.25 cores=1,3,5,7
/proc/20735/task/20795/stat : 20795 (java) S 20732 20735 5228 0 -1 1077944384 1050 12604 0 0 17 0 5 3 20 0 15 0 13922054 14321057792 33900 18446744073709551615 4194304 4196468 140736364180432 140408512276592 140409039596162 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
[pid=20735/tid=20796] ppid=20732 vsize=13985408 CPUtime=0.3 cores=1,3,5,7
/proc/20735/task/20796/stat : 20796 (java) R 20732 20735 5228 0 -1 4202560 1334 12604 0 0 22 0 5 3 20 0 15 0 13922054 14321057792 33900 18446744073709551615 4194304 4196468 140736364180432 140408511224048 140409023665502 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
[pid=20735/tid=20797] ppid=20732 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/20735/task/20797/stat : 20797 (java) S 20732 20735 5228 0 -1 1077944384 3 12604 0 0 0 0 5 3 20 0 15 0 13922054 14321057792 33900 18446744073709551615 4194304 4196468 140736364180432 140408510171744 140409039595221 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
[pid=20735/tid=20798] ppid=20732 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/20735/task/20798/stat : 20798 (java) S 20732 20735 5228 0 -1 1077944384 8 12604 0 0 0 0 5 3 20 0 15 0 13922060 14321057792 33900 18446744073709551615 4194304 4196468 140736364180432 140408509119280 140409039596162 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
Current children cumulated CPU time (s) 1.87
Current children cumulated vsize (KiB) 13985408
[startup+3.10074 s]
/proc/loadavg: 1.96 1.77 1.72 5/214 20798
/proc/meminfo: memFree=30261620/32770624 swapFree=0/242212
[pid=20735] ppid=20732 vsize=13997884 CPUtime=5.85 cores=1,3,5,7
/proc/20735/stat : 20735 (java) S 20732 20735 5228 0 -1 1077944320 49418 12604 0 0 561 16 5 3 20 0 15 0 13922026 14333833216 56644 18446744073709551615 4194304 4196468 140736364180432 140736364162976 140409039585015 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 10 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
/proc/20735/statm: 3499471 56644 3439 1 0 3488093 0
[pid=20735/tid=20785] ppid=20732 vsize=13997884 CPUtime=2.84 cores=1,3,5,7
/proc/20735/task/20785/stat : 20785 (java) R 20732 20735 5228 0 -1 4202560 34887 12604 0 0 267 9 5 3 20 0 15 0 13922048 14333833216 56644 18446744073709551615 4194304 4196468 140736364180432 140409043815184 140409039596950 0 4 1 16800974 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
[pid=20735/tid=20786] ppid=20732 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/20735/task/20786/stat : 20786 (java) S 20732 20735 5228 0 -1 1077944384 60 12604 0 0 0 0 5 3 20 0 15 0 13922049 14333833216 56644 18446744073709551615 4194304 4196468 140736364180432 140408996550928 140409039595221 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
[pid=20735/tid=20787] ppid=20732 vsize=13997884 CPUtime=0.09 cores=1,3,5,7
/proc/20735/task/20787/stat : 20787 (java) S 20732 20735 5228 0 -1 1077944384 42 12604 0 0 1 0 5 3 20 0 15 0 13922049 14333833216 56644 18446744073709551615 4194304 4196468 140736364180432 140408995498384 140409039595221 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
[pid=20735/tid=20788] ppid=20732 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/20735/task/20788/stat : 20788 (java) S 20732 20735 5228 0 -1 1077944384 45 12604 0 0 0 0 5 3 20 0 15 0 13922049 14333833216 56644 18446744073709551615 4194304 4196468 140736364180432 140408994445840 140409039595221 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
[pid=20735/tid=20789] ppid=20732 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/20735/task/20789/stat : 20789 (java) S 20732 20735 5228 0 -1 1077944384 217 12604 0 0 0 0 5 3 20 0 15 0 13922049 14333833216 56644 18446744073709551615 4194304 4196468 140736364180432 140408993393296 140409039595221 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
[pid=20735/tid=20790] ppid=20732 vsize=13997884 CPUtime=0.09 cores=1,3,5,7
/proc/20735/task/20790/stat : 20790 (java) S 20732 20735 5228 0 -1 1077944384 1705 12604 0 0 1 0 5 3 20 0 15 0 13922050 14333833216 56644 18446744073709551615 4194304 4196468 140736364180432 140408517540336 140409039596162 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
[pid=20735/tid=20791] ppid=20732 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/20735/task/20791/stat : 20791 (java) S 20732 20735 5228 0 -1 1077944384 56 12604 0 0 0 0 5 3 20 0 15 0 13922051 14333833216 56644 18446744073709551615 4194304 4196468 140736364180432 140408516486624 140409039595221 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
[pid=20735/tid=20792] ppid=20732 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/20735/task/20792/stat : 20792 (java) S 20732 20735 5228 0 -1 1077944384 43 12604 0 0 0 0 5 3 20 0 15 0 13922051 14333833216 56644 18446744073709551615 4194304 4196468 140736364180432 140408515433968 140409039595221 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
[pid=20735/tid=20793] ppid=20732 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/20735/task/20793/stat : 20793 (java) S 20732 20735 5228 0 -1 1077944384 3 12604 0 0 0 0 5 3 20 0 15 0 13922053 14333833216 56644 18446744073709551615 4194304 4196468 140736364180432 140408514382544 140409039603611 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
[pid=20735/tid=20794] ppid=20732 vsize=13997884 CPUtime=1.14 cores=1,3,5,7
/proc/20735/task/20794/stat : 20794 (java) S 20732 20735 5228 0 -1 1077944384 4363 12604 0 0 106 0 5 3 20 0 15 0 13922054 14333833216 56644 18446744073709551615 4194304 4196468 140736364180432 140408513329136 140409039596162 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
[pid=20735/tid=20795] ppid=20732 vsize=13997884 CPUtime=0.92 cores=1,3,5,7
/proc/20735/task/20795/stat : 20795 (java) S 20732 20735 5228 0 -1 1077944384 1947 12604 0 0 83 1 5 3 20 0 15 0 13922054 14333833216 56644 18446744073709551615 4194304 4196468 140736364180432 140408512276592 140409039596162 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
[pid=20735/tid=20796] ppid=20732 vsize=13997884 CPUtime=1.05 cores=1,3,5,7
/proc/20735/task/20796/stat : 20796 (java) S 20732 20735 5228 0 -1 1077944384 3882 12604 0 0 96 1 5 3 20 0 15 0 13922054 14333833216 56644 18446744073709551615 4194304 4196468 140736364180432 140408511224048 140409039596162 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
[pid=20735/tid=20797] ppid=20732 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/20735/task/20797/stat : 20797 (java) S 20732 20735 5228 0 -1 1077944384 3 12604 0 0 0 0 5 3 20 0 15 0 13922054 14333833216 56644 18446744073709551615 4194304 4196468 140736364180432 140408510171744 140409039595221 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
[pid=20735/tid=20798] ppid=20732 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/20735/task/20798/stat : 20798 (java) S 20732 20735 5228 0 -1 1077944384 10 12604 0 0 0 0 5 3 20 0 15 0 13922060 14333833216 56644 18446744073709551615 4194304 4196468 140736364180432 140408509119280 140409039596162 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
Current children cumulated CPU time (s) 5.85
Current children cumulated vsize (KiB) 13997884
[startup+6.30073 s]
/proc/loadavg: 2.13 1.81 1.73 6/214 20798
/proc/meminfo: memFree=30068564/32770624 swapFree=0/242224
[pid=20735] ppid=20732 vsize=14069564 CPUtime=15.9 cores=1,3,5,7
/proc/20735/stat : 20735 (java) S 20732 20735 5228 0 -1 1077944320 77925 12604 0 0 1557 25 5 3 20 0 15 0 13922026 14407233536 98175 18446744073709551615 4194304 4196468 140736364180432 140736364162976 140409039585015 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 10 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
/proc/20735/statm: 3517391 98175 3471 1 0 3506013 0
[pid=20735/tid=20785] ppid=20732 vsize=14069564 CPUtime=5.68 cores=1,3,5,7
/proc/20735/task/20785/stat : 20785 (java) R 20732 20735 5228 0 -1 4202560 45485 12604 0 0 548 12 5 3 20 0 15 0 13922048 14407233536 98175 18446744073709551615 4194304 4196468 140736364180432 140409043814720 140408690119558 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
[pid=20735/tid=20786] ppid=20732 vsize=14069564 CPUtime=0.28 cores=1,3,5,7
/proc/20735/task/20786/stat : 20786 (java) S 20732 20735 5228 0 -1 1077944384 247 12604 0 0 19 1 5 3 20 0 15 0 13922049 14407233536 98175 18446744073709551615 4194304 4196468 140736364180432 140408996550928 140409039595221 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
[pid=20735/tid=20787] ppid=20732 vsize=14069564 CPUtime=0.29 cores=1,3,5,7
/proc/20735/task/20787/stat : 20787 (java) S 20732 20735 5228 0 -1 1077944384 455 12604 0 0 21 0 5 3 20 0 15 0 13922049 14407233536 98175 18446744073709551615 4194304 4196468 140736364180432 140408995498384 140409039595221 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
[pid=20735/tid=20788] ppid=20732 vsize=14069564 CPUtime=0.27 cores=1,3,5,7
/proc/20735/task/20788/stat : 20788 (java) S 20732 20735 5228 0 -1 1077944384 188 12604 0 0 18 1 5 3 20 0 15 0 13922049 14407233536 98175 18446744073709551615 4194304 4196468 140736364180432 140408994445840 140409039595221 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
[pid=20735/tid=20789] ppid=20732 vsize=14069564 CPUtime=0.27 cores=1,3,5,7
/proc/20735/task/20789/stat : 20789 (java) S 20732 20735 5228 0 -1 1077944384 270 12604 0 0 18 1 5 3 20 0 15 0 13922049 14407233536 98175 18446744073709551615 4194304 4196468 140736364180432 140408993393296 140409039595221 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
[pid=20735/tid=20790] ppid=20732 vsize=14069564 CPUtime=0.21 cores=1,3,5,7
/proc/20735/task/20790/stat : 20790 (java) S 20732 20735 5228 0 -1 1077944384 2408 12604 0 0 13 0 5 3 20 0 15 0 13922050 14407233536 98175 18446744073709551615 4194304 4196468 140736364180432 140408517540336 140409039596162 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
[pid=20735/tid=20791] ppid=20732 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/20735/task/20791/stat : 20791 (java) S 20732 20735 5228 0 -1 1077944384 56 12604 0 0 0 0 5 3 20 0 15 0 13922051 14407233536 98175 18446744073709551615 4194304 4196468 140736364180432 140408516486624 140409039595221 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
[pid=20735/tid=20792] ppid=20732 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/20735/task/20792/stat : 20792 (java) S 20732 20735 5228 0 -1 1077944384 43 12604 0 0 0 0 5 3 20 0 15 0 13922051 14407233536 98175 18446744073709551615 4194304 4196468 140736364180432 140408515433984 140409039595221 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
[pid=20735/tid=20793] ppid=20732 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/20735/task/20793/stat : 20793 (java) S 20732 20735 5228 0 -1 1077944384 3 12604 0 0 0 0 5 3 20 0 15 0 13922053 14407233536 98175 18446744073709551615 4194304 4196468 140736364180432 140408514382544 140409039603611 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
[pid=20735/tid=20794] ppid=20732 vsize=14069564 CPUtime=3.81 cores=1,3,5,7
/proc/20735/task/20794/stat : 20794 (java) R 20732 20735 5228 0 -1 4202560 9263 12604 0 0 372 1 5 3 20 0 15 0 13922054 14407233536 98175 18446744073709551615 4194304 4196468 140736364180432 140408513308944 140409023071310 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
[pid=20735/tid=20795] ppid=20732 vsize=14069564 CPUtime=3.61 cores=1,3,5,7
/proc/20735/task/20795/stat : 20795 (java) R 20732 20735 5228 0 -1 4202560 6329 12604 0 0 352 1 5 3 20 0 15 0 13922054 14407233536 98175 18446744073709551615 4194304 4196468 140736364180432 140408512267568 140409021129249 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
[pid=20735/tid=20796] ppid=20732 vsize=14069564 CPUtime=2.01 cores=1,3,5,7
/proc/20735/task/20796/stat : 20796 (java) S 20732 20735 5228 0 -1 1077944384 11001 12604 0 0 190 3 5 3 20 0 15 0 13922054 14407233536 98175 18446744073709551615 4194304 4196468 140736364180432 140408511224048 140409039596162 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
[pid=20735/tid=20797] ppid=20732 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/20735/task/20797/stat : 20797 (java) S 20732 20735 5228 0 -1 1077944384 3 12604 0 0 0 0 5 3 20 0 15 0 13922054 14407233536 98175 18446744073709551615 4194304 4196468 140736364180432 140408510171744 140409039595221 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
[pid=20735/tid=20798] ppid=20732 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/20735/task/20798/stat : 20798 (java) S 20732 20735 5228 0 -1 1077944384 19 12604 0 0 0 0 5 3 20 0 15 0 13922060 14407233536 98175 18446744073709551615 4194304 4196468 140736364180432 140408509119280 140409039596162 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
Current children cumulated CPU time (s) 15.9
Current children cumulated vsize (KiB) 14069564
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 20735 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40078 s]
/proc/loadavg: 2.13 1.81 1.73 6/214 20798
/proc/meminfo: memFree=30068564/32770624 swapFree=0/242224
[pid=20735] ppid=20732 vsize=14069564 CPUtime=16.21 cores=1,3,5,7
/proc/20735/stat : 20735 (java) S 20732 20735 5228 0 -1 1077944320 78420 12604 0 0 1588 25 5 3 20 0 15 0 13922026 14407233536 100665 18446744073709551615 4194304 4196468 140736364180432 140736364162976 140409039585015 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 10 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
/proc/20735/statm: 3517391 100665 3471 1 0 3506013 0
[pid=20735/tid=20785] ppid=20732 vsize=14069564 CPUtime=5.79 cores=1,3,5,7
/proc/20735/task/20785/stat : 20785 (java) R 20732 20735 5228 0 -1 4202560 45519 12604 0 0 558 13 5 3 20 0 15 0 13922048 14407233536 100665 18446744073709551615 4194304 4196468 140736364180432 140409043814720 140408690184596 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
[pid=20735/tid=20786] ppid=20732 vsize=14069564 CPUtime=0.28 cores=1,3,5,7
/proc/20735/task/20786/stat : 20786 (java) S 20732 20735 5228 0 -1 1077944384 247 12604 0 0 19 1 5 3 20 0 15 0 13922049 14407233536 100665 18446744073709551615 4194304 4196468 140736364180432 140408996550928 140409039595221 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
[pid=20735/tid=20787] ppid=20732 vsize=14069564 CPUtime=0.29 cores=1,3,5,7
/proc/20735/task/20787/stat : 20787 (java) S 20732 20735 5228 0 -1 1077944384 455 12604 0 0 21 0 5 3 20 0 15 0 13922049 14407233536 100665 18446744073709551615 4194304 4196468 140736364180432 140408995498384 140409039595221 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
[pid=20735/tid=20788] ppid=20732 vsize=14069564 CPUtime=0.27 cores=1,3,5,7
/proc/20735/task/20788/stat : 20788 (java) S 20732 20735 5228 0 -1 1077944384 188 12604 0 0 18 1 5 3 20 0 15 0 13922049 14407233536 100665 18446744073709551615 4194304 4196468 140736364180432 140408994445840 140409039595221 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
[pid=20735/tid=20789] ppid=20732 vsize=14069564 CPUtime=0.27 cores=1,3,5,7
/proc/20735/task/20789/stat : 20789 (java) S 20732 20735 5228 0 -1 1077944384 270 12604 0 0 18 1 5 3 20 0 15 0 13922049 14407233536 100665 18446744073709551615 4194304 4196468 140736364180432 140408993393296 140409039595221 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
[pid=20735/tid=20790] ppid=20732 vsize=14069564 CPUtime=0.21 cores=1,3,5,7
/proc/20735/task/20790/stat : 20790 (java) S 20732 20735 5228 0 -1 1077944384 2408 12604 0 0 13 0 5 3 20 0 15 0 13922050 14407233536 100665 18446744073709551615 4194304 4196468 140736364180432 140408517540336 140409039596162 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
[pid=20735/tid=20791] ppid=20732 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/20735/task/20791/stat : 20791 (java) S 20732 20735 5228 0 -1 1077944384 56 12604 0 0 0 0 5 3 20 0 15 0 13922051 14407233536 100665 18446744073709551615 4194304 4196468 140736364180432 140408516486624 140409039595221 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
[pid=20735/tid=20792] ppid=20732 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/20735/task/20792/stat : 20792 (java) S 20732 20735 5228 0 -1 1077944384 43 12604 0 0 0 0 5 3 20 0 15 0 13922051 14407233536 100665 18446744073709551615 4194304 4196468 140736364180432 140408515433984 140409039595221 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
[pid=20735/tid=20793] ppid=20732 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/20735/task/20793/stat : 20793 (java) S 20732 20735 5228 0 -1 1077944384 3 12604 0 0 0 0 5 3 20 0 15 0 13922053 14407233536 100665 18446744073709551615 4194304 4196468 140736364180432 140408514382544 140409039603611 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
[pid=20735/tid=20794] ppid=20732 vsize=14069564 CPUtime=3.91 cores=1,3,5,7
/proc/20735/task/20794/stat : 20794 (java) R 20732 20735 5228 0 -1 4202560 9666 12604 0 0 382 1 5 3 20 0 15 0 13922054 14407233536 100665 18446744073709551615 4194304 4196468 140736364180432 140408513308944 140409021106178 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
[pid=20735/tid=20795] ppid=20732 vsize=14069564 CPUtime=3.71 cores=1,3,5,7
/proc/20735/task/20795/stat : 20795 (java) R 20732 20735 5228 0 -1 4202560 6370 12604 0 0 362 1 5 3 20 0 15 0 13922054 14407233536 100665 18446744073709551615 4194304 4196468 140736364180432 140408512267568 140409021491127 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
[pid=20735/tid=20796] ppid=20732 vsize=14069564 CPUtime=2.02 cores=1,3,5,7
/proc/20735/task/20796/stat : 20796 (java) S 20732 20735 5228 0 -1 1077944384 11018 12604 0 0 191 3 5 3 20 0 15 0 13922054 14407233536 100665 18446744073709551615 4194304 4196468 140736364180432 140408511224048 140409039596162 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
[pid=20735/tid=20797] ppid=20732 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/20735/task/20797/stat : 20797 (java) S 20732 20735 5228 0 -1 1077944384 3 12604 0 0 0 0 5 3 20 0 15 0 13922054 14407233536 100665 18446744073709551615 4194304 4196468 140736364180432 140408510171744 140409039595221 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
[pid=20735/tid=20798] ppid=20732 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/20735/task/20798/stat : 20798 (java) S 20732 20735 5228 0 -1 1077944384 19 12604 0 0 0 0 5 3 20 0 15 0 13922060 14407233536 100665 18446744073709551615 4194304 4196468 140736364180432 140408509119280 140409039596162 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
Current children cumulated CPU time (s) 16.21
Current children cumulated vsize (KiB) 14069564
[startup+8.00072 s]
/proc/loadavg: 2.12 1.81 1.73 4/214 20798
/proc/meminfo: memFree=29982620/32770624 swapFree=0/242224
[pid=20735] ppid=20732 vsize=14069564 CPUtime=18.78 cores=1,3,5,7
/proc/20735/stat : 20735 (java) S 20732 20735 5228 0 -1 1077944320 79877 12604 0 0 1843 27 5 3 20 0 15 0 13922026 14407233536 116295 18446744073709551615 4194304 4196468 140736364180432 140736364162976 140409039585015 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 10 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
/proc/20735/statm: 3517391 116295 3472 1 0 3506013 0
[pid=20735/tid=20785] ppid=20732 vsize=14069564 CPUtime=7.38 cores=1,3,5,7
/proc/20735/task/20785/stat : 20785 (java) R 20732 20735 5228 0 -1 4202560 45873 12604 0 0 717 13 5 3 20 0 15 0 13922048 14407233536 116295 18446744073709551615 4194304 4196468 140736364180432 140409043816072 140408688965778 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
[pid=20735/tid=20786] ppid=20732 vsize=14069564 CPUtime=0.28 cores=1,3,5,7
/proc/20735/task/20786/stat : 20786 (java) S 20732 20735 5228 0 -1 1077944384 258 12604 0 0 19 1 5 3 20 0 15 0 13922049 14407233536 116295 18446744073709551615 4194304 4196468 140736364180432 140408996550928 140409039595221 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
[pid=20735/tid=20787] ppid=20732 vsize=14069564 CPUtime=0.3 cores=1,3,5,7
/proc/20735/task/20787/stat : 20787 (java) S 20732 20735 5228 0 -1 1077944384 484 12604 0 0 21 1 5 3 20 0 15 0 13922049 14407233536 116295 18446744073709551615 4194304 4196468 140736364180432 140408995498384 140409039595221 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
[pid=20735/tid=20788] ppid=20732 vsize=14069564 CPUtime=0.28 cores=1,3,5,7
/proc/20735/task/20788/stat : 20788 (java) S 20732 20735 5228 0 -1 1077944384 496 12604 0 0 19 1 5 3 20 0 15 0 13922049 14407233536 116295 18446744073709551615 4194304 4196468 140736364180432 140408994445840 140409039595221 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
[pid=20735/tid=20789] ppid=20732 vsize=14069564 CPUtime=0.28 cores=1,3,5,7
/proc/20735/task/20789/stat : 20789 (java) S 20732 20735 5228 0 -1 1077944384 287 12604 0 0 19 1 5 3 20 0 15 0 13922049 14407233536 116295 18446744073709551615 4194304 4196468 140736364180432 140408993393296 140409039595221 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
[pid=20735/tid=20790] ppid=20732 vsize=14069564 CPUtime=0.21 cores=1,3,5,7
/proc/20735/task/20790/stat : 20790 (java) S 20732 20735 5228 0 -1 1077944384 2595 12604 0 0 13 0 5 3 20 0 15 0 13922050 14407233536 116295 18446744073709551615 4194304 4196468 140736364180432 140408517540336 140409039596162 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
[pid=20735/tid=20791] ppid=20732 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/20735/task/20791/stat : 20791 (java) S 20732 20735 5228 0 -1 1077944384 62 12604 0 0 0 0 5 3 20 0 15 0 13922051 14407233536 116295 18446744073709551615 4194304 4196468 140736364180432 140408516486624 140409039595221 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
[pid=20735/tid=20792] ppid=20732 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/20735/task/20792/stat : 20792 (java) S 20732 20735 5228 0 -1 1077944384 48 12604 0 0 0 0 5 3 20 0 15 0 13922051 14407233536 116295 18446744073709551615 4194304 4196468 140736364180432 140408515433984 140409039595221 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
[pid=20735/tid=20793] ppid=20732 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/20735/task/20793/stat : 20793 (java) S 20732 20735 5228 0 -1 1077944384 3 12604 0 0 0 0 5 3 20 0 15 0 13922053 14407233536 116295 18446744073709551615 4194304 4196468 140736364180432 140408514382544 140409039603611 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
[pid=20735/tid=20794] ppid=20732 vsize=14069564 CPUtime=4.34 cores=1,3,5,7
/proc/20735/task/20794/stat : 20794 (java) S 20732 20735 5228 0 -1 1077944384 9903 12604 0 0 425 1 5 3 20 0 15 0 13922054 14407233536 116295 18446744073709551615 4194304 4196468 140736364180432 140408513329136 140409039596162 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
[pid=20735/tid=20795] ppid=20732 vsize=14069564 CPUtime=4.13 cores=1,3,5,7
/proc/20735/task/20795/stat : 20795 (java) S 20732 20735 5228 0 -1 1077944384 6452 12604 0 0 404 1 5 3 20 0 15 0 13922054 14407233536 116295 18446744073709551615 4194304 4196468 140736364180432 140408512276592 140409039596162 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
[pid=20735/tid=20796] ppid=20732 vsize=14069564 CPUtime=2.13 cores=1,3,5,7
/proc/20735/task/20796/stat : 20796 (java) S 20732 20735 5228 0 -1 1077944384 11239 12604 0 0 201 4 5 3 20 0 15 0 13922054 14407233536 116295 18446744073709551615 4194304 4196468 140736364180432 140408511224048 140409039596162 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
[pid=20735/tid=20797] ppid=20732 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/20735/task/20797/stat : 20797 (java) S 20732 20735 5228 0 -1 1077944384 3 12604 0 0 0 0 5 3 20 0 15 0 13922054 14407233536 116295 18446744073709551615 4194304 4196468 140736364180432 140408510171744 140409039595221 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
[pid=20735/tid=20798] ppid=20732 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/20735/task/20798/stat : 20798 (java) S 20732 20735 5228 0 -1 1077944384 19 12604 0 0 0 0 5 3 20 0 15 0 13922060 14407233536 116295 18446744073709551615 4194304 4196468 140736364180432 140408509119280 140409039596162 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
Current children cumulated CPU time (s) 18.78
Current children cumulated vsize (KiB) 14069564
[startup+8.4007 s]
/proc/loadavg: 2.12 1.81 1.73 4/214 20798
/proc/meminfo: memFree=29982620/32770624 swapFree=0/242224
[pid=20735] ppid=20732 vsize=14069564 CPUtime=19.22 cores=1,3,5,7
/proc/20735/stat : 20735 (java) S 20732 20735 5228 0 -1 1077944320 79885 12604 0 0 1886 28 5 3 20 0 15 0 13922026 14407233536 116839 18446744073709551615 4194304 4196468 140736364180432 140736364162976 140409039585015 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 10 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
/proc/20735/statm: 3517391 116839 3472 1 0 3506013 0
[pid=20735/tid=20785] ppid=20732 vsize=14069564 CPUtime=7.78 cores=1,3,5,7
/proc/20735/task/20785/stat : 20785 (java) R 20732 20735 5228 0 -1 4202560 45875 12604 0 0 757 13 5 3 20 0 15 0 13922048 14407233536 116839 18446744073709551615 4194304 4196468 140736364180432 140409043818736 140408672818009 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
[pid=20735/tid=20786] ppid=20732 vsize=14069564 CPUtime=0.28 cores=1,3,5,7
/proc/20735/task/20786/stat : 20786 (java) S 20732 20735 5228 0 -1 1077944384 259 12604 0 0 19 1 5 3 20 0 15 0 13922049 14407233536 116839 18446744073709551615 4194304 4196468 140736364180432 140408996550928 140409039595221 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
[pid=20735/tid=20787] ppid=20732 vsize=14069564 CPUtime=0.3 cores=1,3,5,7
/proc/20735/task/20787/stat : 20787 (java) S 20732 20735 5228 0 -1 1077944384 485 12604 0 0 21 1 5 3 20 0 15 0 13922049 14407233536 116839 18446744073709551615 4194304 4196468 140736364180432 140408995498384 140409039595221 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
[pid=20735/tid=20788] ppid=20732 vsize=14069564 CPUtime=0.28 cores=1,3,5,7
/proc/20735/task/20788/stat : 20788 (java) S 20732 20735 5228 0 -1 1077944384 497 12604 0 0 19 1 5 3 20 0 15 0 13922049 14407233536 116839 18446744073709551615 4194304 4196468 140736364180432 140408994445840 140409039595221 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
[pid=20735/tid=20789] ppid=20732 vsize=14069564 CPUtime=0.28 cores=1,3,5,7
/proc/20735/task/20789/stat : 20789 (java) S 20732 20735 5228 0 -1 1077944384 289 12604 0 0 19 1 5 3 20 0 15 0 13922049 14407233536 116839 18446744073709551615 4194304 4196468 140736364180432 140408993393296 140409039595221 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
[pid=20735/tid=20790] ppid=20732 vsize=14069564 CPUtime=0.21 cores=1,3,5,7
/proc/20735/task/20790/stat : 20790 (java) S 20732 20735 5228 0 -1 1077944384 2595 12604 0 0 13 0 5 3 20 0 15 0 13922050 14407233536 116839 18446744073709551615 4194304 4196468 140736364180432 140408517540336 140409039596162 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
[pid=20735/tid=20791] ppid=20732 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/20735/task/20791/stat : 20791 (java) S 20732 20735 5228 0 -1 1077944384 62 12604 0 0 0 0 5 3 20 0 15 0 13922051 14407233536 116839 18446744073709551615 4194304 4196468 140736364180432 140408516486624 140409039595221 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
[pid=20735/tid=20792] ppid=20732 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/20735/task/20792/stat : 20792 (java) S 20732 20735 5228 0 -1 1077944384 48 12604 0 0 0 0 5 3 20 0 15 0 13922051 14407233536 116839 18446744073709551615 4194304 4196468 140736364180432 140408515433984 140409039595221 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
[pid=20735/tid=20793] ppid=20732 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/20735/task/20793/stat : 20793 (java) S 20732 20735 5228 0 -1 1077944384 3 12604 0 0 0 0 5 3 20 0 15 0 13922053 14407233536 116839 18446744073709551615 4194304 4196468 140736364180432 140408514382544 140409039603611 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
[pid=20735/tid=20794] ppid=20732 vsize=14069564 CPUtime=4.35 cores=1,3,5,7
/proc/20735/task/20794/stat : 20794 (java) S 20732 20735 5228 0 -1 1077944384 9903 12604 0 0 426 1 5 3 20 0 15 0 13922054 14407233536 116839 18446744073709551615 4194304 4196468 140736364180432 140408513329136 140409039596162 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
[pid=20735/tid=20795] ppid=20732 vsize=14069564 CPUtime=4.14 cores=1,3,5,7
/proc/20735/task/20795/stat : 20795 (java) S 20732 20735 5228 0 -1 1077944384 6452 12604 0 0 405 1 5 3 20 0 15 0 13922054 14407233536 116839 18446744073709551615 4194304 4196468 140736364180432 140408512276592 140409039596162 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
[pid=20735/tid=20796] ppid=20732 vsize=14069564 CPUtime=2.13 cores=1,3,5,7
/proc/20735/task/20796/stat : 20796 (java) S 20732 20735 5228 0 -1 1077944384 11240 12604 0 0 201 4 5 3 20 0 15 0 13922054 14407233536 116839 18446744073709551615 4194304 4196468 140736364180432 140408511224048 140409039596162 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
[pid=20735/tid=20797] ppid=20732 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/20735/task/20797/stat : 20797 (java) S 20732 20735 5228 0 -1 1077944384 3 12604 0 0 0 0 5 3 20 0 15 0 13922054 14407233536 116839 18446744073709551615 4194304 4196468 140736364180432 140408510171744 140409039595221 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
[pid=20735/tid=20798] ppid=20732 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/20735/task/20798/stat : 20798 (java) S 20732 20735 5228 0 -1 1077944384 19 12604 0 0 0 0 5 3 20 0 15 0 13922060 14407233536 116839 18446744073709551615 4194304 4196468 140736364180432 140408509119280 140409039596162 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
Current children cumulated CPU time (s) 19.22
Current children cumulated vsize (KiB) 14069564
[startup+8.60067 s]
/proc/loadavg: 2.12 1.81 1.73 4/214 20798
/proc/meminfo: memFree=29982620/32770624 swapFree=0/242224
[pid=20735] ppid=20732 vsize=14069564 CPUtime=19.42 cores=1,3,5,7
/proc/20735/stat : 20735 (java) S 20732 20735 5228 0 -1 1077944320 79885 12604 0 0 1906 28 5 3 20 0 15 0 13922026 14407233536 116839 18446744073709551615 4194304 4196468 140736364180432 140736364162976 140409039585015 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 10 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
/proc/20735/statm: 3517391 116839 3472 1 0 3506013 0
[pid=20735/tid=20785] ppid=20732 vsize=14069564 CPUtime=7.98 cores=1,3,5,7
/proc/20735/task/20785/stat : 20785 (java) R 20732 20735 5228 0 -1 4202560 45875 12604 0 0 777 13 5 3 20 0 15 0 13922048 14407233536 116839 18446744073709551615 4194304 4196468 140736364180432 140409043818736 140408689942362 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
[pid=20735/tid=20786] ppid=20732 vsize=14069564 CPUtime=0.28 cores=1,3,5,7
/proc/20735/task/20786/stat : 20786 (java) S 20732 20735 5228 0 -1 1077944384 259 12604 0 0 19 1 5 3 20 0 15 0 13922049 14407233536 116839 18446744073709551615 4194304 4196468 140736364180432 140408996550928 140409039595221 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
[pid=20735/tid=20787] ppid=20732 vsize=14069564 CPUtime=0.3 cores=1,3,5,7
/proc/20735/task/20787/stat : 20787 (java) S 20732 20735 5228 0 -1 1077944384 485 12604 0 0 21 1 5 3 20 0 15 0 13922049 14407233536 116839 18446744073709551615 4194304 4196468 140736364180432 140408995498384 140409039595221 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
[pid=20735/tid=20788] ppid=20732 vsize=14069564 CPUtime=0.28 cores=1,3,5,7
/proc/20735/task/20788/stat : 20788 (java) S 20732 20735 5228 0 -1 1077944384 497 12604 0 0 19 1 5 3 20 0 15 0 13922049 14407233536 116839 18446744073709551615 4194304 4196468 140736364180432 140408994445840 140409039595221 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
[pid=20735/tid=20789] ppid=20732 vsize=14069564 CPUtime=0.28 cores=1,3,5,7
/proc/20735/task/20789/stat : 20789 (java) S 20732 20735 5228 0 -1 1077944384 289 12604 0 0 19 1 5 3 20 0 15 0 13922049 14407233536 116839 18446744073709551615 4194304 4196468 140736364180432 140408993393296 140409039595221 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
[pid=20735/tid=20790] ppid=20732 vsize=14069564 CPUtime=0.21 cores=1,3,5,7
/proc/20735/task/20790/stat : 20790 (java) S 20732 20735 5228 0 -1 1077944384 2595 12604 0 0 13 0 5 3 20 0 15 0 13922050 14407233536 116839 18446744073709551615 4194304 4196468 140736364180432 140408517540336 140409039596162 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
[pid=20735/tid=20791] ppid=20732 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/20735/task/20791/stat : 20791 (java) S 20732 20735 5228 0 -1 1077944384 62 12604 0 0 0 0 5 3 20 0 15 0 13922051 14407233536 116839 18446744073709551615 4194304 4196468 140736364180432 140408516486624 140409039595221 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
[pid=20735/tid=20792] ppid=20732 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/20735/task/20792/stat : 20792 (java) S 20732 20735 5228 0 -1 1077944384 48 12604 0 0 0 0 5 3 20 0 15 0 13922051 14407233536 116839 18446744073709551615 4194304 4196468 140736364180432 140408515433984 140409039595221 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
[pid=20735/tid=20793] ppid=20732 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/20735/task/20793/stat : 20793 (java) S 20732 20735 5228 0 -1 1077944384 3 12604 0 0 0 0 5 3 20 0 15 0 13922053 14407233536 116839 18446744073709551615 4194304 4196468 140736364180432 140408514382544 140409039603611 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
[pid=20735/tid=20794] ppid=20732 vsize=14069564 CPUtime=4.35 cores=1,3,5,7
/proc/20735/task/20794/stat : 20794 (java) S 20732 20735 5228 0 -1 1077944384 9903 12604 0 0 426 1 5 3 20 0 15 0 13922054 14407233536 116839 18446744073709551615 4194304 4196468 140736364180432 140408513329136 140409039596162 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
[pid=20735/tid=20795] ppid=20732 vsize=14069564 CPUtime=4.14 cores=1,3,5,7
/proc/20735/task/20795/stat : 20795 (java) S 20732 20735 5228 0 -1 1077944384 6452 12604 0 0 405 1 5 3 20 0 15 0 13922054 14407233536 116839 18446744073709551615 4194304 4196468 140736364180432 140408512276592 140409039596162 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
[pid=20735/tid=20796] ppid=20732 vsize=14069564 CPUtime=2.13 cores=1,3,5,7
/proc/20735/task/20796/stat : 20796 (java) S 20732 20735 5228 0 -1 1077944384 11240 12604 0 0 201 4 5 3 20 0 15 0 13922054 14407233536 116839 18446744073709551615 4194304 4196468 140736364180432 140408511224048 140409039596162 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
[pid=20735/tid=20797] ppid=20732 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/20735/task/20797/stat : 20797 (java) S 20732 20735 5228 0 -1 1077944384 3 12604 0 0 0 0 5 3 20 0 15 0 13922054 14407233536 116839 18446744073709551615 4194304 4196468 140736364180432 140408510171744 140409039595221 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
[pid=20735/tid=20798] ppid=20732 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/20735/task/20798/stat : 20798 (java) S 20732 20735 5228 0 -1 1077944384 19 12604 0 0 0 0 5 3 20 0 15 0 13922060 14407233536 116839 18446744073709551615 4194304 4196468 140736364180432 140408509119280 140409039596162 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28082176 140736364181453 140736364184238 140736364184238 140736364187599 0
Current children cumulated CPU time (s) 19.42
Current children cumulated vsize (KiB) 14069564
Child status: 0
Real time (s): 8.68246
CPU time (s): 19.5091
CPU user time (s): 19.1825
CPU system time (s): 0.326559
CPU usage (%): 224.695
Max. virtual memory (cumulated for all children) (KiB): 14069564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19.1825
system time used= 0.326559
maximum resident set size= 496692
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93096
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7487
involuntary context switches= 96
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.039857 second user time and 0.057068 second system time
The end