runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 931)
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-3195181-1302718669/watcher-3195181-1302718669 -o /tmp/evaluation-result-3195181-1302718669/solver-3195181-1302718669 -C 2400 -W 1300 -M 7680 java -Xms7000m -Xmx7000m -jar HOME/SAT_Intersec_01.jar HOME/instance-3195181-1302718669.cnf
running on 2 cores: 1,3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.93 4.00 3.93 2/179 20070
/proc/meminfo: memFree=17659140/32951124 swapFree=67111528/67111528
[pid=20070] ppid=20068 vsize=23028 CPUtime=0 cores=1,3
/proc/20070/stat : 20070 (java) R 20068 20070 19400 0 -1 4202496 931 0 0 0 0 0 0 0 25 0 1 0 462097505 23580672 690 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260015433617 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20070/statm: 5757 690 516 9 0 124 0
[startup+0.087909 s]
/proc/loadavg: 3.93 4.00 3.93 2/179 20070
/proc/meminfo: memFree=17659140/32951124 swapFree=67111528/67111528
[pid=20070] ppid=20068 vsize=7392576 CPUtime=0.06 cores=1,3
/proc/20070/stat : 20070 (java) S 20068 20070 19400 0 -1 4202496 9798 0 1 0 5 1 0 0 25 0 18 0 462097505 7569997824 9509 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/20070/statm: 1848144 9519 2043 9 0 1838628 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 7392576
[startup+0.104914 s]
/proc/loadavg: 3.93 4.00 3.93 2/179 20070
/proc/meminfo: memFree=17659140/32951124 swapFree=67111528/67111528
[pid=20070] ppid=20068 vsize=7393852 CPUtime=0.08 cores=1,3
/proc/20070/stat : 20070 (java) S 20068 20070 19400 0 -1 4202496 10390 0 1 0 7 1 0 0 25 0 18 0 462097505 7571304448 10102 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/20070/statm: 1848463 10102 2120 9 0 1838947 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 7393852
[startup+0.30085 s]
/proc/loadavg: 3.93 4.00 3.93 2/179 20070
/proc/meminfo: memFree=17659140/32951124 swapFree=67111528/67111528
[pid=20070] ppid=20068 vsize=7395284 CPUtime=0.29 cores=1,3
/proc/20070/stat : 20070 (java) S 20068 20070 19400 0 -1 4202496 15888 0 1 0 20 9 0 0 25 0 18 0 462097505 7572770816 15438 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/20070/statm: 1848821 15440 2168 9 0 1839305 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7395284
[startup+0.70075 s]
/proc/loadavg: 3.93 4.00 3.93 2/179 20070
/proc/meminfo: memFree=17659140/32951124 swapFree=67111528/67111528
[pid=20070] ppid=20068 vsize=7487732 CPUtime=1.02 cores=1,3
/proc/20070/stat : 20070 (java) S 20068 20070 19400 0 -1 4202496 30853 0 1 0 86 16 0 0 25 0 18 0 462097505 7667437568 26979 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/20070/statm: 1871933 26979 2175 9 0 1862417 0
Current children cumulated CPU time (s) 1.02
Current children cumulated vsize (KiB) 7487732
[startup+1.50064 s]
/proc/loadavg: 3.93 4.00 3.93 5/258 20197
/proc/meminfo: memFree=17312276/32951124 swapFree=67111528/67111528
[pid=20070] ppid=20068 vsize=7483676 CPUtime=1.85 cores=1,3
/proc/20070/stat : 20070 (java) S 20068 20070 19400 0 -1 4202496 44854 0 1 0 167 18 0 0 25 0 18 0 462097505 7663284224 40444 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/20070/statm: 1870919 40445 2175 9 0 1861403 0
[pid=20070/tid=20072] ppid=20068 vsize=7483676 CPUtime=1.38 cores=1,3
/proc/20070/task/20072/stat : 20072 (java) R 20068 20070 19400 0 -1 4202560 32595 0 1 0 122 16 0 0 25 0 18 0 462097506 7663284224 40445 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 46912505620389 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20070/tid=20077] ppid=20068 vsize=7483676 CPUtime=0 cores=1,3
/proc/20070/task/20077/stat : 20077 (java) S 20068 20070 19400 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 462097508 7663284224 40445 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032211865 0 4 0 16800975 18446604471128381568 0 0 -1 1 0 0 0
[pid=20070/tid=20078] ppid=20068 vsize=7483676 CPUtime=0 cores=1,3
/proc/20070/task/20078/stat : 20078 (java) S 20068 20070 19400 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 462097508 7663284224 40445 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032211865 0 4 0 16800975 18446604471128381568 0 0 -1 1 0 0 0
[pid=20070/tid=20079] ppid=20068 vsize=7483676 CPUtime=0 cores=1,3
/proc/20070/task/20079/stat : 20079 (java) S 20068 20070 19400 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 462097508 7663284224 40446 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032211865 0 4 0 16800975 18446604471128381568 0 0 -1 1 0 0 0
[pid=20070/tid=20080] ppid=20068 vsize=7483676 CPUtime=0 cores=1,3
/proc/20070/task/20080/stat : 20080 (java) S 20068 20070 19400 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 462097508 7663284224 40446 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032211865 0 4 0 16800975 18446604471128381568 0 0 -1 1 0 0 0
[pid=20070/tid=20081] ppid=20068 vsize=7483676 CPUtime=0 cores=1,3
/proc/20070/task/20081/stat : 20081 (java) S 20068 20070 19400 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 462097508 7663284224 40446 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032211865 0 4 0 16800975 18446604471128381568 0 0 -1 1 0 0 0
[pid=20070/tid=20082] ppid=20068 vsize=7483676 CPUtime=0 cores=1,3
/proc/20070/task/20082/stat : 20082 (java) S 20068 20070 19400 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 462097508 7663284224 40447 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032211865 0 4 0 16800975 18446604471128381568 0 0 -1 1 0 0 0
[pid=20070/tid=20083] ppid=20068 vsize=7483676 CPUtime=0 cores=1,3
/proc/20070/task/20083/stat : 20083 (java) S 20068 20070 19400 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 462097508 7663284224 40447 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032211865 0 4 0 16800975 18446604471128381568 0 0 -1 1 0 0 0
[pid=20070/tid=20084] ppid=20068 vsize=7483676 CPUtime=0 cores=1,3
/proc/20070/task/20084/stat : 20084 (java) S 20068 20070 19400 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 462097508 7663284224 40448 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032211865 0 4 0 16800975 18446604471128381568 0 0 -1 1 0 0 0
[pid=20070/tid=20085] ppid=20068 vsize=7483676 CPUtime=0 cores=1,3
/proc/20070/task/20085/stat : 20085 (java) S 20068 20070 19400 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 462097509 7663284224 40448 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032212480 0 0 0 16800975 18446604471128381568 0 0 -1 1 0 0 0
[pid=20070/tid=20086] ppid=20068 vsize=7483676 CPUtime=0 cores=1,3
/proc/20070/task/20086/stat : 20086 (java) S 20068 20070 19400 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 462097509 7663284224 40448 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032211865 0 4 0 16800975 18446604471128381568 0 0 -1 1 0 0 0
[pid=20070/tid=20087] ppid=20068 vsize=7483676 CPUtime=0 cores=1,3
/proc/20070/task/20087/stat : 20087 (java) S 20068 20070 19400 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 462097509 7663284224 40449 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032211865 0 4 0 16800975 18446604471128381568 0 0 -1 1 0 0 0
[pid=20070/tid=20110] ppid=20068 vsize=7483676 CPUtime=0 cores=1,3
/proc/20070/task/20110/stat : 20110 (java) S 20068 20070 19400 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 462097512 7663284224 40449 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032219569 0 4 0 16800975 18446604471128381568 0 0 -1 1 0 0 0
[pid=20070/tid=20111] ppid=20068 vsize=7483676 CPUtime=0.03 cores=1,3
/proc/20070/task/20111/stat : 20111 (java) S 20068 20070 19400 0 -1 4202560 334 0 0 0 3 0 0 0 17 0 18 0 462097512 7663284224 40450 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032211865 0 4 0 16800975 18446604471128381568 0 0 -1 3 0 0 0
[pid=20070/tid=20112] ppid=20068 vsize=7483676 CPUtime=0.41 cores=1,3
/proc/20070/task/20112/stat : 20112 (java) S 20068 20070 19400 0 -1 4202560 10804 0 0 0 40 1 0 0 18 0 18 0 462097512 7663284224 40450 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032211865 0 4 0 16800975 18446604471128381568 0 0 -1 1 0 0 0
[pid=20070/tid=20113] ppid=20068 vsize=7483676 CPUtime=0 cores=1,3
/proc/20070/task/20113/stat : 20113 (java) S 20068 20070 19400 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 462097512 7663284224 40450 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032211865 0 4 0 16800975 18446604471128381568 0 0 -1 1 0 0 0
[pid=20070/tid=20114] ppid=20068 vsize=7483676 CPUtime=0 cores=1,3
/proc/20070/task/20114/stat : 20114 (java) S 20068 20070 19400 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 462097512 7663284224 40451 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032212480 0 4 0 16800975 18446604471128381568 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.85
Current children cumulated vsize (KiB) 7483676
[startup+3.10134 s]
/proc/loadavg: 3.93 4.00 3.93 6/258 20197
/proc/meminfo: memFree=17144504/32951124 swapFree=67111528/67111528
[pid=20070] ppid=20068 vsize=7483676 CPUtime=3.45 cores=1,3
/proc/20070/stat : 20070 (java) S 20068 20070 19400 0 -1 4202496 73266 0 1 0 324 21 0 0 25 0 18 0 462097505 7663284224 68856 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/20070/statm: 1870919 68856 2185 9 0 1861403 0
[pid=20070/tid=20072] ppid=20068 vsize=7483676 CPUtime=2.98 cores=1,3
/proc/20070/task/20072/stat : 20072 (java) R 20068 20070 19400 0 -1 4202560 60996 0 1 0 279 19 0 0 25 0 18 0 462097506 7663284224 68856 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 46912505620559 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20070/tid=20077] ppid=20068 vsize=7483676 CPUtime=0 cores=1,3
/proc/20070/task/20077/stat : 20077 (java) S 20068 20070 19400 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 462097508 7663284224 68857 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032211865 0 4 0 16800975 18446604471128381568 0 0 -1 1 0 0 0
[pid=20070/tid=20078] ppid=20068 vsize=7483676 CPUtime=0 cores=1,3
/proc/20070/task/20078/stat : 20078 (java) S 20068 20070 19400 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 462097508 7663284224 68858 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032211865 0 4 0 16800975 18446604471128381568 0 0 -1 1 0 0 0
[pid=20070/tid=20079] ppid=20068 vsize=7483676 CPUtime=0 cores=1,3
/proc/20070/task/20079/stat : 20079 (java) S 20068 20070 19400 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 462097508 7663284224 68858 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032211865 0 4 0 16800975 18446604471128381568 0 0 -1 1 0 0 0
[pid=20070/tid=20080] ppid=20068 vsize=7483676 CPUtime=0 cores=1,3
/proc/20070/task/20080/stat : 20080 (java) S 20068 20070 19400 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 462097508 7663284224 68859 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032211865 0 4 0 16800975 18446604471128381568 0 0 -1 1 0 0 0
[pid=20070/tid=20081] ppid=20068 vsize=7483676 CPUtime=0 cores=1,3
/proc/20070/task/20081/stat : 20081 (java) S 20068 20070 19400 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 462097508 7663284224 68859 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032211865 0 4 0 16800975 18446604471128381568 0 0 -1 1 0 0 0
[pid=20070/tid=20082] ppid=20068 vsize=7483676 CPUtime=0 cores=1,3
/proc/20070/task/20082/stat : 20082 (java) S 20068 20070 19400 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 462097508 7663284224 68859 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032211865 0 4 0 16800975 18446604471128381568 0 0 -1 1 0 0 0
[pid=20070/tid=20083] ppid=20068 vsize=7483676 CPUtime=0 cores=1,3
/proc/20070/task/20083/stat : 20083 (java) S 20068 20070 19400 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 462097508 7663284224 68860 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032211865 0 4 0 16800975 18446604471128381568 0 0 -1 1 0 0 0
[pid=20070/tid=20084] ppid=20068 vsize=7483676 CPUtime=0 cores=1,3
/proc/20070/task/20084/stat : 20084 (java) S 20068 20070 19400 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 462097508 7663284224 68860 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032211865 0 4 0 16800975 18446604471128381568 0 0 -1 1 0 0 0
[pid=20070/tid=20085] ppid=20068 vsize=7483676 CPUtime=0 cores=1,3
/proc/20070/task/20085/stat : 20085 (java) S 20068 20070 19400 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 462097509 7663284224 68860 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032212480 0 0 0 16800975 18446604471128381568 0 0 -1 1 0 0 0
[pid=20070/tid=20086] ppid=20068 vsize=7483676 CPUtime=0 cores=1,3
/proc/20070/task/20086/stat : 20086 (java) S 20068 20070 19400 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 462097509 7663284224 68861 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032211865 0 4 0 16800975 18446604471128381568 0 0 -1 1 0 0 0
[pid=20070/tid=20087] ppid=20068 vsize=7483676 CPUtime=0 cores=1,3
/proc/20070/task/20087/stat : 20087 (java) S 20068 20070 19400 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 462097509 7663284224 68861 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032211865 0 4 0 16800975 18446604471128381568 0 0 -1 1 0 0 0
[pid=20070/tid=20110] ppid=20068 vsize=7483676 CPUtime=0 cores=1,3
/proc/20070/task/20110/stat : 20110 (java) S 20068 20070 19400 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 462097512 7663284224 68861 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032219569 0 4 0 16800975 18446604471128381568 0 0 -1 1 0 0 0
[pid=20070/tid=20111] ppid=20068 vsize=7483676 CPUtime=0.03 cores=1,3
/proc/20070/task/20111/stat : 20111 (java) S 20068 20070 19400 0 -1 4202560 334 0 0 0 3 0 0 0 17 0 18 0 462097512 7663284224 68862 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032211865 0 4 0 16800975 18446604471128381568 0 0 -1 3 0 0 0
[pid=20070/tid=20112] ppid=20068 vsize=7483676 CPUtime=0.41 cores=1,3
/proc/20070/task/20112/stat : 20112 (java) S 20068 20070 19400 0 -1 4202560 10814 0 0 0 40 1 0 0 18 0 18 0 462097512 7663284224 68862 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032211865 0 4 0 16800975 18446604471128381568 0 0 -1 1 0 0 0
[pid=20070/tid=20113] ppid=20068 vsize=7483676 CPUtime=0 cores=1,3
/proc/20070/task/20113/stat : 20113 (java) S 20068 20070 19400 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 462097512 7663284224 68863 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032211865 0 4 0 16800975 18446604471128381568 0 0 -1 1 0 0 0
[pid=20070/tid=20114] ppid=20068 vsize=7483676 CPUtime=0 cores=1,3
/proc/20070/task/20114/stat : 20114 (java) S 20068 20070 19400 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 462097512 7663284224 68863 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032212480 0 4 0 16800975 18446604471128381568 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.45
Current children cumulated vsize (KiB) 7483676
[startup+6.30076 s]
/proc/loadavg: 3.94 4.00 3.93 5/258 20197
/proc/meminfo: memFree=16649756/32951124 swapFree=67111528/67111528
[pid=20070] ppid=20068 vsize=7479516 CPUtime=6.65 cores=1,3
/proc/20070/stat : 20070 (java) S 20068 20070 19400 0 -1 4202496 131605 0 1 0 637 28 0 0 25 0 18 0 462097505 7659024384 126159 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/20070/statm: 1869879 126159 2191 9 0 1860363 0
[pid=20070/tid=20072] ppid=20068 vsize=7479516 CPUtime=6.16 cores=1,3
/proc/20070/task/20072/stat : 20072 (java) R 20068 20070 19400 0 -1 4202560 119330 0 1 0 590 26 0 0 25 0 18 0 462097506 7659024384 126160 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 46912505620728 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20070/tid=20077] ppid=20068 vsize=7479516 CPUtime=0 cores=1,3
/proc/20070/task/20077/stat : 20077 (java) S 20068 20070 19400 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 462097508 7659024384 126160 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032211865 0 4 0 16800975 18446604471128381568 0 0 -1 1 0 0 0
[pid=20070/tid=20078] ppid=20068 vsize=7479516 CPUtime=0 cores=1,3
/proc/20070/task/20078/stat : 20078 (java) S 20068 20070 19400 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 462097508 7659024384 126160 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032211865 0 4 0 16800975 18446604471128381568 0 0 -1 1 0 0 0
[pid=20070/tid=20079] ppid=20068 vsize=7479516 CPUtime=0 cores=1,3
/proc/20070/task/20079/stat : 20079 (java) S 20068 20070 19400 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 462097508 7659024384 126160 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032211865 0 4 0 16800975 18446604471128381568 0 0 -1 1 0 0 0
[pid=20070/tid=20080] ppid=20068 vsize=7479516 CPUtime=0 cores=1,3
/proc/20070/task/20080/stat : 20080 (java) S 20068 20070 19400 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 462097508 7659024384 126161 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032211865 0 4 0 16800975 18446604471128381568 0 0 -1 1 0 0 0
[pid=20070/tid=20081] ppid=20068 vsize=7479516 CPUtime=0 cores=1,3
/proc/20070/task/20081/stat : 20081 (java) S 20068 20070 19400 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 462097508 7659024384 126161 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032211865 0 4 0 16800975 18446604471128381568 0 0 -1 1 0 0 0
[pid=20070/tid=20082] ppid=20068 vsize=7479516 CPUtime=0 cores=1,3
/proc/20070/task/20082/stat : 20082 (java) S 20068 20070 19400 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 462097508 7659024384 126162 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032211865 0 4 0 16800975 18446604471128381568 0 0 -1 1 0 0 0
[pid=20070/tid=20083] ppid=20068 vsize=7479516 CPUtime=0 cores=1,3
/proc/20070/task/20083/stat : 20083 (java) S 20068 20070 19400 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 462097508 7659024384 126162 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032211865 0 4 0 16800975 18446604471128381568 0 0 -1 1 0 0 0
[pid=20070/tid=20084] ppid=20068 vsize=7479516 CPUtime=0 cores=1,3
/proc/20070/task/20084/stat : 20084 (java) S 20068 20070 19400 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 462097508 7659024384 126163 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032211865 0 4 0 16800975 18446604471128381568 0 0 -1 1 0 0 0
[pid=20070/tid=20085] ppid=20068 vsize=7479516 CPUtime=0 cores=1,3
/proc/20070/task/20085/stat : 20085 (java) S 20068 20070 19400 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 18 0 462097509 7659024384 126163 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032212480 0 0 0 16800975 18446604471128381568 0 0 -1 1 0 0 0
[pid=20070/tid=20086] ppid=20068 vsize=7479516 CPUtime=0 cores=1,3
/proc/20070/task/20086/stat : 20086 (java) S 20068 20070 19400 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 462097509 7659024384 126164 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032211865 0 4 0 16800975 18446604471128381568 0 0 -1 1 0 0 0
[pid=20070/tid=20087] ppid=20068 vsize=7479516 CPUtime=0 cores=1,3
/proc/20070/task/20087/stat : 20087 (java) S 20068 20070 19400 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 462097509 7659024384 126164 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032211865 0 4 0 16800975 18446604471128381568 0 0 -1 1 0 0 0
[pid=20070/tid=20110] ppid=20068 vsize=7479516 CPUtime=0 cores=1,3
/proc/20070/task/20110/stat : 20110 (java) S 20068 20070 19400 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 462097512 7659024384 126165 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032219569 0 4 0 16800975 18446604471128381568 0 0 -1 1 0 0 0
[pid=20070/tid=20111] ppid=20068 vsize=7479516 CPUtime=0.03 cores=1,3
/proc/20070/task/20111/stat : 20111 (java) S 20068 20070 19400 0 -1 4202560 334 0 0 0 3 0 0 0 17 0 18 0 462097512 7659024384 126165 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032211865 0 4 0 16800975 18446604471128381568 0 0 -1 3 0 0 0
[pid=20070/tid=20112] ppid=20068 vsize=7479516 CPUtime=0.43 cores=1,3
/proc/20070/task/20112/stat : 20112 (java) S 20068 20070 19400 0 -1 4202560 10818 0 0 0 42 1 0 0 15 0 18 0 462097512 7659024384 126166 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032211865 0 4 0 16800975 18446604471128381568 0 0 -1 1 0 0 0
[pid=20070/tid=20113] ppid=20068 vsize=7479516 CPUtime=0 cores=1,3
/proc/20070/task/20113/stat : 20113 (java) S 20068 20070 19400 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 462097512 7659024384 126166 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032211865 0 4 0 16800975 18446604471128381568 0 0 -1 1 0 0 0
[pid=20070/tid=20114] ppid=20068 vsize=7479516 CPUtime=0 cores=1,3
/proc/20070/task/20114/stat : 20114 (java) S 20068 20070 19400 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 462097512 7659024384 126167 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032212480 0 4 0 16800975 18446604471128381568 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.65
Current children cumulated vsize (KiB) 7479516
[startup+12.7006 s]
/proc/loadavg: 3.94 4.00 3.93 5/258 20198
/proc/meminfo: memFree=15647488/32951124 swapFree=67111528/67111528
[pid=20070] ppid=20068 vsize=7479516 CPUtime=13.04 cores=1,3
/proc/20070/stat : 20070 (java) S 20068 20070 19400 0 -1 4202496 245119 0 1 0 1264 40 0 0 25 0 18 0 462097505 7659024384 239673 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/20070/statm: 1869879 239674 2191 9 0 1860363 0
[pid=20070/tid=20072] ppid=20068 vsize=7479516 CPUtime=12.55 cores=1,3
################
# More data... #
################
[pid=20070/tid=20078] ppid=20068 vsize=7479516 CPUtime=0 cores=1,3
/proc/20070/task/20078/stat : 20078 (java) S 20068 20070 19400 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 462097508 7659024384 612590 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032211865 0 4 0 16800975 18446604471128381568 0 0 -1 1 0 0 0
[pid=20070/tid=20079] ppid=20068 vsize=7479516 CPUtime=0 cores=1,3
/proc/20070/task/20079/stat : 20079 (java) S 20068 20070 19400 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 462097508 7659024384 612590 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032211865 0 4 0 16800975 18446604471128381568 0 0 -1 1 0 0 0
[pid=20070/tid=20080] ppid=20068 vsize=7479516 CPUtime=0 cores=1,3
/proc/20070/task/20080/stat : 20080 (java) S 20068 20070 19400 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 462097508 7659024384 612590 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032211865 0 4 0 16800975 18446604471128381568 0 0 -1 1 0 0 0
[pid=20070/tid=20081] ppid=20068 vsize=7479516 CPUtime=0 cores=1,3
/proc/20070/task/20081/stat : 20081 (java) S 20068 20070 19400 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 462097508 7659024384 612590 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032211865 0 4 0 16800975 18446604471128381568 0 0 -1 1 0 0 0
[pid=20070/tid=20082] ppid=20068 vsize=7479516 CPUtime=0 cores=1,3
/proc/20070/task/20082/stat : 20082 (java) S 20068 20070 19400 0 -1 4202560 326 0 0 0 0 0 0 0 15 0 18 0 462097508 7659024384 612590 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032211865 0 4 0 16800975 18446604471128381568 0 0 -1 1 0 0 0
[pid=20070/tid=20083] ppid=20068 vsize=7479516 CPUtime=0 cores=1,3
/proc/20070/task/20083/stat : 20083 (java) S 20068 20070 19400 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 462097508 7659024384 612590 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032211865 0 4 0 16800975 18446604471128381568 0 0 -1 1 0 0 0
[pid=20070/tid=20084] ppid=20068 vsize=7479516 CPUtime=0 cores=1,3
/proc/20070/task/20084/stat : 20084 (java) S 20068 20070 19400 0 -1 4202560 324 0 0 0 0 0 0 0 15 0 18 0 462097508 7659024384 612590 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032211865 0 4 0 16800975 18446604471128381568 0 0 -1 1 0 0 0
[pid=20070/tid=20085] ppid=20068 vsize=7479516 CPUtime=0 cores=1,3
/proc/20070/task/20085/stat : 20085 (java) S 20068 20070 19400 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 18 0 462097509 7659024384 612590 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032212480 0 0 0 16800975 18446604471128381568 0 0 -1 1 0 0 0
[pid=20070/tid=20086] ppid=20068 vsize=7479516 CPUtime=0 cores=1,3
/proc/20070/task/20086/stat : 20086 (java) S 20068 20070 19400 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 18 0 462097509 7659024384 612590 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032211865 0 4 0 16800975 18446604471128381568 0 0 -1 1 0 0 0
[pid=20070/tid=20087] ppid=20068 vsize=7479516 CPUtime=0 cores=1,3
/proc/20070/task/20087/stat : 20087 (java) S 20068 20070 19400 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 18 0 462097509 7659024384 612590 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032211865 0 4 0 16800975 18446604471128381568 0 0 -1 1 0 0 0
[pid=20070/tid=20110] ppid=20068 vsize=7479516 CPUtime=0 cores=1,3
/proc/20070/task/20110/stat : 20110 (java) S 20068 20070 19400 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 462097512 7659024384 612590 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032219569 0 4 0 16800975 18446604471128381568 0 0 -1 1 0 0 0
[pid=20070/tid=20111] ppid=20068 vsize=7479516 CPUtime=0.03 cores=1,3
/proc/20070/task/20111/stat : 20111 (java) S 20068 20070 19400 0 -1 4202560 334 0 0 0 3 0 0 0 17 0 18 0 462097512 7659024384 612590 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032211865 0 4 0 16800975 18446604471128381568 0 0 -1 3 0 0 0
[pid=20070/tid=20112] ppid=20068 vsize=7479516 CPUtime=0.44 cores=1,3
/proc/20070/task/20112/stat : 20112 (java) S 20068 20070 19400 0 -1 4202560 10818 0 0 0 43 1 0 0 15 0 18 0 462097512 7659024384 612590 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032211865 0 4 0 16800975 18446604471128381568 0 0 -1 1 0 0 0
[pid=20070/tid=20113] ppid=20068 vsize=7479516 CPUtime=0 cores=1,3
/proc/20070/task/20113/stat : 20113 (java) S 20068 20070 19400 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 462097512 7659024384 612590 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032211865 0 4 0 16800975 18446604471128381568 0 0 -1 1 0 0 0
[pid=20070/tid=20114] ppid=20068 vsize=7479516 CPUtime=0 cores=1,3
/proc/20070/task/20114/stat : 20114 (java) S 20068 20070 19400 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 18 0 462097512 7659024384 612590 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032212480 0 4 0 16800975 18446604471128381568 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1122.68
Current children cumulated vsize (KiB) 7479516
[startup+1182.3 s]
/proc/loadavg: 4.00 4.00 3.95 5/258 20229
/proc/meminfo: memFree=7884764/32951124 swapFree=67111528/67111528
[pid=20070] ppid=20068 vsize=7479516 CPUtime=1182.68 cores=1,3
/proc/20070/stat : 20070 (java) S 20068 20070 19400 0 -1 4202496 618252 0 1 0 118186 82 0 0 25 0 18 0 462097505 7659024384 612636 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/20070/statm: 1869879 612636 2205 9 0 1860363 0
[pid=20070/tid=20072] ppid=20068 vsize=7479516 CPUtime=1182.15 cores=1,3
/proc/20070/task/20072/stat : 20072 (java) R 20068 20070 19400 0 -1 4202560 604540 0 1 0 118135 80 0 0 25 0 18 0 462097506 7659024384 612636 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 46912505618051 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20070/tid=20077] ppid=20068 vsize=7479516 CPUtime=0 cores=1,3
/proc/20070/task/20077/stat : 20077 (java) S 20068 20070 19400 0 -1 4202560 647 0 0 0 0 0 0 0 15 0 18 0 462097508 7659024384 612636 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032211865 0 4 0 16800975 18446604471128381568 0 0 -1 1 0 0 0
[pid=20070/tid=20078] ppid=20068 vsize=7479516 CPUtime=0 cores=1,3
/proc/20070/task/20078/stat : 20078 (java) S 20068 20070 19400 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 462097508 7659024384 612636 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032211865 0 4 0 16800975 18446604471128381568 0 0 -1 1 0 0 0
[pid=20070/tid=20079] ppid=20068 vsize=7479516 CPUtime=0 cores=1,3
/proc/20070/task/20079/stat : 20079 (java) S 20068 20070 19400 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 462097508 7659024384 612636 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032211865 0 4 0 16800975 18446604471128381568 0 0 -1 1 0 0 0
[pid=20070/tid=20080] ppid=20068 vsize=7479516 CPUtime=0 cores=1,3
/proc/20070/task/20080/stat : 20080 (java) S 20068 20070 19400 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 462097508 7659024384 612636 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032211865 0 4 0 16800975 18446604471128381568 0 0 -1 1 0 0 0
[pid=20070/tid=20081] ppid=20068 vsize=7479516 CPUtime=0 cores=1,3
/proc/20070/task/20081/stat : 20081 (java) S 20068 20070 19400 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 462097508 7659024384 612636 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032211865 0 4 0 16800975 18446604471128381568 0 0 -1 1 0 0 0
[pid=20070/tid=20082] ppid=20068 vsize=7479516 CPUtime=0 cores=1,3
/proc/20070/task/20082/stat : 20082 (java) S 20068 20070 19400 0 -1 4202560 326 0 0 0 0 0 0 0 15 0 18 0 462097508 7659024384 612636 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032211865 0 4 0 16800975 18446604471128381568 0 0 -1 1 0 0 0
[pid=20070/tid=20083] ppid=20068 vsize=7479516 CPUtime=0 cores=1,3
/proc/20070/task/20083/stat : 20083 (java) S 20068 20070 19400 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 462097508 7659024384 612636 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032211865 0 4 0 16800975 18446604471128381568 0 0 -1 1 0 0 0
[pid=20070/tid=20084] ppid=20068 vsize=7479516 CPUtime=0 cores=1,3
/proc/20070/task/20084/stat : 20084 (java) S 20068 20070 19400 0 -1 4202560 324 0 0 0 0 0 0 0 15 0 18 0 462097508 7659024384 612636 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032211865 0 4 0 16800975 18446604471128381568 0 0 -1 1 0 0 0
[pid=20070/tid=20085] ppid=20068 vsize=7479516 CPUtime=0 cores=1,3
/proc/20070/task/20085/stat : 20085 (java) S 20068 20070 19400 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 18 0 462097509 7659024384 612636 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032212480 0 0 0 16800975 18446604471128381568 0 0 -1 1 0 0 0
[pid=20070/tid=20086] ppid=20068 vsize=7479516 CPUtime=0 cores=1,3
/proc/20070/task/20086/stat : 20086 (java) S 20068 20070 19400 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 18 0 462097509 7659024384 612636 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032211865 0 4 0 16800975 18446604471128381568 0 0 -1 1 0 0 0
[pid=20070/tid=20087] ppid=20068 vsize=7479516 CPUtime=0 cores=1,3
/proc/20070/task/20087/stat : 20087 (java) S 20068 20070 19400 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 18 0 462097509 7659024384 612636 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032211865 0 4 0 16800975 18446604471128381568 0 0 -1 1 0 0 0
[pid=20070/tid=20110] ppid=20068 vsize=7479516 CPUtime=0 cores=1,3
/proc/20070/task/20110/stat : 20110 (java) S 20068 20070 19400 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 462097512 7659024384 612636 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032219569 0 4 0 16800975 18446604471128381568 0 0 -1 1 0 0 0
[pid=20070/tid=20111] ppid=20068 vsize=7479516 CPUtime=0.03 cores=1,3
/proc/20070/task/20111/stat : 20111 (java) S 20068 20070 19400 0 -1 4202560 334 0 0 0 3 0 0 0 17 0 18 0 462097512 7659024384 612636 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032211865 0 4 0 16800975 18446604471128381568 0 0 -1 3 0 0 0
[pid=20070/tid=20112] ppid=20068 vsize=7479516 CPUtime=0.44 cores=1,3
/proc/20070/task/20112/stat : 20112 (java) S 20068 20070 19400 0 -1 4202560 10818 0 0 0 43 1 0 0 15 0 18 0 462097512 7659024384 612636 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032211865 0 4 0 16800975 18446604471128381568 0 0 -1 1 0 0 0
[pid=20070/tid=20113] ppid=20068 vsize=7479516 CPUtime=0 cores=1,3
/proc/20070/task/20113/stat : 20113 (java) S 20068 20070 19400 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 462097512 7659024384 612636 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032211865 0 4 0 16800975 18446604471128381568 0 0 -1 1 0 0 0
[pid=20070/tid=20114] ppid=20068 vsize=7479516 CPUtime=0 cores=1,3
/proc/20070/task/20114/stat : 20114 (java) S 20068 20070 19400 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 18 0 462097512 7659024384 612636 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032212480 0 4 0 16800975 18446604471128381568 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1182.68
Current children cumulated vsize (KiB) 7479516
[startup+1242.3 s]
/proc/loadavg: 4.00 4.00 3.95 5/258 20230
/proc/meminfo: memFree=7883616/32951124 swapFree=67111528/67111528
[pid=20070] ppid=20068 vsize=7479516 CPUtime=1242.68 cores=1,3
/proc/20070/stat : 20070 (java) S 20068 20070 19400 0 -1 4202496 618263 0 1 0 124186 82 0 0 25 0 18 0 462097505 7659024384 612637 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/20070/statm: 1869879 612637 2205 9 0 1860363 0
[pid=20070/tid=20072] ppid=20068 vsize=7479516 CPUtime=1242.15 cores=1,3
/proc/20070/task/20072/stat : 20072 (java) R 20068 20070 19400 0 -1 4202560 604542 0 1 0 124135 80 0 0 25 0 18 0 462097506 7659024384 612637 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 46912505617662 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20070/tid=20077] ppid=20068 vsize=7479516 CPUtime=0 cores=1,3
/proc/20070/task/20077/stat : 20077 (java) S 20068 20070 19400 0 -1 4202560 648 0 0 0 0 0 0 0 15 0 18 0 462097508 7659024384 612637 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032211865 0 4 0 16800975 18446604471128381568 0 0 -1 1 0 0 0
[pid=20070/tid=20078] ppid=20068 vsize=7479516 CPUtime=0 cores=1,3
/proc/20070/task/20078/stat : 20078 (java) S 20068 20070 19400 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 462097508 7659024384 612637 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032211865 0 4 0 16800975 18446604471128381568 0 0 -1 1 0 0 0
[pid=20070/tid=20079] ppid=20068 vsize=7479516 CPUtime=0 cores=1,3
/proc/20070/task/20079/stat : 20079 (java) S 20068 20070 19400 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 462097508 7659024384 612637 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032211865 0 4 0 16800975 18446604471128381568 0 0 -1 1 0 0 0
[pid=20070/tid=20080] ppid=20068 vsize=7479516 CPUtime=0 cores=1,3
/proc/20070/task/20080/stat : 20080 (java) S 20068 20070 19400 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 462097508 7659024384 612637 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032211865 0 4 0 16800975 18446604471128381568 0 0 -1 1 0 0 0
[pid=20070/tid=20081] ppid=20068 vsize=7479516 CPUtime=0 cores=1,3
/proc/20070/task/20081/stat : 20081 (java) S 20068 20070 19400 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 462097508 7659024384 612637 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032211865 0 4 0 16800975 18446604471128381568 0 0 -1 1 0 0 0
[pid=20070/tid=20082] ppid=20068 vsize=7479516 CPUtime=0 cores=1,3
/proc/20070/task/20082/stat : 20082 (java) S 20068 20070 19400 0 -1 4202560 326 0 0 0 0 0 0 0 15 0 18 0 462097508 7659024384 612637 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032211865 0 4 0 16800975 18446604471128381568 0 0 -1 1 0 0 0
[pid=20070/tid=20083] ppid=20068 vsize=7479516 CPUtime=0 cores=1,3
/proc/20070/task/20083/stat : 20083 (java) S 20068 20070 19400 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 462097508 7659024384 612637 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032211865 0 4 0 16800975 18446604471128381568 0 0 -1 1 0 0 0
[pid=20070/tid=20084] ppid=20068 vsize=7479516 CPUtime=0 cores=1,3
/proc/20070/task/20084/stat : 20084 (java) S 20068 20070 19400 0 -1 4202560 324 0 0 0 0 0 0 0 15 0 18 0 462097508 7659024384 612637 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032211865 0 4 0 16800975 18446604471128381568 0 0 -1 1 0 0 0
[pid=20070/tid=20085] ppid=20068 vsize=7479516 CPUtime=0 cores=1,3
/proc/20070/task/20085/stat : 20085 (java) S 20068 20070 19400 0 -1 4202560 76 0 0 0 0 0 0 0 15 0 18 0 462097509 7659024384 612637 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032212480 0 0 0 16800975 18446604471128381568 0 0 -1 1 0 0 0
[pid=20070/tid=20086] ppid=20068 vsize=7479516 CPUtime=0 cores=1,3
/proc/20070/task/20086/stat : 20086 (java) S 20068 20070 19400 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 18 0 462097509 7659024384 612637 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032211865 0 4 0 16800975 18446604471128381568 0 0 -1 1 0 0 0
[pid=20070/tid=20087] ppid=20068 vsize=7479516 CPUtime=0 cores=1,3
/proc/20070/task/20087/stat : 20087 (java) S 20068 20070 19400 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 18 0 462097509 7659024384 612637 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032211865 0 4 0 16800975 18446604471128381568 0 0 -1 1 0 0 0
[pid=20070/tid=20110] ppid=20068 vsize=7479516 CPUtime=0 cores=1,3
/proc/20070/task/20110/stat : 20110 (java) S 20068 20070 19400 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 462097512 7659024384 612637 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032219569 0 4 0 16800975 18446604471128381568 0 0 -1 1 0 0 0
[pid=20070/tid=20111] ppid=20068 vsize=7479516 CPUtime=0.03 cores=1,3
/proc/20070/task/20111/stat : 20111 (java) S 20068 20070 19400 0 -1 4202560 334 0 0 0 3 0 0 0 17 0 18 0 462097512 7659024384 612637 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032211865 0 4 0 16800975 18446604471128381568 0 0 -1 3 0 0 0
[pid=20070/tid=20112] ppid=20068 vsize=7479516 CPUtime=0.44 cores=1,3
/proc/20070/task/20112/stat : 20112 (java) S 20068 20070 19400 0 -1 4202560 10818 0 0 0 43 1 0 0 15 0 18 0 462097512 7659024384 612637 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032211865 0 4 0 16800975 18446604471128381568 0 0 -1 1 0 0 0
[pid=20070/tid=20113] ppid=20068 vsize=7479516 CPUtime=0 cores=1,3
/proc/20070/task/20113/stat : 20113 (java) S 20068 20070 19400 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 462097512 7659024384 612637 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032211865 0 4 0 16800975 18446604471128381568 0 0 -1 1 0 0 0
[pid=20070/tid=20114] ppid=20068 vsize=7479516 CPUtime=0 cores=1,3
/proc/20070/task/20114/stat : 20114 (java) S 20068 20070 19400 0 -1 4202560 76 0 0 0 0 0 0 0 15 0 18 0 462097512 7659024384 612637 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032212480 0 4 0 16800975 18446604471128381568 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1242.68
Current children cumulated vsize (KiB) 7479516
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 4.11 4.03 3.96 5/258 20235
/proc/meminfo: memFree=7882472/32951124 swapFree=67111528/67111528
[pid=20070] ppid=20068 vsize=7479516 CPUtime=1300.39 cores=1,3
/proc/20070/stat : 20070 (java) S 20068 20070 19400 0 -1 4202496 618271 0 1 0 129957 82 0 0 25 0 18 0 462097505 7659024384 612637 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/20070/statm: 1869879 612637 2205 9 0 1860363 0
[pid=20070/tid=20072] ppid=20068 vsize=7479516 CPUtime=1299.86 cores=1,3
/proc/20070/task/20072/stat : 20072 (java) R 20068 20070 19400 0 -1 4202560 604544 0 1 0 129906 80 0 0 25 0 18 0 462097506 7659024384 612637 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 46912505618650 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20070/tid=20077] ppid=20068 vsize=7479516 CPUtime=0 cores=1,3
/proc/20070/task/20077/stat : 20077 (java) S 20068 20070 19400 0 -1 4202560 648 0 0 0 0 0 0 0 15 0 18 0 462097508 7659024384 612637 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032211865 0 4 0 16800975 18446604471128381568 0 0 -1 3 0 0 0
[pid=20070/tid=20078] ppid=20068 vsize=7479516 CPUtime=0 cores=1,3
/proc/20070/task/20078/stat : 20078 (java) S 20068 20070 19400 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 462097508 7659024384 612637 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032211865 0 4 0 16800975 18446604471128381568 0 0 -1 1 0 0 0
[pid=20070/tid=20079] ppid=20068 vsize=7479516 CPUtime=0 cores=1,3
/proc/20070/task/20079/stat : 20079 (java) S 20068 20070 19400 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 462097508 7659024384 612637 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032211865 0 4 0 16800975 18446604471128381568 0 0 -1 3 0 0 0
[pid=20070/tid=20080] ppid=20068 vsize=7479516 CPUtime=0 cores=1,3
/proc/20070/task/20080/stat : 20080 (java) S 20068 20070 19400 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 462097508 7659024384 612637 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032211865 0 4 0 16800975 18446604471128381568 0 0 -1 1 0 0 0
[pid=20070/tid=20081] ppid=20068 vsize=7479516 CPUtime=0 cores=1,3
/proc/20070/task/20081/stat : 20081 (java) S 20068 20070 19400 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 462097508 7659024384 612637 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032211865 0 4 0 16800975 18446604471128381568 0 0 -1 1 0 0 0
[pid=20070/tid=20082] ppid=20068 vsize=7479516 CPUtime=0 cores=1,3
/proc/20070/task/20082/stat : 20082 (java) S 20068 20070 19400 0 -1 4202560 326 0 0 0 0 0 0 0 15 0 18 0 462097508 7659024384 612637 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032211865 0 4 0 16800975 18446604471128381568 0 0 -1 3 0 0 0
[pid=20070/tid=20083] ppid=20068 vsize=7479516 CPUtime=0 cores=1,3
/proc/20070/task/20083/stat : 20083 (java) S 20068 20070 19400 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 462097508 7659024384 612637 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032211865 0 4 0 16800975 18446604471128381568 0 0 -1 1 0 0 0
[pid=20070/tid=20084] ppid=20068 vsize=7479516 CPUtime=0 cores=1,3
/proc/20070/task/20084/stat : 20084 (java) S 20068 20070 19400 0 -1 4202560 324 0 0 0 0 0 0 0 15 0 18 0 462097508 7659024384 612637 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032211865 0 4 0 16800975 18446604471128381568 0 0 -1 1 0 0 0
[pid=20070/tid=20085] ppid=20068 vsize=7479516 CPUtime=0 cores=1,3
/proc/20070/task/20085/stat : 20085 (java) S 20068 20070 19400 0 -1 4202560 80 0 0 0 0 0 0 0 15 0 18 0 462097509 7659024384 612637 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032212480 0 0 0 16800975 18446604471128381568 0 0 -1 3 0 0 0
[pid=20070/tid=20086] ppid=20068 vsize=7479516 CPUtime=0 cores=1,3
/proc/20070/task/20086/stat : 20086 (java) S 20068 20070 19400 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 18 0 462097509 7659024384 612637 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032211865 0 4 0 16800975 18446604471128381568 0 0 -1 1 0 0 0
[pid=20070/tid=20087] ppid=20068 vsize=7479516 CPUtime=0 cores=1,3
/proc/20070/task/20087/stat : 20087 (java) S 20068 20070 19400 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 18 0 462097509 7659024384 612637 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032211865 0 4 0 16800975 18446604471128381568 0 0 -1 1 0 0 0
[pid=20070/tid=20110] ppid=20068 vsize=7479516 CPUtime=0 cores=1,3
/proc/20070/task/20110/stat : 20110 (java) S 20068 20070 19400 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 462097512 7659024384 612637 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032219569 0 4 0 16800975 18446604471128381568 0 0 -1 1 0 0 0
[pid=20070/tid=20111] ppid=20068 vsize=7479516 CPUtime=0.03 cores=1,3
/proc/20070/task/20111/stat : 20111 (java) S 20068 20070 19400 0 -1 4202560 334 0 0 0 3 0 0 0 17 0 18 0 462097512 7659024384 612637 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032211865 0 4 0 16800975 18446604471128381568 0 0 -1 3 0 0 0
[pid=20070/tid=20112] ppid=20068 vsize=7479516 CPUtime=0.44 cores=1,3
/proc/20070/task/20112/stat : 20112 (java) S 20068 20070 19400 0 -1 4202560 10818 0 0 0 43 1 0 0 15 0 18 0 462097512 7659024384 612637 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032211865 0 4 0 16800975 18446604471128381568 0 0 -1 1 0 0 0
[pid=20070/tid=20113] ppid=20068 vsize=7479516 CPUtime=0 cores=1,3
/proc/20070/task/20113/stat : 20113 (java) S 20068 20070 19400 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 462097512 7659024384 612637 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032211865 0 4 0 16800975 18446604471128381568 0 0 -1 1 0 0 0
[pid=20070/tid=20114] ppid=20068 vsize=7479516 CPUtime=0 cores=1,3
/proc/20070/task/20114/stat : 20114 (java) R 20068 20070 19400 0 -1 4202560 78 0 0 0 0 0 0 0 15 0 18 0 462097512 7659024384 612637 33554432000 1073741824 1073778376 140735322546192 18446744073709551615 260032212480 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1300.39
Current children cumulated vsize (KiB) 7479516
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): 1300.1
CPU time (s): 1300.5
CPU user time (s): 1299.58
CPU system time (s): 0.913861
CPU usage (%): 100.03
Max. virtual memory (cumulated for all children) (KiB): 7487732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1299.58
system time used= 0.913861
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 618291
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27512
involuntary context switches= 18080
runsolver used 2.23466 second user time and 4.87226 second system time
The end