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-3458577-1307149966/watcher-3458577-1307149966 -o /tmp/evaluation-result-3458577-1307149966/solver-3458577-1307149966 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458577-1307149966.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.09 2.06 2.01 1/435 7478
/proc/meminfo: memFree=24712840/32951124 swapFree=50923800/67111528
[pid=7478] ppid=7476 vsize=26088 CPUtime=0 cores=0,2,4,6
/proc/7478/stat : 7478 (java) S 7476 7478 5628 0 -1 4202496 1167 0 0 0 0 0 0 0 25 0 2 0 807412271 26714112 896 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350186469 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/7478/statm: 6522 897 682 9 0 381 0
[pid=7478/tid=7479] ppid=7476 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/7478/task/7479/stat : 7479 (java) R 7476 7478 5628 0 -1 4202560 2925 0 1 0 0 0 0 0 25 0 2 0 807412272 13850947584 3741 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270338077755 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.0963899 s]
/proc/loadavg: 2.09 2.06 2.01 1/435 7478
/proc/meminfo: memFree=24712840/32951124 swapFree=50923800/67111528
[pid=7478] ppid=7476 vsize=13556940 CPUtime=0.08 cores=0,2,4,6
/proc/7478/stat : 7478 (java) S 7476 7478 5628 0 -1 4202496 15326 0 1 0 6 2 0 0 25 0 18 0 807412271 13882306560 15023 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7478/statm: 3389235 15024 2082 9 0 3379969 0
[pid=7478/tid=7479] ppid=7476 vsize=13556940 CPUtime=0.07 cores=0,2,4,6
/proc/7478/task/7479/stat : 7479 (java) R 7476 7478 5628 0 -1 4202560 13429 0 1 0 5 2 0 0 25 0 18 0 807412272 13882306560 15024 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 47819968768851 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 13556940
[startup+0.101755 s]
/proc/loadavg: 2.09 2.06 2.01 1/435 7478
/proc/meminfo: memFree=24712840/32951124 swapFree=50923800/67111528
[pid=7478] ppid=7476 vsize=13556940 CPUtime=0.09 cores=0,2,4,6
/proc/7478/stat : 7478 (java) S 7476 7478 5628 0 -1 4202496 15397 0 1 0 7 2 0 0 25 0 18 0 807412271 13882306560 15094 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7478/statm: 3389235 15096 2092 9 0 3379969 0
[pid=7478/tid=7479] ppid=7476 vsize=13556940 CPUtime=0.08 cores=0,2,4,6
/proc/7478/task/7479/stat : 7479 (java) R 7476 7478 5628 0 -1 4202560 13489 0 1 0 6 2 0 0 25 0 18 0 807412272 13882306560 15096 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350210507 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13556940
[startup+0.300771 s]
/proc/loadavg: 2.09 2.06 2.01 1/435 7478
/proc/meminfo: memFree=24712840/32951124 swapFree=50923800/67111528
[pid=7478] ppid=7476 vsize=13635788 CPUtime=0.48 cores=0,2,4,6
/proc/7478/stat : 7478 (java) S 7476 7478 5628 0 -1 4202496 20983 0 1 0 45 3 0 0 25 0 18 0 807412271 13963046912 19379 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7478/statm: 3408947 19379 2189 9 0 3399681 0
[pid=7478/tid=7479] ppid=7476 vsize=13635788 CPUtime=0.28 cores=0,2,4,6
/proc/7478/task/7479/stat : 7479 (java) R 7476 7478 5628 0 -1 4202560 14957 0 1 0 26 2 0 0 25 0 18 0 807412272 13963046912 19380 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 13635788
[startup+0.700728 s]
/proc/loadavg: 2.09 2.06 2.01 1/435 7478
/proc/meminfo: memFree=24712840/32951124 swapFree=50923800/67111528
[pid=7478] ppid=7476 vsize=13636816 CPUtime=1.46 cores=0,2,4,6
/proc/7478/stat : 7478 (java) S 7476 7478 5628 0 -1 4202496 33969 0 1 0 141 5 0 0 25 0 19 0 807412271 13964099584 30598 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7478/statm: 3409204 30598 2220 9 0 3399938 0
[pid=7478/tid=7479] ppid=7476 vsize=13636816 CPUtime=0.68 cores=0,2,4,6
/proc/7478/task/7479/stat : 7479 (java) R 7476 7478 5628 0 -1 4202560 25444 0 1 0 65 3 0 0 25 0 19 0 807412272 13964099584 30598 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 46912505861554 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 13636816
[startup+1.50152 s]
/proc/loadavg: 2.09 2.06 2.01 3/453 7500
/proc/meminfo: memFree=24600932/32951124 swapFree=50923800/67111528
[pid=7478] ppid=7476 vsize=13636816 CPUtime=2.43 cores=0,2,4,6
/proc/7478/stat : 7478 (java) S 7476 7478 5628 0 -1 4202496 34240 0 1 0 238 5 0 0 25 0 19 0 807412271 13964099584 30868 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7478/statm: 3409204 30868 2224 9 0 3399938 0
[pid=7478/tid=7479] ppid=7476 vsize=13636816 CPUtime=1.48 cores=0,2,4,6
/proc/7478/task/7479/stat : 7479 (java) R 7476 7478 5628 0 -1 4202560 25690 0 1 0 145 3 0 0 25 0 19 0 807412272 13964099584 30868 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 46912505726197 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=7478/tid=7481] ppid=7476 vsize=13636816 CPUtime=0 cores=0,2,4,6
/proc/7478/task/7481/stat : 7481 (java) S 7476 7478 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807412274 13964099584 30868 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350199705 0 4 0 16800975 18446604440642557248 0 0 -1 2 0 0 0
[pid=7478/tid=7482] ppid=7476 vsize=13636816 CPUtime=0 cores=0,2,4,6
/proc/7478/task/7482/stat : 7482 (java) S 7476 7478 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807412274 13964099584 30868 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350199705 0 4 0 16800975 18446604440642557248 0 0 -1 2 0 0 0
[pid=7478/tid=7483] ppid=7476 vsize=13636816 CPUtime=0 cores=0,2,4,6
/proc/7478/task/7483/stat : 7483 (java) S 7476 7478 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807412274 13964099584 30868 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350199705 0 4 0 16800975 18446604440642557248 0 0 -1 2 0 0 0
[pid=7478/tid=7484] ppid=7476 vsize=13636816 CPUtime=0 cores=0,2,4,6
/proc/7478/task/7484/stat : 7484 (java) S 7476 7478 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807412274 13964099584 30868 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350199705 0 4 0 16800975 18446604440642557248 0 0 -1 2 0 0 0
[pid=7478/tid=7485] ppid=7476 vsize=13636816 CPUtime=0 cores=0,2,4,6
/proc/7478/task/7485/stat : 7485 (java) S 7476 7478 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807412274 13964099584 30868 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350199705 0 4 0 16800975 18446604440642557248 0 0 -1 2 0 0 0
[pid=7478/tid=7486] ppid=7476 vsize=13636816 CPUtime=0 cores=0,2,4,6
/proc/7478/task/7486/stat : 7486 (java) S 7476 7478 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807412274 13964099584 30868 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350199705 0 4 0 16800975 18446604440642557248 0 0 -1 2 0 0 0
[pid=7478/tid=7487] ppid=7476 vsize=13636816 CPUtime=0 cores=0,2,4,6
/proc/7478/task/7487/stat : 7487 (java) S 7476 7478 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807412274 13964099584 30868 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350199705 0 4 0 16800975 18446604440642557248 0 0 -1 2 0 0 0
[pid=7478/tid=7488] ppid=7476 vsize=13636816 CPUtime=0 cores=0,2,4,6
/proc/7478/task/7488/stat : 7488 (java) S 7476 7478 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807412274 13964099584 30868 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350199705 0 4 0 16800975 18446604440642557248 0 0 -1 2 0 0 0
[pid=7478/tid=7489] ppid=7476 vsize=13636816 CPUtime=0 cores=0,2,4,6
/proc/7478/task/7489/stat : 7489 (java) S 7476 7478 5628 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 807412275 13964099584 30868 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350200320 0 0 0 16800975 18446604440642557248 0 0 -1 2 0 0 0
[pid=7478/tid=7490] ppid=7476 vsize=13636816 CPUtime=0 cores=0,2,4,6
/proc/7478/task/7490/stat : 7490 (java) S 7476 7478 5628 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 807412275 13964099584 30868 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350199705 0 4 0 16800975 18446604440642557248 0 0 -1 2 0 0 0
[pid=7478/tid=7491] ppid=7476 vsize=13636816 CPUtime=0 cores=0,2,4,6
/proc/7478/task/7491/stat : 7491 (java) S 7476 7478 5628 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 807412275 13964099584 30868 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350199705 0 4 0 16800975 18446604440642557248 0 0 -1 2 0 0 0
[pid=7478/tid=7492] ppid=7476 vsize=13636816 CPUtime=0 cores=0,2,4,6
/proc/7478/task/7492/stat : 7492 (java) S 7476 7478 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807412278 13964099584 30868 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350207409 0 4 0 16800975 18446604440642557248 0 0 -1 2 0 0 0
[pid=7478/tid=7493] ppid=7476 vsize=13636816 CPUtime=0.4 cores=0,2,4,6
/proc/7478/task/7493/stat : 7493 (java) S 7476 7478 5628 0 -1 4202560 2636 0 0 0 40 0 0 0 19 0 19 0 807412278 13964099584 30868 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350199705 0 4 0 16800975 18446604440642557248 0 0 -1 6 0 0 0
[pid=7478/tid=7494] ppid=7476 vsize=13636816 CPUtime=0.52 cores=0,2,4,6
/proc/7478/task/7494/stat : 7494 (java) S 7476 7478 5628 0 -1 4202560 4754 0 0 0 52 0 0 0 22 0 19 0 807412278 13964099584 30868 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350199705 0 4 0 16800975 18446604440642557248 0 0 -1 4 0 0 0
[pid=7478/tid=7495] ppid=7476 vsize=13636816 CPUtime=0 cores=0,2,4,6
/proc/7478/task/7495/stat : 7495 (java) S 7476 7478 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807412278 13964099584 30868 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350199705 0 4 0 16800975 18446604440642557248 0 0 -1 2 0 0 0
[pid=7478/tid=7496] ppid=7476 vsize=13636816 CPUtime=0 cores=0,2,4,6
/proc/7478/task/7496/stat : 7496 (java) S 7476 7478 5628 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807412278 13964099584 30868 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350200320 0 4 0 16800975 18446604440642557248 0 0 -1 2 0 0 0
[pid=7478/tid=7497] ppid=7476 vsize=13636816 CPUtime=0 cores=0,2,4,6
/proc/7478/task/7497/stat : 7497 (java) S 7476 7478 5628 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 807412325 13964099584 30868 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350200320 0 4 0 16800975 18446604440642557248 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.43
Current children cumulated vsize (KiB) 13636816
[startup+3.10122 s]
/proc/loadavg: 2.09 2.06 2.01 3/473 7541
/proc/meminfo: memFree=24360700/32951124 swapFree=50923800/67111528
[pid=7478] ppid=7476 vsize=13636816 CPUtime=4.05 cores=0,2,4,6
/proc/7478/stat : 7478 (java) S 7476 7478 5628 0 -1 4202496 35215 0 1 0 400 5 0 0 25 0 19 0 807412271 13964099584 31658 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7478/statm: 3409204 31658 2227 9 0 3399938 0
[pid=7478/tid=7479] ppid=7476 vsize=13636816 CPUtime=3.07 cores=0,2,4,6
/proc/7478/task/7479/stat : 7479 (java) R 7476 7478 5628 0 -1 4202560 26474 0 1 0 304 3 0 0 25 0 19 0 807412272 13964099584 31658 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 46912505726216 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=7478/tid=7481] ppid=7476 vsize=13636816 CPUtime=0 cores=0,2,4,6
/proc/7478/task/7481/stat : 7481 (java) S 7476 7478 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807412274 13964099584 31658 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350199705 0 4 0 16800975 18446604440642557248 0 0 -1 2 0 0 0
[pid=7478/tid=7482] ppid=7476 vsize=13636816 CPUtime=0 cores=0,2,4,6
/proc/7478/task/7482/stat : 7482 (java) S 7476 7478 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807412274 13964099584 31658 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350199705 0 4 0 16800975 18446604440642557248 0 0 -1 2 0 0 0
[pid=7478/tid=7483] ppid=7476 vsize=13636816 CPUtime=0 cores=0,2,4,6
/proc/7478/task/7483/stat : 7483 (java) S 7476 7478 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807412274 13964099584 31658 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350199705 0 4 0 16800975 18446604440642557248 0 0 -1 2 0 0 0
[pid=7478/tid=7484] ppid=7476 vsize=13636816 CPUtime=0 cores=0,2,4,6
/proc/7478/task/7484/stat : 7484 (java) S 7476 7478 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807412274 13964099584 31658 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350199705 0 4 0 16800975 18446604440642557248 0 0 -1 2 0 0 0
[pid=7478/tid=7485] ppid=7476 vsize=13636816 CPUtime=0 cores=0,2,4,6
/proc/7478/task/7485/stat : 7485 (java) S 7476 7478 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807412274 13964099584 31658 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350199705 0 4 0 16800975 18446604440642557248 0 0 -1 2 0 0 0
[pid=7478/tid=7486] ppid=7476 vsize=13636816 CPUtime=0 cores=0,2,4,6
/proc/7478/task/7486/stat : 7486 (java) S 7476 7478 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807412274 13964099584 31658 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350199705 0 4 0 16800975 18446604440642557248 0 0 -1 2 0 0 0
[pid=7478/tid=7487] ppid=7476 vsize=13636816 CPUtime=0 cores=0,2,4,6
/proc/7478/task/7487/stat : 7487 (java) S 7476 7478 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807412274 13964099584 31658 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350199705 0 4 0 16800975 18446604440642557248 0 0 -1 2 0 0 0
[pid=7478/tid=7488] ppid=7476 vsize=13636816 CPUtime=0 cores=0,2,4,6
/proc/7478/task/7488/stat : 7488 (java) S 7476 7478 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807412274 13964099584 31658 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350199705 0 4 0 16800975 18446604440642557248 0 0 -1 2 0 0 0
[pid=7478/tid=7489] ppid=7476 vsize=13636816 CPUtime=0 cores=0,2,4,6
/proc/7478/task/7489/stat : 7489 (java) S 7476 7478 5628 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 807412275 13964099584 31658 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350200320 0 0 0 16800975 18446604440642557248 0 0 -1 2 0 0 0
[pid=7478/tid=7490] ppid=7476 vsize=13636816 CPUtime=0 cores=0,2,4,6
/proc/7478/task/7490/stat : 7490 (java) S 7476 7478 5628 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 807412275 13964099584 31658 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350199705 0 4 0 16800975 18446604440642557248 0 0 -1 2 0 0 0
[pid=7478/tid=7491] ppid=7476 vsize=13636816 CPUtime=0 cores=0,2,4,6
/proc/7478/task/7491/stat : 7491 (java) S 7476 7478 5628 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 807412275 13964099584 31658 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350199705 0 4 0 16800975 18446604440642557248 0 0 -1 2 0 0 0
[pid=7478/tid=7492] ppid=7476 vsize=13636816 CPUtime=0 cores=0,2,4,6
/proc/7478/task/7492/stat : 7492 (java) S 7476 7478 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807412278 13964099584 31658 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350207409 0 4 0 16800975 18446604440642557248 0 0 -1 2 0 0 0
[pid=7478/tid=7493] ppid=7476 vsize=13636816 CPUtime=0.43 cores=0,2,4,6
/proc/7478/task/7493/stat : 7493 (java) S 7476 7478 5628 0 -1 4202560 2827 0 0 0 42 1 0 0 18 0 19 0 807412278 13964099584 31658 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350199705 0 4 0 16800975 18446604440642557248 0 0 -1 6 0 0 0
[pid=7478/tid=7494] ppid=7476 vsize=13636816 CPUtime=0.52 cores=0,2,4,6
/proc/7478/task/7494/stat : 7494 (java) S 7476 7478 5628 0 -1 4202560 4754 0 0 0 52 0 0 0 22 0 19 0 807412278 13964099584 31658 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350199705 0 4 0 16800975 18446604440642557248 0 0 -1 4 0 0 0
[pid=7478/tid=7495] ppid=7476 vsize=13636816 CPUtime=0 cores=0,2,4,6
/proc/7478/task/7495/stat : 7495 (java) S 7476 7478 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807412278 13964099584 31658 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350199705 0 4 0 16800975 18446604440642557248 0 0 -1 2 0 0 0
[pid=7478/tid=7496] ppid=7476 vsize=13636816 CPUtime=0 cores=0,2,4,6
/proc/7478/task/7496/stat : 7496 (java) S 7476 7478 5628 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807412278 13964099584 31658 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350200320 0 4 0 16800975 18446604440642557248 0 0 -1 2 0 0 0
[pid=7478/tid=7497] ppid=7476 vsize=13636816 CPUtime=0 cores=0,2,4,6
/proc/7478/task/7497/stat : 7497 (java) S 7476 7478 5628 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 807412325 13964099584 31658 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350200320 0 4 0 16800975 18446604440642557248 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.05
Current children cumulated vsize (KiB) 13636816
[startup+6.30061 s]
/proc/loadavg: 2.25 2.09 2.02 3/474 7543
/proc/meminfo: memFree=24333392/32951124 swapFree=50923800/67111528
[pid=7478] ppid=7476 vsize=13636816 CPUtime=7.35 cores=0,2,4,6
/proc/7478/stat : 7478 (java) S 7476 7478 5628 0 -1 4202496 39503 0 1 0 729 6 0 0 25 0 19 0 807412271 13964099584 35786 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7478/statm: 3409204 35786 2253 9 0 3399938 0
[pid=7478/tid=7479] ppid=7476 vsize=13636816 CPUtime=6.24 cores=0,2,4,6
/proc/7478/task/7479/stat : 7479 (java) R 7476 7478 5628 0 -1 4202560 26911 0 1 0 621 3 0 0 22 0 19 0 807412272 13964099584 35786 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 46912505801212 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=7478/tid=7481] ppid=7476 vsize=13636816 CPUtime=0 cores=0,2,4,6
/proc/7478/task/7481/stat : 7481 (java) S 7476 7478 5628 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 807412274 13964099584 35786 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350199705 0 4 0 16800975 18446604440642557248 0 0 -1 6 0 0 0
[pid=7478/tid=7482] ppid=7476 vsize=13636816 CPUtime=0 cores=0,2,4,6
/proc/7478/task/7482/stat : 7482 (java) S 7476 7478 5628 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 807412274 13964099584 35786 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350199705 0 4 0 16800975 18446604440642557248 0 0 -1 6 0 0 0
[pid=7478/tid=7483] ppid=7476 vsize=13636816 CPUtime=0 cores=0,2,4,6
/proc/7478/task/7483/stat : 7483 (java) S 7476 7478 5628 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 807412274 13964099584 35786 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350199705 0 4 0 16800975 18446604440642557248 0 0 -1 0 0 0 0
[pid=7478/tid=7484] ppid=7476 vsize=13636816 CPUtime=0 cores=0,2,4,6
/proc/7478/task/7484/stat : 7484 (java) S 7476 7478 5628 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 807412274 13964099584 35786 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350199705 0 4 0 16800975 18446604440642557248 0 0 -1 6 0 0 0
[pid=7478/tid=7485] ppid=7476 vsize=13636816 CPUtime=0 cores=0,2,4,6
/proc/7478/task/7485/stat : 7485 (java) S 7476 7478 5628 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 807412274 13964099584 35786 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350199705 0 4 0 16800975 18446604440642557248 0 0 -1 6 0 0 0
[pid=7478/tid=7486] ppid=7476 vsize=13636816 CPUtime=0 cores=0,2,4,6
/proc/7478/task/7486/stat : 7486 (java) S 7476 7478 5628 0 -1 4202560 155 0 0 0 0 0 0 0 18 0 19 0 807412274 13964099584 35786 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350199705 0 4 0 16800975 18446604440642557248 0 0 -1 0 0 0 0
[pid=7478/tid=7487] ppid=7476 vsize=13636816 CPUtime=0 cores=0,2,4,6
/proc/7478/task/7487/stat : 7487 (java) S 7476 7478 5628 0 -1 4202560 1075 0 0 0 0 0 0 0 18 0 19 0 807412274 13964099584 35786 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350199705 0 4 0 16800975 18446604440642557248 0 0 -1 6 0 0 0
[pid=7478/tid=7488] ppid=7476 vsize=13636816 CPUtime=0 cores=0,2,4,6
/proc/7478/task/7488/stat : 7488 (java) S 7476 7478 5628 0 -1 4202560 625 0 0 0 0 0 0 0 18 0 19 0 807412274 13964099584 35786 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350199705 0 4 0 16800975 18446604440642557248 0 0 -1 6 0 0 0
[pid=7478/tid=7489] ppid=7476 vsize=13636816 CPUtime=0.02 cores=0,2,4,6
/proc/7478/task/7489/stat : 7489 (java) S 7476 7478 5628 0 -1 4202560 1843 0 0 0 2 0 0 0 15 0 19 0 807412275 13964099584 35786 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350200320 0 0 0 16800975 18446604440642557248 0 0 -1 2 0 0 0
[pid=7478/tid=7490] ppid=7476 vsize=13636816 CPUtime=0 cores=0,2,4,6
/proc/7478/task/7490/stat : 7490 (java) S 7476 7478 5628 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 807412275 13964099584 35786 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350199705 0 4 0 16800975 18446604440642557248 0 0 -1 2 0 0 0
[pid=7478/tid=7491] ppid=7476 vsize=13636816 CPUtime=0 cores=0,2,4,6
/proc/7478/task/7491/stat : 7491 (java) S 7476 7478 5628 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 807412275 13964099584 35786 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350199705 0 4 0 16800975 18446604440642557248 0 0 -1 2 0 0 0
[pid=7478/tid=7492] ppid=7476 vsize=13636816 CPUtime=0 cores=0,2,4,6
/proc/7478/task/7492/stat : 7492 (java) S 7476 7478 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807412278 13964099584 35786 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350207409 0 4 0 16800975 18446604440642557248 0 0 -1 2 0 0 0
[pid=7478/tid=7493] ppid=7476 vsize=13636816 CPUtime=0.48 cores=0,2,4,6
/proc/7478/task/7493/stat : 7493 (java) S 7476 7478 5628 0 -1 4202560 2974 0 0 0 47 1 0 0 15 0 19 0 807412278 13964099584 35786 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350199705 0 4 0 16800975 18446604440642557248 0 0 -1 6 0 0 0
[pid=7478/tid=7494] ppid=7476 vsize=13636816 CPUtime=0.57 cores=0,2,4,6
/proc/7478/task/7494/stat : 7494 (java) S 7476 7478 5628 0 -1 4202560 4765 0 0 0 57 0 0 0 15 0 19 0 807412278 13964099584 35786 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350199705 0 4 0 16800975 18446604440642557248 0 0 -1 4 0 0 0
################
# More data... #
################
[pid=7478/tid=7486] ppid=7476 vsize=13636816 CPUtime=0.21 cores=0,2,4,6
/proc/7478/task/7486/stat : 7486 (java) S 7476 7478 5628 0 -1 4202560 1144 0 0 0 21 0 0 0 16 0 19 0 807412274 13964099584 49730 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350199705 0 4 0 16800975 18446604440642557248 0 0 -1 6 0 0 0
[pid=7478/tid=7487] ppid=7476 vsize=13636816 CPUtime=0.23 cores=0,2,4,6
/proc/7478/task/7487/stat : 7487 (java) S 7476 7478 5628 0 -1 4202560 2230 0 0 0 23 0 0 0 15 0 19 0 807412274 13964099584 49730 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350199705 0 4 0 16800975 18446604440642557248 0 0 -1 4 0 0 0
[pid=7478/tid=7488] ppid=7476 vsize=13636816 CPUtime=0.21 cores=0,2,4,6
/proc/7478/task/7488/stat : 7488 (java) S 7476 7478 5628 0 -1 4202560 1140 0 0 0 21 0 0 0 15 0 19 0 807412274 13964099584 49730 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350199705 0 4 0 16800975 18446604440642557248 0 0 -1 0 0 0 0
[pid=7478/tid=7489] ppid=7476 vsize=13636816 CPUtime=6.84 cores=0,2,4,6
/proc/7478/task/7489/stat : 7489 (java) S 7476 7478 5628 0 -1 4202560 8752 0 0 0 681 3 0 0 15 0 19 0 807412275 13964099584 49730 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350200320 0 0 0 16800975 18446604440642557248 0 0 -1 2 0 0 0
[pid=7478/tid=7490] ppid=7476 vsize=13636816 CPUtime=0 cores=0,2,4,6
/proc/7478/task/7490/stat : 7490 (java) S 7476 7478 5628 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 807412275 13964099584 49730 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350199705 0 4 0 16800975 18446604440642557248 0 0 -1 2 0 0 0
[pid=7478/tid=7491] ppid=7476 vsize=13636816 CPUtime=0 cores=0,2,4,6
/proc/7478/task/7491/stat : 7491 (java) S 7476 7478 5628 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 807412275 13964099584 49730 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350199705 0 4 0 16800975 18446604440642557248 0 0 -1 2 0 0 0
[pid=7478/tid=7492] ppid=7476 vsize=13636816 CPUtime=0 cores=0,2,4,6
/proc/7478/task/7492/stat : 7492 (java) S 7476 7478 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807412278 13964099584 49730 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350207409 0 4 0 16800975 18446604440642557248 0 0 -1 2 0 0 0
[pid=7478/tid=7493] ppid=7476 vsize=13636816 CPUtime=0.49 cores=0,2,4,6
/proc/7478/task/7493/stat : 7493 (java) S 7476 7478 5628 0 -1 4202560 2976 0 0 0 48 1 0 0 15 0 19 0 807412278 13964099584 49730 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350199705 0 4 0 16800975 18446604440642557248 0 0 -1 6 0 0 0
[pid=7478/tid=7494] ppid=7476 vsize=13636816 CPUtime=0.65 cores=0,2,4,6
/proc/7478/task/7494/stat : 7494 (java) S 7476 7478 5628 0 -1 4202560 4786 0 0 0 65 0 0 0 15 0 19 0 807412278 13964099584 49730 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350199705 0 4 0 16800975 18446604440642557248 0 0 -1 4 0 0 0
[pid=7478/tid=7495] ppid=7476 vsize=13636816 CPUtime=0 cores=0,2,4,6
/proc/7478/task/7495/stat : 7495 (java) S 7476 7478 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807412278 13964099584 49730 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350199705 0 4 0 16800975 18446604440642557248 0 0 -1 2 0 0 0
[pid=7478/tid=7496] ppid=7476 vsize=13636816 CPUtime=0 cores=0,2,4,6
/proc/7478/task/7496/stat : 7496 (java) S 7476 7478 5628 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 807412278 13964099584 49730 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350200320 0 4 0 16800975 18446604440642557248 0 0 -1 0 0 0 0
[pid=7478/tid=7497] ppid=7476 vsize=13636816 CPUtime=0 cores=0,2,4,6
/proc/7478/task/7497/stat : 7497 (java) S 7476 7478 5628 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 807412325 13964099584 49730 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350200320 0 4 0 16800975 18446604440642557248 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1664.45
Current children cumulated vsize (KiB) 13636816
[startup+1722.3 s]
/proc/loadavg: 2.06 2.08 2.02 3/474 7591
/proc/meminfo: memFree=23893728/32951124 swapFree=50923800/67111528
[pid=7478] ppid=7476 vsize=13636816 CPUtime=1724.48 cores=0,2,4,6
/proc/7478/stat : 7478 (java) S 7476 7478 5628 0 -1 4202496 53864 0 1 0 172435 13 0 0 25 0 19 0 807412271 13964099584 49734 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7478/statm: 3409204 49734 2254 9 0 3399938 0
[pid=7478/tid=7479] ppid=7476 vsize=13636816 CPUtime=1714.4 cores=0,2,4,6
/proc/7478/task/7479/stat : 7479 (java) R 7476 7478 5628 0 -1 4202560 27118 0 1 0 171435 5 0 0 25 0 19 0 807412272 13964099584 49734 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 46912505726324 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=7478/tid=7481] ppid=7476 vsize=13636816 CPUtime=0.25 cores=0,2,4,6
/proc/7478/task/7481/stat : 7481 (java) S 7476 7478 5628 0 -1 4202560 1460 0 0 0 25 0 0 0 15 0 19 0 807412274 13964099584 49734 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350199705 0 4 0 16800975 18446604440642557248 0 0 -1 0 0 0 0
[pid=7478/tid=7482] ppid=7476 vsize=13636816 CPUtime=0.22 cores=0,2,4,6
/proc/7478/task/7482/stat : 7482 (java) S 7476 7478 5628 0 -1 4202560 1544 0 0 0 22 0 0 0 15 0 19 0 807412274 13964099584 49734 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350199705 0 4 0 16800975 18446604440642557248 0 0 -1 4 0 0 0
[pid=7478/tid=7483] ppid=7476 vsize=13636816 CPUtime=0.21 cores=0,2,4,6
/proc/7478/task/7483/stat : 7483 (java) S 7476 7478 5628 0 -1 4202560 254 0 0 0 21 0 0 0 16 0 19 0 807412274 13964099584 49734 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350199705 0 4 0 16800975 18446604440642557248 0 0 -1 0 0 0 0
[pid=7478/tid=7484] ppid=7476 vsize=13636816 CPUtime=0.21 cores=0,2,4,6
/proc/7478/task/7484/stat : 7484 (java) S 7476 7478 5628 0 -1 4202560 618 0 0 0 21 0 0 0 15 0 19 0 807412274 13964099584 49734 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350199705 0 4 0 16800975 18446604440642557248 0 0 -1 6 0 0 0
[pid=7478/tid=7485] ppid=7476 vsize=13636816 CPUtime=0.18 cores=0,2,4,6
/proc/7478/task/7485/stat : 7485 (java) S 7476 7478 5628 0 -1 4202560 585 0 0 0 18 0 0 0 15 0 19 0 807412274 13964099584 49734 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350199705 0 4 0 16800975 18446604440642557248 0 0 -1 0 0 0 0
[pid=7478/tid=7486] ppid=7476 vsize=13636816 CPUtime=0.22 cores=0,2,4,6
/proc/7478/task/7486/stat : 7486 (java) S 7476 7478 5628 0 -1 4202560 1144 0 0 0 22 0 0 0 16 0 19 0 807412274 13964099584 49734 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350199705 0 4 0 16800975 18446604440642557248 0 0 -1 6 0 0 0
[pid=7478/tid=7487] ppid=7476 vsize=13636816 CPUtime=0.24 cores=0,2,4,6
/proc/7478/task/7487/stat : 7487 (java) S 7476 7478 5628 0 -1 4202560 2230 0 0 0 24 0 0 0 15 0 19 0 807412274 13964099584 49734 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350199705 0 4 0 16800975 18446604440642557248 0 0 -1 4 0 0 0
[pid=7478/tid=7488] ppid=7476 vsize=13636816 CPUtime=0.22 cores=0,2,4,6
/proc/7478/task/7488/stat : 7488 (java) S 7476 7478 5628 0 -1 4202560 1143 0 0 0 22 0 0 0 15 0 19 0 807412274 13964099584 49734 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350199705 0 4 0 16800975 18446604440642557248 0 0 -1 6 0 0 0
[pid=7478/tid=7489] ppid=7476 vsize=13636816 CPUtime=7.07 cores=0,2,4,6
/proc/7478/task/7489/stat : 7489 (java) S 7476 7478 5628 0 -1 4202560 8756 0 0 0 704 3 0 0 15 0 19 0 807412275 13964099584 49734 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350200320 0 0 0 16800975 18446604440642557248 0 0 -1 2 0 0 0
[pid=7478/tid=7490] ppid=7476 vsize=13636816 CPUtime=0 cores=0,2,4,6
/proc/7478/task/7490/stat : 7490 (java) S 7476 7478 5628 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 807412275 13964099584 49734 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350199705 0 4 0 16800975 18446604440642557248 0 0 -1 2 0 0 0
[pid=7478/tid=7491] ppid=7476 vsize=13636816 CPUtime=0 cores=0,2,4,6
/proc/7478/task/7491/stat : 7491 (java) S 7476 7478 5628 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 807412275 13964099584 49734 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350199705 0 4 0 16800975 18446604440642557248 0 0 -1 2 0 0 0
[pid=7478/tid=7492] ppid=7476 vsize=13636816 CPUtime=0 cores=0,2,4,6
/proc/7478/task/7492/stat : 7492 (java) S 7476 7478 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807412278 13964099584 49734 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350207409 0 4 0 16800975 18446604440642557248 0 0 -1 2 0 0 0
[pid=7478/tid=7493] ppid=7476 vsize=13636816 CPUtime=0.49 cores=0,2,4,6
/proc/7478/task/7493/stat : 7493 (java) S 7476 7478 5628 0 -1 4202560 2976 0 0 0 48 1 0 0 15 0 19 0 807412278 13964099584 49734 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350199705 0 4 0 16800975 18446604440642557248 0 0 -1 6 0 0 0
[pid=7478/tid=7494] ppid=7476 vsize=13636816 CPUtime=0.65 cores=0,2,4,6
/proc/7478/task/7494/stat : 7494 (java) S 7476 7478 5628 0 -1 4202560 4786 0 0 0 65 0 0 0 15 0 19 0 807412278 13964099584 49734 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350199705 0 4 0 16800975 18446604440642557248 0 0 -1 4 0 0 0
[pid=7478/tid=7495] ppid=7476 vsize=13636816 CPUtime=0 cores=0,2,4,6
/proc/7478/task/7495/stat : 7495 (java) S 7476 7478 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807412278 13964099584 49734 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350199705 0 4 0 16800975 18446604440642557248 0 0 -1 2 0 0 0
[pid=7478/tid=7496] ppid=7476 vsize=13636816 CPUtime=0 cores=0,2,4,6
/proc/7478/task/7496/stat : 7496 (java) S 7476 7478 5628 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 807412278 13964099584 49734 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350200320 0 4 0 16800975 18446604440642557248 0 0 -1 0 0 0 0
[pid=7478/tid=7497] ppid=7476 vsize=13636816 CPUtime=0 cores=0,2,4,6
/proc/7478/task/7497/stat : 7497 (java) S 7476 7478 5628 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 807412325 13964099584 49734 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350200320 0 4 0 16800975 18446604440642557248 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1724.48
Current children cumulated vsize (KiB) 13636816
[startup+1782.3 s]
/proc/loadavg: 2.02 2.06 2.01 3/474 7593
/proc/meminfo: memFree=23891920/32951124 swapFree=50923800/67111528
[pid=7478] ppid=7476 vsize=13636816 CPUtime=1784.52 cores=0,2,4,6
/proc/7478/stat : 7478 (java) S 7476 7478 5628 0 -1 4202496 53893 0 1 0 178438 14 0 0 25 0 19 0 807412271 13964099584 49753 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7478/statm: 3409204 49753 2254 9 0 3399938 0
[pid=7478/tid=7479] ppid=7476 vsize=13636816 CPUtime=1774.15 cores=0,2,4,6
/proc/7478/task/7479/stat : 7479 (java) R 7476 7478 5628 0 -1 4202560 27124 0 1 0 177409 6 0 0 25 0 19 0 807412272 13964099584 49753 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 46912505725863 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=7478/tid=7481] ppid=7476 vsize=13636816 CPUtime=0.25 cores=0,2,4,6
/proc/7478/task/7481/stat : 7481 (java) S 7476 7478 5628 0 -1 4202560 1462 0 0 0 25 0 0 0 15 0 19 0 807412274 13964099584 49753 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350199705 0 4 0 16800975 18446604440642557248 0 0 -1 6 0 0 0
[pid=7478/tid=7482] ppid=7476 vsize=13636816 CPUtime=0.23 cores=0,2,4,6
/proc/7478/task/7482/stat : 7482 (java) S 7476 7478 5628 0 -1 4202560 1544 0 0 0 23 0 0 0 16 0 19 0 807412274 13964099584 49753 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350199705 0 4 0 16800975 18446604440642557248 0 0 -1 0 0 0 0
[pid=7478/tid=7483] ppid=7476 vsize=13636816 CPUtime=0.22 cores=0,2,4,6
/proc/7478/task/7483/stat : 7483 (java) S 7476 7478 5628 0 -1 4202560 255 0 0 0 22 0 0 0 15 0 19 0 807412274 13964099584 49753 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350199705 0 4 0 16800975 18446604440642557248 0 0 -1 4 0 0 0
[pid=7478/tid=7484] ppid=7476 vsize=13636816 CPUtime=0.22 cores=0,2,4,6
/proc/7478/task/7484/stat : 7484 (java) S 7476 7478 5628 0 -1 4202560 626 0 0 0 22 0 0 0 15 0 19 0 807412274 13964099584 49753 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350199705 0 4 0 16800975 18446604440642557248 0 0 -1 0 0 0 0
[pid=7478/tid=7485] ppid=7476 vsize=13636816 CPUtime=0.19 cores=0,2,4,6
/proc/7478/task/7485/stat : 7485 (java) S 7476 7478 5628 0 -1 4202560 585 0 0 0 19 0 0 0 15 0 19 0 807412274 13964099584 49753 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350199705 0 4 0 16800975 18446604440642557248 0 0 -1 0 0 0 0
[pid=7478/tid=7486] ppid=7476 vsize=13636816 CPUtime=0.23 cores=0,2,4,6
/proc/7478/task/7486/stat : 7486 (java) S 7476 7478 5628 0 -1 4202560 1147 0 0 0 23 0 0 0 15 0 19 0 807412274 13964099584 49753 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350199705 0 4 0 16800975 18446604440642557248 0 0 -1 0 0 0 0
[pid=7478/tid=7487] ppid=7476 vsize=13636816 CPUtime=0.25 cores=0,2,4,6
/proc/7478/task/7487/stat : 7487 (java) S 7476 7478 5628 0 -1 4202560 2231 0 0 0 25 0 0 0 16 0 19 0 807412274 13964099584 49753 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350199705 0 4 0 16800975 18446604440642557248 0 0 -1 4 0 0 0
[pid=7478/tid=7488] ppid=7476 vsize=13636816 CPUtime=0.23 cores=0,2,4,6
/proc/7478/task/7488/stat : 7488 (java) S 7476 7478 5628 0 -1 4202560 1147 0 0 0 23 0 0 0 16 0 19 0 807412274 13964099584 49753 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350199705 0 4 0 16800975 18446604440642557248 0 0 -1 6 0 0 0
[pid=7478/tid=7489] ppid=7476 vsize=13636816 CPUtime=7.3 cores=0,2,4,6
/proc/7478/task/7489/stat : 7489 (java) S 7476 7478 5628 0 -1 4202560 8758 0 0 0 727 3 0 0 15 0 19 0 807412275 13964099584 49753 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350200320 0 0 0 16800975 18446604440642557248 0 0 -1 2 0 0 0
[pid=7478/tid=7490] ppid=7476 vsize=13636816 CPUtime=0 cores=0,2,4,6
/proc/7478/task/7490/stat : 7490 (java) S 7476 7478 5628 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 807412275 13964099584 49753 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350199705 0 4 0 16800975 18446604440642557248 0 0 -1 2 0 0 0
[pid=7478/tid=7491] ppid=7476 vsize=13636816 CPUtime=0 cores=0,2,4,6
/proc/7478/task/7491/stat : 7491 (java) S 7476 7478 5628 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 807412275 13964099584 49753 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350199705 0 4 0 16800975 18446604440642557248 0 0 -1 2 0 0 0
[pid=7478/tid=7492] ppid=7476 vsize=13636816 CPUtime=0 cores=0,2,4,6
/proc/7478/task/7492/stat : 7492 (java) S 7476 7478 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807412278 13964099584 49753 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350207409 0 4 0 16800975 18446604440642557248 0 0 -1 2 0 0 0
[pid=7478/tid=7493] ppid=7476 vsize=13636816 CPUtime=0.49 cores=0,2,4,6
/proc/7478/task/7493/stat : 7493 (java) S 7476 7478 5628 0 -1 4202560 2976 0 0 0 48 1 0 0 15 0 19 0 807412278 13964099584 49753 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350199705 0 4 0 16800975 18446604440642557248 0 0 -1 6 0 0 0
[pid=7478/tid=7494] ppid=7476 vsize=13636816 CPUtime=0.65 cores=0,2,4,6
/proc/7478/task/7494/stat : 7494 (java) S 7476 7478 5628 0 -1 4202560 4786 0 0 0 65 0 0 0 15 0 19 0 807412278 13964099584 49753 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350199705 0 4 0 16800975 18446604440642557248 0 0 -1 4 0 0 0
[pid=7478/tid=7495] ppid=7476 vsize=13636816 CPUtime=0 cores=0,2,4,6
/proc/7478/task/7495/stat : 7495 (java) S 7476 7478 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807412278 13964099584 49753 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350199705 0 4 0 16800975 18446604440642557248 0 0 -1 2 0 0 0
[pid=7478/tid=7496] ppid=7476 vsize=13636816 CPUtime=0 cores=0,2,4,6
/proc/7478/task/7496/stat : 7496 (java) S 7476 7478 5628 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 807412278 13964099584 49753 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350200320 0 4 0 16800975 18446604440642557248 0 0 -1 0 0 0 0
[pid=7478/tid=7497] ppid=7476 vsize=13636816 CPUtime=0 cores=0,2,4,6
/proc/7478/task/7497/stat : 7497 (java) S 7476 7478 5628 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 807412325 13964099584 49753 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350200320 0 4 0 16800975 18446604440642557248 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1784.52
Current children cumulated vsize (KiB) 13636816
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1797.8 s]
/proc/loadavg: 2.02 2.05 2.01 3/474 7593
/proc/meminfo: memFree=23892032/32951124 swapFree=50923800/67111528
[pid=7478] ppid=7476 vsize=13636816 CPUtime=1800.04 cores=0,2,4,6
/proc/7478/stat : 7478 (java) S 7476 7478 5628 0 -1 4202496 53899 0 1 0 179990 14 0 0 25 0 19 0 807412271 13964099584 49753 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7478/statm: 3409204 49753 2254 9 0 3399938 0
[pid=7478/tid=7479] ppid=7476 vsize=13636816 CPUtime=1789.57 cores=0,2,4,6
/proc/7478/task/7479/stat : 7479 (java) R 7476 7478 5628 0 -1 4202560 27126 0 1 0 178951 6 0 0 25 0 19 0 807412272 13964099584 49753 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 46912505726284 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=7478/tid=7481] ppid=7476 vsize=13636816 CPUtime=0.26 cores=0,2,4,6
/proc/7478/task/7481/stat : 7481 (java) S 7476 7478 5628 0 -1 4202560 1462 0 0 0 26 0 0 0 16 0 19 0 807412274 13964099584 49753 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350199705 0 4 0 16800975 18446604440642557248 0 0 -1 0 0 0 0
[pid=7478/tid=7482] ppid=7476 vsize=13636816 CPUtime=0.23 cores=0,2,4,6
/proc/7478/task/7482/stat : 7482 (java) S 7476 7478 5628 0 -1 4202560 1544 0 0 0 23 0 0 0 15 0 19 0 807412274 13964099584 49753 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350199705 0 4 0 16800975 18446604440642557248 0 0 -1 6 0 0 0
[pid=7478/tid=7483] ppid=7476 vsize=13636816 CPUtime=0.22 cores=0,2,4,6
/proc/7478/task/7483/stat : 7483 (java) S 7476 7478 5628 0 -1 4202560 255 0 0 0 22 0 0 0 15 0 19 0 807412274 13964099584 49753 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350199705 0 4 0 16800975 18446604440642557248 0 0 -1 4 0 0 0
[pid=7478/tid=7484] ppid=7476 vsize=13636816 CPUtime=0.22 cores=0,2,4,6
/proc/7478/task/7484/stat : 7484 (java) S 7476 7478 5628 0 -1 4202560 626 0 0 0 22 0 0 0 15 0 19 0 807412274 13964099584 49753 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350199705 0 4 0 16800975 18446604440642557248 0 0 -1 0 0 0 0
[pid=7478/tid=7485] ppid=7476 vsize=13636816 CPUtime=0.2 cores=0,2,4,6
/proc/7478/task/7485/stat : 7485 (java) S 7476 7478 5628 0 -1 4202560 585 0 0 0 20 0 0 0 15 0 19 0 807412274 13964099584 49753 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350199705 0 4 0 16800975 18446604440642557248 0 0 -1 0 0 0 0
[pid=7478/tid=7486] ppid=7476 vsize=13636816 CPUtime=0.23 cores=0,2,4,6
/proc/7478/task/7486/stat : 7486 (java) S 7476 7478 5628 0 -1 4202560 1147 0 0 0 23 0 0 0 15 0 19 0 807412274 13964099584 49753 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350199705 0 4 0 16800975 18446604440642557248 0 0 -1 0 0 0 0
[pid=7478/tid=7487] ppid=7476 vsize=13636816 CPUtime=0.25 cores=0,2,4,6
/proc/7478/task/7487/stat : 7487 (java) S 7476 7478 5628 0 -1 4202560 2231 0 0 0 25 0 0 0 15 0 19 0 807412274 13964099584 49753 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350199705 0 4 0 16800975 18446604440642557248 0 0 -1 4 0 0 0
[pid=7478/tid=7488] ppid=7476 vsize=13636816 CPUtime=0.24 cores=0,2,4,6
/proc/7478/task/7488/stat : 7488 (java) S 7476 7478 5628 0 -1 4202560 1147 0 0 0 24 0 0 0 16 0 19 0 807412274 13964099584 49753 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350199705 0 4 0 16800975 18446604440642557248 0 0 -1 6 0 0 0
[pid=7478/tid=7489] ppid=7476 vsize=13636816 CPUtime=7.39 cores=0,2,4,6
/proc/7478/task/7489/stat : 7489 (java) S 7476 7478 5628 0 -1 4202560 8760 0 0 0 736 3 0 0 15 0 19 0 807412275 13964099584 49753 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350200320 0 0 0 16800975 18446604440642557248 0 0 -1 2 0 0 0
[pid=7478/tid=7490] ppid=7476 vsize=13636816 CPUtime=0 cores=0,2,4,6
/proc/7478/task/7490/stat : 7490 (java) S 7476 7478 5628 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 807412275 13964099584 49753 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350199705 0 4 0 16800975 18446604440642557248 0 0 -1 2 0 0 0
[pid=7478/tid=7491] ppid=7476 vsize=13636816 CPUtime=0 cores=0,2,4,6
/proc/7478/task/7491/stat : 7491 (java) S 7476 7478 5628 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 807412275 13964099584 49753 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350199705 0 4 0 16800975 18446604440642557248 0 0 -1 2 0 0 0
[pid=7478/tid=7492] ppid=7476 vsize=13636816 CPUtime=0 cores=0,2,4,6
/proc/7478/task/7492/stat : 7492 (java) S 7476 7478 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807412278 13964099584 49753 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350207409 0 4 0 16800975 18446604440642557248 0 0 -1 2 0 0 0
[pid=7478/tid=7493] ppid=7476 vsize=13636816 CPUtime=0.49 cores=0,2,4,6
/proc/7478/task/7493/stat : 7493 (java) S 7476 7478 5628 0 -1 4202560 2976 0 0 0 48 1 0 0 15 0 19 0 807412278 13964099584 49753 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350199705 0 4 0 16800975 18446604440642557248 0 0 -1 6 0 0 0
[pid=7478/tid=7494] ppid=7476 vsize=13636816 CPUtime=0.65 cores=0,2,4,6
/proc/7478/task/7494/stat : 7494 (java) S 7476 7478 5628 0 -1 4202560 4786 0 0 0 65 0 0 0 15 0 19 0 807412278 13964099584 49753 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350199705 0 4 0 16800975 18446604440642557248 0 0 -1 4 0 0 0
[pid=7478/tid=7495] ppid=7476 vsize=13636816 CPUtime=0 cores=0,2,4,6
/proc/7478/task/7495/stat : 7495 (java) S 7476 7478 5628 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807412278 13964099584 49753 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350199705 0 4 0 16800975 18446604440642557248 0 0 -1 2 0 0 0
[pid=7478/tid=7496] ppid=7476 vsize=13636816 CPUtime=0 cores=0,2,4,6
/proc/7478/task/7496/stat : 7496 (java) S 7476 7478 5628 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 807412278 13964099584 49753 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350200320 0 4 0 16800975 18446604440642557248 0 0 -1 0 0 0 0
[pid=7478/tid=7497] ppid=7476 vsize=13636816 CPUtime=0 cores=0,2,4,6
/proc/7478/task/7497/stat : 7497 (java) S 7476 7478 5628 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 807412325 13964099584 49753 33554432000 1073741824 1073778376 140734004821056 18446744073709551615 270350200320 0 4 0 16800975 18446604440642557248 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 13636816
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1797.84
CPU time (s): 1800.1
CPU user time (s): 1799.95
CPU system time (s): 0.153976
CPU usage (%): 100.126
Max. virtual memory (cumulated for all children) (KiB): 13636816
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.95
system time used= 0.153976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53939
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= 41936
involuntary context switches= 40575
runsolver used 8.33273 second user time and 17.5293 second system time
The end