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 (12779 MiB free)
memory of node 1: 16384 MiB (14258 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4263485-1502632495/watcher-4263485-1502632495 -o /tmp/evaluation-result-4263485-1502632495/solver-4263485-1502632495 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1502624014-12473 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4263485-1502632495.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Current StackSize limit: 8192 KiB
solver pid=14577, runsolver pid=14574
[startup+0.100108 s]*
/proc/loadavg: 2.00 2.01 2.05 5/216 14592
/proc/meminfo: memFree=27668612/32770624 swapFree=67108860/67108860
[pid=14577] ppid=14574 vsize=10555400 memory=29932 CPUtime=0.13 cores=1,3,5,7
/proc/14577/stat : 14577 (java) S 14574 14577 6338 0 -1 1077944320 6546 0 0 0 12 1 0 0 20 0 15 0 96330543 10808729600 7483 33554432000 4194304 4196468 140729213657056 140729213639600 140573673746167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
/proc/14577/statm: 2638850 7483 2825 1 0 2627263 0
[pid=14577/tid=14579] ppid=14574 vsize=10555400 memory=-7254947784588945530 CPUtime=0.09 cores=1,3,5,7
/proc/14577/task/14579/stat : 14579 (java) R 14574 14577 6338 0 -1 4202560 4390 0 0 0 8 1 0 0 20 0 15 0 96330543 10808729600 7483 33554432000 4194304 4196468 140729213657056 140573677968752 140573673758102 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14580] ppid=14574 vsize=10555400 memory=5793855578573265337 CPUtime=0 cores=1,3,5,7
/proc/14577/task/14580/stat : 14580 (java) S 14574 14577 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96330544 10808729600 7483 33554432000 4194304 4196468 140729213657056 140573610437648 140573673756373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14581] ppid=14574 vsize=10555400 memory=140327563372160 CPUtime=0 cores=1,3,5,7
/proc/14577/task/14581/stat : 14581 (java) S 14574 14577 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96330544 10808729600 7483 33554432000 4194304 4196468 140729213657056 140573279120528 140573673756373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14582] ppid=14574 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14577/task/14582/stat : 14582 (java) S 14574 14577 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96330544 10808729600 7483 33554432000 4194304 4196468 140729213657056 140573278067472 140573673756373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14583] ppid=14574 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14577/task/14583/stat : 14583 (java) S 14574 14577 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96330544 10808729600 7483 33554432000 4194304 4196468 140729213657056 140573277014928 140573673756373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14584] ppid=14574 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14577/task/14584/stat : 14584 (java) S 14574 14577 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96330545 10808729600 7483 33554432000 4194304 4196468 140729213657056 140572776724720 140573673757314 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14585] ppid=14574 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14577/task/14585/stat : 14585 (java) S 14574 14577 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96330546 10808729600 7483 33554432000 4194304 4196468 140729213657056 140572775670944 140573673756373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14586] ppid=14574 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14577/task/14586/stat : 14586 (java) S 14574 14577 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96330546 10808729600 7483 33554432000 4194304 4196468 140729213657056 140572774617840 140573673756373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14587] ppid=14574 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14577/task/14587/stat : 14587 (java) S 14574 14577 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96330548 10808729600 7483 33554432000 4194304 4196468 140729213657056 140572773566416 140573673764763 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14588] ppid=14574 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14577/task/14588/stat : 14588 (java) S 14574 14577 6338 0 -1 1077944384 420 0 0 0 0 0 0 0 20 0 15 0 96330548 10808729600 7483 33554432000 4194304 4196468 140729213657056 140572772514544 140573673757314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14589] ppid=14574 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14577/task/14589/stat : 14589 (java) S 14574 14577 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96330548 10808729600 7483 33554432000 4194304 4196468 140729213657056 140572771462000 140573673757314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14590] ppid=14574 vsize=10555400 memory=140327563372160 CPUtime=0.02 cores=1,3,5,7
/proc/14577/task/14590/stat : 14590 (java) S 14574 14577 6338 0 -1 1077944384 366 0 0 0 2 0 0 0 20 0 15 0 96330548 10808729600 7483 33554432000 4194304 4196468 140729213657056 140572770408944 140573673757314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14591] ppid=14574 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14577/task/14591/stat : 14591 (java) S 14574 14577 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96330549 10808729600 7483 33554432000 4194304 4196468 140729213657056 140572769356640 140573673756373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14592] ppid=14574 vsize=10555400 memory=140327563372160 CPUtime=0 cores=1,3,5,7
/proc/14577/task/14592/stat : 14592 (java) S 14574 14577 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96330549 10808729600 7483 33554432000 4194304 4196468 140729213657056 140572768303664 140573673757314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 29932 KiB
[startup+0.210571 s]*
/proc/loadavg: 2.00 2.01 2.05 3/216 14592
/proc/meminfo: memFree=27658016/32770624 swapFree=67108860/67108860
[pid=14577] ppid=14574 vsize=10555400 memory=40452 CPUtime=0.32 cores=1,3,5,7
/proc/14577/stat : 14577 (java) S 14574 14577 6338 0 -1 1077944320 8433 0 0 0 30 2 0 0 20 0 15 0 96330543 10808729600 10113 33554432000 4194304 4196468 140729213657056 140729213639600 140573673746167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
/proc/14577/statm: 2638850 10113 2964 1 0 2627263 0
[pid=14577/tid=14579] ppid=14574 vsize=10555400 memory=6735269665583770266 CPUtime=0.19 cores=1,3,5,7
/proc/14577/task/14579/stat : 14579 (java) R 14574 14577 6338 0 -1 4202560 5248 0 0 0 18 1 0 0 20 0 15 0 96330543 10808729600 10113 33554432000 4194304 4196468 140729213657056 140573677978512 140573673768093 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14580] ppid=14574 vsize=10555400 memory=4211974053768162698 CPUtime=0 cores=1,3,5,7
/proc/14577/task/14580/stat : 14580 (java) S 14574 14577 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96330544 10808729600 10113 33554432000 4194304 4196468 140729213657056 140573610437648 140573673756373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14581] ppid=14574 vsize=10555400 memory=140327563372160 CPUtime=0 cores=1,3,5,7
/proc/14577/task/14581/stat : 14581 (java) S 14574 14577 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96330544 10808729600 10113 33554432000 4194304 4196468 140729213657056 140573279120528 140573673756373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14582] ppid=14574 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14577/task/14582/stat : 14582 (java) S 14574 14577 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96330544 10808729600 10113 33554432000 4194304 4196468 140729213657056 140573278067472 140573673756373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14583] ppid=14574 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14577/task/14583/stat : 14583 (java) S 14574 14577 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96330544 10808729600 10113 33554432000 4194304 4196468 140729213657056 140573277014928 140573673756373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14584] ppid=14574 vsize=10555400 memory=140327563372160 CPUtime=0 cores=1,3,5,7
/proc/14577/task/14584/stat : 14584 (java) S 14574 14577 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96330545 10808729600 10113 33554432000 4194304 4196468 140729213657056 140572776724720 140573673757314 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14585] ppid=14574 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14577/task/14585/stat : 14585 (java) S 14574 14577 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96330546 10808729600 10113 33554432000 4194304 4196468 140729213657056 140572775670944 140573673756373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14586] ppid=14574 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14577/task/14586/stat : 14586 (java) S 14574 14577 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96330546 10808729600 10113 33554432000 4194304 4196468 140729213657056 140572774617840 140573673756373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14587] ppid=14574 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14577/task/14587/stat : 14587 (java) S 14574 14577 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96330548 10808729600 10113 33554432000 4194304 4196468 140729213657056 140572773566416 140573673764763 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14588] ppid=14574 vsize=10555400 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/14577/task/14588/stat : 14588 (java) S 14574 14577 6338 0 -1 1077944384 738 0 0 0 2 0 0 0 20 0 15 0 96330548 10808729600 10113 33554432000 4194304 4196468 140729213657056 140572772514544 140573673757314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14589] ppid=14574 vsize=10555400 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/14577/task/14589/stat : 14589 (java) S 14574 14577 6338 0 -1 1077944384 252 0 0 0 2 0 0 0 20 0 15 0 96330548 10808729600 10113 33554432000 4194304 4196468 140729213657056 140572771462000 140573673757314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14590] ppid=14574 vsize=10555400 memory=140327563372160 CPUtime=0.06 cores=1,3,5,7
/proc/14577/task/14590/stat : 14590 (java) R 14574 14577 6338 0 -1 4202560 827 0 0 0 6 0 0 0 20 0 15 0 96330548 10808729600 10113 33554432000 4194304 4196468 140729213657056 140572770408128 140573652411648 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14591] ppid=14574 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14577/task/14591/stat : 14591 (java) S 14574 14577 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96330549 10808729600 10113 33554432000 4194304 4196468 140729213657056 140572769356640 140573673756373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14592] ppid=14574 vsize=10555400 memory=140327563372160 CPUtime=0 cores=1,3,5,7
/proc/14577/task/14592/stat : 14592 (java) S 14574 14577 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96330549 10808729600 10113 33554432000 4194304 4196468 140729213657056 140572768303664 140573673757314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 40452 KiB
[startup+0.310726 s]*
/proc/loadavg: 2.00 2.01 2.05 6/216 14592
/proc/meminfo: memFree=27649084/32770624 swapFree=67108860/67108860
[pid=14577] ppid=14574 vsize=10555476 memory=49796 CPUtime=0.56 cores=1,3,5,7
/proc/14577/stat : 14577 (java) S 14574 14577 6338 0 -1 1077944320 9156 0 0 0 53 3 0 0 20 0 15 0 96330543 10808807424 12449 33554432000 4194304 4196468 140729213657056 140729213639600 140573673746167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
/proc/14577/statm: 2638869 12449 3057 1 0 2627263 0
[pid=14577/tid=14579] ppid=14574 vsize=10555476 memory=4871374705135476842 CPUtime=0.3 cores=1,3,5,7
/proc/14577/task/14579/stat : 14579 (java) R 14574 14577 6338 0 -1 4202560 5654 0 0 0 28 2 0 0 20 0 15 0 96330543 10808807424 12449 33554432000 4194304 4196468 140729213657056 140573677981232 140573673768093 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14580] ppid=14574 vsize=10555476 memory=4211974053768162698 CPUtime=0 cores=1,3,5,7
/proc/14577/task/14580/stat : 14580 (java) S 14574 14577 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96330544 10808807424 12449 33554432000 4194304 4196468 140729213657056 140573610437648 140573673756373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14581] ppid=14574 vsize=10555476 memory=140327563374517 CPUtime=0 cores=1,3,5,7
/proc/14577/task/14581/stat : 14581 (java) S 14574 14577 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96330544 10808807424 12449 33554432000 4194304 4196468 140729213657056 140573279120528 140573673756373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14582] ppid=14574 vsize=10555476 memory=140327453311698 CPUtime=0 cores=1,3,5,7
/proc/14577/task/14582/stat : 14582 (java) S 14574 14577 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96330544 10808807424 12449 33554432000 4194304 4196468 140729213657056 140573278067472 140573673756373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14583] ppid=14574 vsize=10555476 memory=140327453314511 CPUtime=0 cores=1,3,5,7
/proc/14577/task/14583/stat : 14583 (java) S 14574 14577 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96330544 10808807424 12449 33554432000 4194304 4196468 140729213657056 140573277014928 140573673756373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14584] ppid=14574 vsize=10555476 memory=140327563378525 CPUtime=0 cores=1,3,5,7
/proc/14577/task/14584/stat : 14584 (java) S 14574 14577 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96330545 10808807424 12449 33554432000 4194304 4196468 140729213657056 140572776724720 140573673757314 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14585] ppid=14574 vsize=10555476 memory=140327453323695 CPUtime=0 cores=1,3,5,7
/proc/14577/task/14585/stat : 14585 (java) S 14574 14577 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96330546 10808807424 12449 33554432000 4194304 4196468 140729213657056 140572775670944 140573673756373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14586] ppid=14574 vsize=10555476 memory=280654906638224 CPUtime=0 cores=1,3,5,7
/proc/14577/task/14586/stat : 14586 (java) S 14574 14577 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96330546 10808807424 12449 33554432000 4194304 4196468 140729213657056 140572774617840 140573673756373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14587] ppid=14574 vsize=10555476 memory=280654906635920 CPUtime=0 cores=1,3,5,7
/proc/14577/task/14587/stat : 14587 (java) S 14574 14577 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96330548 10808807424 12449 33554432000 4194304 4196468 140729213657056 140572773566416 140573673764763 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14588] ppid=14574 vsize=10555476 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/14577/task/14588/stat : 14588 (java) R 14574 14577 6338 0 -1 4202560 750 0 0 0 6 0 0 0 20 0 15 0 96330548 10808807424 12449 33554432000 4194304 4196468 140729213657056 140572772506192 140573651340912 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14589] ppid=14574 vsize=10555476 memory=-1 CPUtime=0.05 cores=1,3,5,7
/proc/14577/task/14589/stat : 14589 (java) R 14574 14577 6338 0 -1 4202560 489 0 0 0 5 0 0 0 20 0 15 0 96330548 10808807424 12449 33554432000 4194304 4196468 140729213657056 140572771443016 140573658140036 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14590] ppid=14574 vsize=10555476 memory=140327563372160 CPUtime=0.12 cores=1,3,5,7
/proc/14577/task/14590/stat : 14590 (java) R 14574 14577 6338 0 -1 4202560 904 0 0 0 12 0 0 0 20 0 15 0 96330548 10808807424 12449 33554432000 4194304 4196468 140729213657056 140572770408944 140573652731424 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14591] ppid=14574 vsize=10555476 memory=2208 CPUtime=0 cores=1,3,5,7
/proc/14577/task/14591/stat : 14591 (java) S 14574 14577 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96330549 10808807424 12449 33554432000 4194304 4196468 140729213657056 140572769356640 140573673756373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14592] ppid=14574 vsize=10555476 memory=140327563372160 CPUtime=0 cores=1,3,5,7
/proc/14577/task/14592/stat : 14592 (java) S 14574 14577 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96330549 10808807424 12449 33554432000 4194304 4196468 140729213657056 140572768303664 140573673757314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
Current children cumulated CPU time: 0.56 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 49796 KiB
[startup+0.702685 s]
/proc/loadavg: 2.00 2.01 2.05 5/216 14592
/proc/meminfo: memFree=27512616/32770624 swapFree=67108860/67108860
[pid=14577] ppid=14574 vsize=10555476 memory=339512 CPUtime=1.8 cores=1,3,5,7
/proc/14577/stat : 14577 (java) S 14574 14577 6338 0 -1 1077944320 12747 0 0 0 167 13 0 0 20 0 15 0 96330543 10808807424 84878 33554432000 4194304 4196468 140729213657056 140729213639600 140573673746167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
/proc/14577/statm: 2638869 84878 3113 1 0 2627263 0
[pid=14577/tid=14579] ppid=14574 vsize=10555476 memory=1952 CPUtime=0.64 cores=1,3,5,7
/proc/14577/task/14579/stat : 14579 (java) R 14574 14577 6338 0 -1 4202560 5936 0 0 0 58 6 0 0 20 0 15 0 96330543 10808807424 84878 33554432000 4194304 4196468 140729213657056 140573677916112 140573292859786 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14580] ppid=14574 vsize=10555476 memory=5796 CPUtime=0.02 cores=1,3,5,7
/proc/14577/task/14580/stat : 14580 (java) S 14574 14577 6338 0 -1 1077944384 27 0 0 0 1 1 0 0 20 0 15 0 96330544 10808807424 84878 33554432000 4194304 4196468 140729213657056 140573610437648 140573673756373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14581] ppid=14574 vsize=10555476 memory=4616 CPUtime=0.02 cores=1,3,5,7
/proc/14577/task/14581/stat : 14581 (java) S 14574 14577 6338 0 -1 1077944384 33 0 0 0 1 1 0 0 20 0 15 0 96330544 10808807424 84878 33554432000 4194304 4196468 140729213657056 140573279120528 140573673756373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14582] ppid=14574 vsize=10555476 memory=7523356985603351872 CPUtime=0.03 cores=1,3,5,7
/proc/14577/task/14582/stat : 14582 (java) S 14574 14577 6338 0 -1 1077944384 29 0 0 0 2 1 0 0 20 0 15 0 96330544 10808807424 84878 33554432000 4194304 4196468 140729213657056 140573278067472 140573673756373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14583] ppid=14574 vsize=10555476 memory=7881696724453321575 CPUtime=0.02 cores=1,3,5,7
/proc/14577/task/14583/stat : 14583 (java) S 14574 14577 6338 0 -1 1077944384 25 0 0 0 1 1 0 0 20 0 15 0 96330544 10808807424 84878 33554432000 4194304 4196468 140729213657056 140573277014928 140573673756373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14584] ppid=14574 vsize=10555476 memory=7007721216195711056 CPUtime=0 cores=1,3,5,7
/proc/14577/task/14584/stat : 14584 (java) S 14574 14577 6338 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 15 0 96330545 10808807424 84878 33554432000 4194304 4196468 140729213657056 140572776724720 140573673757314 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14585] ppid=14574 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14577/task/14585/stat : 14585 (java) S 14574 14577 6338 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 96330546 10808807424 84878 33554432000 4194304 4196468 140729213657056 140572775671008 140573673756373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14586] ppid=14574 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14577/task/14586/stat : 14586 (java) S 14574 14577 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96330546 10808807424 84878 33554432000 4194304 4196468 140729213657056 140572774617856 140573673756373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14587] ppid=14574 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14577/task/14587/stat : 14587 (java) S 14574 14577 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96330548 10808807424 84878 33554432000 4194304 4196468 140729213657056 140572773566416 140573673764763 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14588] ppid=14574 vsize=10555476 memory=71 CPUtime=0.38 cores=1,3,5,7
/proc/14577/task/14588/stat : 14588 (java) R 14574 14577 6338 0 -1 4202560 1955 0 0 0 38 0 0 0 20 0 15 0 96330548 10808807424 84878 33554432000 4194304 4196468 140729213657056 140572772510912 140573657747868 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14589] ppid=14574 vsize=10555476 memory=3 CPUtime=0.35 cores=1,3,5,7
/proc/14577/task/14589/stat : 14589 (java) R 14574 14577 6338 0 -1 4202560 1669 0 0 0 35 0 0 0 20 0 15 0 96330548 10808807424 84878 33554432000 4194304 4196468 140729213657056 140572771454488 140573657653549 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14590] ppid=14574 vsize=10555476 memory=6027 CPUtime=0.27 cores=1,3,5,7
/proc/14577/task/14590/stat : 14590 (java) S 14574 14577 6338 0 -1 1077944384 1503 0 0 0 27 0 0 0 20 0 15 0 96330548 10808807424 84878 33554432000 4194304 4196468 140729213657056 140572770408944 140573673757314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14591] ppid=14574 vsize=10555476 memory=280654906822128 CPUtime=0 cores=1,3,5,7
/proc/14577/task/14591/stat : 14591 (java) S 14574 14577 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96330549 10808807424 84878 33554432000 4194304 4196468 140729213657056 140572769356640 140573673756373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14592] ppid=14574 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14577/task/14592/stat : 14592 (java) S 14574 14577 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96330549 10808807424 84878 33554432000 4194304 4196468 140729213657056 140572768303664 140573673757314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
Current children cumulated CPU time: 1.8 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 339512 KiB
[startup+1.50076 s]
/proc/loadavg: 2.00 2.01 2.05 3/216 14592
/proc/meminfo: memFree=27358344/32770624 swapFree=67108860/67108860
[pid=14577] ppid=14574 vsize=10622040 memory=570880 CPUtime=3.94 cores=1,3,5,7
/proc/14577/stat : 14577 (java) S 14574 14577 6338 0 -1 1077944320 13364 0 0 0 378 16 0 0 20 0 16 0 96330543 10876968960 142720 33554432000 4194304 4196468 140729213657056 140729213639600 140573673746167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
/proc/14577/statm: 2655510 142720 3131 1 0 2643904 0
[pid=14577/tid=14579] ppid=14574 vsize=10622040 memory=0 CPUtime=1.43 cores=1,3,5,7
/proc/14577/task/14579/stat : 14579 (java) R 14574 14577 6338 0 -1 4202560 6084 0 0 0 134 9 0 0 20 0 16 0 96330543 10876968960 142720 33554432000 4194304 4196468 140729213657056 140573677968880 140573290082384 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14580] ppid=14574 vsize=10622040 memory=-6724816006906276453 CPUtime=0.02 cores=1,3,5,7
/proc/14577/task/14580/stat : 14580 (java) S 14574 14577 6338 0 -1 1077944384 27 0 0 0 1 1 0 0 20 0 16 0 96330544 10876968960 142720 33554432000 4194304 4196468 140729213657056 140573610437648 140573673756373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14581] ppid=14574 vsize=10622040 memory=-5935602824819121961 CPUtime=0.02 cores=1,3,5,7
/proc/14577/task/14581/stat : 14581 (java) S 14574 14577 6338 0 -1 1077944384 33 0 0 0 1 1 0 0 20 0 16 0 96330544 10876968960 142720 33554432000 4194304 4196468 140729213657056 140573279120528 140573673756373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14582] ppid=14574 vsize=10622040 memory=-1161699032755887712 CPUtime=0.03 cores=1,3,5,7
/proc/14577/task/14582/stat : 14582 (java) S 14574 14577 6338 0 -1 1077944384 29 0 0 0 2 1 0 0 20 0 16 0 96330544 10876968960 142720 33554432000 4194304 4196468 140729213657056 140573278067472 140573673756373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14583] ppid=14574 vsize=10622040 memory=-6305713914539369856 CPUtime=0.02 cores=1,3,5,7
/proc/14577/task/14583/stat : 14583 (java) S 14574 14577 6338 0 -1 1077944384 25 0 0 0 1 1 0 0 20 0 16 0 96330544 10876968960 142720 33554432000 4194304 4196468 140729213657056 140573277014928 140573673756373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14584] ppid=14574 vsize=10622040 memory=-6305710624476456064 CPUtime=0 cores=1,3,5,7
/proc/14577/task/14584/stat : 14584 (java) S 14574 14577 6338 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 16 0 96330545 10876968960 142720 33554432000 4194304 4196468 140729213657056 140572776724720 140573673757314 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
################
# More data... #
################
/proc/14577/task/14582/stat : 14582 (java) S 14574 14577 6338 0 -1 1077944384 1081 0 0 0 115 12 0 0 20 0 16 0 96330544 10876968960 330114 33554432000 4194304 4196468 140729213657056 140573278067472 140573673756373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14583] ppid=14574 vsize=10622040 memory=1312264 CPUtime=1.26 cores=1,3,5,7
/proc/14577/task/14583/stat : 14583 (java) S 14574 14577 6338 0 -1 1077944384 801 0 0 0 116 10 0 0 20 0 16 0 96330544 10876968960 330114 33554432000 4194304 4196468 140729213657056 140573277014928 140573673756373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14584] ppid=14574 vsize=10622040 memory=1318408 CPUtime=0.1 cores=1,3,5,7
/proc/14577/task/14584/stat : 14584 (java) S 14574 14577 6338 0 -1 1077944384 4149 0 0 0 8 2 0 0 20 0 16 0 96330545 10876968960 330114 33554432000 4194304 4196468 140729213657056 140572776724720 140573673757314 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14585] ppid=14574 vsize=10622040 memory=1318408 CPUtime=0 cores=1,3,5,7
/proc/14577/task/14585/stat : 14585 (java) S 14574 14577 6338 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 16 0 96330546 10876968960 330114 33554432000 4194304 4196468 140729213657056 140572775671008 140573673756373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14586] ppid=14574 vsize=10622040 memory=1320456 CPUtime=0 cores=1,3,5,7
/proc/14577/task/14586/stat : 14586 (java) S 14574 14577 6338 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 16 0 96330546 10876968960 330114 33554432000 4194304 4196468 140729213657056 140572774617856 140573673756373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14587] ppid=14574 vsize=10622040 memory=1320456 CPUtime=0 cores=1,3,5,7
/proc/14577/task/14587/stat : 14587 (java) S 14574 14577 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 96330548 10876968960 330114 33554432000 4194304 4196468 140729213657056 140572773566416 140573673764763 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14588] ppid=14574 vsize=10622040 memory=1310216 CPUtime=1.6 cores=1,3,5,7
/proc/14577/task/14588/stat : 14588 (java) S 14574 14577 6338 0 -1 1077944384 7666 0 0 0 160 0 0 0 20 0 16 0 96330548 10876968960 330114 33554432000 4194304 4196468 140729213657056 140572772514544 140573673757314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14589] ppid=14574 vsize=10622040 memory=1310216 CPUtime=1.33 cores=1,3,5,7
/proc/14577/task/14589/stat : 14589 (java) S 14574 14577 6338 0 -1 1077944384 5414 0 0 0 132 1 0 0 20 0 16 0 96330548 10876968960 330114 33554432000 4194304 4196468 140729213657056 140572771462000 140573673757314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14590] ppid=14574 vsize=10622040 memory=1316360 CPUtime=0.41 cores=1,3,5,7
/proc/14577/task/14590/stat : 14590 (java) S 14574 14577 6338 0 -1 1077944384 4737 0 0 0 40 1 0 0 20 0 16 0 96330548 10876968960 330114 33554432000 4194304 4196468 140729213657056 140572770408944 140573673757314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14591] ppid=14574 vsize=10622040 memory=1316360 CPUtime=0 cores=1,3,5,7
/proc/14577/task/14591/stat : 14591 (java) S 14574 14577 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 96330549 10876968960 330114 33554432000 4194304 4196468 140729213657056 140572769356640 140573673756373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14592] ppid=14574 vsize=10622040 memory=636 CPUtime=0.52 cores=1,3,5,7
/proc/14577/task/14592/stat : 14592 (java) S 14574 14577 6338 0 -1 1077944384 2306 0 0 0 24 28 0 0 20 0 16 0 96330549 10876968960 330114 33554432000 4194304 4196468 140729213657056 140572768303664 140573673757314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14593] ppid=14574 vsize=10622040 memory=1236 CPUtime=0 cores=1,3,5,7
/proc/14577/task/14593/stat : 14593 (java) S 14574 14577 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 96330674 10876968960 330114 33554432000 4194304 4196468 140729213657056 140572767249456 140573673757314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
Current children cumulated CPU time: 2450.22 s
Current children cumulated vsize: 10622040 KiB
Current children cumulated memory: 1320456 KiB
[startup+2502.3 s]
/proc/loadavg: 4.12 2.77 2.31 7/217 14768
/proc/meminfo: memFree=19218304/32770624 swapFree=67108860/67108860
[pid=14577] ppid=14574 vsize=10622040 memory=1431348 CPUtime=2510.37 cores=1,3,5,7
/proc/14577/stat : 14577 (java) S 14574 14577 6338 0 -1 1077944320 57341 0 0 0 250936 101 0 0 20 0 16 0 96330543 10876968960 357837 33554432000 4194304 4196468 140729213657056 140729213639600 140573673746167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
/proc/14577/statm: 2655510 357837 3170 1 0 2643904 0
[pid=14577/tid=14579] ppid=14574 vsize=10622040 memory=1431348 CPUtime=2501.06 cores=1,3,5,7
/proc/14577/task/14579/stat : 14579 (java) R 14574 14577 6338 0 -1 4202560 26292 0 0 0 250089 17 0 0 20 0 16 0 96330543 10876968960 357837 33554432000 4194304 4196468 140729213657056 140573677985152 140573290082368 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14580] ppid=14574 vsize=10622040 memory=1308168 CPUtime=1.31 cores=1,3,5,7
/proc/14577/task/14580/stat : 14580 (java) S 14574 14577 6338 0 -1 1077944384 1301 0 0 0 118 13 0 0 20 0 16 0 96330544 10876968960 357837 33554432000 4194304 4196468 140729213657056 140573610437648 140573673756373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14581] ppid=14574 vsize=10622040 memory=280654907824576 CPUtime=1.32 cores=1,3,5,7
/proc/14577/task/14581/stat : 14581 (java) S 14574 14577 6338 0 -1 1077944384 1742 0 0 0 118 14 0 0 20 0 16 0 96330544 10876968960 357837 33554432000 4194304 4196468 140729213657056 140573279120528 140573673756373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14582] ppid=14574 vsize=10622040 memory=1355272 CPUtime=1.31 cores=1,3,5,7
/proc/14577/task/14582/stat : 14582 (java) S 14574 14577 6338 0 -1 1077944384 1147 0 0 0 117 14 0 0 20 0 16 0 96330544 10876968960 357837 33554432000 4194304 4196468 140729213657056 140573278067472 140573673756373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14583] ppid=14574 vsize=10622040 memory=1359368 CPUtime=1.31 cores=1,3,5,7
/proc/14577/task/14583/stat : 14583 (java) S 14574 14577 6338 0 -1 1077944384 858 0 0 0 119 12 0 0 20 0 16 0 96330544 10876968960 357837 33554432000 4194304 4196468 140729213657056 140573277014928 140573673756373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14584] ppid=14574 vsize=10622040 memory=1357320 CPUtime=0.1 cores=1,3,5,7
/proc/14577/task/14584/stat : 14584 (java) S 14574 14577 6338 0 -1 1077944384 4469 0 0 0 8 2 0 0 20 0 16 0 96330545 10876968960 357837 33554432000 4194304 4196468 140729213657056 140572776724720 140573673757314 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14585] ppid=14574 vsize=10622040 memory=1431348 CPUtime=0 cores=1,3,5,7
/proc/14577/task/14585/stat : 14585 (java) S 14574 14577 6338 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 16 0 96330546 10876968960 357837 33554432000 4194304 4196468 140729213657056 140572775671008 140573673756373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14586] ppid=14574 vsize=10622040 memory=1431348 CPUtime=0 cores=1,3,5,7
/proc/14577/task/14586/stat : 14586 (java) S 14574 14577 6338 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 16 0 96330546 10876968960 357837 33554432000 4194304 4196468 140729213657056 140572774617856 140573673756373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14587] ppid=14574 vsize=10622040 memory=1431348 CPUtime=0 cores=1,3,5,7
/proc/14577/task/14587/stat : 14587 (java) S 14574 14577 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 96330548 10876968960 357837 33554432000 4194304 4196468 140729213657056 140572773566416 140573673764763 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14588] ppid=14574 vsize=10622040 memory=1431348 CPUtime=1.6 cores=1,3,5,7
/proc/14577/task/14588/stat : 14588 (java) S 14574 14577 6338 0 -1 1077944384 7666 0 0 0 160 0 0 0 20 0 16 0 96330548 10876968960 357837 33554432000 4194304 4196468 140729213657056 140572772514544 140573673757314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14589] ppid=14574 vsize=10622040 memory=8256988 CPUtime=1.33 cores=1,3,5,7
/proc/14577/task/14589/stat : 14589 (java) S 14574 14577 6338 0 -1 1077944384 5414 0 0 0 132 1 0 0 20 0 16 0 96330548 10876968960 357837 33554432000 4194304 4196468 140729213657056 140572771462000 140573673757314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14590] ppid=14574 vsize=10622040 memory=6791534058613427641 CPUtime=0.41 cores=1,3,5,7
/proc/14577/task/14590/stat : 14590 (java) S 14574 14577 6338 0 -1 1077944384 4737 0 0 0 40 1 0 0 20 0 16 0 96330548 10876968960 357837 33554432000 4194304 4196468 140729213657056 140572770408944 140573673757314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14591] ppid=14574 vsize=10622040 memory=1431348 CPUtime=0 cores=1,3,5,7
/proc/14577/task/14591/stat : 14591 (java) S 14574 14577 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 96330549 10876968960 357837 33554432000 4194304 4196468 140729213657056 140572769356640 140573673756373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14592] ppid=14574 vsize=10622040 memory=1431348 CPUtime=0.53 cores=1,3,5,7
/proc/14577/task/14592/stat : 14592 (java) S 14574 14577 6338 0 -1 1077944384 2310 0 0 0 24 29 0 0 20 0 16 0 96330549 10876968960 357837 33554432000 4194304 4196468 140729213657056 140572768303664 140573673757314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14593] ppid=14574 vsize=10622040 memory=1431348 CPUtime=0 cores=1,3,5,7
/proc/14577/task/14593/stat : 14593 (java) S 14574 14577 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 96330674 10876968960 357837 33554432000 4194304 4196468 140729213657056 140572767249456 140573673757314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
Current children cumulated CPU time: 2510.37 s
Current children cumulated vsize: 10622040 KiB
Current children cumulated memory: 1431348 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2512 s]*
/proc/loadavg: 4.25 2.84 2.34 7/217 14768
/proc/meminfo: memFree=19218304/32770624 swapFree=67108860/67108860
[pid=14577] ppid=14574 vsize=10622040 memory=1431348 CPUtime=2520.08 cores=1,3,5,7
/proc/14577/stat : 14577 (java) S 14574 14577 6338 0 -1 1077944320 57488 0 0 0 251907 101 0 0 20 0 16 0 96330543 10876968960 357837 33554432000 4194304 4196468 140729213657056 140729213639600 140573673746167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
/proc/14577/statm: 2655510 357837 3170 1 0 2643904 0
[pid=14577/tid=14579] ppid=14574 vsize=10622040 memory=6791534058613427641 CPUtime=2510.77 cores=1,3,5,7
/proc/14577/task/14579/stat : 14579 (java) R 14574 14577 6338 0 -1 4202560 26371 0 0 0 251060 17 0 0 20 0 16 0 96330543 10876968960 357837 33554432000 4194304 4196468 140729213657056 140573677985152 140573294556952 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14580] ppid=14574 vsize=10622040 memory=6791534058613427641 CPUtime=1.31 cores=1,3,5,7
/proc/14577/task/14580/stat : 14580 (java) S 14574 14577 6338 0 -1 1077944384 1301 0 0 0 118 13 0 0 20 0 16 0 96330544 10876968960 357837 33554432000 4194304 4196468 140729213657056 140573610437648 140573673756373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14581] ppid=14574 vsize=10622040 memory=1584 CPUtime=1.32 cores=1,3,5,7
/proc/14577/task/14581/stat : 14581 (java) S 14574 14577 6338 0 -1 1077944384 1742 0 0 0 118 14 0 0 20 0 16 0 96330544 10876968960 357837 33554432000 4194304 4196468 140729213657056 140573279120528 140573673756373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14582] ppid=14574 vsize=10622040 memory=2196 CPUtime=1.31 cores=1,3,5,7
/proc/14577/task/14582/stat : 14582 (java) S 14574 14577 6338 0 -1 1077944384 1147 0 0 0 117 14 0 0 20 0 16 0 96330544 10876968960 357837 33554432000 4194304 4196468 140729213657056 140573278067472 140573673756373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14583] ppid=14574 vsize=10622040 memory=-7003737579269690708 CPUtime=1.31 cores=1,3,5,7
/proc/14577/task/14583/stat : 14583 (java) S 14574 14577 6338 0 -1 1077944384 858 0 0 0 119 12 0 0 20 0 16 0 96330544 10876968960 357837 33554432000 4194304 4196468 140729213657056 140573277014928 140573673756373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14584] ppid=14574 vsize=10622040 memory=6508 CPUtime=0.1 cores=1,3,5,7
/proc/14577/task/14584/stat : 14584 (java) S 14574 14577 6338 0 -1 1077944384 4479 0 0 0 8 2 0 0 20 0 16 0 96330545 10876968960 357837 33554432000 4194304 4196468 140729213657056 140572776724720 140573673757314 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14585] ppid=14574 vsize=10622040 memory=840 CPUtime=0 cores=1,3,5,7
/proc/14577/task/14585/stat : 14585 (java) S 14574 14577 6338 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 16 0 96330546 10876968960 357837 33554432000 4194304 4196468 140729213657056 140572775671008 140573673756373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14586] ppid=14574 vsize=10622040 memory=1692 CPUtime=0 cores=1,3,5,7
/proc/14577/task/14586/stat : 14586 (java) S 14574 14577 6338 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 16 0 96330546 10876968960 357837 33554432000 4194304 4196468 140729213657056 140572774617856 140573673756373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14587] ppid=14574 vsize=10622040 memory=916 CPUtime=0 cores=1,3,5,7
/proc/14577/task/14587/stat : 14587 (java) S 14574 14577 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 96330548 10876968960 357837 33554432000 4194304 4196468 140729213657056 140572773566416 140573673764763 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14588] ppid=14574 vsize=10622040 memory=3832 CPUtime=1.6 cores=1,3,5,7
/proc/14577/task/14588/stat : 14588 (java) S 14574 14577 6338 0 -1 1077944384 7669 0 0 0 160 0 0 0 20 0 16 0 96330548 10876968960 357837 33554432000 4194304 4196468 140729213657056 140572772514544 140573673757314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14589] ppid=14574 vsize=10622040 memory=-7003737579269690708 CPUtime=1.33 cores=1,3,5,7
/proc/14577/task/14589/stat : 14589 (java) S 14574 14577 6338 0 -1 1077944384 5427 0 0 0 132 1 0 0 20 0 16 0 96330548 10876968960 357837 33554432000 4194304 4196468 140729213657056 140572771462000 140573673757314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14590] ppid=14574 vsize=10622040 memory=1440 CPUtime=0.41 cores=1,3,5,7
/proc/14577/task/14590/stat : 14590 (java) S 14574 14577 6338 0 -1 1077944384 4740 0 0 0 40 1 0 0 20 0 16 0 96330548 10876968960 357837 33554432000 4194304 4196468 140729213657056 140572770408944 140573673757314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14591] ppid=14574 vsize=10622040 memory=15876 CPUtime=0 cores=1,3,5,7
/proc/14577/task/14591/stat : 14591 (java) S 14574 14577 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 96330549 10876968960 357837 33554432000 4194304 4196468 140729213657056 140572769356640 140573673756373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14592] ppid=14574 vsize=10622040 memory=1318408 CPUtime=0.53 cores=1,3,5,7
/proc/14577/task/14592/stat : 14592 (java) S 14574 14577 6338 0 -1 1077944384 2349 0 0 0 24 29 0 0 20 0 16 0 96330549 10876968960 357837 33554432000 4194304 4196468 140729213657056 140572768303664 140573673757314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14593] ppid=14574 vsize=10622040 memory=1320456 CPUtime=0 cores=1,3,5,7
/proc/14577/task/14593/stat : 14593 (java) S 14574 14577 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 96330674 10876968960 357837 33554432000 4194304 4196468 140729213657056 140572767249456 140573673757314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10622040 KiB
Current children cumulated memory: 1431348 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2512.27 s]
# the end of solver process 14577 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.14 s, system=1.02715 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2512.2 s]
/proc/loadavg: 4.25 2.84 2.34 7/217 14768
/proc/meminfo: memFree=19218304/32770624 swapFree=67108860/67108860
[pid=14577] ppid=14574 vsize=10821732 memory=1431664 CPUtime=2520.09 cores=1,3,5,7
/proc/14577/stat : 14577 (java) S 14574 14577 6338 0 -1 1077944320 58408 0 0 0 251908 101 0 0 20 0 17 0 96330543 11081453568 357916 33554432000 4194304 4196468 140729213657056 140729213639600 140573673746167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
/proc/14577/statm: 2705433 357916 3172 1 0 2693827 0
[pid=14577/tid=14579] ppid=14574 vsize=10821732 memory=4872558044660077418 CPUtime=2510.78 cores=1,3,5,7
/proc/14577/task/14579/stat : 14579 (java) S 14574 14577 6338 0 -1 1077944384 26496 0 0 0 251061 17 0 0 20 0 17 0 96330543 11081453568 357916 33554432000 4194304 4196468 140729213657056 140573677989040 140573673756373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14580] ppid=14574 vsize=10821732 memory=1204 CPUtime=1.31 cores=1,3,5,7
/proc/14577/task/14580/stat : 14580 (java) S 14574 14577 6338 0 -1 1077944384 1301 0 0 0 118 13 0 0 20 0 17 0 96330544 11081453568 357916 33554432000 4194304 4196468 140729213657056 140573610437648 140573673756373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14581] ppid=14574 vsize=10821732 memory=1716 CPUtime=1.32 cores=1,3,5,7
/proc/14577/task/14581/stat : 14581 (java) S 14574 14577 6338 0 -1 1077944384 1742 0 0 0 118 14 0 0 20 0 17 0 96330544 11081453568 357916 33554432000 4194304 4196468 140729213657056 140573279120528 140573673756373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14582] ppid=14574 vsize=10821732 memory=1440 CPUtime=1.31 cores=1,3,5,7
/proc/14577/task/14582/stat : 14582 (java) S 14574 14577 6338 0 -1 1077944384 1147 0 0 0 117 14 0 0 20 0 17 0 96330544 11081453568 357916 33554432000 4194304 4196468 140729213657056 140573278067472 140573673756373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14583] ppid=14574 vsize=10821732 memory=15876 CPUtime=1.31 cores=1,3,5,7
/proc/14577/task/14583/stat : 14583 (java) S 14574 14577 6338 0 -1 1077944384 858 0 0 0 119 12 0 0 20 0 17 0 96330544 11081453568 357916 33554432000 4194304 4196468 140729213657056 140573277014928 140573673756373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14584] ppid=14574 vsize=10821732 memory=16432 CPUtime=0.1 cores=1,3,5,7
/proc/14577/task/14584/stat : 14584 (java) S 14574 14577 6338 0 -1 1077944384 4479 0 0 0 8 2 0 0 20 0 17 0 96330545 11081453568 357916 33554432000 4194304 4196468 140729213657056 140572776724720 140573673757314 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14585] ppid=14574 vsize=10821732 memory=16776 CPUtime=0 cores=1,3,5,7
/proc/14577/task/14585/stat : 14585 (java) S 14574 14577 6338 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 17 0 96330546 11081453568 357916 33554432000 4194304 4196468 140729213657056 140572775671008 140573673756373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14586] ppid=14574 vsize=10821732 memory=4044 CPUtime=0 cores=1,3,5,7
/proc/14577/task/14586/stat : 14586 (java) S 14574 14577 6338 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 17 0 96330546 11081453568 357916 33554432000 4194304 4196468 140729213657056 140572774617856 140573673756373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14587] ppid=14574 vsize=10821732 memory=1792 CPUtime=0 cores=1,3,5,7
/proc/14577/task/14587/stat : 14587 (java) S 14574 14577 6338 0 -1 1077944384 214 0 0 0 0 0 0 0 20 0 17 0 96330548 11081453568 357916 33554432000 4194304 4196468 140729213657056 140572773566416 140573673764763 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14588] ppid=14574 vsize=10821732 memory=840 CPUtime=1.6 cores=1,3,5,7
/proc/14577/task/14588/stat : 14588 (java) S 14574 14577 6338 0 -1 1077944384 7669 0 0 0 160 0 0 0 20 0 17 0 96330548 11081453568 357916 33554432000 4194304 4196468 140729213657056 140572772514544 140573673757314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14589] ppid=14574 vsize=10821732 memory=1692 CPUtime=1.33 cores=1,3,5,7
/proc/14577/task/14589/stat : 14589 (java) S 14574 14577 6338 0 -1 1077944384 5427 0 0 0 132 1 0 0 20 0 17 0 96330548 11081453568 357916 33554432000 4194304 4196468 140729213657056 140572771462000 140573673757314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14590] ppid=14574 vsize=10821732 memory=916 CPUtime=0.41 cores=1,3,5,7
/proc/14577/task/14590/stat : 14590 (java) S 14574 14577 6338 0 -1 1077944384 4946 0 0 0 40 1 0 0 20 0 17 0 96330548 11081453568 357916 33554432000 4194304 4196468 140729213657056 140572770408944 140573673757314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14591] ppid=14574 vsize=10821732 memory=3832 CPUtime=0 cores=1,3,5,7
/proc/14577/task/14591/stat : 14591 (java) S 14574 14577 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 96330549 11081453568 357916 33554432000 4194304 4196468 140729213657056 140572769356640 140573673756373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
[pid=14577/tid=14592] ppid=14574 vsize=10821732 memory=2624 CPUtime=0.53 cores=1,3,5,7
/proc/14577/task/14592/stat : 14592 (java) S 14574 14577 6338 0 -1 1077944384 2349 0 0 0 24 29 0 0 20 0 17 0 96330549 11081453568 357916 33554432000 4194304 4196468 140729213657056 140572768303664 140573673757314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34582528 140729213658246 140729213658399 140729213658399 140729213661135 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 10821732 KiB
Current children cumulated memory: 1431664 KiB
Child status: 143
Real time (s): 2512.27
CPU time (s): 2520.17
CPU user time (s): 2519.14
CPU system time (s): 1.02715
CPU usage (%): 100.314
Max. virtual memory (cumulated for all children) (KiB): 10821732
Max. memory (cumulated for all children) (KiB): 1431664
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.14
system time used= 1.02715
maximum resident set size= 1432040
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59265
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1600
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 56697
involuntary context switches= 992
# summary of solver processes directly reported to runsolver:
# pid: 14577
# total CPU time (s): 2520.17
# total CPU user time (s): 2519.14
# total CPU system time (s): 1.02715
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.5318 second user time and 23.4076 second system time
The end