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-3689655-1337892063/watcher-3689655-1337892063 -o /tmp/evaluation-result-3689655-1337892063/solver-3689655-1337892063 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3689655-1337892063.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: 2.01 2.01 2.00 3/192 22951
/proc/meminfo: memFree=29372560/32873844 swapFree=7104/7104
[pid=22951] ppid=22949 vsize=272 CPUtime=0 cores=0,2,4,6
/proc/22951/stat : 22951 (java) D 22949 22951 20334 0 -1 4202496 80 0 0 0 0 0 0 0 20 0 1 0 255334917 278528 33 33554432000 1073741824 1073778376 140736410327760 140736410324936 235365559591 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/22951/statm: 68 33 25 9 0 25 0
[startup+0.0164209 s]
/proc/loadavg: 2.01 2.01 2.00 3/192 22951
/proc/meminfo: memFree=29372560/32873844 swapFree=7104/7104
[pid=22951] ppid=22949 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/22951/stat : 22951 (java) R 22949 22951 20334 0 -1 4202496 1090 0 0 0 0 0 0 0 20 0 1 0 255334917 23793664 819 33554432000 1073741824 1073778376 140735049200592 140735049189656 140355495086064 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/22951/statm: 5809 853 643 9 0 128 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23236
[startup+0.100222 s]
/proc/loadavg: 2.01 2.01 2.00 3/192 22951
/proc/meminfo: memFree=29372560/32873844 swapFree=7104/7104
[pid=22951] ppid=22949 vsize=9558412 CPUtime=0.07 cores=0,2,4,6
/proc/22951/stat : 22951 (java) S 22949 22951 20334 0 -1 4202496 3355 0 1 0 6 1 0 0 20 0 18 0 255334917 9787813888 4564 33554432000 1073741824 1073778376 140735049200592 140735049191728 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22951/statm: 2389603 4564 1772 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558412
[startup+0.300223 s]
/proc/loadavg: 2.01 2.01 2.00 3/192 22951
/proc/meminfo: memFree=29372560/32873844 swapFree=7104/7104
[pid=22951] ppid=22949 vsize=9558412 CPUtime=0.51 cores=0,2,4,6
/proc/22951/stat : 22951 (java) S 22949 22951 20334 0 -1 4202496 7403 0 1 0 49 2 0 0 20 0 18 0 255334917 9787813888 9890 33554432000 1073741824 1073778376 140735049200592 140735049191728 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22951/statm: 2389603 9890 2215 9 0 2380296 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 9558412
[startup+0.700228 s]
/proc/loadavg: 2.01 2.01 2.00 3/192 22951
/proc/meminfo: memFree=29372560/32873844 swapFree=7104/7104
[pid=22951] ppid=22949 vsize=9624976 CPUtime=1.39 cores=0,2,4,6
/proc/22951/stat : 22951 (java) S 22949 22951 20334 0 -1 4202496 9811 0 1 0 135 4 0 0 20 0 19 0 255334917 9855975424 39805 33554432000 1073741824 1073778376 140735049200592 140735049191728 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22951/statm: 2406244 39805 2246 9 0 2396937 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 9624976
[startup+1.50067 s]
/proc/loadavg: 2.01 2.01 2.00 3/211 22970
/proc/meminfo: memFree=29222480/32873844 swapFree=7104/7104
[pid=22951] ppid=22949 vsize=9624976 CPUtime=2.43 cores=0,2,4,6
/proc/22951/stat : 22951 (java) S 22949 22951 20334 0 -1 4202496 9816 0 1 0 239 4 0 0 20 0 19 0 255334917 9855975424 39810 33554432000 1073741824 1073778376 140735049200592 140735049191728 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22951/statm: 2406244 39810 2251 9 0 2396937 0
[pid=22951/tid=22953] ppid=22949 vsize=9624976 CPUtime=1.45 cores=0,2,4,6
/proc/22951/task/22953/stat : 22953 (java) R 22949 22951 20334 0 -1 4202560 2517 0 1 0 142 3 0 0 20 0 19 0 255334919 9855975424 39810 33554432000 1073741824 1073778376 140735049200592 140355490970928 140355321060348 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22951/tid=22954] ppid=22949 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22951/task/22954/stat : 22954 (java) S 22949 22951 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255334920 9855975424 39810 33554432000 1073741824 1073778376 140735049200592 140355452463272 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22951/tid=22955] ppid=22949 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22951/task/22955/stat : 22955 (java) S 22949 22951 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255334920 9855975424 39810 33554432000 1073741824 1073778376 140735049200592 140355451410728 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22951/tid=22956] ppid=22949 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22951/task/22956/stat : 22956 (java) S 22949 22951 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255334920 9855975424 39810 33554432000 1073741824 1073778376 140735049200592 140355450358184 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22951/tid=22957] ppid=22949 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22951/task/22957/stat : 22957 (java) S 22949 22951 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255334920 9855975424 39810 33554432000 1073741824 1073778376 140735049200592 140355449305640 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22951/tid=22958] ppid=22949 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22951/task/22958/stat : 22958 (java) S 22949 22951 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255334920 9855975424 39810 33554432000 1073741824 1073778376 140735049200592 140355448253096 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22951/tid=22959] ppid=22949 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22951/task/22959/stat : 22959 (java) S 22949 22951 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255334920 9855975424 39810 33554432000 1073741824 1073778376 140735049200592 140355447200552 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22951/tid=22960] ppid=22949 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22951/task/22960/stat : 22960 (java) S 22949 22951 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255334920 9855975424 39810 33554432000 1073741824 1073778376 140735049200592 140355446148008 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22951/tid=22961] ppid=22949 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22951/task/22961/stat : 22961 (java) S 22949 22951 20334 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255334920 9855975424 39810 33554432000 1073741824 1073778376 140735049200592 140355445095464 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22951/tid=22962] ppid=22949 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22951/task/22962/stat : 22962 (java) S 22949 22951 20334 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 255334921 9855975424 39810 33554432000 1073741824 1073778376 140735049200592 140355314882664 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22951/tid=22963] ppid=22949 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22951/task/22963/stat : 22963 (java) S 22949 22951 20334 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 255334922 9855975424 39810 33554432000 1073741824 1073778376 140735049200592 140355313828984 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22951/tid=22964] ppid=22949 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22951/task/22964/stat : 22964 (java) S 22949 22951 20334 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255334922 9855975424 39810 33554432000 1073741824 1073778376 140735049200592 140355312776328 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22951/tid=22965] ppid=22949 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22951/task/22965/stat : 22965 (java) S 22949 22951 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255334925 9855975424 39810 33554432000 1073741824 1073778376 140735049200592 140355311725072 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22951/tid=22966] ppid=22949 vsize=9624976 CPUtime=0.44 cores=0,2,4,6
/proc/22951/task/22966/stat : 22966 (java) S 22949 22951 20334 0 -1 4202560 2610 0 0 0 44 0 0 0 20 0 19 0 255334925 9855975424 39810 33554432000 1073741824 1073778376 140735049200592 140355310672440 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22951/tid=22967] ppid=22949 vsize=9624976 CPUtime=0.49 cores=0,2,4,6
/proc/22951/task/22967/stat : 22967 (java) S 22949 22951 20334 0 -1 4202560 3490 0 0 0 49 0 0 0 20 0 19 0 255334925 9855975424 39810 33554432000 1073741824 1073778376 140735049200592 140355309619896 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22951/tid=22968] ppid=22949 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22951/task/22968/stat : 22968 (java) S 22949 22951 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255334925 9855975424 39810 33554432000 1073741824 1073778376 140735049200592 140355308567544 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22951/tid=22969] ppid=22949 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22951/task/22969/stat : 22969 (java) S 22949 22951 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255334925 9855975424 39810 33554432000 1073741824 1073778376 140735049200592 140355307515208 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22951/tid=22970] ppid=22949 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22951/task/22970/stat : 22970 (java) S 22949 22951 20334 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255334985 9855975424 39810 33554432000 1073741824 1073778376 140735049200592 140355306459944 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.43
Current children cumulated vsize (KiB) 9624976
[startup+3.10222 s]
/proc/loadavg: 2.01 2.00 2.00 3/211 22970
/proc/meminfo: memFree=29219812/32873844 swapFree=7104/7104
[pid=22951] ppid=22949 vsize=9624976 CPUtime=4.16 cores=0,2,4,6
/proc/22951/stat : 22951 (java) S 22949 22951 20334 0 -1 4202496 10031 0 1 0 409 7 0 0 20 0 19 0 255334917 9855975424 45997 33554432000 1073741824 1073778376 140735049200592 140735049191728 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22951/statm: 2406244 45997 2273 9 0 2396937 0
[pid=22951/tid=22953] ppid=22949 vsize=9624976 CPUtime=3.02 cores=0,2,4,6
/proc/22951/task/22953/stat : 22953 (java) S 22949 22951 20334 0 -1 4202560 2523 0 1 0 299 3 0 0 20 0 19 0 255334919 9855975424 45997 33554432000 1073741824 1073778376 140735049200592 140355490972056 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22951/tid=22954] ppid=22949 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22951/task/22954/stat : 22954 (java) R 22949 22951 20334 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 255334920 9855975424 45997 33554432000 1073741824 1073778376 140735049200592 140355452463272 235378095164 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=22951/tid=22955] ppid=22949 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22951/task/22955/stat : 22955 (java) R 22949 22951 20334 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255334920 9855975424 45997 33554432000 1073741824 1073778376 140735049200592 140355451410856 235374677127 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=22951/tid=22956] ppid=22949 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22951/task/22956/stat : 22956 (java) R 22949 22951 20334 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 255334920 9855975424 45997 33554432000 1073741824 1073778376 140735049200592 140355450358312 235374677127 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22951/tid=22957] ppid=22949 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/22951/task/22957/stat : 22957 (java) R 22949 22951 20334 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 255334920 9855975424 45997 33554432000 1073741824 1073778376 140735049200592 140355449305496 235374677127 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22951/tid=22958] ppid=22949 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22951/task/22958/stat : 22958 (java) R 22949 22951 20334 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 255334920 9855975424 45997 33554432000 1073741824 1073778376 140735049200592 140355448253224 235374677127 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22951/tid=22959] ppid=22949 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/22951/task/22959/stat : 22959 (java) R 22949 22951 20334 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 255334920 9855975424 45997 33554432000 1073741824 1073778376 140735049200592 140355447200680 235374677127 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=22951/tid=22960] ppid=22949 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22951/task/22960/stat : 22960 (java) S 22949 22951 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255334920 9855975424 45997 33554432000 1073741824 1073778376 140735049200592 140355446148008 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22951/tid=22961] ppid=22949 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22951/task/22961/stat : 22961 (java) R 22949 22951 20334 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255334920 9855975424 45997 33554432000 1073741824 1073778376 140735049200592 140355445095592 235374677127 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22951/tid=22962] ppid=22949 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22951/task/22962/stat : 22962 (java) S 22949 22951 20334 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 255334921 9855975424 45997 33554432000 1073741824 1073778376 140735049200592 140355314881640 235378095164 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22951/tid=22963] ppid=22949 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22951/task/22963/stat : 22963 (java) S 22949 22951 20334 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255334922 9855975424 45997 33554432000 1073741824 1073778376 140735049200592 140355313828984 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22951/tid=22964] ppid=22949 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22951/task/22964/stat : 22964 (java) S 22949 22951 20334 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255334922 9855975424 45997 33554432000 1073741824 1073778376 140735049200592 140355312776328 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22951/tid=22965] ppid=22949 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22951/task/22965/stat : 22965 (java) S 22949 22951 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255334925 9855975424 45997 33554432000 1073741824 1073778376 140735049200592 140355311725072 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22951/tid=22966] ppid=22949 vsize=9624976 CPUtime=0.46 cores=0,2,4,6
/proc/22951/task/22966/stat : 22966 (java) S 22949 22951 20334 0 -1 4202560 2619 0 0 0 46 0 0 0 20 0 19 0 255334925 9855975424 45997 33554432000 1073741824 1073778376 140735049200592 140355310672440 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22951/tid=22967] ppid=22949 vsize=9624976 CPUtime=0.52 cores=0,2,4,6
/proc/22951/task/22967/stat : 22967 (java) R 22949 22951 20334 0 -1 4202560 3617 0 0 0 52 0 0 0 20 0 19 0 255334925 9855975424 45997 33554432000 1073741824 1073778376 140735049200592 140355309607184 140355495064984 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=22951/tid=22968] ppid=22949 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22951/task/22968/stat : 22968 (java) S 22949 22951 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255334925 9855975424 45997 33554432000 1073741824 1073778376 140735049200592 140355308567544 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22951/tid=22969] ppid=22949 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22951/task/22969/stat : 22969 (java) S 22949 22951 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255334925 9855975424 45997 33554432000 1073741824 1073778376 140735049200592 140355307515208 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22951/tid=22970] ppid=22949 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22951/task/22970/stat : 22970 (java) S 22949 22951 20334 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255334985 9855975424 45997 33554432000 1073741824 1073778376 140735049200592 140355306459944 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.16
Current children cumulated vsize (KiB) 9624976
[startup+6.30067 s]
/proc/loadavg: 2.01 2.00 2.00 3/211 22970
/proc/meminfo: memFree=29185928/32873844 swapFree=7104/7104
[pid=22951] ppid=22949 vsize=9624976 CPUtime=7.44 cores=0,2,4,6
/proc/22951/stat : 22951 (java) S 22949 22951 20334 0 -1 4202496 10066 0 1 0 737 7 0 0 20 0 19 0 255334917 9855975424 48530 33554432000 1073741824 1073778376 140735049200592 140735049191728 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22951/statm: 2406244 48530 2281 9 0 2396937 0
[pid=22951/tid=22953] ppid=22949 vsize=9624976 CPUtime=6.16 cores=0,2,4,6
/proc/22951/task/22953/stat : 22953 (java) R 22949 22951 20334 0 -1 4202560 2526 0 1 0 612 4 0 0 20 0 19 0 255334919 9855975424 48530 33554432000 1073741824 1073778376 140735049200592 140355490972072 140355320936616 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22951/tid=22954] ppid=22949 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22951/task/22954/stat : 22954 (java) S 22949 22951 20334 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255334920 9855975424 48530 33554432000 1073741824 1073778376 140735049200592 140355452463272 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22951/tid=22955] ppid=22949 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22951/task/22955/stat : 22955 (java) S 22949 22951 20334 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255334920 9855975424 48530 33554432000 1073741824 1073778376 140735049200592 140355451410728 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22951/tid=22956] ppid=22949 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/22951/task/22956/stat : 22956 (java) S 22949 22951 20334 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 255334920 9855975424 48530 33554432000 1073741824 1073778376 140735049200592 140355450358184 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22951/tid=22957] ppid=22949 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/22951/task/22957/stat : 22957 (java) S 22949 22951 20334 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 255334920 9855975424 48530 33554432000 1073741824 1073778376 140735049200592 140355449305640 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22951/tid=22958] ppid=22949 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22951/task/22958/stat : 22958 (java) S 22949 22951 20334 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 255334920 9855975424 48530 33554432000 1073741824 1073778376 140735049200592 140355448253096 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22951/tid=22959] ppid=22949 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/22951/task/22959/stat : 22959 (java) S 22949 22951 20334 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 255334920 9855975424 48530 33554432000 1073741824 1073778376 140735049200592 140355447200552 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22951/tid=22960] ppid=22949 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22951/task/22960/stat : 22960 (java) S 22949 22951 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255334920 9855975424 48530 33554432000 1073741824 1073778376 140735049200592 140355446148008 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22951/tid=22961] ppid=22949 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22951/task/22961/stat : 22961 (java) S 22949 22951 20334 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255334920 9855975424 48530 33554432000 1073741824 1073778376 140735049200592 140355445095464 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22951/tid=22962] ppid=22949 vsize=9624976 CPUtime=0.04 cores=0,2,4,6
/proc/22951/task/22962/stat : 22962 (java) S 22949 22951 20334 0 -1 4202560 34 0 0 0 4 0 0 0 20 0 19 0 255334921 9855975424 48530 33554432000 1073741824 1073778376 140735049200592 140355314882664 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22951/tid=22963] ppid=22949 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22951/task/22963/stat : 22963 (java) S 22949 22951 20334 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255334922 9855975424 48530 33554432000 1073741824 1073778376 140735049200592 140355313828984 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22951/tid=22964] ppid=22949 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22951/task/22964/stat : 22964 (java) S 22949 22951 20334 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255334922 9855975424 48530 33554432000 1073741824 1073778376 140735049200592 140355312776328 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22951/tid=22965] ppid=22949 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22951/task/22965/stat : 22965 (java) S 22949 22951 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255334925 9855975424 48530 33554432000 1073741824 1073778376 140735049200592 140355311725072 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22951/tid=22966] ppid=22949 vsize=9624976 CPUtime=0.48 cores=0,2,4,6
/proc/22951/task/22966/stat : 22966 (java) S 22949 22951 20334 0 -1 4202560 2619 0 0 0 48 0 0 0 20 0 19 0 255334925 9855975424 48530 33554432000 1073741824 1073778376 140735049200592 140355310672440 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22951/tid=22967] ppid=22949 vsize=9624976 CPUtime=0.57 cores=0,2,4,6
/proc/22951/task/22967/stat : 22967 (java) S 22949 22951 20334 0 -1 4202560 3618 0 0 0 57 0 0 0 20 0 19 0 255334925 9855975424 48530 33554432000 1073741824 1073778376 140735049200592 140355309619896 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22951/tid=22968] ppid=22949 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22951/task/22968/stat : 22968 (java) S 22949 22951 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255334925 9855975424 48530 33554432000 1073741824 1073778376 140735049200592 140355308567544 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22951/tid=22969] ppid=22949 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22951/task/22969/stat : 22969 (java) S 22949 22951 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255334925 9855975424 48530 33554432000 1073741824 1073778376 140735049200592 140355307515208 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22951/tid=22970] ppid=22949 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22951/task/22970/stat : 22970 (java) S 22949 22951 20334 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255334985 9855975424 48530 33554432000 1073741824 1073778376 140735049200592 140355306459944 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.44
Current children cumulated vsize (KiB) 9624976
[startup+12.7007 s]
################
# More data... #
################
[pid=22951/tid=22959] ppid=22949 vsize=9624976 CPUtime=1.04 cores=0,2,4,6
/proc/22951/task/22959/stat : 22959 (java) S 22949 22951 20334 0 -1 4202560 398 0 0 0 90 14 0 0 20 0 19 0 255334920 9855975424 315436 33554432000 1073741824 1073778376 140735049200592 140355447200552 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22951/tid=22960] ppid=22949 vsize=9624976 CPUtime=1.09 cores=0,2,4,6
/proc/22951/task/22960/stat : 22960 (java) S 22949 22951 20334 0 -1 4202560 479 0 0 0 94 15 0 0 20 0 19 0 255334920 9855975424 315436 33554432000 1073741824 1073778376 140735049200592 140355446148008 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22951/tid=22961] ppid=22949 vsize=9624976 CPUtime=1.1 cores=0,2,4,6
/proc/22951/task/22961/stat : 22961 (java) S 22949 22951 20334 0 -1 4202560 370 0 0 0 94 16 0 0 20 0 19 0 255334920 9855975424 315436 33554432000 1073741824 1073778376 140735049200592 140355445095464 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22951/tid=22962] ppid=22949 vsize=9624976 CPUtime=5.86 cores=0,2,4,6
/proc/22951/task/22962/stat : 22962 (java) S 22949 22951 20334 0 -1 4202560 907 0 0 0 584 2 0 0 20 0 19 0 255334921 9855975424 315436 33554432000 1073741824 1073778376 140735049200592 140355314882664 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22951/tid=22963] ppid=22949 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22951/task/22963/stat : 22963 (java) S 22949 22951 20334 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255334922 9855975424 315436 33554432000 1073741824 1073778376 140735049200592 140355313828984 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22951/tid=22964] ppid=22949 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22951/task/22964/stat : 22964 (java) S 22949 22951 20334 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255334922 9855975424 315436 33554432000 1073741824 1073778376 140735049200592 140355312776328 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22951/tid=22965] ppid=22949 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22951/task/22965/stat : 22965 (java) S 22949 22951 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255334925 9855975424 315436 33554432000 1073741824 1073778376 140735049200592 140355311725072 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22951/tid=22966] ppid=22949 vsize=9624976 CPUtime=0.6 cores=0,2,4,6
/proc/22951/task/22966/stat : 22966 (java) S 22949 22951 20334 0 -1 4202560 2635 0 0 0 60 0 0 0 20 0 19 0 255334925 9855975424 315436 33554432000 1073741824 1073778376 140735049200592 140355310672440 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22951/tid=22967] ppid=22949 vsize=9624976 CPUtime=0.62 cores=0,2,4,6
/proc/22951/task/22967/stat : 22967 (java) S 22949 22951 20334 0 -1 4202560 3625 0 0 0 62 0 0 0 20 0 19 0 255334925 9855975424 315436 33554432000 1073741824 1073778376 140735049200592 140355309619896 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22951/tid=22968] ppid=22949 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22951/task/22968/stat : 22968 (java) S 22949 22951 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255334925 9855975424 315436 33554432000 1073741824 1073778376 140735049200592 140355308567544 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22951/tid=22969] ppid=22949 vsize=9624976 CPUtime=0.52 cores=0,2,4,6
/proc/22951/task/22969/stat : 22969 (java) S 22949 22951 20334 0 -1 4202560 95 0 0 0 32 20 0 0 20 0 19 0 255334925 9855975424 315436 33554432000 1073741824 1073778376 140735049200592 140355307515208 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22951/tid=22970] ppid=22949 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22951/task/22970/stat : 22970 (java) S 22949 22951 20334 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255334985 9855975424 315436 33554432000 1073741824 1073778376 140735049200592 140355306459944 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1669.93
Current children cumulated vsize (KiB) 9624976
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/211 23063
/proc/meminfo: memFree=26456788/32873844 swapFree=7104/7104
[pid=22951] ppid=22949 vsize=9624976 CPUtime=1730.08 cores=0,2,4,6
/proc/22951/stat : 22951 (java) S 22949 22951 20334 0 -1 4202496 15236 0 1 0 172854 154 0 0 20 0 19 0 255334917 9855975424 315431 33554432000 1073741824 1073778376 140735049200592 140735049191728 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22951/statm: 2406244 315431 2282 9 0 2396937 0
[pid=22951/tid=22953] ppid=22949 vsize=9624976 CPUtime=1713.56 cores=0,2,4,6
/proc/22951/task/22953/stat : 22953 (java) R 22949 22951 20334 0 -1 4202560 2963 0 1 0 171324 32 0 0 20 0 19 0 255334919 9855975424 315431 33554432000 1073741824 1073778376 140735049200592 140355490971936 140355320982634 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=22951/tid=22954] ppid=22949 vsize=9624976 CPUtime=1.13 cores=0,2,4,6
/proc/22951/task/22954/stat : 22954 (java) S 22949 22951 20334 0 -1 4202560 477 0 0 0 96 17 0 0 20 0 19 0 255334920 9855975424 315431 33554432000 1073741824 1073778376 140735049200592 140355452463272 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22951/tid=22955] ppid=22949 vsize=9624976 CPUtime=1.04 cores=0,2,4,6
/proc/22951/task/22955/stat : 22955 (java) S 22949 22951 20334 0 -1 4202560 494 0 0 0 90 14 0 0 20 0 19 0 255334920 9855975424 315431 33554432000 1073741824 1073778376 140735049200592 140355451410728 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22951/tid=22956] ppid=22949 vsize=9624976 CPUtime=1.13 cores=0,2,4,6
/proc/22951/task/22956/stat : 22956 (java) S 22949 22951 20334 0 -1 4202560 500 0 0 0 94 19 0 0 20 0 19 0 255334920 9855975424 315431 33554432000 1073741824 1073778376 140735049200592 140355450358184 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22951/tid=22957] ppid=22949 vsize=9624976 CPUtime=1.14 cores=0,2,4,6
/proc/22951/task/22957/stat : 22957 (java) S 22949 22951 20334 0 -1 4202560 490 0 0 0 96 18 0 0 20 0 19 0 255334920 9855975424 315431 33554432000 1073741824 1073778376 140735049200592 140355449305640 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22951/tid=22958] ppid=22949 vsize=9624976 CPUtime=1.12 cores=0,2,4,6
/proc/22951/task/22958/stat : 22958 (java) S 22949 22951 20334 0 -1 4202560 608 0 0 0 94 18 0 0 20 0 19 0 255334920 9855975424 315431 33554432000 1073741824 1073778376 140735049200592 140355448253096 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22951/tid=22959] ppid=22949 vsize=9624976 CPUtime=1.06 cores=0,2,4,6
/proc/22951/task/22959/stat : 22959 (java) S 22949 22951 20334 0 -1 4202560 400 0 0 0 92 14 0 0 20 0 19 0 255334920 9855975424 315431 33554432000 1073741824 1073778376 140735049200592 140355447200552 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22951/tid=22960] ppid=22949 vsize=9624976 CPUtime=1.13 cores=0,2,4,6
/proc/22951/task/22960/stat : 22960 (java) S 22949 22951 20334 0 -1 4202560 479 0 0 0 98 15 0 0 20 0 19 0 255334920 9855975424 315431 33554432000 1073741824 1073778376 140735049200592 140355446148008 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22951/tid=22961] ppid=22949 vsize=9624976 CPUtime=1.12 cores=0,2,4,6
/proc/22951/task/22961/stat : 22961 (java) S 22949 22951 20334 0 -1 4202560 370 0 0 0 96 16 0 0 20 0 19 0 255334920 9855975424 315431 33554432000 1073741824 1073778376 140735049200592 140355445095464 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22951/tid=22962] ppid=22949 vsize=9624976 CPUtime=6.15 cores=0,2,4,6
/proc/22951/task/22962/stat : 22962 (java) S 22949 22951 20334 0 -1 4202560 911 0 0 0 613 2 0 0 20 0 19 0 255334921 9855975424 315431 33554432000 1073741824 1073778376 140735049200592 140355314882664 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22951/tid=22963] ppid=22949 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22951/task/22963/stat : 22963 (java) S 22949 22951 20334 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255334922 9855975424 315431 33554432000 1073741824 1073778376 140735049200592 140355313828984 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22951/tid=22964] ppid=22949 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22951/task/22964/stat : 22964 (java) S 22949 22951 20334 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255334922 9855975424 315431 33554432000 1073741824 1073778376 140735049200592 140355312776328 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22951/tid=22965] ppid=22949 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22951/task/22965/stat : 22965 (java) S 22949 22951 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255334925 9855975424 315431 33554432000 1073741824 1073778376 140735049200592 140355311725072 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22951/tid=22966] ppid=22949 vsize=9624976 CPUtime=0.6 cores=0,2,4,6
/proc/22951/task/22966/stat : 22966 (java) S 22949 22951 20334 0 -1 4202560 2635 0 0 0 60 0 0 0 20 0 19 0 255334925 9855975424 315431 33554432000 1073741824 1073778376 140735049200592 140355310672440 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22951/tid=22967] ppid=22949 vsize=9624976 CPUtime=0.62 cores=0,2,4,6
/proc/22951/task/22967/stat : 22967 (java) S 22949 22951 20334 0 -1 4202560 3625 0 0 0 62 0 0 0 20 0 19 0 255334925 9855975424 315431 33554432000 1073741824 1073778376 140735049200592 140355309619896 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22951/tid=22968] ppid=22949 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22951/task/22968/stat : 22968 (java) S 22949 22951 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255334925 9855975424 315431 33554432000 1073741824 1073778376 140735049200592 140355308567544 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22951/tid=22969] ppid=22949 vsize=9624976 CPUtime=0.54 cores=0,2,4,6
/proc/22951/task/22969/stat : 22969 (java) S 22949 22951 20334 0 -1 4202560 99 0 0 0 33 21 0 0 20 0 19 0 255334925 9855975424 315431 33554432000 1073741824 1073778376 140735049200592 140355307515208 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22951/tid=22970] ppid=22949 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22951/task/22970/stat : 22970 (java) S 22949 22951 20334 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255334985 9855975424 315431 33554432000 1073741824 1073778376 140735049200592 140355306459944 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1730.08
Current children cumulated vsize (KiB) 9624976
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/212 23066
/proc/meminfo: memFree=26453988/32873844 swapFree=7104/7104
[pid=22951] ppid=22949 vsize=9624976 CPUtime=1790.24 cores=0,2,4,6
/proc/22951/stat : 22951 (java) S 22949 22951 20334 0 -1 4202496 15245 0 1 0 178870 154 0 0 20 0 19 0 255334917 9855975424 315417 33554432000 1073741824 1073778376 140735049200592 140735049191728 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22951/statm: 2406244 315417 2282 9 0 2396937 0
[pid=22951/tid=22953] ppid=22949 vsize=9624976 CPUtime=1773.4 cores=0,2,4,6
/proc/22951/task/22953/stat : 22953 (java) R 22949 22951 20334 0 -1 4202560 2964 0 1 0 177308 32 0 0 20 0 19 0 255334919 9855975424 315417 33554432000 1073741824 1073778376 140735049200592 140355490971936 140355320936313 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=22951/tid=22954] ppid=22949 vsize=9624976 CPUtime=1.16 cores=0,2,4,6
/proc/22951/task/22954/stat : 22954 (java) S 22949 22951 20334 0 -1 4202560 478 0 0 0 99 17 0 0 20 0 19 0 255334920 9855975424 315417 33554432000 1073741824 1073778376 140735049200592 140355452463272 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22951/tid=22955] ppid=22949 vsize=9624976 CPUtime=1.06 cores=0,2,4,6
/proc/22951/task/22955/stat : 22955 (java) S 22949 22951 20334 0 -1 4202560 495 0 0 0 92 14 0 0 20 0 19 0 255334920 9855975424 315417 33554432000 1073741824 1073778376 140735049200592 140355451410728 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22951/tid=22956] ppid=22949 vsize=9624976 CPUtime=1.18 cores=0,2,4,6
/proc/22951/task/22956/stat : 22956 (java) S 22949 22951 20334 0 -1 4202560 500 0 0 0 99 19 0 0 20 0 19 0 255334920 9855975424 315417 33554432000 1073741824 1073778376 140735049200592 140355450358184 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22951/tid=22957] ppid=22949 vsize=9624976 CPUtime=1.16 cores=0,2,4,6
/proc/22951/task/22957/stat : 22957 (java) S 22949 22951 20334 0 -1 4202560 490 0 0 0 98 18 0 0 20 0 19 0 255334920 9855975424 315417 33554432000 1073741824 1073778376 140735049200592 140355449305640 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22951/tid=22958] ppid=22949 vsize=9624976 CPUtime=1.17 cores=0,2,4,6
/proc/22951/task/22958/stat : 22958 (java) S 22949 22951 20334 0 -1 4202560 608 0 0 0 99 18 0 0 20 0 19 0 255334920 9855975424 315417 33554432000 1073741824 1073778376 140735049200592 140355448253096 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22951/tid=22959] ppid=22949 vsize=9624976 CPUtime=1.08 cores=0,2,4,6
/proc/22951/task/22959/stat : 22959 (java) S 22949 22951 20334 0 -1 4202560 400 0 0 0 94 14 0 0 20 0 19 0 255334920 9855975424 315417 33554432000 1073741824 1073778376 140735049200592 140355447200552 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22951/tid=22960] ppid=22949 vsize=9624976 CPUtime=1.15 cores=0,2,4,6
/proc/22951/task/22960/stat : 22960 (java) S 22949 22951 20334 0 -1 4202560 479 0 0 0 100 15 0 0 20 0 19 0 255334920 9855975424 315417 33554432000 1073741824 1073778376 140735049200592 140355446148008 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22951/tid=22961] ppid=22949 vsize=9624976 CPUtime=1.15 cores=0,2,4,6
/proc/22951/task/22961/stat : 22961 (java) S 22949 22951 20334 0 -1 4202560 370 0 0 0 99 16 0 0 20 0 19 0 255334920 9855975424 315417 33554432000 1073741824 1073778376 140735049200592 140355445095464 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22951/tid=22962] ppid=22949 vsize=9624976 CPUtime=6.26 cores=0,2,4,6
/proc/22951/task/22962/stat : 22962 (java) S 22949 22951 20334 0 -1 4202560 913 0 0 0 624 2 0 0 20 0 19 0 255334921 9855975424 315417 33554432000 1073741824 1073778376 140735049200592 140355314882664 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22951/tid=22963] ppid=22949 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22951/task/22963/stat : 22963 (java) S 22949 22951 20334 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255334922 9855975424 315417 33554432000 1073741824 1073778376 140735049200592 140355313828984 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22951/tid=22964] ppid=22949 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22951/task/22964/stat : 22964 (java) S 22949 22951 20334 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255334922 9855975424 315417 33554432000 1073741824 1073778376 140735049200592 140355312776328 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22951/tid=22965] ppid=22949 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22951/task/22965/stat : 22965 (java) S 22949 22951 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255334925 9855975424 315417 33554432000 1073741824 1073778376 140735049200592 140355311725072 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22951/tid=22966] ppid=22949 vsize=9624976 CPUtime=0.6 cores=0,2,4,6
/proc/22951/task/22966/stat : 22966 (java) S 22949 22951 20334 0 -1 4202560 2635 0 0 0 60 0 0 0 20 0 19 0 255334925 9855975424 315417 33554432000 1073741824 1073778376 140735049200592 140355310672440 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22951/tid=22967] ppid=22949 vsize=9624976 CPUtime=0.62 cores=0,2,4,6
/proc/22951/task/22967/stat : 22967 (java) S 22949 22951 20334 0 -1 4202560 3625 0 0 0 62 0 0 0 20 0 19 0 255334925 9855975424 315417 33554432000 1073741824 1073778376 140735049200592 140355309619896 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22951/tid=22968] ppid=22949 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22951/task/22968/stat : 22968 (java) S 22949 22951 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255334925 9855975424 315417 33554432000 1073741824 1073778376 140735049200592 140355308567544 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22951/tid=22969] ppid=22949 vsize=9624976 CPUtime=0.57 cores=0,2,4,6
/proc/22951/task/22969/stat : 22969 (java) S 22949 22951 20334 0 -1 4202560 103 0 0 0 35 22 0 0 20 0 19 0 255334925 9855975424 315417 33554432000 1073741824 1073778376 140735049200592 140355307515208 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22951/tid=22970] ppid=22949 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22951/task/22970/stat : 22970 (java) S 22949 22951 20334 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255334985 9855975424 315417 33554432000 1073741824 1073778376 140735049200592 140355306459944 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1790.24
Current children cumulated vsize (KiB) 9624976
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1792 s]
/proc/loadavg: 2.00 2.00 2.00 3/212 23066
/proc/meminfo: memFree=26453988/32873844 swapFree=7104/7104
[pid=22951] ppid=22949 vsize=9624976 CPUtime=1800.07 cores=0,2,4,6
/proc/22951/stat : 22951 (java) S 22949 22951 20334 0 -1 4202496 15255 0 1 0 179852 155 0 0 20 0 19 0 255334917 9855975424 315406 33554432000 1073741824 1073778376 140735049200592 140735049191728 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22951/statm: 2406244 315406 2282 9 0 2396937 0
[pid=22951/tid=22953] ppid=22949 vsize=9624976 CPUtime=1782.94 cores=0,2,4,6
/proc/22951/task/22953/stat : 22953 (java) R 22949 22951 20334 0 -1 4202560 2965 0 1 0 178261 33 0 0 20 0 19 0 255334919 9855975424 315406 33554432000 1073741824 1073778376 140735049200592 140355490971936 140355320217638 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=22951/tid=22954] ppid=22949 vsize=9624976 CPUtime=1.18 cores=0,2,4,6
/proc/22951/task/22954/stat : 22954 (java) S 22949 22951 20334 0 -1 4202560 481 0 0 0 101 17 0 0 20 0 19 0 255334920 9855975424 315406 33554432000 1073741824 1073778376 140735049200592 140355452463272 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22951/tid=22955] ppid=22949 vsize=9624976 CPUtime=1.07 cores=0,2,4,6
/proc/22951/task/22955/stat : 22955 (java) S 22949 22951 20334 0 -1 4202560 498 0 0 0 93 14 0 0 20 0 19 0 255334920 9855975424 315406 33554432000 1073741824 1073778376 140735049200592 140355451410728 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22951/tid=22956] ppid=22949 vsize=9624976 CPUtime=1.2 cores=0,2,4,6
/proc/22951/task/22956/stat : 22956 (java) S 22949 22951 20334 0 -1 4202560 500 0 0 0 101 19 0 0 20 0 19 0 255334920 9855975424 315406 33554432000 1073741824 1073778376 140735049200592 140355450358184 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22951/tid=22957] ppid=22949 vsize=9624976 CPUtime=1.18 cores=0,2,4,6
/proc/22951/task/22957/stat : 22957 (java) S 22949 22951 20334 0 -1 4202560 490 0 0 0 100 18 0 0 20 0 19 0 255334920 9855975424 315406 33554432000 1073741824 1073778376 140735049200592 140355449305640 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22951/tid=22958] ppid=22949 vsize=9624976 CPUtime=1.19 cores=0,2,4,6
/proc/22951/task/22958/stat : 22958 (java) S 22949 22951 20334 0 -1 4202560 608 0 0 0 101 18 0 0 20 0 19 0 255334920 9855975424 315406 33554432000 1073741824 1073778376 140735049200592 140355448253096 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22951/tid=22959] ppid=22949 vsize=9624976 CPUtime=1.09 cores=0,2,4,6
/proc/22951/task/22959/stat : 22959 (java) S 22949 22951 20334 0 -1 4202560 401 0 0 0 95 14 0 0 20 0 19 0 255334920 9855975424 315406 33554432000 1073741824 1073778376 140735049200592 140355447200552 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22951/tid=22960] ppid=22949 vsize=9624976 CPUtime=1.18 cores=0,2,4,6
/proc/22951/task/22960/stat : 22960 (java) S 22949 22951 20334 0 -1 4202560 479 0 0 0 103 15 0 0 20 0 19 0 255334920 9855975424 315406 33554432000 1073741824 1073778376 140735049200592 140355446148008 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22951/tid=22961] ppid=22949 vsize=9624976 CPUtime=1.17 cores=0,2,4,6
/proc/22951/task/22961/stat : 22961 (java) S 22949 22951 20334 0 -1 4202560 370 0 0 0 101 16 0 0 20 0 19 0 255334920 9855975424 315406 33554432000 1073741824 1073778376 140735049200592 140355445095464 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22951/tid=22962] ppid=22949 vsize=9624976 CPUtime=6.38 cores=0,2,4,6
/proc/22951/task/22962/stat : 22962 (java) S 22949 22951 20334 0 -1 4202560 915 0 0 0 636 2 0 0 20 0 19 0 255334921 9855975424 315406 33554432000 1073741824 1073778376 140735049200592 140355314882664 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22951/tid=22963] ppid=22949 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22951/task/22963/stat : 22963 (java) S 22949 22951 20334 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255334922 9855975424 315406 33554432000 1073741824 1073778376 140735049200592 140355313828984 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22951/tid=22964] ppid=22949 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22951/task/22964/stat : 22964 (java) S 22949 22951 20334 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255334922 9855975424 315406 33554432000 1073741824 1073778376 140735049200592 140355312776328 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22951/tid=22965] ppid=22949 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22951/task/22965/stat : 22965 (java) S 22949 22951 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255334925 9855975424 315406 33554432000 1073741824 1073778376 140735049200592 140355311725072 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22951/tid=22966] ppid=22949 vsize=9624976 CPUtime=0.6 cores=0,2,4,6
/proc/22951/task/22966/stat : 22966 (java) S 22949 22951 20334 0 -1 4202560 2635 0 0 0 60 0 0 0 20 0 19 0 255334925 9855975424 315406 33554432000 1073741824 1073778376 140735049200592 140355310672440 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22951/tid=22967] ppid=22949 vsize=9624976 CPUtime=0.62 cores=0,2,4,6
/proc/22951/task/22967/stat : 22967 (java) S 22949 22951 20334 0 -1 4202560 3625 0 0 0 62 0 0 0 20 0 19 0 255334925 9855975424 315406 33554432000 1073741824 1073778376 140735049200592 140355309619896 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22951/tid=22968] ppid=22949 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22951/task/22968/stat : 22968 (java) S 22949 22951 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255334925 9855975424 315406 33554432000 1073741824 1073778376 140735049200592 140355308567544 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22951/tid=22969] ppid=22949 vsize=9624976 CPUtime=0.57 cores=0,2,4,6
/proc/22951/task/22969/stat : 22969 (java) S 22949 22951 20334 0 -1 4202560 103 0 0 0 35 22 0 0 20 0 19 0 255334925 9855975424 315406 33554432000 1073741824 1073778376 140735049200592 140355307515208 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22951/tid=22970] ppid=22949 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22951/task/22970/stat : 22970 (java) S 22949 22951 20334 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255334985 9855975424 315406 33554432000 1073741824 1073778376 140735049200592 140355306459944 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 9624976
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1792.08
CPU time (s): 1800.77
CPU user time (s): 1798.75
CPU system time (s): 2.02269
CPU usage (%): 100.485
Max. virtual memory (cumulated for all children) (KiB): 9624976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.75
system time used= 2.02269
maximum resident set size= 1261864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15289
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40461
involuntary context switches= 26243
runsolver used 6.34004 second user time and 13.7439 second system time
The end