runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (12439 MiB free)
memory of node 1: 16384 MiB (15439 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4259505-1502646637/watcher-4259505-1502646637 -o /tmp/evaluation-result-4259505-1502646637/solver-4259505-1502646637 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502641620-25474 --watchdog 312 bin/concrete HOME/instance-4259505-1502646637.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=30510, runsolver pid=30507
Current StackSize limit: 8192 KiB
[startup+0.10011 s]*
/proc/loadavg: 1.98 1.94 1.92 2/200 30511
/proc/meminfo: memFree=28547928/32770624 swapFree=67108860/67108860
[pid=30510] ppid=30507 vsize=33976 memory=452 CPUtime=0 cores=1,3,5,7
/proc/30510/stat : 30510 (runsolver) D 30507 30510 8289 0 -1 4202560 111 0 0 0 0 0 0 0 20 0 1 0 112478935 34791424 113 18446744073709551615 4194304 4346622 140720796961904 140720796958536 139708923609815 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6446216 6449568 6574080 140720796967091 140720796967465 140720796967465 140720796970954 0
/proc/30510/statm: 8494 113 52 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 452 KiB
[startup+0.209236 s]*
/proc/loadavg: 1.98 1.94 1.92 2/216 30555
/proc/meminfo: memFree=28533592/32770624 swapFree=67108860/67108860
[pid=30510] ppid=30507 vsize=9636 memory=1512 CPUtime=0.01 cores=1,3,5,7
/proc/30510/stat : 30510 (bash) S 30507 30510 8289 0 -1 4202496 895 6488 0 0 0 0 0 1 20 0 1 0 112478935 9867264 378 18446744073709551615 4194304 5098028 140730544439328 140730544433336 140697232006144 0 0 5 65536 18446744071580971376 0 0 17 7 0 0 12 0 0 7196144 7232144 8310784 140730544447988 140730544448073 140730544448073 140730544451562 0
/proc/30510/statm: 2409 378 297 221 0 118 0
[pid=30540] ppid=30510 vsize=9636 memory=708 CPUtime=0 cores=1,3,5,7
/proc/30540/stat : 30540 (bash) S 30510 30510 8289 0 -1 4202560 157 0 0 0 0 0 0 0 20 0 1 0 112478949 9867264 177 18446744073709551615 4194304 5098028 140730544439328 140730544432008 140697231831676 0 65536 1 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 8310784 140730544447988 140730544448073 140730544448073 140730544451562 0
/proc/30540/statm: 2409 177 96 221 0 118 0
[pid=30541] ppid=30540 vsize=10485312 memory=23740 CPUtime=0.05 cores=1,3,5,7
/proc/30541/stat : 30541 (java) S 30540 30510 8289 0 -1 1077944320 4874 0 0 0 4 1 0 0 20 0 14 0 112478949 10736959488 5935 18446744073709551615 4194304 4196468 140732633465552 140732633448096 140656477998839 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38952960 140732633469528 140732633469542 140732633469542 140732633472975 0
/proc/30541/statm: 2621328 5935 2578 1 0 2610825 0
[pid=30541/tid=30543] ppid=30540 vsize=10485312 memory=7022364594140610616 CPUtime=0.05 cores=1,3,5,7
/proc/30541/task/30543/stat : 30543 (java) D 30540 30510 8289 0 -1 4202560 3012 0 0 0 4 1 0 0 20 0 14 0 112478949 10736959488 5935 18446744073709551615 4194304 4196468 140732633465552 140656482236320 140656478020861 0 4 1 16800974 18446744071580418449 0 0 -1 7 0 0 0 0 0 6293624 6294260 38952960 140732633469528 140732633469542 140732633469542 140732633472975 0
[pid=30541/tid=30544] ppid=30540 vsize=10485312 memory=4294975260 CPUtime=0 cores=1,3,5,7
/proc/30541/task/30544/stat : 30544 (java) S 30540 30510 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 112478950 10736959488 5935 18446744073709551615 4194304 4196468 140732633465552 140656424348176 140656478009045 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38952960 140732633469528 140732633469542 140732633469542 140732633472975 0
[pid=30541/tid=30545] ppid=30540 vsize=10485312 memory=288370085078271616 CPUtime=0 cores=1,3,5,7
/proc/30541/task/30545/stat : 30545 (java) S 30540 30510 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 112478950 10736959488 5935 18446744073709551615 4194304 4196468 140732633465552 140656423295632 140656478009045 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38952960 140732633469528 140732633469542 140732633469542 140732633472975 0
[pid=30541/tid=30546] ppid=30540 vsize=10485312 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30541/task/30546/stat : 30546 (java) S 30540 30510 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 112478950 10736959488 5935 18446744073709551615 4194304 4196468 140732633465552 140656422242576 140656478009045 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38952960 140732633469528 140732633469542 140732633469542 140732633472975 0
[pid=30541/tid=30547] ppid=30540 vsize=10485312 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30541/task/30547/stat : 30547 (java) S 30540 30510 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 112478950 10736959488 5935 18446744073709551615 4194304 4196468 140732633465552 140656086145424 140656478009045 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38952960 140732633469528 140732633469542 140732633469542 140732633472975 0
[pid=30541/tid=30548] ppid=30540 vsize=10485312 memory=139708926559872 CPUtime=0 cores=1,3,5,7
/proc/30541/task/30548/stat : 30548 (java) S 30540 30510 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 112478951 10736959488 5935 18446744073709551615 4194304 4196468 140732633465552 140656041519856 140656478009986 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38952960 140732633469528 140732633469542 140732633469542 140732633472975 0
[pid=30541/tid=30549] ppid=30540 vsize=10485312 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30541/task/30549/stat : 30549 (java) S 30540 30510 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 112478952 10736959488 5935 18446744073709551615 4194304 4196468 140732633465552 140656040466080 140656478009045 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38952960 140732633469528 140732633469542 140732633469542 140732633472975 0
[pid=30541/tid=30550] ppid=30540 vsize=10485312 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30541/task/30550/stat : 30550 (java) S 30540 30510 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 112478952 10736959488 5935 18446744073709551615 4194304 4196468 140732633465552 140656039412976 140656478009045 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38952960 140732633469528 140732633469542 140732633469542 140732633472975 0
[pid=30541/tid=30551] ppid=30540 vsize=10485312 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30541/task/30551/stat : 30551 (java) S 30540 30510 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 112478954 10736959488 5935 18446744073709551615 4194304 4196468 140732633465552 140656038361552 140656478017435 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38952960 140732633469528 140732633469542 140732633469542 140732633472975 0
[pid=30541/tid=30552] ppid=30540 vsize=10485312 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30541/task/30552/stat : 30552 (java) S 30540 30510 8289 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 14 0 112478954 10736959488 5935 18446744073709551615 4194304 4196468 140732633465552 140656037308656 140656478009986 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38952960 140732633469528 140732633469542 140732633469542 140732633472975 0
[pid=30541/tid=30553] ppid=30540 vsize=10485312 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30541/task/30553/stat : 30553 (java) S 30540 30510 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 112478954 10736959488 5935 18446744073709551615 4194304 4196468 140732633465552 140656036256112 140656478009986 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38952960 140732633469528 140732633469542 140732633469542 140732633472975 0
[pid=30541/tid=30554] ppid=30540 vsize=10485312 memory=139708926559872 CPUtime=0 cores=1,3,5,7
/proc/30541/task/30554/stat : 30554 (java) S 30540 30510 8289 0 -1 1077944384 206 0 0 0 0 0 0 0 20 0 14 0 112478954 10736959488 5935 18446744073709551615 4194304 4196468 140732633465552 140656035203056 140656478009986 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38952960 140732633469528 140732633469542 140732633469542 140732633472975 0
[pid=30541/tid=30555] ppid=30540 vsize=10485312 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30541/task/30555/stat : 30555 (java) S 30540 30510 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 112478954 10736959488 5935 18446744073709551615 4194304 4196468 140732633465552 140656034150752 140656478009045 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38952960 140732633469528 140732633469542 140732633469542 140732633472975 0
[pid=30542] ppid=30540 vsize=9872 memory=968 CPUtime=0 cores=1,3,5,7
/proc/30542/stat : 30542 (awk) S 30540 30510 8289 0 -1 4202496 392 0 0 0 0 0 0 0 20 0 1 0 112478949 10108928 242 18446744073709551615 4194304 4609284 140726952918848 140726952918024 139937811942400 0 0 1 1216 18446744071580971376 0 0 17 1 0 0 0 0 0 6708720 6711756 9945088 140726952919680 140726952919710 140726952919710 140726952923115 0
/proc/30542/statm: 2468 242 202 102 0 88 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 10514456 KiB
Current children cumulated memory: 26928 KiB
[startup+0.310323 s]*
/proc/loadavg: 1.98 1.94 1.92 2/213 30572
/proc/meminfo: memFree=28536724/32770624 swapFree=67108860/67108860
[pid=30510] ppid=30507 vsize=13907308 memory=21272 CPUtime=0.13 cores=1,3,5,7
/proc/30510/stat : 30510 (java) S 30507 30510 8289 0 -1 1077944320 5654 12698 0 0 5 1 4 3 20 0 14 0 112478935 14241083392 5318 18446744073709551615 4194304 4196468 140728479149248 140728479131792 140623302926071 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 12 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
/proc/30510/statm: 3476827 5318 2560 1 0 3466324 0
[pid=30510/tid=30560] ppid=30507 vsize=13907308 memory=-8774313645642428999 CPUtime=0.11 cores=1,3,5,7
/proc/30510/task/30560/stat : 30560 (java) D 30507 30510 8289 0 -1 4202560 2906 12698 0 0 4 0 4 3 20 0 14 0 112478959 14241083392 5318 18446744073709551615 4194304 4196468 140728479149248 140623307163552 140623302948093 0 4 1 16800974 18446744071580418449 0 0 -1 3 0 0 0 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
[pid=30510/tid=30561] ppid=30507 vsize=13907308 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30510/task/30561/stat : 30561 (java) S 30507 30510 8289 0 -1 1077944384 1 12698 0 0 0 0 4 3 20 0 14 0 112478960 14241083392 5318 18446744073709551615 4194304 4196468 140728479149248 140623270484368 140623302936277 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
[pid=30510/tid=30562] ppid=30507 vsize=13907308 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30510/task/30562/stat : 30562 (java) S 30507 30510 8289 0 -1 1077944384 1 12698 0 0 0 0 4 3 20 0 14 0 112478960 14241083392 5318 18446744073709551615 4194304 4196468 140728479149248 140622902151440 140623302936277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
[pid=30510/tid=30563] ppid=30507 vsize=13907308 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30510/task/30563/stat : 30563 (java) S 30507 30510 8289 0 -1 1077944384 1 12698 0 0 0 0 4 3 20 0 14 0 112478960 14241083392 5318 18446744073709551615 4194304 4196468 140728479149248 140622901099152 140623302936277 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
[pid=30510/tid=30564] ppid=30507 vsize=13907308 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/30510/task/30564/stat : 30564 (java) S 30507 30510 8289 0 -1 1077944384 2 12698 0 0 0 0 4 3 20 0 14 0 112478960 14241083392 5318 18446744073709551615 4194304 4196468 140728479149248 140622900046352 140623302936277 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
[pid=30510/tid=30565] ppid=30507 vsize=13907308 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/30510/task/30565/stat : 30565 (java) S 30507 30510 8289 0 -1 1077944384 2 12698 0 0 0 0 4 3 20 0 14 0 112478961 14241083392 5318 18446744073709551615 4194304 4196468 140728479149248 140622219663984 140623302937218 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
[pid=30510/tid=30566] ppid=30507 vsize=13907308 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30510/task/30566/stat : 30566 (java) S 30507 30510 8289 0 -1 1077944384 33 12698 0 0 0 0 4 3 20 0 14 0 112478962 14241083392 5318 18446744073709551615 4194304 4196468 140728479149248 140622218609952 140623302936277 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
[pid=30510/tid=30567] ppid=30507 vsize=13907308 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30510/task/30567/stat : 30567 (java) S 30507 30510 8289 0 -1 1077944384 21 12698 0 0 0 0 4 3 20 0 14 0 112478962 14241083392 5318 18446744073709551615 4194304 4196468 140728479149248 140622217557616 140623302936277 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
[pid=30510/tid=30568] ppid=30507 vsize=13907308 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30510/task/30568/stat : 30568 (java) S 30507 30510 8289 0 -1 1077944384 3 12698 0 0 0 0 4 3 20 0 14 0 112478965 14241083392 5318 18446744073709551615 4194304 4196468 140728479149248 140622216505936 140623302944667 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
[pid=30510/tid=30569] ppid=30507 vsize=13907308 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30510/task/30569/stat : 30569 (java) S 30507 30510 8289 0 -1 1077944384 305 12698 0 0 0 0 4 3 20 0 14 0 112478965 14241083392 5318 18446744073709551615 4194304 4196468 140728479149248 140622215452784 140623302937218 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
[pid=30510/tid=30570] ppid=30507 vsize=13907308 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/30510/task/30570/stat : 30570 (java) S 30507 30510 8289 0 -1 1077944384 1 12698 0 0 0 0 4 3 20 0 14 0 112478965 14241083392 5318 18446744073709551615 4194304 4196468 140728479149248 140622214399984 140623302937218 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
[pid=30510/tid=30571] ppid=30507 vsize=13907308 memory=139708926559872 CPUtime=0.07 cores=1,3,5,7
/proc/30510/task/30571/stat : 30571 (java) S 30507 30510 8289 0 -1 1077944384 223 12698 0 0 0 0 4 3 20 0 14 0 112478965 14241083392 5318 18446744073709551615 4194304 4196468 140728479149248 140622213347696 140623302937218 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
[pid=30510/tid=30572] ppid=30507 vsize=13907308 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/30510/task/30572/stat : 30572 (java) S 30507 30510 8289 0 -1 1077944384 3 12698 0 0 0 0 4 3 20 0 14 0 112478965 14241083392 5318 18446744073709551615 4194304 4196468 140728479149248 140622212295136 140623302936277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 13907308 KiB
Current children cumulated memory: 21272 KiB
[startup+0.700859 s]
/proc/loadavg: 1.98 1.94 1.92 5/214 30573
/proc/meminfo: memFree=28511660/32770624 swapFree=67108860/67108860
[pid=30510] ppid=30507 vsize=13974784 memory=56600 CPUtime=0.59 cores=1,3,5,7
/proc/30510/stat : 30510 (java) S 30507 30510 8289 0 -1 1077944320 13660 12698 0 0 48 4 4 3 20 0 15 0 112478935 14310178816 14150 18446744073709551615 4194304 4196468 140728479149248 140728479131792 140623302926071 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 12 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
/proc/30510/statm: 3493696 14150 3091 1 0 3482965 0
[pid=30510/tid=30560] ppid=30507 vsize=13974784 memory=792 CPUtime=0.46 cores=1,3,5,7
/proc/30510/task/30560/stat : 30560 (java) R 30507 30510 8289 0 -1 4202560 10087 12698 0 0 36 3 4 3 20 0 15 0 112478959 14310178816 14150 18446744073709551615 4194304 4196468 140728479149248 140623307145760 140623286969701 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
[pid=30510/tid=30561] ppid=30507 vsize=13974784 memory=1716 CPUtime=0.07 cores=1,3,5,7
/proc/30510/task/30561/stat : 30561 (java) S 30507 30510 8289 0 -1 1077944384 1 12698 0 0 0 0 4 3 20 0 15 0 112478960 14310178816 14150 18446744073709551615 4194304 4196468 140728479149248 140623270484368 140623302936277 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
[pid=30510/tid=30562] ppid=30507 vsize=13974784 memory=7014751519633921361 CPUtime=0.07 cores=1,3,5,7
/proc/30510/task/30562/stat : 30562 (java) S 30507 30510 8289 0 -1 1077944384 1 12698 0 0 0 0 4 3 20 0 15 0 112478960 14310178816 14150 18446744073709551615 4194304 4196468 140728479149248 140622902151440 140623302936277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
[pid=30510/tid=30563] ppid=30507 vsize=13974784 memory=8025788839948412756 CPUtime=0.07 cores=1,3,5,7
/proc/30510/task/30563/stat : 30563 (java) S 30507 30510 8289 0 -1 1077944384 1 12698 0 0 0 0 4 3 20 0 15 0 112478960 14310178816 14150 18446744073709551615 4194304 4196468 140728479149248 140622901099152 140623302936277 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
[pid=30510/tid=30564] ppid=30507 vsize=13974784 memory=5787213835721533265 CPUtime=0.07 cores=1,3,5,7
/proc/30510/task/30564/stat : 30564 (java) S 30507 30510 8289 0 -1 1077944384 2 12698 0 0 0 0 4 3 20 0 15 0 112478960 14310178816 14150 18446744073709551615 4194304 4196468 140728479149248 140622900046352 140623302936277 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
[pid=30510/tid=30565] ppid=30507 vsize=13974784 memory=5450909908396308010 CPUtime=0.07 cores=1,3,5,7
/proc/30510/task/30565/stat : 30565 (java) S 30507 30510 8289 0 -1 1077944384 5 12698 0 0 0 0 4 3 20 0 15 0 112478961 14310178816 14150 18446744073709551615 4194304 4196468 140728479149248 140622219663984 140623302937218 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
[pid=30510/tid=30566] ppid=30507 vsize=13974784 memory=7100839869735606373 CPUtime=0.07 cores=1,3,5,7
/proc/30510/task/30566/stat : 30566 (java) S 30507 30510 8289 0 -1 1077944384 33 12698 0 0 0 0 4 3 20 0 15 0 112478962 14310178816 14150 18446744073709551615 4194304 4196468 140728479149248 140622218609952 140623302936277 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
[pid=30510/tid=30567] ppid=30507 vsize=13974784 memory=4132771212810548115 CPUtime=0.07 cores=1,3,5,7
/proc/30510/task/30567/stat : 30567 (java) S 30507 30510 8289 0 -1 1077944384 21 12698 0 0 0 0 4 3 20 0 15 0 112478962 14310178816 14150 18446744073709551615 4194304 4196468 140728479149248 140622217557616 140623302936277 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
[pid=30510/tid=30568] ppid=30507 vsize=13974784 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30510/task/30568/stat : 30568 (java) S 30507 30510 8289 0 -1 1077944384 3 12698 0 0 0 0 4 3 20 0 15 0 112478965 14310178816 14150 18446744073709551615 4194304 4196468 140728479149248 140622216505936 140623302944667 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
[pid=30510/tid=30569] ppid=30507 vsize=13974784 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/30510/task/30569/stat : 30569 (java) S 30507 30510 8289 0 -1 1077944384 598 12698 0 0 2 0 4 3 20 0 15 0 112478965 14310178816 14150 18446744073709551615 4194304 4196468 140728479149248 140622215452784 140623302937218 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
[pid=30510/tid=30570] ppid=30507 vsize=13974784 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30510/task/30570/stat : 30570 (java) S 30507 30510 8289 0 -1 1077944384 210 12698 0 0 1 0 4 3 20 0 15 0 112478965 14310178816 14150 18446744073709551615 4194304 4196468 140728479149248 140622214399984 140623302937218 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
[pid=30510/tid=30571] ppid=30507 vsize=13974784 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/30510/task/30571/stat : 30571 (java) S 30507 30510 8289 0 -1 1077944384 542 12698 0 0 7 0 4 3 20 0 15 0 112478965 14310178816 14150 18446744073709551615 4194304 4196468 140728479149248 140622213347696 140623302937218 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
[pid=30510/tid=30572] ppid=30507 vsize=13974784 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30510/task/30572/stat : 30572 (java) S 30507 30510 8289 0 -1 1077944384 3 12698 0 0 0 0 4 3 20 0 15 0 112478965 14310178816 14150 18446744073709551615 4194304 4196468 140728479149248 140622212295136 140623302936277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
[pid=30510/tid=30573] ppid=30507 vsize=13974784 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30510/task/30573/stat : 30573 (java) S 30507 30510 8289 0 -1 1077944384 1 12698 0 0 0 0 4 3 20 0 15 0 112478969 14310178816 14150 18446744073709551615 4194304 4196468 140728479149248 140622211242928 140623302937218 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
Current children cumulated CPU time: 0.59 s
Current children cumulated vsize: 13974784 KiB
Current children cumulated memory: 56600 KiB
[startup+1.5007 s]
/proc/loadavg: 1.98 1.94 1.92 4/214 30573
/proc/meminfo: memFree=28470888/32770624 swapFree=67108860/67108860
[pid=30510] ppid=30507 vsize=13985408 memory=135380 CPUtime=1.79 cores=1,3,5,7
/proc/30510/stat : 30510 (java) S 30507 30510 8289 0 -1 1077944320 27617 12698 0 0 164 8 4 3 20 0 15 0 112478935 14321057792 33845 18446744073709551615 4194304 4196468 140728479149248 140728479131792 140623302926071 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 12 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
/proc/30510/statm: 3496352 33845 3343 1 0 3485525 0
[pid=30510/tid=30560] ppid=30507 vsize=13985408 memory=1724 CPUtime=1.26 cores=1,3,5,7
/proc/30510/task/30560/stat : 30560 (java) R 30507 30510 8289 0 -1 4202560 22385 12698 0 0 113 6 4 3 20 0 15 0 112478959 14321057792 33845 18446744073709551615 4194304 4196468 140728479149248 140623307159440 140623302947997 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
[pid=30510/tid=30561] ppid=30507 vsize=13985408 memory=792 CPUtime=0.07 cores=1,3,5,7
/proc/30510/task/30561/stat : 30561 (java) S 30507 30510 8289 0 -1 1077944384 1 12698 0 0 0 0 4 3 20 0 15 0 112478960 14321057792 33845 18446744073709551615 4194304 4196468 140728479149248 140623270484368 140623302936277 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
[pid=30510/tid=30562] ppid=30507 vsize=13985408 memory=279417553387752 CPUtime=0.07 cores=1,3,5,7
/proc/30510/task/30562/stat : 30562 (java) S 30507 30510 8289 0 -1 1077944384 1 12698 0 0 0 0 4 3 20 0 15 0 112478960 14321057792 33845 18446744073709551615 4194304 4196468 140728479149248 140622902151440 140623302936277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
[pid=30510/tid=30563] ppid=30507 vsize=13985408 memory=8199 CPUtime=0.07 cores=1,3,5,7
/proc/30510/task/30563/stat : 30563 (java) S 30507 30510 8289 0 -1 1077944384 1 12698 0 0 0 0 4 3 20 0 15 0 112478960 14321057792 33845 18446744073709551615 4194304 4196468 140728479149248 140622901099152 140623302936277 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
[pid=30510/tid=30564] ppid=30507 vsize=13985408 memory=22998 CPUtime=0.07 cores=1,3,5,7
/proc/30510/task/30564/stat : 30564 (java) S 30507 30510 8289 0 -1 1077944384 2 12698 0 0 0 0 4 3 20 0 15 0 112478960 14321057792 33845 18446744073709551615 4194304 4196468 140728479149248 140622900046352 140623302936277 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
[pid=30510/tid=30565] ppid=30507 vsize=13985408 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30510/task/30565/stat : 30565 (java) S 30507 30510 8289 0 -1 1077944384 5 12698 0 0 0 0 4 3 20 0 15 0 112478961 14321057792 33845 18446744073709551615 4194304 4196468 140728479149248 140622219663984 140623302937218 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
[pid=30510/tid=30566] ppid=30507 vsize=13985408 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30510/task/30566/stat : 30566 (java) S 30507 30510 8289 0 -1 1077944384 33 12698 0 0 0 0 4 3 20 0 15 0 112478962 14321057792 33845 18446744073709551615 4194304 4196468 140728479149248 140622218609952 140623302936277 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
[pid=30510/tid=30567] ppid=30507 vsize=13985408 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30510/task/30567/stat : 30567 (java) S 30507 30510 8289 0 -1 1077944384 21 12698 0 0 0 0 4 3 20 0 15 0 112478962 14321057792 33845 18446744073709551615 4194304 4196468 140728479149248 140622217557616 140623302936277 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
[pid=30510/tid=30568] ppid=30507 vsize=13985408 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/30510/task/30568/stat : 30568 (java) S 30507 30510 8289 0 -1 1077944384 3 12698 0 0 0 0 4 3 20 0 15 0 112478965 14321057792 33845 18446744073709551615 4194304 4196468 140728479149248 140622216505936 140623302944667 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
[pid=30510/tid=30569] ppid=30507 vsize=13985408 memory=-8774313645642428999 CPUtime=0.2 cores=1,3,5,7
/proc/30510/task/30569/stat : 30569 (java) S 30507 30510 8289 0 -1 1077944384 1011 12698 0 0 13 0 4 3 20 0 15 0 112478965 14321057792 33845 18446744073709551615 4194304 4196468 140728479149248 140622215452784 140623302937218 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
[pid=30510/tid=30570] ppid=30507 vsize=13985408 memory=6083068230698556831 CPUtime=0.21 cores=1,3,5,7
/proc/30510/task/30570/stat : 30570 (java) S 30507 30510 8289 0 -1 1077944384 730 12698 0 0 14 0 4 3 20 0 15 0 112478965 14321057792 33845 18446744073709551615 4194304 4196468 140728479149248 140622214399984 140623302937218 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
[pid=30510/tid=30571] ppid=30507 vsize=13985408 memory=-6729883488909619554 CPUtime=0.29 cores=1,3,5,7
/proc/30510/task/30571/stat : 30571 (java) S 30507 30510 8289 0 -1 1077944384 1259 12698 0 0 22 0 4 3 20 0 15 0 112478965 14321057792 33845 18446744073709551615 4194304 4196468 140728479149248 140622213347696 140623302937218 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
[pid=30510/tid=30572] ppid=30507 vsize=13985408 memory=7516655389137546129 CPUtime=0.07 cores=1,3,5,7
/proc/30510/task/30572/stat : 30572 (java) S 30507 30510 8289 0 -1 1077944384 3 12698 0 0 0 0 4 3 20 0 15 0 112478965 14321057792 33845 18446744073709551615 4194304 4196468 140728479149248 140622212295136 140623302936277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
[pid=30510/tid=30573] ppid=30507 vsize=13985408 memory=7516638896463129489 CPUtime=0.07 cores=1,3,5,7
/proc/30510/task/30573/stat : 30573 (java) S 30507 30510 8289 0 -1 1077944384 10 12698 0 0 0 0 4 3 20 0 15 0 112478969 14321057792 33845 18446744073709551615 4194304 4196468 140728479149248 140622211242928 140623302937218 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
Current children cumulated CPU time: 1.79 s
Current children cumulated vsize: 13985408 KiB
Current children cumulated memory: 135380 KiB
[startup+3.11093 s]
/proc/loadavg: 1.98 1.94 1.92 5/214 30573
/proc/meminfo: memFree=28274080/32770624 swapFree=67108860/67108860
################
# More data... #
################
/proc/30510/task/30560/stat : 30560 (java) R 30507 30510 8289 0 -1 4202560 66988 12698 0 0 15978 65 4 3 20 0 15 0 112478959 14407233536 985030 18446744073709551615 4194304 4196468 140728479149248 140623307157248 140622963096460 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
[pid=30510/tid=30561] ppid=30507 vsize=14069564 memory=3940116 CPUtime=1.34 cores=1,3,5,7
/proc/30510/task/30561/stat : 30561 (java) S 30507 30510 8289 0 -1 1077944384 1977 12698 0 0 114 13 4 3 20 0 15 0 112478960 14407233536 985030 18446744073709551615 4194304 4196468 140728479149248 140623270484368 140623302936277 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
[pid=30510/tid=30562] ppid=30507 vsize=14069564 memory=3940116 CPUtime=1.31 cores=1,3,5,7
/proc/30510/task/30562/stat : 30562 (java) S 30507 30510 8289 0 -1 1077944384 2051 12698 0 0 112 12 4 3 20 0 15 0 112478960 14407233536 985030 18446744073709551615 4194304 4196468 140728479149248 140622902151440 140623302936277 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
[pid=30510/tid=30563] ppid=30507 vsize=14069564 memory=3940120 CPUtime=1.33 cores=1,3,5,7
/proc/30510/task/30563/stat : 30563 (java) S 30507 30510 8289 0 -1 1077944384 2129 12698 0 0 112 14 4 3 20 0 15 0 112478960 14407233536 985030 18446744073709551615 4194304 4196468 140728479149248 140622901099152 140623302936277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
[pid=30510/tid=30564] ppid=30507 vsize=14069564 memory=3940120 CPUtime=1.33 cores=1,3,5,7
/proc/30510/task/30564/stat : 30564 (java) S 30507 30510 8289 0 -1 1077944384 2542 12698 0 0 112 14 4 3 20 0 15 0 112478960 14407233536 985030 18446744073709551615 4194304 4196468 140728479149248 140622900046352 140623302936277 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
[pid=30510/tid=30565] ppid=30507 vsize=14069564 memory=3940120 CPUtime=0.29 cores=1,3,5,7
/proc/30510/task/30565/stat : 30565 (java) S 30507 30510 8289 0 -1 1077944384 7665 12698 0 0 21 1 4 3 20 0 15 0 112478961 14407233536 985030 18446744073709551615 4194304 4196468 140728479149248 140622219663984 140623302937218 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
[pid=30510/tid=30566] ppid=30507 vsize=14069564 memory=3940120 CPUtime=0.07 cores=1,3,5,7
/proc/30510/task/30566/stat : 30566 (java) S 30507 30510 8289 0 -1 1077944384 65 12698 0 0 0 0 4 3 20 0 15 0 112478962 14407233536 985030 18446744073709551615 4194304 4196468 140728479149248 140622218610080 140623302936277 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
[pid=30510/tid=30567] ppid=30507 vsize=14069564 memory=3940112 CPUtime=0.07 cores=1,3,5,7
/proc/30510/task/30567/stat : 30567 (java) S 30507 30510 8289 0 -1 1077944384 64 12698 0 0 0 0 4 3 20 0 15 0 112478962 14407233536 985030 18446744073709551615 4194304 4196468 140728479149248 140622217557632 140623302936277 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
[pid=30510/tid=30568] ppid=30507 vsize=14069564 memory=15876 CPUtime=0.07 cores=1,3,5,7
/proc/30510/task/30568/stat : 30568 (java) S 30507 30510 8289 0 -1 1077944384 3 12698 0 0 0 0 4 3 20 0 15 0 112478965 14407233536 985030 18446744073709551615 4194304 4196468 140728479149248 140622216505936 140623302944667 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
[pid=30510/tid=30569] ppid=30507 vsize=14069564 memory=3940116 CPUtime=9.89 cores=1,3,5,7
/proc/30510/task/30569/stat : 30569 (java) S 30507 30510 8289 0 -1 1077944384 18809 12698 0 0 977 5 4 3 20 0 15 0 112478965 14407233536 985030 18446744073709551615 4194304 4196468 140728479149248 140622215452784 140623302937218 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 14 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
[pid=30510/tid=30570] ppid=30507 vsize=14069564 memory=3940116 CPUtime=11.7 cores=1,3,5,7
/proc/30510/task/30570/stat : 30570 (java) S 30507 30510 8289 0 -1 1077944384 27578 12698 0 0 1159 4 4 3 20 0 15 0 112478965 14407233536 985030 18446744073709551615 4194304 4196468 140728479149248 140622214399984 140623302937218 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
[pid=30510/tid=30571] ppid=30507 vsize=14069564 memory=792 CPUtime=2.88 cores=1,3,5,7
/proc/30510/task/30571/stat : 30571 (java) S 30507 30510 8289 0 -1 1077944384 18665 12698 0 0 276 5 4 3 20 0 15 0 112478965 14407233536 985030 18446744073709551615 4194304 4196468 140728479149248 140622213347696 140623302937218 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
[pid=30510/tid=30572] ppid=30507 vsize=14069564 memory=1716 CPUtime=0.07 cores=1,3,5,7
/proc/30510/task/30572/stat : 30572 (java) S 30507 30510 8289 0 -1 1077944384 3 12698 0 0 0 0 4 3 20 0 15 0 112478965 14407233536 985030 18446744073709551615 4194304 4196468 140728479149248 140622212295136 140623302936277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
[pid=30510/tid=30573] ppid=30507 vsize=14069564 memory=3940120 CPUtime=0.15 cores=1,3,5,7
/proc/30510/task/30573/stat : 30573 (java) S 30507 30510 8289 0 -1 1077944384 537 12698 0 0 4 4 4 3 20 0 15 0 112478969 14407233536 985030 18446744073709551615 4194304 4196468 140728479149248 140622211242928 140623302937218 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
Current children cumulated CPU time: 190.19 s
Current children cumulated vsize: 14069564 KiB
Current children cumulated memory: 3940120 KiB
[startup+222.301 s]
/proc/loadavg: 2.18 2.17 2.02 3/217 30720
/proc/meminfo: memFree=23644136/32770624 swapFree=67108860/67108860
[pid=30510] ppid=30507 vsize=14069564 memory=3944712 CPUtime=250.45 cores=1,3,5,7
/proc/30510/stat : 30510 (java) S 30507 30510 8289 0 -1 1077944320 168321 12698 0 0 24894 144 4 3 20 0 15 0 112478935 14407233536 986178 18446744073709551615 4194304 4196468 140728479149248 140728479131792 140623302926071 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 12 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
/proc/30510/statm: 3517391 986178 3499 1 0 3506005 0
[pid=30510/tid=30560] ppid=30507 vsize=14069564 memory=3944708 CPUtime=220.48 cores=1,3,5,7
/proc/30510/task/30560/stat : 30560 (java) R 30507 30510 8289 0 -1 4202560 73951 12698 0 0 21974 67 4 3 20 0 15 0 112478959 14407233536 986178 18446744073709551615 4194304 4196468 140728479149248 140623307154688 140622963096353 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
[pid=30510/tid=30561] ppid=30507 vsize=14069564 memory=3944708 CPUtime=1.35 cores=1,3,5,7
/proc/30510/task/30561/stat : 30561 (java) S 30507 30510 8289 0 -1 1077944384 2038 12698 0 0 115 13 4 3 20 0 15 0 112478960 14407233536 986178 18446744073709551615 4194304 4196468 140728479149248 140623270484368 140623302936277 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
[pid=30510/tid=30562] ppid=30507 vsize=14069564 memory=3944712 CPUtime=1.32 cores=1,3,5,7
/proc/30510/task/30562/stat : 30562 (java) S 30507 30510 8289 0 -1 1077944384 2124 12698 0 0 113 12 4 3 20 0 15 0 112478960 14407233536 986178 18446744073709551615 4194304 4196468 140728479149248 140622902151440 140623302936277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
[pid=30510/tid=30563] ppid=30507 vsize=14069564 memory=3944712 CPUtime=1.34 cores=1,3,5,7
/proc/30510/task/30563/stat : 30563 (java) S 30507 30510 8289 0 -1 1077944384 2309 12698 0 0 113 14 4 3 20 0 15 0 112478960 14407233536 986178 18446744073709551615 4194304 4196468 140728479149248 140622901099152 140623302936277 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
[pid=30510/tid=30564] ppid=30507 vsize=14069564 memory=3944712 CPUtime=1.34 cores=1,3,5,7
/proc/30510/task/30564/stat : 30564 (java) S 30507 30510 8289 0 -1 1077944384 3801 12698 0 0 113 14 4 3 20 0 15 0 112478960 14407233536 986178 18446744073709551615 4194304 4196468 140728479149248 140622900046352 140623302936277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
[pid=30510/tid=30565] ppid=30507 vsize=14069564 memory=3944708 CPUtime=0.3 cores=1,3,5,7
/proc/30510/task/30565/stat : 30565 (java) S 30507 30510 8289 0 -1 1077944384 7928 12698 0 0 21 2 4 3 20 0 15 0 112478961 14407233536 986178 18446744073709551615 4194304 4196468 140728479149248 140622219663984 140623302937218 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
[pid=30510/tid=30566] ppid=30507 vsize=14069564 memory=3944712 CPUtime=0.07 cores=1,3,5,7
/proc/30510/task/30566/stat : 30566 (java) S 30507 30510 8289 0 -1 1077944384 67 12698 0 0 0 0 4 3 20 0 15 0 112478962 14407233536 986178 18446744073709551615 4194304 4196468 140728479149248 140622218610080 140623302936277 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
[pid=30510/tid=30567] ppid=30507 vsize=14069564 memory=4168 CPUtime=0.07 cores=1,3,5,7
/proc/30510/task/30567/stat : 30567 (java) S 30507 30510 8289 0 -1 1077944384 64 12698 0 0 0 0 4 3 20 0 15 0 112478962 14407233536 986178 18446744073709551615 4194304 4196468 140728479149248 140622217557632 140623302936277 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
[pid=30510/tid=30568] ppid=30507 vsize=14069564 memory=54488 CPUtime=0.07 cores=1,3,5,7
/proc/30510/task/30568/stat : 30568 (java) S 30507 30510 8289 0 -1 1077944384 3 12698 0 0 0 0 4 3 20 0 15 0 112478965 14407233536 986178 18446744073709551615 4194304 4196468 140728479149248 140622216505936 140623302944667 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
[pid=30510/tid=30569] ppid=30507 vsize=14069564 memory=3944712 CPUtime=9.97 cores=1,3,5,7
/proc/30510/task/30569/stat : 30569 (java) S 30507 30510 8289 0 -1 1077944384 20959 12698 0 0 985 5 4 3 20 0 15 0 112478965 14407233536 986178 18446744073709551615 4194304 4196468 140728479149248 140622215452784 140623302937218 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 14 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
[pid=30510/tid=30570] ppid=30507 vsize=14069564 memory=1160 CPUtime=11.77 cores=1,3,5,7
/proc/30510/task/30570/stat : 30570 (java) S 30507 30510 8289 0 -1 1077944384 29131 12698 0 0 1166 4 4 3 20 0 15 0 112478965 14407233536 986178 18446744073709551615 4194304 4196468 140728479149248 140622214399984 140623302937218 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
[pid=30510/tid=30571] ppid=30507 vsize=14069564 memory=3944712 CPUtime=2.93 cores=1,3,5,7
/proc/30510/task/30571/stat : 30571 (java) S 30507 30510 8289 0 -1 1077944384 23225 12698 0 0 281 5 4 3 20 0 15 0 112478965 14407233536 986178 18446744073709551615 4194304 4196468 140728479149248 140622213347696 140623302937218 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
[pid=30510/tid=30572] ppid=30507 vsize=14069564 memory=4168 CPUtime=0.07 cores=1,3,5,7
/proc/30510/task/30572/stat : 30572 (java) S 30507 30510 8289 0 -1 1077944384 3 12698 0 0 0 0 4 3 20 0 15 0 112478965 14407233536 986178 18446744073709551615 4194304 4196468 140728479149248 140622212295136 140623302936277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
[pid=30510/tid=30573] ppid=30507 vsize=14069564 memory=54488 CPUtime=0.18 cores=1,3,5,7
/proc/30510/task/30573/stat : 30573 (java) S 30507 30510 8289 0 -1 1077944384 566 12698 0 0 6 5 4 3 20 0 15 0 112478969 14407233536 986178 18446744073709551615 4194304 4196468 140728479149248 140622211242928 140623302937218 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
Current children cumulated CPU time: 250.45 s
Current children cumulated vsize: 14069564 KiB
Current children cumulated memory: 3944712 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+223.901 s]
/proc/loadavg: 2.18 2.17 2.02 3/217 30720
/proc/meminfo: memFree=23644260/32770624 swapFree=67108860/67108860
[pid=30510] ppid=30507 vsize=14069564 memory=3944712 CPUtime=252.05 cores=1,3,5,7
/proc/30510/stat : 30510 (java) S 30507 30510 8289 0 -1 1077944320 168401 12698 0 0 25054 144 4 3 20 0 15 0 112478935 14407233536 986178 18446744073709551615 4194304 4196468 140728479149248 140728479131792 140623302926071 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 12 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
/proc/30510/statm: 3517391 986178 3499 1 0 3506005 0
[pid=30510/tid=30560] ppid=30507 vsize=14069564 memory=1716 CPUtime=222.08 cores=1,3,5,7
/proc/30510/task/30560/stat : 30560 (java) R 30507 30510 8289 0 -1 4202560 74031 12698 0 0 22134 67 4 3 20 0 15 0 112478959 14407233536 986178 18446744073709551615 4194304 4196468 140728479149248 140623307156816 140622944760982 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
[pid=30510/tid=30561] ppid=30507 vsize=14069564 memory=3944712 CPUtime=1.35 cores=1,3,5,7
/proc/30510/task/30561/stat : 30561 (java) S 30507 30510 8289 0 -1 1077944384 2038 12698 0 0 115 13 4 3 20 0 15 0 112478960 14407233536 986178 18446744073709551615 4194304 4196468 140728479149248 140623270484368 140623302936277 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
[pid=30510/tid=30562] ppid=30507 vsize=14069564 memory=3944708 CPUtime=1.32 cores=1,3,5,7
/proc/30510/task/30562/stat : 30562 (java) S 30507 30510 8289 0 -1 1077944384 2124 12698 0 0 113 12 4 3 20 0 15 0 112478960 14407233536 986178 18446744073709551615 4194304 4196468 140728479149248 140622902151440 140623302936277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
[pid=30510/tid=30563] ppid=30507 vsize=14069564 memory=3944708 CPUtime=1.34 cores=1,3,5,7
/proc/30510/task/30563/stat : 30563 (java) S 30507 30510 8289 0 -1 1077944384 2309 12698 0 0 113 14 4 3 20 0 15 0 112478960 14407233536 986178 18446744073709551615 4194304 4196468 140728479149248 140622901099152 140623302936277 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
[pid=30510/tid=30564] ppid=30507 vsize=14069564 memory=3944712 CPUtime=1.34 cores=1,3,5,7
/proc/30510/task/30564/stat : 30564 (java) S 30507 30510 8289 0 -1 1077944384 3801 12698 0 0 113 14 4 3 20 0 15 0 112478960 14407233536 986178 18446744073709551615 4194304 4196468 140728479149248 140622900046352 140623302936277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
[pid=30510/tid=30565] ppid=30507 vsize=14069564 memory=3944712 CPUtime=0.3 cores=1,3,5,7
/proc/30510/task/30565/stat : 30565 (java) S 30507 30510 8289 0 -1 1077944384 7928 12698 0 0 21 2 4 3 20 0 15 0 112478961 14407233536 986178 18446744073709551615 4194304 4196468 140728479149248 140622219663984 140623302937218 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
[pid=30510/tid=30566] ppid=30507 vsize=14069564 memory=3944712 CPUtime=0.07 cores=1,3,5,7
/proc/30510/task/30566/stat : 30566 (java) S 30507 30510 8289 0 -1 1077944384 67 12698 0 0 0 0 4 3 20 0 15 0 112478962 14407233536 986178 18446744073709551615 4194304 4196468 140728479149248 140622218610080 140623302936277 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
[pid=30510/tid=30567] ppid=30507 vsize=14069564 memory=3944712 CPUtime=0.07 cores=1,3,5,7
/proc/30510/task/30567/stat : 30567 (java) S 30507 30510 8289 0 -1 1077944384 64 12698 0 0 0 0 4 3 20 0 15 0 112478962 14407233536 986178 18446744073709551615 4194304 4196468 140728479149248 140622217557632 140623302936277 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
[pid=30510/tid=30568] ppid=30507 vsize=14069564 memory=3944712 CPUtime=0.07 cores=1,3,5,7
/proc/30510/task/30568/stat : 30568 (java) S 30507 30510 8289 0 -1 1077944384 3 12698 0 0 0 0 4 3 20 0 15 0 112478965 14407233536 986178 18446744073709551615 4194304 4196468 140728479149248 140622216505936 140623302944667 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
[pid=30510/tid=30569] ppid=30507 vsize=14069564 memory=3944712 CPUtime=9.97 cores=1,3,5,7
/proc/30510/task/30569/stat : 30569 (java) S 30507 30510 8289 0 -1 1077944384 20959 12698 0 0 985 5 4 3 20 0 15 0 112478965 14407233536 986178 18446744073709551615 4194304 4196468 140728479149248 140622215452784 140623302937218 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 14 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
[pid=30510/tid=30570] ppid=30507 vsize=14069564 memory=3944712 CPUtime=11.77 cores=1,3,5,7
/proc/30510/task/30570/stat : 30570 (java) S 30507 30510 8289 0 -1 1077944384 29131 12698 0 0 1166 4 4 3 20 0 15 0 112478965 14407233536 986178 18446744073709551615 4194304 4196468 140728479149248 140622214399984 140623302937218 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
[pid=30510/tid=30571] ppid=30507 vsize=14069564 memory=4168 CPUtime=2.93 cores=1,3,5,7
/proc/30510/task/30571/stat : 30571 (java) S 30507 30510 8289 0 -1 1077944384 23225 12698 0 0 281 5 4 3 20 0 15 0 112478965 14407233536 986178 18446744073709551615 4194304 4196468 140728479149248 140622213347696 140623302937218 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
[pid=30510/tid=30572] ppid=30507 vsize=14069564 memory=4168 CPUtime=0.07 cores=1,3,5,7
/proc/30510/task/30572/stat : 30572 (java) S 30507 30510 8289 0 -1 1077944384 3 12698 0 0 0 0 4 3 20 0 15 0 112478965 14407233536 986178 18446744073709551615 4194304 4196468 140728479149248 140622212295136 140623302936277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
[pid=30510/tid=30573] ppid=30507 vsize=14069564 memory=54488 CPUtime=0.18 cores=1,3,5,7
/proc/30510/task/30573/stat : 30573 (java) S 30507 30510 8289 0 -1 1077944384 566 12698 0 0 6 5 4 3 20 0 15 0 112478969 14407233536 986178 18446744073709551615 4194304 4196468 140728479149248 140622211242928 140623302937218 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
Current children cumulated CPU time: 252.05 s
Current children cumulated vsize: 14069564 KiB
Current children cumulated memory: 3944712 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+223.956 s]
# the end of solver process 30510 was just reported to runsolver
# cumulated CPU time of all completed processes: user=250.618 s, system=1.50429 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+223.901 s]
/proc/loadavg: 2.18 2.17 2.02 3/217 30720
/proc/meminfo: memFree=23644260/32770624 swapFree=67108860/67108860
[pid=30510] ppid=30507 vsize=14069564 memory=3944712 CPUtime=252.05 cores=1,3,5,7
/proc/30510/stat : 30510 (java) S 30507 30510 8289 0 -1 1077944320 168401 12698 0 0 25054 144 4 3 20 0 15 0 112478935 14407233536 986178 18446744073709551615 4194304 4196468 140728479149248 140728479131792 140623302926071 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 12 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
/proc/30510/statm: 3517391 986178 3499 1 0 3506005 0
[pid=30510/tid=30560] ppid=30507 vsize=14069564 memory=1716 CPUtime=222.08 cores=1,3,5,7
/proc/30510/task/30560/stat : 30560 (java) R 30507 30510 8289 0 -1 4202560 74031 12698 0 0 22134 67 4 3 20 0 15 0 112478959 14407233536 986178 18446744073709551615 4194304 4196468 140728479149248 140623307156816 140622944760982 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
[pid=30510/tid=30561] ppid=30507 vsize=14069564 memory=3944712 CPUtime=1.35 cores=1,3,5,7
/proc/30510/task/30561/stat : 30561 (java) S 30507 30510 8289 0 -1 1077944384 2038 12698 0 0 115 13 4 3 20 0 15 0 112478960 14407233536 986178 18446744073709551615 4194304 4196468 140728479149248 140623270484368 140623302936277 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
[pid=30510/tid=30562] ppid=30507 vsize=14069564 memory=3944708 CPUtime=1.32 cores=1,3,5,7
/proc/30510/task/30562/stat : 30562 (java) S 30507 30510 8289 0 -1 1077944384 2124 12698 0 0 113 12 4 3 20 0 15 0 112478960 14407233536 986178 18446744073709551615 4194304 4196468 140728479149248 140622902151440 140623302936277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
[pid=30510/tid=30563] ppid=30507 vsize=14069564 memory=3944708 CPUtime=1.34 cores=1,3,5,7
/proc/30510/task/30563/stat : 30563 (java) S 30507 30510 8289 0 -1 1077944384 2309 12698 0 0 113 14 4 3 20 0 15 0 112478960 14407233536 986178 18446744073709551615 4194304 4196468 140728479149248 140622901099152 140623302936277 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
[pid=30510/tid=30564] ppid=30507 vsize=14069564 memory=3944712 CPUtime=1.34 cores=1,3,5,7
/proc/30510/task/30564/stat : 30564 (java) S 30507 30510 8289 0 -1 1077944384 3801 12698 0 0 113 14 4 3 20 0 15 0 112478960 14407233536 986178 18446744073709551615 4194304 4196468 140728479149248 140622900046352 140623302936277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
[pid=30510/tid=30565] ppid=30507 vsize=14069564 memory=3944712 CPUtime=0.3 cores=1,3,5,7
/proc/30510/task/30565/stat : 30565 (java) S 30507 30510 8289 0 -1 1077944384 7928 12698 0 0 21 2 4 3 20 0 15 0 112478961 14407233536 986178 18446744073709551615 4194304 4196468 140728479149248 140622219663984 140623302937218 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
[pid=30510/tid=30566] ppid=30507 vsize=14069564 memory=3944712 CPUtime=0.07 cores=1,3,5,7
/proc/30510/task/30566/stat : 30566 (java) S 30507 30510 8289 0 -1 1077944384 67 12698 0 0 0 0 4 3 20 0 15 0 112478962 14407233536 986178 18446744073709551615 4194304 4196468 140728479149248 140622218610080 140623302936277 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
[pid=30510/tid=30567] ppid=30507 vsize=14069564 memory=3944712 CPUtime=0.07 cores=1,3,5,7
/proc/30510/task/30567/stat : 30567 (java) S 30507 30510 8289 0 -1 1077944384 64 12698 0 0 0 0 4 3 20 0 15 0 112478962 14407233536 986178 18446744073709551615 4194304 4196468 140728479149248 140622217557632 140623302936277 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
[pid=30510/tid=30568] ppid=30507 vsize=14069564 memory=3944712 CPUtime=0.07 cores=1,3,5,7
/proc/30510/task/30568/stat : 30568 (java) S 30507 30510 8289 0 -1 1077944384 3 12698 0 0 0 0 4 3 20 0 15 0 112478965 14407233536 986178 18446744073709551615 4194304 4196468 140728479149248 140622216505936 140623302944667 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
[pid=30510/tid=30569] ppid=30507 vsize=14069564 memory=3944712 CPUtime=9.97 cores=1,3,5,7
/proc/30510/task/30569/stat : 30569 (java) S 30507 30510 8289 0 -1 1077944384 20959 12698 0 0 985 5 4 3 20 0 15 0 112478965 14407233536 986178 18446744073709551615 4194304 4196468 140728479149248 140622215452784 140623302937218 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 14 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
[pid=30510/tid=30570] ppid=30507 vsize=14069564 memory=3944712 CPUtime=11.77 cores=1,3,5,7
/proc/30510/task/30570/stat : 30570 (java) S 30507 30510 8289 0 -1 1077944384 29131 12698 0 0 1166 4 4 3 20 0 15 0 112478965 14407233536 986178 18446744073709551615 4194304 4196468 140728479149248 140622214399984 140623302937218 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
[pid=30510/tid=30571] ppid=30507 vsize=14069564 memory=4168 CPUtime=2.93 cores=1,3,5,7
/proc/30510/task/30571/stat : 30571 (java) S 30507 30510 8289 0 -1 1077944384 23225 12698 0 0 281 5 4 3 20 0 15 0 112478965 14407233536 986178 18446744073709551615 4194304 4196468 140728479149248 140622213347696 140623302937218 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
[pid=30510/tid=30572] ppid=30507 vsize=14069564 memory=4168 CPUtime=0.07 cores=1,3,5,7
/proc/30510/task/30572/stat : 30572 (java) S 30507 30510 8289 0 -1 1077944384 3 12698 0 0 0 0 4 3 20 0 15 0 112478965 14407233536 986178 18446744073709551615 4194304 4196468 140728479149248 140622212295136 140623302936277 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
[pid=30510/tid=30573] ppid=30507 vsize=14069564 memory=54488 CPUtime=0.18 cores=1,3,5,7
/proc/30510/task/30573/stat : 30573 (java) S 30507 30510 8289 0 -1 1077944384 566 12698 0 0 6 5 4 3 20 0 15 0 112478969 14407233536 986178 18446744073709551615 4194304 4196468 140728479149248 140622211242928 140623302937218 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20176896 140728479152048 140728479154833 140728479154833 140728479158223 0
Current children cumulated CPU time: 252.05 s
Current children cumulated vsize: 14069564 KiB
Current children cumulated memory: 3944712 KiB
Child status: 143
Real time (s): 223.956
CPU time (s): 252.122
CPU user time (s): 250.618
CPU system time (s): 1.50429
CPU usage (%): 112.577
Max. virtual memory (cumulated for all children) (KiB): 14069564
Max. memory (cumulated for all children) (KiB): 4003604
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.618
system time used= 1.50429
maximum resident set size= 4003928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 181919
page faults= 0
swaps= 0
block input operations= 0
block output operations= 504
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16850
involuntary context switches= 390
# summary of solver processes directly reported to runsolver:
# pid: 30510
# total CPU time (s): 252.122
# total CPU user time (s): 250.618
# total CPU system time (s): 1.50429
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.35096 second user time and 2.14732 second system time
The end