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-3454790-1307186816/watcher-3454790-1307186816 -o /tmp/evaluation-result-3454790-1307186816/solver-3454790-1307186816 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454790-1307186816.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.32 2.16 2.02 7/498 31958
/proc/meminfo: memFree=21342048/32951124 swapFree=67057928/67111528
[pid=31958] ppid=31956 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/31958/stat : 31958 (java) S 31956 31958 28116 0 -1 4202496 7019 0 1 0 0 0 0 0 25 0 2 0 811096955 10694979584 6720 33554432000 1073741824 1073778376 140737450842768 18446744073709551615 254273419237 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/31958/statm: 2611079 6734 917 9 0 2602235 0
[pid=31958/tid=31959] ppid=31956 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/31958/task/31959/stat : 31959 (java) R 31956 31958 28116 0 -1 4202560 5962 0 1 0 0 0 0 0 25 0 2 0 811096955 10694979584 6778 33554432000 1073741824 1073778376 140737450842768 18446744073709551615 254261310523 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.067706 s]
/proc/loadavg: 3.32 2.16 2.02 7/498 31958
/proc/meminfo: memFree=21342048/32951124 swapFree=67057928/67111528
[pid=31958] ppid=31956 vsize=10473088 CPUtime=0.05 cores=0,2,4,6
/proc/31958/stat : 31958 (java) S 31956 31958 28116 0 -1 4202496 11809 0 1 0 4 1 0 0 25 0 18 0 811096955 10724442112 11505 33554432000 1073741824 1073778376 140737450842768 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/31958/statm: 2618272 11506 1742 9 0 2609006 0
[pid=31958/tid=31959] ppid=31956 vsize=10473088 CPUtime=0.05 cores=0,2,4,6
/proc/31958/task/31959/stat : 31959 (java) R 31956 31958 28116 0 -1 4202560 10635 0 1 0 4 1 0 0 25 0 18 0 811096955 10724442112 11507 33554432000 1073741824 1073778376 140737450842768 18446744073709551615 47705785402904 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10473088
[startup+0.100727 s]
/proc/loadavg: 3.32 2.16 2.02 7/498 31958
/proc/meminfo: memFree=21342048/32951124 swapFree=67057928/67111528
[pid=31958] ppid=31956 vsize=10540008 CPUtime=0.11 cores=0,2,4,6
/proc/31958/stat : 31958 (java) S 31956 31958 28116 0 -1 4202496 13115 0 1 0 9 2 0 0 25 0 18 0 811096955 10792968192 12797 33554432000 1073741824 1073778376 140737450842768 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/31958/statm: 2635002 12799 2092 9 0 2625736 0
[pid=31958/tid=31959] ppid=31956 vsize=10540008 CPUtime=0.08 cores=0,2,4,6
/proc/31958/task/31959/stat : 31959 (java) R 31956 31958 28116 0 -1 4202560 11212 0 1 0 7 1 0 0 18 0 18 0 811096955 10792968192 12799 33554432000 1073741824 1073778376 140737450842768 18446744073709551615 47705782370211 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540008
[startup+0.385721 s]
/proc/loadavg: 3.32 2.16 2.02 7/498 31958
/proc/meminfo: memFree=21342048/32951124 swapFree=67057928/67111528
[pid=31958] ppid=31956 vsize=10560692 CPUtime=2.01 cores=0,2,4,6
/proc/31958/stat : 31958 (java) S 31956 31958 28116 0 -1 4202496 39464 0 1 0 196 5 0 0 25 0 22 0 811096955 10814148608 35293 33554432000 1073741824 1073778376 140737450842768 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/31958/statm: 2640173 35293 2223 9 0 2630907 0
[pid=31958/tid=31959] ppid=31956 vsize=10560692 CPUtime=0.15 cores=0,2,4,6
/proc/31958/task/31959/stat : 31959 (java) S 31956 31958 28116 0 -1 4202560 11792 0 1 0 14 1 0 0 19 0 22 0 811096955 10814148608 35294 33554432000 1073741824 1073778376 140737450842768 18446744073709551615 254273433088 0 4 0 16800975 18446604445756442624 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.01
Current children cumulated vsize (KiB) 10560692
[startup+0.900311 s]
/proc/loadavg: 3.32 2.16 2.02 7/498 31958
/proc/meminfo: memFree=21342048/32951124 swapFree=67057928/67111528
[pid=31958] ppid=31956 vsize=10560876 CPUtime=2.96 cores=0,2,4,6
/proc/31958/stat : 31958 (java) S 31956 31958 28116 0 -1 4202496 56447 0 1 0 288 8 0 0 25 0 22 0 811096955 10814337024 48682 33554432000 1073741824 1073778376 140737450842768 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/31958/statm: 2640219 48686 2253 9 0 2630953 0
[pid=31958/tid=31959] ppid=31956 vsize=10560876 CPUtime=0.15 cores=0,2,4,6
/proc/31958/task/31959/stat : 31959 (java) S 31956 31958 28116 0 -1 4202560 11792 0 1 0 14 1 0 0 15 0 22 0 811096955 10814337024 48688 33554432000 1073741824 1073778376 140737450842768 18446744073709551615 254273433088 0 4 0 16800975 18446604445756442624 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 10560876
[startup+1.50051 s]
/proc/loadavg: 3.32 2.16 2.02 7/498 31958
/proc/meminfo: memFree=21342048/32951124 swapFree=67057928/67111528
[pid=31958] ppid=31956 vsize=10560876 CPUtime=4.4 cores=0,2,4,6
/proc/31958/stat : 31958 (java) S 31956 31958 28116 0 -1 4202496 67718 0 1 0 431 9 0 0 25 0 22 0 811096955 10814337024 59650 33554432000 1073741824 1073778376 140737450842768 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/31958/statm: 2640219 59650 2257 9 0 2630953 0
[pid=31958/tid=31959] ppid=31956 vsize=10560876 CPUtime=0.15 cores=0,2,4,6
/proc/31958/task/31959/stat : 31959 (java) S 31956 31958 28116 0 -1 4202560 11792 0 1 0 14 1 0 0 15 0 22 0 811096955 10814337024 59650 33554432000 1073741824 1073778376 140737450842768 18446744073709551615 254273433088 0 4 0 16800975 18446604445756442624 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.4
Current children cumulated vsize (KiB) 10560876
Solver just ended. Dumping a history of the last processes samples
[startup+1.71846 s]
/proc/loadavg: 3.32 2.16 2.02 5/520 31980
/proc/meminfo: memFree=20845324/32951124 swapFree=67057928/67111528
[pid=31958] ppid=31956 vsize=10560876 CPUtime=4.84 cores=0,2,4,6
/proc/31958/stat : 31958 (java) S 31956 31958 28116 0 -1 4202496 67718 0 1 0 475 9 0 0 25 0 22 0 811096955 10814337024 59650 33554432000 1073741824 1073778376 140737450842768 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/31958/statm: 2640219 59650 2257 9 0 2630953 0
[pid=31958/tid=31959] ppid=31956 vsize=10560876 CPUtime=0.15 cores=0,2,4,6
/proc/31958/task/31959/stat : 31959 (java) S 31956 31958 28116 0 -1 4202560 11792 0 1 0 14 1 0 0 15 0 22 0 811096955 10814337024 59650 33554432000 1073741824 1073778376 140737450842768 18446744073709551615 254273433088 0 4 0 16800975 18446604445756442624 0 0 -1 6 0 0 0
[pid=31958/tid=31961] ppid=31956 vsize=10560876 CPUtime=0 cores=0,2,4,6
/proc/31958/task/31961/stat : 31961 (java) S 31956 31958 28116 0 -1 4202560 241 0 0 0 0 0 0 0 15 0 22 0 811096957 10814337024 59650 33554432000 1073741824 1073778376 140737450842768 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 0 0 0 0
[pid=31958/tid=31962] ppid=31956 vsize=10560876 CPUtime=0 cores=0,2,4,6
/proc/31958/task/31962/stat : 31962 (java) S 31956 31958 28116 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 811096957 10814337024 59650 33554432000 1073741824 1073778376 140737450842768 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 0 0 0 0
[pid=31958/tid=31963] ppid=31956 vsize=10560876 CPUtime=0 cores=0,2,4,6
/proc/31958/task/31963/stat : 31963 (java) S 31956 31958 28116 0 -1 4202560 36 0 0 0 0 0 0 0 15 0 22 0 811096957 10814337024 59650 33554432000 1073741824 1073778376 140737450842768 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 0 0 0 0
[pid=31958/tid=31964] ppid=31956 vsize=10560876 CPUtime=0 cores=0,2,4,6
/proc/31958/task/31964/stat : 31964 (java) S 31956 31958 28116 0 -1 4202560 86 0 0 0 0 0 0 0 16 0 22 0 811096957 10814337024 59650 33554432000 1073741824 1073778376 140737450842768 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 0 0 0 0
[pid=31958/tid=31965] ppid=31956 vsize=10560876 CPUtime=0 cores=0,2,4,6
/proc/31958/task/31965/stat : 31965 (java) S 31956 31958 28116 0 -1 4202560 300 0 0 0 0 0 0 0 16 0 22 0 811096957 10814337024 59650 33554432000 1073741824 1073778376 140737450842768 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 6 0 0 0
[pid=31958/tid=31966] ppid=31956 vsize=10560876 CPUtime=0 cores=0,2,4,6
/proc/31958/task/31966/stat : 31966 (java) S 31956 31958 28116 0 -1 4202560 128 0 0 0 0 0 0 0 15 0 22 0 811096957 10814337024 59650 33554432000 1073741824 1073778376 140737450842768 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 0 0 0 0
[pid=31958/tid=31967] ppid=31956 vsize=10560876 CPUtime=0 cores=0,2,4,6
/proc/31958/task/31967/stat : 31967 (java) S 31956 31958 28116 0 -1 4202560 84 0 0 0 0 0 0 0 15 0 22 0 811096957 10814337024 59650 33554432000 1073741824 1073778376 140737450842768 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 0 0 0 0
[pid=31958/tid=31968] ppid=31956 vsize=10560876 CPUtime=0 cores=0,2,4,6
/proc/31958/task/31968/stat : 31968 (java) S 31956 31958 28116 0 -1 4202560 236 0 0 0 0 0 0 0 15 0 22 0 811096957 10814337024 59650 33554432000 1073741824 1073778376 140737450842768 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 0 0 0 0
[pid=31958/tid=31969] ppid=31956 vsize=10560876 CPUtime=0.06 cores=0,2,4,6
/proc/31958/task/31969/stat : 31969 (java) S 31956 31958 28116 0 -1 4202560 1335 0 0 0 6 0 0 0 16 0 22 0 811096958 10814337024 59650 33554432000 1073741824 1073778376 140737450842768 18446744073709551615 254273433088 0 0 0 16800975 18446604445756442624 0 0 -1 4 0 0 0
[pid=31958/tid=31970] ppid=31956 vsize=10560876 CPUtime=0 cores=0,2,4,6
/proc/31958/task/31970/stat : 31970 (java) S 31956 31958 28116 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 22 0 811096958 10814337024 59650 33554432000 1073741824 1073778376 140737450842768 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 4 0 0 0
[pid=31958/tid=31971] ppid=31956 vsize=10560876 CPUtime=0 cores=0,2,4,6
/proc/31958/task/31971/stat : 31971 (java) S 31956 31958 28116 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 22 0 811096958 10814337024 59650 33554432000 1073741824 1073778376 140737450842768 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 4 0 0 0
[pid=31958/tid=31972] ppid=31956 vsize=10560876 CPUtime=0 cores=0,2,4,6
/proc/31958/task/31972/stat : 31972 (java) S 31956 31958 28116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811096960 10814337024 59650 33554432000 1073741824 1073778376 140737450842768 18446744073709551615 254273440177 0 4 0 16800975 18446604445756442624 0 0 -1 4 0 0 0
[pid=31958/tid=31973] ppid=31956 vsize=10560876 CPUtime=0.81 cores=0,2,4,6
/proc/31958/task/31973/stat : 31973 (java) S 31956 31958 28116 0 -1 4202560 7320 0 0 0 80 1 0 0 15 0 22 0 811096961 10814337024 59650 33554432000 1073741824 1073778376 140737450842768 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 2 0 0 0
[pid=31958/tid=31974] ppid=31956 vsize=10560876 CPUtime=0.84 cores=0,2,4,6
/proc/31958/task/31974/stat : 31974 (java) S 31956 31958 28116 0 -1 4202560 8143 0 0 0 83 1 0 0 15 0 22 0 811096961 10814337024 59650 33554432000 1073741824 1073778376 140737450842768 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 6 0 0 0
[pid=31958/tid=31975] ppid=31956 vsize=10560876 CPUtime=0 cores=0,2,4,6
/proc/31958/task/31975/stat : 31975 (java) S 31956 31958 28116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811096961 10814337024 59650 33554432000 1073741824 1073778376 140737450842768 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 4 0 0 0
[pid=31958/tid=31976] ppid=31956 vsize=10560876 CPUtime=0 cores=0,2,4,6
/proc/31958/task/31976/stat : 31976 (java) S 31956 31958 28116 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 811096961 10814337024 59650 33554432000 1073741824 1073778376 140737450842768 18446744073709551615 254273433088 0 4 0 16800975 18446604445756442624 0 0 -1 4 0 0 0
[pid=31958/tid=31977] ppid=31956 vsize=10560876 CPUtime=1.46 cores=0,2,4,6
/proc/31958/task/31977/stat : 31977 (java) R 31956 31958 28116 0 -1 4202560 344 0 0 0 146 0 0 0 25 0 22 0 811096972 10814337024 59650 33554432000 1073741824 1073778376 140737450842768 18446744073709551615 46912505547794 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=31958/tid=31978] ppid=31956 vsize=10560876 CPUtime=1.45 cores=0,2,4,6
/proc/31958/task/31978/stat : 31978 (java) R 31956 31958 28116 0 -1 4202560 36513 0 0 0 141 4 0 0 25 0 22 0 811096972 10814337024 59650 33554432000 1073741824 1073778376 140737450842768 18446744073709551615 46912505754516 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31958/tid=31979] ppid=31956 vsize=10560876 CPUtime=0 cores=0,2,4,6
/proc/31958/task/31979/stat : 31979 (java) S 31956 31958 28116 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 811096972 10814337024 59650 33554432000 1073741824 1073778376 140737450842768 18446744073709551615 254273433088 0 4 0 16800975 18446604445756442624 0 0 -1 0 0 0 0
[pid=31958/tid=31980] ppid=31956 vsize=10560876 CPUtime=0 cores=0,2,4,6
/proc/31958/task/31980/stat : 31980 (java) S 31956 31958 28116 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 811096972 10814337024 59650 33554432000 1073741824 1073778376 140737450842768 18446744073709551615 254273433088 0 4 0 16800975 18446604445756442624 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.84
Current children cumulated vsize (KiB) 10560876
[startup+2.10141 s]
/proc/loadavg: 3.32 2.16 2.02 5/520 31980
/proc/meminfo: memFree=20845324/32951124 swapFree=67057928/67111528
[pid=31958] ppid=31956 vsize=10560876 CPUtime=5.44 cores=0,2,4,6
/proc/31958/stat : 31958 (java) S 31956 31958 28116 0 -1 4202496 68032 0 1 0 535 9 0 0 25 0 19 0 811096955 10814337024 59963 33554432000 1073741824 1073778376 140737450842768 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/31958/statm: 2640219 59963 2258 9 0 2630953 0
[pid=31958/tid=31959] ppid=31956 vsize=10560876 CPUtime=0.15 cores=0,2,4,6
/proc/31958/task/31959/stat : 31959 (java) S 31956 31958 28116 0 -1 4202560 11792 0 1 0 14 1 0 0 15 0 19 0 811096955 10814337024 59963 33554432000 1073741824 1073778376 140737450842768 18446744073709551615 254273433088 0 4 0 16800975 18446604445756442624 0 0 -1 6 0 0 0
[pid=31958/tid=31961] ppid=31956 vsize=10560876 CPUtime=0 cores=0,2,4,6
/proc/31958/task/31961/stat : 31961 (java) S 31956 31958 28116 0 -1 4202560 241 0 0 0 0 0 0 0 16 0 19 0 811096957 10814337024 59963 33554432000 1073741824 1073778376 140737450842768 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 0 0 0 0
[pid=31958/tid=31962] ppid=31956 vsize=10560876 CPUtime=0 cores=0,2,4,6
/proc/31958/task/31962/stat : 31962 (java) S 31956 31958 28116 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 19 0 811096957 10814337024 59963 33554432000 1073741824 1073778376 140737450842768 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 6 0 0 0
[pid=31958/tid=31963] ppid=31956 vsize=10560876 CPUtime=0 cores=0,2,4,6
/proc/31958/task/31963/stat : 31963 (java) S 31956 31958 28116 0 -1 4202560 36 0 0 0 0 0 0 0 15 0 19 0 811096957 10814337024 59963 33554432000 1073741824 1073778376 140737450842768 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 0 0 0 0
[pid=31958/tid=31964] ppid=31956 vsize=10560876 CPUtime=0 cores=0,2,4,6
/proc/31958/task/31964/stat : 31964 (java) S 31956 31958 28116 0 -1 4202560 86 0 0 0 0 0 0 0 15 0 19 0 811096957 10814337024 59963 33554432000 1073741824 1073778376 140737450842768 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 0 0 0 0
[pid=31958/tid=31965] ppid=31956 vsize=10560876 CPUtime=0 cores=0,2,4,6
/proc/31958/task/31965/stat : 31965 (java) S 31956 31958 28116 0 -1 4202560 300 0 0 0 0 0 0 0 15 0 19 0 811096957 10814337024 59963 33554432000 1073741824 1073778376 140737450842768 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 6 0 0 0
[pid=31958/tid=31966] ppid=31956 vsize=10560876 CPUtime=0 cores=0,2,4,6
/proc/31958/task/31966/stat : 31966 (java) S 31956 31958 28116 0 -1 4202560 128 0 0 0 0 0 0 0 15 0 19 0 811096957 10814337024 59963 33554432000 1073741824 1073778376 140737450842768 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 0 0 0 0
[pid=31958/tid=31967] ppid=31956 vsize=10560876 CPUtime=0 cores=0,2,4,6
/proc/31958/task/31967/stat : 31967 (java) S 31956 31958 28116 0 -1 4202560 84 0 0 0 0 0 0 0 15 0 19 0 811096957 10814337024 59963 33554432000 1073741824 1073778376 140737450842768 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 6 0 0 0
[pid=31958/tid=31968] ppid=31956 vsize=10560876 CPUtime=0 cores=0,2,4,6
/proc/31958/task/31968/stat : 31968 (java) S 31956 31958 28116 0 -1 4202560 236 0 0 0 0 0 0 0 15 0 19 0 811096957 10814337024 59963 33554432000 1073741824 1073778376 140737450842768 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 6 0 0 0
[pid=31958/tid=31969] ppid=31956 vsize=10560876 CPUtime=0.08 cores=0,2,4,6
/proc/31958/task/31969/stat : 31969 (java) S 31956 31958 28116 0 -1 4202560 1645 0 0 0 8 0 0 0 16 0 19 0 811096958 10814337024 59963 33554432000 1073741824 1073778376 140737450842768 18446744073709551615 254273433088 0 0 0 16800975 18446604445756442624 0 0 -1 4 0 0 0
[pid=31958/tid=31970] ppid=31956 vsize=10560876 CPUtime=0 cores=0,2,4,6
/proc/31958/task/31970/stat : 31970 (java) S 31956 31958 28116 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 811096958 10814337024 59963 33554432000 1073741824 1073778376 140737450842768 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 4 0 0 0
[pid=31958/tid=31971] ppid=31956 vsize=10560876 CPUtime=0 cores=0,2,4,6
/proc/31958/task/31971/stat : 31971 (java) S 31956 31958 28116 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 811096958 10814337024 59963 33554432000 1073741824 1073778376 140737450842768 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 4 0 0 0
[pid=31958/tid=31972] ppid=31956 vsize=10560876 CPUtime=0 cores=0,2,4,6
/proc/31958/task/31972/stat : 31972 (java) S 31956 31958 28116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811096960 10814337024 59963 33554432000 1073741824 1073778376 140737450842768 18446744073709551615 254273440177 0 4 0 16800975 18446604445756442624 0 0 -1 4 0 0 0
[pid=31958/tid=31973] ppid=31956 vsize=10560876 CPUtime=0.81 cores=0,2,4,6
/proc/31958/task/31973/stat : 31973 (java) S 31956 31958 28116 0 -1 4202560 7320 0 0 0 80 1 0 0 15 0 19 0 811096961 10814337024 59963 33554432000 1073741824 1073778376 140737450842768 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 2 0 0 0
[pid=31958/tid=31974] ppid=31956 vsize=10560876 CPUtime=0.86 cores=0,2,4,6
/proc/31958/task/31974/stat : 31974 (java) S 31956 31958 28116 0 -1 4202560 8145 0 0 0 85 1 0 0 16 0 19 0 811096961 10814337024 59963 33554432000 1073741824 1073778376 140737450842768 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 6 0 0 0
[pid=31958/tid=31975] ppid=31956 vsize=10560876 CPUtime=0 cores=0,2,4,6
/proc/31958/task/31975/stat : 31975 (java) S 31956 31958 28116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811096961 10814337024 59963 33554432000 1073741824 1073778376 140737450842768 18446744073709551615 254273432473 0 4 0 16800975 18446604445756442624 0 0 -1 4 0 0 0
[pid=31958/tid=31976] ppid=31956 vsize=10560876 CPUtime=0 cores=0,2,4,6
/proc/31958/task/31976/stat : 31976 (java) S 31956 31958 28116 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 811096961 10814337024 59963 33554432000 1073741824 1073778376 140737450842768 18446744073709551615 254273433088 0 4 0 16800975 18446604445756442624 0 0 -1 4 0 0 0
[pid=31958/tid=31979] ppid=31956 vsize=10560876 CPUtime=0 cores=0,2,4,6
/proc/31958/task/31979/stat : 31979 (java) S 31956 31958 28116 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 811096972 10814337024 59963 33554432000 1073741824 1073778376 140737450842768 18446744073709551615 254273433088 0 4 0 16800975 18446604445756442624 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.44
Current children cumulated vsize (KiB) 10560876
Child status: 20
Real time (s): 2.19499
CPU time (s): 5.46417
CPU user time (s): 5.35719
CPU system time (s): 0.106983
CPU usage (%): 248.938
Max. virtual memory (cumulated for all children) (KiB): 10560876
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.35719
system time used= 0.106983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68041
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= 432
involuntary context switches= 137
runsolver used 0.013997 second user time and 0.021996 second system time
The end