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-3459777-1307166929/watcher-3459777-1307166929 -o /tmp/evaluation-result-3459777-1307166929/solver-3459777-1307166929 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459777-1307166929.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.12 2.06 2.01 3/553 16553
/proc/meminfo: memFree=24241584/32951124 swapFree=46970528/67111528
[pid=16553] ppid=16551 vsize=13508980 CPUtime=0 cores=0,2,4,6
/proc/16553/stat : 16553 (java) S 16551 16553 16282 0 -1 4202496 1880 0 1 0 0 0 0 0 23 0 2 0 809109352 13833195520 1581 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051458021 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/16553/statm: 3377245 1595 906 9 0 3368401 0
[pid=16553/tid=16554] ppid=16551 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/16553/task/16554/stat : 16554 (java) R 16551 16553 16282 0 -1 4202560 5699 0 1 0 0 0 0 0 25 0 2 0 809109353 13850947584 6516 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212039349307 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.0389531 s]
/proc/loadavg: 2.12 2.06 2.01 3/553 16553
/proc/meminfo: memFree=24241584/32951124 swapFree=46970528/67111528
[pid=16553] ppid=16551 vsize=13547424 CPUtime=0.02 cores=0,2,4,6
/proc/16553/stat : 16553 (java) S 16551 16553 16282 0 -1 4202496 13439 0 1 0 1 1 0 0 23 0 11 0 809109352 13872562176 13137 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051458021 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/16553/statm: 3386856 13139 1592 9 0 3377604 0
[pid=16553/tid=16554] ppid=16551 vsize=13547424 CPUtime=0.02 cores=0,2,4,6
/proc/16553/task/16554/stat : 16554 (java) R 16551 16553 16282 0 -1 4202560 12318 0 1 0 1 1 0 0 25 0 11 0 809109353 13872562176 13142 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051482059 0 4 0 16784584 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 13547424
[startup+0.100863 s]
/proc/loadavg: 2.12 2.06 2.01 3/553 16553
/proc/meminfo: memFree=24241584/32951124 swapFree=46970528/67111528
[pid=16553] ppid=16551 vsize=13621308 CPUtime=0.1 cores=0,2,4,6
/proc/16553/stat : 16553 (java) S 16551 16553 16282 0 -1 4202496 15344 0 1 0 8 2 0 0 23 0 18 0 809109352 13948219392 15040 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/16553/statm: 3405327 15042 2089 9 0 3396061 0
[pid=16553/tid=16554] ppid=16551 vsize=13621308 CPUtime=0.08 cores=0,2,4,6
/proc/16553/task/16554/stat : 16554 (java) R 16551 16553 16282 0 -1 4202560 13572 0 1 0 6 2 0 0 18 0 18 0 809109353 13948219392 15042 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 47263579963397 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13621308
[startup+0.300863 s]
/proc/loadavg: 2.12 2.06 2.01 3/553 16553
/proc/meminfo: memFree=24241584/32951124 swapFree=46970528/67111528
[pid=16553] ppid=16551 vsize=13622764 CPUtime=0.46 cores=0,2,4,6
/proc/16553/stat : 16553 (java) S 16551 16553 16282 0 -1 4202496 29672 0 1 0 42 4 0 0 23 0 18 0 809109352 13949710336 29158 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/16553/statm: 3405691 29161 2200 9 0 3396425 0
[pid=16553/tid=16554] ppid=16551 vsize=13622764 CPUtime=0.28 cores=0,2,4,6
/proc/16553/task/16554/stat : 16554 (java) R 16551 16553 16282 0 -1 4202560 27018 0 1 0 24 4 0 0 18 0 18 0 809109353 13949710336 29163 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 46912505577104 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 13622764
[startup+0.700791 s]
/proc/loadavg: 2.12 2.06 2.01 3/553 16553
/proc/meminfo: memFree=24241584/32951124 swapFree=46970528/67111528
[pid=16553] ppid=16551 vsize=13622764 CPUtime=0.86 cores=0,2,4,6
/proc/16553/stat : 16553 (java) S 16551 16553 16282 0 -1 4202496 60365 0 1 0 79 7 0 0 23 0 18 0 809109352 13949710336 59851 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/16553/statm: 3405691 59853 2200 9 0 3396425 0
[pid=16553/tid=16554] ppid=16551 vsize=13622764 CPUtime=0.68 cores=0,2,4,6
/proc/16553/task/16554/stat : 16554 (java) R 16551 16553 16282 0 -1 4202560 57710 0 1 0 61 7 0 0 18 0 18 0 809109353 13949710336 59855 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 46912505577049 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.86
Current children cumulated vsize (KiB) 13622764
[startup+1.50065 s]
/proc/loadavg: 2.12 2.06 2.01 3/571 16571
/proc/meminfo: memFree=23912788/32951124 swapFree=46970528/67111528
[pid=16553] ppid=16551 vsize=13622764 CPUtime=1.66 cores=0,2,4,6
/proc/16553/stat : 16553 (java) S 16551 16553 16282 0 -1 4202496 120431 0 1 0 151 15 0 0 23 0 18 0 809109352 13949710336 119917 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/16553/statm: 3405691 119920 2200 9 0 3396425 0
[pid=16553/tid=16554] ppid=16551 vsize=13622764 CPUtime=1.48 cores=0,2,4,6
/proc/16553/task/16554/stat : 16554 (java) R 16551 16553 16282 0 -1 4202560 117776 0 1 0 134 14 0 0 19 0 18 0 809109353 13949710336 119921 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 46912505549147 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=16553/tid=16556] ppid=16551 vsize=13622764 CPUtime=0 cores=0,2,4,6
/proc/16553/task/16556/stat : 16556 (java) S 16551 16553 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 809109355 13949710336 119923 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471257 0 4 0 16800975 18446604443840233536 0 0 -1 2 0 0 0
[pid=16553/tid=16557] ppid=16551 vsize=13622764 CPUtime=0 cores=0,2,4,6
/proc/16553/task/16557/stat : 16557 (java) S 16551 16553 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 809109355 13949710336 119925 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471257 0 4 0 16800975 18446604443840233536 0 0 -1 2 0 0 0
[pid=16553/tid=16558] ppid=16551 vsize=13622764 CPUtime=0 cores=0,2,4,6
/proc/16553/task/16558/stat : 16558 (java) S 16551 16553 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 809109355 13949710336 119927 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471257 0 4 0 16800975 18446604443840233536 0 0 -1 2 0 0 0
[pid=16553/tid=16559] ppid=16551 vsize=13622764 CPUtime=0 cores=0,2,4,6
/proc/16553/task/16559/stat : 16559 (java) S 16551 16553 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 809109355 13949710336 119929 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471257 0 4 0 16800975 18446604443840233536 0 0 -1 2 0 0 0
[pid=16553/tid=16560] ppid=16551 vsize=13622764 CPUtime=0 cores=0,2,4,6
/proc/16553/task/16560/stat : 16560 (java) S 16551 16553 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 809109355 13949710336 119930 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471257 0 4 0 16800975 18446604443840233536 0 0 -1 2 0 0 0
[pid=16553/tid=16561] ppid=16551 vsize=13622764 CPUtime=0 cores=0,2,4,6
/proc/16553/task/16561/stat : 16561 (java) S 16551 16553 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 809109355 13949710336 119932 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471257 0 4 0 16800975 18446604443840233536 0 0 -1 2 0 0 0
[pid=16553/tid=16562] ppid=16551 vsize=13622764 CPUtime=0 cores=0,2,4,6
/proc/16553/task/16562/stat : 16562 (java) S 16551 16553 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 809109355 13949710336 119934 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471257 0 4 0 16800975 18446604443840233536 0 0 -1 2 0 0 0
[pid=16553/tid=16563] ppid=16551 vsize=13622764 CPUtime=0 cores=0,2,4,6
/proc/16553/task/16563/stat : 16563 (java) S 16551 16553 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 809109355 13949710336 119936 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471257 0 4 0 16800975 18446604443840233536 0 0 -1 2 0 0 0
[pid=16553/tid=16564] ppid=16551 vsize=13622764 CPUtime=0 cores=0,2,4,6
/proc/16553/task/16564/stat : 16564 (java) S 16551 16553 16282 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 809109356 13949710336 119938 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471872 0 0 0 16800975 18446604443840233536 0 0 -1 2 0 0 0
[pid=16553/tid=16565] ppid=16551 vsize=13622764 CPUtime=0 cores=0,2,4,6
/proc/16553/task/16565/stat : 16565 (java) S 16551 16553 16282 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 809109356 13949710336 119939 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471257 0 4 0 16800975 18446604443840233536 0 0 -1 2 0 0 0
[pid=16553/tid=16566] ppid=16551 vsize=13622764 CPUtime=0 cores=0,2,4,6
/proc/16553/task/16566/stat : 16566 (java) S 16551 16553 16282 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 809109356 13949710336 119941 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471257 0 4 0 16800975 18446604443840233536 0 0 -1 2 0 0 0
[pid=16553/tid=16567] ppid=16551 vsize=13622764 CPUtime=0 cores=0,2,4,6
/proc/16553/task/16567/stat : 16567 (java) S 16551 16553 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 809109358 13949710336 119943 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051478961 0 4 0 16800975 18446604443840233536 0 0 -1 2 0 0 0
[pid=16553/tid=16568] ppid=16551 vsize=13622764 CPUtime=0.09 cores=0,2,4,6
/proc/16553/task/16568/stat : 16568 (java) S 16551 16553 16282 0 -1 4202560 510 0 0 0 9 0 0 0 18 0 18 0 809109358 13949710336 119945 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471257 0 4 0 16800975 18446604443840233536 0 0 -1 0 0 0 0
[pid=16553/tid=16569] ppid=16551 vsize=13622764 CPUtime=0.07 cores=0,2,4,6
/proc/16553/task/16569/stat : 16569 (java) S 16551 16553 16282 0 -1 4202560 997 0 0 0 7 0 0 0 17 0 18 0 809109358 13949710336 119947 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471257 0 4 0 16800975 18446604443840233536 0 0 -1 6 0 0 0
[pid=16553/tid=16570] ppid=16551 vsize=13622764 CPUtime=0 cores=0,2,4,6
/proc/16553/task/16570/stat : 16570 (java) S 16551 16553 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 809109358 13949710336 119949 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471257 0 4 0 16800975 18446604443840233536 0 0 -1 2 0 0 0
[pid=16553/tid=16571] ppid=16551 vsize=13622764 CPUtime=0 cores=0,2,4,6
/proc/16553/task/16571/stat : 16571 (java) S 16551 16553 16282 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 809109358 13949710336 119950 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471872 0 4 0 16800975 18446604443840233536 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.66
Current children cumulated vsize (KiB) 13622764
[startup+3.10132 s]
/proc/loadavg: 2.12 2.06 2.01 3/571 16571
/proc/meminfo: memFree=23581832/32951124 swapFree=46970528/67111528
[pid=16553] ppid=16551 vsize=13624336 CPUtime=3.5 cores=0,2,4,6
/proc/16553/stat : 16553 (java) S 16551 16553 16282 0 -1 4202496 248553 0 1 0 322 28 0 0 23 0 18 0 809109352 13951320064 247108 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/16553/statm: 3406084 247108 2205 9 0 3396818 0
[pid=16553/tid=16554] ppid=16551 vsize=13624336 CPUtime=3.07 cores=0,2,4,6
/proc/16553/task/16554/stat : 16554 (java) R 16551 16553 16282 0 -1 4202560 243754 0 1 0 280 27 0 0 18 0 18 0 809109353 13951320064 247108 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 46912505585995 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=16553/tid=16556] ppid=16551 vsize=13624336 CPUtime=0 cores=0,2,4,6
/proc/16553/task/16556/stat : 16556 (java) S 16551 16553 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 809109355 13951320064 247108 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471257 0 4 0 16800975 18446604443840233536 0 0 -1 2 0 0 0
[pid=16553/tid=16557] ppid=16551 vsize=13624336 CPUtime=0 cores=0,2,4,6
/proc/16553/task/16557/stat : 16557 (java) S 16551 16553 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 809109355 13951320064 247108 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471257 0 4 0 16800975 18446604443840233536 0 0 -1 2 0 0 0
[pid=16553/tid=16558] ppid=16551 vsize=13624336 CPUtime=0 cores=0,2,4,6
/proc/16553/task/16558/stat : 16558 (java) S 16551 16553 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 809109355 13951320064 247108 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471257 0 4 0 16800975 18446604443840233536 0 0 -1 2 0 0 0
[pid=16553/tid=16559] ppid=16551 vsize=13624336 CPUtime=0 cores=0,2,4,6
/proc/16553/task/16559/stat : 16559 (java) S 16551 16553 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 809109355 13951320064 247108 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471257 0 4 0 16800975 18446604443840233536 0 0 -1 2 0 0 0
[pid=16553/tid=16560] ppid=16551 vsize=13624336 CPUtime=0 cores=0,2,4,6
/proc/16553/task/16560/stat : 16560 (java) S 16551 16553 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 809109355 13951320064 247108 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471257 0 4 0 16800975 18446604443840233536 0 0 -1 2 0 0 0
[pid=16553/tid=16561] ppid=16551 vsize=13624336 CPUtime=0 cores=0,2,4,6
/proc/16553/task/16561/stat : 16561 (java) S 16551 16553 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 809109355 13951320064 247108 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471257 0 4 0 16800975 18446604443840233536 0 0 -1 2 0 0 0
[pid=16553/tid=16562] ppid=16551 vsize=13624336 CPUtime=0 cores=0,2,4,6
/proc/16553/task/16562/stat : 16562 (java) S 16551 16553 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 809109355 13951320064 247108 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471257 0 4 0 16800975 18446604443840233536 0 0 -1 2 0 0 0
[pid=16553/tid=16563] ppid=16551 vsize=13624336 CPUtime=0 cores=0,2,4,6
/proc/16553/task/16563/stat : 16563 (java) S 16551 16553 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 809109355 13951320064 247108 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471257 0 4 0 16800975 18446604443840233536 0 0 -1 2 0 0 0
[pid=16553/tid=16564] ppid=16551 vsize=13624336 CPUtime=0 cores=0,2,4,6
/proc/16553/task/16564/stat : 16564 (java) S 16551 16553 16282 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 809109356 13951320064 247108 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471872 0 0 0 16800975 18446604443840233536 0 0 -1 2 0 0 0
[pid=16553/tid=16565] ppid=16551 vsize=13624336 CPUtime=0 cores=0,2,4,6
/proc/16553/task/16565/stat : 16565 (java) S 16551 16553 16282 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 809109356 13951320064 247108 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471257 0 4 0 16800975 18446604443840233536 0 0 -1 2 0 0 0
[pid=16553/tid=16566] ppid=16551 vsize=13624336 CPUtime=0 cores=0,2,4,6
/proc/16553/task/16566/stat : 16566 (java) S 16551 16553 16282 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 809109356 13951320064 247108 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471257 0 4 0 16800975 18446604443840233536 0 0 -1 2 0 0 0
[pid=16553/tid=16567] ppid=16551 vsize=13624336 CPUtime=0 cores=0,2,4,6
/proc/16553/task/16567/stat : 16567 (java) S 16551 16553 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 809109358 13951320064 247108 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051478961 0 4 0 16800975 18446604443840233536 0 0 -1 2 0 0 0
[pid=16553/tid=16568] ppid=16551 vsize=13624336 CPUtime=0.21 cores=0,2,4,6
/proc/16553/task/16568/stat : 16568 (java) S 16551 16553 16282 0 -1 4202560 976 0 0 0 21 0 0 0 16 0 18 0 809109358 13951320064 247108 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471257 0 4 0 16800975 18446604443840233536 0 0 -1 0 0 0 0
[pid=16553/tid=16569] ppid=16551 vsize=13624336 CPUtime=0.19 cores=0,2,4,6
/proc/16553/task/16569/stat : 16569 (java) S 16551 16553 16282 0 -1 4202560 2671 0 0 0 19 0 0 0 15 0 18 0 809109358 13951320064 247108 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471257 0 4 0 16800975 18446604443840233536 0 0 -1 2 0 0 0
[pid=16553/tid=16570] ppid=16551 vsize=13624336 CPUtime=0 cores=0,2,4,6
/proc/16553/task/16570/stat : 16570 (java) S 16551 16553 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 809109358 13951320064 247108 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471257 0 4 0 16800975 18446604443840233536 0 0 -1 2 0 0 0
[pid=16553/tid=16571] ppid=16551 vsize=13624336 CPUtime=0 cores=0,2,4,6
/proc/16553/task/16571/stat : 16571 (java) S 16551 16553 16282 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 809109358 13951320064 247108 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471872 0 4 0 16800975 18446604443840233536 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.5
Current children cumulated vsize (KiB) 13624336
[startup+6.30082 s]
/proc/loadavg: 2.11 2.05 2.01 3/571 16572
/proc/meminfo: memFree=22043120/32951124 swapFree=46970528/67111528
[pid=16553] ppid=16551 vsize=13624336 CPUtime=6.72 cores=0,2,4,6
/proc/16553/stat : 16553 (java) S 16551 16553 16282 0 -1 4202496 677600 0 1 0 599 73 0 0 23 0 18 0 809109352 13951320064 676121 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/16553/statm: 3406084 676125 2207 9 0 3396818 0
[pid=16553/tid=16554] ppid=16551 vsize=13624336 CPUtime=6.28 cores=0,2,4,6
/proc/16553/task/16554/stat : 16554 (java) R 16551 16553 16282 0 -1 4202560 672803 0 1 0 556 72 0 0 18 0 18 0 809109353 13951320064 676128 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 46912505574341 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=16553/tid=16556] ppid=16551 vsize=13624336 CPUtime=0 cores=0,2,4,6
/proc/16553/task/16556/stat : 16556 (java) S 16551 16553 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 809109355 13951320064 676131 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471257 0 4 0 16800975 18446604443840233536 0 0 -1 2 0 0 0
[pid=16553/tid=16557] ppid=16551 vsize=13624336 CPUtime=0 cores=0,2,4,6
/proc/16553/task/16557/stat : 16557 (java) S 16551 16553 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 809109355 13951320064 676134 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471257 0 4 0 16800975 18446604443840233536 0 0 -1 2 0 0 0
[pid=16553/tid=16558] ppid=16551 vsize=13624336 CPUtime=0 cores=0,2,4,6
/proc/16553/task/16558/stat : 16558 (java) S 16551 16553 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 809109355 13951320064 676137 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471257 0 4 0 16800975 18446604443840233536 0 0 -1 2 0 0 0
[pid=16553/tid=16559] ppid=16551 vsize=13624336 CPUtime=0 cores=0,2,4,6
/proc/16553/task/16559/stat : 16559 (java) S 16551 16553 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 809109355 13951320064 676139 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471257 0 4 0 16800975 18446604443840233536 0 0 -1 2 0 0 0
[pid=16553/tid=16560] ppid=16551 vsize=13624336 CPUtime=0 cores=0,2,4,6
/proc/16553/task/16560/stat : 16560 (java) S 16551 16553 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 809109355 13951320064 676142 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471257 0 4 0 16800975 18446604443840233536 0 0 -1 2 0 0 0
[pid=16553/tid=16561] ppid=16551 vsize=13624336 CPUtime=0 cores=0,2,4,6
/proc/16553/task/16561/stat : 16561 (java) S 16551 16553 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 809109355 13951320064 676145 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471257 0 4 0 16800975 18446604443840233536 0 0 -1 2 0 0 0
[pid=16553/tid=16562] ppid=16551 vsize=13624336 CPUtime=0 cores=0,2,4,6
/proc/16553/task/16562/stat : 16562 (java) S 16551 16553 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 809109355 13951320064 676148 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471257 0 4 0 16800975 18446604443840233536 0 0 -1 2 0 0 0
[pid=16553/tid=16563] ppid=16551 vsize=13624336 CPUtime=0 cores=0,2,4,6
/proc/16553/task/16563/stat : 16563 (java) S 16551 16553 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 809109355 13951320064 676151 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471257 0 4 0 16800975 18446604443840233536 0 0 -1 2 0 0 0
[pid=16553/tid=16564] ppid=16551 vsize=13624336 CPUtime=0 cores=0,2,4,6
/proc/16553/task/16564/stat : 16564 (java) S 16551 16553 16282 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 18 0 809109356 13951320064 676154 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471872 0 0 0 16800975 18446604443840233536 0 0 -1 2 0 0 0
[pid=16553/tid=16565] ppid=16551 vsize=13624336 CPUtime=0 cores=0,2,4,6
/proc/16553/task/16565/stat : 16565 (java) S 16551 16553 16282 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 809109356 13951320064 676157 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471257 0 4 0 16800975 18446604443840233536 0 0 -1 2 0 0 0
[pid=16553/tid=16566] ppid=16551 vsize=13624336 CPUtime=0 cores=0,2,4,6
/proc/16553/task/16566/stat : 16566 (java) S 16551 16553 16282 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 809109356 13951320064 676160 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471257 0 4 0 16800975 18446604443840233536 0 0 -1 2 0 0 0
[pid=16553/tid=16567] ppid=16551 vsize=13624336 CPUtime=0 cores=0,2,4,6
/proc/16553/task/16567/stat : 16567 (java) S 16551 16553 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 809109358 13951320064 676163 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051478961 0 4 0 16800975 18446604443840233536 0 0 -1 2 0 0 0
[pid=16553/tid=16568] ppid=16551 vsize=13624336 CPUtime=0.21 cores=0,2,4,6
/proc/16553/task/16568/stat : 16568 (java) S 16551 16553 16282 0 -1 4202560 976 0 0 0 21 0 0 0 15 0 18 0 809109358 13951320064 676165 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471257 0 4 0 16800975 18446604443840233536 0 0 -1 0 0 0 0
[pid=16553/tid=16569] ppid=16551 vsize=13624336 CPUtime=0.21 cores=0,2,4,6
/proc/16553/task/16569/stat : 16569 (java) S 16551 16553 16282 0 -1 4202560 2675 0 0 0 21 0 0 0 15 0 18 0 809109358 13951320064 676168 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471257 0 4 0 16800975 18446604443840233536 0 0 -1 2 0 0 0
[pid=16553/tid=16570] ppid=16551 vsize=13624336 CPUtime=0 cores=0,2,4,6
/proc/16553/task/16570/stat : 16570 (java) S 16551 16553 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 809109358 13951320064 676171 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471257 0 4 0 16800975 18446604443840233536 0 0 -1 2 0 0 0
[pid=16553/tid=16571] ppid=16551 vsize=13624336 CPUtime=0 cores=0,2,4,6
/proc/16553/task/16571/stat : 16571 (java) S 16551 16553 16282 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 809109358 13951320064 676174 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471872 0 4 0 16800975 18446604443840233536 0 0 -1 0 0 0 0
################
# More data... #
################
/proc/16553/task/16566/stat : 16566 (java) S 16551 16553 16282 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 809109356 13952290816 1349531 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471257 0 4 0 16800975 18446604443840233536 0 0 -1 2 0 0 0
[pid=16553/tid=16567] ppid=16551 vsize=13625284 CPUtime=0 cores=0,2,4,6
/proc/16553/task/16567/stat : 16567 (java) S 16551 16553 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 809109358 13952290816 1349531 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051478961 0 4 0 16800975 18446604443840233536 0 0 -1 2 0 0 0
[pid=16553/tid=16568] ppid=16551 vsize=13625284 CPUtime=0.67 cores=0,2,4,6
/proc/16553/task/16568/stat : 16568 (java) S 16551 16553 16282 0 -1 4202560 1368 0 0 0 67 0 0 0 15 0 19 0 809109358 13952290816 1349531 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471257 0 4 0 16800975 18446604443840233536 0 0 -1 0 0 0 0
[pid=16553/tid=16569] ppid=16551 vsize=13625284 CPUtime=0.46 cores=0,2,4,6
/proc/16553/task/16569/stat : 16569 (java) S 16551 16553 16282 0 -1 4202560 2731 0 0 0 46 0 0 0 15 0 19 0 809109358 13952290816 1349531 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471257 0 4 0 16800975 18446604443840233536 0 0 -1 2 0 0 0
[pid=16553/tid=16570] ppid=16551 vsize=13625284 CPUtime=0 cores=0,2,4,6
/proc/16553/task/16570/stat : 16570 (java) S 16551 16553 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 809109358 13952290816 1349531 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471257 0 4 0 16800975 18446604443840233536 0 0 -1 2 0 0 0
[pid=16553/tid=16571] ppid=16551 vsize=13625284 CPUtime=0 cores=0,2,4,6
/proc/16553/task/16571/stat : 16571 (java) R 16551 16553 16282 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 809109358 13952290816 1349531 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471872 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=16553/tid=16576] ppid=16551 vsize=13625284 CPUtime=0 cores=0,2,4,6
/proc/16553/task/16576/stat : 16576 (java) S 16551 16553 16282 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 809110848 13952290816 1349531 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471872 0 4 0 16800975 18446604443840233536 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1671.28
Current children cumulated vsize (KiB) 13625284
[startup+1722.3 s]
/proc/loadavg: 2.16 2.06 2.01 3/572 16681
/proc/meminfo: memFree=19158404/32951124 swapFree=46970528/67111528
[pid=16553] ppid=16551 vsize=13625284 CPUtime=1731.28 cores=0,2,4,6
/proc/16553/stat : 16553 (java) S 16551 16553 16282 0 -1 4202496 1353172 0 1 0 172965 163 0 0 23 0 19 0 809109352 13952290816 1349531 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/16553/statm: 3406321 1349531 2253 9 0 3397055 0
[pid=16553/tid=16554] ppid=16551 vsize=13625284 CPUtime=1714.97 cores=0,2,4,6
/proc/16553/task/16554/stat : 16554 (java) R 16551 16553 16282 0 -1 4202560 845578 0 1 0 171404 93 0 0 25 0 19 0 809109353 13952290816 1349531 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 46912506073157 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=16553/tid=16556] ppid=16551 vsize=13625284 CPUtime=1.18 cores=0,2,4,6
/proc/16553/task/16556/stat : 16556 (java) S 16551 16553 16282 0 -1 4202560 37393 0 0 0 113 5 0 0 16 0 19 0 809109355 13952290816 1349531 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471257 0 4 0 16800975 18446604443840233536 0 0 -1 0 0 0 0
[pid=16553/tid=16557] ppid=16551 vsize=13625284 CPUtime=1.22 cores=0,2,4,6
/proc/16553/task/16557/stat : 16557 (java) S 16551 16553 16282 0 -1 4202560 82116 0 0 0 111 11 0 0 16 0 19 0 809109355 13952290816 1349531 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471257 0 4 0 16800975 18446604443840233536 0 0 -1 6 0 0 0
[pid=16553/tid=16558] ppid=16551 vsize=13625284 CPUtime=1.52 cores=0,2,4,6
/proc/16553/task/16558/stat : 16558 (java) S 16551 16553 16282 0 -1 4202560 45053 0 0 0 147 5 0 0 16 0 19 0 809109355 13952290816 1349531 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471257 0 4 0 16800975 18446604443840233536 0 0 -1 6 0 0 0
[pid=16553/tid=16559] ppid=16551 vsize=13625284 CPUtime=1.5 cores=0,2,4,6
/proc/16553/task/16559/stat : 16559 (java) S 16551 16553 16282 0 -1 4202560 52833 0 0 0 144 6 0 0 15 0 19 0 809109355 13952290816 1349531 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471257 0 4 0 16800975 18446604443840233536 0 0 -1 0 0 0 0
[pid=16553/tid=16560] ppid=16551 vsize=13625284 CPUtime=1.5 cores=0,2,4,6
/proc/16553/task/16560/stat : 16560 (java) S 16551 16553 16282 0 -1 4202560 75267 0 0 0 136 14 0 0 16 0 19 0 809109355 13952290816 1349531 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471257 0 4 0 16800975 18446604443840233536 0 0 -1 6 0 0 0
[pid=16553/tid=16561] ppid=16551 vsize=13625284 CPUtime=1.35 cores=0,2,4,6
/proc/16553/task/16561/stat : 16561 (java) S 16551 16553 16282 0 -1 4202560 27690 0 0 0 131 4 0 0 16 0 19 0 809109355 13952290816 1349531 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471257 0 4 0 16800975 18446604443840233536 0 0 -1 6 0 0 0
[pid=16553/tid=16562] ppid=16551 vsize=13625284 CPUtime=1.11 cores=0,2,4,6
/proc/16553/task/16562/stat : 16562 (java) S 16551 16553 16282 0 -1 4202560 35296 0 0 0 106 5 0 0 16 0 19 0 809109355 13952290816 1349531 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471257 0 4 0 16800975 18446604443840233536 0 0 -1 6 0 0 0
[pid=16553/tid=16563] ppid=16551 vsize=13625284 CPUtime=1.12 cores=0,2,4,6
/proc/16553/task/16563/stat : 16563 (java) S 16551 16553 16282 0 -1 4202560 44501 0 0 0 106 6 0 0 16 0 19 0 809109355 13952290816 1349531 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471257 0 4 0 16800975 18446604443840233536 0 0 -1 0 0 0 0
[pid=16553/tid=16564] ppid=16551 vsize=13625284 CPUtime=4.55 cores=0,2,4,6
/proc/16553/task/16564/stat : 16564 (java) S 16551 16553 16282 0 -1 4202560 102092 0 0 0 447 8 0 0 15 0 19 0 809109356 13952290816 1349531 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471872 0 0 0 16800975 18446604443840233536 0 0 -1 4 0 0 0
[pid=16553/tid=16565] ppid=16551 vsize=13625284 CPUtime=0 cores=0,2,4,6
/proc/16553/task/16565/stat : 16565 (java) S 16551 16553 16282 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 809109356 13952290816 1349531 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471257 0 4 0 16800975 18446604443840233536 0 0 -1 2 0 0 0
[pid=16553/tid=16566] ppid=16551 vsize=13625284 CPUtime=0 cores=0,2,4,6
/proc/16553/task/16566/stat : 16566 (java) S 16551 16553 16282 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 809109356 13952290816 1349531 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471257 0 4 0 16800975 18446604443840233536 0 0 -1 2 0 0 0
[pid=16553/tid=16567] ppid=16551 vsize=13625284 CPUtime=0 cores=0,2,4,6
/proc/16553/task/16567/stat : 16567 (java) S 16551 16553 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 809109358 13952290816 1349531 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051478961 0 4 0 16800975 18446604443840233536 0 0 -1 2 0 0 0
[pid=16553/tid=16568] ppid=16551 vsize=13625284 CPUtime=0.67 cores=0,2,4,6
/proc/16553/task/16568/stat : 16568 (java) S 16551 16553 16282 0 -1 4202560 1368 0 0 0 67 0 0 0 15 0 19 0 809109358 13952290816 1349531 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471257 0 4 0 16800975 18446604443840233536 0 0 -1 0 0 0 0
[pid=16553/tid=16569] ppid=16551 vsize=13625284 CPUtime=0.46 cores=0,2,4,6
/proc/16553/task/16569/stat : 16569 (java) S 16551 16553 16282 0 -1 4202560 2731 0 0 0 46 0 0 0 15 0 19 0 809109358 13952290816 1349531 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471257 0 4 0 16800975 18446604443840233536 0 0 -1 2 0 0 0
[pid=16553/tid=16570] ppid=16551 vsize=13625284 CPUtime=0 cores=0,2,4,6
/proc/16553/task/16570/stat : 16570 (java) S 16551 16553 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 809109358 13952290816 1349531 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471257 0 4 0 16800975 18446604443840233536 0 0 -1 2 0 0 0
[pid=16553/tid=16571] ppid=16551 vsize=13625284 CPUtime=0 cores=0,2,4,6
/proc/16553/task/16571/stat : 16571 (java) S 16551 16553 16282 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 809109358 13952290816 1349531 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471872 0 4 0 16800975 18446604443840233536 0 0 -1 2 0 0 0
[pid=16553/tid=16576] ppid=16551 vsize=13625284 CPUtime=0 cores=0,2,4,6
/proc/16553/task/16576/stat : 16576 (java) S 16551 16553 16282 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 809110848 13952290816 1349531 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471872 0 4 0 16800975 18446604443840233536 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1731.28
Current children cumulated vsize (KiB) 13625284
[startup+1782.32 s]
/proc/loadavg: 2.06 2.05 2.01 3/572 16686
/proc/meminfo: memFree=19157932/32951124 swapFree=46970528/67111528
[pid=16553] ppid=16551 vsize=13625284 CPUtime=1791.3 cores=0,2,4,6
/proc/16553/stat : 16553 (java) S 16551 16553 16282 0 -1 4202496 1353176 0 1 0 178967 163 0 0 23 0 19 0 809109352 13952290816 1349531 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/16553/statm: 3406321 1349531 2253 9 0 3397055 0
[pid=16553/tid=16554] ppid=16551 vsize=13625284 CPUtime=1774.99 cores=0,2,4,6
/proc/16553/task/16554/stat : 16554 (java) R 16551 16553 16282 0 -1 4202560 845578 0 1 0 177406 93 0 0 25 0 19 0 809109353 13952290816 1349531 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 46912506073070 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=16553/tid=16556] ppid=16551 vsize=13625284 CPUtime=1.18 cores=0,2,4,6
/proc/16553/task/16556/stat : 16556 (java) S 16551 16553 16282 0 -1 4202560 37393 0 0 0 113 5 0 0 16 0 19 0 809109355 13952290816 1349531 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471257 0 4 0 16800975 18446604443840233536 0 0 -1 0 0 0 0
[pid=16553/tid=16557] ppid=16551 vsize=13625284 CPUtime=1.22 cores=0,2,4,6
/proc/16553/task/16557/stat : 16557 (java) S 16551 16553 16282 0 -1 4202560 82116 0 0 0 111 11 0 0 16 0 19 0 809109355 13952290816 1349531 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471257 0 4 0 16800975 18446604443840233536 0 0 -1 6 0 0 0
[pid=16553/tid=16558] ppid=16551 vsize=13625284 CPUtime=1.52 cores=0,2,4,6
/proc/16553/task/16558/stat : 16558 (java) S 16551 16553 16282 0 -1 4202560 45053 0 0 0 147 5 0 0 16 0 19 0 809109355 13952290816 1349531 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471257 0 4 0 16800975 18446604443840233536 0 0 -1 6 0 0 0
[pid=16553/tid=16559] ppid=16551 vsize=13625284 CPUtime=1.5 cores=0,2,4,6
/proc/16553/task/16559/stat : 16559 (java) S 16551 16553 16282 0 -1 4202560 52833 0 0 0 144 6 0 0 15 0 19 0 809109355 13952290816 1349531 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471257 0 4 0 16800975 18446604443840233536 0 0 -1 0 0 0 0
[pid=16553/tid=16560] ppid=16551 vsize=13625284 CPUtime=1.5 cores=0,2,4,6
/proc/16553/task/16560/stat : 16560 (java) S 16551 16553 16282 0 -1 4202560 75267 0 0 0 136 14 0 0 16 0 19 0 809109355 13952290816 1349531 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471257 0 4 0 16800975 18446604443840233536 0 0 -1 6 0 0 0
[pid=16553/tid=16561] ppid=16551 vsize=13625284 CPUtime=1.35 cores=0,2,4,6
/proc/16553/task/16561/stat : 16561 (java) S 16551 16553 16282 0 -1 4202560 27690 0 0 0 131 4 0 0 16 0 19 0 809109355 13952290816 1349531 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471257 0 4 0 16800975 18446604443840233536 0 0 -1 6 0 0 0
[pid=16553/tid=16562] ppid=16551 vsize=13625284 CPUtime=1.11 cores=0,2,4,6
/proc/16553/task/16562/stat : 16562 (java) S 16551 16553 16282 0 -1 4202560 35296 0 0 0 106 5 0 0 16 0 19 0 809109355 13952290816 1349531 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471257 0 4 0 16800975 18446604443840233536 0 0 -1 6 0 0 0
[pid=16553/tid=16563] ppid=16551 vsize=13625284 CPUtime=1.12 cores=0,2,4,6
/proc/16553/task/16563/stat : 16563 (java) S 16551 16553 16282 0 -1 4202560 44501 0 0 0 106 6 0 0 16 0 19 0 809109355 13952290816 1349531 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471257 0 4 0 16800975 18446604443840233536 0 0 -1 0 0 0 0
[pid=16553/tid=16564] ppid=16551 vsize=13625284 CPUtime=4.55 cores=0,2,4,6
/proc/16553/task/16564/stat : 16564 (java) S 16551 16553 16282 0 -1 4202560 102092 0 0 0 447 8 0 0 15 0 19 0 809109356 13952290816 1349531 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471872 0 0 0 16800975 18446604443840233536 0 0 -1 4 0 0 0
[pid=16553/tid=16565] ppid=16551 vsize=13625284 CPUtime=0 cores=0,2,4,6
/proc/16553/task/16565/stat : 16565 (java) S 16551 16553 16282 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 809109356 13952290816 1349531 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471257 0 4 0 16800975 18446604443840233536 0 0 -1 2 0 0 0
[pid=16553/tid=16566] ppid=16551 vsize=13625284 CPUtime=0 cores=0,2,4,6
/proc/16553/task/16566/stat : 16566 (java) S 16551 16553 16282 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 809109356 13952290816 1349531 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471257 0 4 0 16800975 18446604443840233536 0 0 -1 2 0 0 0
[pid=16553/tid=16567] ppid=16551 vsize=13625284 CPUtime=0 cores=0,2,4,6
/proc/16553/task/16567/stat : 16567 (java) S 16551 16553 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 809109358 13952290816 1349531 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051478961 0 4 0 16800975 18446604443840233536 0 0 -1 2 0 0 0
[pid=16553/tid=16568] ppid=16551 vsize=13625284 CPUtime=0.67 cores=0,2,4,6
/proc/16553/task/16568/stat : 16568 (java) S 16551 16553 16282 0 -1 4202560 1368 0 0 0 67 0 0 0 15 0 19 0 809109358 13952290816 1349531 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471257 0 4 0 16800975 18446604443840233536 0 0 -1 0 0 0 0
[pid=16553/tid=16569] ppid=16551 vsize=13625284 CPUtime=0.46 cores=0,2,4,6
/proc/16553/task/16569/stat : 16569 (java) S 16551 16553 16282 0 -1 4202560 2731 0 0 0 46 0 0 0 15 0 19 0 809109358 13952290816 1349531 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471257 0 4 0 16800975 18446604443840233536 0 0 -1 2 0 0 0
[pid=16553/tid=16570] ppid=16551 vsize=13625284 CPUtime=0 cores=0,2,4,6
/proc/16553/task/16570/stat : 16570 (java) S 16551 16553 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 809109358 13952290816 1349531 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471257 0 4 0 16800975 18446604443840233536 0 0 -1 2 0 0 0
[pid=16553/tid=16571] ppid=16551 vsize=13625284 CPUtime=0 cores=0,2,4,6
/proc/16553/task/16571/stat : 16571 (java) S 16551 16553 16282 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 809109358 13952290816 1349531 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471872 0 4 0 16800975 18446604443840233536 0 0 -1 2 0 0 0
[pid=16553/tid=16576] ppid=16551 vsize=13625284 CPUtime=0 cores=0,2,4,6
/proc/16553/task/16576/stat : 16576 (java) S 16551 16553 16282 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 809110848 13952290816 1349531 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471872 0 4 0 16800975 18446604443840233536 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1791.3
Current children cumulated vsize (KiB) 13625284
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1791.12 s]
/proc/loadavg: 2.05 2.05 2.01 3/572 16686
/proc/meminfo: memFree=19156888/32951124 swapFree=46970528/67111528
[pid=16553] ppid=16551 vsize=13625284 CPUtime=1800.11 cores=0,2,4,6
/proc/16553/stat : 16553 (java) S 16551 16553 16282 0 -1 4202496 1353176 0 1 0 179848 163 0 0 23 0 19 0 809109352 13952290816 1349531 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/16553/statm: 3406321 1349531 2253 9 0 3397055 0
[pid=16553/tid=16554] ppid=16551 vsize=13625284 CPUtime=1783.81 cores=0,2,4,6
/proc/16553/task/16554/stat : 16554 (java) R 16551 16553 16282 0 -1 4202560 845578 0 1 0 178288 93 0 0 25 0 19 0 809109353 13952290816 1349531 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 46912506073115 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=16553/tid=16556] ppid=16551 vsize=13625284 CPUtime=1.18 cores=0,2,4,6
/proc/16553/task/16556/stat : 16556 (java) S 16551 16553 16282 0 -1 4202560 37393 0 0 0 113 5 0 0 16 0 19 0 809109355 13952290816 1349531 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471257 0 4 0 16800975 18446604443840233536 0 0 -1 0 0 0 0
[pid=16553/tid=16557] ppid=16551 vsize=13625284 CPUtime=1.22 cores=0,2,4,6
/proc/16553/task/16557/stat : 16557 (java) S 16551 16553 16282 0 -1 4202560 82116 0 0 0 111 11 0 0 16 0 19 0 809109355 13952290816 1349531 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471257 0 4 0 16800975 18446604443840233536 0 0 -1 6 0 0 0
[pid=16553/tid=16558] ppid=16551 vsize=13625284 CPUtime=1.52 cores=0,2,4,6
/proc/16553/task/16558/stat : 16558 (java) S 16551 16553 16282 0 -1 4202560 45053 0 0 0 147 5 0 0 16 0 19 0 809109355 13952290816 1349531 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471257 0 4 0 16800975 18446604443840233536 0 0 -1 6 0 0 0
[pid=16553/tid=16559] ppid=16551 vsize=13625284 CPUtime=1.5 cores=0,2,4,6
/proc/16553/task/16559/stat : 16559 (java) S 16551 16553 16282 0 -1 4202560 52833 0 0 0 144 6 0 0 15 0 19 0 809109355 13952290816 1349531 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471257 0 4 0 16800975 18446604443840233536 0 0 -1 0 0 0 0
[pid=16553/tid=16560] ppid=16551 vsize=13625284 CPUtime=1.5 cores=0,2,4,6
/proc/16553/task/16560/stat : 16560 (java) S 16551 16553 16282 0 -1 4202560 75267 0 0 0 136 14 0 0 16 0 19 0 809109355 13952290816 1349531 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471257 0 4 0 16800975 18446604443840233536 0 0 -1 6 0 0 0
[pid=16553/tid=16561] ppid=16551 vsize=13625284 CPUtime=1.35 cores=0,2,4,6
/proc/16553/task/16561/stat : 16561 (java) S 16551 16553 16282 0 -1 4202560 27690 0 0 0 131 4 0 0 16 0 19 0 809109355 13952290816 1349531 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471257 0 4 0 16800975 18446604443840233536 0 0 -1 6 0 0 0
[pid=16553/tid=16562] ppid=16551 vsize=13625284 CPUtime=1.11 cores=0,2,4,6
/proc/16553/task/16562/stat : 16562 (java) S 16551 16553 16282 0 -1 4202560 35296 0 0 0 106 5 0 0 16 0 19 0 809109355 13952290816 1349531 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471257 0 4 0 16800975 18446604443840233536 0 0 -1 6 0 0 0
[pid=16553/tid=16563] ppid=16551 vsize=13625284 CPUtime=1.12 cores=0,2,4,6
/proc/16553/task/16563/stat : 16563 (java) S 16551 16553 16282 0 -1 4202560 44501 0 0 0 106 6 0 0 16 0 19 0 809109355 13952290816 1349531 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471257 0 4 0 16800975 18446604443840233536 0 0 -1 0 0 0 0
[pid=16553/tid=16564] ppid=16551 vsize=13625284 CPUtime=4.55 cores=0,2,4,6
/proc/16553/task/16564/stat : 16564 (java) S 16551 16553 16282 0 -1 4202560 102092 0 0 0 447 8 0 0 15 0 19 0 809109356 13952290816 1349531 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471872 0 0 0 16800975 18446604443840233536 0 0 -1 4 0 0 0
[pid=16553/tid=16565] ppid=16551 vsize=13625284 CPUtime=0 cores=0,2,4,6
/proc/16553/task/16565/stat : 16565 (java) S 16551 16553 16282 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 809109356 13952290816 1349531 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471257 0 4 0 16800975 18446604443840233536 0 0 -1 2 0 0 0
[pid=16553/tid=16566] ppid=16551 vsize=13625284 CPUtime=0 cores=0,2,4,6
/proc/16553/task/16566/stat : 16566 (java) S 16551 16553 16282 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 809109356 13952290816 1349531 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471257 0 4 0 16800975 18446604443840233536 0 0 -1 2 0 0 0
[pid=16553/tid=16567] ppid=16551 vsize=13625284 CPUtime=0 cores=0,2,4,6
/proc/16553/task/16567/stat : 16567 (java) S 16551 16553 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 809109358 13952290816 1349531 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051478961 0 4 0 16800975 18446604443840233536 0 0 -1 2 0 0 0
[pid=16553/tid=16568] ppid=16551 vsize=13625284 CPUtime=0.67 cores=0,2,4,6
/proc/16553/task/16568/stat : 16568 (java) S 16551 16553 16282 0 -1 4202560 1368 0 0 0 67 0 0 0 15 0 19 0 809109358 13952290816 1349531 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471257 0 4 0 16800975 18446604443840233536 0 0 -1 0 0 0 0
[pid=16553/tid=16569] ppid=16551 vsize=13625284 CPUtime=0.46 cores=0,2,4,6
/proc/16553/task/16569/stat : 16569 (java) S 16551 16553 16282 0 -1 4202560 2731 0 0 0 46 0 0 0 15 0 19 0 809109358 13952290816 1349531 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471257 0 4 0 16800975 18446604443840233536 0 0 -1 2 0 0 0
[pid=16553/tid=16570] ppid=16551 vsize=13625284 CPUtime=0 cores=0,2,4,6
/proc/16553/task/16570/stat : 16570 (java) S 16551 16553 16282 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 809109358 13952290816 1349531 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471257 0 4 0 16800975 18446604443840233536 0 0 -1 2 0 0 0
[pid=16553/tid=16571] ppid=16551 vsize=13625284 CPUtime=0 cores=0,2,4,6
/proc/16553/task/16571/stat : 16571 (java) S 16551 16553 16282 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 809109358 13952290816 1349531 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471872 0 4 0 16800975 18446604443840233536 0 0 -1 2 0 0 0
[pid=16553/tid=16576] ppid=16551 vsize=13625284 CPUtime=0 cores=0,2,4,6
/proc/16553/task/16576/stat : 16576 (java) S 16551 16553 16282 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 809110848 13952290816 1349531 33554432000 1073741824 1073778376 140733732097456 18446744073709551615 212051471872 0 4 0 16800975 18446604443840233536 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 13625284
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1791.3 s]
/proc/loadavg: 2.05 2.05 2.01 3/572 16686
/proc/meminfo: memFree=19156888/32951124 swapFree=46970528/67111528
[pid=16553] ppid=16551 vsize=0 CPUtime=1800.29 cores=0,2,4,6
/proc/16553/stat : 16553 (java) Z 16551 16553 16282 0 -1 4203548 1353211 0 1 0 179852 177 0 0 17 0 2 0 809109352 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/16553/statm: 0 0 0 0 0 0 0
[pid=16553/tid=16576] ppid=16551 vsize=0 CPUtime=0.14 cores=0,2,4,6
/proc/16553/task/16576/stat : 16576 (java) R 16551 16553 16282 0 -1 4203588 7 0 0 0 0 14 0 0 18 0 2 0 809110848 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.29
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1791.36
CPU time (s): 1800.36
CPU user time (s): 1798.52
CPU system time (s): 1.83072
CPU usage (%): 100.502
Max. virtual memory (cumulated for all children) (KiB): 13625928
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.52
system time used= 1.83072
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1353211
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= 36844
involuntary context switches= 4320
runsolver used 10.4564 second user time and 21.8807 second system time
The end