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-3736687-1338751964/watcher-3736687-1338751964 -o /tmp/evaluation-result-3736687-1338751964/solver-3736687-1338751964 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3736687-1338751964.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.33 3.54 3.66 4/197 18545
/proc/meminfo: memFree=28366316/32873844 swapFree=7644/7644
[pid=18545] ppid=18543 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/18545/stat : 18545 (java) R 18543 18545 13986 0 -1 4202496 804 0 0 0 0 0 0 0 20 0 1 0 341320818 23793664 531 33554432000 1073741824 1073778376 140733267194000 140733267183064 239228467777 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18545/statm: 5809 542 409 9 0 128 0
[startup+0.0514509 s]
/proc/loadavg: 3.33 3.54 3.66 4/197 18545
/proc/meminfo: memFree=28366316/32873844 swapFree=7644/7644
[pid=18545] ppid=18543 vsize=2367080 CPUtime=0.03 cores=1,3,5,7
/proc/18545/stat : 18545 (java) S 18543 18545 13986 0 -1 4202496 3739 0 1 0 3 0 0 0 20 0 13 0 341320818 2423889920 4946 33554432000 1073741824 1073778376 140733267194000 140733267185136 239241035837 0 0 0 16800971 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18545/statm: 591770 4946 1708 9 0 582471 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2367080
[startup+0.10029 s]
/proc/loadavg: 3.33 3.54 3.66 4/197 18545
/proc/meminfo: memFree=28366316/32873844 swapFree=7644/7644
[pid=18545] ppid=18543 vsize=2699928 CPUtime=0.1 cores=1,3,5,7
/proc/18545/stat : 18545 (java) S 18543 18545 13986 0 -1 4202496 4702 0 1 0 9 1 0 0 20 0 18 0 341320818 2764726272 6394 33554432000 1073741824 1073778376 140733267194000 140733267185136 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18545/statm: 674982 6394 2109 9 0 665676 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2699928
[startup+0.300195 s]
/proc/loadavg: 3.33 3.54 3.66 4/197 18545
/proc/meminfo: memFree=28366316/32873844 swapFree=7644/7644
[pid=18545] ppid=18543 vsize=2966184 CPUtime=0.68 cores=1,3,5,7
/proc/18545/stat : 18545 (java) S 18543 18545 13986 0 -1 4202496 8149 0 1 0 66 2 0 0 20 0 22 0 341320818 3037372416 11562 33554432000 1073741824 1073778376 140733267194000 140733267185136 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18545/statm: 741546 11562 2216 9 0 732240 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 2966184
[startup+0.700276 s]
/proc/loadavg: 3.33 3.54 3.66 4/197 18545
/proc/meminfo: memFree=28366316/32873844 swapFree=7644/7644
[pid=18545] ppid=18543 vsize=2966184 CPUtime=1.6 cores=1,3,5,7
/proc/18545/stat : 18545 (java) S 18543 18545 13986 0 -1 4202496 17570 0 1 0 155 5 0 0 20 0 20 0 341320818 3037372416 17646 33554432000 1073741824 1073778376 140733267194000 140733267185136 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18545/statm: 741546 17646 2226 9 0 732240 0
Current children cumulated CPU time (s) 1.6
Current children cumulated vsize (KiB) 2966184
[startup+1.50083 s]
/proc/loadavg: 3.33 3.54 3.66 3/217 18567
/proc/meminfo: memFree=28301696/32873844 swapFree=7644/7644
[pid=18545] ppid=18543 vsize=2966184 CPUtime=2.78 cores=1,3,5,7
/proc/18545/stat : 18545 (java) S 18543 18545 13986 0 -1 4202496 25142 0 1 0 270 8 0 0 20 0 22 0 341320818 3037372416 47045 33554432000 1073741824 1073778376 140733267194000 140733267185136 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18545/statm: 741546 47045 2267 9 0 732240 0
[pid=18545/tid=18547] ppid=18543 vsize=2966184 CPUtime=0.14 cores=1,3,5,7
/proc/18545/task/18547/stat : 18547 (java) S 18543 18545 13986 0 -1 4202560 2790 0 1 0 13 1 0 0 20 0 22 0 341320818 3037372416 47045 33554432000 1073741824 1073778376 140733267194000 140115696182424 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18545/tid=18548] ppid=18543 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18545/task/18548/stat : 18548 (java) S 18543 18545 13986 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 341320819 3037372416 47045 33554432000 1073741824 1073778376 140733267194000 140115680463784 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18545/tid=18549] ppid=18543 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18545/task/18549/stat : 18549 (java) S 18543 18545 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341320819 3037372416 47045 33554432000 1073741824 1073778376 140733267194000 140115679411240 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18545/tid=18550] ppid=18543 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18545/task/18550/stat : 18550 (java) S 18543 18545 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341320819 3037372416 47045 33554432000 1073741824 1073778376 140733267194000 140115678358184 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18545/tid=18551] ppid=18543 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18545/task/18551/stat : 18551 (java) S 18543 18545 13986 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 341320819 3037372416 47045 33554432000 1073741824 1073778376 140733267194000 140115677305640 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18545/tid=18552] ppid=18543 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18545/task/18552/stat : 18552 (java) S 18543 18545 13986 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 341320819 3037372416 47045 33554432000 1073741824 1073778376 140733267194000 140115676252584 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18545/tid=18553] ppid=18543 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18545/task/18553/stat : 18553 (java) S 18543 18545 13986 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 341320820 3037372416 47045 33554432000 1073741824 1073778376 140733267194000 140115675200040 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18545/tid=18554] ppid=18543 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18545/task/18554/stat : 18554 (java) S 18543 18545 13986 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 341320820 3037372416 47045 33554432000 1073741824 1073778376 140733267194000 140115674146984 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18545/tid=18555] ppid=18543 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18545/task/18555/stat : 18555 (java) S 18543 18545 13986 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 341320820 3037372416 47045 33554432000 1073741824 1073778376 140733267194000 140115673094440 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18545/tid=18556] ppid=18543 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18545/task/18556/stat : 18556 (java) S 18543 18545 13986 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 22 0 341320821 3037372416 47045 33554432000 1073741824 1073778376 140733267194000 140115660684136 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18545/tid=18557] ppid=18543 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18545/task/18557/stat : 18557 (java) S 18543 18545 13986 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341320821 3037372416 47045 33554432000 1073741824 1073778376 140733267194000 140115659630456 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18545/tid=18558] ppid=18543 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18545/task/18558/stat : 18558 (java) S 18543 18545 13986 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 341320821 3037372416 47045 33554432000 1073741824 1073778376 140733267194000 140115540174216 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18545/tid=18559] ppid=18543 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18545/task/18559/stat : 18559 (java) S 18543 18545 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341320824 3037372416 47045 33554432000 1073741824 1073778376 140733267194000 140115539122960 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18545/tid=18560] ppid=18543 vsize=2966184 CPUtime=0.63 cores=1,3,5,7
/proc/18545/task/18560/stat : 18560 (java) S 18543 18545 13986 0 -1 4202560 6108 0 0 0 63 0 0 0 20 0 22 0 341320824 3037372416 47045 33554432000 1073741824 1073778376 140733267194000 140115538069816 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18545/tid=18561] ppid=18543 vsize=2966184 CPUtime=0.8 cores=1,3,5,7
/proc/18545/task/18561/stat : 18561 (java) R 18543 18545 13986 0 -1 4202560 14828 0 0 0 78 2 0 0 20 0 22 0 341320824 3037372416 47045 33554432000 1073741824 1073778376 140733267194000 140115536994968 140115700029027 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18545/tid=18562] ppid=18543 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18545/task/18562/stat : 18562 (java) S 18543 18545 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341320824 3037372416 47045 33554432000 1073741824 1073778376 140733267194000 140115535964408 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18545/tid=18563] ppid=18543 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18545/task/18563/stat : 18563 (java) S 18543 18545 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341320824 3037372416 47045 33554432000 1073741824 1073778376 140733267194000 140115534912072 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18545/tid=18566] ppid=18543 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18545/task/18566/stat : 18566 (java) S 18543 18545 13986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341320835 3037372416 47045 33554432000 1073741824 1073778376 140733267194000 140115531752744 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18545/tid=18567] ppid=18543 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18545/task/18567/stat : 18567 (java) S 18543 18545 13986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341320835 3037372416 47045 33554432000 1073741824 1073778376 140733267194000 140115530700200 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 2966184
[startup+3.10068 s]
/proc/loadavg: 3.33 3.54 3.66 5/219 18569
/proc/meminfo: memFree=28046868/32873844 swapFree=7644/7644
[pid=18545] ppid=18543 vsize=2966184 CPUtime=6.21 cores=1,3,5,7
/proc/18545/stat : 18545 (java) S 18543 18545 13986 0 -1 4202496 28173 0 1 0 607 14 0 0 20 0 20 0 341320818 3037372416 96399 33554432000 1073741824 1073778376 140733267194000 140733267185136 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18545/statm: 741546 96399 2274 9 0 732240 0
[pid=18545/tid=18547] ppid=18543 vsize=2966184 CPUtime=0.14 cores=1,3,5,7
/proc/18545/task/18547/stat : 18547 (java) S 18543 18545 13986 0 -1 4202560 2790 0 1 0 13 1 0 0 20 0 20 0 341320818 3037372416 96399 33554432000 1073741824 1073778376 140733267194000 140115696182424 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18545/tid=18548] ppid=18543 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18545/task/18548/stat : 18548 (java) S 18543 18545 13986 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 20 0 341320819 3037372416 96399 33554432000 1073741824 1073778376 140733267194000 140115680463784 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18545/tid=18549] ppid=18543 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18545/task/18549/stat : 18549 (java) S 18543 18545 13986 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 341320819 3037372416 96399 33554432000 1073741824 1073778376 140733267194000 140115679411240 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18545/tid=18550] ppid=18543 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18545/task/18550/stat : 18550 (java) S 18543 18545 13986 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 341320819 3037372416 96399 33554432000 1073741824 1073778376 140733267194000 140115678358184 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18545/tid=18551] ppid=18543 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18545/task/18551/stat : 18551 (java) S 18543 18545 13986 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 341320819 3037372416 96399 33554432000 1073741824 1073778376 140733267194000 140115677305640 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18545/tid=18552] ppid=18543 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18545/task/18552/stat : 18552 (java) S 18543 18545 13986 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 20 0 341320819 3037372416 96399 33554432000 1073741824 1073778376 140733267194000 140115676252584 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18545/tid=18553] ppid=18543 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18545/task/18553/stat : 18553 (java) S 18543 18545 13986 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 20 0 341320820 3037372416 96399 33554432000 1073741824 1073778376 140733267194000 140115675200040 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18545/tid=18554] ppid=18543 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18545/task/18554/stat : 18554 (java) S 18543 18545 13986 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 341320820 3037372416 96399 33554432000 1073741824 1073778376 140733267194000 140115674146984 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18545/tid=18555] ppid=18543 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18545/task/18555/stat : 18555 (java) S 18543 18545 13986 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 20 0 341320820 3037372416 96399 33554432000 1073741824 1073778376 140733267194000 140115673094440 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18545/tid=18556] ppid=18543 vsize=2966184 CPUtime=0.05 cores=1,3,5,7
/proc/18545/task/18556/stat : 18556 (java) S 18543 18545 13986 0 -1 4202560 34 0 0 0 5 0 0 0 20 0 20 0 341320821 3037372416 96399 33554432000 1073741824 1073778376 140733267194000 140115660684136 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18545/tid=18557] ppid=18543 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18545/task/18557/stat : 18557 (java) S 18543 18545 13986 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 341320821 3037372416 96399 33554432000 1073741824 1073778376 140733267194000 140115659630456 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18545/tid=18558] ppid=18543 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18545/task/18558/stat : 18558 (java) S 18543 18545 13986 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 20 0 341320821 3037372416 96399 33554432000 1073741824 1073778376 140733267194000 140115540174216 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18545/tid=18559] ppid=18543 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18545/task/18559/stat : 18559 (java) S 18543 18545 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341320824 3037372416 96399 33554432000 1073741824 1073778376 140733267194000 140115539122960 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18545/tid=18560] ppid=18543 vsize=2966184 CPUtime=1.16 cores=1,3,5,7
/proc/18545/task/18560/stat : 18560 (java) S 18543 18545 13986 0 -1 4202560 8896 0 0 0 115 1 0 0 20 0 20 0 341320824 3037372416 96399 33554432000 1073741824 1073778376 140733267194000 140115538069816 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18545/tid=18561] ppid=18543 vsize=2966184 CPUtime=1.04 cores=1,3,5,7
/proc/18545/task/18561/stat : 18561 (java) S 18543 18545 13986 0 -1 4202560 14931 0 0 0 101 3 0 0 20 0 20 0 341320824 3037372416 96399 33554432000 1073741824 1073778376 140733267194000 140115537017272 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18545/tid=18562] ppid=18543 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18545/task/18562/stat : 18562 (java) S 18543 18545 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341320824 3037372416 96399 33554432000 1073741824 1073778376 140733267194000 140115535964408 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18545/tid=18563] ppid=18543 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18545/task/18563/stat : 18563 (java) S 18543 18545 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341320824 3037372416 96399 33554432000 1073741824 1073778376 140733267194000 140115534912072 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18545/tid=18566] ppid=18543 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18545/task/18566/stat : 18566 (java) S 18543 18545 13986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341320835 3037372416 96399 33554432000 1073741824 1073778376 140733267194000 140115531752744 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18545/tid=18567] ppid=18543 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18545/task/18567/stat : 18567 (java) S 18543 18545 13986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341320835 3037372416 96399 33554432000 1073741824 1073778376 140733267194000 140115530700200 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 2966184
Solver just ended. Dumping a history of the last processes samples
[startup+3.22118 s]
/proc/loadavg: 3.33 3.54 3.66 3/199 18570
/proc/meminfo: memFree=28355784/32873844 swapFree=7644/7644
[pid=18545] ppid=18543 vsize=0 CPUtime=6.31 cores=1,3,5,7
/proc/18545/stat : 18545 (java) Z 18543 18545 13986 0 -1 4203532 28180 0 1 0 609 22 0 0 20 0 1 0 341320818 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18545/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.31
Current children cumulated vsize (KiB) 0
Child status: 30
Real time (s): 3.22785
CPU time (s): 6.31304
CPU user time (s): 6.09207
CPU system time (s): 0.220966
CPU usage (%): 195.58
Max. virtual memory (cumulated for all children) (KiB): 2966860
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.09207
system time used= 0.220966
maximum resident set size= 389704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28180
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= 455
involuntary context switches= 268
runsolver used 0.012998 second user time and 0.034994 second system time
The end