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 (3353 MiB free)
memory of node 1: 16384 MiB (10609 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4289951-1532210539/watcher-4289951-1532210539 -o /tmp/evaluation-result-4289951-1532210539/solver-4289951-1532210539 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532208144-27126 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4289951-1532210539.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=27441, runsolver pid=27438
Current StackSize limit: 8192 KiB
[startup+0.100095 s]*
/proc/loadavg: 2.09 2.00 1.97 5/216 27456
/proc/meminfo: memFree=14278516/32770624 swapFree=67108860/67108860
[pid=27441] ppid=27438 vsize=10659012 memory=30064 CPUtime=0.13 cores=1,3,5,7
/proc/27441/stat : 27441 (java) S 27438 27441 25074 0 -1 1077944320 6630 0 0 0 12 1 0 0 20 0 15 0 38617041 10914828288 7516 33554432000 4194304 4196468 140728932179792 140728932162336 139940014984951 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
/proc/27441/statm: 2664753 7516 2816 1 0 2627263 0
[pid=27441/tid=27443] ppid=27438 vsize=10659012 memory=-8773748148829851523 CPUtime=0.09 cores=1,3,5,7
/proc/27441/task/27443/stat : 27443 (java) R 27438 27441 25074 0 -1 4202560 4441 0 0 0 8 1 0 0 20 0 15 0 38617041 10914828288 7516 33554432000 4194304 4196468 140728932179792 139940019206448 139939999065438 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27444] ppid=27438 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27441/task/27444/stat : 27444 (java) S 27438 27441 25074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38617042 10914828288 7516 33554432000 4194304 4196468 140728932179792 139939621297168 139940014995157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27445] ppid=27438 vsize=10659012 memory=140419314415232 CPUtime=0 cores=1,3,5,7
/proc/27441/task/27445/stat : 27445 (java) S 27438 27441 25074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38617042 10914828288 7516 33554432000 4194304 4196468 140728932179792 139939620244624 139940014995157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27446] ppid=27438 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27441/task/27446/stat : 27446 (java) S 27438 27441 25074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38617042 10914828288 7516 33554432000 4194304 4196468 140728932179792 139939619191568 139940014995157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27447] ppid=27438 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27441/task/27447/stat : 27447 (java) S 27438 27441 25074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38617042 10914828288 7516 33554432000 4194304 4196468 140728932179792 139939618139024 139940014995157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27448] ppid=27438 vsize=10659012 memory=140419314415232 CPUtime=0 cores=1,3,5,7
/proc/27441/task/27448/stat : 27448 (java) S 27438 27441 25074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38617043 10914828288 7516 33554432000 4194304 4196468 140728932179792 139939574720752 139940014996098 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27449] ppid=27438 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27441/task/27449/stat : 27449 (java) S 27438 27441 25074 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 38617044 10914828288 7516 33554432000 4194304 4196468 140728932179792 139939573666976 139940014995157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27450] ppid=27438 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27441/task/27450/stat : 27450 (java) S 27438 27441 25074 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 38617044 10914828288 7516 33554432000 4194304 4196468 140728932179792 139939572613872 139940014995157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27451] ppid=27438 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27441/task/27451/stat : 27451 (java) S 27438 27441 25074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38617046 10914828288 7516 33554432000 4194304 4196468 140728932179792 139939571562448 139940015003547 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27452] ppid=27438 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27441/task/27452/stat : 27452 (java) S 27438 27441 25074 0 -1 1077944384 446 0 0 0 0 0 0 0 20 0 15 0 38617046 10914828288 7516 33554432000 4194304 4196468 140728932179792 139939570510576 139940014996098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27453] ppid=27438 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27441/task/27453/stat : 27453 (java) S 27438 27441 25074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38617046 10914828288 7516 33554432000 4194304 4196468 140728932179792 139939569458032 139940014996098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27454] ppid=27438 vsize=10659012 memory=140419314415232 CPUtime=0.02 cores=1,3,5,7
/proc/27441/task/27454/stat : 27454 (java) S 27438 27441 25074 0 -1 1077944384 374 0 0 0 2 0 0 0 20 0 15 0 38617046 10914828288 7516 33554432000 4194304 4196468 140728932179792 139939568404976 139940014996098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27455] ppid=27438 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27441/task/27455/stat : 27455 (java) S 27438 27441 25074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38617046 10914828288 7516 33554432000 4194304 4196468 140728932179792 139939567352672 139940014995157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27456] ppid=27438 vsize=10659012 memory=140419314415232 CPUtime=0 cores=1,3,5,7
/proc/27441/task/27456/stat : 27456 (java) S 27438 27441 25074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38617046 10914828288 7516 33554432000 4194304 4196468 140728932179792 139939566299696 139940014996098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 30064 KiB
[startup+0.210618 s]*
/proc/loadavg: 2.09 2.00 1.97 8/216 27456
/proc/meminfo: memFree=14264248/32770624 swapFree=67108860/67108860
[pid=27441] ppid=27438 vsize=10659012 memory=42016 CPUtime=0.34 cores=1,3,5,7
/proc/27441/stat : 27441 (java) S 27438 27441 25074 0 -1 1077944320 8144 0 0 0 32 2 0 0 20 0 15 0 38617041 10914828288 10504 33554432000 4194304 4196468 140728932179792 140728932162336 139940014984951 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
/proc/27441/statm: 2664753 10504 3007 1 0 2627263 0
[pid=27441/tid=27443] ppid=27438 vsize=10659012 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/27441/task/27443/stat : 27443 (java) R 27438 27441 25074 0 -1 4202560 5023 0 0 0 19 1 0 0 20 0 15 0 38617041 10914828288 10504 33554432000 4194304 4196468 140728932179792 139940019221552 139939999065468 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27444] ppid=27438 vsize=10659012 memory=339 CPUtime=0 cores=1,3,5,7
/proc/27441/task/27444/stat : 27444 (java) S 27438 27441 25074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38617042 10914828288 10504 33554432000 4194304 4196468 140728932179792 139939621297168 139940014995157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27445] ppid=27438 vsize=10659012 memory=140419314441232 CPUtime=0 cores=1,3,5,7
/proc/27441/task/27445/stat : 27445 (java) S 27438 27441 25074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38617042 10914828288 10504 33554432000 4194304 4196468 140728932179792 139939620244624 139940014995157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27446] ppid=27438 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27441/task/27446/stat : 27446 (java) S 27438 27441 25074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38617042 10914828288 10504 33554432000 4194304 4196468 140728932179792 139939619191568 139940014995157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27447] ppid=27438 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27441/task/27447/stat : 27447 (java) S 27438 27441 25074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38617042 10914828288 10504 33554432000 4194304 4196468 140728932179792 139939618139024 139940014995157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27448] ppid=27438 vsize=10659012 memory=140419314415232 CPUtime=0 cores=1,3,5,7
/proc/27441/task/27448/stat : 27448 (java) S 27438 27441 25074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38617043 10914828288 10504 33554432000 4194304 4196468 140728932179792 139939574720752 139940014996098 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27449] ppid=27438 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27441/task/27449/stat : 27449 (java) S 27438 27441 25074 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 38617044 10914828288 10504 33554432000 4194304 4196468 140728932179792 139939573666976 139940014995157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27450] ppid=27438 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27441/task/27450/stat : 27450 (java) S 27438 27441 25074 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 38617044 10914828288 10504 33554432000 4194304 4196468 140728932179792 139939572613872 139940014995157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27451] ppid=27438 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27441/task/27451/stat : 27451 (java) S 27438 27441 25074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38617046 10914828288 10504 33554432000 4194304 4196468 140728932179792 139939571562448 139940015003547 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27452] ppid=27438 vsize=10659012 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/27441/task/27452/stat : 27452 (java) S 27438 27441 25074 0 -1 1077944384 812 0 0 0 3 0 0 0 20 0 15 0 38617046 10914828288 10504 33554432000 4194304 4196468 140728932179792 139939570510576 139940014996098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27453] ppid=27438 vsize=10659012 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/27441/task/27453/stat : 27453 (java) S 27438 27441 25074 0 -1 1077944384 216 0 0 0 1 0 0 0 20 0 15 0 38617046 10914828288 10504 33554432000 4194304 4196468 140728932179792 139939569458032 139940014996098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27454] ppid=27438 vsize=10659012 memory=140419314415232 CPUtime=0.08 cores=1,3,5,7
/proc/27441/task/27454/stat : 27454 (java) S 27438 27441 25074 0 -1 1077944384 725 0 0 0 8 0 0 0 20 0 15 0 38617046 10914828288 10504 33554432000 4194304 4196468 140728932179792 139939568404976 139940014996098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27455] ppid=27438 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27441/task/27455/stat : 27455 (java) S 27438 27441 25074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38617046 10914828288 10504 33554432000 4194304 4196468 140728932179792 139939567352672 139940014995157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27456] ppid=27438 vsize=10659012 memory=140419314415232 CPUtime=0 cores=1,3,5,7
/proc/27441/task/27456/stat : 27456 (java) S 27438 27441 25074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38617046 10914828288 10504 33554432000 4194304 4196468 140728932179792 139939566299696 139940014996098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 42016 KiB
[startup+0.310596 s]*
/proc/loadavg: 2.09 2.00 1.97 8/216 27456
/proc/meminfo: memFree=14193440/32770624 swapFree=67108860/67108860
[pid=27441] ppid=27438 vsize=10659088 memory=47400 CPUtime=0.54 cores=1,3,5,7
/proc/27441/stat : 27441 (java) S 27438 27441 25074 0 -1 1077944320 8964 0 0 0 52 2 0 0 20 0 15 0 38617041 10914906112 11850 33554432000 4194304 4196468 140728932179792 140728932162336 139940014984951 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
/proc/27441/statm: 2664772 11850 3053 1 0 2627263 0
[pid=27441/tid=27443] ppid=27438 vsize=10659088 memory=7022364594140610616 CPUtime=0.3 cores=1,3,5,7
/proc/27441/task/27443/stat : 27443 (java) R 27438 27441 25074 0 -1 4202560 5572 0 0 0 29 1 0 0 20 0 15 0 38617041 10914906112 11850 33554432000 4194304 4196468 140728932179792 139940019216480 139939647989482 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27444] ppid=27438 vsize=10659088 memory=4294976236 CPUtime=0 cores=1,3,5,7
/proc/27441/task/27444/stat : 27444 (java) S 27438 27441 25074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38617042 10914906112 11850 33554432000 4194304 4196468 140728932179792 139939621297168 139940014995157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27445] ppid=27438 vsize=10659088 memory=140419314441093 CPUtime=0 cores=1,3,5,7
/proc/27441/task/27445/stat : 27445 (java) S 27438 27441 25074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38617042 10914906112 11850 33554432000 4194304 4196468 140728932179792 139939620244624 139940014995157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27446] ppid=27438 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27441/task/27446/stat : 27446 (java) S 27438 27441 25074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38617042 10914906112 11850 33554432000 4194304 4196468 140728932179792 139939619191568 139940014995157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27447] ppid=27438 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27441/task/27447/stat : 27447 (java) S 27438 27441 25074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38617042 10914906112 11850 33554432000 4194304 4196468 140728932179792 139939618139024 139940014995157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27448] ppid=27438 vsize=10659088 memory=140419314415232 CPUtime=0 cores=1,3,5,7
/proc/27441/task/27448/stat : 27448 (java) S 27438 27441 25074 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 38617043 10914906112 11850 33554432000 4194304 4196468 140728932179792 139939574720752 139940014996098 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27449] ppid=27438 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27441/task/27449/stat : 27449 (java) S 27438 27441 25074 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 38617044 10914906112 11850 33554432000 4194304 4196468 140728932179792 139939573666976 139940014995157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27450] ppid=27438 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27441/task/27450/stat : 27450 (java) S 27438 27441 25074 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 38617044 10914906112 11850 33554432000 4194304 4196468 140728932179792 139939572613872 139940014995157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27451] ppid=27438 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27441/task/27451/stat : 27451 (java) S 27438 27441 25074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38617046 10914906112 11850 33554432000 4194304 4196468 140728932179792 139939571562448 139940015003547 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27452] ppid=27438 vsize=10659088 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/27441/task/27452/stat : 27452 (java) S 27438 27441 25074 0 -1 1077944384 940 0 0 0 6 0 0 0 20 0 15 0 38617046 10914906112 11850 33554432000 4194304 4196468 140728932179792 139939570510576 139940014996098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27453] ppid=27438 vsize=10659088 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/27441/task/27453/stat : 27453 (java) R 27438 27441 25074 0 -1 4202560 253 0 0 0 3 0 0 0 20 0 15 0 38617046 10914906112 11850 33554432000 4194304 4196468 140728932179792 139939569458032 139939994673601 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27454] ppid=27438 vsize=10659088 memory=140419314415232 CPUtime=0.13 cores=1,3,5,7
/proc/27441/task/27454/stat : 27454 (java) R 27438 27441 25074 0 -1 1077944384 828 0 0 0 13 0 0 0 20 0 15 0 38617046 10914906112 11850 33554432000 4194304 4196468 140728932179792 139939568404976 139940014996098 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27455] ppid=27438 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27441/task/27455/stat : 27455 (java) S 27438 27441 25074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38617046 10914906112 11850 33554432000 4194304 4196468 140728932179792 139939567352672 139940014995157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27456] ppid=27438 vsize=10659088 memory=140419314415232 CPUtime=0 cores=1,3,5,7
/proc/27441/task/27456/stat : 27456 (java) S 27438 27441 25074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38617046 10914906112 11850 33554432000 4194304 4196468 140728932179792 139939566299696 139940014996098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 47400 KiB
[startup+0.700717 s]
/proc/loadavg: 2.09 2.00 1.97 8/216 27456
/proc/meminfo: memFree=14157828/32770624 swapFree=67108860/67108860
[pid=27441] ppid=27438 vsize=10661136 memory=133648 CPUtime=1.86 cores=1,3,5,7
/proc/27441/stat : 27441 (java) S 27438 27441 25074 0 -1 1077944320 12728 0 0 0 182 4 0 0 20 0 15 0 38617041 10917003264 33412 33554432000 4194304 4196468 140728932179792 140728932162336 139940014984951 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
/proc/27441/statm: 2665284 33412 3111 1 0 2627775 0
[pid=27441/tid=27443] ppid=27438 vsize=10661136 memory=258307453386391 CPUtime=0.67 cores=1,3,5,7
/proc/27441/task/27443/stat : 27443 (java) R 27438 27441 25074 0 -1 4202560 6059 0 0 0 65 2 0 0 20 0 15 0 38617041 10917003264 33412 33554432000 4194304 4196468 140728932179792 139940019221808 139939651148444 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27444] ppid=27438 vsize=10661136 memory=288230376151877798 CPUtime=0 cores=1,3,5,7
/proc/27441/task/27444/stat : 27444 (java) S 27438 27441 25074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38617042 10917003264 33412 33554432000 4194304 4196468 140728932179792 139939621297168 139940014995157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27445] ppid=27438 vsize=10661136 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27441/task/27445/stat : 27445 (java) S 27438 27441 25074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38617042 10917003264 33412 33554432000 4194304 4196468 140728932179792 139939620244624 139940014995157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27446] ppid=27438 vsize=10661136 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27441/task/27446/stat : 27446 (java) S 27438 27441 25074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38617042 10917003264 33412 33554432000 4194304 4196468 140728932179792 139939619191568 139940014995157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27447] ppid=27438 vsize=10661136 memory=7809523229951467568 CPUtime=0 cores=1,3,5,7
/proc/27441/task/27447/stat : 27447 (java) S 27438 27441 25074 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38617042 10917003264 33412 33554432000 4194304 4196468 140728932179792 139939618139024 139940014995157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27448] ppid=27438 vsize=10661136 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27441/task/27448/stat : 27448 (java) S 27438 27441 25074 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 38617043 10917003264 33412 33554432000 4194304 4196468 140728932179792 139939574720752 139940014996098 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27449] ppid=27438 vsize=10661136 memory=-3472574513799858009 CPUtime=0 cores=1,3,5,7
/proc/27441/task/27449/stat : 27449 (java) S 27438 27441 25074 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 38617044 10917003264 33412 33554432000 4194304 4196468 140728932179792 139939573666976 139940014995157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27450] ppid=27438 vsize=10661136 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/27441/task/27450/stat : 27450 (java) S 27438 27441 25074 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 38617044 10917003264 33412 33554432000 4194304 4196468 140728932179792 139939572613872 139940014995157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27451] ppid=27438 vsize=10661136 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/27441/task/27451/stat : 27451 (java) S 27438 27441 25074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38617046 10917003264 33412 33554432000 4194304 4196468 140728932179792 139939571562448 139940015003547 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27452] ppid=27438 vsize=10661136 memory=0 CPUtime=0.38 cores=1,3,5,7
/proc/27441/task/27452/stat : 27452 (java) R 27438 27441 25074 0 -1 4202560 2095 0 0 0 38 0 0 0 20 0 15 0 38617046 10917003264 33412 33554432000 4194304 4196468 140728932179792 139939570503600 139940000092618 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27453] ppid=27438 vsize=10661136 memory=0 CPUtime=0.37 cores=1,3,5,7
/proc/27441/task/27453/stat : 27453 (java) R 27438 27441 25074 0 -1 4202560 1350 0 0 0 37 0 0 0 20 0 15 0 38617046 10917003264 33412 33554432000 4194304 4196468 140728932179792 139939569447952 139939998887984 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27454] ppid=27438 vsize=10661136 memory=0 CPUtime=0.39 cores=1,3,5,7
/proc/27441/task/27454/stat : 27454 (java) R 27438 27441 25074 0 -1 1077944384 1853 0 0 0 39 0 0 0 20 0 15 0 38617046 10917003264 33412 33554432000 4194304 4196468 140728932179792 139939568404976 139940014996098 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27455] ppid=27438 vsize=10661136 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27441/task/27455/stat : 27455 (java) S 27438 27441 25074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38617046 10917003264 33412 33554432000 4194304 4196468 140728932179792 139939567352672 139940014995157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27456] ppid=27438 vsize=10661136 memory=4048 CPUtime=0 cores=1,3,5,7
/proc/27441/task/27456/stat : 27456 (java) S 27438 27441 25074 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38617046 10917003264 33412 33554432000 4194304 4196468 140728932179792 139939566299696 139940014996098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
Current children cumulated CPU time: 1.86 s
Current children cumulated vsize: 10661136 KiB
Current children cumulated memory: 133648 KiB
[startup+1.50091 s]
/proc/loadavg: 2.09 2.00 1.97 5/216 27456
/proc/meminfo: memFree=14027448/32770624 swapFree=67108860/67108860
[pid=27441] ppid=27438 vsize=10663784 memory=433044 CPUtime=4.42 cores=1,3,5,7
/proc/27441/stat : 27441 (java) S 27438 27441 25074 0 -1 1077944320 21925 0 0 0 428 14 0 0 20 0 15 0 38617041 10919714816 108261 33554432000 4194304 4196468 140728932179792 140728932162336 139940014984951 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
/proc/27441/statm: 2665946 108261 3152 1 0 2628437 0
[pid=27441/tid=27443] ppid=27438 vsize=10663784 memory=9167 CPUtime=1.35 cores=1,3,5,7
/proc/27441/task/27443/stat : 27443 (java) R 27438 27441 25074 0 -1 4202560 6170 0 0 0 131 4 0 0 20 0 15 0 38617041 10919714816 108261 33554432000 4194304 4196468 140728932179792 139940019220200 139939652524984 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27444] ppid=27438 vsize=10663784 memory=6791534058613427641 CPUtime=0.06 cores=1,3,5,7
/proc/27441/task/27444/stat : 27444 (java) S 27438 27441 25074 0 -1 1077944384 37 0 0 0 5 1 0 0 20 0 15 0 38617042 10919714816 108261 33554432000 4194304 4196468 140728932179792 139939621297168 139940014995157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27445] ppid=27438 vsize=10663784 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/27441/task/27445/stat : 27445 (java) S 27438 27441 25074 0 -1 1077944384 31 0 0 0 4 1 0 0 20 0 15 0 38617042 10919714816 108261 33554432000 4194304 4196468 140728932179792 139939620244624 139940014995157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27446] ppid=27438 vsize=10663784 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/27441/task/27446/stat : 27446 (java) S 27438 27441 25074 0 -1 1077944384 256 0 0 0 8 2 0 0 20 0 15 0 38617042 10919714816 108261 33554432000 4194304 4196468 140728932179792 139939619191568 139940014995157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27447] ppid=27438 vsize=10663784 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27441/task/27447/stat : 27447 (java) S 27438 27441 25074 0 -1 1077944384 111 0 0 0 6 1 0 0 20 0 15 0 38617042 10919714816 108261 33554432000 4194304 4196468 140728932179792 139939618139024 139940014995157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27448] ppid=27438 vsize=10663784 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27441/task/27448/stat : 27448 (java) S 27438 27441 25074 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 15 0 38617043 10919714816 108261 33554432000 4194304 4196468 140728932179792 139939574720752 139940014996098 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
################
# More data... #
################
/proc/27441/task/27445/stat : 27445 (java) S 27438 27441 25074 0 -1 1077944384 9801 0 0 0 1773 67 0 0 20 0 16 0 38617042 10985164800 1405784 33554432000 4194304 4196468 140728932179792 139939620244624 139940014995157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27446] ppid=27438 vsize=10727700 memory=5623136 CPUtime=18.47 cores=1,3,5,7
/proc/27441/task/27446/stat : 27446 (java) S 27438 27441 25074 0 -1 1077944384 16741 0 0 0 1778 69 0 0 20 0 16 0 38617042 10985164800 1405784 33554432000 4194304 4196468 140728932179792 139939619191568 139940014995157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27447] ppid=27438 vsize=10727700 memory=5623136 CPUtime=18.47 cores=1,3,5,7
/proc/27441/task/27447/stat : 27447 (java) S 27438 27441 25074 0 -1 1077944384 18419 0 0 0 1777 70 0 0 20 0 16 0 38617042 10985164800 1405784 33554432000 4194304 4196468 140728932179792 139939618139024 139940014995157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27448] ppid=27438 vsize=10727700 memory=5623136 CPUtime=5.93 cores=1,3,5,7
/proc/27441/task/27448/stat : 27448 (java) S 27438 27441 25074 0 -1 1077944384 20905 0 0 0 589 4 0 0 20 0 16 0 38617043 10985164800 1405784 33554432000 4194304 4196468 140728932179792 139939574720752 139940014996098 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27449] ppid=27438 vsize=10727700 memory=5623136 CPUtime=0 cores=1,3,5,7
/proc/27441/task/27449/stat : 27449 (java) S 27438 27441 25074 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 38617044 10985164800 1405784 33554432000 4194304 4196468 140728932179792 139939573667040 139940014995157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27450] ppid=27438 vsize=10727700 memory=5623136 CPUtime=0 cores=1,3,5,7
/proc/27441/task/27450/stat : 27450 (java) S 27438 27441 25074 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 16 0 38617044 10985164800 1405784 33554432000 4194304 4196468 140728932179792 139939572613888 139940014995157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27451] ppid=27438 vsize=10727700 memory=5623136 CPUtime=0 cores=1,3,5,7
/proc/27441/task/27451/stat : 27451 (java) S 27438 27441 25074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38617046 10985164800 1405784 33554432000 4194304 4196468 140728932179792 139939571562448 139940015003547 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27452] ppid=27438 vsize=10727700 memory=5623136 CPUtime=2.62 cores=1,3,5,7
/proc/27441/task/27452/stat : 27452 (java) S 27438 27441 25074 0 -1 1077944384 14870 0 0 0 260 2 0 0 20 0 16 0 38617046 10985164800 1405784 33554432000 4194304 4196468 140728932179792 139939570510576 139940014996098 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27453] ppid=27438 vsize=10727700 memory=5623136 CPUtime=2.41 cores=1,3,5,7
/proc/27441/task/27453/stat : 27453 (java) S 27438 27441 25074 0 -1 1077944384 13093 0 0 0 238 3 0 0 20 0 16 0 38617046 10985164800 1405784 33554432000 4194304 4196468 140728932179792 139939569458032 139940014996098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27454] ppid=27438 vsize=10727700 memory=5623136 CPUtime=0.68 cores=1,3,5,7
/proc/27441/task/27454/stat : 27454 (java) S 27438 27441 25074 0 -1 1077944384 8852 0 0 0 67 1 0 0 20 0 16 0 38617046 10985164800 1405784 33554432000 4194304 4196468 140728932179792 139939568404976 139940014996098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27455] ppid=27438 vsize=10727700 memory=5623136 CPUtime=0 cores=1,3,5,7
/proc/27441/task/27455/stat : 27455 (java) S 27438 27441 25074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38617046 10985164800 1405784 33554432000 4194304 4196468 140728932179792 139939567352672 139940014995157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27456] ppid=27438 vsize=10727700 memory=5623136 CPUtime=1.39 cores=1,3,5,7
/proc/27441/task/27456/stat : 27456 (java) S 27438 27441 25074 0 -1 1077944384 2048 0 0 0 60 79 0 0 20 0 16 0 38617046 10985164800 1405784 33554432000 4194304 4196468 140728932179792 139939566299696 139940014996098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27458] ppid=27438 vsize=10727700 memory=5623136 CPUtime=0 cores=1,3,5,7
/proc/27441/task/27458/stat : 27458 (java) S 27438 27441 25074 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 16 0 38620079 10985164800 1405784 33554432000 4194304 4196468 140728932179792 139939565245488 139940014996098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
Current children cumulated CPU time: 2384.68 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 5623136 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2337.7 s]
/proc/loadavg: 2.07 2.03 2.05 3/218 27554
/proc/meminfo: memFree=6114860/32770624 swapFree=67108860/67108860
[pid=27441] ppid=27438 vsize=10727700 memory=5623136 CPUtime=2400.08 cores=1,3,5,7
/proc/27441/stat : 27441 (java) S 27438 27441 25074 0 -1 1077944320 286076 0 0 0 239610 398 0 0 20 0 16 0 38617041 10985164800 1405784 33554432000 4194304 4196468 140728932179792 140728932162336 139940014984951 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
/proc/27441/statm: 2681925 1405784 3192 1 0 2644416 0
[pid=27441/tid=27443] ppid=27438 vsize=10727700 memory=5623136 CPUtime=2313.12 cores=1,3,5,7
/proc/27441/task/27443/stat : 27443 (java) R 27438 27441 25074 0 -1 4202560 162993 0 0 0 231269 43 0 0 20 0 16 0 38617041 10985164800 1405784 33554432000 4194304 4196468 140728932179792 139940019223656 139939648185560 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27444] ppid=27438 vsize=10727700 memory=5623136 CPUtime=18.51 cores=1,3,5,7
/proc/27441/task/27444/stat : 27444 (java) S 27438 27441 25074 0 -1 1077944384 16860 0 0 0 1783 68 0 0 20 0 16 0 38617042 10985164800 1405784 33554432000 4194304 4196468 140728932179792 139939621297168 139940014995157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27445] ppid=27438 vsize=10727700 memory=5623136 CPUtime=18.4 cores=1,3,5,7
/proc/27441/task/27445/stat : 27445 (java) S 27438 27441 25074 0 -1 1077944384 9801 0 0 0 1773 67 0 0 20 0 16 0 38617042 10985164800 1405784 33554432000 4194304 4196468 140728932179792 139939620244624 139940014995157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27446] ppid=27438 vsize=10727700 memory=5623136 CPUtime=18.47 cores=1,3,5,7
/proc/27441/task/27446/stat : 27446 (java) S 27438 27441 25074 0 -1 1077944384 16741 0 0 0 1778 69 0 0 20 0 16 0 38617042 10985164800 1405784 33554432000 4194304 4196468 140728932179792 139939619191568 139940014995157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27447] ppid=27438 vsize=10727700 memory=5623136 CPUtime=18.47 cores=1,3,5,7
/proc/27441/task/27447/stat : 27447 (java) S 27438 27441 25074 0 -1 1077944384 18419 0 0 0 1777 70 0 0 20 0 16 0 38617042 10985164800 1405784 33554432000 4194304 4196468 140728932179792 139939618139024 139940014995157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27448] ppid=27438 vsize=10727700 memory=5623136 CPUtime=5.93 cores=1,3,5,7
/proc/27441/task/27448/stat : 27448 (java) S 27438 27441 25074 0 -1 1077944384 20915 0 0 0 589 4 0 0 20 0 16 0 38617043 10985164800 1405784 33554432000 4194304 4196468 140728932179792 139939574720752 139940014996098 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27449] ppid=27438 vsize=10727700 memory=5623136 CPUtime=0 cores=1,3,5,7
/proc/27441/task/27449/stat : 27449 (java) S 27438 27441 25074 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 38617044 10985164800 1405784 33554432000 4194304 4196468 140728932179792 139939573667040 139940014995157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27450] ppid=27438 vsize=10727700 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/27441/task/27450/stat : 27450 (java) S 27438 27441 25074 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 16 0 38617044 10985164800 1405784 33554432000 4194304 4196468 140728932179792 139939572613888 139940014995157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27451] ppid=27438 vsize=10727700 memory=5623136 CPUtime=0 cores=1,3,5,7
/proc/27441/task/27451/stat : 27451 (java) S 27438 27441 25074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38617046 10985164800 1405784 33554432000 4194304 4196468 140728932179792 139939571562448 139940015003547 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27452] ppid=27438 vsize=10727700 memory=0 CPUtime=2.62 cores=1,3,5,7
/proc/27441/task/27452/stat : 27452 (java) S 27438 27441 25074 0 -1 1077944384 14870 0 0 0 260 2 0 0 20 0 16 0 38617046 10985164800 1405784 33554432000 4194304 4196468 140728932179792 139939570510576 139940014996098 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27453] ppid=27438 vsize=10727700 memory=258260678530675 CPUtime=2.41 cores=1,3,5,7
/proc/27441/task/27453/stat : 27453 (java) S 27438 27441 25074 0 -1 1077944384 13093 0 0 0 238 3 0 0 20 0 16 0 38617046 10985164800 1405784 33554432000 4194304 4196468 140728932179792 139939569458032 139940014996098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27454] ppid=27438 vsize=10727700 memory=796 CPUtime=0.68 cores=1,3,5,7
/proc/27441/task/27454/stat : 27454 (java) S 27438 27441 25074 0 -1 1077944384 8852 0 0 0 67 1 0 0 20 0 16 0 38617046 10985164800 1405784 33554432000 4194304 4196468 140728932179792 139939568404976 139940014996098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27455] ppid=27438 vsize=10727700 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/27441/task/27455/stat : 27455 (java) S 27438 27441 25074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38617046 10985164800 1405784 33554432000 4194304 4196468 140728932179792 139939567352672 139940014995157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27456] ppid=27438 vsize=10727700 memory=15872 CPUtime=1.39 cores=1,3,5,7
/proc/27441/task/27456/stat : 27456 (java) S 27438 27441 25074 0 -1 1077944384 2082 0 0 0 60 79 0 0 20 0 16 0 38617046 10985164800 1405784 33554432000 4194304 4196468 140728932179792 139939566299696 139940014996098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27458] ppid=27438 vsize=10727700 memory=4048 CPUtime=0 cores=1,3,5,7
/proc/27441/task/27458/stat : 27458 (java) S 27438 27441 25074 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 16 0 38620079 10985164800 1405784 33554432000 4194304 4196468 140728932179792 139939565245488 139940014996098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 5623136 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2337.97 s]
# the end of solver process 27441 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2396.18 s, system=4.01547 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2337.81 s]
/proc/loadavg: 2.07 2.03 2.05 3/218 27554
/proc/meminfo: memFree=6114860/32770624 swapFree=67108860/67108860
[pid=27441] ppid=27438 vsize=10927392 memory=5623472 CPUtime=2400.11 cores=1,3,5,7
/proc/27441/stat : 27441 (java) S 27438 27441 25074 0 -1 1077944320 287560 0 0 0 239613 398 0 0 20 0 17 0 38617041 11189649408 1405868 33554432000 4194304 4196468 140728932179792 140728932162336 139940014984951 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
/proc/27441/statm: 2731848 1405868 3195 1 0 2694339 0
[pid=27441/tid=27443] ppid=27438 vsize=10927392 memory=2340 CPUtime=2313.15 cores=1,3,5,7
/proc/27441/task/27443/stat : 27443 (java) S 27438 27441 25074 0 -1 1077944384 163099 0 0 0 231272 43 0 0 20 0 17 0 38617041 11189649408 1405868 33554432000 4194304 4196468 140728932179792 139940019227824 139940014995157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27444] ppid=27438 vsize=10927392 memory=5623136 CPUtime=18.51 cores=1,3,5,7
/proc/27441/task/27444/stat : 27444 (java) S 27438 27441 25074 0 -1 1077944384 16860 0 0 0 1783 68 0 0 20 0 17 0 38617042 11189649408 1405868 33554432000 4194304 4196468 140728932179792 139939621297168 139940014995157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27445] ppid=27438 vsize=10927392 memory=5524 CPUtime=18.4 cores=1,3,5,7
/proc/27441/task/27445/stat : 27445 (java) S 27438 27441 25074 0 -1 1077944384 9801 0 0 0 1773 67 0 0 20 0 17 0 38617042 11189649408 1405868 33554432000 4194304 4196468 140728932179792 139939620244624 139940014995157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27446] ppid=27438 vsize=10927392 memory=3248 CPUtime=18.47 cores=1,3,5,7
/proc/27441/task/27446/stat : 27446 (java) S 27438 27441 25074 0 -1 1077944384 16741 0 0 0 1778 69 0 0 20 0 17 0 38617042 11189649408 1405868 33554432000 4194304 4196468 140728932179792 139939619191568 139940014995157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27447] ppid=27438 vsize=10927392 memory=4620 CPUtime=18.47 cores=1,3,5,7
/proc/27441/task/27447/stat : 27447 (java) S 27438 27441 25074 0 -1 1077944384 18419 0 0 0 1777 70 0 0 20 0 17 0 38617042 11189649408 1405868 33554432000 4194304 4196468 140728932179792 139939618139024 139940014995157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27448] ppid=27438 vsize=10927392 memory=1728 CPUtime=5.93 cores=1,3,5,7
/proc/27441/task/27448/stat : 27448 (java) S 27438 27441 25074 0 -1 1077944384 20962 0 0 0 589 4 0 0 20 0 17 0 38617043 11189649408 1405868 33554432000 4194304 4196468 140728932179792 139939574720752 139940014996098 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27449] ppid=27438 vsize=10927392 memory=1924 CPUtime=0 cores=1,3,5,7
/proc/27441/task/27449/stat : 27449 (java) S 27438 27441 25074 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 17 0 38617044 11189649408 1405868 33554432000 4194304 4196468 140728932179792 139939573667040 139940014995157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27450] ppid=27438 vsize=10927392 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/27441/task/27450/stat : 27450 (java) S 27438 27441 25074 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 17 0 38617044 11189649408 1405868 33554432000 4194304 4196468 140728932179792 139939572613888 139940014995157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27451] ppid=27438 vsize=10927392 memory=8380 CPUtime=0 cores=1,3,5,7
/proc/27441/task/27451/stat : 27451 (java) S 27438 27441 25074 0 -1 1077944384 257 0 0 0 0 0 0 0 20 0 17 0 38617046 11189649408 1405868 33554432000 4194304 4196468 140728932179792 139939571562448 139940015003547 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27452] ppid=27438 vsize=10927392 memory=14008 CPUtime=2.62 cores=1,3,5,7
/proc/27441/task/27452/stat : 27452 (java) S 27438 27441 25074 0 -1 1077944384 14872 0 0 0 260 2 0 0 20 0 17 0 38617046 11189649408 1405868 33554432000 4194304 4196468 140728932179792 139939570510576 139940014996098 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27453] ppid=27438 vsize=10927392 memory=1440 CPUtime=2.41 cores=1,3,5,7
/proc/27441/task/27453/stat : 27453 (java) S 27438 27441 25074 0 -1 1077944384 13095 0 0 0 238 3 0 0 20 0 17 0 38617046 11189649408 1405868 33554432000 4194304 4196468 140728932179792 139939569458032 139940014996098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27454] ppid=27438 vsize=10927392 memory=1712 CPUtime=0.68 cores=1,3,5,7
/proc/27441/task/27454/stat : 27454 (java) S 27438 27441 25074 0 -1 1077944384 9515 0 0 0 67 1 0 0 20 0 17 0 38617046 11189649408 1405868 33554432000 4194304 4196468 140728932179792 139939568404976 139940014996098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27455] ppid=27438 vsize=10927392 memory=5524 CPUtime=0 cores=1,3,5,7
/proc/27441/task/27455/stat : 27455 (java) S 27438 27441 25074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 38617046 11189649408 1405868 33554432000 4194304 4196468 140728932179792 139939567352672 139940014995157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27456] ppid=27438 vsize=10927392 memory=5623136 CPUtime=1.39 cores=1,3,5,7
/proc/27441/task/27456/stat : 27456 (java) S 27438 27441 25074 0 -1 1077944384 2082 0 0 0 60 79 0 0 20 0 17 0 38617046 11189649408 1405868 33554432000 4194304 4196468 140728932179792 139939566299696 139940014996098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
Current children cumulated CPU time: 2400.11 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 5623472 KiB
[startup+2337.9 s]
/proc/loadavg: 2.07 2.03 2.05 3/218 27554
/proc/meminfo: memFree=6114860/32770624 swapFree=67108860/67108860
[pid=27441] ppid=27438 vsize=10927392 memory=5623472 CPUtime=2400.11 cores=1,3,5,7
/proc/27441/stat : 27441 (java) S 27438 27441 25074 0 -1 1077944320 287560 0 0 0 239613 398 0 0 20 0 17 0 38617041 11189649408 1405868 33554432000 4194304 4196468 140728932179792 140728932162336 139940014984951 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
/proc/27441/statm: 2731848 1405868 3195 1 0 2694339 0
[pid=27441/tid=27443] ppid=27438 vsize=10927392 memory=5623136 CPUtime=2313.15 cores=1,3,5,7
/proc/27441/task/27443/stat : 27443 (java) S 27438 27441 25074 0 -1 1077944384 163099 0 0 0 231272 43 0 0 20 0 17 0 38617041 11189649408 1405868 33554432000 4194304 4196468 140728932179792 139940019227824 139940014995157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27444] ppid=27438 vsize=10927392 memory=5623136 CPUtime=18.51 cores=1,3,5,7
/proc/27441/task/27444/stat : 27444 (java) S 27438 27441 25074 0 -1 1077944384 16860 0 0 0 1783 68 0 0 20 0 17 0 38617042 11189649408 1405868 33554432000 4194304 4196468 140728932179792 139939621297168 139940014995157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27445] ppid=27438 vsize=10927392 memory=5623136 CPUtime=18.4 cores=1,3,5,7
/proc/27441/task/27445/stat : 27445 (java) S 27438 27441 25074 0 -1 1077944384 9801 0 0 0 1773 67 0 0 20 0 17 0 38617042 11189649408 1405868 33554432000 4194304 4196468 140728932179792 139939620244624 139940014995157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27446] ppid=27438 vsize=10927392 memory=5623136 CPUtime=18.47 cores=1,3,5,7
/proc/27441/task/27446/stat : 27446 (java) S 27438 27441 25074 0 -1 1077944384 16741 0 0 0 1778 69 0 0 20 0 17 0 38617042 11189649408 1405868 33554432000 4194304 4196468 140728932179792 139939619191568 139940014995157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27447] ppid=27438 vsize=10927392 memory=5623136 CPUtime=18.47 cores=1,3,5,7
/proc/27441/task/27447/stat : 27447 (java) S 27438 27441 25074 0 -1 1077944384 18419 0 0 0 1777 70 0 0 20 0 17 0 38617042 11189649408 1405868 33554432000 4194304 4196468 140728932179792 139939618139024 139940014995157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27448] ppid=27438 vsize=10927392 memory=5623136 CPUtime=5.93 cores=1,3,5,7
/proc/27441/task/27448/stat : 27448 (java) S 27438 27441 25074 0 -1 1077944384 20962 0 0 0 589 4 0 0 20 0 17 0 38617043 11189649408 1405868 33554432000 4194304 4196468 140728932179792 139939574720752 139940014996098 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27449] ppid=27438 vsize=10927392 memory=5623136 CPUtime=0 cores=1,3,5,7
/proc/27441/task/27449/stat : 27449 (java) S 27438 27441 25074 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 17 0 38617044 11189649408 1405868 33554432000 4194304 4196468 140728932179792 139939573667040 139940014995157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27450] ppid=27438 vsize=10927392 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27441/task/27450/stat : 27450 (java) S 27438 27441 25074 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 17 0 38617044 11189649408 1405868 33554432000 4194304 4196468 140728932179792 139939572613888 139940014995157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27451] ppid=27438 vsize=10927392 memory=258260678530675 CPUtime=0 cores=1,3,5,7
/proc/27441/task/27451/stat : 27451 (java) S 27438 27441 25074 0 -1 1077944384 257 0 0 0 0 0 0 0 20 0 17 0 38617046 11189649408 1405868 33554432000 4194304 4196468 140728932179792 139939571562448 139940015003547 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27452] ppid=27438 vsize=10927392 memory=4140 CPUtime=2.62 cores=1,3,5,7
/proc/27441/task/27452/stat : 27452 (java) S 27438 27441 25074 0 -1 1077944384 14872 0 0 0 260 2 0 0 20 0 17 0 38617046 11189649408 1405868 33554432000 4194304 4196468 140728932179792 139939570510576 139940014996098 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27453] ppid=27438 vsize=10927392 memory=5623136 CPUtime=2.41 cores=1,3,5,7
/proc/27441/task/27453/stat : 27453 (java) S 27438 27441 25074 0 -1 1077944384 13095 0 0 0 238 3 0 0 20 0 17 0 38617046 11189649408 1405868 33554432000 4194304 4196468 140728932179792 139939569458032 139940014996098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27454] ppid=27438 vsize=10927392 memory=796 CPUtime=0.68 cores=1,3,5,7
/proc/27441/task/27454/stat : 27454 (java) S 27438 27441 25074 0 -1 1077944384 9515 0 0 0 67 1 0 0 20 0 17 0 38617046 11189649408 1405868 33554432000 4194304 4196468 140728932179792 139939568404976 139940014996098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27455] ppid=27438 vsize=10927392 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/27441/task/27455/stat : 27455 (java) S 27438 27441 25074 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 38617046 11189649408 1405868 33554432000 4194304 4196468 140728932179792 139939567352672 139940014995157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
[pid=27441/tid=27456] ppid=27438 vsize=10927392 memory=15872 CPUtime=1.39 cores=1,3,5,7
/proc/27441/task/27456/stat : 27456 (java) S 27438 27441 25074 0 -1 1077944384 2082 0 0 0 60 79 0 0 20 0 17 0 38617046 11189649408 1405868 33554432000 4194304 4196468 140728932179792 139939566299696 139940014996098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 16326656 140728932185201 140728932185353 140728932185353 140728932188111 0
Current children cumulated CPU time: 2400.11 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 5623472 KiB
Child status: 143
Real time (s): 2337.97
CPU time (s): 2400.2
CPU user time (s): 2396.18
CPU system time (s): 4.01547
CPU usage (%): 102.661
Max. virtual memory (cumulated for all children) (KiB): 10927392
Max. memory (cumulated for all children) (KiB): 5623472
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.18
system time used= 4.01547
maximum resident set size= 5623664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 289028
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1680
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 54337
involuntary context switches= 1613
# summary of solver processes directly reported to runsolver:
# pid: 27441
# total CPU time (s): 2400.2
# total CPU user time (s): 2396.18
# total CPU system time (s): 4.01547
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.8297 second user time and 23.7274 second system time
The end