runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4106027-1466269400/watcher-4106027-1466269400 -o /tmp/evaluation-result-4106027-1466269400/solver-4106027-1466269400 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node113-1466265808-19865 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4106027-1466269400.opb
pid=20675
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.31 2.26 2.15 3/194 20678
/proc/meminfo: memFree=30743484/32872528 swapFree=877056/942464
[pid=20678] ppid=20675 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/20678/stat : 20678 (java) S 20675 20678 19848 0 -1 4202496 1352 0 0 0 0 0 0 0 20 0 2 0 28988959 98570240 977 33554432000 1073741824 1073778376 140733948999664 140733948990800 213196505149 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20678/statm: 24065 977 743 9 0 16771 0
[pid=20678/tid=20679] ppid=20675 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20679/stat : 20679 (java) R 20675 20678 19848 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 28988959 98570240 977 33554432000 1073741824 1073778376 140733948999664 139922392677928 213193147776 0 0 4096 0 0 0 0 -1 1 0 0 0 0 0
[startup+0.100116 s]
/proc/loadavg: 2.31 2.26 2.15 3/194 20678
/proc/meminfo: memFree=30743484/32872528 swapFree=877056/942464
[pid=20678] ppid=20675 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/20678/stat : 20678 (java) S 20675 20678 19848 0 -1 4202496 4499 0 1 0 10 1 0 0 20 0 18 0 28988959 9787879424 6130 33554432000 1073741824 1073778376 140733948999664 140733948990800 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20678/statm: 2389619 6130 2157 9 0 2380296 0
[pid=20678/tid=20679] ppid=20675 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/20678/task/20679/stat : 20679 (java) R 20675 20678 19848 0 -1 4202560 2384 0 1 0 7 0 0 0 20 0 18 0 28988959 9787879424 6130 33554432000 1073741824 1073778376 140733948999664 139922392681376 139922395483537 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476
[startup+0.200302 s]
/proc/loadavg: 2.31 2.26 2.15 3/194 20678
/proc/meminfo: memFree=30743484/32872528 swapFree=877056/942464
[pid=20678] ppid=20675 vsize=9558476 CPUtime=0.26 cores=1,3,5,7
/proc/20678/stat : 20678 (java) S 20675 20678 19848 0 -1 4202496 4719 0 1 0 25 1 0 0 20 0 18 0 28988959 9787879424 7295 33554432000 1073741824 1073778376 140733948999664 140733948990800 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20678/statm: 2389619 7295 2214 9 0 2380296 0
[pid=20678/tid=20679] ppid=20675 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/20678/task/20679/stat : 20679 (java) R 20675 20678 19848 0 -1 4202560 2407 0 1 0 17 0 0 0 20 0 18 0 28988959 9787879424 7295 33554432000 1073741824 1073778376 140733948999664 139922392669296 213196530957 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9558476
[startup+0.300253 s]
/proc/loadavg: 2.31 2.26 2.15 3/194 20678
/proc/meminfo: memFree=30743484/32872528 swapFree=877056/942464
[pid=20678] ppid=20675 vsize=9625040 CPUtime=0.53 cores=1,3,5,7
/proc/20678/stat : 20678 (java) S 20675 20678 19848 0 -1 4202496 6899 0 1 0 51 2 0 0 20 0 19 0 28988959 9856040960 8569 33554432000 1073741824 1073778376 140733948999664 140733948990800 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20678/statm: 2406260 8569 2238 9 0 2396937 0
[pid=20678/tid=20679] ppid=20675 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
/proc/20678/task/20679/stat : 20679 (java) R 20675 20678 19848 0 -1 4202560 2410 0 1 0 27 0 0 0 20 0 19 0 28988959 9856040960 8569 33554432000 1073741824 1073778376 140733948999664 139922392682568 139922395968403 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 9625040
[startup+0.700181 s]
/proc/loadavg: 2.31 2.26 2.15 3/194 20678
/proc/meminfo: memFree=30743484/32872528 swapFree=877056/942464
[pid=20678] ppid=20675 vsize=9625040 CPUtime=1.04 cores=1,3,5,7
/proc/20678/stat : 20678 (java) S 20675 20678 19848 0 -1 4202496 7229 0 1 0 102 2 0 0 20 0 19 0 28988959 9856040960 9102 33554432000 1073741824 1073778376 140733948999664 140733948990800 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20678/statm: 2406260 9102 2253 9 0 2396937 0
[pid=20678/tid=20679] ppid=20675 vsize=9625040 CPUtime=0.67 cores=1,3,5,7
/proc/20678/task/20679/stat : 20679 (java) R 20675 20678 19848 0 -1 4202560 2417 0 1 0 67 0 0 0 20 0 19 0 28988959 9856040960 9102 33554432000 1073741824 1073778376 140733948999664 139922392673984 139922265066360 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1.04
Current children cumulated vsize (KiB) 9625040
[startup+1.50079 s]
/proc/loadavg: 2.31 2.26 2.15 4/213 20697
/proc/meminfo: memFree=30698304/32872528 swapFree=877056/942464
[pid=20678] ppid=20675 vsize=9625040 CPUtime=1.96 cores=1,3,5,7
/proc/20678/stat : 20678 (java) S 20675 20678 19848 0 -1 4202496 9148 0 1 0 194 2 0 0 20 0 19 0 28988959 9856040960 11326 33554432000 1073741824 1073778376 140733948999664 140733948990800 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20678/statm: 2406260 11326 2257 9 0 2396937 0
[pid=20678/tid=20679] ppid=20675 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/20678/task/20679/stat : 20679 (java) R 20675 20678 19848 0 -1 4202560 2421 0 1 0 146 0 0 0 20 0 19 0 28988959 9856040960 11326 33554432000 1073741824 1073778376 140733948999664 139922392682624 139922265075938 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=20678/tid=20681] ppid=20675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20681/stat : 20681 (java) S 20675 20678 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28988960 9856040960 11326 33554432000 1073741824 1073778376 140733948999664 139922236148008 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20678/tid=20682] ppid=20675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20682/stat : 20682 (java) S 20675 20678 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28988960 9856040960 11326 33554432000 1073741824 1073778376 140733948999664 139922235095208 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20678/tid=20683] ppid=20675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20683/stat : 20683 (java) S 20675 20678 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28988960 9856040960 11326 33554432000 1073741824 1073778376 140733948999664 139922234042920 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20678/tid=20684] ppid=20675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20684/stat : 20684 (java) S 20675 20678 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28988960 9856040960 11326 33554432000 1073741824 1073778376 140733948999664 139922232990120 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20678/tid=20685] ppid=20675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20685/stat : 20685 (java) S 20675 20678 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28988960 9856040960 11326 33554432000 1073741824 1073778376 140733948999664 139922231937832 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20678/tid=20686] ppid=20675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20686/stat : 20686 (java) S 20675 20678 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28988960 9856040960 11326 33554432000 1073741824 1073778376 140733948999664 139922230885032 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20678/tid=20687] ppid=20675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20687/stat : 20687 (java) S 20675 20678 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28988960 9856040960 11326 33554432000 1073741824 1073778376 140733948999664 139922229832744 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20678/tid=20688] ppid=20675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20688/stat : 20688 (java) S 20675 20678 19848 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 28988960 9856040960 11326 33554432000 1073741824 1073778376 140733948999664 139922228779944 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20678/tid=20689] ppid=20675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20689/stat : 20689 (java) S 20675 20678 19848 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 28988961 9856040960 11326 33554432000 1073741824 1073778376 140733948999664 139922216581352 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20678/tid=20690] ppid=20675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20690/stat : 20690 (java) S 20675 20678 19848 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 28988962 9856040960 11326 33554432000 1073741824 1073778376 140733948999664 139922215527416 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20678/tid=20691] ppid=20675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20691/stat : 20691 (java) S 20675 20678 19848 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28988962 9856040960 11326 33554432000 1073741824 1073778376 140733948999664 139922214475016 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20678/tid=20692] ppid=20675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20692/stat : 20692 (java) S 20675 20678 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28988964 9856040960 11326 33554432000 1073741824 1073778376 140733948999664 139922213423504 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20678/tid=20693] ppid=20675 vsize=9625040 CPUtime=0.3 cores=1,3,5,7
/proc/20678/task/20693/stat : 20693 (java) S 20675 20678 19848 0 -1 4202560 3199 0 0 0 30 0 0 0 20 0 19 0 28988964 9856040960 11326 33554432000 1073741824 1073778376 140733948999664 139922212371128 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20678/tid=20694] ppid=20675 vsize=9625040 CPUtime=0.17 cores=1,3,5,7
/proc/20678/task/20694/stat : 20694 (java) S 20675 20678 19848 0 -1 4202560 2257 0 0 0 17 0 0 0 20 0 19 0 28988964 9856040960 11326 33554432000 1073741824 1073778376 140733948999664 139922211318328 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20678/tid=20695] ppid=20675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20695/stat : 20695 (java) S 20675 20678 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28988964 9856040960 11326 33554432000 1073741824 1073778376 140733948999664 139922210266232 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20678/tid=20696] ppid=20675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20696/stat : 20696 (java) S 20675 20678 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28988964 9856040960 11326 33554432000 1073741824 1073778376 140733948999664 139922209213640 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20678/tid=20697] ppid=20675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20697/stat : 20697 (java) S 20675 20678 19848 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28988979 9856040960 11326 33554432000 1073741824 1073778376 140733948999664 139922208158632 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.96
Current children cumulated vsize (KiB) 9625040
[startup+3.10067 s]
/proc/loadavg: 2.31 2.26 2.15 3/213 20697
/proc/meminfo: memFree=30685464/32872528 swapFree=877056/942464
[pid=20678] ppid=20675 vsize=9625040 CPUtime=3.57 cores=1,3,5,7
/proc/20678/stat : 20678 (java) S 20675 20678 19848 0 -1 4202496 9152 0 1 0 354 3 0 0 20 0 19 0 28988959 9856040960 13374 33554432000 1073741824 1073778376 140733948999664 140733948990800 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20678/statm: 2406260 13374 2257 9 0 2396937 0
[pid=20678/tid=20679] ppid=20675 vsize=9625040 CPUtime=3.05 cores=1,3,5,7
/proc/20678/task/20679/stat : 20679 (java) R 20675 20678 19848 0 -1 4202560 2425 0 1 0 303 2 0 0 20 0 19 0 28988959 9856040960 13374 33554432000 1073741824 1073778376 140733948999664 139922392673968 139922265075980 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=20678/tid=20681] ppid=20675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20681/stat : 20681 (java) S 20675 20678 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28988960 9856040960 13374 33554432000 1073741824 1073778376 140733948999664 139922236148008 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20678/tid=20682] ppid=20675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20682/stat : 20682 (java) S 20675 20678 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28988960 9856040960 13374 33554432000 1073741824 1073778376 140733948999664 139922235095208 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20678/tid=20683] ppid=20675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20683/stat : 20683 (java) S 20675 20678 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28988960 9856040960 13374 33554432000 1073741824 1073778376 140733948999664 139922234042920 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20678/tid=20684] ppid=20675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20684/stat : 20684 (java) S 20675 20678 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28988960 9856040960 13374 33554432000 1073741824 1073778376 140733948999664 139922232990120 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20678/tid=20685] ppid=20675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20685/stat : 20685 (java) S 20675 20678 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28988960 9856040960 13374 33554432000 1073741824 1073778376 140733948999664 139922231937832 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20678/tid=20686] ppid=20675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20686/stat : 20686 (java) S 20675 20678 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28988960 9856040960 13374 33554432000 1073741824 1073778376 140733948999664 139922230885032 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20678/tid=20687] ppid=20675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20687/stat : 20687 (java) S 20675 20678 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28988960 9856040960 13374 33554432000 1073741824 1073778376 140733948999664 139922229832744 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20678/tid=20688] ppid=20675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20688/stat : 20688 (java) S 20675 20678 19848 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 28988960 9856040960 13374 33554432000 1073741824 1073778376 140733948999664 139922228779944 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20678/tid=20689] ppid=20675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20689/stat : 20689 (java) S 20675 20678 19848 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 28988961 9856040960 13374 33554432000 1073741824 1073778376 140733948999664 139922216581352 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20678/tid=20690] ppid=20675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20690/stat : 20690 (java) S 20675 20678 19848 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 28988962 9856040960 13374 33554432000 1073741824 1073778376 140733948999664 139922215527416 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20678/tid=20691] ppid=20675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20691/stat : 20691 (java) S 20675 20678 19848 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28988962 9856040960 13374 33554432000 1073741824 1073778376 140733948999664 139922214475016 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20678/tid=20692] ppid=20675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20692/stat : 20692 (java) S 20675 20678 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28988964 9856040960 13374 33554432000 1073741824 1073778376 140733948999664 139922213423504 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20678/tid=20693] ppid=20675 vsize=9625040 CPUtime=0.3 cores=1,3,5,7
/proc/20678/task/20693/stat : 20693 (java) S 20675 20678 19848 0 -1 4202560 3199 0 0 0 30 0 0 0 20 0 19 0 28988964 9856040960 13374 33554432000 1073741824 1073778376 140733948999664 139922212371128 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20678/tid=20694] ppid=20675 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/20678/task/20694/stat : 20694 (java) S 20675 20678 19848 0 -1 4202560 2257 0 0 0 19 0 0 0 20 0 19 0 28988964 9856040960 13374 33554432000 1073741824 1073778376 140733948999664 139922211318328 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20678/tid=20695] ppid=20675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20695/stat : 20695 (java) S 20675 20678 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28988964 9856040960 13374 33554432000 1073741824 1073778376 140733948999664 139922210266232 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20678/tid=20696] ppid=20675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20696/stat : 20696 (java) S 20675 20678 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28988964 9856040960 13374 33554432000 1073741824 1073778376 140733948999664 139922209213640 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20678/tid=20697] ppid=20675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20697/stat : 20697 (java) S 20675 20678 19848 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28988979 9856040960 13374 33554432000 1073741824 1073778376 140733948999664 139922208158632 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.57
Current children cumulated vsize (KiB) 9625040
[startup+6.3008 s]
/proc/loadavg: 2.28 2.25 2.15 3/213 20697
/proc/meminfo: memFree=30656784/32872528 swapFree=877056/942464
[pid=20678] ppid=20675 vsize=9625040 CPUtime=6.77 cores=1,3,5,7
/proc/20678/stat : 20678 (java) S 20675 20678 19848 0 -1 4202496 9160 0 1 0 674 3 0 0 20 0 19 0 28988959 9856040960 16382 33554432000 1073741824 1073778376 140733948999664 140733948990800 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20678/statm: 2406260 16382 2258 9 0 2396937 0
[pid=20678/tid=20679] ppid=20675 vsize=9625040 CPUtime=6.24 cores=1,3,5,7
/proc/20678/task/20679/stat : 20679 (java) R 20675 20678 19848 0 -1 4202560 2432 0 1 0 622 2 0 0 20 0 19 0 28988959 9856040960 16382 33554432000 1073741824 1073778376 140733948999664 139922392682576 139922265075975 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20678/tid=20681] ppid=20675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20681/stat : 20681 (java) S 20675 20678 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28988960 9856040960 16382 33554432000 1073741824 1073778376 140733948999664 139922236148008 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20678/tid=20682] ppid=20675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20682/stat : 20682 (java) S 20675 20678 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28988960 9856040960 16382 33554432000 1073741824 1073778376 140733948999664 139922235095208 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20678/tid=20683] ppid=20675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20683/stat : 20683 (java) S 20675 20678 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28988960 9856040960 16382 33554432000 1073741824 1073778376 140733948999664 139922234042920 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20678/tid=20684] ppid=20675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20684/stat : 20684 (java) S 20675 20678 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28988960 9856040960 16382 33554432000 1073741824 1073778376 140733948999664 139922232990120 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20678/tid=20685] ppid=20675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20685/stat : 20685 (java) S 20675 20678 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28988960 9856040960 16382 33554432000 1073741824 1073778376 140733948999664 139922231937832 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20678/tid=20686] ppid=20675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20686/stat : 20686 (java) S 20675 20678 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28988960 9856040960 16382 33554432000 1073741824 1073778376 140733948999664 139922230885032 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20678/tid=20687] ppid=20675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20687/stat : 20687 (java) S 20675 20678 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28988960 9856040960 16382 33554432000 1073741824 1073778376 140733948999664 139922229832744 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20678/tid=20688] ppid=20675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20688/stat : 20688 (java) S 20675 20678 19848 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 28988960 9856040960 16382 33554432000 1073741824 1073778376 140733948999664 139922228779944 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20678/tid=20689] ppid=20675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20689/stat : 20689 (java) S 20675 20678 19848 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 28988961 9856040960 16382 33554432000 1073741824 1073778376 140733948999664 139922216581352 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20678/tid=20690] ppid=20675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20690/stat : 20690 (java) S 20675 20678 19848 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 28988962 9856040960 16382 33554432000 1073741824 1073778376 140733948999664 139922215527416 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20678/tid=20691] ppid=20675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20691/stat : 20691 (java) S 20675 20678 19848 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28988962 9856040960 16382 33554432000 1073741824 1073778376 140733948999664 139922214475016 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20678/tid=20692] ppid=20675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20692/stat : 20692 (java) S 20675 20678 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28988964 9856040960 16382 33554432000 1073741824 1073778376 140733948999664 139922213423504 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20678/tid=20693] ppid=20675 vsize=9625040 CPUtime=0.3 cores=1,3,5,7
/proc/20678/task/20693/stat : 20693 (java) S 20675 20678 19848 0 -1 4202560 3199 0 0 0 30 0 0 0 20 0 19 0 28988964 9856040960 16382 33554432000 1073741824 1073778376 140733948999664 139922212371128 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20678/tid=20694] ppid=20675 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
################
# More data... #
################
[pid=20678/tid=20690] ppid=20675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20690/stat : 20690 (java) S 20675 20678 19848 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28988962 9856040960 130691 33554432000 1073741824 1073778376 140733948999664 139922215527416 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20678/tid=20691] ppid=20675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20691/stat : 20691 (java) S 20675 20678 19848 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 28988962 9856040960 130691 33554432000 1073741824 1073778376 140733948999664 139922214475016 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20678/tid=20692] ppid=20675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20692/stat : 20692 (java) S 20675 20678 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28988964 9856040960 130691 33554432000 1073741824 1073778376 140733948999664 139922213423504 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20678/tid=20693] ppid=20675 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/20678/task/20693/stat : 20693 (java) S 20675 20678 19848 0 -1 4202560 3239 0 0 0 36 0 0 0 20 0 19 0 28988964 9856040960 130691 33554432000 1073741824 1073778376 140733948999664 139922212371128 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20678/tid=20694] ppid=20675 vsize=9625040 CPUtime=0.72 cores=1,3,5,7
/proc/20678/task/20694/stat : 20694 (java) S 20675 20678 19848 0 -1 4202560 8849 0 0 0 69 3 0 0 20 0 19 0 28988964 9856040960 130691 33554432000 1073741824 1073778376 140733948999664 139922211318328 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20678/tid=20695] ppid=20675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20695/stat : 20695 (java) S 20675 20678 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28988964 9856040960 130691 33554432000 1073741824 1073778376 140733948999664 139922210266232 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20678/tid=20696] ppid=20675 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/20678/task/20696/stat : 20696 (java) S 20675 20678 19848 0 -1 4202560 38 0 0 0 4 10 0 0 20 0 19 0 28988964 9856040960 130691 33554432000 1073741824 1073778376 140733948999664 139922209213640 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20678/tid=20697] ppid=20675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20697/stat : 20697 (java) S 20675 20678 19848 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28988979 9856040960 130691 33554432000 1073741824 1073778376 140733948999664 139922208158632 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 649.58
Current children cumulated vsize (KiB) 9625040
[startup+647.601 s]
/proc/loadavg: 2.28 2.23 2.19 3/213 20906
/proc/meminfo: memFree=30029944/32872528 swapFree=877056/942464
[pid=20678] ppid=20675 vsize=9625040 CPUtime=649.98 cores=1,3,5,7
/proc/20678/stat : 20678 (java) S 20675 20678 19848 0 -1 4202496 17593 0 1 0 64945 53 0 0 20 0 19 0 28988959 9856040960 130691 33554432000 1073741824 1073778376 140733948999664 140733948990800 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20678/statm: 2406260 130691 2272 9 0 2396937 0
[pid=20678/tid=20679] ppid=20675 vsize=9625040 CPUtime=645.35 cores=1,3,5,7
/proc/20678/task/20679/stat : 20679 (java) R 20675 20678 19848 0 -1 4202560 2502 0 1 0 64524 11 0 0 20 0 19 0 28988959 9856040960 130691 33554432000 1073741824 1073778376 140733948999664 139922392673984 139922265075975 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20678/tid=20681] ppid=20675 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/20678/task/20681/stat : 20681 (java) S 20675 20678 19848 0 -1 4202560 286 0 0 0 15 6 0 0 20 0 19 0 28988960 9856040960 130691 33554432000 1073741824 1073778376 140733948999664 139922236148008 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20678/tid=20682] ppid=20675 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
/proc/20678/task/20682/stat : 20682 (java) S 20675 20678 19848 0 -1 4202560 212 0 0 0 21 6 0 0 20 0 19 0 28988960 9856040960 130691 33554432000 1073741824 1073778376 140733948999664 139922235095208 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20678/tid=20683] ppid=20675 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/20678/task/20683/stat : 20683 (java) S 20675 20678 19848 0 -1 4202560 174 0 0 0 16 5 0 0 20 0 19 0 28988960 9856040960 130691 33554432000 1073741824 1073778376 140733948999664 139922234042920 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20678/tid=20684] ppid=20675 vsize=9625040 CPUtime=0.23 cores=1,3,5,7
/proc/20678/task/20684/stat : 20684 (java) S 20675 20678 19848 0 -1 4202560 91 0 0 0 18 5 0 0 20 0 19 0 28988960 9856040960 130691 33554432000 1073741824 1073778376 140733948999664 139922232990120 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20678/tid=20685] ppid=20675 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/20678/task/20685/stat : 20685 (java) S 20675 20678 19848 0 -1 4202560 316 0 0 0 19 7 0 0 20 0 19 0 28988960 9856040960 130691 33554432000 1073741824 1073778376 140733948999664 139922231937832 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20678/tid=20686] ppid=20675 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/20678/task/20686/stat : 20686 (java) S 20675 20678 19848 0 -1 4202560 60 0 0 0 16 4 0 0 20 0 19 0 28988960 9856040960 130691 33554432000 1073741824 1073778376 140733948999664 139922230885032 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20678/tid=20687] ppid=20675 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/20678/task/20687/stat : 20687 (java) S 20675 20678 19848 0 -1 4202560 147 0 0 0 10 4 0 0 20 0 19 0 28988960 9856040960 130691 33554432000 1073741824 1073778376 140733948999664 139922229832744 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20678/tid=20688] ppid=20675 vsize=9625040 CPUtime=0.22 cores=1,3,5,7
/proc/20678/task/20688/stat : 20688 (java) S 20675 20678 19848 0 -1 4202560 328 0 0 0 17 5 0 0 20 0 19 0 28988960 9856040960 130691 33554432000 1073741824 1073778376 140733948999664 139922228779944 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20678/tid=20689] ppid=20675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20689/stat : 20689 (java) S 20675 20678 19848 0 -1 4202560 94 0 0 0 0 0 0 0 20 0 19 0 28988961 9856040960 130691 33554432000 1073741824 1073778376 140733948999664 139922216581352 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20678/tid=20690] ppid=20675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20690/stat : 20690 (java) S 20675 20678 19848 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28988962 9856040960 130691 33554432000 1073741824 1073778376 140733948999664 139922215527416 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20678/tid=20691] ppid=20675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20691/stat : 20691 (java) S 20675 20678 19848 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 28988962 9856040960 130691 33554432000 1073741824 1073778376 140733948999664 139922214475016 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20678/tid=20692] ppid=20675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20692/stat : 20692 (java) S 20675 20678 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28988964 9856040960 130691 33554432000 1073741824 1073778376 140733948999664 139922213423504 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20678/tid=20693] ppid=20675 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/20678/task/20693/stat : 20693 (java) S 20675 20678 19848 0 -1 4202560 3239 0 0 0 36 0 0 0 20 0 19 0 28988964 9856040960 130691 33554432000 1073741824 1073778376 140733948999664 139922212371128 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20678/tid=20694] ppid=20675 vsize=9625040 CPUtime=0.72 cores=1,3,5,7
/proc/20678/task/20694/stat : 20694 (java) S 20675 20678 19848 0 -1 4202560 8849 0 0 0 69 3 0 0 20 0 19 0 28988964 9856040960 130691 33554432000 1073741824 1073778376 140733948999664 139922211318328 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20678/tid=20695] ppid=20675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20695/stat : 20695 (java) S 20675 20678 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28988964 9856040960 130691 33554432000 1073741824 1073778376 140733948999664 139922210266232 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20678/tid=20696] ppid=20675 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/20678/task/20696/stat : 20696 (java) S 20675 20678 19848 0 -1 4202560 38 0 0 0 4 10 0 0 20 0 19 0 28988964 9856040960 130691 33554432000 1073741824 1073778376 140733948999664 139922209213640 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20678/tid=20697] ppid=20675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20697/stat : 20697 (java) S 20675 20678 19848 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28988979 9856040960 130691 33554432000 1073741824 1073778376 140733948999664 139922208158632 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 649.98
Current children cumulated vsize (KiB) 9625040
[startup+648.008 s]
/proc/loadavg: 2.28 2.23 2.19 3/213 20906
/proc/meminfo: memFree=30029944/32872528 swapFree=877056/942464
[pid=20678] ppid=20675 vsize=9625040 CPUtime=650.39 cores=1,3,5,7
/proc/20678/stat : 20678 (java) S 20675 20678 19848 0 -1 4202496 17593 0 1 0 64986 53 0 0 20 0 19 0 28988959 9856040960 130691 33554432000 1073741824 1073778376 140733948999664 140733948990800 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20678/statm: 2406260 130691 2272 9 0 2396937 0
[pid=20678/tid=20679] ppid=20675 vsize=9625040 CPUtime=645.76 cores=1,3,5,7
/proc/20678/task/20679/stat : 20679 (java) R 20675 20678 19848 0 -1 4202560 2502 0 1 0 64565 11 0 0 20 0 19 0 28988959 9856040960 130691 33554432000 1073741824 1073778376 140733948999664 139922392673984 139922264974227 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20678/tid=20681] ppid=20675 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/20678/task/20681/stat : 20681 (java) S 20675 20678 19848 0 -1 4202560 286 0 0 0 15 6 0 0 20 0 19 0 28988960 9856040960 130691 33554432000 1073741824 1073778376 140733948999664 139922236148008 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20678/tid=20682] ppid=20675 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
/proc/20678/task/20682/stat : 20682 (java) S 20675 20678 19848 0 -1 4202560 212 0 0 0 21 6 0 0 20 0 19 0 28988960 9856040960 130691 33554432000 1073741824 1073778376 140733948999664 139922235095208 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20678/tid=20683] ppid=20675 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/20678/task/20683/stat : 20683 (java) S 20675 20678 19848 0 -1 4202560 174 0 0 0 16 5 0 0 20 0 19 0 28988960 9856040960 130691 33554432000 1073741824 1073778376 140733948999664 139922234042920 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20678/tid=20684] ppid=20675 vsize=9625040 CPUtime=0.23 cores=1,3,5,7
/proc/20678/task/20684/stat : 20684 (java) S 20675 20678 19848 0 -1 4202560 91 0 0 0 18 5 0 0 20 0 19 0 28988960 9856040960 130691 33554432000 1073741824 1073778376 140733948999664 139922232990120 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20678/tid=20685] ppid=20675 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/20678/task/20685/stat : 20685 (java) S 20675 20678 19848 0 -1 4202560 316 0 0 0 19 7 0 0 20 0 19 0 28988960 9856040960 130691 33554432000 1073741824 1073778376 140733948999664 139922231937832 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20678/tid=20686] ppid=20675 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/20678/task/20686/stat : 20686 (java) S 20675 20678 19848 0 -1 4202560 60 0 0 0 16 4 0 0 20 0 19 0 28988960 9856040960 130691 33554432000 1073741824 1073778376 140733948999664 139922230885032 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20678/tid=20687] ppid=20675 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/20678/task/20687/stat : 20687 (java) S 20675 20678 19848 0 -1 4202560 147 0 0 0 10 4 0 0 20 0 19 0 28988960 9856040960 130691 33554432000 1073741824 1073778376 140733948999664 139922229832744 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20678/tid=20688] ppid=20675 vsize=9625040 CPUtime=0.22 cores=1,3,5,7
/proc/20678/task/20688/stat : 20688 (java) S 20675 20678 19848 0 -1 4202560 328 0 0 0 17 5 0 0 20 0 19 0 28988960 9856040960 130691 33554432000 1073741824 1073778376 140733948999664 139922228779944 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20678/tid=20689] ppid=20675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20689/stat : 20689 (java) S 20675 20678 19848 0 -1 4202560 94 0 0 0 0 0 0 0 20 0 19 0 28988961 9856040960 130691 33554432000 1073741824 1073778376 140733948999664 139922216581352 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20678/tid=20690] ppid=20675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20690/stat : 20690 (java) S 20675 20678 19848 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28988962 9856040960 130691 33554432000 1073741824 1073778376 140733948999664 139922215527416 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20678/tid=20691] ppid=20675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20691/stat : 20691 (java) S 20675 20678 19848 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 28988962 9856040960 130691 33554432000 1073741824 1073778376 140733948999664 139922214475016 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20678/tid=20692] ppid=20675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20692/stat : 20692 (java) S 20675 20678 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28988964 9856040960 130691 33554432000 1073741824 1073778376 140733948999664 139922213423504 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20678/tid=20693] ppid=20675 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/20678/task/20693/stat : 20693 (java) S 20675 20678 19848 0 -1 4202560 3239 0 0 0 36 0 0 0 20 0 19 0 28988964 9856040960 130691 33554432000 1073741824 1073778376 140733948999664 139922212371128 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20678/tid=20694] ppid=20675 vsize=9625040 CPUtime=0.72 cores=1,3,5,7
/proc/20678/task/20694/stat : 20694 (java) S 20675 20678 19848 0 -1 4202560 8849 0 0 0 69 3 0 0 20 0 19 0 28988964 9856040960 130691 33554432000 1073741824 1073778376 140733948999664 139922211318328 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20678/tid=20695] ppid=20675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20695/stat : 20695 (java) S 20675 20678 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28988964 9856040960 130691 33554432000 1073741824 1073778376 140733948999664 139922210266232 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20678/tid=20696] ppid=20675 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/20678/task/20696/stat : 20696 (java) S 20675 20678 19848 0 -1 4202560 38 0 0 0 4 10 0 0 20 0 19 0 28988964 9856040960 130691 33554432000 1073741824 1073778376 140733948999664 139922209213640 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20678/tid=20697] ppid=20675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20697/stat : 20697 (java) S 20675 20678 19848 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28988979 9856040960 130691 33554432000 1073741824 1073778376 140733948999664 139922208158632 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 650.39
Current children cumulated vsize (KiB) 9625040
[startup+648.101 s]
/proc/loadavg: 2.28 2.23 2.19 3/213 20906
/proc/meminfo: memFree=30029944/32872528 swapFree=877056/942464
[pid=20678] ppid=20675 vsize=9625040 CPUtime=650.49 cores=1,3,5,7
/proc/20678/stat : 20678 (java) S 20675 20678 19848 0 -1 4202496 17595 0 1 0 64996 53 0 0 20 0 19 0 28988959 9856040960 130051 33554432000 1073741824 1073778376 140733948999664 140733948990800 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20678/statm: 2406260 130051 2272 9 0 2396937 0
[pid=20678/tid=20679] ppid=20675 vsize=9625040 CPUtime=645.85 cores=1,3,5,7
/proc/20678/task/20679/stat : 20679 (java) R 20675 20678 19848 0 -1 4202560 2502 0 1 0 64574 11 0 0 20 0 19 0 28988959 9856040960 130051 33554432000 1073741824 1073778376 140733948999664 139922392681920 139922265167476 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=20678/tid=20681] ppid=20675 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/20678/task/20681/stat : 20681 (java) S 20675 20678 19848 0 -1 4202560 286 0 0 0 15 6 0 0 20 0 19 0 28988960 9856040960 130051 33554432000 1073741824 1073778376 140733948999664 139922236148008 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20678/tid=20682] ppid=20675 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
/proc/20678/task/20682/stat : 20682 (java) S 20675 20678 19848 0 -1 4202560 212 0 0 0 21 6 0 0 20 0 19 0 28988960 9856040960 130051 33554432000 1073741824 1073778376 140733948999664 139922235095208 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20678/tid=20683] ppid=20675 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/20678/task/20683/stat : 20683 (java) S 20675 20678 19848 0 -1 4202560 174 0 0 0 16 5 0 0 20 0 19 0 28988960 9856040960 130051 33554432000 1073741824 1073778376 140733948999664 139922234042920 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20678/tid=20684] ppid=20675 vsize=9625040 CPUtime=0.23 cores=1,3,5,7
/proc/20678/task/20684/stat : 20684 (java) S 20675 20678 19848 0 -1 4202560 91 0 0 0 18 5 0 0 20 0 19 0 28988960 9856040960 130051 33554432000 1073741824 1073778376 140733948999664 139922232990120 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20678/tid=20685] ppid=20675 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/20678/task/20685/stat : 20685 (java) S 20675 20678 19848 0 -1 4202560 316 0 0 0 19 7 0 0 20 0 19 0 28988960 9856040960 130051 33554432000 1073741824 1073778376 140733948999664 139922231937832 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20678/tid=20686] ppid=20675 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/20678/task/20686/stat : 20686 (java) S 20675 20678 19848 0 -1 4202560 60 0 0 0 16 4 0 0 20 0 19 0 28988960 9856040960 130051 33554432000 1073741824 1073778376 140733948999664 139922230885032 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20678/tid=20687] ppid=20675 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/20678/task/20687/stat : 20687 (java) S 20675 20678 19848 0 -1 4202560 147 0 0 0 10 4 0 0 20 0 19 0 28988960 9856040960 130051 33554432000 1073741824 1073778376 140733948999664 139922229832744 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20678/tid=20688] ppid=20675 vsize=9625040 CPUtime=0.22 cores=1,3,5,7
/proc/20678/task/20688/stat : 20688 (java) S 20675 20678 19848 0 -1 4202560 328 0 0 0 17 5 0 0 20 0 19 0 28988960 9856040960 130051 33554432000 1073741824 1073778376 140733948999664 139922228779944 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20678/tid=20689] ppid=20675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20689/stat : 20689 (java) S 20675 20678 19848 0 -1 4202560 94 0 0 0 0 0 0 0 20 0 19 0 28988961 9856040960 130051 33554432000 1073741824 1073778376 140733948999664 139922216581352 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20678/tid=20690] ppid=20675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20690/stat : 20690 (java) S 20675 20678 19848 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28988962 9856040960 130051 33554432000 1073741824 1073778376 140733948999664 139922215527416 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20678/tid=20691] ppid=20675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20691/stat : 20691 (java) S 20675 20678 19848 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 28988962 9856040960 130051 33554432000 1073741824 1073778376 140733948999664 139922214475016 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20678/tid=20692] ppid=20675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20692/stat : 20692 (java) S 20675 20678 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28988964 9856040960 130051 33554432000 1073741824 1073778376 140733948999664 139922213423504 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20678/tid=20693] ppid=20675 vsize=9625040 CPUtime=0.37 cores=1,3,5,7
/proc/20678/task/20693/stat : 20693 (java) S 20675 20678 19848 0 -1 4202560 3240 0 0 0 37 0 0 0 20 0 19 0 28988964 9856040960 130051 33554432000 1073741824 1073778376 140733948999664 139922212371128 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20678/tid=20694] ppid=20675 vsize=9625040 CPUtime=0.72 cores=1,3,5,7
/proc/20678/task/20694/stat : 20694 (java) S 20675 20678 19848 0 -1 4202560 8850 0 0 0 69 3 0 0 20 0 19 0 28988964 9856040960 130051 33554432000 1073741824 1073778376 140733948999664 139922211318328 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20678/tid=20695] ppid=20675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20695/stat : 20695 (java) S 20675 20678 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28988964 9856040960 130051 33554432000 1073741824 1073778376 140733948999664 139922210266232 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20678/tid=20696] ppid=20675 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/20678/task/20696/stat : 20696 (java) S 20675 20678 19848 0 -1 4202560 38 0 0 0 4 10 0 0 20 0 19 0 28988964 9856040960 130051 33554432000 1073741824 1073778376 140733948999664 139922209213640 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20678/tid=20697] ppid=20675 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/20678/task/20697/stat : 20697 (java) S 20675 20678 19848 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28988979 9856040960 130051 33554432000 1073741824 1073778376 140733948999664 139922208158632 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 650.49
Current children cumulated vsize (KiB) 9625040
Child status: 30
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 20678 and gives
# childrusage.ru_utime.tv_sec=648
# childrusage.ru_utime.tv_usec=332438
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=795879
# CPU time returned by wait4() is 649.128
# while last known CPU time is 650.49
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 648.16
CPU time (s): 650.49
CPU user time (s): 649.96
CPU system time (s): 0.53
CPU usage (%): 100.36
Max. virtual memory (cumulated for all children) (KiB): 9625040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 648.332
system time used= 0.795879
maximum resident set size= 528132
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17612
page faults= 1
swaps= 0
block input operations= 0
block output operations= 624
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14249
involuntary context switches= 2981
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.78342 second user time and 4.5853 second system time
The end