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-3455134-1307189106/watcher-3455134-1307189106 -o /tmp/evaluation-result-3455134-1307189106/solver-3455134-1307189106 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455134-1307189106.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: 3.16 3.38 3.01 2/519 25884
/proc/meminfo: memFree=29138120/32951124 swapFree=53876548/67111528
[pid=25884] ppid=25882 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/25884/stat : 25884 (java) S 25882 25884 21775 0 -1 4202496 4196 0 1 0 0 0 0 0 25 0 2 0 830511570 10694979584 3898 33554432000 1073741824 1073778376 140736016414912 18446744073709551615 270624913381 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/25884/statm: 2611079 3912 917 9 0 2602235 0
[pid=25884/tid=25885] ppid=25882 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/25884/task/25885/stat : 25885 (java) R 25882 25884 21775 0 -1 4202560 3144 0 1 0 0 0 0 0 25 0 2 0 830511571 10694979584 3960 33554432000 1073741824 1073778376 140736016414912 18446744073709551615 270612804667 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.044667 s]
/proc/loadavg: 3.16 3.38 3.01 2/519 25884
/proc/meminfo: memFree=29138120/32951124 swapFree=53876548/67111528
[pid=25884] ppid=25882 vsize=10467480 CPUtime=0.03 cores=1,3,5,7
/proc/25884/stat : 25884 (java) S 25882 25884 21775 0 -1 4202496 11104 0 1 0 2 1 0 0 25 0 13 0 830511570 10718699520 10802 33554432000 1073741824 1073778376 140736016414912 18446744073709551615 270624913381 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/25884/statm: 2616870 10802 1638 9 0 2607618 0
[pid=25884/tid=25885] ppid=25882 vsize=10467480 CPUtime=0.01 cores=1,3,5,7
/proc/25884/task/25885/stat : 25885 (java) S 25882 25884 21775 0 -1 4202560 9956 0 1 0 1 0 0 0 25 0 13 0 830511571 10718699520 10802 33554432000 1073741824 1073778376 140736016414912 18446744073709551615 270613130822 0 4 0 16784584 10454690369789493248 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10467480
[startup+0.100617 s]
/proc/loadavg: 3.16 3.38 3.01 2/519 25884
/proc/meminfo: memFree=29138120/32951124 swapFree=53876548/67111528
[pid=25884] ppid=25882 vsize=10540180 CPUtime=0.09 cores=1,3,5,7
/proc/25884/stat : 25884 (java) S 25882 25884 21775 0 -1 4202496 12942 0 1 0 8 1 0 0 25 0 18 0 830511570 10793144320 12639 33554432000 1073741824 1073778376 140736016414912 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25884/statm: 2635045 12639 2093 9 0 2625779 0
[pid=25884/tid=25885] ppid=25882 vsize=10540180 CPUtime=0.07 cores=1,3,5,7
/proc/25884/task/25885/stat : 25885 (java) R 25882 25884 21775 0 -1 4202560 11011 0 1 0 6 1 0 0 25 0 18 0 830511571 10793144320 12639 33554432000 1073741824 1073778376 140736016414912 18446744073709551615 46912496216450 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10540180
[startup+0.300624 s]
/proc/loadavg: 3.16 3.38 3.01 2/519 25884
/proc/meminfo: memFree=29138120/32951124 swapFree=53876548/67111528
[pid=25884] ppid=25882 vsize=10546000 CPUtime=0.39 cores=1,3,5,7
/proc/25884/stat : 25884 (java) S 25882 25884 21775 0 -1 4202496 15768 0 1 0 38 1 0 0 25 0 19 0 830511570 10799104000 14763 33554432000 1073741824 1073778376 140736016414912 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25884/statm: 2636500 14763 2209 9 0 2627234 0
[pid=25884/tid=25885] ppid=25882 vsize=10546000 CPUtime=0.19 cores=1,3,5,7
/proc/25884/task/25885/stat : 25885 (java) S 25882 25884 21775 0 -1 4202560 11898 0 1 0 18 1 0 0 25 0 19 0 830511571 10799104000 14763 33554432000 1073741824 1073778376 140736016414912 18446744073709551615 270624927232 0 4 0 16800975 18446604461988913216 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 10546000
[startup+0.700548 s]
/proc/loadavg: 3.16 3.38 3.01 2/519 25884
/proc/meminfo: memFree=29138120/32951124 swapFree=53876548/67111528
[pid=25884] ppid=25882 vsize=10546000 CPUtime=0.39 cores=1,3,5,7
/proc/25884/stat : 25884 (java) S 25882 25884 21775 0 -1 4202496 15768 0 1 0 38 1 0 0 25 0 19 0 830511570 10799104000 14763 33554432000 1073741824 1073778376 140736016414912 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25884/statm: 2636500 14763 2209 9 0 2627234 0
[pid=25884/tid=25885] ppid=25882 vsize=10546000 CPUtime=0.19 cores=1,3,5,7
/proc/25884/task/25885/stat : 25885 (java) S 25882 25884 21775 0 -1 4202560 11898 0 1 0 18 1 0 0 25 0 19 0 830511571 10799104000 14763 33554432000 1073741824 1073778376 140736016414912 18446744073709551615 270624927232 0 4 0 16800975 18446604461988913216 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 10546000
Solver just ended. Dumping a history of the last processes samples
[startup+1.11948 s]
/proc/loadavg: 3.16 3.38 3.01 3/539 25909
/proc/meminfo: memFree=29085408/32951124 swapFree=53876548/67111528
[pid=25884] ppid=25882 vsize=10546300 CPUtime=0.5 cores=1,3,5,7
/proc/25884/stat : 25884 (java) S 25882 25884 21775 0 -1 4202496 16119 0 1 0 49 1 0 0 25 0 20 0 830511570 10799411200 15114 33554432000 1073741824 1073778376 140736016414912 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25884/statm: 2636575 15114 2222 9 0 2627309 0
[pid=25884/tid=25885] ppid=25882 vsize=10546300 CPUtime=0.2 cores=1,3,5,7
/proc/25884/task/25885/stat : 25885 (java) S 25882 25884 21775 0 -1 4202560 11941 0 1 0 19 1 0 0 21 0 20 0 830511571 10799411200 15114 33554432000 1073741824 1073778376 140736016414912 18446744073709551615 270624927232 0 4 0 16800975 18446604461988913216 0 0 -1 7 0 0 0
[pid=25884/tid=25887] ppid=25882 vsize=10546300 CPUtime=0 cores=1,3,5,7
/proc/25884/task/25887/stat : 25887 (java) S 25882 25884 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 830511573 10799411200 15114 33554432000 1073741824 1073778376 140736016414912 18446744073709551615 270624926617 0 4 0 16800975 18446604461988913216 0 0 -1 7 0 0 0
[pid=25884/tid=25888] ppid=25882 vsize=10546300 CPUtime=0 cores=1,3,5,7
/proc/25884/task/25888/stat : 25888 (java) S 25882 25884 21775 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 20 0 830511573 10799411200 15114 33554432000 1073741824 1073778376 140736016414912 18446744073709551615 270624926617 0 4 0 16800975 18446604461988913216 0 0 -1 7 0 0 0
[pid=25884/tid=25889] ppid=25882 vsize=10546300 CPUtime=0 cores=1,3,5,7
/proc/25884/task/25889/stat : 25889 (java) S 25882 25884 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 830511573 10799411200 15114 33554432000 1073741824 1073778376 140736016414912 18446744073709551615 270624926617 0 4 0 16800975 18446604461988913216 0 0 -1 7 0 0 0
[pid=25884/tid=25890] ppid=25882 vsize=10546300 CPUtime=0 cores=1,3,5,7
/proc/25884/task/25890/stat : 25890 (java) S 25882 25884 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 830511573 10799411200 15114 33554432000 1073741824 1073778376 140736016414912 18446744073709551615 270624926617 0 4 0 16800975 18446604461988913216 0 0 -1 7 0 0 0
[pid=25884/tid=25891] ppid=25882 vsize=10546300 CPUtime=0 cores=1,3,5,7
/proc/25884/task/25891/stat : 25891 (java) S 25882 25884 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 830511573 10799411200 15114 33554432000 1073741824 1073778376 140736016414912 18446744073709551615 270624926617 0 4 0 16800975 18446604461988913216 0 0 -1 7 0 0 0
[pid=25884/tid=25892] ppid=25882 vsize=10546300 CPUtime=0 cores=1,3,5,7
/proc/25884/task/25892/stat : 25892 (java) S 25882 25884 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 830511573 10799411200 15114 33554432000 1073741824 1073778376 140736016414912 18446744073709551615 270624926617 0 4 0 16800975 18446604461988913216 0 0 -1 7 0 0 0
[pid=25884/tid=25893] ppid=25882 vsize=10546300 CPUtime=0 cores=1,3,5,7
/proc/25884/task/25893/stat : 25893 (java) S 25882 25884 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 830511573 10799411200 15114 33554432000 1073741824 1073778376 140736016414912 18446744073709551615 270624926617 0 4 0 16800975 18446604461988913216 0 0 -1 7 0 0 0
[pid=25884/tid=25894] ppid=25882 vsize=10546300 CPUtime=0 cores=1,3,5,7
/proc/25884/task/25894/stat : 25894 (java) S 25882 25884 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 830511573 10799411200 15114 33554432000 1073741824 1073778376 140736016414912 18446744073709551615 270624926617 0 4 0 16800975 18446604461988913216 0 0 -1 7 0 0 0
[pid=25884/tid=25895] ppid=25882 vsize=10546300 CPUtime=0 cores=1,3,5,7
/proc/25884/task/25895/stat : 25895 (java) S 25882 25884 21775 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 20 0 830511574 10799411200 15114 33554432000 1073741824 1073778376 140736016414912 18446744073709551615 270624927232 0 0 0 16800975 18446604461988913216 0 0 -1 1 0 0 0
[pid=25884/tid=25896] ppid=25882 vsize=10546300 CPUtime=0 cores=1,3,5,7
/proc/25884/task/25896/stat : 25896 (java) S 25882 25884 21775 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 20 0 830511575 10799411200 15114 33554432000 1073741824 1073778376 140736016414912 18446744073709551615 270624926617 0 4 0 16800975 18446604461988913216 0 0 -1 1 0 0 0
[pid=25884/tid=25897] ppid=25882 vsize=10546300 CPUtime=0 cores=1,3,5,7
/proc/25884/task/25897/stat : 25897 (java) S 25882 25884 21775 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 20 0 830511575 10799411200 15114 33554432000 1073741824 1073778376 140736016414912 18446744073709551615 270624926617 0 4 0 16800975 18446604461988913216 0 0 -1 1 0 0 0
[pid=25884/tid=25898] ppid=25882 vsize=10546300 CPUtime=0 cores=1,3,5,7
/proc/25884/task/25898/stat : 25898 (java) S 25882 25884 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 830511577 10799411200 15114 33554432000 1073741824 1073778376 140736016414912 18446744073709551615 270624934321 0 4 0 16800975 18446604461988913216 0 0 -1 1 0 0 0
[pid=25884/tid=25899] ppid=25882 vsize=10546300 CPUtime=0.11 cores=1,3,5,7
/proc/25884/task/25899/stat : 25899 (java) S 25882 25884 21775 0 -1 4202560 940 0 0 0 11 0 0 0 21 0 20 0 830511577 10799411200 15114 33554432000 1073741824 1073778376 140736016414912 18446744073709551615 270624926617 0 4 0 16800975 18446604461988913216 0 0 -1 3 0 0 0
[pid=25884/tid=25900] ppid=25882 vsize=10546300 CPUtime=0.09 cores=1,3,5,7
/proc/25884/task/25900/stat : 25900 (java) S 25882 25884 21775 0 -1 4202560 1705 0 0 0 9 0 0 0 16 0 20 0 830511577 10799411200 15114 33554432000 1073741824 1073778376 140736016414912 18446744073709551615 270624926617 0 4 0 16800975 18446604461988913216 0 0 -1 7 0 0 0
[pid=25884/tid=25901] ppid=25882 vsize=10546300 CPUtime=0 cores=1,3,5,7
/proc/25884/task/25901/stat : 25901 (java) S 25882 25884 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 830511577 10799411200 15114 33554432000 1073741824 1073778376 140736016414912 18446744073709551615 270624926617 0 4 0 16800975 18446604461988913216 0 0 -1 1 0 0 0
[pid=25884/tid=25902] ppid=25882 vsize=10546300 CPUtime=0 cores=1,3,5,7
/proc/25884/task/25902/stat : 25902 (java) S 25882 25884 21775 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 20 0 830511577 10799411200 15114 33554432000 1073741824 1073778376 140736016414912 18446744073709551615 270624927232 0 4 0 16800975 18446604461988913216 0 0 -1 1 0 0 0
[pid=25884/tid=25906] ppid=25882 vsize=10546300 CPUtime=0 cores=1,3,5,7
/proc/25884/task/25906/stat : 25906 (java) S 25882 25884 21775 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 20 0 830511593 10799411200 15114 33554432000 1073741824 1073778376 140736016414912 18446744073709551615 270624927232 0 4 0 16800975 18446604461988913216 0 0 -1 1 0 0 0
[pid=25884/tid=25909] ppid=25882 vsize=10546300 CPUtime=0 cores=1,3,5,7
/proc/25884/task/25909/stat : 25909 (java) S 25882 25884 21775 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 20 0 830511643 10799411200 15114 33554432000 1073741824 1073778376 140736016414912 18446744073709551615 270624927232 0 4 0 16800975 18446604461988913216 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 10546300
[startup+1.20146 s]
/proc/loadavg: 3.16 3.38 3.01 3/539 25909
/proc/meminfo: memFree=29085408/32951124 swapFree=53876548/67111528
[pid=25884] ppid=25882 vsize=10546300 CPUtime=0.5 cores=1,3,5,7
/proc/25884/stat : 25884 (java) S 25882 25884 21775 0 -1 4202496 16119 0 1 0 49 1 0 0 25 0 20 0 830511570 10799411200 15114 33554432000 1073741824 1073778376 140736016414912 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25884/statm: 2636575 15114 2222 9 0 2627309 0
[pid=25884/tid=25885] ppid=25882 vsize=10546300 CPUtime=0.2 cores=1,3,5,7
/proc/25884/task/25885/stat : 25885 (java) S 25882 25884 21775 0 -1 4202560 11941 0 1 0 19 1 0 0 21 0 20 0 830511571 10799411200 15114 33554432000 1073741824 1073778376 140736016414912 18446744073709551615 270624927232 0 4 0 16800975 18446604461988913216 0 0 -1 7 0 0 0
[pid=25884/tid=25887] ppid=25882 vsize=10546300 CPUtime=0 cores=1,3,5,7
/proc/25884/task/25887/stat : 25887 (java) S 25882 25884 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 830511573 10799411200 15114 33554432000 1073741824 1073778376 140736016414912 18446744073709551615 270624926617 0 4 0 16800975 18446604461988913216 0 0 -1 7 0 0 0
[pid=25884/tid=25888] ppid=25882 vsize=10546300 CPUtime=0 cores=1,3,5,7
/proc/25884/task/25888/stat : 25888 (java) S 25882 25884 21775 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 20 0 830511573 10799411200 15114 33554432000 1073741824 1073778376 140736016414912 18446744073709551615 270624926617 0 4 0 16800975 18446604461988913216 0 0 -1 7 0 0 0
[pid=25884/tid=25889] ppid=25882 vsize=10546300 CPUtime=0 cores=1,3,5,7
/proc/25884/task/25889/stat : 25889 (java) S 25882 25884 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 830511573 10799411200 15114 33554432000 1073741824 1073778376 140736016414912 18446744073709551615 270624926617 0 4 0 16800975 18446604461988913216 0 0 -1 7 0 0 0
[pid=25884/tid=25890] ppid=25882 vsize=10546300 CPUtime=0 cores=1,3,5,7
/proc/25884/task/25890/stat : 25890 (java) S 25882 25884 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 830511573 10799411200 15114 33554432000 1073741824 1073778376 140736016414912 18446744073709551615 270624926617 0 4 0 16800975 18446604461988913216 0 0 -1 7 0 0 0
[pid=25884/tid=25891] ppid=25882 vsize=10546300 CPUtime=0 cores=1,3,5,7
/proc/25884/task/25891/stat : 25891 (java) S 25882 25884 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 830511573 10799411200 15114 33554432000 1073741824 1073778376 140736016414912 18446744073709551615 270624926617 0 4 0 16800975 18446604461988913216 0 0 -1 7 0 0 0
[pid=25884/tid=25892] ppid=25882 vsize=10546300 CPUtime=0 cores=1,3,5,7
/proc/25884/task/25892/stat : 25892 (java) S 25882 25884 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 830511573 10799411200 15114 33554432000 1073741824 1073778376 140736016414912 18446744073709551615 270624926617 0 4 0 16800975 18446604461988913216 0 0 -1 7 0 0 0
[pid=25884/tid=25893] ppid=25882 vsize=10546300 CPUtime=0 cores=1,3,5,7
/proc/25884/task/25893/stat : 25893 (java) S 25882 25884 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 830511573 10799411200 15114 33554432000 1073741824 1073778376 140736016414912 18446744073709551615 270624926617 0 4 0 16800975 18446604461988913216 0 0 -1 7 0 0 0
[pid=25884/tid=25894] ppid=25882 vsize=10546300 CPUtime=0 cores=1,3,5,7
/proc/25884/task/25894/stat : 25894 (java) S 25882 25884 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 830511573 10799411200 15114 33554432000 1073741824 1073778376 140736016414912 18446744073709551615 270624926617 0 4 0 16800975 18446604461988913216 0 0 -1 7 0 0 0
[pid=25884/tid=25895] ppid=25882 vsize=10546300 CPUtime=0 cores=1,3,5,7
/proc/25884/task/25895/stat : 25895 (java) S 25882 25884 21775 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 20 0 830511574 10799411200 15114 33554432000 1073741824 1073778376 140736016414912 18446744073709551615 270624927232 0 0 0 16800975 18446604461988913216 0 0 -1 1 0 0 0
[pid=25884/tid=25896] ppid=25882 vsize=10546300 CPUtime=0 cores=1,3,5,7
/proc/25884/task/25896/stat : 25896 (java) S 25882 25884 21775 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 20 0 830511575 10799411200 15114 33554432000 1073741824 1073778376 140736016414912 18446744073709551615 270624926617 0 4 0 16800975 18446604461988913216 0 0 -1 1 0 0 0
[pid=25884/tid=25897] ppid=25882 vsize=10546300 CPUtime=0 cores=1,3,5,7
/proc/25884/task/25897/stat : 25897 (java) S 25882 25884 21775 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 20 0 830511575 10799411200 15114 33554432000 1073741824 1073778376 140736016414912 18446744073709551615 270624926617 0 4 0 16800975 18446604461988913216 0 0 -1 1 0 0 0
[pid=25884/tid=25898] ppid=25882 vsize=10546300 CPUtime=0 cores=1,3,5,7
/proc/25884/task/25898/stat : 25898 (java) S 25882 25884 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 830511577 10799411200 15114 33554432000 1073741824 1073778376 140736016414912 18446744073709551615 270624934321 0 4 0 16800975 18446604461988913216 0 0 -1 1 0 0 0
[pid=25884/tid=25899] ppid=25882 vsize=10546300 CPUtime=0.11 cores=1,3,5,7
/proc/25884/task/25899/stat : 25899 (java) S 25882 25884 21775 0 -1 4202560 940 0 0 0 11 0 0 0 21 0 20 0 830511577 10799411200 15114 33554432000 1073741824 1073778376 140736016414912 18446744073709551615 270624926617 0 4 0 16800975 18446604461988913216 0 0 -1 3 0 0 0
[pid=25884/tid=25900] ppid=25882 vsize=10546300 CPUtime=0.09 cores=1,3,5,7
/proc/25884/task/25900/stat : 25900 (java) S 25882 25884 21775 0 -1 4202560 1705 0 0 0 9 0 0 0 16 0 20 0 830511577 10799411200 15114 33554432000 1073741824 1073778376 140736016414912 18446744073709551615 270624926617 0 4 0 16800975 18446604461988913216 0 0 -1 7 0 0 0
[pid=25884/tid=25901] ppid=25882 vsize=10546300 CPUtime=0 cores=1,3,5,7
/proc/25884/task/25901/stat : 25901 (java) S 25882 25884 21775 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 830511577 10799411200 15114 33554432000 1073741824 1073778376 140736016414912 18446744073709551615 270624926617 0 4 0 16800975 18446604461988913216 0 0 -1 1 0 0 0
[pid=25884/tid=25902] ppid=25882 vsize=10546300 CPUtime=0 cores=1,3,5,7
/proc/25884/task/25902/stat : 25902 (java) S 25882 25884 21775 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 20 0 830511577 10799411200 15114 33554432000 1073741824 1073778376 140736016414912 18446744073709551615 270624927232 0 4 0 16800975 18446604461988913216 0 0 -1 1 0 0 0
[pid=25884/tid=25906] ppid=25882 vsize=10546300 CPUtime=0 cores=1,3,5,7
/proc/25884/task/25906/stat : 25906 (java) S 25882 25884 21775 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 20 0 830511593 10799411200 15114 33554432000 1073741824 1073778376 140736016414912 18446744073709551615 270624927232 0 4 0 16800975 18446604461988913216 0 0 -1 1 0 0 0
[pid=25884/tid=25909] ppid=25882 vsize=10546300 CPUtime=0 cores=1,3,5,7
/proc/25884/task/25909/stat : 25909 (java) S 25882 25884 21775 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 20 0 830511643 10799411200 15114 33554432000 1073741824 1073778376 140736016414912 18446744073709551615 270624927232 0 4 0 16800975 18446604461988913216 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 10546300
Child status: 30
Real time (s): 1.23753
CPU time (s): 0.513921
CPU user time (s): 0.492925
CPU system time (s): 0.020996
CPU usage (%): 41.528
Max. virtual memory (cumulated for all children) (KiB): 10546300
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.492925
system time used= 0.020996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16132
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= 229
involuntary context switches= 65
runsolver used 0.005999 second user time and 0.034994 second system time
The end