runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3453763-1307194191/watcher-3453763-1307194191 -o /tmp/evaluation-result-3453763-1307194191/solver-3453763-1307194191 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453763-1307194191.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.47 3.24 3.44 4/445 3961
/proc/meminfo: memFree=25015092/32951124 swapFree=44043516/67111528
[pid=3961] ppid=3959 vsize=35788 CPUtime=0 cores=0,2,4,6
/proc/3961/stat : 3961 (java) S 3959 3961 31765 0 -1 4202496 1317 0 0 0 0 0 0 0 25 0 2 0 831017337 36646912 1020 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528636901 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/3961/statm: 8947 1023 786 9 0 386 0
[pid=3961/tid=3962] ppid=3959 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/3961/task/3962/stat : 3962 (java) R 3959 3961 31765 0 -1 4202560 5300 0 1 0 0 0 0 0 25 0 2 0 831017338 10694979584 6116 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246516528187 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.0806169 s]
/proc/loadavg: 3.47 3.24 3.44 4/445 3961
/proc/meminfo: memFree=25015092/32951124 swapFree=44043516/67111528
[pid=3961] ppid=3959 vsize=10538900 CPUtime=0.07 cores=0,2,4,6
/proc/3961/stat : 3961 (java) S 3959 3961 31765 0 -1 4202496 12264 0 1 0 6 1 0 0 25 0 18 0 831017337 10791833600 11962 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/3961/statm: 2634725 11965 1913 9 0 2625459 0
[pid=3961/tid=3962] ppid=3959 vsize=10538900 CPUtime=0.06 cores=0,2,4,6
/proc/3961/task/3962/stat : 3962 (java) R 3959 3961 31765 0 -1 4202560 10885 0 1 0 5 1 0 0 18 0 18 0 831017338 10791833600 11967 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246516495045 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10538900
[startup+0.10059 s]
/proc/loadavg: 3.47 3.24 3.44 4/445 3961
/proc/meminfo: memFree=25015092/32951124 swapFree=44043516/67111528
[pid=3961] ppid=3959 vsize=10540316 CPUtime=0.1 cores=0,2,4,6
/proc/3961/stat : 3961 (java) S 3959 3961 31765 0 -1 4202496 13111 0 1 0 9 1 0 0 25 0 18 0 831017337 10793283584 12809 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/3961/statm: 2635079 12810 2092 9 0 2625813 0
[pid=3961/tid=3962] ppid=3959 vsize=10540316 CPUtime=0.08 cores=0,2,4,6
/proc/3961/task/3962/stat : 3962 (java) R 3959 3961 31765 0 -1 4202560 11196 0 1 0 7 1 0 0 18 0 18 0 831017338 10793283584 12810 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 47302811736915 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540316
[startup+0.300506 s]
/proc/loadavg: 3.47 3.24 3.44 4/445 3961
/proc/meminfo: memFree=25015092/32951124 swapFree=44043516/67111528
[pid=3961] ppid=3959 vsize=10551944 CPUtime=0.7 cores=0,2,4,6
/proc/3961/stat : 3961 (java) S 3959 3961 31765 0 -1 4202496 18717 0 1 0 68 2 0 0 25 0 22 0 831017337 10805190656 16620 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/3961/statm: 2637986 16620 2193 9 0 2628720 0
[pid=3961/tid=3962] ppid=3959 vsize=10551944 CPUtime=0.13 cores=0,2,4,6
/proc/3961/task/3962/stat : 3962 (java) S 3959 3961 31765 0 -1 4202560 11645 0 1 0 12 1 0 0 19 0 22 0 831017338 10805190656 16620 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528650752 0 4 0 16800975 18446604444057632896 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 10551944
[startup+0.700437 s]
/proc/loadavg: 3.47 3.24 3.44 4/445 3961
/proc/meminfo: memFree=25015092/32951124 swapFree=44043516/67111528
[pid=3961] ppid=3959 vsize=10557732 CPUtime=2.3 cores=0,2,4,6
/proc/3961/stat : 3961 (java) S 3959 3961 31765 0 -1 4202496 39792 0 1 0 226 4 0 0 25 0 22 0 831017337 10811117568 35204 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/3961/statm: 2639433 35206 2219 9 0 2630167 0
[pid=3961/tid=3962] ppid=3959 vsize=10557732 CPUtime=0.13 cores=0,2,4,6
/proc/3961/task/3962/stat : 3962 (java) S 3959 3961 31765 0 -1 4202560 11645 0 1 0 12 1 0 0 15 0 22 0 831017338 10811117568 35207 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528650752 0 4 0 16800975 18446604444057632896 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.3
Current children cumulated vsize (KiB) 10557732
[startup+1.50136 s]
/proc/loadavg: 3.47 3.24 3.44 3/464 3983
/proc/meminfo: memFree=24806472/32951124 swapFree=44043516/67111528
[pid=3961] ppid=3959 vsize=10557860 CPUtime=3.28 cores=0,2,4,6
/proc/3961/stat : 3961 (java) S 3959 3961 31765 0 -1 4202496 62614 0 1 0 321 7 0 0 25 0 19 0 831017337 10811248640 55390 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/3961/statm: 2639465 55390 2251 9 0 2630199 0
[pid=3961/tid=3962] ppid=3959 vsize=10557860 CPUtime=0.13 cores=0,2,4,6
/proc/3961/task/3962/stat : 3962 (java) S 3959 3961 31765 0 -1 4202560 11645 0 1 0 12 1 0 0 16 0 19 0 831017338 10811248640 55390 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528650752 0 4 0 16800975 18446604444057632896 0 0 -1 0 0 0 0
[pid=3961/tid=3964] ppid=3959 vsize=10557860 CPUtime=0 cores=0,2,4,6
/proc/3961/task/3964/stat : 3964 (java) S 3959 3961 31765 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 831017339 10811248640 55390 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528650137 0 4 0 16800975 18446604444057632896 0 0 -1 6 0 0 0
[pid=3961/tid=3965] ppid=3959 vsize=10557860 CPUtime=0 cores=0,2,4,6
/proc/3961/task/3965/stat : 3965 (java) S 3959 3961 31765 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 831017339 10811248640 55390 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528650137 0 4 0 16800975 18446604444057632896 0 0 -1 6 0 0 0
[pid=3961/tid=3966] ppid=3959 vsize=10557860 CPUtime=0 cores=0,2,4,6
/proc/3961/task/3966/stat : 3966 (java) S 3959 3961 31765 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 831017339 10811248640 55390 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528650137 0 4 0 16800975 18446604444057632896 0 0 -1 6 0 0 0
[pid=3961/tid=3967] ppid=3959 vsize=10557860 CPUtime=0 cores=0,2,4,6
/proc/3961/task/3967/stat : 3967 (java) S 3959 3961 31765 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 831017339 10811248640 55390 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528650137 0 4 0 16800975 18446604444057632896 0 0 -1 6 0 0 0
[pid=3961/tid=3968] ppid=3959 vsize=10557860 CPUtime=0 cores=0,2,4,6
/proc/3961/task/3968/stat : 3968 (java) S 3959 3961 31765 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 831017339 10811248640 55390 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528650137 0 4 0 16800975 18446604444057632896 0 0 -1 6 0 0 0
[pid=3961/tid=3969] ppid=3959 vsize=10557860 CPUtime=0 cores=0,2,4,6
/proc/3961/task/3969/stat : 3969 (java) S 3959 3961 31765 0 -1 4202560 104 0 0 0 0 0 0 0 18 0 19 0 831017339 10811248640 55390 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528650137 0 4 0 16800975 18446604444057632896 0 0 -1 0 0 0 0
[pid=3961/tid=3970] ppid=3959 vsize=10557860 CPUtime=0 cores=0,2,4,6
/proc/3961/task/3970/stat : 3970 (java) S 3959 3961 31765 0 -1 4202560 192 0 0 0 0 0 0 0 18 0 19 0 831017339 10811248640 55390 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528650137 0 4 0 16800975 18446604444057632896 0 0 -1 6 0 0 0
[pid=3961/tid=3971] ppid=3959 vsize=10557860 CPUtime=0 cores=0,2,4,6
/proc/3961/task/3971/stat : 3971 (java) S 3959 3961 31765 0 -1 4202560 378 0 0 0 0 0 0 0 18 0 19 0 831017339 10811248640 55390 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528650137 0 4 0 16800975 18446604444057632896 0 0 -1 6 0 0 0
[pid=3961/tid=3972] ppid=3959 vsize=10557860 CPUtime=0.01 cores=0,2,4,6
/proc/3961/task/3972/stat : 3972 (java) S 3959 3961 31765 0 -1 4202560 673 0 0 0 1 0 0 0 15 0 19 0 831017340 10811248640 55390 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528650752 0 0 0 16800975 18446604444057632896 0 0 -1 2 0 0 0
[pid=3961/tid=3973] ppid=3959 vsize=10557860 CPUtime=0 cores=0,2,4,6
/proc/3961/task/3973/stat : 3973 (java) S 3959 3961 31765 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 831017341 10811248640 55390 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528650137 0 4 0 16800975 18446604444057632896 0 0 -1 2 0 0 0
[pid=3961/tid=3974] ppid=3959 vsize=10557860 CPUtime=0 cores=0,2,4,6
/proc/3961/task/3974/stat : 3974 (java) S 3959 3961 31765 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 831017341 10811248640 55390 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528650137 0 4 0 16800975 18446604444057632896 0 0 -1 2 0 0 0
[pid=3961/tid=3975] ppid=3959 vsize=10557860 CPUtime=0 cores=0,2,4,6
/proc/3961/task/3975/stat : 3975 (java) S 3959 3961 31765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831017343 10811248640 55390 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528657841 0 4 0 16800975 18446604444057632896 0 0 -1 2 0 0 0
[pid=3961/tid=3976] ppid=3959 vsize=10557860 CPUtime=0.74 cores=0,2,4,6
/proc/3961/task/3976/stat : 3976 (java) S 3959 3961 31765 0 -1 4202560 6146 0 0 0 74 0 0 0 25 0 19 0 831017343 10811248640 55390 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528650137 0 4 0 16800975 18446604444057632896 0 0 -1 0 0 0 0
[pid=3961/tid=3977] ppid=3959 vsize=10557860 CPUtime=0.74 cores=0,2,4,6
/proc/3961/task/3977/stat : 3977 (java) S 3959 3961 31765 0 -1 4202560 8859 0 0 0 73 1 0 0 18 0 19 0 831017343 10811248640 55390 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528650137 0 4 0 16800975 18446604444057632896 0 0 -1 4 0 0 0
[pid=3961/tid=3978] ppid=3959 vsize=10557860 CPUtime=0 cores=0,2,4,6
/proc/3961/task/3978/stat : 3978 (java) S 3959 3961 31765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831017343 10811248640 55390 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528650137 0 4 0 16800975 18446604444057632896 0 0 -1 2 0 0 0
[pid=3961/tid=3979] ppid=3959 vsize=10557860 CPUtime=0 cores=0,2,4,6
/proc/3961/task/3979/stat : 3979 (java) S 3959 3961 31765 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831017343 10811248640 55390 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528650752 0 4 0 16800975 18446604444057632896 0 0 -1 6 0 0 0
[pid=3961/tid=3983] ppid=3959 vsize=10557860 CPUtime=0 cores=0,2,4,6
/proc/3961/task/3983/stat : 3983 (java) S 3959 3961 31765 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 831017353 10811248640 55390 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528650752 0 4 0 16800975 18446604444057632896 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.28
Current children cumulated vsize (KiB) 10557860
[startup+3.10104 s]
/proc/loadavg: 3.47 3.24 3.44 3/464 3989
/proc/meminfo: memFree=24757988/32951124 swapFree=44043516/67111528
[pid=3961] ppid=3959 vsize=10557860 CPUtime=4.56 cores=0,2,4,6
/proc/3961/stat : 3961 (java) S 3959 3961 31765 0 -1 4202496 119926 0 1 0 442 14 0 0 25 0 22 0 831017337 10811248640 112699 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/3961/statm: 2639465 112704 2251 9 0 2630199 0
[pid=3961/tid=3962] ppid=3959 vsize=10557860 CPUtime=0.13 cores=0,2,4,6
/proc/3961/task/3962/stat : 3962 (java) S 3959 3961 31765 0 -1 4202560 11646 0 1 0 12 1 0 0 16 0 22 0 831017338 10811248640 112706 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528650752 0 4 0 16800975 18446604444057632896 0 0 -1 2 0 0 0
[pid=3961/tid=3964] ppid=3959 vsize=10557860 CPUtime=0 cores=0,2,4,6
/proc/3961/task/3964/stat : 3964 (java) S 3959 3961 31765 0 -1 4202560 325 0 0 0 0 0 0 0 15 0 22 0 831017339 10811248640 112710 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528650137 0 4 0 16800975 18446604444057632896 0 0 -1 6 0 0 0
[pid=3961/tid=3965] ppid=3959 vsize=10557860 CPUtime=0 cores=0,2,4,6
/proc/3961/task/3965/stat : 3965 (java) S 3959 3961 31765 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 831017339 10811248640 112712 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528650137 0 4 0 16800975 18446604444057632896 0 0 -1 6 0 0 0
[pid=3961/tid=3966] ppid=3959 vsize=10557860 CPUtime=0 cores=0,2,4,6
/proc/3961/task/3966/stat : 3966 (java) S 3959 3961 31765 0 -1 4202560 293 0 0 0 0 0 0 0 18 0 22 0 831017339 10811248640 112715 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528650137 0 4 0 16800975 18446604444057632896 0 0 -1 0 0 0 0
[pid=3961/tid=3967] ppid=3959 vsize=10557860 CPUtime=0 cores=0,2,4,6
/proc/3961/task/3967/stat : 3967 (java) S 3959 3961 31765 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831017339 10811248640 112718 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528650137 0 4 0 16800975 18446604444057632896 0 0 -1 6 0 0 0
[pid=3961/tid=3968] ppid=3959 vsize=10557860 CPUtime=0 cores=0,2,4,6
/proc/3961/task/3968/stat : 3968 (java) S 3959 3961 31765 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831017339 10811248640 112721 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528650137 0 4 0 16800975 18446604444057632896 0 0 -1 6 0 0 0
[pid=3961/tid=3969] ppid=3959 vsize=10557860 CPUtime=0 cores=0,2,4,6
/proc/3961/task/3969/stat : 3969 (java) S 3959 3961 31765 0 -1 4202560 320 0 0 0 0 0 0 0 18 0 22 0 831017339 10811248640 112724 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528650137 0 4 0 16800975 18446604444057632896 0 0 -1 6 0 0 0
[pid=3961/tid=3970] ppid=3959 vsize=10557860 CPUtime=0 cores=0,2,4,6
/proc/3961/task/3970/stat : 3970 (java) S 3959 3961 31765 0 -1 4202560 192 0 0 0 0 0 0 0 18 0 22 0 831017339 10811248640 112726 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528650137 0 4 0 16800975 18446604444057632896 0 0 -1 6 0 0 0
[pid=3961/tid=3971] ppid=3959 vsize=10557860 CPUtime=0 cores=0,2,4,6
/proc/3961/task/3971/stat : 3971 (java) S 3959 3961 31765 0 -1 4202560 378 0 0 0 0 0 0 0 18 0 22 0 831017339 10811248640 112729 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528650137 0 4 0 16800975 18446604444057632896 0 0 -1 6 0 0 0
[pid=3961/tid=3972] ppid=3959 vsize=10557860 CPUtime=0.03 cores=0,2,4,6
/proc/3961/task/3972/stat : 3972 (java) S 3959 3961 31765 0 -1 4202560 1334 0 0 0 3 0 0 0 15 0 22 0 831017340 10811248640 112732 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528650752 0 0 0 16800975 18446604444057632896 0 0 -1 2 0 0 0
[pid=3961/tid=3973] ppid=3959 vsize=10557860 CPUtime=0 cores=0,2,4,6
/proc/3961/task/3973/stat : 3973 (java) S 3959 3961 31765 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831017341 10811248640 112735 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528650137 0 4 0 16800975 18446604444057632896 0 0 -1 6 0 0 0
[pid=3961/tid=3974] ppid=3959 vsize=10557860 CPUtime=0 cores=0,2,4,6
/proc/3961/task/3974/stat : 3974 (java) S 3959 3961 31765 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 831017341 10811248640 112737 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528650137 0 4 0 16800975 18446604444057632896 0 0 -1 6 0 0 0
[pid=3961/tid=3975] ppid=3959 vsize=10557860 CPUtime=0 cores=0,2,4,6
/proc/3961/task/3975/stat : 3975 (java) S 3959 3961 31765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831017343 10811248640 112740 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528657841 0 4 0 16800975 18446604444057632896 0 0 -1 2 0 0 0
[pid=3961/tid=3976] ppid=3959 vsize=10557860 CPUtime=0.79 cores=0,2,4,6
/proc/3961/task/3976/stat : 3976 (java) S 3959 3961 31765 0 -1 4202560 6151 0 0 0 79 0 0 0 17 0 22 0 831017343 10811248640 112743 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528650137 0 4 0 16800975 18446604444057632896 0 0 -1 6 0 0 0
[pid=3961/tid=3977] ppid=3959 vsize=10557860 CPUtime=0.76 cores=0,2,4,6
/proc/3961/task/3977/stat : 3977 (java) S 3959 3961 31765 0 -1 4202560 8861 0 0 0 75 1 0 0 17 0 22 0 831017343 10811248640 112746 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528650137 0 4 0 16800975 18446604444057632896 0 0 -1 4 0 0 0
[pid=3961/tid=3978] ppid=3959 vsize=10557860 CPUtime=0 cores=0,2,4,6
/proc/3961/task/3978/stat : 3978 (java) S 3959 3961 31765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831017343 10811248640 112749 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528650137 0 4 0 16800975 18446604444057632896 0 0 -1 2 0 0 0
[pid=3961/tid=3979] ppid=3959 vsize=10557860 CPUtime=0 cores=0,2,4,6
/proc/3961/task/3979/stat : 3979 (java) S 3959 3961 31765 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831017343 10811248640 112752 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528650752 0 4 0 16800975 18446604444057632896 0 0 -1 6 0 0 0
[pid=3961/tid=3983] ppid=3959 vsize=10557860 CPUtime=0 cores=0,2,4,6
/proc/3961/task/3983/stat : 3983 (java) S 3959 3961 31765 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 831017353 10811248640 112755 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528650752 0 4 0 16800975 18446604444057632896 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.56
Current children cumulated vsize (KiB) 10557860
Solver just ended. Dumping a history of the last processes samples
[startup+3.9009 s]
/proc/loadavg: 3.47 3.24 3.44 4/467 3995
/proc/meminfo: memFree=24539476/32951124 swapFree=44043516/67111528
[pid=3961] ppid=3959 vsize=10557860 CPUtime=6.17 cores=0,2,4,6
/proc/3961/stat : 3961 (java) S 3959 3961 31765 0 -1 4202496 139164 0 1 0 600 17 0 0 25 0 22 0 831017337 10811248640 131936 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/3961/statm: 2639465 131936 2251 9 0 2630199 0
[pid=3961/tid=3962] ppid=3959 vsize=10557860 CPUtime=0.13 cores=0,2,4,6
/proc/3961/task/3962/stat : 3962 (java) S 3959 3961 31765 0 -1 4202560 11646 0 1 0 12 1 0 0 15 0 22 0 831017338 10811248640 131936 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528650752 0 4 0 16800975 18446604444057632896 0 0 -1 2 0 0 0
[pid=3961/tid=3964] ppid=3959 vsize=10557860 CPUtime=0 cores=0,2,4,6
/proc/3961/task/3964/stat : 3964 (java) S 3959 3961 31765 0 -1 4202560 325 0 0 0 0 0 0 0 15 0 22 0 831017339 10811248640 131936 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528650137 0 4 0 16800975 18446604444057632896 0 0 -1 0 0 0 0
[pid=3961/tid=3965] ppid=3959 vsize=10557860 CPUtime=0 cores=0,2,4,6
/proc/3961/task/3965/stat : 3965 (java) S 3959 3961 31765 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 831017339 10811248640 131936 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528650137 0 4 0 16800975 18446604444057632896 0 0 -1 0 0 0 0
[pid=3961/tid=3966] ppid=3959 vsize=10557860 CPUtime=0 cores=0,2,4,6
/proc/3961/task/3966/stat : 3966 (java) S 3959 3961 31765 0 -1 4202560 293 0 0 0 0 0 0 0 15 0 22 0 831017339 10811248640 131936 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528650137 0 4 0 16800975 18446604444057632896 0 0 -1 0 0 0 0
[pid=3961/tid=3967] ppid=3959 vsize=10557860 CPUtime=0 cores=0,2,4,6
/proc/3961/task/3967/stat : 3967 (java) S 3959 3961 31765 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831017339 10811248640 131936 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528650137 0 4 0 16800975 18446604444057632896 0 0 -1 6 0 0 0
[pid=3961/tid=3968] ppid=3959 vsize=10557860 CPUtime=0 cores=0,2,4,6
/proc/3961/task/3968/stat : 3968 (java) S 3959 3961 31765 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831017339 10811248640 131936 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528650137 0 4 0 16800975 18446604444057632896 0 0 -1 0 0 0 0
[pid=3961/tid=3969] ppid=3959 vsize=10557860 CPUtime=0 cores=0,2,4,6
/proc/3961/task/3969/stat : 3969 (java) S 3959 3961 31765 0 -1 4202560 323 0 0 0 0 0 0 0 15 0 22 0 831017339 10811248640 131936 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528650137 0 4 0 16800975 18446604444057632896 0 0 -1 0 0 0 0
[pid=3961/tid=3970] ppid=3959 vsize=10557860 CPUtime=0 cores=0,2,4,6
/proc/3961/task/3970/stat : 3970 (java) S 3959 3961 31765 0 -1 4202560 192 0 0 0 0 0 0 0 15 0 22 0 831017339 10811248640 131936 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528650137 0 4 0 16800975 18446604444057632896 0 0 -1 6 0 0 0
[pid=3961/tid=3971] ppid=3959 vsize=10557860 CPUtime=0 cores=0,2,4,6
/proc/3961/task/3971/stat : 3971 (java) S 3959 3961 31765 0 -1 4202560 384 0 0 0 0 0 0 0 15 0 22 0 831017339 10811248640 131936 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528650137 0 4 0 16800975 18446604444057632896 0 0 -1 6 0 0 0
[pid=3961/tid=3972] ppid=3959 vsize=10557860 CPUtime=0.05 cores=0,2,4,6
/proc/3961/task/3972/stat : 3972 (java) S 3959 3961 31765 0 -1 4202560 1713 0 0 0 5 0 0 0 15 0 22 0 831017340 10811248640 131936 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528650752 0 0 0 16800975 18446604444057632896 0 0 -1 2 0 0 0
[pid=3961/tid=3973] ppid=3959 vsize=10557860 CPUtime=0 cores=0,2,4,6
/proc/3961/task/3973/stat : 3973 (java) S 3959 3961 31765 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831017341 10811248640 131936 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528650137 0 4 0 16800975 18446604444057632896 0 0 -1 6 0 0 0
[pid=3961/tid=3974] ppid=3959 vsize=10557860 CPUtime=0 cores=0,2,4,6
/proc/3961/task/3974/stat : 3974 (java) S 3959 3961 31765 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 831017341 10811248640 131936 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528650137 0 4 0 16800975 18446604444057632896 0 0 -1 6 0 0 0
[pid=3961/tid=3975] ppid=3959 vsize=10557860 CPUtime=0 cores=0,2,4,6
/proc/3961/task/3975/stat : 3975 (java) S 3959 3961 31765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831017343 10811248640 131936 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528657841 0 4 0 16800975 18446604444057632896 0 0 -1 2 0 0 0
[pid=3961/tid=3976] ppid=3959 vsize=10557860 CPUtime=0.8 cores=0,2,4,6
/proc/3961/task/3976/stat : 3976 (java) S 3959 3961 31765 0 -1 4202560 6152 0 0 0 80 0 0 0 15 0 22 0 831017343 10811248640 131936 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528650137 0 4 0 16800975 18446604444057632896 0 0 -1 4 0 0 0
[pid=3961/tid=3977] ppid=3959 vsize=10557860 CPUtime=0.78 cores=0,2,4,6
/proc/3961/task/3977/stat : 3977 (java) S 3959 3961 31765 0 -1 4202560 8863 0 0 0 77 1 0 0 15 0 22 0 831017343 10811248640 131936 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528650137 0 4 0 16800975 18446604444057632896 0 0 -1 4 0 0 0
[pid=3961/tid=3978] ppid=3959 vsize=10557860 CPUtime=0 cores=0,2,4,6
/proc/3961/task/3978/stat : 3978 (java) S 3959 3961 31765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831017343 10811248640 131936 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528650137 0 4 0 16800975 18446604444057632896 0 0 -1 2 0 0 0
[pid=3961/tid=3979] ppid=3959 vsize=10557860 CPUtime=0 cores=0,2,4,6
/proc/3961/task/3979/stat : 3979 (java) S 3959 3961 31765 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831017343 10811248640 131936 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528650752 0 4 0 16800975 18446604444057632896 0 0 -1 6 0 0 0
[pid=3961/tid=3983] ppid=3959 vsize=10557860 CPUtime=0 cores=0,2,4,6
/proc/3961/task/3983/stat : 3983 (java) S 3959 3961 31765 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 831017353 10811248640 131936 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528650752 0 4 0 16800975 18446604444057632896 0 0 -1 4 0 0 0
[pid=3961/tid=3993] ppid=3959 vsize=10557860 CPUtime=1.18 cores=0,2,4,6
/proc/3961/task/3993/stat : 3993 (java) R 3959 3961 31765 0 -1 4202560 305 0 0 0 118 0 0 0 17 0 22 0 831017604 10811248640 131936 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 46912505628654 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3961/tid=3994] ppid=3959 vsize=10557860 CPUtime=1.17 cores=0,2,4,6
/proc/3961/task/3994/stat : 3994 (java) R 3959 3961 31765 0 -1 4202560 54801 0 0 0 110 7 0 0 18 0 22 0 831017604 10811248640 131936 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 46912505611041 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=3961/tid=3995] ppid=3959 vsize=10557860 CPUtime=0 cores=0,2,4,6
/proc/3961/task/3995/stat : 3995 (java) S 3959 3961 31765 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 831017605 10811248640 131936 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528650752 0 4 0 16800975 18446604444057632896 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 10557860
[startup+4.10088 s]
/proc/loadavg: 3.47 3.24 3.44 4/467 3995
/proc/meminfo: memFree=24539476/32951124 swapFree=44043516/67111528
[pid=3961] ppid=3959 vsize=10557860 CPUtime=6.58 cores=0,2,4,6
/proc/3961/stat : 3961 (java) S 3959 3961 31765 0 -1 4202496 142820 0 1 0 641 17 0 0 25 0 22 0 831017337 10811248640 135592 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/3961/statm: 2639465 135596 2251 9 0 2630199 0
[pid=3961/tid=3962] ppid=3959 vsize=10557860 CPUtime=0.13 cores=0,2,4,6
/proc/3961/task/3962/stat : 3962 (java) S 3959 3961 31765 0 -1 4202560 11646 0 1 0 12 1 0 0 15 0 22 0 831017338 10811248640 135598 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528650752 0 4 0 16800975 18446604444057632896 0 0 -1 2 0 0 0
[pid=3961/tid=3964] ppid=3959 vsize=10557860 CPUtime=0 cores=0,2,4,6
/proc/3961/task/3964/stat : 3964 (java) S 3959 3961 31765 0 -1 4202560 325 0 0 0 0 0 0 0 15 0 22 0 831017339 10811248640 135601 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528650137 0 4 0 16800975 18446604444057632896 0 0 -1 0 0 0 0
[pid=3961/tid=3965] ppid=3959 vsize=10557860 CPUtime=0 cores=0,2,4,6
/proc/3961/task/3965/stat : 3965 (java) S 3959 3961 31765 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 831017339 10811248640 135603 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528650137 0 4 0 16800975 18446604444057632896 0 0 -1 0 0 0 0
[pid=3961/tid=3966] ppid=3959 vsize=10557860 CPUtime=0 cores=0,2,4,6
/proc/3961/task/3966/stat : 3966 (java) S 3959 3961 31765 0 -1 4202560 293 0 0 0 0 0 0 0 15 0 22 0 831017339 10811248640 135605 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528650137 0 4 0 16800975 18446604444057632896 0 0 -1 0 0 0 0
[pid=3961/tid=3967] ppid=3959 vsize=10557860 CPUtime=0 cores=0,2,4,6
/proc/3961/task/3967/stat : 3967 (java) S 3959 3961 31765 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831017339 10811248640 135608 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528650137 0 4 0 16800975 18446604444057632896 0 0 -1 6 0 0 0
[pid=3961/tid=3968] ppid=3959 vsize=10557860 CPUtime=0 cores=0,2,4,6
/proc/3961/task/3968/stat : 3968 (java) S 3959 3961 31765 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831017339 10811248640 135610 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528650137 0 4 0 16800975 18446604444057632896 0 0 -1 0 0 0 0
[pid=3961/tid=3969] ppid=3959 vsize=10557860 CPUtime=0 cores=0,2,4,6
/proc/3961/task/3969/stat : 3969 (java) S 3959 3961 31765 0 -1 4202560 323 0 0 0 0 0 0 0 15 0 22 0 831017339 10811248640 135613 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528650137 0 4 0 16800975 18446604444057632896 0 0 -1 0 0 0 0
[pid=3961/tid=3970] ppid=3959 vsize=10557860 CPUtime=0 cores=0,2,4,6
/proc/3961/task/3970/stat : 3970 (java) S 3959 3961 31765 0 -1 4202560 192 0 0 0 0 0 0 0 15 0 22 0 831017339 10811248640 135615 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528650137 0 4 0 16800975 18446604444057632896 0 0 -1 6 0 0 0
[pid=3961/tid=3971] ppid=3959 vsize=10557860 CPUtime=0 cores=0,2,4,6
/proc/3961/task/3971/stat : 3971 (java) S 3959 3961 31765 0 -1 4202560 384 0 0 0 0 0 0 0 15 0 22 0 831017339 10811248640 135617 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528650137 0 4 0 16800975 18446604444057632896 0 0 -1 6 0 0 0
[pid=3961/tid=3972] ppid=3959 vsize=10557860 CPUtime=0.05 cores=0,2,4,6
/proc/3961/task/3972/stat : 3972 (java) S 3959 3961 31765 0 -1 4202560 1713 0 0 0 5 0 0 0 15 0 22 0 831017340 10811248640 135619 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528650752 0 0 0 16800975 18446604444057632896 0 0 -1 2 0 0 0
[pid=3961/tid=3973] ppid=3959 vsize=10557860 CPUtime=0 cores=0,2,4,6
/proc/3961/task/3973/stat : 3973 (java) S 3959 3961 31765 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831017341 10811248640 135622 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528650137 0 4 0 16800975 18446604444057632896 0 0 -1 6 0 0 0
[pid=3961/tid=3974] ppid=3959 vsize=10557860 CPUtime=0 cores=0,2,4,6
/proc/3961/task/3974/stat : 3974 (java) S 3959 3961 31765 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 831017341 10811248640 135624 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528650137 0 4 0 16800975 18446604444057632896 0 0 -1 6 0 0 0
[pid=3961/tid=3975] ppid=3959 vsize=10557860 CPUtime=0 cores=0,2,4,6
/proc/3961/task/3975/stat : 3975 (java) S 3959 3961 31765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831017343 10811248640 135626 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528657841 0 4 0 16800975 18446604444057632896 0 0 -1 2 0 0 0
[pid=3961/tid=3976] ppid=3959 vsize=10557860 CPUtime=0.81 cores=0,2,4,6
/proc/3961/task/3976/stat : 3976 (java) S 3959 3961 31765 0 -1 4202560 6152 0 0 0 81 0 0 0 15 0 22 0 831017343 10811248640 135628 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528650137 0 4 0 16800975 18446604444057632896 0 0 -1 4 0 0 0
[pid=3961/tid=3977] ppid=3959 vsize=10557860 CPUtime=0.78 cores=0,2,4,6
/proc/3961/task/3977/stat : 3977 (java) S 3959 3961 31765 0 -1 4202560 8863 0 0 0 77 1 0 0 15 0 22 0 831017343 10811248640 135630 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528650137 0 4 0 16800975 18446604444057632896 0 0 -1 4 0 0 0
[pid=3961/tid=3978] ppid=3959 vsize=10557860 CPUtime=0 cores=0,2,4,6
/proc/3961/task/3978/stat : 3978 (java) S 3959 3961 31765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831017343 10811248640 135632 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528650137 0 4 0 16800975 18446604444057632896 0 0 -1 2 0 0 0
[pid=3961/tid=3979] ppid=3959 vsize=10557860 CPUtime=0 cores=0,2,4,6
/proc/3961/task/3979/stat : 3979 (java) S 3959 3961 31765 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831017343 10811248640 135635 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528650752 0 4 0 16800975 18446604444057632896 0 0 -1 6 0 0 0
[pid=3961/tid=3983] ppid=3959 vsize=10557860 CPUtime=0 cores=0,2,4,6
/proc/3961/task/3983/stat : 3983 (java) S 3959 3961 31765 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 831017353 10811248640 135638 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528650752 0 4 0 16800975 18446604444057632896 0 0 -1 4 0 0 0
[pid=3961/tid=3993] ppid=3959 vsize=10557860 CPUtime=1.38 cores=0,2,4,6
/proc/3961/task/3993/stat : 3993 (java) R 3959 3961 31765 0 -1 4202560 306 0 0 0 138 0 0 0 18 0 22 0 831017604 10811248640 135641 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 46912505656402 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3961/tid=3994] ppid=3959 vsize=10557860 CPUtime=1.37 cores=0,2,4,6
/proc/3961/task/3994/stat : 3994 (java) R 3959 3961 31765 0 -1 4202560 58508 0 0 0 130 7 0 0 19 0 22 0 831017604 10811248640 135644 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 46912505685997 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=3961/tid=3995] ppid=3959 vsize=10557860 CPUtime=0 cores=0,2,4,6
/proc/3961/task/3995/stat : 3995 (java) S 3959 3961 31765 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 831017605 10811248640 135647 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528650752 0 4 0 16800975 18446604444057632896 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.58
Current children cumulated vsize (KiB) 10557860
[startup+4.20085 s]
/proc/loadavg: 3.47 3.24 3.44 4/467 3995
/proc/meminfo: memFree=24539476/32951124 swapFree=44043516/67111528
[pid=3961] ppid=3959 vsize=10557860 CPUtime=6.69 cores=0,2,4,6
/proc/3961/stat : 3961 (java) S 3959 3961 31765 0 -1 4202496 147019 0 1 0 651 18 0 0 25 0 19 0 831017337 10811248640 139791 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/3961/statm: 2639465 139791 2251 9 0 2630199 0
[pid=3961/tid=3962] ppid=3959 vsize=10557860 CPUtime=0.16 cores=0,2,4,6
/proc/3961/task/3962/stat : 3962 (java) R 3959 3961 31765 0 -1 4202560 11648 0 1 0 15 1 0 0 15 0 19 0 831017338 10811248640 139791 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 46912506193424 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=3961/tid=3964] ppid=3959 vsize=10557860 CPUtime=0 cores=0,2,4,6
/proc/3961/task/3964/stat : 3964 (java) S 3959 3961 31765 0 -1 4202560 325 0 0 0 0 0 0 0 15 0 19 0 831017339 10811248640 139791 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528650137 0 4 0 16800975 18446604444057632896 0 0 -1 0 0 0 0
[pid=3961/tid=3965] ppid=3959 vsize=10557860 CPUtime=0 cores=0,2,4,6
/proc/3961/task/3965/stat : 3965 (java) S 3959 3961 31765 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 831017339 10811248640 139791 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528650137 0 4 0 16800975 18446604444057632896 0 0 -1 0 0 0 0
[pid=3961/tid=3966] ppid=3959 vsize=10557860 CPUtime=0 cores=0,2,4,6
/proc/3961/task/3966/stat : 3966 (java) S 3959 3961 31765 0 -1 4202560 293 0 0 0 0 0 0 0 15 0 19 0 831017339 10811248640 139791 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528650137 0 4 0 16800975 18446604444057632896 0 0 -1 0 0 0 0
[pid=3961/tid=3967] ppid=3959 vsize=10557860 CPUtime=0 cores=0,2,4,6
/proc/3961/task/3967/stat : 3967 (java) S 3959 3961 31765 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831017339 10811248640 139791 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528650137 0 4 0 16800975 18446604444057632896 0 0 -1 6 0 0 0
[pid=3961/tid=3968] ppid=3959 vsize=10557860 CPUtime=0 cores=0,2,4,6
/proc/3961/task/3968/stat : 3968 (java) S 3959 3961 31765 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831017339 10811248640 139791 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528650137 0 4 0 16800975 18446604444057632896 0 0 -1 0 0 0 0
[pid=3961/tid=3969] ppid=3959 vsize=10557860 CPUtime=0 cores=0,2,4,6
/proc/3961/task/3969/stat : 3969 (java) S 3959 3961 31765 0 -1 4202560 323 0 0 0 0 0 0 0 15 0 19 0 831017339 10811248640 139791 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528650137 0 4 0 16800975 18446604444057632896 0 0 -1 0 0 0 0
[pid=3961/tid=3970] ppid=3959 vsize=10557860 CPUtime=0 cores=0,2,4,6
/proc/3961/task/3970/stat : 3970 (java) S 3959 3961 31765 0 -1 4202560 192 0 0 0 0 0 0 0 15 0 19 0 831017339 10811248640 139791 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528650137 0 4 0 16800975 18446604444057632896 0 0 -1 6 0 0 0
[pid=3961/tid=3971] ppid=3959 vsize=10557860 CPUtime=0 cores=0,2,4,6
/proc/3961/task/3971/stat : 3971 (java) S 3959 3961 31765 0 -1 4202560 384 0 0 0 0 0 0 0 15 0 19 0 831017339 10811248640 139791 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528650137 0 4 0 16800975 18446604444057632896 0 0 -1 6 0 0 0
[pid=3961/tid=3972] ppid=3959 vsize=10557860 CPUtime=0.05 cores=0,2,4,6
/proc/3961/task/3972/stat : 3972 (java) S 3959 3961 31765 0 -1 4202560 1713 0 0 0 5 0 0 0 15 0 19 0 831017340 10811248640 139791 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528650752 0 0 0 16800975 18446604444057632896 0 0 -1 2 0 0 0
[pid=3961/tid=3973] ppid=3959 vsize=10557860 CPUtime=0 cores=0,2,4,6
/proc/3961/task/3973/stat : 3973 (java) S 3959 3961 31765 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 831017341 10811248640 139791 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528650137 0 4 0 16800975 18446604444057632896 0 0 -1 6 0 0 0
[pid=3961/tid=3974] ppid=3959 vsize=10557860 CPUtime=0 cores=0,2,4,6
/proc/3961/task/3974/stat : 3974 (java) S 3959 3961 31765 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 831017341 10811248640 139791 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528650137 0 4 0 16800975 18446604444057632896 0 0 -1 6 0 0 0
[pid=3961/tid=3975] ppid=3959 vsize=10557860 CPUtime=0 cores=0,2,4,6
/proc/3961/task/3975/stat : 3975 (java) S 3959 3961 31765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831017343 10811248640 139791 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528657841 0 4 0 16800975 18446604444057632896 0 0 -1 2 0 0 0
[pid=3961/tid=3976] ppid=3959 vsize=10557860 CPUtime=0.81 cores=0,2,4,6
/proc/3961/task/3976/stat : 3976 (java) S 3959 3961 31765 0 -1 4202560 6152 0 0 0 81 0 0 0 15 0 19 0 831017343 10811248640 139791 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528650137 0 4 0 16800975 18446604444057632896 0 0 -1 4 0 0 0
[pid=3961/tid=3977] ppid=3959 vsize=10557860 CPUtime=0.78 cores=0,2,4,6
/proc/3961/task/3977/stat : 3977 (java) S 3959 3961 31765 0 -1 4202560 8863 0 0 0 77 1 0 0 15 0 19 0 831017343 10811248640 139791 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528650137 0 4 0 16800975 18446604444057632896 0 0 -1 4 0 0 0
[pid=3961/tid=3978] ppid=3959 vsize=10557860 CPUtime=0 cores=0,2,4,6
/proc/3961/task/3978/stat : 3978 (java) S 3959 3961 31765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831017343 10811248640 139791 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528650137 0 4 0 16800975 18446604444057632896 0 0 -1 2 0 0 0
[pid=3961/tid=3979] ppid=3959 vsize=10557860 CPUtime=0 cores=0,2,4,6
/proc/3961/task/3979/stat : 3979 (java) S 3959 3961 31765 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831017343 10811248640 139791 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528650752 0 4 0 16800975 18446604444057632896 0 0 -1 6 0 0 0
[pid=3961/tid=3983] ppid=3959 vsize=10557860 CPUtime=0 cores=0,2,4,6
/proc/3961/task/3983/stat : 3983 (java) S 3959 3961 31765 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 831017353 10811248640 139791 33554432000 1073741824 1073778376 140735113582848 18446744073709551615 246528650752 0 4 0 16800975 18446604444057632896 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 6.69
Current children cumulated vsize (KiB) 10557860
Child status: 30
Real time (s): 4.25869
CPU time (s): 6.75997
CPU user time (s): 6.553
CPU system time (s): 0.206968
CPU usage (%): 158.734
Max. virtual memory (cumulated for all children) (KiB): 10564636
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.553
system time used= 0.206968
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 147027
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 424
involuntary context switches= 124
runsolver used 0.019996 second user time and 0.06199 second system time
The end