runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3687320-1337871899/watcher-3687320-1337871899 -o /tmp/evaluation-result-3687320-1337871899/solver-3687320-1337871899 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687320-1337871899.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: 0.51 0.11 0.04 4/197 22369
/proc/meminfo: memFree=28332304/32873648 swapFree=6864/6864
[pid=22369] ppid=22367 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/22369/stat : 22369 (java) S 22367 22369 22184 0 -1 4202496 1269 0 0 0 0 0 0 0 20 0 2 0 253315885 98570240 971 33554432000 1073741824 1073778376 140734540480944 140734540472080 226087698493 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22369/statm: 24065 974 740 9 0 16771 0
[pid=22369/tid=22370] ppid=22367 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/22369/task/22370/stat : 22370 (java) D 22367 22369 22184 0 -1 4202560 126 0 0 0 0 0 0 0 20 0 2 0 253315886 98570240 974 33554432000 1073741824 1073778376 140734540480944 140435807729864 226084339381 0 0 4096 0 18446744072100609316 0 0 -1 3 0 0 0 0 0
[startup+0.0769081 s]
/proc/loadavg: 0.51 0.11 0.04 4/197 22369
/proc/meminfo: memFree=28332304/32873648 swapFree=6864/6864
[pid=22369] ppid=22367 vsize=9558412 CPUtime=0.07 cores=1,3,5,7
/proc/22369/stat : 22369 (java) S 22367 22369 22184 0 -1 4202496 3761 0 1 0 6 1 0 0 20 0 18 0 253315885 9787813888 4968 33554432000 1073741824 1073778376 140734540480944 140734540472080 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22369/statm: 2389603 4971 1990 9 0 2380296 0
[pid=22369/tid=22370] ppid=22367 vsize=9558412 CPUtime=0.05 cores=1,3,5,7
/proc/22369/task/22370/stat : 22370 (java) R 22367 22369 22184 0 -1 4202560 2247 0 1 0 5 0 0 0 20 0 18 0 253315886 9787813888 4973 33554432000 1073741824 1073778376 140734540480944 140435807730688 226087724301 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558412
[startup+0.100299 s]
/proc/loadavg: 0.51 0.11 0.04 4/197 22369
/proc/meminfo: memFree=28332304/32873648 swapFree=6864/6864
[pid=22369] ppid=22367 vsize=9558412 CPUtime=0.1 cores=1,3,5,7
/proc/22369/stat : 22369 (java) S 22367 22369 22184 0 -1 4202496 4412 0 1 0 9 1 0 0 20 0 18 0 253315885 9787813888 6079 33554432000 1073741824 1073778376 140734540480944 140734540472080 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22369/statm: 2389603 6079 2124 9 0 2380296 0
[pid=22369/tid=22370] ppid=22367 vsize=9558412 CPUtime=0.07 cores=1,3,5,7
/proc/22369/task/22370/stat : 22370 (java) R 22367 22369 22184 0 -1 4202560 2427 0 1 0 7 0 0 0 20 0 18 0 253315886 9787813888 6079 33554432000 1073741824 1073778376 140734540480944 140435807731560 226084381815 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558412
[startup+0.300196 s]
/proc/loadavg: 0.51 0.11 0.04 4/197 22369
/proc/meminfo: memFree=28332304/32873648 swapFree=6864/6864
[pid=22369] ppid=22367 vsize=9558412 CPUtime=0.48 cores=1,3,5,7
/proc/22369/stat : 22369 (java) S 22367 22369 22184 0 -1 4202496 5503 0 1 0 47 1 0 0 20 0 18 0 253315885 9787813888 8241 33554432000 1073741824 1073778376 140734540480944 140734540472080 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22369/statm: 2389603 8241 2217 9 0 2380296 0
[pid=22369/tid=22370] ppid=22367 vsize=9558412 CPUtime=0.27 cores=1,3,5,7
/proc/22369/task/22370/stat : 22370 (java) R 22367 22369 22184 0 -1 4202560 2441 0 1 0 26 1 0 0 20 0 18 0 253315886 9787813888 8241 33554432000 1073741824 1073778376 140734540480944 140435807731560 226087724301 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558412
[startup+0.700222 s]
/proc/loadavg: 0.51 0.11 0.04 4/197 22369
/proc/meminfo: memFree=28332304/32873648 swapFree=6864/6864
[pid=22369] ppid=22367 vsize=9824668 CPUtime=2.05 cores=1,3,5,7
/proc/22369/stat : 22369 (java) S 22367 22369 22184 0 -1 4202496 15229 0 1 0 202 3 0 0 20 0 22 0 253315885 10060460032 21951 33554432000 1073741824 1073778376 140734540480944 140734540472080 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22369/statm: 2456167 21951 2244 9 0 2446860 0
[pid=22369/tid=22370] ppid=22367 vsize=9824668 CPUtime=0.28 cores=1,3,5,7
/proc/22369/task/22370/stat : 22370 (java) S 22367 22369 22184 0 -1 4202560 2454 0 1 0 27 1 0 0 20 0 22 0 253315886 10060460032 21951 33554432000 1073741824 1073778376 140734540480944 140435807740920 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.05
Current children cumulated vsize (KiB) 9824668
[startup+1.50266 s]
/proc/loadavg: 0.51 0.11 0.04 7/219 22391
/proc/meminfo: memFree=28120296/32873648 swapFree=6864/6864
[pid=22369] ppid=22367 vsize=9824668 CPUtime=4.72 cores=1,3,5,7
/proc/22369/stat : 22369 (java) S 22367 22369 22184 0 -1 4202496 21098 0 1 0 464 8 0 0 20 0 22 0 253315885 10060460032 50704 33554432000 1073741824 1073778376 140734540480944 140734540472080 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22369/statm: 2456167 50704 2278 9 0 2446860 0
[pid=22369/tid=22370] ppid=22367 vsize=9824668 CPUtime=0.28 cores=1,3,5,7
/proc/22369/task/22370/stat : 22370 (java) S 22367 22369 22184 0 -1 4202560 2454 0 1 0 27 1 0 0 20 0 22 0 253315886 10060460032 50704 33554432000 1073741824 1073778376 140734540480944 140435807740920 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22369/tid=22372] ppid=22367 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22369/task/22372/stat : 22372 (java) S 22367 22369 22184 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253315887 10060460032 50704 33554432000 1073741824 1073778376 140734540480944 140435769232296 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22369/tid=22373] ppid=22367 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22369/task/22373/stat : 22373 (java) R 22367 22369 22184 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253315887 10060460032 50704 33554432000 1073741824 1073778376 140734540480944 140435768179880 226084293767 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22369/tid=22374] ppid=22367 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22369/task/22374/stat : 22374 (java) S 22367 22369 22184 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 253315887 10060460032 50704 33554432000 1073741824 1073778376 140734540480944 140435649456808 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22369/tid=22375] ppid=22367 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22369/task/22375/stat : 22375 (java) R 22367 22369 22184 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 253315887 10060460032 50704 33554432000 1073741824 1073778376 140734540480944 140435648404392 226084293767 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22369/tid=22376] ppid=22367 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22369/task/22376/stat : 22376 (java) R 22367 22369 22184 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 253315887 10060460032 50704 33554432000 1073741824 1073778376 140734540480944 140435647351336 226084293767 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=22369/tid=22377] ppid=22367 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22369/task/22377/stat : 22377 (java) R 22367 22369 22184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253315887 10060460032 50704 33554432000 1073741824 1073778376 140734540480944 140435646298664 226084293767 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22369/tid=22378] ppid=22367 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22369/task/22378/stat : 22378 (java) R 22367 22369 22184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253315887 10060460032 50704 33554432000 1073741824 1073778376 140734540480944 140435645245736 226084293767 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22369/tid=22379] ppid=22367 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22369/task/22379/stat : 22379 (java) S 22367 22369 22184 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 253315887 10060460032 50704 33554432000 1073741824 1073778376 140734540480944 140435644193064 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22369/tid=22380] ppid=22367 vsize=9824668 CPUtime=0.03 cores=1,3,5,7
/proc/22369/task/22380/stat : 22380 (java) R 22367 22369 22184 0 -1 4202560 98 0 0 0 3 0 0 0 20 0 22 0 253315888 10060460032 50704 33554432000 1073741824 1073778376 140734540480944 140435161863944 140435815454440 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22369/tid=22381] ppid=22367 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22369/task/22381/stat : 22381 (java) S 22367 22369 22184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253315888 10060460032 50704 33554432000 1073741824 1073778376 140734540480944 140435160811384 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22369/tid=22382] ppid=22367 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22369/task/22382/stat : 22382 (java) S 22367 22369 22184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253315888 10060460032 50704 33554432000 1073741824 1073778376 140734540480944 140435159758216 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22369/tid=22383] ppid=22367 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22369/task/22383/stat : 22383 (java) S 22367 22369 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253315890 10060460032 50704 33554432000 1073741824 1073778376 140734540480944 140435158706960 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22369/tid=22384] ppid=22367 vsize=9824668 CPUtime=1 cores=1,3,5,7
/proc/22369/task/22384/stat : 22384 (java) S 22367 22369 22184 0 -1 4202560 11213 0 0 0 97 3 0 0 20 0 22 0 253315890 10060460032 50704 33554432000 1073741824 1073778376 140734540480944 140435157653816 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22369/tid=22385] ppid=22367 vsize=9824668 CPUtime=1.07 cores=1,3,5,7
/proc/22369/task/22385/stat : 22385 (java) S 22367 22369 22184 0 -1 4202560 5922 0 0 0 105 2 0 0 20 0 22 0 253315890 10060460032 50704 33554432000 1073741824 1073778376 140734540480944 140435156601272 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22369/tid=22386] ppid=22367 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22369/task/22386/stat : 22386 (java) S 22367 22369 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253315890 10060460032 50704 33554432000 1073741824 1073778376 140734540480944 140435155548408 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22369/tid=22387] ppid=22367 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22369/task/22387/stat : 22387 (java) S 22367 22369 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253315890 10060460032 50704 33554432000 1073741824 1073778376 140734540480944 140435154496072 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22369/tid=22388] ppid=22367 vsize=9824668 CPUtime=1.11 cores=1,3,5,7
/proc/22369/task/22388/stat : 22388 (java) R 22367 22369 22184 0 -1 4202560 30 0 0 0 111 0 0 0 20 0 22 0 253315916 10060460032 50704 33554432000 1073741824 1073778376 140734540480944 140435153441920 140435650014645 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22369/tid=22389] ppid=22367 vsize=9824668 CPUtime=1.12 cores=1,3,5,7
/proc/22369/task/22389/stat : 22389 (java) R 22367 22369 22184 0 -1 4202560 127 0 0 0 110 2 0 0 20 0 22 0 253315916 10060460032 50704 33554432000 1073741824 1073778376 140734540480944 140435152388032 140435650211219 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22369/tid=22390] ppid=22367 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22369/task/22390/stat : 22390 (java) S 22367 22369 22184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253315917 10060460032 50704 33554432000 1073741824 1073778376 140734540480944 140435151336744 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22369/tid=22391] ppid=22367 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22369/task/22391/stat : 22391 (java) S 22367 22369 22184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253315917 10060460032 50704 33554432000 1073741824 1073778376 140734540480944 140435150284200 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.72
Current children cumulated vsize (KiB) 9824668
Solver just ended. Dumping a history of the last processes samples
[startup+1.9008 s]
/proc/loadavg: 0.51 0.11 0.04 7/219 22391
/proc/meminfo: memFree=28120296/32873648 swapFree=6864/6864
[pid=22369] ppid=22367 vsize=9824668 CPUtime=5.62 cores=1,3,5,7
/proc/22369/stat : 22369 (java) S 22367 22369 22184 0 -1 4202496 22914 0 1 0 550 12 0 0 20 0 19 0 253315885 10060460032 53668 33554432000 1073741824 1073778376 140734540480944 140734540472080 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22369/statm: 2456167 53668 2279 9 0 2446860 0
[pid=22369/tid=22370] ppid=22367 vsize=9824668 CPUtime=0.28 cores=1,3,5,7
/proc/22369/task/22370/stat : 22370 (java) S 22367 22369 22184 0 -1 4202560 2454 0 1 0 27 1 0 0 20 0 19 0 253315886 10060460032 53668 33554432000 1073741824 1073778376 140734540480944 140435807740920 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22369/tid=22372] ppid=22367 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22369/task/22372/stat : 22372 (java) S 22367 22369 22184 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 253315887 10060460032 53668 33554432000 1073741824 1073778376 140734540480944 140435769232296 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22369/tid=22373] ppid=22367 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22369/task/22373/stat : 22373 (java) S 22367 22369 22184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253315887 10060460032 53668 33554432000 1073741824 1073778376 140734540480944 140435768179752 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22369/tid=22374] ppid=22367 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22369/task/22374/stat : 22374 (java) S 22367 22369 22184 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 253315887 10060460032 53668 33554432000 1073741824 1073778376 140734540480944 140435649456808 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22369/tid=22375] ppid=22367 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22369/task/22375/stat : 22375 (java) S 22367 22369 22184 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 253315887 10060460032 53668 33554432000 1073741824 1073778376 140734540480944 140435648404264 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22369/tid=22376] ppid=22367 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22369/task/22376/stat : 22376 (java) S 22367 22369 22184 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253315887 10060460032 53668 33554432000 1073741824 1073778376 140734540480944 140435647351208 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22369/tid=22377] ppid=22367 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22369/task/22377/stat : 22377 (java) S 22367 22369 22184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253315887 10060460032 53668 33554432000 1073741824 1073778376 140734540480944 140435646298664 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22369/tid=22378] ppid=22367 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22369/task/22378/stat : 22378 (java) S 22367 22369 22184 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 253315887 10060460032 53668 33554432000 1073741824 1073778376 140734540480944 140435645245608 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22369/tid=22379] ppid=22367 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22369/task/22379/stat : 22379 (java) S 22367 22369 22184 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253315887 10060460032 53668 33554432000 1073741824 1073778376 140734540480944 140435644193064 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22369/tid=22380] ppid=22367 vsize=9824668 CPUtime=0.06 cores=1,3,5,7
/proc/22369/task/22380/stat : 22380 (java) S 22367 22369 22184 0 -1 4202560 99 0 0 0 6 0 0 0 20 0 19 0 253315888 10060460032 53668 33554432000 1073741824 1073778376 140734540480944 140435161865064 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22369/tid=22381] ppid=22367 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22369/task/22381/stat : 22381 (java) S 22367 22369 22184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253315888 10060460032 53668 33554432000 1073741824 1073778376 140734540480944 140435160811384 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22369/tid=22382] ppid=22367 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22369/task/22382/stat : 22382 (java) S 22367 22369 22184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253315888 10060460032 53668 33554432000 1073741824 1073778376 140734540480944 140435159758216 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22369/tid=22383] ppid=22367 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22369/task/22383/stat : 22383 (java) S 22367 22369 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253315890 10060460032 53668 33554432000 1073741824 1073778376 140734540480944 140435158706960 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22369/tid=22384] ppid=22367 vsize=9824668 CPUtime=1.03 cores=1,3,5,7
/proc/22369/task/22384/stat : 22384 (java) S 22367 22369 22184 0 -1 4202560 11214 0 0 0 100 3 0 0 20 0 19 0 253315890 10060460032 53668 33554432000 1073741824 1073778376 140734540480944 140435157653816 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22369/tid=22385] ppid=22367 vsize=9824668 CPUtime=1.32 cores=1,3,5,7
/proc/22369/task/22385/stat : 22385 (java) R 22367 22369 22184 0 -1 4202560 7723 0 0 0 130 2 0 0 20 0 19 0 253315890 10060460032 53668 33554432000 1073741824 1073778376 140734540480944 140435156579384 140435814727187 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22369/tid=22386] ppid=22367 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22369/task/22386/stat : 22386 (java) S 22367 22369 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253315890 10060460032 53668 33554432000 1073741824 1073778376 140734540480944 140435155548408 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22369/tid=22387] ppid=22367 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22369/task/22387/stat : 22387 (java) S 22367 22369 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253315890 10060460032 53668 33554432000 1073741824 1073778376 140734540480944 140435154496072 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22369/tid=22391] ppid=22367 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22369/task/22391/stat : 22391 (java) S 22367 22369 22184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253315917 10060460032 53668 33554432000 1073741824 1073778376 140734540480944 140435150284200 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 5.62
Current children cumulated vsize (KiB) 9824668
[startup+2.30062 s]
/proc/loadavg: 0.51 0.11 0.04 3/216 22391
/proc/meminfo: memFree=27981104/32873648 swapFree=6864/6864
[pid=22369] ppid=22367 vsize=9824668 CPUtime=5.72 cores=1,3,5,7
/proc/22369/stat : 22369 (java) S 22367 22369 22184 0 -1 4202496 23715 0 1 0 560 12 0 0 20 0 19 0 253315885 10060460032 53596 33554432000 1073741824 1073778376 140734540480944 140734540472080 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22369/statm: 2456167 53596 2279 9 0 2446860 0
[pid=22369/tid=22370] ppid=22367 vsize=9824668 CPUtime=0.28 cores=1,3,5,7
/proc/22369/task/22370/stat : 22370 (java) S 22367 22369 22184 0 -1 4202560 2454 0 1 0 27 1 0 0 20 0 19 0 253315886 10060460032 53596 33554432000 1073741824 1073778376 140734540480944 140435807740920 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22369/tid=22372] ppid=22367 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22369/task/22372/stat : 22372 (java) S 22367 22369 22184 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 253315887 10060460032 53596 33554432000 1073741824 1073778376 140734540480944 140435769232296 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22369/tid=22373] ppid=22367 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22369/task/22373/stat : 22373 (java) S 22367 22369 22184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253315887 10060460032 53596 33554432000 1073741824 1073778376 140734540480944 140435768179752 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22369/tid=22374] ppid=22367 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22369/task/22374/stat : 22374 (java) S 22367 22369 22184 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 253315887 10060460032 53596 33554432000 1073741824 1073778376 140734540480944 140435649456808 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22369/tid=22375] ppid=22367 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22369/task/22375/stat : 22375 (java) S 22367 22369 22184 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 253315887 10060460032 53596 33554432000 1073741824 1073778376 140734540480944 140435648404264 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22369/tid=22376] ppid=22367 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22369/task/22376/stat : 22376 (java) S 22367 22369 22184 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253315887 10060460032 53596 33554432000 1073741824 1073778376 140734540480944 140435647351208 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22369/tid=22377] ppid=22367 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22369/task/22377/stat : 22377 (java) S 22367 22369 22184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253315887 10060460032 53596 33554432000 1073741824 1073778376 140734540480944 140435646298664 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22369/tid=22378] ppid=22367 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22369/task/22378/stat : 22378 (java) S 22367 22369 22184 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 253315887 10060460032 53596 33554432000 1073741824 1073778376 140734540480944 140435645245608 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22369/tid=22379] ppid=22367 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22369/task/22379/stat : 22379 (java) S 22367 22369 22184 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253315887 10060460032 53596 33554432000 1073741824 1073778376 140734540480944 140435644193064 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22369/tid=22380] ppid=22367 vsize=9824668 CPUtime=0.06 cores=1,3,5,7
/proc/22369/task/22380/stat : 22380 (java) S 22367 22369 22184 0 -1 4202560 99 0 0 0 6 0 0 0 20 0 19 0 253315888 10060460032 53596 33554432000 1073741824 1073778376 140734540480944 140435161865064 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22369/tid=22381] ppid=22367 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22369/task/22381/stat : 22381 (java) S 22367 22369 22184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253315888 10060460032 53596 33554432000 1073741824 1073778376 140734540480944 140435160811384 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22369/tid=22382] ppid=22367 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22369/task/22382/stat : 22382 (java) S 22367 22369 22184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253315888 10060460032 53596 33554432000 1073741824 1073778376 140734540480944 140435159758216 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22369/tid=22383] ppid=22367 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22369/task/22383/stat : 22383 (java) S 22367 22369 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253315890 10060460032 53596 33554432000 1073741824 1073778376 140734540480944 140435158706960 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22369/tid=22384] ppid=22367 vsize=9824668 CPUtime=1.03 cores=1,3,5,7
/proc/22369/task/22384/stat : 22384 (java) S 22367 22369 22184 0 -1 4202560 11214 0 0 0 100 3 0 0 20 0 19 0 253315890 10060460032 53596 33554432000 1073741824 1073778376 140734540480944 140435157653816 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22369/tid=22385] ppid=22367 vsize=9824668 CPUtime=1.42 cores=1,3,5,7
/proc/22369/task/22385/stat : 22385 (java) S 22367 22369 22184 0 -1 4202560 8524 0 0 0 140 2 0 0 20 0 19 0 253315890 10060460032 53596 33554432000 1073741824 1073778376 140734540480944 140435156601272 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22369/tid=22386] ppid=22367 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22369/task/22386/stat : 22386 (java) S 22367 22369 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253315890 10060460032 53596 33554432000 1073741824 1073778376 140734540480944 140435155548408 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22369/tid=22387] ppid=22367 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22369/task/22387/stat : 22387 (java) S 22367 22369 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253315890 10060460032 53596 33554432000 1073741824 1073778376 140734540480944 140435154496072 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22369/tid=22391] ppid=22367 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22369/task/22391/stat : 22391 (java) S 22367 22369 22184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253315917 10060460032 53596 33554432000 1073741824 1073778376 140734540480944 140435150284200 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 5.72
Current children cumulated vsize (KiB) 9824668
Child status: 10
Real time (s): 2.32135
CPU time (s): 5.72313
CPU user time (s): 5.56115
CPU system time (s): 0.161975
CPU usage (%): 246.543
Max. virtual memory (cumulated for all children) (KiB): 9826140
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.56115
system time used= 0.161975
maximum resident set size= 216560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23724
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 480
involuntary context switches= 125
runsolver used 0.013997 second user time and 0.019996 second system time
The end