runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3455427-1307196633/watcher-3455427-1307196633 -o /tmp/evaluation-result-3455427-1307196633/solver-3455427-1307196633 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455427-1307196633.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.83 3.19 3.55 1/573 15159
/proc/meminfo: memFree=24828464/32950928 swapFree=67056580/67111528
[pid=15159] ppid=15157 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/15159/stat : 15159 (java) S 15157 15159 14981 0 -1 4202496 5624 0 1 0 0 0 0 0 18 0 2 0 831260397 10694979584 5328 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488497637 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/15159/statm: 2611079 5342 917 9 0 2602235 0
[pid=15159/tid=15160] ppid=15157 vsize=10446536 CPUtime=0.01 cores=1,3,5,7
/proc/15159/task/15160/stat : 15160 (java) R 15157 15159 14981 0 -1 4202560 8732 0 1 0 0 1 0 0 20 0 3 0 831260398 10697252864 9549 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488494534 0 4 0 16784584 0 0 0 -1 3 0 0 0
[pid=15159/tid=15161] ppid=15157 vsize=10447564 CPUtime=0 cores=1,3,5,7
/proc/15159/task/15161/stat : 15161 (java) S 15157 15159 14981 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 5 0 831260399 10698305536 9553 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488510873 0 4 0 16784584 18446604471093723328 0 0 -1 3 0 0 0
[pid=15159/tid=15162] ppid=15157 vsize=10448724 CPUtime=0 cores=1,3,5,7
/proc/15159/task/15162/stat : 15162 (java) S 15157 15159 14981 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 6 0 831260400 10699493376 9557 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488510873 0 4 0 16784584 18446604471093723328 0 0 -1 3 0 0 0
[pid=15159/tid=15163] ppid=15157 vsize=10449752 CPUtime=0 cores=1,3,5,7
/proc/15159/task/15163/stat : 15163 (java) S 15157 15159 14981 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 7 0 831260400 10700546048 9562 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488510873 0 4 0 16784584 18446604471093723328 0 0 -1 3 0 0 0
[pid=15159/tid=15164] ppid=15157 vsize=10450780 CPUtime=0 cores=1,3,5,7
/proc/15159/task/15164/stat : 15164 (java) S 15157 15159 14981 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 8 0 831260400 10701598720 9566 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488510873 0 4 0 16784584 18446604471093723328 0 0 -1 3 0 0 0
[pid=15159/tid=15165] ppid=15157 vsize=10451808 CPUtime=0 cores=1,3,5,7
/proc/15159/task/15165/stat : 15165 (java) S 15157 15159 14981 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 9 0 831260400 10702651392 9571 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488510873 0 4 0 16784584 18446604471093723328 0 0 -1 3 0 0 0
[pid=15159/tid=15166] ppid=15157 vsize=10452836 CPUtime=0 cores=1,3,5,7
/proc/15159/task/15166/stat : 15166 (java) S 15157 15159 14981 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 10 0 831260400 10703704064 9574 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488510873 0 4 0 16784584 18446604471093723328 0 0 -1 3 0 0 0
[pid=15159/tid=15167] ppid=15157 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/15159/task/15167/stat : 15167 (java) R 15157 15159 14981 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 10 0 831260400 10703900672 9580 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488510873 0 4 0 16784584 0 0 0 -1 3 0 0 0
[pid=15159/tid=15168] ppid=15157 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/15159/task/15168/stat : 15168 (java) R 15157 15159 14981 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 10 0 831260400 10703900672 9596 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488520885 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.076562 s]
/proc/loadavg: 1.83 3.19 3.55 1/573 15159
/proc/meminfo: memFree=24828464/32950928 swapFree=67056580/67111528
[pid=15159] ppid=15157 vsize=10473088 CPUtime=0.06 cores=1,3,5,7
/proc/15159/stat : 15159 (java) S 15157 15159 14981 0 -1 4202496 11962 0 1 0 5 1 0 0 18 0 18 0 831260397 10724442112 11660 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15159/statm: 2618272 11660 1755 9 0 2609006 0
[pid=15159/tid=15160] ppid=15157 vsize=10473088 CPUtime=0.06 cores=1,3,5,7
/proc/15159/task/15160/stat : 15160 (java) R 15157 15159 14981 0 -1 4202560 10788 0 1 0 5 1 0 0 25 0 18 0 831260398 10724442112 11660 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 47154526313299 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=15159/tid=15161] ppid=15157 vsize=10473088 CPUtime=0 cores=1,3,5,7
/proc/15159/task/15161/stat : 15161 (java) S 15157 15159 14981 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 831260399 10724442112 11661 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488510873 0 4 0 16800975 18446604471093723328 0 0 -1 3 0 0 0
[pid=15159/tid=15162] ppid=15157 vsize=10473088 CPUtime=0 cores=1,3,5,7
/proc/15159/task/15162/stat : 15162 (java) S 15157 15159 14981 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 831260400 10724442112 11661 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488510873 0 4 0 16800975 18446604471093723328 0 0 -1 1 0 0 0
[pid=15159/tid=15163] ppid=15157 vsize=10473088 CPUtime=0 cores=1,3,5,7
/proc/15159/task/15163/stat : 15163 (java) S 15157 15159 14981 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 831260400 10724442112 11662 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488510873 0 4 0 16800975 18446604471093723328 0 0 -1 7 0 0 0
[pid=15159/tid=15164] ppid=15157 vsize=10473088 CPUtime=0 cores=1,3,5,7
/proc/15159/task/15164/stat : 15164 (java) S 15157 15159 14981 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 831260400 10724442112 11662 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488510873 0 4 0 16800975 18446604471093723328 0 0 -1 1 0 0 0
[pid=15159/tid=15165] ppid=15157 vsize=10473088 CPUtime=0 cores=1,3,5,7
/proc/15159/task/15165/stat : 15165 (java) S 15157 15159 14981 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 831260400 10724442112 11664 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488510873 0 4 0 16800975 18446604471093723328 0 0 -1 5 0 0 0
[pid=15159/tid=15166] ppid=15157 vsize=10473088 CPUtime=0 cores=1,3,5,7
/proc/15159/task/15166/stat : 15166 (java) S 15157 15159 14981 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 831260400 10724442112 11664 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488510873 0 4 0 16800975 18446604471093723328 0 0 -1 5 0 0 0
[pid=15159/tid=15167] ppid=15157 vsize=10473088 CPUtime=0 cores=1,3,5,7
/proc/15159/task/15167/stat : 15167 (java) S 15157 15159 14981 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 18 0 831260400 10724442112 11665 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488510873 0 4 0 16800975 18446604471093723328 0 0 -1 5 0 0 0
[pid=15159/tid=15168] ppid=15157 vsize=10473088 CPUtime=0 cores=1,3,5,7
/proc/15159/task/15168/stat : 15168 (java) S 15157 15159 14981 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 831260400 10724442112 11665 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488510873 0 4 0 16800975 18446604471093723328 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10473088
[startup+0.10052 s]
/proc/loadavg: 1.83 3.19 3.55 1/573 15159
/proc/meminfo: memFree=24828464/32950928 swapFree=67056580/67111528
[pid=15159] ppid=15157 vsize=10540332 CPUtime=0.1 cores=1,3,5,7
/proc/15159/stat : 15159 (java) S 15157 15159 14981 0 -1 4202496 13042 0 1 0 9 1 0 0 18 0 18 0 831260397 10793299968 12740 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15159/statm: 2635083 12741 2092 9 0 2625817 0
[pid=15159/tid=15160] ppid=15157 vsize=10540332 CPUtime=0.08 cores=1,3,5,7
/proc/15159/task/15160/stat : 15160 (java) R 15157 15159 14981 0 -1 4202560 11154 0 1 0 7 1 0 0 18 0 18 0 831260398 10793299968 12741 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239476356129 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=15159/tid=15161] ppid=15157 vsize=10540332 CPUtime=0 cores=1,3,5,7
/proc/15159/task/15161/stat : 15161 (java) S 15157 15159 14981 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 831260399 10793299968 12741 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488510873 0 4 0 16800975 18446604471093723328 0 0 -1 3 0 0 0
[pid=15159/tid=15162] ppid=15157 vsize=10540332 CPUtime=0 cores=1,3,5,7
/proc/15159/task/15162/stat : 15162 (java) S 15157 15159 14981 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 831260400 10793299968 12742 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488510873 0 4 0 16800975 18446604471093723328 0 0 -1 1 0 0 0
[pid=15159/tid=15163] ppid=15157 vsize=10540332 CPUtime=0 cores=1,3,5,7
/proc/15159/task/15163/stat : 15163 (java) S 15157 15159 14981 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 831260400 10793299968 12743 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488510873 0 4 0 16800975 18446604471093723328 0 0 -1 7 0 0 0
[pid=15159/tid=15164] ppid=15157 vsize=10540332 CPUtime=0 cores=1,3,5,7
/proc/15159/task/15164/stat : 15164 (java) S 15157 15159 14981 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 831260400 10793299968 12743 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488510873 0 4 0 16800975 18446604471093723328 0 0 -1 1 0 0 0
[pid=15159/tid=15165] ppid=15157 vsize=10540332 CPUtime=0 cores=1,3,5,7
/proc/15159/task/15165/stat : 15165 (java) S 15157 15159 14981 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 831260400 10793299968 12745 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488510873 0 4 0 16800975 18446604471093723328 0 0 -1 5 0 0 0
[pid=15159/tid=15166] ppid=15157 vsize=10540332 CPUtime=0 cores=1,3,5,7
/proc/15159/task/15166/stat : 15166 (java) S 15157 15159 14981 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 831260400 10793299968 12748 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488510873 0 4 0 16800975 18446604471093723328 0 0 -1 5 0 0 0
[pid=15159/tid=15167] ppid=15157 vsize=10540332 CPUtime=0 cores=1,3,5,7
/proc/15159/task/15167/stat : 15167 (java) S 15157 15159 14981 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 18 0 831260400 10793299968 12751 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488510873 0 4 0 16800975 18446604471093723328 0 0 -1 5 0 0 0
[pid=15159/tid=15168] ppid=15157 vsize=10540332 CPUtime=0 cores=1,3,5,7
/proc/15159/task/15168/stat : 15168 (java) S 15157 15159 14981 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 831260400 10793299968 12751 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488510873 0 4 0 16800975 18446604471093723328 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540332
[startup+0.300507 s]
/proc/loadavg: 1.83 3.19 3.55 1/573 15159
/proc/meminfo: memFree=24828464/32950928 swapFree=67056580/67111528
[pid=15159] ppid=15157 vsize=10541576 CPUtime=0.45 cores=1,3,5,7
/proc/15159/stat : 15159 (java) S 15157 15159 14981 0 -1 4202496 26003 0 1 0 42 3 0 0 18 0 18 0 831260397 10794573824 25478 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15159/statm: 2635394 25481 2199 9 0 2626128 0
[pid=15159/tid=15160] ppid=15157 vsize=10541576 CPUtime=0.28 cores=1,3,5,7
/proc/15159/task/15160/stat : 15160 (java) R 15157 15159 14981 0 -1 4202560 23288 0 1 0 25 3 0 0 18 0 18 0 831260398 10794573824 25483 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 46912505549046 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=15159/tid=15161] ppid=15157 vsize=10541576 CPUtime=0 cores=1,3,5,7
/proc/15159/task/15161/stat : 15161 (java) S 15157 15159 14981 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 831260399 10794573824 25485 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488510873 0 4 0 16800975 18446604471093723328 0 0 -1 3 0 0 0
[pid=15159/tid=15162] ppid=15157 vsize=10541576 CPUtime=0 cores=1,3,5,7
/proc/15159/task/15162/stat : 15162 (java) S 15157 15159 14981 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 831260400 10794573824 25487 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488510873 0 4 0 16800975 18446604471093723328 0 0 -1 1 0 0 0
[pid=15159/tid=15163] ppid=15157 vsize=10541576 CPUtime=0 cores=1,3,5,7
/proc/15159/task/15163/stat : 15163 (java) S 15157 15159 14981 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 831260400 10794573824 25489 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488510873 0 4 0 16800975 18446604471093723328 0 0 -1 7 0 0 0
[pid=15159/tid=15164] ppid=15157 vsize=10541576 CPUtime=0 cores=1,3,5,7
/proc/15159/task/15164/stat : 15164 (java) S 15157 15159 14981 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 831260400 10794573824 25491 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488510873 0 4 0 16800975 18446604471093723328 0 0 -1 1 0 0 0
[pid=15159/tid=15165] ppid=15157 vsize=10541576 CPUtime=0 cores=1,3,5,7
/proc/15159/task/15165/stat : 15165 (java) S 15157 15159 14981 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 831260400 10794573824 25493 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488510873 0 4 0 16800975 18446604471093723328 0 0 -1 5 0 0 0
[pid=15159/tid=15166] ppid=15157 vsize=10541576 CPUtime=0 cores=1,3,5,7
/proc/15159/task/15166/stat : 15166 (java) S 15157 15159 14981 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 831260400 10794573824 25495 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488510873 0 4 0 16800975 18446604471093723328 0 0 -1 5 0 0 0
[pid=15159/tid=15167] ppid=15157 vsize=10541576 CPUtime=0 cores=1,3,5,7
/proc/15159/task/15167/stat : 15167 (java) S 15157 15159 14981 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 18 0 831260400 10794573824 25497 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488510873 0 4 0 16800975 18446604471093723328 0 0 -1 5 0 0 0
[pid=15159/tid=15168] ppid=15157 vsize=10541576 CPUtime=0 cores=1,3,5,7
/proc/15159/task/15168/stat : 15168 (java) S 15157 15159 14981 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 831260400 10794573824 25499 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488510873 0 4 0 16800975 18446604471093723328 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 10541576
[startup+0.701414 s]
/proc/loadavg: 1.83 3.19 3.55 1/573 15159
/proc/meminfo: memFree=24828464/32950928 swapFree=67056580/67111528
[pid=15159] ppid=15157 vsize=10541576 CPUtime=0.86 cores=1,3,5,7
/proc/15159/stat : 15159 (java) S 15157 15159 14981 0 -1 4202496 57783 0 1 0 78 8 0 0 18 0 18 0 831260397 10794573824 57258 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15159/statm: 2635394 57261 2199 9 0 2626128 0
[pid=15159/tid=15160] ppid=15157 vsize=10541576 CPUtime=0.68 cores=1,3,5,7
/proc/15159/task/15160/stat : 15160 (java) R 15157 15159 14981 0 -1 4202560 55067 0 1 0 61 7 0 0 18 0 18 0 831260398 10794573824 57262 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 46912505553172 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=15159/tid=15161] ppid=15157 vsize=10541576 CPUtime=0 cores=1,3,5,7
/proc/15159/task/15161/stat : 15161 (java) S 15157 15159 14981 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 831260399 10794573824 57264 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488510873 0 4 0 16800975 18446604471093723328 0 0 -1 3 0 0 0
[pid=15159/tid=15162] ppid=15157 vsize=10541576 CPUtime=0 cores=1,3,5,7
/proc/15159/task/15162/stat : 15162 (java) S 15157 15159 14981 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 831260400 10794573824 57266 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488510873 0 4 0 16800975 18446604471093723328 0 0 -1 1 0 0 0
[pid=15159/tid=15163] ppid=15157 vsize=10541576 CPUtime=0 cores=1,3,5,7
/proc/15159/task/15163/stat : 15163 (java) S 15157 15159 14981 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 831260400 10794573824 57268 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488510873 0 4 0 16800975 18446604471093723328 0 0 -1 7 0 0 0
[pid=15159/tid=15164] ppid=15157 vsize=10541576 CPUtime=0 cores=1,3,5,7
/proc/15159/task/15164/stat : 15164 (java) S 15157 15159 14981 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 831260400 10794573824 57270 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488510873 0 4 0 16800975 18446604471093723328 0 0 -1 1 0 0 0
[pid=15159/tid=15165] ppid=15157 vsize=10541576 CPUtime=0 cores=1,3,5,7
/proc/15159/task/15165/stat : 15165 (java) S 15157 15159 14981 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 831260400 10794573824 57272 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488510873 0 4 0 16800975 18446604471093723328 0 0 -1 5 0 0 0
[pid=15159/tid=15166] ppid=15157 vsize=10541576 CPUtime=0 cores=1,3,5,7
/proc/15159/task/15166/stat : 15166 (java) S 15157 15159 14981 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 831260400 10794573824 57272 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488510873 0 4 0 16800975 18446604471093723328 0 0 -1 5 0 0 0
[pid=15159/tid=15167] ppid=15157 vsize=10541576 CPUtime=0 cores=1,3,5,7
/proc/15159/task/15167/stat : 15167 (java) S 15157 15159 14981 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 18 0 831260400 10794573824 57274 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488510873 0 4 0 16800975 18446604471093723328 0 0 -1 5 0 0 0
[pid=15159/tid=15168] ppid=15157 vsize=10541576 CPUtime=0 cores=1,3,5,7
/proc/15159/task/15168/stat : 15168 (java) S 15157 15159 14981 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 831260400 10794573824 57275 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488510873 0 4 0 16800975 18446604471093723328 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.86
Current children cumulated vsize (KiB) 10541576
[startup+1.50119 s]
/proc/loadavg: 1.77 3.16 3.54 6/593 15226
/proc/meminfo: memFree=24418328/32950928 swapFree=67056580/67111528
[pid=15159] ppid=15157 vsize=10542800 CPUtime=1.99 cores=1,3,5,7
/proc/15159/stat : 15159 (java) S 15157 15159 14981 0 -1 4202496 121997 0 1 0 184 15 0 0 18 0 18 0 831260397 10795827200 120587 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15159/statm: 2635700 120587 2216 9 0 2626434 0
[pid=15159/tid=15160] ppid=15157 vsize=10542800 CPUtime=1.48 cores=1,3,5,7
/proc/15159/task/15160/stat : 15160 (java) R 15157 15159 14981 0 -1 4202560 117238 0 1 0 134 14 0 0 20 0 18 0 831260398 10795827200 120587 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 46912505164197 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=15159/tid=15161] ppid=15157 vsize=10542800 CPUtime=0 cores=1,3,5,7
/proc/15159/task/15161/stat : 15161 (java) S 15157 15159 14981 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 831260399 10795827200 120587 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488510873 0 4 0 16800975 18446604471093723328 0 0 -1 3 0 0 0
[pid=15159/tid=15162] ppid=15157 vsize=10542800 CPUtime=0 cores=1,3,5,7
/proc/15159/task/15162/stat : 15162 (java) S 15157 15159 14981 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 831260400 10795827200 120587 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488510873 0 4 0 16800975 18446604471093723328 0 0 -1 1 0 0 0
[pid=15159/tid=15163] ppid=15157 vsize=10542800 CPUtime=0 cores=1,3,5,7
/proc/15159/task/15163/stat : 15163 (java) S 15157 15159 14981 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 831260400 10795827200 120587 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488510873 0 4 0 16800975 18446604471093723328 0 0 -1 7 0 0 0
[pid=15159/tid=15164] ppid=15157 vsize=10542800 CPUtime=0 cores=1,3,5,7
/proc/15159/task/15164/stat : 15164 (java) S 15157 15159 14981 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 831260400 10795827200 120587 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488510873 0 4 0 16800975 18446604471093723328 0 0 -1 1 0 0 0
[pid=15159/tid=15165] ppid=15157 vsize=10542800 CPUtime=0 cores=1,3,5,7
/proc/15159/task/15165/stat : 15165 (java) S 15157 15159 14981 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 831260400 10795827200 120587 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488510873 0 4 0 16800975 18446604471093723328 0 0 -1 5 0 0 0
[pid=15159/tid=15166] ppid=15157 vsize=10542800 CPUtime=0 cores=1,3,5,7
/proc/15159/task/15166/stat : 15166 (java) S 15157 15159 14981 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 831260400 10795827200 120587 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488510873 0 4 0 16800975 18446604471093723328 0 0 -1 5 0 0 0
[pid=15159/tid=15167] ppid=15157 vsize=10542800 CPUtime=0 cores=1,3,5,7
/proc/15159/task/15167/stat : 15167 (java) S 15157 15159 14981 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 18 0 831260400 10795827200 120587 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488510873 0 4 0 16800975 18446604471093723328 0 0 -1 5 0 0 0
[pid=15159/tid=15168] ppid=15157 vsize=10542800 CPUtime=0 cores=1,3,5,7
/proc/15159/task/15168/stat : 15168 (java) S 15157 15159 14981 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 831260400 10795827200 120587 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488510873 0 4 0 16800975 18446604471093723328 0 0 -1 7 0 0 0
[pid=15159/tid=15170] ppid=15157 vsize=10542800 CPUtime=0 cores=1,3,5,7
/proc/15159/task/15170/stat : 15170 (java) S 15157 15159 14981 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 18 0 831260401 10795827200 120587 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488511488 0 0 0 16800975 18446604471093723328 0 0 -1 3 0 0 0
[pid=15159/tid=15171] ppid=15157 vsize=10542800 CPUtime=0 cores=1,3,5,7
/proc/15159/task/15171/stat : 15171 (java) S 15157 15159 14981 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 831260401 10795827200 120587 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488510873 0 4 0 16800975 18446604471093723328 0 0 -1 3 0 0 0
[pid=15159/tid=15172] ppid=15157 vsize=10542800 CPUtime=0 cores=1,3,5,7
/proc/15159/task/15172/stat : 15172 (java) S 15157 15159 14981 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 18 0 831260401 10795827200 120587 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488510873 0 4 0 16800975 18446604471093723328 0 0 -1 3 0 0 0
[pid=15159/tid=15173] ppid=15157 vsize=10542800 CPUtime=0 cores=1,3,5,7
/proc/15159/task/15173/stat : 15173 (java) S 15157 15159 14981 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 831260403 10795827200 120587 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488518577 0 4 0 16800975 18446604471093723328 0 0 -1 3 0 0 0
[pid=15159/tid=15174] ppid=15157 vsize=10542800 CPUtime=0.23 cores=1,3,5,7
/proc/15159/task/15174/stat : 15174 (java) S 15157 15159 14981 0 -1 4202560 2394 0 0 0 23 0 0 0 16 0 18 0 831260403 10795827200 120587 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488510873 0 4 0 16800975 18446604471093723328 0 0 -1 3 0 0 0
[pid=15159/tid=15175] ppid=15157 vsize=10542800 CPUtime=0.26 cores=1,3,5,7
/proc/15159/task/15175/stat : 15175 (java) R 15157 15159 14981 0 -1 4202560 1211 0 0 0 26 0 0 0 16 0 18 0 831260403 10795827200 120587 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 47154526307183 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=15159/tid=15176] ppid=15157 vsize=10542800 CPUtime=0 cores=1,3,5,7
/proc/15159/task/15176/stat : 15176 (java) S 15157 15159 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831260403 10795827200 120587 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488510873 0 4 0 16800975 18446604471093723328 0 0 -1 3 0 0 0
[pid=15159/tid=15177] ppid=15157 vsize=10542800 CPUtime=0 cores=1,3,5,7
/proc/15159/task/15177/stat : 15177 (java) S 15157 15159 14981 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 831260403 10795827200 120587 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488511488 0 4 0 16800975 18446604471093723328 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.99
Current children cumulated vsize (KiB) 10542800
[startup+3.10096 s]
/proc/loadavg: 1.77 3.16 3.54 2/590 15232
/proc/meminfo: memFree=24014608/32950928 swapFree=67056580/67111528
################
# More data... #
################
/proc/15159/task/15163/stat : 15163 (java) S 15157 15159 14981 0 -1 4202560 67934 0 0 0 118 9 0 0 15 0 22 0 831260400 10808029184 1212101 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488510873 0 4 0 16800975 18446604471093723328 0 0 -1 5 0 0 0
[pid=15159/tid=15164] ppid=15157 vsize=10554716 CPUtime=1.71 cores=1,3,5,7
/proc/15159/task/15164/stat : 15164 (java) S 15157 15159 14981 0 -1 4202560 85561 0 0 0 161 10 0 0 15 0 22 0 831260400 10808029184 1212101 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488510873 0 4 0 16800975 18446604471093723328 0 0 -1 5 0 0 0
[pid=15159/tid=15165] ppid=15157 vsize=10554716 CPUtime=1.69 cores=1,3,5,7
/proc/15159/task/15165/stat : 15165 (java) S 15157 15159 14981 0 -1 4202560 89713 0 0 0 158 11 0 0 16 0 22 0 831260400 10808029184 1212101 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488510873 0 4 0 16800975 18446604471093723328 0 0 -1 1 0 0 0
[pid=15159/tid=15166] ppid=15157 vsize=10554716 CPUtime=1.77 cores=1,3,5,7
/proc/15159/task/15166/stat : 15166 (java) S 15157 15159 14981 0 -1 4202560 87347 0 0 0 166 11 0 0 15 0 22 0 831260400 10808029184 1212101 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488510873 0 4 0 16800975 18446604471093723328 0 0 -1 5 0 0 0
[pid=15159/tid=15167] ppid=15157 vsize=10554716 CPUtime=1.28 cores=1,3,5,7
/proc/15159/task/15167/stat : 15167 (java) S 15157 15159 14981 0 -1 4202560 44978 0 0 0 121 7 0 0 15 0 22 0 831260400 10808029184 1212101 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488510873 0 4 0 16800975 18446604471093723328 0 0 -1 1 0 0 0
[pid=15159/tid=15168] ppid=15157 vsize=10554716 CPUtime=1.04 cores=1,3,5,7
/proc/15159/task/15168/stat : 15168 (java) S 15157 15159 14981 0 -1 4202560 35447 0 0 0 100 4 0 0 16 0 22 0 831260400 10808029184 1212101 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488510873 0 4 0 16800975 18446604471093723328 0 0 -1 7 0 0 0
[pid=15159/tid=15170] ppid=15157 vsize=10554716 CPUtime=1.06 cores=1,3,5,7
/proc/15159/task/15170/stat : 15170 (java) S 15157 15159 14981 0 -1 4202560 5903 0 0 0 105 1 0 0 15 0 22 0 831260401 10808029184 1212101 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488511488 0 0 0 16800975 18446604471093723328 0 0 -1 3 0 0 0
[pid=15159/tid=15171] ppid=15157 vsize=10554716 CPUtime=0 cores=1,3,5,7
/proc/15159/task/15171/stat : 15171 (java) S 15157 15159 14981 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831260401 10808029184 1212101 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488510873 0 4 0 16800975 18446604471093723328 0 0 -1 3 0 0 0
[pid=15159/tid=15172] ppid=15157 vsize=10554716 CPUtime=0 cores=1,3,5,7
/proc/15159/task/15172/stat : 15172 (java) S 15157 15159 14981 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 831260401 10808029184 1212101 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488510873 0 4 0 16800975 18446604471093723328 0 0 -1 3 0 0 0
[pid=15159/tid=15173] ppid=15157 vsize=10554716 CPUtime=0 cores=1,3,5,7
/proc/15159/task/15173/stat : 15173 (java) S 15157 15159 14981 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 831260403 10808029184 1212101 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488518577 0 4 0 16800975 18446604471093723328 0 0 -1 3 0 0 0
[pid=15159/tid=15174] ppid=15157 vsize=10554716 CPUtime=0.95 cores=1,3,5,7
/proc/15159/task/15174/stat : 15174 (java) S 15157 15159 14981 0 -1 4202560 2676 0 0 0 95 0 0 0 15 0 22 0 831260403 10808029184 1212101 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488510873 0 4 0 16800975 18446604471093723328 0 0 -1 3 0 0 0
[pid=15159/tid=15175] ppid=15157 vsize=10554716 CPUtime=1.01 cores=1,3,5,7
/proc/15159/task/15175/stat : 15175 (java) S 15157 15159 14981 0 -1 4202560 4166 0 0 0 101 0 0 0 15 0 22 0 831260403 10808029184 1212101 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488510873 0 4 0 16800975 18446604471093723328 0 0 -1 5 0 0 0
[pid=15159/tid=15176] ppid=15157 vsize=10554716 CPUtime=0 cores=1,3,5,7
/proc/15159/task/15176/stat : 15176 (java) S 15157 15159 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831260403 10808029184 1212101 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488510873 0 4 0 16800975 18446604471093723328 0 0 -1 3 0 0 0
[pid=15159/tid=15177] ppid=15157 vsize=10554716 CPUtime=0 cores=1,3,5,7
/proc/15159/task/15177/stat : 15177 (java) S 15157 15159 14981 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 22 0 831260403 10808029184 1212101 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488511488 0 4 0 16800975 18446604471093723328 0 0 -1 1 0 0 0
[pid=15159/tid=15297] ppid=15157 vsize=10554716 CPUtime=812.04 cores=1,3,5,7
/proc/15159/task/15297/stat : 15297 (java) R 15157 15159 14981 0 -1 4202560 57 0 0 0 81204 0 0 0 25 0 22 0 831261042 10808029184 1212101 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 46912505785184 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=15159/tid=15298] ppid=15157 vsize=10554716 CPUtime=811.96 cores=1,3,5,7
/proc/15159/task/15298/stat : 15298 (java) R 15157 15159 14981 0 -1 4202560 1423 0 0 0 81196 0 0 0 25 0 22 0 831261042 10808029184 1212101 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 46912506328719 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=15159/tid=15302] ppid=15157 vsize=10554716 CPUtime=0 cores=1,3,5,7
/proc/15159/task/15302/stat : 15302 (java) S 15157 15159 14981 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 831261063 10808029184 1212101 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488511488 0 4 0 16800975 18446604471093723328 0 0 -1 3 0 0 0
[pid=15159/tid=15303] ppid=15157 vsize=10554716 CPUtime=0 cores=1,3,5,7
/proc/15159/task/15303/stat : 15303 (java) S 15157 15159 14981 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 831261063 10808029184 1212101 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488511488 0 4 0 16800975 18446604471093723328 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1644.81
Current children cumulated vsize (KiB) 10554716
[startup+882.302 s]
/proc/loadavg: 4.00 3.96 3.77 5/597 16737
/proc/meminfo: memFree=16177948/32950928 swapFree=67056580/67111528
[pid=15159] ppid=15157 vsize=10554716 CPUtime=1764.9 cores=1,3,5,7
/proc/15159/stat : 15159 (java) S 15157 15159 14981 0 -1 4202496 1226789 0 1 0 176336 154 0 0 18 0 22 0 831260397 10808029184 1215915 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15159/statm: 2638679 1215915 2256 9 0 2629413 0
[pid=15159/tid=15160] ppid=15157 vsize=10554716 CPUtime=6.07 cores=1,3,5,7
/proc/15159/task/15160/stat : 15160 (java) S 15157 15159 14981 0 -1 4202560 649727 0 1 0 533 74 0 0 15 0 22 0 831260398 10808029184 1215915 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488511488 0 4 0 16800975 18446604471093723328 0 0 -1 5 0 0 0
[pid=15159/tid=15161] ppid=15157 vsize=10554716 CPUtime=1.78 cores=1,3,5,7
/proc/15159/task/15161/stat : 15161 (java) S 15157 15159 14981 0 -1 4202560 90931 0 0 0 166 12 0 0 15 0 22 0 831260399 10808029184 1215915 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488510873 0 4 0 16800975 18446604471093723328 0 0 -1 1 0 0 0
[pid=15159/tid=15162] ppid=15157 vsize=10554716 CPUtime=1.11 cores=1,3,5,7
/proc/15159/task/15162/stat : 15162 (java) S 15157 15159 14981 0 -1 4202560 56806 0 0 0 104 7 0 0 15 0 22 0 831260400 10808029184 1215915 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488510873 0 4 0 16800975 18446604471093723328 0 0 -1 7 0 0 0
[pid=15159/tid=15163] ppid=15157 vsize=10554716 CPUtime=1.32 cores=1,3,5,7
/proc/15159/task/15163/stat : 15163 (java) S 15157 15159 14981 0 -1 4202560 67935 0 0 0 123 9 0 0 16 0 22 0 831260400 10808029184 1215915 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488510873 0 4 0 16800975 18446604471093723328 0 0 -1 1 0 0 0
[pid=15159/tid=15164] ppid=15157 vsize=10554716 CPUtime=1.75 cores=1,3,5,7
/proc/15159/task/15164/stat : 15164 (java) S 15157 15159 14981 0 -1 4202560 86115 0 0 0 165 10 0 0 16 0 22 0 831260400 10808029184 1215915 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488510873 0 4 0 16800975 18446604471093723328 0 0 -1 7 0 0 0
[pid=15159/tid=15165] ppid=15157 vsize=10554716 CPUtime=1.69 cores=1,3,5,7
/proc/15159/task/15165/stat : 15165 (java) S 15157 15159 14981 0 -1 4202560 89713 0 0 0 158 11 0 0 15 0 22 0 831260400 10808029184 1215915 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488510873 0 4 0 16800975 18446604471093723328 0 0 -1 1 0 0 0
[pid=15159/tid=15166] ppid=15157 vsize=10554716 CPUtime=1.79 cores=1,3,5,7
/proc/15159/task/15166/stat : 15166 (java) S 15157 15159 14981 0 -1 4202560 87347 0 0 0 168 11 0 0 15 0 22 0 831260400 10808029184 1215915 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488510873 0 4 0 16800975 18446604471093723328 0 0 -1 1 0 0 0
[pid=15159/tid=15167] ppid=15157 vsize=10554716 CPUtime=1.33 cores=1,3,5,7
/proc/15159/task/15167/stat : 15167 (java) S 15157 15159 14981 0 -1 4202560 46616 0 0 0 126 7 0 0 16 0 22 0 831260400 10808029184 1215915 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488510873 0 4 0 16800975 18446604471093723328 0 0 -1 5 0 0 0
[pid=15159/tid=15168] ppid=15157 vsize=10554716 CPUtime=1.08 cores=1,3,5,7
/proc/15159/task/15168/stat : 15168 (java) S 15157 15159 14981 0 -1 4202560 36159 0 0 0 104 4 0 0 16 0 22 0 831260400 10808029184 1215915 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488510873 0 4 0 16800975 18446604471093723328 0 0 -1 1 0 0 0
[pid=15159/tid=15170] ppid=15157 vsize=10554716 CPUtime=1.06 cores=1,3,5,7
/proc/15159/task/15170/stat : 15170 (java) S 15157 15159 14981 0 -1 4202560 5907 0 0 0 105 1 0 0 15 0 22 0 831260401 10808029184 1215915 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488511488 0 0 0 16800975 18446604471093723328 0 0 -1 3 0 0 0
[pid=15159/tid=15171] ppid=15157 vsize=10554716 CPUtime=0 cores=1,3,5,7
/proc/15159/task/15171/stat : 15171 (java) S 15157 15159 14981 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831260401 10808029184 1215915 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488510873 0 4 0 16800975 18446604471093723328 0 0 -1 3 0 0 0
[pid=15159/tid=15172] ppid=15157 vsize=10554716 CPUtime=0 cores=1,3,5,7
/proc/15159/task/15172/stat : 15172 (java) S 15157 15159 14981 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 831260401 10808029184 1215915 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488510873 0 4 0 16800975 18446604471093723328 0 0 -1 3 0 0 0
[pid=15159/tid=15173] ppid=15157 vsize=10554716 CPUtime=0 cores=1,3,5,7
/proc/15159/task/15173/stat : 15173 (java) S 15157 15159 14981 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 831260403 10808029184 1215915 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488518577 0 4 0 16800975 18446604471093723328 0 0 -1 3 0 0 0
[pid=15159/tid=15174] ppid=15157 vsize=10554716 CPUtime=0.95 cores=1,3,5,7
/proc/15159/task/15174/stat : 15174 (java) S 15157 15159 14981 0 -1 4202560 2676 0 0 0 95 0 0 0 15 0 22 0 831260403 10808029184 1215915 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488510873 0 4 0 16800975 18446604471093723328 0 0 -1 3 0 0 0
[pid=15159/tid=15175] ppid=15157 vsize=10554716 CPUtime=1.01 cores=1,3,5,7
/proc/15159/task/15175/stat : 15175 (java) S 15157 15159 14981 0 -1 4202560 4166 0 0 0 101 0 0 0 15 0 22 0 831260403 10808029184 1215915 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488510873 0 4 0 16800975 18446604471093723328 0 0 -1 5 0 0 0
[pid=15159/tid=15176] ppid=15157 vsize=10554716 CPUtime=0 cores=1,3,5,7
/proc/15159/task/15176/stat : 15176 (java) S 15157 15159 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831260403 10808029184 1215915 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488510873 0 4 0 16800975 18446604471093723328 0 0 -1 3 0 0 0
[pid=15159/tid=15177] ppid=15157 vsize=10554716 CPUtime=0 cores=1,3,5,7
/proc/15159/task/15177/stat : 15177 (java) S 15157 15159 14981 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 22 0 831260403 10808029184 1215915 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488511488 0 4 0 16800975 18446604471093723328 0 0 -1 1 0 0 0
[pid=15159/tid=15297] ppid=15157 vsize=10554716 CPUtime=871.95 cores=1,3,5,7
/proc/15159/task/15297/stat : 15297 (java) R 15157 15159 14981 0 -1 4202560 58 0 0 0 87195 0 0 0 25 0 22 0 831261042 10808029184 1215915 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 46912506020780 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=15159/tid=15298] ppid=15157 vsize=10554716 CPUtime=871.87 cores=1,3,5,7
/proc/15159/task/15298/stat : 15298 (java) R 15157 15159 14981 0 -1 4202560 1426 0 0 0 87187 0 0 0 25 0 22 0 831261042 10808029184 1215915 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 46912506324512 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=15159/tid=15302] ppid=15157 vsize=10554716 CPUtime=0 cores=1,3,5,7
/proc/15159/task/15302/stat : 15302 (java) S 15157 15159 14981 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 831261063 10808029184 1215915 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488511488 0 4 0 16800975 18446604471093723328 0 0 -1 3 0 0 0
[pid=15159/tid=15303] ppid=15157 vsize=10554716 CPUtime=0 cores=1,3,5,7
/proc/15159/task/15303/stat : 15303 (java) S 15157 15159 14981 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 831261063 10808029184 1215915 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488511488 0 4 0 16800975 18446604471093723328 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1764.9
Current children cumulated vsize (KiB) 10554716
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+899.901 s]
/proc/loadavg: 4.00 3.96 3.78 5/597 16738
/proc/meminfo: memFree=16165400/32950928 swapFree=67056580/67111528
[pid=15159] ppid=15157 vsize=10554716 CPUtime=1800.15 cores=1,3,5,7
/proc/15159/stat : 15159 (java) S 15157 15159 14981 0 -1 4202496 1228935 0 1 0 179861 154 0 0 18 0 22 0 831260397 10808029184 1218059 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15159/statm: 2638679 1218059 2256 9 0 2629413 0
[pid=15159/tid=15160] ppid=15157 vsize=10554716 CPUtime=6.07 cores=1,3,5,7
/proc/15159/task/15160/stat : 15160 (java) S 15157 15159 14981 0 -1 4202560 649727 0 1 0 533 74 0 0 15 0 22 0 831260398 10808029184 1218059 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488511488 0 4 0 16800975 18446604471093723328 0 0 -1 5 0 0 0
[pid=15159/tid=15161] ppid=15157 vsize=10554716 CPUtime=1.78 cores=1,3,5,7
/proc/15159/task/15161/stat : 15161 (java) S 15157 15159 14981 0 -1 4202560 90931 0 0 0 166 12 0 0 15 0 22 0 831260399 10808029184 1218059 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488510873 0 4 0 16800975 18446604471093723328 0 0 -1 1 0 0 0
[pid=15159/tid=15162] ppid=15157 vsize=10554716 CPUtime=1.11 cores=1,3,5,7
/proc/15159/task/15162/stat : 15162 (java) S 15157 15159 14981 0 -1 4202560 56806 0 0 0 104 7 0 0 15 0 22 0 831260400 10808029184 1218059 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488510873 0 4 0 16800975 18446604471093723328 0 0 -1 7 0 0 0
[pid=15159/tid=15163] ppid=15157 vsize=10554716 CPUtime=1.34 cores=1,3,5,7
/proc/15159/task/15163/stat : 15163 (java) S 15157 15159 14981 0 -1 4202560 68370 0 0 0 125 9 0 0 16 0 22 0 831260400 10808029184 1218059 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488510873 0 4 0 16800975 18446604471093723328 0 0 -1 7 0 0 0
[pid=15159/tid=15164] ppid=15157 vsize=10554716 CPUtime=1.75 cores=1,3,5,7
/proc/15159/task/15164/stat : 15164 (java) S 15157 15159 14981 0 -1 4202560 86115 0 0 0 165 10 0 0 16 0 22 0 831260400 10808029184 1218059 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488510873 0 4 0 16800975 18446604471093723328 0 0 -1 7 0 0 0
[pid=15159/tid=15165] ppid=15157 vsize=10554716 CPUtime=1.72 cores=1,3,5,7
/proc/15159/task/15165/stat : 15165 (java) S 15157 15159 14981 0 -1 4202560 91009 0 0 0 161 11 0 0 16 0 22 0 831260400 10808029184 1218059 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488510873 0 4 0 16800975 18446604471093723328 0 0 -1 1 0 0 0
[pid=15159/tid=15166] ppid=15157 vsize=10554716 CPUtime=1.79 cores=1,3,5,7
/proc/15159/task/15166/stat : 15166 (java) S 15157 15159 14981 0 -1 4202560 87347 0 0 0 168 11 0 0 15 0 22 0 831260400 10808029184 1218059 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488510873 0 4 0 16800975 18446604471093723328 0 0 -1 1 0 0 0
[pid=15159/tid=15167] ppid=15157 vsize=10554716 CPUtime=1.36 cores=1,3,5,7
/proc/15159/task/15167/stat : 15167 (java) S 15157 15159 14981 0 -1 4202560 47030 0 0 0 129 7 0 0 16 0 22 0 831260400 10808029184 1218059 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488510873 0 4 0 16800975 18446604471093723328 0 0 -1 5 0 0 0
[pid=15159/tid=15168] ppid=15157 vsize=10554716 CPUtime=1.08 cores=1,3,5,7
/proc/15159/task/15168/stat : 15168 (java) S 15157 15159 14981 0 -1 4202560 36159 0 0 0 104 4 0 0 15 0 22 0 831260400 10808029184 1218059 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488510873 0 4 0 16800975 18446604471093723328 0 0 -1 1 0 0 0
[pid=15159/tid=15170] ppid=15157 vsize=10554716 CPUtime=1.06 cores=1,3,5,7
/proc/15159/task/15170/stat : 15170 (java) S 15157 15159 14981 0 -1 4202560 5907 0 0 0 105 1 0 0 15 0 22 0 831260401 10808029184 1218059 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488511488 0 0 0 16800975 18446604471093723328 0 0 -1 3 0 0 0
[pid=15159/tid=15171] ppid=15157 vsize=10554716 CPUtime=0 cores=1,3,5,7
/proc/15159/task/15171/stat : 15171 (java) S 15157 15159 14981 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831260401 10808029184 1218059 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488510873 0 4 0 16800975 18446604471093723328 0 0 -1 3 0 0 0
[pid=15159/tid=15172] ppid=15157 vsize=10554716 CPUtime=0 cores=1,3,5,7
/proc/15159/task/15172/stat : 15172 (java) S 15157 15159 14981 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 831260401 10808029184 1218059 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488510873 0 4 0 16800975 18446604471093723328 0 0 -1 3 0 0 0
[pid=15159/tid=15173] ppid=15157 vsize=10554716 CPUtime=0 cores=1,3,5,7
/proc/15159/task/15173/stat : 15173 (java) S 15157 15159 14981 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 831260403 10808029184 1218059 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488518577 0 4 0 16800975 18446604471093723328 0 0 -1 3 0 0 0
[pid=15159/tid=15174] ppid=15157 vsize=10554716 CPUtime=0.95 cores=1,3,5,7
/proc/15159/task/15174/stat : 15174 (java) S 15157 15159 14981 0 -1 4202560 2676 0 0 0 95 0 0 0 15 0 22 0 831260403 10808029184 1218059 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488510873 0 4 0 16800975 18446604471093723328 0 0 -1 3 0 0 0
[pid=15159/tid=15175] ppid=15157 vsize=10554716 CPUtime=1.01 cores=1,3,5,7
/proc/15159/task/15175/stat : 15175 (java) S 15157 15159 14981 0 -1 4202560 4166 0 0 0 101 0 0 0 15 0 22 0 831260403 10808029184 1218059 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488510873 0 4 0 16800975 18446604471093723328 0 0 -1 5 0 0 0
[pid=15159/tid=15176] ppid=15157 vsize=10554716 CPUtime=0 cores=1,3,5,7
/proc/15159/task/15176/stat : 15176 (java) S 15157 15159 14981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831260403 10808029184 1218059 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488510873 0 4 0 16800975 18446604471093723328 0 0 -1 3 0 0 0
[pid=15159/tid=15177] ppid=15157 vsize=10554716 CPUtime=0 cores=1,3,5,7
/proc/15159/task/15177/stat : 15177 (java) S 15157 15159 14981 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 22 0 831260403 10808029184 1218059 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488511488 0 4 0 16800975 18446604471093723328 0 0 -1 1 0 0 0
[pid=15159/tid=15297] ppid=15157 vsize=10554716 CPUtime=889.55 cores=1,3,5,7
/proc/15159/task/15297/stat : 15297 (java) R 15157 15159 14981 0 -1 4202560 59 0 0 0 88955 0 0 0 25 0 22 0 831261042 10808029184 1218059 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 46912506020807 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=15159/tid=15298] ppid=15157 vsize=10554716 CPUtime=889.47 cores=1,3,5,7
/proc/15159/task/15298/stat : 15298 (java) R 15157 15159 14981 0 -1 4202560 1426 0 0 0 88947 0 0 0 25 0 22 0 831261042 10808029184 1218059 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 46912506115308 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=15159/tid=15302] ppid=15157 vsize=10554716 CPUtime=0 cores=1,3,5,7
/proc/15159/task/15302/stat : 15302 (java) S 15157 15159 14981 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 831261063 10808029184 1218059 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488511488 0 4 0 16800975 18446604471093723328 0 0 -1 3 0 0 0
[pid=15159/tid=15303] ppid=15157 vsize=10554716 CPUtime=0 cores=1,3,5,7
/proc/15159/task/15303/stat : 15303 (java) S 15157 15159 14981 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 831261063 10808029184 1218059 33554432000 1073741824 1073778376 140734109018752 18446744073709551615 239488511488 0 4 0 16800975 18446604471093723328 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 10554716
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+900.031 s]
/proc/loadavg: 4.00 3.96 3.78 5/597 16738
/proc/meminfo: memFree=16165400/32950928 swapFree=67056580/67111528
[pid=15159] ppid=15157 vsize=0 CPUtime=1800.29 cores=1,3,5,7
/proc/15159/stat : 15159 (java) Z 15157 15159 14981 0 -1 4203548 1228963 0 1 0 179865 164 0 0 17 0 2 0 831260397 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15159/statm: 0 0 0 0 0 0 0
[pid=15159/tid=15164] ppid=15157 vsize=0 CPUtime=1.85 cores=1,3,5,7
/proc/15159/task/15164/stat : 15164 (java) R 15157 15159 14981 0 -1 4203588 86115 0 0 0 165 20 0 0 15 0 2 0 831260400 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.29
Current children cumulated vsize (KiB) 0
[startup+900.101 s]
/proc/loadavg: 4.00 3.96 3.78 5/597 16738
/proc/meminfo: memFree=16165400/32950928 swapFree=67056580/67111528
[pid=15159] ppid=15157 vsize=0 CPUtime=1800.36 cores=1,3,5,7
/proc/15159/stat : 15159 (java) Z 15157 15159 14981 0 -1 4203548 1228963 0 1 0 179865 171 0 0 17 0 2 0 831260397 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15159/statm: 0 0 0 0 0 0 0
[pid=15159/tid=15164] ppid=15157 vsize=0 CPUtime=1.92 cores=1,3,5,7
/proc/15159/task/15164/stat : 15164 (java) R 15157 15159 14981 0 -1 4203588 86115 0 0 0 165 27 0 0 16 0 2 0 831260400 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.36
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 900.116
CPU time (s): 1800.39
CPU user time (s): 1798.66
CPU system time (s): 1.72974
CPU usage (%): 200.017
Max. virtual memory (cumulated for all children) (KiB): 10576384
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.66
system time used= 1.72974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1228963
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= 22482
involuntary context switches= 12577
runsolver used 4.86026 second user time and 12.0362 second system time
The end