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 (15090 MiB free)
memory of node 1: 16384 MiB (7587 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4262914-1502625348/watcher-4262914-1502625348 -o /tmp/evaluation-result-4262914-1502625348/solver-4262914-1502625348 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1502624013-2077 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4262914-1502625348.xml
running on 4 cores: 0,2,4,6
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=2530, runsolver pid=2527
[startup+0.100058 s]*
/proc/loadavg: 7.41 5.70 3.70 7/216 2545
/proc/meminfo: memFree=23205064/32770624 swapFree=67108860/67108860
[pid=2530] ppid=2527 vsize=10555400 memory=29576 CPUtime=0.13 cores=0,2,4,6
/proc/2530/stat : 2530 (java) S 2527 2530 28385 0 -1 1077944320 6928 0 0 0 11 2 0 0 20 0 15 0 95622583 10808729600 7394 33554432000 4194304 4196468 140722989755008 140722989737552 139679484141303 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
/proc/2530/statm: 2638850 7394 2825 1 0 2627263 0
[pid=2530/tid=2532] ppid=2527 vsize=10555400 memory=8326441112148417179 CPUtime=0.09 cores=0,2,4,6
/proc/2530/task/2532/stat : 2532 (java) R 2527 2530 28385 0 -1 4202560 4739 0 0 0 8 1 0 0 20 0 15 0 95622584 10808729600 7394 33554432000 4194304 4196468 140722989755008 139679488362432 139679484163229 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2533] ppid=2527 vsize=10555400 memory=-7025452035940392864 CPUtime=0 cores=0,2,4,6
/proc/2530/task/2533/stat : 2533 (java) S 2527 2530 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95622585 10808729600 7394 33554432000 4194304 4196468 140722989755008 139679451700112 139679484151509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2534] ppid=2527 vsize=10555400 memory=139914306487936 CPUtime=0 cores=0,2,4,6
/proc/2530/task/2534/stat : 2534 (java) S 2527 2530 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95622585 10808729600 7394 33554432000 4194304 4196468 140722989755008 139679089748752 139679484151509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2535] ppid=2527 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2530/task/2535/stat : 2535 (java) S 2527 2530 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95622585 10808729600 7394 33554432000 4194304 4196468 140722989755008 139679088696464 139679484151509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2536] ppid=2527 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2530/task/2536/stat : 2536 (java) S 2527 2530 28385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95622585 10808729600 7394 33554432000 4194304 4196468 140722989755008 139679087643664 139679484151509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2537] ppid=2527 vsize=10555400 memory=139914306487936 CPUtime=0 cores=0,2,4,6
/proc/2530/task/2537/stat : 2537 (java) S 2527 2530 28385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95622586 10808729600 7394 33554432000 4194304 4196468 140722989755008 139678587005040 139679484152450 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2538] ppid=2527 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2530/task/2538/stat : 2538 (java) S 2527 2530 28385 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95622586 10808729600 7394 33554432000 4194304 4196468 140722989755008 139678585951008 139679484151509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2539] ppid=2527 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2530/task/2539/stat : 2539 (java) S 2527 2530 28385 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95622587 10808729600 7394 33554432000 4194304 4196468 140722989755008 139678584898672 139679484151509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2540] ppid=2527 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2530/task/2540/stat : 2540 (java) S 2527 2530 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95622589 10808729600 7394 33554432000 4194304 4196468 140722989755008 139678583846992 139679484159899 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2541] ppid=2527 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2530/task/2541/stat : 2541 (java) S 2527 2530 28385 0 -1 1077944384 419 0 0 0 0 0 0 0 20 0 15 0 95622589 10808729600 7394 33554432000 4194304 4196468 140722989755008 139678582794864 139679484152450 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2542] ppid=2527 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2530/task/2542/stat : 2542 (java) S 2527 2530 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95622589 10808729600 7394 33554432000 4194304 4196468 140722989755008 139678581742064 139679484152450 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2543] ppid=2527 vsize=10555400 memory=139914306487936 CPUtime=0.02 cores=0,2,4,6
/proc/2530/task/2543/stat : 2543 (java) R 2527 2530 28385 0 -1 4202560 409 0 0 0 2 0 0 0 20 0 15 0 95622589 10808729600 7394 33554432000 4194304 4196468 140722989755008 139678580689776 139679477238139 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2544] ppid=2527 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2530/task/2544/stat : 2544 (java) S 2527 2530 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95622589 10808729600 7394 33554432000 4194304 4196468 140722989755008 139678579637216 139679484151509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2545] ppid=2527 vsize=10555400 memory=139914306487936 CPUtime=0 cores=0,2,4,6
/proc/2530/task/2545/stat : 2545 (java) S 2527 2530 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95622589 10808729600 7394 33554432000 4194304 4196468 140722989755008 139677973604784 139679484152450 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 29576 KiB
[startup+0.210493 s]*
/proc/loadavg: 7.41 5.70 3.70 6/216 2545
/proc/meminfo: memFree=23196636/32770624 swapFree=67108860/67108860
[pid=2530] ppid=2527 vsize=10555400 memory=38656 CPUtime=0.28 cores=0,2,4,6
/proc/2530/stat : 2530 (java) S 2527 2530 28385 0 -1 1077944320 8377 0 0 0 26 2 0 0 20 0 15 0 95622583 10808729600 9664 33554432000 4194304 4196468 140722989755008 140722989737552 139679484141303 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
/proc/2530/statm: 2638850 9664 2934 1 0 2627263 0
[pid=2530/tid=2532] ppid=2527 vsize=10555400 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/2530/task/2532/stat : 2532 (java) R 2527 2530 28385 0 -1 4202560 5439 0 0 0 18 2 0 0 20 0 15 0 95622584 10808729600 9664 33554432000 4194304 4196468 140722989755008 139679488376000 139679484153238 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2533] ppid=2527 vsize=10555400 memory=342 CPUtime=0 cores=0,2,4,6
/proc/2530/task/2533/stat : 2533 (java) S 2527 2530 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95622585 10808729600 9664 33554432000 4194304 4196468 140722989755008 139679451700112 139679484151509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2534] ppid=2527 vsize=10555400 memory=139914306503637 CPUtime=0 cores=0,2,4,6
/proc/2530/task/2534/stat : 2534 (java) S 2527 2530 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95622585 10808729600 9664 33554432000 4194304 4196468 140722989755008 139679089748752 139679484151509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2535] ppid=2527 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2530/task/2535/stat : 2535 (java) S 2527 2530 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95622585 10808729600 9664 33554432000 4194304 4196468 140722989755008 139679088696464 139679484151509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2536] ppid=2527 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2530/task/2536/stat : 2536 (java) S 2527 2530 28385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95622585 10808729600 9664 33554432000 4194304 4196468 140722989755008 139679087643664 139679484151509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2537] ppid=2527 vsize=10555400 memory=139914306487936 CPUtime=0 cores=0,2,4,6
/proc/2530/task/2537/stat : 2537 (java) S 2527 2530 28385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95622586 10808729600 9664 33554432000 4194304 4196468 140722989755008 139678587005040 139679484152450 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2538] ppid=2527 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2530/task/2538/stat : 2538 (java) S 2527 2530 28385 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95622586 10808729600 9664 33554432000 4194304 4196468 140722989755008 139678585951008 139679484151509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2539] ppid=2527 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2530/task/2539/stat : 2539 (java) S 2527 2530 28385 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95622587 10808729600 9664 33554432000 4194304 4196468 140722989755008 139678584898672 139679484151509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2540] ppid=2527 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2530/task/2540/stat : 2540 (java) S 2527 2530 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95622589 10808729600 9664 33554432000 4194304 4196468 140722989755008 139678583846992 139679484159899 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2541] ppid=2527 vsize=10555400 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/2530/task/2541/stat : 2541 (java) S 2527 2530 28385 0 -1 1077944384 542 0 0 0 1 0 0 0 20 0 15 0 95622589 10808729600 9664 33554432000 4194304 4196468 140722989755008 139678582794864 139679484152450 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2542] ppid=2527 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2530/task/2542/stat : 2542 (java) S 2527 2530 28385 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 95622589 10808729600 9664 33554432000 4194304 4196468 140722989755008 139678581742064 139679484152450 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2543] ppid=2527 vsize=10555400 memory=139914306487936 CPUtime=0.06 cores=0,2,4,6
/proc/2530/task/2543/stat : 2543 (java) R 2527 2530 28385 0 -1 4202560 956 0 0 0 6 0 0 0 20 0 15 0 95622589 10808729600 9664 33554432000 4194304 4196468 140722989755008 139678580689776 139679463856068 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2544] ppid=2527 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2530/task/2544/stat : 2544 (java) S 2527 2530 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95622589 10808729600 9664 33554432000 4194304 4196468 140722989755008 139678579637216 139679484151509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2545] ppid=2527 vsize=10555400 memory=139914306487936 CPUtime=0 cores=0,2,4,6
/proc/2530/task/2545/stat : 2545 (java) S 2527 2530 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95622589 10808729600 9664 33554432000 4194304 4196468 140722989755008 139677973604784 139679484152450 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 38656 KiB
[startup+0.31005 s]*
/proc/loadavg: 7.41 5.70 3.70 8/216 2545
/proc/meminfo: memFree=23189176/32770624 swapFree=67108860/67108860
[pid=2530] ppid=2527 vsize=10555476 memory=45856 CPUtime=0.5 cores=0,2,4,6
/proc/2530/stat : 2530 (java) S 2527 2530 28385 0 -1 1077944320 9185 0 0 0 47 3 0 0 20 0 15 0 95622583 10808807424 11398 33554432000 4194304 4196468 140722989755008 140722989737552 139679484141303 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
/proc/2530/statm: 2638869 11464 3019 1 0 2627263 0
[pid=2530/tid=2532] ppid=2527 vsize=10555476 memory=53476 CPUtime=0.29 cores=0,2,4,6
/proc/2530/task/2532/stat : 2532 (java) R 2527 2530 28385 0 -1 4202560 5823 0 0 0 27 2 0 0 20 0 15 0 95622584 10808807424 11464 33554432000 4194304 4196468 140722989755008 139679488367408 139679120370208 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2533] ppid=2527 vsize=10555476 memory=35 CPUtime=0 cores=0,2,4,6
/proc/2530/task/2533/stat : 2533 (java) S 2527 2530 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95622585 10808807424 11464 33554432000 4194304 4196468 140722989755008 139679451700112 139679484151509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2534] ppid=2527 vsize=10555476 memory=139914306545952 CPUtime=0 cores=0,2,4,6
/proc/2530/task/2534/stat : 2534 (java) S 2527 2530 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95622585 10808807424 11464 33554432000 4194304 4196468 140722989755008 139679089748752 139679484151509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2535] ppid=2527 vsize=10555476 memory=60388 CPUtime=0 cores=0,2,4,6
/proc/2530/task/2535/stat : 2535 (java) S 2527 2530 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95622585 10808807424 11464 33554432000 4194304 4196468 140722989755008 139679088696464 139679484151509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2536] ppid=2527 vsize=10555476 memory=35 CPUtime=0 cores=0,2,4,6
/proc/2530/task/2536/stat : 2536 (java) S 2527 2530 28385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95622585 10808807424 11464 33554432000 4194304 4196468 140722989755008 139679087643664 139679484151509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2537] ppid=2527 vsize=10555476 memory=139914306552864 CPUtime=0 cores=0,2,4,6
/proc/2530/task/2537/stat : 2537 (java) S 2527 2530 28385 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95622586 10808807424 11464 33554432000 4194304 4196468 140722989755008 139678587005040 139679484152450 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2538] ppid=2527 vsize=10555476 memory=35 CPUtime=0 cores=0,2,4,6
/proc/2530/task/2538/stat : 2538 (java) S 2527 2530 28385 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95622586 10808807424 11464 33554432000 4194304 4196468 140722989755008 139678585951008 139679484151509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2539] ppid=2527 vsize=10555476 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/2530/task/2539/stat : 2539 (java) S 2527 2530 28385 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95622587 10808807424 11464 33554432000 4194304 4196468 140722989755008 139678584898672 139679484151509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2540] ppid=2527 vsize=10555476 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/2530/task/2540/stat : 2540 (java) S 2527 2530 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95622589 10808807424 11464 33554432000 4194304 4196468 140722989755008 139678583846992 139679484159899 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2541] ppid=2527 vsize=10555476 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/2530/task/2541/stat : 2541 (java) R 2527 2530 28385 0 -1 1077944384 640 0 0 0 4 0 0 0 20 0 15 0 95622589 10808807424 11464 33554432000 4194304 4196468 140722989755008 139678582794864 139679484152450 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2542] ppid=2527 vsize=10555476 memory=139914196934607 CPUtime=0.02 cores=0,2,4,6
/proc/2530/task/2542/stat : 2542 (java) R 2527 2530 28385 0 -1 4202560 231 0 0 0 2 0 0 0 20 0 15 0 95622589 10808807424 11464 33554432000 4194304 4196468 140722989755008 139678581742064 139679467609338 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2543] ppid=2527 vsize=10555476 memory=139914306490299 CPUtime=0.12 cores=0,2,4,6
/proc/2530/task/2543/stat : 2543 (java) R 2527 2530 28385 0 -1 4202560 1164 0 0 0 12 0 0 0 20 0 15 0 95622589 10808807424 11464 33554432000 4194304 4196468 140722989755008 139678580689776 139679468221790 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2544] ppid=2527 vsize=10555476 memory=139914196934607 CPUtime=0 cores=0,2,4,6
/proc/2530/task/2544/stat : 2544 (java) S 2527 2530 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95622589 10808807424 11464 33554432000 4194304 4196468 140722989755008 139678579637216 139679484151509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2545] ppid=2527 vsize=10555476 memory=279828503439296 CPUtime=0 cores=0,2,4,6
/proc/2530/task/2545/stat : 2545 (java) S 2527 2530 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95622589 10808807424 11464 33554432000 4194304 4196468 140722989755008 139677973604784 139679484152450 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 45856 KiB
[startup+0.700739 s]
/proc/loadavg: 7.22 5.68 3.71 8/216 2545
/proc/meminfo: memFree=23106704/32770624 swapFree=67108860/67108860
[pid=2530] ppid=2527 vsize=10555476 memory=229884 CPUtime=1.61 cores=0,2,4,6
/proc/2530/stat : 2530 (java) S 2527 2530 28385 0 -1 1077944320 11363 0 0 0 148 13 0 0 20 0 15 0 95622583 10808807424 57471 33554432000 4194304 4196468 140722989755008 140722989737552 139679484141303 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
/proc/2530/statm: 2638869 57471 3098 1 0 2627263 0
[pid=2530/tid=2532] ppid=2527 vsize=10555476 memory=2372 CPUtime=0.61 cores=0,2,4,6
/proc/2530/task/2532/stat : 2532 (java) R 2527 2530 28385 0 -1 4202560 5947 0 0 0 57 4 0 0 20 0 15 0 95622584 10808807424 57471 33554432000 4194304 4196468 140722989755008 139679488374864 139679122794416 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2533] ppid=2527 vsize=10555476 memory=6872598998417432672 CPUtime=0.05 cores=0,2,4,6
/proc/2530/task/2533/stat : 2533 (java) S 2527 2530 28385 0 -1 1077944384 34 0 0 0 4 1 0 0 20 0 15 0 95622585 10808807424 57471 33554432000 4194304 4196468 140722989755008 139679451700112 139679484151509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2534] ppid=2527 vsize=10555476 memory=1204 CPUtime=0.04 cores=0,2,4,6
/proc/2530/task/2534/stat : 2534 (java) S 2527 2530 28385 0 -1 1077944384 31 0 0 0 3 1 0 0 20 0 15 0 95622585 10808807424 57471 33554432000 4194304 4196468 140722989755008 139679089748752 139679484151509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2535] ppid=2527 vsize=10555476 memory=15876 CPUtime=0.05 cores=0,2,4,6
/proc/2530/task/2535/stat : 2535 (java) S 2527 2530 28385 0 -1 1077944384 40 0 0 0 4 1 0 0 20 0 15 0 95622585 10808807424 57471 33554432000 4194304 4196468 140722989755008 139679088696464 139679484151509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2536] ppid=2527 vsize=10555476 memory=17700 CPUtime=0.04 cores=0,2,4,6
/proc/2530/task/2536/stat : 2536 (java) S 2527 2530 28385 0 -1 1077944384 26 0 0 0 3 1 0 0 20 0 15 0 95622585 10808807424 57471 33554432000 4194304 4196468 140722989755008 139679087643664 139679484151509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2537] ppid=2527 vsize=10555476 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/2530/task/2537/stat : 2537 (java) S 2527 2530 28385 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 95622586 10808807424 57471 33554432000 4194304 4196468 140722989755008 139678587005040 139679484152450 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2538] ppid=2527 vsize=10555476 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/2530/task/2538/stat : 2538 (java) S 2527 2530 28385 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 95622586 10808807424 57471 33554432000 4194304 4196468 140722989755008 139678585951008 139679484151509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2539] ppid=2527 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2530/task/2539/stat : 2539 (java) S 2527 2530 28385 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 95622587 10808807424 57471 33554432000 4194304 4196468 140722989755008 139678584898672 139679484151509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2540] ppid=2527 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2530/task/2540/stat : 2540 (java) S 2527 2530 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95622589 10808807424 57471 33554432000 4194304 4196468 140722989755008 139678583846992 139679484159899 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2541] ppid=2527 vsize=10555476 memory=0 CPUtime=0.27 cores=0,2,4,6
/proc/2530/task/2541/stat : 2541 (java) S 2527 2530 28385 0 -1 1077944384 1414 0 0 0 27 0 0 0 20 0 15 0 95622589 10808807424 57471 33554432000 4194304 4196468 140722989755008 139678582794864 139679484152450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2542] ppid=2527 vsize=10555476 memory=0 CPUtime=0.29 cores=0,2,4,6
/proc/2530/task/2542/stat : 2542 (java) S 2527 2530 28385 0 -1 1077944384 1154 0 0 0 29 0 0 0 20 0 15 0 95622589 10808807424 57471 33554432000 4194304 4196468 140722989755008 139678581742064 139679484152450 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2543] ppid=2527 vsize=10555476 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/2530/task/2543/stat : 2543 (java) S 2527 2530 28385 0 -1 1077944384 1272 0 0 0 17 0 0 0 20 0 15 0 95622589 10808807424 57471 33554432000 4194304 4196468 140722989755008 139678580689776 139679484152450 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2544] ppid=2527 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2530/task/2544/stat : 2544 (java) S 2527 2530 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95622589 10808807424 57471 33554432000 4194304 4196468 140722989755008 139678579637216 139679484151509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2545] ppid=2527 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2530/task/2545/stat : 2545 (java) S 2527 2530 28385 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95622589 10808807424 57471 33554432000 4194304 4196468 140722989755008 139677973604784 139679484152450 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
Current children cumulated CPU time: 1.61 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 229884 KiB
[startup+1.50623 s]
/proc/loadavg: 7.22 5.68 3.71 6/216 2545
/proc/meminfo: memFree=22900216/32770624 swapFree=67108860/67108860
[pid=2530] ppid=2527 vsize=10555476 memory=625984 CPUtime=3.59 cores=0,2,4,6
/proc/2530/stat : 2530 (java) S 2527 2530 28385 0 -1 1077944320 12571 0 0 0 315 44 0 0 20 0 15 0 95622583 10808807424 156496 33554432000 4194304 4196468 140722989755008 140722989737552 139679484141303 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
/proc/2530/statm: 2638869 156496 3111 1 0 2627263 0
[pid=2530/tid=2532] ppid=2527 vsize=10555476 memory=3467828020972107329 CPUtime=1.08 cores=0,2,4,6
/proc/2530/task/2532/stat : 2532 (java) S 2527 2530 28385 0 -1 1077944384 6016 0 0 0 102 6 0 0 20 0 15 0 95622584 10808807424 156496 33554432000 4194304 4196468 140722989755008 139679488374816 139679484151509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2533] ppid=2527 vsize=10555476 memory=259440 CPUtime=0.39 cores=0,2,4,6
/proc/2530/task/2533/stat : 2533 (java) R 2527 2530 28385 0 -1 4202560 556 0 0 0 30 9 0 0 20 0 15 0 95622585 10808807424 156496 33554432000 4194304 4196468 140722989755008 139679451700232 139679476769511 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2534] ppid=2527 vsize=10555476 memory=2241 CPUtime=0.38 cores=0,2,4,6
/proc/2530/task/2534/stat : 2534 (java) R 2527 2530 28385 0 -1 4202560 209 0 0 0 29 9 0 0 20 0 15 0 95622585 10808807424 156496 33554432000 4194304 4196468 140722989755008 139679089748752 139679469166684 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2535] ppid=2527 vsize=10555476 memory=1204 CPUtime=0.4 cores=0,2,4,6
/proc/2530/task/2535/stat : 2535 (java) R 2527 2530 28385 0 -1 4202560 256 0 0 0 31 9 0 0 20 0 15 0 95622585 10808807424 156496 33554432000 4194304 4196468 140722989755008 139679088696464 139679469185627 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2536] ppid=2527 vsize=10555476 memory=15876 CPUtime=0.38 cores=0,2,4,6
/proc/2530/task/2536/stat : 2536 (java) R 2527 2530 28385 0 -1 4202560 225 0 0 0 29 9 0 0 20 0 15 0 95622585 10808807424 156496 33554432000 4194304 4196468 140722989755008 139679087643864 139679469185328 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2537] ppid=2527 vsize=10555476 memory=17700 CPUtime=0 cores=0,2,4,6
/proc/2530/task/2537/stat : 2537 (java) S 2527 2530 28385 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 95622586 10808807424 156496 33554432000 4194304 4196468 140722989755008 139678587003552 139679484151509 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
################
# More data... #
################
/proc/2530/task/2535/stat : 2535 (java) S 2527 2530 28385 0 -1 1077944384 72666 0 0 0 4258 169 0 0 20 0 16 0 95622585 10876968960 1954973 33554432000 4194304 4196468 140722989755008 139679088696464 139679484151509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2536] ppid=2527 vsize=10622040 memory=1716 CPUtime=44.59 cores=0,2,4,6
/proc/2530/task/2536/stat : 2536 (java) S 2527 2530 28385 0 -1 1077944384 107556 0 0 0 4285 174 0 0 20 0 16 0 95622585 10876968960 1954973 33554432000 4194304 4196468 140722989755008 139679087643664 139679484151509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2537] ppid=2527 vsize=10622040 memory=12028 CPUtime=10.99 cores=0,2,4,6
/proc/2530/task/2537/stat : 2537 (java) S 2527 2530 28385 0 -1 1077944384 31281 0 0 0 1094 5 0 0 20 0 16 0 95622586 10876968960 1954973 33554432000 4194304 4196468 140722989755008 139678587005040 139679484152450 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2538] ppid=2527 vsize=10622040 memory=5668 CPUtime=0 cores=0,2,4,6
/proc/2530/task/2538/stat : 2538 (java) S 2527 2530 28385 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 16 0 95622586 10876968960 1954973 33554432000 4194304 4196468 140722989755008 139678585951072 139679484151509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2539] ppid=2527 vsize=10622040 memory=7819892 CPUtime=0 cores=0,2,4,6
/proc/2530/task/2539/stat : 2539 (java) S 2527 2530 28385 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 16 0 95622587 10876968960 1954973 33554432000 4194304 4196468 140722989755008 139678584898688 139679484151509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2540] ppid=2527 vsize=10622040 memory=7819892 CPUtime=0 cores=0,2,4,6
/proc/2530/task/2540/stat : 2540 (java) S 2527 2530 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95622589 10876968960 1954973 33554432000 4194304 4196468 140722989755008 139678583846992 139679484159899 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2541] ppid=2527 vsize=10622040 memory=7819892 CPUtime=1.3 cores=0,2,4,6
/proc/2530/task/2541/stat : 2541 (java) S 2527 2530 28385 0 -1 1077944384 4806 0 0 0 129 1 0 0 20 0 16 0 95622589 10876968960 1954973 33554432000 4194304 4196468 140722989755008 139678582794864 139679484152450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2542] ppid=2527 vsize=10622040 memory=7819892 CPUtime=1.56 cores=0,2,4,6
/proc/2530/task/2542/stat : 2542 (java) S 2527 2530 28385 0 -1 1077944384 6721 0 0 0 156 0 0 0 20 0 16 0 95622589 10876968960 1954973 33554432000 4194304 4196468 140722989755008 139678581742064 139679484152450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2543] ppid=2527 vsize=10622040 memory=7819892 CPUtime=0.37 cores=0,2,4,6
/proc/2530/task/2543/stat : 2543 (java) S 2527 2530 28385 0 -1 1077944384 7541 0 0 0 36 1 0 0 20 0 16 0 95622589 10876968960 1954973 33554432000 4194304 4196468 140722989755008 139678580689776 139679484152450 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2544] ppid=2527 vsize=10622040 memory=7819892 CPUtime=0 cores=0,2,4,6
/proc/2530/task/2544/stat : 2544 (java) S 2527 2530 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95622589 10876968960 1954973 33554432000 4194304 4196468 140722989755008 139678579637216 139679484151509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2545] ppid=2527 vsize=10622040 memory=1796 CPUtime=1.22 cores=0,2,4,6
/proc/2530/task/2545/stat : 2545 (java) S 2527 2530 28385 0 -1 1077944384 2199 0 0 0 59 63 0 0 20 0 16 0 95622589 10876968960 1954973 33554432000 4194304 4196468 140722989755008 139677973604784 139679484152450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2701] ppid=2527 vsize=10622040 memory=1236 CPUtime=0 cores=0,2,4,6
/proc/2530/task/2701/stat : 2701 (java) S 2527 2530 28385 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 95627530 10876968960 1954973 33554432000 4194304 4196468 140722989755008 139677972550320 139679484152450 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
Current children cumulated CPU time: 2459.13 s
Current children cumulated vsize: 10622040 KiB
Current children cumulated memory: 7819892 KiB
[startup+2382.3 s]
/proc/loadavg: 2.07 2.13 2.44 3/218 3182
/proc/meminfo: memFree=22987396/32770624 swapFree=67108860/67108860
[pid=2530] ppid=2527 vsize=10622040 memory=7819892 CPUtime=2519.17 cores=0,2,4,6
/proc/2530/stat : 2530 (java) S 2527 2530 28385 0 -1 1077944320 3924418 0 0 0 250961 956 0 0 20 0 16 0 95622583 10876968960 1954973 33554432000 4194304 4196468 140722989755008 140722989737552 139679484141303 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
/proc/2530/statm: 2655510 1954973 3158 1 0 2643904 0
[pid=2530/tid=2532] ppid=2527 vsize=10622040 memory=7819892 CPUtime=2326.32 cores=0,2,4,6
/proc/2530/task/2532/stat : 2532 (java) R 2527 2530 28385 0 -1 4202560 3491625 0 0 0 232412 220 0 0 20 0 16 0 95622584 10876968960 1954973 33554432000 4194304 4196468 140722989755008 139679488372880 139679124125168 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2533] ppid=2527 vsize=10622040 memory=7819892 CPUtime=44.3 cores=0,2,4,6
/proc/2530/task/2533/stat : 2533 (java) S 2527 2530 28385 0 -1 1077944384 102301 0 0 0 4264 166 0 0 20 0 16 0 95622585 10876968960 1954973 33554432000 4194304 4196468 140722989755008 139679451700112 139679484151509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2534] ppid=2527 vsize=10622040 memory=7819892 CPUtime=44.1 cores=0,2,4,6
/proc/2530/task/2534/stat : 2534 (java) S 2527 2530 28385 0 -1 1077944384 96161 0 0 0 4245 165 0 0 20 0 16 0 95622585 10876968960 1954973 33554432000 4194304 4196468 140722989755008 139679089748752 139679484151509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2535] ppid=2527 vsize=10622040 memory=251817 CPUtime=44.27 cores=0,2,4,6
/proc/2530/task/2535/stat : 2535 (java) S 2527 2530 28385 0 -1 1077944384 72666 0 0 0 4258 169 0 0 20 0 16 0 95622585 10876968960 1954973 33554432000 4194304 4196468 140722989755008 139679088696464 139679484151509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2536] ppid=2527 vsize=10622040 memory=279828394430848 CPUtime=44.59 cores=0,2,4,6
/proc/2530/task/2536/stat : 2536 (java) S 2527 2530 28385 0 -1 1077944384 107556 0 0 0 4285 174 0 0 20 0 16 0 95622585 10876968960 1954973 33554432000 4194304 4196468 140722989755008 139679087643664 139679484151509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2537] ppid=2527 vsize=10622040 memory=27528 CPUtime=11 cores=0,2,4,6
/proc/2530/task/2537/stat : 2537 (java) S 2527 2530 28385 0 -1 1077944384 31293 0 0 0 1095 5 0 0 20 0 16 0 95622586 10876968960 1954973 33554432000 4194304 4196468 140722989755008 139678587005040 139679484152450 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2538] ppid=2527 vsize=10622040 memory=7819892 CPUtime=0 cores=0,2,4,6
/proc/2530/task/2538/stat : 2538 (java) S 2527 2530 28385 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 16 0 95622586 10876968960 1954973 33554432000 4194304 4196468 140722989755008 139678585951072 139679484151509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2539] ppid=2527 vsize=10622040 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/2530/task/2539/stat : 2539 (java) S 2527 2530 28385 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 16 0 95622587 10876968960 1954973 33554432000 4194304 4196468 140722989755008 139678584898688 139679484151509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2540] ppid=2527 vsize=10622040 memory=7819892 CPUtime=0 cores=0,2,4,6
/proc/2530/task/2540/stat : 2540 (java) S 2527 2530 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95622589 10876968960 1954973 33554432000 4194304 4196468 140722989755008 139678583846992 139679484159899 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2541] ppid=2527 vsize=10622040 memory=7819892 CPUtime=1.3 cores=0,2,4,6
/proc/2530/task/2541/stat : 2541 (java) S 2527 2530 28385 0 -1 1077944384 4809 0 0 0 129 1 0 0 20 0 16 0 95622589 10876968960 1954973 33554432000 4194304 4196468 140722989755008 139678582794864 139679484152450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2542] ppid=2527 vsize=10622040 memory=7819892 CPUtime=1.57 cores=0,2,4,6
/proc/2530/task/2542/stat : 2542 (java) S 2527 2530 28385 0 -1 1077944384 6734 0 0 0 157 0 0 0 20 0 16 0 95622589 10876968960 1954973 33554432000 4194304 4196468 140722989755008 139678581742064 139679484152450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2543] ppid=2527 vsize=10622040 memory=4140 CPUtime=0.37 cores=0,2,4,6
/proc/2530/task/2543/stat : 2543 (java) S 2527 2530 28385 0 -1 1077944384 7544 0 0 0 36 1 0 0 20 0 16 0 95622589 10876968960 1954973 33554432000 4194304 4196468 140722989755008 139678580689776 139679484152450 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2544] ppid=2527 vsize=10622040 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/2530/task/2544/stat : 2544 (java) S 2527 2530 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95622589 10876968960 1954973 33554432000 4194304 4196468 140722989755008 139678579637216 139679484151509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2545] ppid=2527 vsize=10622040 memory=288230617509003574 CPUtime=1.26 cores=0,2,4,6
/proc/2530/task/2545/stat : 2545 (java) S 2527 2530 28385 0 -1 1077944384 2273 0 0 0 61 65 0 0 20 0 16 0 95622589 10876968960 1954973 33554432000 4194304 4196468 140722989755008 139677973604784 139679484152450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2701] ppid=2527 vsize=10622040 memory=7819892 CPUtime=0 cores=0,2,4,6
/proc/2530/task/2701/stat : 2701 (java) S 2527 2530 28385 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 95627530 10876968960 1954973 33554432000 4194304 4196468 140722989755008 139677972550320 139679484152450 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
Current children cumulated CPU time: 2519.17 s
Current children cumulated vsize: 10622040 KiB
Current children cumulated memory: 7819892 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2383.2 s]
/proc/loadavg: 2.07 2.13 2.44 3/218 3182
/proc/meminfo: memFree=22987396/32770624 swapFree=67108860/67108860
[pid=2530] ppid=2527 vsize=10622040 memory=7819892 CPUtime=2520.07 cores=0,2,4,6
/proc/2530/stat : 2530 (java) S 2527 2530 28385 0 -1 1077944320 3924544 0 0 0 251051 956 0 0 20 0 16 0 95622583 10876968960 1954973 33554432000 4194304 4196468 140722989755008 140722989737552 139679484141303 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
/proc/2530/statm: 2655510 1954973 3158 1 0 2643904 0
[pid=2530/tid=2532] ppid=2527 vsize=10622040 memory=1008 CPUtime=2327.22 cores=0,2,4,6
/proc/2530/task/2532/stat : 2532 (java) R 2527 2530 28385 0 -1 4202560 3491739 0 0 0 232502 220 0 0 20 0 16 0 95622584 10876968960 1954973 33554432000 4194304 4196468 140722989755008 139679488372880 139679124043422 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2533] ppid=2527 vsize=10622040 memory=4612 CPUtime=44.3 cores=0,2,4,6
/proc/2530/task/2533/stat : 2533 (java) S 2527 2530 28385 0 -1 1077944384 102301 0 0 0 4264 166 0 0 20 0 16 0 95622585 10876968960 1954973 33554432000 4194304 4196468 140722989755008 139679451700112 139679484151509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2534] ppid=2527 vsize=10622040 memory=1428 CPUtime=44.1 cores=0,2,4,6
/proc/2530/task/2534/stat : 2534 (java) S 2527 2530 28385 0 -1 1077944384 96161 0 0 0 4245 165 0 0 20 0 16 0 95622585 10876968960 1954973 33554432000 4194304 4196468 140722989755008 139679089748752 139679484151509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2535] ppid=2527 vsize=10622040 memory=1204 CPUtime=44.27 cores=0,2,4,6
/proc/2530/task/2535/stat : 2535 (java) S 2527 2530 28385 0 -1 1077944384 72666 0 0 0 4258 169 0 0 20 0 16 0 95622585 10876968960 1954973 33554432000 4194304 4196468 140722989755008 139679088696464 139679484151509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2536] ppid=2527 vsize=10622040 memory=15876 CPUtime=44.59 cores=0,2,4,6
/proc/2530/task/2536/stat : 2536 (java) S 2527 2530 28385 0 -1 1077944384 107556 0 0 0 4285 174 0 0 20 0 16 0 95622585 10876968960 1954973 33554432000 4194304 4196468 140722989755008 139679087643664 139679484151509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2537] ppid=2527 vsize=10622040 memory=17736 CPUtime=11 cores=0,2,4,6
/proc/2530/task/2537/stat : 2537 (java) S 2527 2530 28385 0 -1 1077944384 31301 0 0 0 1095 5 0 0 20 0 16 0 95622586 10876968960 1954973 33554432000 4194304 4196468 140722989755008 139678587005040 139679484152450 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2538] ppid=2527 vsize=10622040 memory=4048 CPUtime=0 cores=0,2,4,6
/proc/2530/task/2538/stat : 2538 (java) S 2527 2530 28385 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 16 0 95622586 10876968960 1954973 33554432000 4194304 4196468 140722989755008 139678585951072 139679484151509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2539] ppid=2527 vsize=10622040 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/2530/task/2539/stat : 2539 (java) S 2527 2530 28385 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 16 0 95622587 10876968960 1954973 33554432000 4194304 4196468 140722989755008 139678584898688 139679484151509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2540] ppid=2527 vsize=10622040 memory=1716 CPUtime=0 cores=0,2,4,6
/proc/2530/task/2540/stat : 2540 (java) S 2527 2530 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95622589 10876968960 1954973 33554432000 4194304 4196468 140722989755008 139678583846992 139679484159899 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2541] ppid=2527 vsize=10622040 memory=1948 CPUtime=1.3 cores=0,2,4,6
/proc/2530/task/2541/stat : 2541 (java) S 2527 2530 28385 0 -1 1077944384 4809 0 0 0 129 1 0 0 20 0 16 0 95622589 10876968960 1954973 33554432000 4194304 4196468 140722989755008 139678582794864 139679484152450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2542] ppid=2527 vsize=10622040 memory=8560 CPUtime=1.57 cores=0,2,4,6
/proc/2530/task/2542/stat : 2542 (java) S 2527 2530 28385 0 -1 1077944384 6734 0 0 0 157 0 0 0 20 0 16 0 95622589 10876968960 1954973 33554432000 4194304 4196468 140722989755008 139678581742064 139679484152450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2543] ppid=2527 vsize=10622040 memory=1228 CPUtime=0.37 cores=0,2,4,6
/proc/2530/task/2543/stat : 2543 (java) S 2527 2530 28385 0 -1 1077944384 7544 0 0 0 36 1 0 0 20 0 16 0 95622589 10876968960 1954973 33554432000 4194304 4196468 140722989755008 139678580689776 139679484152450 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2544] ppid=2527 vsize=10622040 memory=12028 CPUtime=0 cores=0,2,4,6
/proc/2530/task/2544/stat : 2544 (java) S 2527 2530 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95622589 10876968960 1954973 33554432000 4194304 4196468 140722989755008 139678579637216 139679484151509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2545] ppid=2527 vsize=10622040 memory=5668 CPUtime=1.26 cores=0,2,4,6
/proc/2530/task/2545/stat : 2545 (java) S 2527 2530 28385 0 -1 1077944384 2277 0 0 0 61 65 0 0 20 0 16 0 95622589 10876968960 1954973 33554432000 4194304 4196468 140722989755008 139677973604784 139679484152450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2701] ppid=2527 vsize=10622040 memory=1948 CPUtime=0 cores=0,2,4,6
/proc/2530/task/2701/stat : 2701 (java) S 2527 2530 28385 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 95627530 10876968960 1954973 33554432000 4194304 4196468 140722989755008 139677972550320 139679484152450 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10622040 KiB
Current children cumulated memory: 7819892 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2383.45 s]
# the end of solver process 2530 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2510.74 s, system=9.60298 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2383.4 s]
/proc/loadavg: 2.07 2.13 2.44 3/218 3182
/proc/meminfo: memFree=22987396/32770624 swapFree=67108860/67108860
[pid=2530] ppid=2527 vsize=10821732 memory=7820196 CPUtime=2520.28 cores=0,2,4,6
/proc/2530/stat : 2530 (java) S 2527 2530 28385 0 -1 1077944320 3926609 0 0 0 251072 956 0 0 20 0 17 0 95622583 11081453568 1955049 33554432000 4194304 4196468 140722989755008 140722989737552 139679484141303 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
/proc/2530/statm: 2705433 1955049 3160 1 0 2693827 0
[pid=2530/tid=2532] ppid=2527 vsize=10821732 memory=1228 CPUtime=2327.42 cores=0,2,4,6
/proc/2530/task/2532/stat : 2532 (java) R 2527 2530 28385 0 -1 4202560 3492488 0 0 0 232522 220 0 0 20 0 17 0 95622584 11081453568 1955049 33554432000 4194304 4196468 140722989755008 139679488377584 139679124783897 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2533] ppid=2527 vsize=10821732 memory=12028 CPUtime=44.3 cores=0,2,4,6
/proc/2530/task/2533/stat : 2533 (java) S 2527 2530 28385 0 -1 1077944384 102301 0 0 0 4264 166 0 0 20 0 17 0 95622585 11081453568 1955049 33554432000 4194304 4196468 140722989755008 139679451700112 139679484151509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2534] ppid=2527 vsize=10821732 memory=5668 CPUtime=44.1 cores=0,2,4,6
/proc/2530/task/2534/stat : 2534 (java) S 2527 2530 28385 0 -1 1077944384 96161 0 0 0 4245 165 0 0 20 0 17 0 95622585 11081453568 1955049 33554432000 4194304 4196468 140722989755008 139679089748752 139679484151509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2535] ppid=2527 vsize=10821732 memory=8112282956445269571 CPUtime=44.27 cores=0,2,4,6
/proc/2530/task/2535/stat : 2535 (java) S 2527 2530 28385 0 -1 1077944384 72666 0 0 0 4258 169 0 0 20 0 17 0 95622585 11081453568 1955049 33554432000 4194304 4196468 140722989755008 139679088696464 139679484151509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2536] ppid=2527 vsize=10821732 memory=4612 CPUtime=44.59 cores=0,2,4,6
/proc/2530/task/2536/stat : 2536 (java) S 2527 2530 28385 0 -1 1077944384 107556 0 0 0 4285 174 0 0 20 0 17 0 95622585 11081453568 1955049 33554432000 4194304 4196468 140722989755008 139679087643664 139679484151509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2537] ppid=2527 vsize=10821732 memory=18488 CPUtime=11 cores=0,2,4,6
/proc/2530/task/2537/stat : 2537 (java) S 2527 2530 28385 0 -1 1077944384 31352 0 0 0 1095 5 0 0 20 0 17 0 95622586 11081453568 1955049 33554432000 4194304 4196468 140722989755008 139678587005040 139679484152450 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2538] ppid=2527 vsize=10821732 memory=1796 CPUtime=0 cores=0,2,4,6
/proc/2530/task/2538/stat : 2538 (java) S 2527 2530 28385 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 17 0 95622586 11081453568 1955049 33554432000 4194304 4196468 140722989755008 139678585951072 139679484151509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2539] ppid=2527 vsize=10821732 memory=1236 CPUtime=0 cores=0,2,4,6
/proc/2530/task/2539/stat : 2539 (java) S 2527 2530 28385 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 17 0 95622587 11081453568 1955049 33554432000 4194304 4196468 140722989755008 139678584898688 139679484151509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2540] ppid=2527 vsize=10821732 memory=640 CPUtime=0 cores=0,2,4,6
/proc/2530/task/2540/stat : 2540 (java) S 2527 2530 28385 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 17 0 95622589 11081453568 1955049 33554432000 4194304 4196468 140722989755008 139678583846992 139679484159899 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2541] ppid=2527 vsize=10821732 memory=956 CPUtime=1.3 cores=0,2,4,6
/proc/2530/task/2541/stat : 2541 (java) S 2527 2530 28385 0 -1 1077944384 4866 0 0 0 129 1 0 0 20 0 17 0 95622589 11081453568 1955049 33554432000 4194304 4196468 140722989755008 139678582794864 139679484152450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2542] ppid=2527 vsize=10821732 memory=4096 CPUtime=1.57 cores=0,2,4,6
/proc/2530/task/2542/stat : 2542 (java) S 2527 2530 28385 0 -1 1077944384 6850 0 0 0 157 0 0 0 20 0 17 0 95622589 11081453568 1955049 33554432000 4194304 4196468 140722989755008 139678581742064 139679484152450 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2543] ppid=2527 vsize=10821732 memory=2340 CPUtime=0.37 cores=0,2,4,6
/proc/2530/task/2543/stat : 2543 (java) S 2527 2530 28385 0 -1 1077944384 7938 0 0 0 36 1 0 0 20 0 17 0 95622589 11081453568 1955049 33554432000 4194304 4196468 140722989755008 139678580689776 139679484152450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2544] ppid=2527 vsize=10821732 memory=2240 CPUtime=0 cores=0,2,4,6
/proc/2530/task/2544/stat : 2544 (java) S 2527 2530 28385 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 95622589 11081453568 1955049 33554432000 4194304 4196468 140722989755008 139678579637216 139679484151509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
[pid=2530/tid=2545] ppid=2527 vsize=10821732 memory=8112282956445269571 CPUtime=1.26 cores=0,2,4,6
/proc/2530/task/2545/stat : 2545 (java) S 2527 2530 28385 0 -1 1077944384 2277 0 0 0 61 65 0 0 20 0 17 0 95622589 11081453568 1955049 33554432000 4194304 4196468 140722989755008 139677973604784 139679484152450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 14573568 140722989757574 140722989757727 140722989757727 140722989760463 0
Current children cumulated CPU time: 2520.28 s
Current children cumulated vsize: 10821732 KiB
Current children cumulated memory: 7820196 KiB
Child status: 143
Real time (s): 2383.45
CPU time (s): 2520.34
CPU user time (s): 2510.74
CPU system time (s): 9.60298
CPU usage (%): 105.743
Max. virtual memory (cumulated for all children) (KiB): 10821732
Max. memory (cumulated for all children) (KiB): 7820196
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2510.74
system time used= 9.60298
maximum resident set size= 7820392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3927230
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1824
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57875
involuntary context switches= 4410
# summary of solver processes directly reported to runsolver:
# pid: 2530
# total CPU time (s): 2520.34
# total CPU user time (s): 2510.74
# total CPU system time (s): 9.60298
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.9573 second user time and 22.6764 second system time
The end