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-3455419-1307196580/watcher-3455419-1307196580 -o /tmp/evaluation-result-3455419-1307196580/solver-3455419-1307196580 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455419-1307196580.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.27 3.72 3.70 2/390 24040
/proc/meminfo: memFree=22710088/32951124 swapFree=37148216/67111528
[pid=24040] ppid=24038 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/24040/stat : 24040 (java) S 24038 24040 23881 0 -1 4202496 3284 0 1 0 0 0 0 0 25 0 2 0 831258450 10694979584 2985 33554432000 1073741824 1073778376 140735830232512 18446744073709551615 230820968421 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/24040/statm: 2611079 2999 917 9 0 2602235 0
[pid=24040/tid=24041] ppid=24038 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/24040/task/24041/stat : 24041 (java) R 24038 24040 23881 0 -1 4202560 3915 0 1 0 0 0 0 0 25 0 2 0 831258451 10694979584 4731 33554432000 1073741824 1073778376 140735830232512 18446744073709551615 230808859707 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.0798499 s]
/proc/loadavg: 3.27 3.72 3.70 2/390 24040
/proc/meminfo: memFree=22710088/32951124 swapFree=37148216/67111528
[pid=24040] ppid=24038 vsize=10473088 CPUtime=0.07 cores=0,2,4,6
/proc/24040/stat : 24040 (java) S 24038 24040 23881 0 -1 4202496 12027 0 1 0 6 1 0 0 25 0 18 0 831258450 10724442112 11724 33554432000 1073741824 1073778376 140735830232512 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/24040/statm: 2618306 11746 1769 9 0 2609040 0
[pid=24040/tid=24041] ppid=24038 vsize=10473224 CPUtime=0.06 cores=0,2,4,6
/proc/24040/task/24041/stat : 24041 (java) R 24038 24040 23881 0 -1 4202560 10855 0 1 0 6 0 0 0 25 0 18 0 831258451 10724581376 11751 33554432000 1073741824 1073778376 140735830232512 18446744073709551615 230820992459 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10473088
[startup+0.100867 s]
/proc/loadavg: 3.27 3.72 3.70 2/390 24040
/proc/meminfo: memFree=22710088/32951124 swapFree=37148216/67111528
[pid=24040] ppid=24038 vsize=10540312 CPUtime=0.1 cores=0,2,4,6
/proc/24040/stat : 24040 (java) S 24038 24040 23881 0 -1 4202496 13115 0 1 0 9 1 0 0 25 0 18 0 831258450 10793279488 12785 33554432000 1073741824 1073778376 140735830232512 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/24040/statm: 2635078 12786 2092 9 0 2625812 0
[pid=24040/tid=24041] ppid=24038 vsize=10540312 CPUtime=0.09 cores=0,2,4,6
/proc/24040/task/24041/stat : 24041 (java) R 24038 24040 23881 0 -1 4202560 11195 0 1 0 8 1 0 0 18 0 18 0 831258451 10793279488 12786 33554432000 1073741824 1073778376 140735830232512 18446744073709551615 47356022803283 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540312
[startup+0.30081 s]
/proc/loadavg: 3.27 3.72 3.70 2/390 24040
/proc/meminfo: memFree=22710088/32951124 swapFree=37148216/67111528
[pid=24040] ppid=24038 vsize=10550148 CPUtime=0.56 cores=0,2,4,6
/proc/24040/stat : 24040 (java) S 24038 24040 23881 0 -1 4202496 17234 0 1 0 55 1 0 0 25 0 19 0 831258450 10803351552 16199 33554432000 1073741824 1073778376 140735830232512 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/24040/statm: 2637537 16199 2217 9 0 2628271 0
[pid=24040/tid=24041] ppid=24038 vsize=10550148 CPUtime=0.21 cores=0,2,4,6
/proc/24040/task/24041/stat : 24041 (java) S 24038 24040 23881 0 -1 4202560 12495 0 1 0 20 1 0 0 19 0 19 0 831258451 10803351552 16199 33554432000 1073741824 1073778376 140735830232512 18446744073709551615 230820982272 0 4 0 16800975 18446604443835034688 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 10550148
[startup+0.700793 s]
/proc/loadavg: 3.27 3.72 3.70 2/390 24040
/proc/meminfo: memFree=22710088/32951124 swapFree=37148216/67111528
[pid=24040] ppid=24038 vsize=10550148 CPUtime=0.56 cores=0,2,4,6
/proc/24040/stat : 24040 (java) S 24038 24040 23881 0 -1 4202496 17241 0 1 0 55 1 0 0 25 0 19 0 831258450 10803351552 15858 33554432000 1073741824 1073778376 140735830232512 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/24040/statm: 2637537 15858 2219 9 0 2628271 0
[pid=24040/tid=24041] ppid=24038 vsize=10550148 CPUtime=0.21 cores=0,2,4,6
/proc/24040/task/24041/stat : 24041 (java) S 24038 24040 23881 0 -1 4202560 12495 0 1 0 20 1 0 0 19 0 19 0 831258451 10803351552 15858 33554432000 1073741824 1073778376 140735830232512 18446744073709551615 230820982272 0 4 0 16800975 18446604443835034688 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 10550148
[startup+1.50059 s]
/proc/loadavg: 3.27 3.72 3.70 6/413 24069
/proc/meminfo: memFree=21849928/32951124 swapFree=37148216/67111528
[pid=24040] ppid=24038 vsize=10557708 CPUtime=1.14 cores=0,2,4,6
/proc/24040/stat : 24040 (java) S 24038 24040 23881 0 -1 4202496 23703 0 1 0 112 2 0 0 25 0 19 0 831258450 10811092992 19812 33554432000 1073741824 1073778376 140735830232512 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/24040/statm: 2639427 19812 2220 9 0 2630161 0
[pid=24040/tid=24041] ppid=24038 vsize=10557708 CPUtime=0.22 cores=0,2,4,6
/proc/24040/task/24041/stat : 24041 (java) S 24038 24040 23881 0 -1 4202560 12699 0 1 0 21 1 0 0 16 0 19 0 831258451 10811092992 19812 33554432000 1073741824 1073778376 140735830232512 18446744073709551615 230820982272 0 4 0 16800975 18446604443835034688 0 0 -1 6 0 0 0
[pid=24040/tid=24043] ppid=24038 vsize=10557708 CPUtime=0 cores=0,2,4,6
/proc/24040/task/24043/stat : 24043 (java) S 24038 24040 23881 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831258452 10811092992 19812 33554432000 1073741824 1073778376 140735830232512 18446744073709551615 230820981657 0 4 0 16800975 18446604443835034688 0 0 -1 6 0 0 0
[pid=24040/tid=24044] ppid=24038 vsize=10557708 CPUtime=0 cores=0,2,4,6
/proc/24040/task/24044/stat : 24044 (java) S 24038 24040 23881 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 831258452 10811092992 19812 33554432000 1073741824 1073778376 140735830232512 18446744073709551615 230820981657 0 4 0 16800975 18446604443835034688 0 0 -1 0 0 0 0
[pid=24040/tid=24045] ppid=24038 vsize=10557708 CPUtime=0 cores=0,2,4,6
/proc/24040/task/24045/stat : 24045 (java) S 24038 24040 23881 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831258452 10811092992 19812 33554432000 1073741824 1073778376 140735830232512 18446744073709551615 230820981657 0 4 0 16800975 18446604443835034688 0 0 -1 0 0 0 0
[pid=24040/tid=24046] ppid=24038 vsize=10557708 CPUtime=0 cores=0,2,4,6
/proc/24040/task/24046/stat : 24046 (java) S 24038 24040 23881 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831258452 10811092992 19812 33554432000 1073741824 1073778376 140735830232512 18446744073709551615 230820981657 0 4 0 16800975 18446604443835034688 0 0 -1 0 0 0 0
[pid=24040/tid=24047] ppid=24038 vsize=10557708 CPUtime=0 cores=0,2,4,6
/proc/24040/task/24047/stat : 24047 (java) S 24038 24040 23881 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831258452 10811092992 19812 33554432000 1073741824 1073778376 140735830232512 18446744073709551615 230820981657 0 4 0 16800975 18446604443835034688 0 0 -1 6 0 0 0
[pid=24040/tid=24048] ppid=24038 vsize=10557708 CPUtime=0 cores=0,2,4,6
/proc/24040/task/24048/stat : 24048 (java) S 24038 24040 23881 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831258452 10811092992 19812 33554432000 1073741824 1073778376 140735830232512 18446744073709551615 230820981657 0 4 0 16800975 18446604443835034688 0 0 -1 0 0 0 0
[pid=24040/tid=24049] ppid=24038 vsize=10557708 CPUtime=0 cores=0,2,4,6
/proc/24040/task/24049/stat : 24049 (java) S 24038 24040 23881 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831258452 10811092992 19812 33554432000 1073741824 1073778376 140735830232512 18446744073709551615 230820981657 0 4 0 16800975 18446604443835034688 0 0 -1 0 0 0 0
[pid=24040/tid=24050] ppid=24038 vsize=10557708 CPUtime=0 cores=0,2,4,6
/proc/24040/task/24050/stat : 24050 (java) S 24038 24040 23881 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831258452 10811092992 19812 33554432000 1073741824 1073778376 140735830232512 18446744073709551615 230820981657 0 4 0 16800975 18446604443835034688 0 0 -1 0 0 0 0
[pid=24040/tid=24051] ppid=24038 vsize=10557708 CPUtime=0 cores=0,2,4,6
/proc/24040/task/24051/stat : 24051 (java) S 24038 24040 23881 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 831258453 10811092992 19812 33554432000 1073741824 1073778376 140735830232512 18446744073709551615 230820982272 0 0 0 16800975 18446604443835034688 0 0 -1 6 0 0 0
[pid=24040/tid=24052] ppid=24038 vsize=10557708 CPUtime=0 cores=0,2,4,6
/proc/24040/task/24052/stat : 24052 (java) S 24038 24040 23881 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 831258454 10811092992 19812 33554432000 1073741824 1073778376 140735830232512 18446744073709551615 230820981657 0 4 0 16800975 18446604443835034688 0 0 -1 6 0 0 0
[pid=24040/tid=24053] ppid=24038 vsize=10557708 CPUtime=0 cores=0,2,4,6
/proc/24040/task/24053/stat : 24053 (java) S 24038 24040 23881 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 831258454 10811092992 19812 33554432000 1073741824 1073778376 140735830232512 18446744073709551615 230820981657 0 4 0 16800975 18446604443835034688 0 0 -1 6 0 0 0
[pid=24040/tid=24054] ppid=24038 vsize=10557708 CPUtime=0 cores=0,2,4,6
/proc/24040/task/24054/stat : 24054 (java) S 24038 24040 23881 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831258456 10811092992 19812 33554432000 1073741824 1073778376 140735830232512 18446744073709551615 230820989361 0 4 0 16800975 18446604443835034688 0 0 -1 6 0 0 0
[pid=24040/tid=24055] ppid=24038 vsize=10557708 CPUtime=0.31 cores=0,2,4,6
/proc/24040/task/24055/stat : 24055 (java) S 24038 24040 23881 0 -1 4202560 5527 0 0 0 31 0 0 0 15 0 19 0 831258456 10811092992 19812 33554432000 1073741824 1073778376 140735830232512 18446744073709551615 230820981657 0 4 0 16800975 18446604443835034688 0 0 -1 4 0 0 0
[pid=24040/tid=24056] ppid=24038 vsize=10557708 CPUtime=0.29 cores=0,2,4,6
/proc/24040/task/24056/stat : 24056 (java) S 24038 24040 23881 0 -1 4202560 3171 0 0 0 29 0 0 0 15 0 19 0 831258456 10811092992 19812 33554432000 1073741824 1073778376 140735830232512 18446744073709551615 230820981657 0 4 0 16800975 18446604443835034688 0 0 -1 2 0 0 0
[pid=24040/tid=24057] ppid=24038 vsize=10557708 CPUtime=0 cores=0,2,4,6
/proc/24040/task/24057/stat : 24057 (java) S 24038 24040 23881 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831258456 10811092992 19812 33554432000 1073741824 1073778376 140735830232512 18446744073709551615 230820981657 0 4 0 16800975 18446604443835034688 0 0 -1 6 0 0 0
[pid=24040/tid=24058] ppid=24038 vsize=10557708 CPUtime=0 cores=0,2,4,6
/proc/24040/task/24058/stat : 24058 (java) S 24038 24040 23881 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831258456 10811092992 19812 33554432000 1073741824 1073778376 140735830232512 18446744073709551615 230820982272 0 4 0 16800975 18446604443835034688 0 0 -1 0 0 0 0
[pid=24040/tid=24065] ppid=24038 vsize=10557708 CPUtime=0 cores=0,2,4,6
/proc/24040/task/24065/stat : 24065 (java) S 24038 24040 23881 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 19 0 831258525 10811092992 19812 33554432000 1073741824 1073778376 140735830232512 18446744073709551615 230820982272 0 4 0 16800975 18446604443835034688 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 10557708
Solver just ended. Dumping a history of the last processes samples
[startup+1.70155 s]
/proc/loadavg: 3.27 3.72 3.70 6/413 24069
/proc/meminfo: memFree=21849928/32951124 swapFree=37148216/67111528
[pid=24040] ppid=24038 vsize=10557708 CPUtime=1.14 cores=0,2,4,6
/proc/24040/stat : 24040 (java) S 24038 24040 23881 0 -1 4202496 23703 0 1 0 112 2 0 0 25 0 19 0 831258450 10811092992 19812 33554432000 1073741824 1073778376 140735830232512 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/24040/statm: 2639427 19812 2220 9 0 2630161 0
[pid=24040/tid=24041] ppid=24038 vsize=10557708 CPUtime=0.22 cores=0,2,4,6
/proc/24040/task/24041/stat : 24041 (java) S 24038 24040 23881 0 -1 4202560 12699 0 1 0 21 1 0 0 16 0 19 0 831258451 10811092992 19812 33554432000 1073741824 1073778376 140735830232512 18446744073709551615 230820982272 0 4 0 16800975 18446604443835034688 0 0 -1 6 0 0 0
[pid=24040/tid=24043] ppid=24038 vsize=10557708 CPUtime=0 cores=0,2,4,6
/proc/24040/task/24043/stat : 24043 (java) S 24038 24040 23881 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831258452 10811092992 19812 33554432000 1073741824 1073778376 140735830232512 18446744073709551615 230820981657 0 4 0 16800975 18446604443835034688 0 0 -1 6 0 0 0
[pid=24040/tid=24044] ppid=24038 vsize=10557708 CPUtime=0 cores=0,2,4,6
/proc/24040/task/24044/stat : 24044 (java) S 24038 24040 23881 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 831258452 10811092992 19812 33554432000 1073741824 1073778376 140735830232512 18446744073709551615 230820981657 0 4 0 16800975 18446604443835034688 0 0 -1 0 0 0 0
[pid=24040/tid=24045] ppid=24038 vsize=10557708 CPUtime=0 cores=0,2,4,6
/proc/24040/task/24045/stat : 24045 (java) S 24038 24040 23881 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831258452 10811092992 19812 33554432000 1073741824 1073778376 140735830232512 18446744073709551615 230820981657 0 4 0 16800975 18446604443835034688 0 0 -1 0 0 0 0
[pid=24040/tid=24046] ppid=24038 vsize=10557708 CPUtime=0 cores=0,2,4,6
/proc/24040/task/24046/stat : 24046 (java) S 24038 24040 23881 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831258452 10811092992 19812 33554432000 1073741824 1073778376 140735830232512 18446744073709551615 230820981657 0 4 0 16800975 18446604443835034688 0 0 -1 0 0 0 0
[pid=24040/tid=24047] ppid=24038 vsize=10557708 CPUtime=0 cores=0,2,4,6
/proc/24040/task/24047/stat : 24047 (java) S 24038 24040 23881 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831258452 10811092992 19812 33554432000 1073741824 1073778376 140735830232512 18446744073709551615 230820981657 0 4 0 16800975 18446604443835034688 0 0 -1 6 0 0 0
[pid=24040/tid=24048] ppid=24038 vsize=10557708 CPUtime=0 cores=0,2,4,6
/proc/24040/task/24048/stat : 24048 (java) S 24038 24040 23881 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831258452 10811092992 19812 33554432000 1073741824 1073778376 140735830232512 18446744073709551615 230820981657 0 4 0 16800975 18446604443835034688 0 0 -1 0 0 0 0
[pid=24040/tid=24049] ppid=24038 vsize=10557708 CPUtime=0 cores=0,2,4,6
/proc/24040/task/24049/stat : 24049 (java) S 24038 24040 23881 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831258452 10811092992 19812 33554432000 1073741824 1073778376 140735830232512 18446744073709551615 230820981657 0 4 0 16800975 18446604443835034688 0 0 -1 0 0 0 0
[pid=24040/tid=24050] ppid=24038 vsize=10557708 CPUtime=0 cores=0,2,4,6
/proc/24040/task/24050/stat : 24050 (java) S 24038 24040 23881 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831258452 10811092992 19812 33554432000 1073741824 1073778376 140735830232512 18446744073709551615 230820981657 0 4 0 16800975 18446604443835034688 0 0 -1 0 0 0 0
[pid=24040/tid=24051] ppid=24038 vsize=10557708 CPUtime=0 cores=0,2,4,6
/proc/24040/task/24051/stat : 24051 (java) S 24038 24040 23881 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 831258453 10811092992 19812 33554432000 1073741824 1073778376 140735830232512 18446744073709551615 230820982272 0 0 0 16800975 18446604443835034688 0 0 -1 6 0 0 0
[pid=24040/tid=24052] ppid=24038 vsize=10557708 CPUtime=0 cores=0,2,4,6
/proc/24040/task/24052/stat : 24052 (java) S 24038 24040 23881 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 831258454 10811092992 19812 33554432000 1073741824 1073778376 140735830232512 18446744073709551615 230820981657 0 4 0 16800975 18446604443835034688 0 0 -1 6 0 0 0
[pid=24040/tid=24053] ppid=24038 vsize=10557708 CPUtime=0 cores=0,2,4,6
/proc/24040/task/24053/stat : 24053 (java) S 24038 24040 23881 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 831258454 10811092992 19812 33554432000 1073741824 1073778376 140735830232512 18446744073709551615 230820981657 0 4 0 16800975 18446604443835034688 0 0 -1 6 0 0 0
[pid=24040/tid=24054] ppid=24038 vsize=10557708 CPUtime=0 cores=0,2,4,6
/proc/24040/task/24054/stat : 24054 (java) S 24038 24040 23881 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831258456 10811092992 19812 33554432000 1073741824 1073778376 140735830232512 18446744073709551615 230820989361 0 4 0 16800975 18446604443835034688 0 0 -1 6 0 0 0
[pid=24040/tid=24055] ppid=24038 vsize=10557708 CPUtime=0.31 cores=0,2,4,6
/proc/24040/task/24055/stat : 24055 (java) S 24038 24040 23881 0 -1 4202560 5527 0 0 0 31 0 0 0 15 0 19 0 831258456 10811092992 19812 33554432000 1073741824 1073778376 140735830232512 18446744073709551615 230820981657 0 4 0 16800975 18446604443835034688 0 0 -1 4 0 0 0
[pid=24040/tid=24056] ppid=24038 vsize=10557708 CPUtime=0.29 cores=0,2,4,6
/proc/24040/task/24056/stat : 24056 (java) S 24038 24040 23881 0 -1 4202560 3171 0 0 0 29 0 0 0 15 0 19 0 831258456 10811092992 19812 33554432000 1073741824 1073778376 140735830232512 18446744073709551615 230820981657 0 4 0 16800975 18446604443835034688 0 0 -1 2 0 0 0
[pid=24040/tid=24057] ppid=24038 vsize=10557708 CPUtime=0 cores=0,2,4,6
/proc/24040/task/24057/stat : 24057 (java) S 24038 24040 23881 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831258456 10811092992 19812 33554432000 1073741824 1073778376 140735830232512 18446744073709551615 230820981657 0 4 0 16800975 18446604443835034688 0 0 -1 6 0 0 0
[pid=24040/tid=24058] ppid=24038 vsize=10557708 CPUtime=0 cores=0,2,4,6
/proc/24040/task/24058/stat : 24058 (java) S 24038 24040 23881 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831258456 10811092992 19812 33554432000 1073741824 1073778376 140735830232512 18446744073709551615 230820982272 0 4 0 16800975 18446604443835034688 0 0 -1 0 0 0 0
[pid=24040/tid=24065] ppid=24038 vsize=10557708 CPUtime=0 cores=0,2,4,6
/proc/24040/task/24065/stat : 24065 (java) S 24038 24040 23881 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 19 0 831258525 10811092992 19812 33554432000 1073741824 1073778376 140735830232512 18446744073709551615 230820982272 0 4 0 16800975 18446604443835034688 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 10557708
Child status: 30
Real time (s): 1.76378
CPU time (s): 1.16982
CPU user time (s): 1.13583
CPU system time (s): 0.033994
CPU usage (%): 66.3247
Max. virtual memory (cumulated for all children) (KiB): 10559304
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.13583
system time used= 0.033994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23727
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= 237
involuntary context switches= 78
runsolver used 0.006998 second user time and 0.021996 second system time
The end