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-3455599-1307196700/watcher-3455599-1307196700 -o /tmp/evaluation-result-3455599-1307196700/solver-3455599-1307196700 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455599-1307196700.opb
running on 4 cores: 1,3,5,7
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: 2.59 3.27 3.42 2/516 28694
/proc/meminfo: memFree=25878784/32951124 swapFree=53876548/67111528
[pid=28694] ppid=28692 vsize=10444316 CPUtime=0.01 cores=1,3,5,7
/proc/28694/stat : 28694 (java) S 28692 28694 28246 0 -1 4202496 6940 0 1 0 0 1 0 0 25 0 2 0 831270955 10694979584 6642 33554432000 1073741824 1073778376 140735964475760 18446744073709551615 270624913381 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/28694/statm: 2611079 6655 917 9 0 2602235 0
[pid=28694/tid=28695] ppid=28692 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/28694/task/28695/stat : 28695 (java) R 28692 28694 28246 0 -1 4202560 5891 0 1 0 0 0 0 0 25 0 2 0 831270956 10694979584 6706 33554432000 1073741824 1073778376 140735964475760 18446744073709551615 270612804667 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.0937339 s]
/proc/loadavg: 2.59 3.27 3.42 2/516 28694
/proc/meminfo: memFree=25878784/32951124 swapFree=53876548/67111528
[pid=28694] ppid=28692 vsize=10540308 CPUtime=0.1 cores=1,3,5,7
/proc/28694/stat : 28694 (java) S 28692 28694 28246 0 -1 4202496 12986 0 1 0 8 2 0 0 25 0 18 0 831270955 10793275392 12663 33554432000 1073741824 1073778376 140735964475760 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28694/statm: 2635077 12663 2092 9 0 2625811 0
[pid=28694/tid=28695] ppid=28692 vsize=10540308 CPUtime=0.07 cores=1,3,5,7
/proc/28694/task/28695/stat : 28695 (java) R 28692 28694 28246 0 -1 4202560 11062 0 1 0 6 1 0 0 18 0 18 0 831270956 10793275392 12664 33554432000 1073741824 1073778376 140735964475760 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540308
[startup+0.100767 s]
/proc/loadavg: 2.59 3.27 3.42 2/516 28694
/proc/meminfo: memFree=25878784/32951124 swapFree=53876548/67111528
[pid=28694] ppid=28692 vsize=10540308 CPUtime=0.1 cores=1,3,5,7
/proc/28694/stat : 28694 (java) S 28692 28694 28246 0 -1 4202496 13095 0 1 0 8 2 0 0 25 0 18 0 831270955 10793275392 12772 33554432000 1073741824 1073778376 140735964475760 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28694/statm: 2635077 12773 2092 9 0 2625811 0
[pid=28694/tid=28695] ppid=28692 vsize=10540308 CPUtime=0.08 cores=1,3,5,7
/proc/28694/task/28695/stat : 28695 (java) R 28692 28694 28246 0 -1 4202560 11171 0 1 0 7 1 0 0 18 0 18 0 831270956 10793275392 12773 33554432000 1073741824 1073778376 140735964475760 18446744073709551615 47203951543043 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540308
[startup+0.304789 s]
/proc/loadavg: 2.59 3.27 3.42 2/516 28694
/proc/meminfo: memFree=25878784/32951124 swapFree=53876548/67111528
[pid=28694] ppid=28692 vsize=10546184 CPUtime=0.49 cores=1,3,5,7
/proc/28694/stat : 28694 (java) S 28692 28694 28246 0 -1 4202496 15483 0 1 0 47 2 0 0 25 0 19 0 831270955 10799292416 15038 33554432000 1073741824 1073778376 140735964475760 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28694/statm: 2636546 15038 2215 9 0 2627280 0
[pid=28694/tid=28695] ppid=28692 vsize=10546184 CPUtime=0.26 cores=1,3,5,7
/proc/28694/task/28695/stat : 28695 (java) S 28692 28694 28246 0 -1 4202560 12538 0 1 0 24 2 0 0 19 0 19 0 831270956 10799292416 15038 33554432000 1073741824 1073778376 140735964475760 18446744073709551615 270624927232 0 4 0 16800975 18446604469435891776 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 10546184
[startup+0.700665 s]
/proc/loadavg: 2.59 3.27 3.42 2/516 28694
/proc/meminfo: memFree=25878784/32951124 swapFree=53876548/67111528
[pid=28694] ppid=28692 vsize=10545364 CPUtime=0.5 cores=1,3,5,7
/proc/28694/stat : 28694 (java) S 28692 28694 28246 0 -1 4202496 15488 0 1 0 48 2 0 0 25 0 19 0 831270955 10798452736 14899 33554432000 1073741824 1073778376 140735964475760 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28694/statm: 2636341 14899 2215 9 0 2627075 0
[pid=28694/tid=28695] ppid=28692 vsize=10545364 CPUtime=0.26 cores=1,3,5,7
/proc/28694/task/28695/stat : 28695 (java) S 28692 28694 28246 0 -1 4202560 12538 0 1 0 24 2 0 0 19 0 19 0 831270956 10798452736 14899 33554432000 1073741824 1073778376 140735964475760 18446744073709551615 270624927232 0 4 0 16800975 18446604469435891776 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 10545364
Solver just ended. Dumping a history of the last processes samples
[startup+1.11959 s]
/proc/loadavg: 2.59 3.27 3.42 2/535 28719
/proc/meminfo: memFree=25826504/32951124 swapFree=53876548/67111528
[pid=28694] ppid=28692 vsize=10545508 CPUtime=0.52 cores=1,3,5,7
/proc/28694/stat : 28694 (java) S 28692 28694 28246 0 -1 4202496 15555 0 1 0 50 2 0 0 25 0 19 0 831270955 10798600192 14966 33554432000 1073741824 1073778376 140735964475760 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28694/statm: 2636377 14966 2215 9 0 2627111 0
[pid=28694/tid=28695] ppid=28692 vsize=10545508 CPUtime=0.27 cores=1,3,5,7
/proc/28694/task/28695/stat : 28695 (java) S 28692 28694 28246 0 -1 4202560 12580 0 1 0 25 2 0 0 16 0 19 0 831270956 10798600192 14966 33554432000 1073741824 1073778376 140735964475760 18446744073709551615 270624927232 0 4 0 16800975 18446604469435891776 0 0 -1 5 0 0 0
[pid=28694/tid=28697] ppid=28692 vsize=10545508 CPUtime=0 cores=1,3,5,7
/proc/28694/task/28697/stat : 28697 (java) S 28692 28694 28246 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831270957 10798600192 14966 33554432000 1073741824 1073778376 140735964475760 18446744073709551615 270624926617 0 4 0 16800975 18446604469435891776 0 0 -1 3 0 0 0
[pid=28694/tid=28698] ppid=28692 vsize=10545508 CPUtime=0 cores=1,3,5,7
/proc/28694/task/28698/stat : 28698 (java) S 28692 28694 28246 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 831270957 10798600192 14966 33554432000 1073741824 1073778376 140735964475760 18446744073709551615 270624926617 0 4 0 16800975 18446604469435891776 0 0 -1 7 0 0 0
[pid=28694/tid=28699] ppid=28692 vsize=10545508 CPUtime=0 cores=1,3,5,7
/proc/28694/task/28699/stat : 28699 (java) S 28692 28694 28246 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831270957 10798600192 14966 33554432000 1073741824 1073778376 140735964475760 18446744073709551615 270624926617 0 4 0 16800975 18446604469435891776 0 0 -1 7 0 0 0
[pid=28694/tid=28700] ppid=28692 vsize=10545508 CPUtime=0 cores=1,3,5,7
/proc/28694/task/28700/stat : 28700 (java) S 28692 28694 28246 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831270957 10798600192 14966 33554432000 1073741824 1073778376 140735964475760 18446744073709551615 270624926617 0 4 0 16800975 18446604469435891776 0 0 -1 7 0 0 0
[pid=28694/tid=28701] ppid=28692 vsize=10545508 CPUtime=0 cores=1,3,5,7
/proc/28694/task/28701/stat : 28701 (java) S 28692 28694 28246 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831270957 10798600192 14966 33554432000 1073741824 1073778376 140735964475760 18446744073709551615 270624926617 0 4 0 16800975 18446604469435891776 0 0 -1 7 0 0 0
[pid=28694/tid=28702] ppid=28692 vsize=10545508 CPUtime=0 cores=1,3,5,7
/proc/28694/task/28702/stat : 28702 (java) S 28692 28694 28246 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831270957 10798600192 14966 33554432000 1073741824 1073778376 140735964475760 18446744073709551615 270624926617 0 4 0 16800975 18446604469435891776 0 0 -1 7 0 0 0
[pid=28694/tid=28703] ppid=28692 vsize=10545508 CPUtime=0 cores=1,3,5,7
/proc/28694/task/28703/stat : 28703 (java) S 28692 28694 28246 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831270957 10798600192 14966 33554432000 1073741824 1073778376 140735964475760 18446744073709551615 270624926617 0 4 0 16800975 18446604469435891776 0 0 -1 7 0 0 0
[pid=28694/tid=28704] ppid=28692 vsize=10545508 CPUtime=0 cores=1,3,5,7
/proc/28694/task/28704/stat : 28704 (java) S 28692 28694 28246 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831270957 10798600192 14966 33554432000 1073741824 1073778376 140735964475760 18446744073709551615 270624926617 0 4 0 16800975 18446604469435891776 0 0 -1 7 0 0 0
[pid=28694/tid=28705] ppid=28692 vsize=10545508 CPUtime=0 cores=1,3,5,7
/proc/28694/task/28705/stat : 28705 (java) S 28692 28694 28246 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 831270959 10798600192 14966 33554432000 1073741824 1073778376 140735964475760 18446744073709551615 270624927232 0 0 0 16800975 18446604469435891776 0 0 -1 1 0 0 0
[pid=28694/tid=28706] ppid=28692 vsize=10545508 CPUtime=0 cores=1,3,5,7
/proc/28694/task/28706/stat : 28706 (java) S 28692 28694 28246 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 831270959 10798600192 14966 33554432000 1073741824 1073778376 140735964475760 18446744073709551615 270624926617 0 4 0 16800975 18446604469435891776 0 0 -1 1 0 0 0
[pid=28694/tid=28707] ppid=28692 vsize=10545508 CPUtime=0 cores=1,3,5,7
/proc/28694/task/28707/stat : 28707 (java) S 28692 28694 28246 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 831270959 10798600192 14966 33554432000 1073741824 1073778376 140735964475760 18446744073709551615 270624926617 0 4 0 16800975 18446604469435891776 0 0 -1 1 0 0 0
[pid=28694/tid=28708] ppid=28692 vsize=10545508 CPUtime=0 cores=1,3,5,7
/proc/28694/task/28708/stat : 28708 (java) S 28692 28694 28246 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831270961 10798600192 14966 33554432000 1073741824 1073778376 140735964475760 18446744073709551615 270624934321 0 4 0 16800975 18446604469435891776 0 0 -1 1 0 0 0
[pid=28694/tid=28709] ppid=28692 vsize=10545508 CPUtime=0.1 cores=1,3,5,7
/proc/28694/task/28709/stat : 28709 (java) S 28692 28694 28246 0 -1 4202560 749 0 0 0 10 0 0 0 20 0 19 0 831270961 10798600192 14966 33554432000 1073741824 1073778376 140735964475760 18446744073709551615 270624926617 0 4 0 16800975 18446604469435891776 0 0 -1 3 0 0 0
[pid=28694/tid=28710] ppid=28692 vsize=10545508 CPUtime=0.1 cores=1,3,5,7
/proc/28694/task/28710/stat : 28710 (java) S 28692 28694 28246 0 -1 4202560 922 0 0 0 10 0 0 0 15 0 19 0 831270961 10798600192 14966 33554432000 1073741824 1073778376 140735964475760 18446744073709551615 270624926617 0 4 0 16800975 18446604469435891776 0 0 -1 5 0 0 0
[pid=28694/tid=28711] ppid=28692 vsize=10545508 CPUtime=0 cores=1,3,5,7
/proc/28694/task/28711/stat : 28711 (java) S 28692 28694 28246 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831270961 10798600192 14966 33554432000 1073741824 1073778376 140735964475760 18446744073709551615 270624926617 0 4 0 16800975 18446604469435891776 0 0 -1 1 0 0 0
[pid=28694/tid=28712] ppid=28692 vsize=10545508 CPUtime=0 cores=1,3,5,7
/proc/28694/task/28712/stat : 28712 (java) S 28692 28694 28246 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831270961 10798600192 14966 33554432000 1073741824 1073778376 140735964475760 18446744073709551615 270624927232 0 4 0 16800975 18446604469435891776 0 0 -1 3 0 0 0
[pid=28694/tid=28716] ppid=28692 vsize=10545508 CPUtime=0 cores=1,3,5,7
/proc/28694/task/28716/stat : 28716 (java) S 28692 28694 28246 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 831270984 10798600192 14966 33554432000 1073741824 1073778376 140735964475760 18446744073709551615 270624927232 0 4 0 16800975 18446604469435891776 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 10545508
[startup+1.20158 s]
/proc/loadavg: 2.59 3.27 3.42 2/535 28719
/proc/meminfo: memFree=25826504/32951124 swapFree=53876548/67111528
[pid=28694] ppid=28692 vsize=10545508 CPUtime=0.52 cores=1,3,5,7
/proc/28694/stat : 28694 (java) S 28692 28694 28246 0 -1 4202496 15555 0 1 0 50 2 0 0 25 0 19 0 831270955 10798600192 14966 33554432000 1073741824 1073778376 140735964475760 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/28694/statm: 2636377 14966 2215 9 0 2627111 0
[pid=28694/tid=28695] ppid=28692 vsize=10545508 CPUtime=0.27 cores=1,3,5,7
/proc/28694/task/28695/stat : 28695 (java) S 28692 28694 28246 0 -1 4202560 12580 0 1 0 25 2 0 0 16 0 19 0 831270956 10798600192 14966 33554432000 1073741824 1073778376 140735964475760 18446744073709551615 270624927232 0 4 0 16800975 18446604469435891776 0 0 -1 5 0 0 0
[pid=28694/tid=28697] ppid=28692 vsize=10545508 CPUtime=0 cores=1,3,5,7
/proc/28694/task/28697/stat : 28697 (java) S 28692 28694 28246 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831270957 10798600192 14966 33554432000 1073741824 1073778376 140735964475760 18446744073709551615 270624926617 0 4 0 16800975 18446604469435891776 0 0 -1 3 0 0 0
[pid=28694/tid=28698] ppid=28692 vsize=10545508 CPUtime=0 cores=1,3,5,7
/proc/28694/task/28698/stat : 28698 (java) S 28692 28694 28246 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 831270957 10798600192 14966 33554432000 1073741824 1073778376 140735964475760 18446744073709551615 270624926617 0 4 0 16800975 18446604469435891776 0 0 -1 7 0 0 0
[pid=28694/tid=28699] ppid=28692 vsize=10545508 CPUtime=0 cores=1,3,5,7
/proc/28694/task/28699/stat : 28699 (java) S 28692 28694 28246 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831270957 10798600192 14966 33554432000 1073741824 1073778376 140735964475760 18446744073709551615 270624926617 0 4 0 16800975 18446604469435891776 0 0 -1 7 0 0 0
[pid=28694/tid=28700] ppid=28692 vsize=10545508 CPUtime=0 cores=1,3,5,7
/proc/28694/task/28700/stat : 28700 (java) S 28692 28694 28246 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831270957 10798600192 14966 33554432000 1073741824 1073778376 140735964475760 18446744073709551615 270624926617 0 4 0 16800975 18446604469435891776 0 0 -1 7 0 0 0
[pid=28694/tid=28701] ppid=28692 vsize=10545508 CPUtime=0 cores=1,3,5,7
/proc/28694/task/28701/stat : 28701 (java) S 28692 28694 28246 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831270957 10798600192 14966 33554432000 1073741824 1073778376 140735964475760 18446744073709551615 270624926617 0 4 0 16800975 18446604469435891776 0 0 -1 7 0 0 0
[pid=28694/tid=28702] ppid=28692 vsize=10545508 CPUtime=0 cores=1,3,5,7
/proc/28694/task/28702/stat : 28702 (java) S 28692 28694 28246 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831270957 10798600192 14966 33554432000 1073741824 1073778376 140735964475760 18446744073709551615 270624926617 0 4 0 16800975 18446604469435891776 0 0 -1 7 0 0 0
[pid=28694/tid=28703] ppid=28692 vsize=10545508 CPUtime=0 cores=1,3,5,7
/proc/28694/task/28703/stat : 28703 (java) S 28692 28694 28246 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831270957 10798600192 14966 33554432000 1073741824 1073778376 140735964475760 18446744073709551615 270624926617 0 4 0 16800975 18446604469435891776 0 0 -1 7 0 0 0
[pid=28694/tid=28704] ppid=28692 vsize=10545508 CPUtime=0 cores=1,3,5,7
/proc/28694/task/28704/stat : 28704 (java) S 28692 28694 28246 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831270957 10798600192 14966 33554432000 1073741824 1073778376 140735964475760 18446744073709551615 270624926617 0 4 0 16800975 18446604469435891776 0 0 -1 7 0 0 0
[pid=28694/tid=28705] ppid=28692 vsize=10545508 CPUtime=0 cores=1,3,5,7
/proc/28694/task/28705/stat : 28705 (java) S 28692 28694 28246 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 831270959 10798600192 14966 33554432000 1073741824 1073778376 140735964475760 18446744073709551615 270624927232 0 0 0 16800975 18446604469435891776 0 0 -1 1 0 0 0
[pid=28694/tid=28706] ppid=28692 vsize=10545508 CPUtime=0 cores=1,3,5,7
/proc/28694/task/28706/stat : 28706 (java) S 28692 28694 28246 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 831270959 10798600192 14966 33554432000 1073741824 1073778376 140735964475760 18446744073709551615 270624926617 0 4 0 16800975 18446604469435891776 0 0 -1 1 0 0 0
[pid=28694/tid=28707] ppid=28692 vsize=10545508 CPUtime=0 cores=1,3,5,7
/proc/28694/task/28707/stat : 28707 (java) S 28692 28694 28246 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 831270959 10798600192 14966 33554432000 1073741824 1073778376 140735964475760 18446744073709551615 270624926617 0 4 0 16800975 18446604469435891776 0 0 -1 1 0 0 0
[pid=28694/tid=28708] ppid=28692 vsize=10545508 CPUtime=0 cores=1,3,5,7
/proc/28694/task/28708/stat : 28708 (java) S 28692 28694 28246 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831270961 10798600192 14966 33554432000 1073741824 1073778376 140735964475760 18446744073709551615 270624934321 0 4 0 16800975 18446604469435891776 0 0 -1 1 0 0 0
[pid=28694/tid=28709] ppid=28692 vsize=10545508 CPUtime=0.1 cores=1,3,5,7
/proc/28694/task/28709/stat : 28709 (java) S 28692 28694 28246 0 -1 4202560 749 0 0 0 10 0 0 0 20 0 19 0 831270961 10798600192 14966 33554432000 1073741824 1073778376 140735964475760 18446744073709551615 270624926617 0 4 0 16800975 18446604469435891776 0 0 -1 3 0 0 0
[pid=28694/tid=28710] ppid=28692 vsize=10545508 CPUtime=0.1 cores=1,3,5,7
/proc/28694/task/28710/stat : 28710 (java) S 28692 28694 28246 0 -1 4202560 922 0 0 0 10 0 0 0 15 0 19 0 831270961 10798600192 14966 33554432000 1073741824 1073778376 140735964475760 18446744073709551615 270624926617 0 4 0 16800975 18446604469435891776 0 0 -1 5 0 0 0
[pid=28694/tid=28711] ppid=28692 vsize=10545508 CPUtime=0 cores=1,3,5,7
/proc/28694/task/28711/stat : 28711 (java) S 28692 28694 28246 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831270961 10798600192 14966 33554432000 1073741824 1073778376 140735964475760 18446744073709551615 270624926617 0 4 0 16800975 18446604469435891776 0 0 -1 1 0 0 0
[pid=28694/tid=28712] ppid=28692 vsize=10545508 CPUtime=0 cores=1,3,5,7
/proc/28694/task/28712/stat : 28712 (java) S 28692 28694 28246 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831270961 10798600192 14966 33554432000 1073741824 1073778376 140735964475760 18446744073709551615 270624927232 0 4 0 16800975 18446604469435891776 0 0 -1 3 0 0 0
[pid=28694/tid=28716] ppid=28692 vsize=10545508 CPUtime=0 cores=1,3,5,7
/proc/28694/task/28716/stat : 28716 (java) S 28692 28694 28246 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 831270984 10798600192 14966 33554432000 1073741824 1073778376 140735964475760 18446744073709551615 270624927232 0 4 0 16800975 18446604469435891776 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 10545508
Child status: 30
Real time (s): 1.29361
CPU time (s): 0.544916
CPU user time (s): 0.511922
CPU system time (s): 0.032994
CPU usage (%): 42.1236
Max. virtual memory (cumulated for all children) (KiB): 10546184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.511922
system time used= 0.032994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15577
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= 210
involuntary context switches= 32
runsolver used 0.011998 second user time and 0.025996 second system time
The end