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 (12178 MiB free)
memory of node 1: 16384 MiB (15229 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301625-1532883101/watcher-4301625-1532883101 -o /tmp/evaluation-result-4301625-1532883101/solver-4301625-1532883101 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532879536-13546 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4301625-1532883101.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=16742, runsolver pid=16739
[startup+0.101281 s]*
/proc/loadavg: 3.55 2.81 2.76 3/217 16757
/proc/meminfo: memFree=28048068/32770624 swapFree=67108860/67108860
[pid=16742] ppid=16739 vsize=10659012 memory=30104 CPUtime=0.13 cores=0,2,4,6
/proc/16742/stat : 16742 (java) S 16739 16742 13514 0 -1 1077944320 6607 0 0 0 12 1 0 0 20 0 15 0 105873252 10914828288 7526 33554432000 4194304 4196468 140725753350240 140725753332784 140328333197047 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
/proc/16742/statm: 2664753 7526 2846 1 0 2627263 0
[pid=16742/tid=16744] ppid=16739 vsize=10659012 memory=-8773748148830115202 CPUtime=0.09 cores=0,2,4,6
/proc/16742/task/16744/stat : 16744 (java) R 16739 16742 13514 0 -1 4202560 4433 0 0 0 9 0 0 0 20 0 15 0 105873253 10914828288 7526 33554432000 4194304 4196468 140725753350240 140328337401712 140328317277534 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16745] ppid=16739 vsize=10659012 memory=8257237230052613020 CPUtime=0 cores=0,2,4,6
/proc/16742/task/16745/stat : 16745 (java) S 16739 16742 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105873254 10914828288 7526 33554432000 4194304 4196468 140725753350240 140327939729808 140328333207253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16746] ppid=16739 vsize=10659012 memory=140000421500544 CPUtime=0 cores=0,2,4,6
/proc/16742/task/16746/stat : 16746 (java) S 16739 16742 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105873254 10914828288 7526 33554432000 4194304 4196468 140725753350240 140327938677008 140328333207253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16747] ppid=16739 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16742/task/16747/stat : 16747 (java) S 16739 16742 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105873254 10914828288 7526 33554432000 4194304 4196468 140725753350240 140327937624720 140328333207253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16748] ppid=16739 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16742/task/16748/stat : 16748 (java) S 16739 16742 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105873254 10914828288 7526 33554432000 4194304 4196468 140725753350240 140327936571920 140328333207253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16749] ppid=16739 vsize=10659012 memory=140000421500544 CPUtime=0 cores=0,2,4,6
/proc/16742/task/16749/stat : 16749 (java) S 16739 16742 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105873255 10914828288 7526 33554432000 4194304 4196468 140725753350240 140327570733680 140328333208194 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16750] ppid=16739 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16742/task/16750/stat : 16750 (java) S 16739 16742 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105873256 10914828288 7526 33554432000 4194304 4196468 140725753350240 140327569679648 140328333207253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16751] ppid=16739 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16742/task/16751/stat : 16751 (java) S 16739 16742 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105873256 10914828288 7526 33554432000 4194304 4196468 140725753350240 140327568627312 140328333207253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16752] ppid=16739 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16742/task/16752/stat : 16752 (java) S 16739 16742 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105873258 10914828288 7526 33554432000 4194304 4196468 140725753350240 140327567575632 140328333215643 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16753] ppid=16739 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16742/task/16753/stat : 16753 (java) S 16739 16742 13514 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 105873258 10914828288 7526 33554432000 4194304 4196468 140725753350240 140327566522480 140328333208194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16754] ppid=16739 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16742/task/16754/stat : 16754 (java) S 16739 16742 13514 0 -1 1077944384 148 0 0 0 0 0 0 0 20 0 15 0 105873258 10914828288 7526 33554432000 4194304 4196468 140725753350240 140327565469680 140328333208194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16755] ppid=16739 vsize=10659012 memory=140000421500544 CPUtime=0.02 cores=0,2,4,6
/proc/16742/task/16755/stat : 16755 (java) S 16739 16742 13514 0 -1 1077944384 359 0 0 0 2 0 0 0 20 0 15 0 105873258 10914828288 7526 33554432000 4194304 4196468 140725753350240 140327564417392 140328333208194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16756] ppid=16739 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16742/task/16756/stat : 16756 (java) S 16739 16742 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105873258 10914828288 7526 33554432000 4194304 4196468 140725753350240 140327563364832 140328333207253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16757] ppid=16739 vsize=10659012 memory=140000421500544 CPUtime=0 cores=0,2,4,6
/proc/16742/task/16757/stat : 16757 (java) S 16739 16742 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105873258 10914828288 7526 33554432000 4194304 4196468 140725753350240 140327562312624 140328333208194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 30104 KiB
[startup+0.210594 s]*
/proc/loadavg: 3.55 2.81 2.76 4/217 16757
/proc/meminfo: memFree=28038456/32770624 swapFree=67108860/67108860
[pid=16742] ppid=16739 vsize=10659012 memory=42096 CPUtime=0.33 cores=0,2,4,6
/proc/16742/stat : 16742 (java) S 16739 16742 13514 0 -1 1077944320 8122 0 0 0 31 2 0 0 20 0 15 0 105873252 10914828288 10524 33554432000 4194304 4196468 140725753350240 140725753332784 140328333197047 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
/proc/16742/statm: 2664753 10524 3005 1 0 2627263 0
[pid=16742/tid=16744] ppid=16739 vsize=10659012 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/16742/task/16744/stat : 16744 (java) R 16739 16742 13514 0 -1 4202560 5010 0 0 0 19 1 0 0 20 0 15 0 105873253 10914828288 10524 33554432000 4194304 4196468 140725753350240 140328337420224 140328317240677 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16745] ppid=16739 vsize=10659012 memory=331 CPUtime=0 cores=0,2,4,6
/proc/16742/task/16745/stat : 16745 (java) S 16739 16742 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105873254 10914828288 10524 33554432000 4194304 4196468 140725753350240 140327939729808 140328333207253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16746] ppid=16739 vsize=10659012 memory=140000422125578 CPUtime=0 cores=0,2,4,6
/proc/16742/task/16746/stat : 16746 (java) S 16739 16742 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105873254 10914828288 10524 33554432000 4194304 4196468 140725753350240 140327938677008 140328333207253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16747] ppid=16739 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16742/task/16747/stat : 16747 (java) S 16739 16742 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105873254 10914828288 10524 33554432000 4194304 4196468 140725753350240 140327937624720 140328333207253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16748] ppid=16739 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16742/task/16748/stat : 16748 (java) S 16739 16742 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105873254 10914828288 10524 33554432000 4194304 4196468 140725753350240 140327936571920 140328333207253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16749] ppid=16739 vsize=10659012 memory=140000421500544 CPUtime=0 cores=0,2,4,6
/proc/16742/task/16749/stat : 16749 (java) S 16739 16742 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105873255 10914828288 10524 33554432000 4194304 4196468 140725753350240 140327570733680 140328333208194 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16750] ppid=16739 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16742/task/16750/stat : 16750 (java) S 16739 16742 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105873256 10914828288 10524 33554432000 4194304 4196468 140725753350240 140327569679648 140328333207253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16751] ppid=16739 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16742/task/16751/stat : 16751 (java) S 16739 16742 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105873256 10914828288 10524 33554432000 4194304 4196468 140725753350240 140327568627312 140328333207253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16752] ppid=16739 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16742/task/16752/stat : 16752 (java) S 16739 16742 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105873258 10914828288 10524 33554432000 4194304 4196468 140725753350240 140327567575632 140328333215643 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16753] ppid=16739 vsize=10659012 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/16742/task/16753/stat : 16753 (java) S 16739 16742 13514 0 -1 1077944384 483 0 0 0 2 0 0 0 20 0 15 0 105873258 10914828288 10524 33554432000 4194304 4196468 140725753350240 140327566522480 140328333208194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16754] ppid=16739 vsize=10659012 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/16742/task/16754/stat : 16754 (java) S 16739 16742 13514 0 -1 1077944384 563 0 0 0 1 0 0 0 20 0 15 0 105873258 10914828288 10524 33554432000 4194304 4196468 140725753350240 140327565469680 140328333208194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16755] ppid=16739 vsize=10659012 memory=140000421500544 CPUtime=0.07 cores=0,2,4,6
/proc/16742/task/16755/stat : 16755 (java) R 16739 16742 13514 0 -1 4202560 701 0 0 0 7 0 0 0 20 0 15 0 105873258 10914828288 10524 33554432000 4194304 4196468 140725753350240 140327564417392 140328325434174 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16756] ppid=16739 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16742/task/16756/stat : 16756 (java) S 16739 16742 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105873258 10914828288 10524 33554432000 4194304 4196468 140725753350240 140327563364832 140328333207253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16757] ppid=16739 vsize=10659012 memory=140000421500544 CPUtime=0 cores=0,2,4,6
/proc/16742/task/16757/stat : 16757 (java) S 16739 16742 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105873258 10914828288 10524 33554432000 4194304 4196468 140725753350240 140327562312624 140328333208194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 42096 KiB
[startup+0.319511 s]*
/proc/loadavg: 3.55 2.81 2.76 6/217 16757
/proc/meminfo: memFree=28031880/32770624 swapFree=67108860/67108860
[pid=16742] ppid=16739 vsize=10659088 memory=49416 CPUtime=0.54 cores=0,2,4,6
/proc/16742/stat : 16742 (java) S 16739 16742 13514 0 -1 1077944320 9062 0 0 0 52 2 0 0 20 0 15 0 105873252 10914906112 12354 33554432000 4194304 4196468 140725753350240 140725753332784 140328333197047 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
/proc/16742/statm: 2664772 12354 3051 1 0 2627263 0
[pid=16742/tid=16744] ppid=16739 vsize=10659088 memory=7022364594140610616 CPUtime=0.3 cores=0,2,4,6
/proc/16742/task/16744/stat : 16744 (java) R 16739 16742 13514 0 -1 4202560 5738 0 0 0 29 1 0 0 20 0 15 0 105873253 10914906112 12354 33554432000 4194304 4196468 140725753350240 140328337434576 140327941711645 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16745] ppid=16739 vsize=10659088 memory=4294977825 CPUtime=0 cores=0,2,4,6
/proc/16742/task/16745/stat : 16745 (java) S 16739 16742 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105873254 10914906112 12354 33554432000 4194304 4196468 140725753350240 140327939729808 140328333207253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16746] ppid=16739 vsize=10659088 memory=140000422119893 CPUtime=0 cores=0,2,4,6
/proc/16742/task/16746/stat : 16746 (java) S 16739 16742 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105873254 10914906112 12354 33554432000 4194304 4196468 140725753350240 140327938677008 140328333207253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16747] ppid=16739 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16742/task/16747/stat : 16747 (java) S 16739 16742 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105873254 10914906112 12354 33554432000 4194304 4196468 140725753350240 140327937624720 140328333207253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16748] ppid=16739 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16742/task/16748/stat : 16748 (java) S 16739 16742 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105873254 10914906112 12354 33554432000 4194304 4196468 140725753350240 140327936571920 140328333207253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16749] ppid=16739 vsize=10659088 memory=140000421500544 CPUtime=0 cores=0,2,4,6
/proc/16742/task/16749/stat : 16749 (java) S 16739 16742 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105873255 10914906112 12354 33554432000 4194304 4196468 140725753350240 140327570733680 140328333208194 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16750] ppid=16739 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16742/task/16750/stat : 16750 (java) S 16739 16742 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105873256 10914906112 12354 33554432000 4194304 4196468 140725753350240 140327569679648 140328333207253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16751] ppid=16739 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16742/task/16751/stat : 16751 (java) S 16739 16742 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105873256 10914906112 12354 33554432000 4194304 4196468 140725753350240 140327568627312 140328333207253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16752] ppid=16739 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16742/task/16752/stat : 16752 (java) S 16739 16742 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105873258 10914906112 12354 33554432000 4194304 4196468 140725753350240 140327567575632 140328333215643 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16753] ppid=16739 vsize=10659088 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/16742/task/16753/stat : 16753 (java) R 16739 16742 13514 0 -1 1077944384 526 0 0 0 4 0 0 0 20 0 15 0 105873258 10914906112 12354 33554432000 4194304 4196468 140725753350240 140327566509264 140328333207253 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16754] ppid=16739 vsize=10659088 memory=-1 CPUtime=0.05 cores=0,2,4,6
/proc/16742/task/16754/stat : 16754 (java) R 16739 16742 13514 0 -1 4202560 664 0 0 0 5 0 0 0 20 0 15 0 105873258 10914906112 12354 33554432000 4194304 4196468 140725753350240 140327565461008 140328311390900 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16755] ppid=16739 vsize=10659088 memory=140000421500544 CPUtime=0.12 cores=0,2,4,6
/proc/16742/task/16755/stat : 16755 (java) R 16739 16742 13514 0 -1 4202560 767 0 0 0 12 0 0 0 20 0 15 0 105873258 10914906112 12354 33554432000 4194304 4196468 140725753350240 140327564414368 140328312135305 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16756] ppid=16739 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16742/task/16756/stat : 16756 (java) S 16739 16742 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105873258 10914906112 12354 33554432000 4194304 4196468 140725753350240 140327563364832 140328333207253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16757] ppid=16739 vsize=10659088 memory=140000421500544 CPUtime=0 cores=0,2,4,6
/proc/16742/task/16757/stat : 16757 (java) S 16739 16742 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105873258 10914906112 12354 33554432000 4194304 4196468 140725753350240 140327562312624 140328333208194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 49416 KiB
[startup+0.700714 s]
/proc/loadavg: 3.55 2.81 2.76 5/217 16757
/proc/meminfo: memFree=27958600/32770624 swapFree=67108860/67108860
[pid=16742] ppid=16739 vsize=10659088 memory=174732 CPUtime=1.79 cores=0,2,4,6
/proc/16742/stat : 16742 (java) S 16739 16742 13514 0 -1 1077944320 13839 0 0 0 173 6 0 0 20 0 15 0 105873252 10914906112 43683 33554432000 4194304 4196468 140725753350240 140725753332784 140328333197047 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
/proc/16742/statm: 2664772 43683 3107 1 0 2627263 0
[pid=16742/tid=16744] ppid=16739 vsize=10659088 memory=16840 CPUtime=0.68 cores=0,2,4,6
/proc/16742/task/16744/stat : 16744 (java) R 16739 16742 13514 0 -1 4202560 5919 0 0 0 64 4 0 0 20 0 15 0 105873253 10914906112 43683 33554432000 4194304 4196468 140725753350240 140328337432800 140327943047773 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16745] ppid=16739 vsize=10659088 memory=2324 CPUtime=0 cores=0,2,4,6
/proc/16742/task/16745/stat : 16745 (java) S 16739 16742 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105873254 10914906112 43683 33554432000 4194304 4196468 140725753350240 140327939729808 140328333207253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16746] ppid=16739 vsize=10659088 memory=1584 CPUtime=0 cores=0,2,4,6
/proc/16742/task/16746/stat : 16746 (java) S 16739 16742 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105873254 10914906112 43683 33554432000 4194304 4196468 140725753350240 140327938677008 140328333207253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16747] ppid=16739 vsize=10659088 memory=496 CPUtime=0 cores=0,2,4,6
/proc/16742/task/16747/stat : 16747 (java) S 16739 16742 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105873254 10914906112 43683 33554432000 4194304 4196468 140725753350240 140327937624720 140328333207253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16748] ppid=16739 vsize=10659088 memory=928 CPUtime=0 cores=0,2,4,6
/proc/16742/task/16748/stat : 16748 (java) S 16739 16742 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105873254 10914906112 43683 33554432000 4194304 4196468 140725753350240 140327936571920 140328333207253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16749] ppid=16739 vsize=10659088 memory=1172 CPUtime=0 cores=0,2,4,6
/proc/16742/task/16749/stat : 16749 (java) S 16739 16742 13514 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105873255 10914906112 43683 33554432000 4194304 4196468 140725753350240 140327570733680 140328333208194 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16750] ppid=16739 vsize=10659088 memory=1968 CPUtime=0 cores=0,2,4,6
/proc/16742/task/16750/stat : 16750 (java) S 16739 16742 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105873256 10914906112 43683 33554432000 4194304 4196468 140725753350240 140327569679648 140328333207253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16751] ppid=16739 vsize=10659088 memory=1572 CPUtime=0 cores=0,2,4,6
/proc/16742/task/16751/stat : 16751 (java) S 16739 16742 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105873256 10914906112 43683 33554432000 4194304 4196468 140725753350240 140327568627312 140328333207253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16752] ppid=16739 vsize=10659088 memory=7379241883359864663 CPUtime=0 cores=0,2,4,6
/proc/16742/task/16752/stat : 16752 (java) S 16739 16742 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105873258 10914906112 43683 33554432000 4194304 4196468 140725753350240 140327567575632 140328333215643 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16753] ppid=16739 vsize=10659088 memory=6081108994580573287 CPUtime=0.4 cores=0,2,4,6
/proc/16742/task/16753/stat : 16753 (java) R 16739 16742 13514 0 -1 4202560 1915 0 0 0 40 0 0 0 20 0 15 0 105873258 10914906112 43683 33554432000 4194304 4196468 140725753350240 140327566509024 140328316607862 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16754] ppid=16739 vsize=10659088 memory=5932762877087012201 CPUtime=0.41 cores=0,2,4,6
/proc/16742/task/16754/stat : 16754 (java) R 16739 16742 13514 0 -1 4202560 2349 0 0 0 41 0 0 0 20 0 15 0 105873258 10914906112 43683 33554432000 4194304 4196468 140725753350240 140327565457120 140328312630119 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16755] ppid=16739 vsize=10659088 memory=0 CPUtime=0.27 cores=0,2,4,6
/proc/16742/task/16755/stat : 16755 (java) S 16739 16742 13514 0 -1 1077944384 2285 0 0 0 26 1 0 0 20 0 15 0 105873258 10914906112 43683 33554432000 4194304 4196468 140725753350240 140327564417392 140328333208194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16756] ppid=16739 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16742/task/16756/stat : 16756 (java) S 16739 16742 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105873258 10914906112 43683 33554432000 4194304 4196468 140725753350240 140327563364832 140328333207253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16757] ppid=16739 vsize=10659088 memory=756 CPUtime=0 cores=0,2,4,6
/proc/16742/task/16757/stat : 16757 (java) S 16739 16742 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105873258 10914906112 43683 33554432000 4194304 4196468 140725753350240 140327562312624 140328333208194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
Current children cumulated CPU time: 1.79 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 174732 KiB
[startup+1.50072 s]
/proc/loadavg: 3.55 2.81 2.76 4/217 16757
/proc/meminfo: memFree=27872592/32770624 swapFree=67108860/67108860
[pid=16742] ppid=16739 vsize=10659088 memory=206196 CPUtime=3.14 cores=0,2,4,6
/proc/16742/stat : 16742 (java) S 16739 16742 13514 0 -1 1077944320 14645 0 0 0 306 8 0 0 20 0 15 0 105873252 10914906112 51549 33554432000 4194304 4196468 140725753350240 140725753332784 140328333197047 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
/proc/16742/statm: 2664772 51549 3126 1 0 2627263 0
[pid=16742/tid=16744] ppid=16739 vsize=10659088 memory=206196 CPUtime=1.46 cores=0,2,4,6
/proc/16742/task/16744/stat : 16744 (java) R 16739 16742 13514 0 -1 4202560 5925 0 0 0 142 4 0 0 20 0 15 0 105873253 10914906112 51549 33554432000 4194304 4196468 140725753350240 140328337433496 140327943300661 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16745] ppid=16739 vsize=10659088 memory=33 CPUtime=0.01 cores=0,2,4,6
/proc/16742/task/16745/stat : 16745 (java) S 16739 16742 13514 0 -1 1077944384 13 0 0 0 1 0 0 0 20 0 15 0 105873254 10914906112 51549 33554432000 4194304 4196468 140725753350240 140327939729808 140328333207253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16746] ppid=16739 vsize=10659088 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/16742/task/16746/stat : 16746 (java) S 16739 16742 13514 0 -1 1077944384 23 0 0 0 1 0 0 0 20 0 15 0 105873254 10914906112 51549 33554432000 4194304 4196468 140725753350240 140327938677008 140328333207253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16747] ppid=16739 vsize=10659088 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/16742/task/16747/stat : 16747 (java) S 16739 16742 13514 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 105873254 10914906112 51549 33554432000 4194304 4196468 140725753350240 140327937624720 140328333207253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16748] ppid=16739 vsize=10659088 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/16742/task/16748/stat : 16748 (java) S 16739 16742 13514 0 -1 1077944384 15 0 0 0 1 0 0 0 20 0 15 0 105873254 10914906112 51549 33554432000 4194304 4196468 140725753350240 140327936571920 140328333207253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16749] ppid=16739 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16742/task/16749/stat : 16749 (java) S 16739 16742 13514 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 105873255 10914906112 51549 33554432000 4194304 4196468 140725753350240 140327570733680 140328333208194 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
################
# More data... #
################
[pid=16742/tid=16748] ppid=16739 vsize=10659088 memory=1992 CPUtime=21.44 cores=0,2,4,6
/proc/16742/task/16748/stat : 16748 (java) R 16739 16742 13514 0 -1 4202560 14067 0 0 0 2064 80 0 0 20 0 15 0 105873254 10914906112 1339789 33554432000 4194304 4196468 140725753350240 140327936571504 140328325825255 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16749] ppid=16739 vsize=10659088 memory=4486352 CPUtime=8.05 cores=0,2,4,6
/proc/16742/task/16749/stat : 16749 (java) S 16739 16742 13514 0 -1 1077944384 15571 0 0 0 804 1 0 0 20 0 15 0 105873255 10914906112 1339789 33554432000 4194304 4196468 140725753350240 140327570732000 140328333207253 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16750] ppid=16739 vsize=10659088 memory=140000297713664 CPUtime=0 cores=0,2,4,6
/proc/16742/task/16750/stat : 16750 (java) S 16739 16742 13514 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 105873256 10914906112 1339789 33554432000 4194304 4196468 140725753350240 140327569679712 140328333207253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16751] ppid=16739 vsize=10659088 memory=140000297754816 CPUtime=0 cores=0,2,4,6
/proc/16742/task/16751/stat : 16751 (java) S 16739 16742 13514 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 105873256 10914906112 1339789 33554432000 4194304 4196468 140725753350240 140327568627328 140328333207253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16752] ppid=16739 vsize=10659088 memory=30196 CPUtime=0 cores=0,2,4,6
/proc/16742/task/16752/stat : 16752 (java) S 16739 16742 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105873258 10914906112 1339789 33554432000 4194304 4196468 140725753350240 140327567575632 140328333215643 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16753] ppid=16739 vsize=10659088 memory=2204 CPUtime=2 cores=0,2,4,6
/proc/16742/task/16753/stat : 16753 (java) S 16739 16742 13514 0 -1 1077944384 9764 0 0 0 199 1 0 0 20 0 15 0 105873258 10914906112 1339789 33554432000 4194304 4196468 140725753350240 140327566522480 140328333208194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16754] ppid=16739 vsize=10659088 memory=4490040 CPUtime=2.04 cores=0,2,4,6
/proc/16742/task/16754/stat : 16754 (java) S 16739 16742 13514 0 -1 1077944384 9089 0 0 0 203 1 0 0 20 0 15 0 105873258 10914906112 1339789 33554432000 4194304 4196468 140725753350240 140327565469680 140328333208194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16755] ppid=16739 vsize=10659088 memory=6791534058613427641 CPUtime=0.4 cores=0,2,4,6
/proc/16742/task/16755/stat : 16755 (java) S 16739 16742 13514 0 -1 1077944384 3606 0 0 0 39 1 0 0 20 0 15 0 105873258 10914906112 1339789 33554432000 4194304 4196468 140725753350240 140327564417392 140328333208194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16756] ppid=16739 vsize=10659088 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/16742/task/16756/stat : 16756 (java) S 16739 16742 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105873258 10914906112 1339789 33554432000 4194304 4196468 140725753350240 140327563364832 140328333207253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16757] ppid=16739 vsize=10659088 memory=4950228 CPUtime=0.02 cores=0,2,4,6
/proc/16742/task/16757/stat : 16757 (java) S 16739 16742 13514 0 -1 1077944384 1143 0 0 0 1 1 0 0 20 0 15 0 105873258 10914906112 1339789 33554432000 4194304 4196468 140725753350240 140327562312624 140328333208194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
Current children cumulated CPU time: 119.49 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 5359156 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+100.901 s]
/proc/loadavg: 3.35 2.99 2.83 6/217 16758
/proc/meminfo: memFree=19747396/32770624 swapFree=67108860/67108860
[pid=16742] ppid=16739 vsize=10659088 memory=8028372 CPUtime=252.09 cores=0,2,4,6
/proc/16742/stat : 16742 (java) S 16739 16742 13514 0 -1 1077944320 174504 0 0 0 24702 507 0 0 20 0 15 0 105873252 10914906112 2007093 33554432000 4194304 4196468 140725753350240 140725753332784 140328333197047 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
/proc/16742/statm: 2664772 2007093 3173 1 0 2627263 0
[pid=16742/tid=16744] ppid=16739 vsize=10659088 memory=7962828 CPUtime=35.63 cores=0,2,4,6
/proc/16742/task/16744/stat : 16744 (java) S 16739 16742 13514 0 -1 1077944384 17430 0 0 0 3549 14 0 0 20 0 15 0 105873253 10914906112 2007093 33554432000 4194304 4196468 140725753350240 140328337430592 140328333207253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16745] ppid=16739 vsize=10659088 memory=7027168 CPUtime=48.99 cores=0,2,4,6
/proc/16742/task/16745/stat : 16745 (java) S 16739 16742 13514 0 -1 1077944384 28407 0 0 0 4775 124 0 0 20 0 15 0 105873254 10914906112 2007093 33554432000 4194304 4196468 140725753350240 140327939729616 140328333208194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16746] ppid=16739 vsize=10659088 memory=7956648 CPUtime=49.07 cores=0,2,4,6
/proc/16742/task/16746/stat : 16746 (java) R 16739 16742 13514 0 -1 4202560 34613 0 0 0 4795 112 0 0 20 0 15 0 105873254 10914906112 2007093 33554432000 4194304 4196468 140725753350240 140327938677128 140328325825255 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16747] ppid=16739 vsize=10659088 memory=8028372 CPUtime=49.22 cores=0,2,4,6
/proc/16742/task/16747/stat : 16747 (java) R 16739 16742 13514 0 -1 4202560 23776 0 0 0 4801 121 0 0 20 0 15 0 105873254 10914906112 2007093 33554432000 4194304 4196468 140725753350240 140327937624528 140328325825255 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16748] ppid=16739 vsize=10659088 memory=8028372 CPUtime=49.2 cores=0,2,4,6
/proc/16742/task/16748/stat : 16748 (java) R 16739 16742 13514 0 -1 4202560 20673 0 0 0 4795 125 0 0 20 0 15 0 105873254 10914906112 2007093 33554432000 4194304 4196468 140725753350240 140327936572120 140328317898064 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16749] ppid=16739 vsize=10659088 memory=4140 CPUtime=15.39 cores=0,2,4,6
/proc/16742/task/16749/stat : 16749 (java) S 16739 16742 13514 0 -1 1077944384 24533 0 0 0 1537 2 0 0 20 0 15 0 105873255 10914906112 2007093 33554432000 4194304 4196468 140725753350240 140327570732224 140328333207253 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16750] ppid=16739 vsize=10659088 memory=8028372 CPUtime=0 cores=0,2,4,6
/proc/16742/task/16750/stat : 16750 (java) S 16739 16742 13514 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 105873256 10914906112 2007093 33554432000 4194304 4196468 140725753350240 140327569679712 140328333207253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16751] ppid=16739 vsize=10659088 memory=8028372 CPUtime=0 cores=0,2,4,6
/proc/16742/task/16751/stat : 16751 (java) S 16739 16742 13514 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 105873256 10914906112 2007093 33554432000 4194304 4196468 140725753350240 140327568627328 140328333207253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16752] ppid=16739 vsize=10659088 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/16742/task/16752/stat : 16752 (java) S 16739 16742 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105873258 10914906112 2007093 33554432000 4194304 4196468 140725753350240 140327567575632 140328333215643 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16753] ppid=16739 vsize=10659088 memory=2592 CPUtime=2 cores=0,2,4,6
/proc/16742/task/16753/stat : 16753 (java) S 16739 16742 13514 0 -1 1077944384 9767 0 0 0 199 1 0 0 20 0 15 0 105873258 10914906112 2007093 33554432000 4194304 4196468 140725753350240 140327566522528 140328333207253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16754] ppid=16739 vsize=10659088 memory=7973068 CPUtime=2.04 cores=0,2,4,6
/proc/16742/task/16754/stat : 16754 (java) S 16739 16742 13514 0 -1 1077944384 9094 0 0 0 203 1 0 0 20 0 15 0 105873258 10914906112 2007093 33554432000 4194304 4196468 140725753350240 140327565469440 140328333207253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16755] ppid=16739 vsize=10659088 memory=7973068 CPUtime=0.4 cores=0,2,4,6
/proc/16742/task/16755/stat : 16755 (java) S 16739 16742 13514 0 -1 1077944384 3652 0 0 0 39 1 0 0 20 0 15 0 105873258 10914906112 2007093 33554432000 4194304 4196468 140725753350240 140327564417440 140328333207253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16756] ppid=16739 vsize=10659088 memory=8028372 CPUtime=0 cores=0,2,4,6
/proc/16742/task/16756/stat : 16756 (java) S 16739 16742 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105873258 10914906112 2007093 33554432000 4194304 4196468 140725753350240 140327563364832 140328333207253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16757] ppid=16739 vsize=10659088 memory=14572 CPUtime=0.05 cores=0,2,4,6
/proc/16742/task/16757/stat : 16757 (java) S 16739 16742 13514 0 -1 1077944384 1174 0 0 0 2 3 0 0 20 0 15 0 105873258 10914906112 2007093 33554432000 4194304 4196468 140725753350240 140327562312624 140328333208194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
Current children cumulated CPU time: 252.09 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 8028372 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+102.301 s]
/proc/loadavg: 3.35 2.99 2.83 3/217 16758
/proc/meminfo: memFree=19747396/32770624 swapFree=67108860/67108860
[pid=16742] ppid=16739 vsize=10858780 memory=8028460 CPUtime=253.73 cores=0,2,4,6
/proc/16742/stat : 16742 (java) S 16739 16742 13514 0 -1 1077944320 174764 0 0 0 24866 507 0 0 20 0 17 0 105873252 11119390720 2007115 33554432000 4194304 4196468 140725753350240 140725753332784 140328333197047 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
/proc/16742/statm: 2714695 2007115 3175 1 0 2677186 0
[pid=16742/tid=16744] ppid=16739 vsize=10858780 memory=7956648 CPUtime=35.64 cores=0,2,4,6
/proc/16742/task/16744/stat : 16744 (java) R 16739 16742 13514 0 -1 4202560 17430 0 0 0 3550 14 0 0 20 0 17 0 105873253 11119390720 2007115 33554432000 4194304 4196468 140725753350240 140328337430592 140327944911038 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16745] ppid=16739 vsize=10858780 memory=8028372 CPUtime=49.07 cores=0,2,4,6
/proc/16742/task/16745/stat : 16745 (java) S 16739 16742 13514 0 -1 1077944384 28407 0 0 0 4783 124 0 0 20 0 17 0 105873254 11119390720 2007115 33554432000 4194304 4196468 140725753350240 140327939729808 140328333207253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16746] ppid=16739 vsize=10858780 memory=4140 CPUtime=49.15 cores=0,2,4,6
/proc/16742/task/16746/stat : 16746 (java) S 16739 16742 13514 0 -1 1077944384 34613 0 0 0 4803 112 0 0 20 0 17 0 105873254 11119390720 2007115 33554432000 4194304 4196468 140725753350240 140327938677008 140328333207253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16747] ppid=16739 vsize=10858780 memory=3738664 CPUtime=49.3 cores=0,2,4,6
/proc/16742/task/16747/stat : 16747 (java) S 16739 16742 13514 0 -1 1077944384 23776 0 0 0 4809 121 0 0 20 0 17 0 105873254 11119390720 2007115 33554432000 4194304 4196468 140725753350240 140327937624720 140328333207253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16748] ppid=16739 vsize=10858780 memory=2257 CPUtime=49.29 cores=0,2,4,6
/proc/16742/task/16748/stat : 16748 (java) S 16739 16742 13514 0 -1 1077944384 20673 0 0 0 4804 125 0 0 20 0 17 0 105873254 11119390720 2007115 33554432000 4194304 4196468 140725753350240 140327936571920 140328333207253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16749] ppid=16739 vsize=10858780 memory=6829572 CPUtime=16.7 cores=0,2,4,6
/proc/16742/task/16749/stat : 16749 (java) S 16739 16742 13514 0 -1 1077944384 24632 0 0 0 1668 2 0 0 20 0 17 0 105873255 11119390720 2007115 33554432000 4194304 4196468 140725753350240 140327570733680 140328333208194 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16750] ppid=16739 vsize=10858780 memory=6665696 CPUtime=0 cores=0,2,4,6
/proc/16742/task/16750/stat : 16750 (java) S 16739 16742 13514 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 17 0 105873256 11119390720 2007115 33554432000 4194304 4196468 140725753350240 140327569679712 140328333207253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16751] ppid=16739 vsize=10858780 memory=7740072 CPUtime=0 cores=0,2,4,6
/proc/16742/task/16751/stat : 16751 (java) S 16739 16742 13514 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 17 0 105873256 11119390720 2007115 33554432000 4194304 4196468 140725753350240 140327568627328 140328333207253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16752] ppid=16739 vsize=10858780 memory=2204 CPUtime=0 cores=0,2,4,6
/proc/16742/task/16752/stat : 16752 (java) S 16739 16742 13514 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 17 0 105873258 11119390720 2007115 33554432000 4194304 4196468 140725753350240 140327567575632 140328333215643 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16753] ppid=16739 vsize=10858780 memory=0 CPUtime=2 cores=0,2,4,6
/proc/16742/task/16753/stat : 16753 (java) S 16739 16742 13514 0 -1 1077944384 9767 0 0 0 199 1 0 0 20 0 17 0 105873258 11119390720 2007115 33554432000 4194304 4196468 140725753350240 140327566522480 140328333208194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16754] ppid=16739 vsize=10858780 memory=324 CPUtime=2.04 cores=0,2,4,6
/proc/16742/task/16754/stat : 16754 (java) S 16739 16742 13514 0 -1 1077944384 9094 0 0 0 203 1 0 0 20 0 17 0 105873258 11119390720 2007115 33554432000 4194304 4196468 140725753350240 140327565469680 140328333208194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16755] ppid=16739 vsize=10858780 memory=4140 CPUtime=0.4 cores=0,2,4,6
/proc/16742/task/16755/stat : 16755 (java) S 16739 16742 13514 0 -1 1077944384 3671 0 0 0 39 1 0 0 20 0 17 0 105873258 11119390720 2007115 33554432000 4194304 4196468 140725753350240 140327564417392 140328333208194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16756] ppid=16739 vsize=10858780 memory=30196 CPUtime=0 cores=0,2,4,6
/proc/16742/task/16756/stat : 16756 (java) S 16739 16742 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 105873258 11119390720 2007115 33554432000 4194304 4196468 140725753350240 140327563364832 140328333207253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16757] ppid=16739 vsize=10858780 memory=1081124 CPUtime=0.05 cores=0,2,4,6
/proc/16742/task/16757/stat : 16757 (java) S 16739 16742 13514 0 -1 1077944384 1174 0 0 0 2 3 0 0 20 0 17 0 105873258 11119390720 2007115 33554432000 4194304 4196468 140725753350240 140327562312624 140328333208194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
Current children cumulated CPU time: 253.73 s
Current children cumulated vsize: 10858780 KiB
Current children cumulated memory: 8028460 KiB
[startup+102.529 s]
# the end of solver process 16742 was just reported to runsolver
# cumulated CPU time of all completed processes: user=248.86 s, system=5.11302 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+102.401 s]
/proc/loadavg: 3.35 2.99 2.83 3/217 16758
/proc/meminfo: memFree=19747396/32770624 swapFree=67108860/67108860
[pid=16742] ppid=16739 vsize=10858780 memory=8028460 CPUtime=253.83 cores=0,2,4,6
/proc/16742/stat : 16742 (java) S 16739 16742 13514 0 -1 1077944320 174764 0 0 0 24876 507 0 0 20 0 17 0 105873252 11119390720 2007115 33554432000 4194304 4196468 140725753350240 140725753332784 140328333197047 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
/proc/16742/statm: 2714695 2007115 3175 1 0 2677186 0
[pid=16742/tid=16744] ppid=16739 vsize=10858780 memory=7570184 CPUtime=35.74 cores=0,2,4,6
/proc/16742/task/16744/stat : 16744 (java) R 16739 16742 13514 0 -1 4202560 17430 0 0 0 3560 14 0 0 20 0 17 0 105873253 11119390720 2007115 33554432000 4194304 4196468 140725753350240 140328337430592 140327944241240 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16745] ppid=16739 vsize=10858780 memory=7027168 CPUtime=49.07 cores=0,2,4,6
/proc/16742/task/16745/stat : 16745 (java) S 16739 16742 13514 0 -1 1077944384 28407 0 0 0 4783 124 0 0 20 0 17 0 105873254 11119390720 2007115 33554432000 4194304 4196468 140725753350240 140327939729808 140328333207253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16746] ppid=16739 vsize=10858780 memory=6675948 CPUtime=49.15 cores=0,2,4,6
/proc/16742/task/16746/stat : 16746 (java) S 16739 16742 13514 0 -1 1077944384 34613 0 0 0 4803 112 0 0 20 0 17 0 105873254 11119390720 2007115 33554432000 4194304 4196468 140725753350240 140327938677008 140328333207253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16747] ppid=16739 vsize=10858780 memory=1520 CPUtime=49.3 cores=0,2,4,6
/proc/16742/task/16747/stat : 16747 (java) S 16739 16742 13514 0 -1 1077944384 23776 0 0 0 4809 121 0 0 20 0 17 0 105873254 11119390720 2007115 33554432000 4194304 4196468 140725753350240 140327937624720 140328333207253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16748] ppid=16739 vsize=10858780 memory=6383616 CPUtime=49.29 cores=0,2,4,6
/proc/16742/task/16748/stat : 16748 (java) S 16739 16742 13514 0 -1 1077944384 20673 0 0 0 4804 125 0 0 20 0 17 0 105873254 11119390720 2007115 33554432000 4194304 4196468 140725753350240 140327936571920 140328333207253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16749] ppid=16739 vsize=10858780 memory=1240 CPUtime=16.7 cores=0,2,4,6
/proc/16742/task/16749/stat : 16749 (java) S 16739 16742 13514 0 -1 1077944384 24632 0 0 0 1668 2 0 0 20 0 17 0 105873255 11119390720 2007115 33554432000 4194304 4196468 140725753350240 140327570733680 140328333208194 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16750] ppid=16739 vsize=10858780 memory=1520 CPUtime=0 cores=0,2,4,6
/proc/16742/task/16750/stat : 16750 (java) S 16739 16742 13514 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 17 0 105873256 11119390720 2007115 33554432000 4194304 4196468 140725753350240 140327569679712 140328333207253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16751] ppid=16739 vsize=10858780 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/16742/task/16751/stat : 16751 (java) S 16739 16742 13514 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 17 0 105873256 11119390720 2007115 33554432000 4194304 4196468 140725753350240 140327568627328 140328333207253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16752] ppid=16739 vsize=10858780 memory=4582 CPUtime=0 cores=0,2,4,6
/proc/16742/task/16752/stat : 16752 (java) S 16739 16742 13514 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 17 0 105873258 11119390720 2007115 33554432000 4194304 4196468 140725753350240 140327567575632 140328333215643 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16753] ppid=16739 vsize=10858780 memory=4597 CPUtime=2 cores=0,2,4,6
/proc/16742/task/16753/stat : 16753 (java) S 16739 16742 13514 0 -1 1077944384 9767 0 0 0 199 1 0 0 20 0 17 0 105873258 11119390720 2007115 33554432000 4194304 4196468 140725753350240 140327566522480 140328333208194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16754] ppid=16739 vsize=10858780 memory=4590 CPUtime=2.04 cores=0,2,4,6
/proc/16742/task/16754/stat : 16754 (java) S 16739 16742 13514 0 -1 1077944384 9094 0 0 0 203 1 0 0 20 0 17 0 105873258 11119390720 2007115 33554432000 4194304 4196468 140725753350240 140327565469680 140328333208194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16755] ppid=16739 vsize=10858780 memory=8028372 CPUtime=0.4 cores=0,2,4,6
/proc/16742/task/16755/stat : 16755 (java) S 16739 16742 13514 0 -1 1077944384 3671 0 0 0 39 1 0 0 20 0 17 0 105873258 11119390720 2007115 33554432000 4194304 4196468 140725753350240 140327564417392 140328333208194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16756] ppid=16739 vsize=10858780 memory=1584 CPUtime=0 cores=0,2,4,6
/proc/16742/task/16756/stat : 16756 (java) S 16739 16742 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 105873258 11119390720 2007115 33554432000 4194304 4196468 140725753350240 140327563364832 140328333207253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
[pid=16742/tid=16757] ppid=16739 vsize=10858780 memory=6791534058613427641 CPUtime=0.05 cores=0,2,4,6
/proc/16742/task/16757/stat : 16757 (java) S 16739 16742 13514 0 -1 1077944384 1174 0 0 0 2 3 0 0 20 0 17 0 105873258 11119390720 2007115 33554432000 4194304 4196468 140725753350240 140327562312624 140328333208194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 27996160 140725753357430 140725753357582 140725753357582 140725753360335 0
Current children cumulated CPU time: 253.83 s
Current children cumulated vsize: 10858780 KiB
Current children cumulated memory: 8028460 KiB
[startup+102.501 s]*
/proc/loadavg: 3.35 2.99 2.83 3/204 16761
/proc/meminfo: memFree=21931968/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 102.529
CPU time (s): 253.973
CPU user time (s): 248.86
CPU system time (s): 5.11302
CPU usage (%): 247.709
Max. virtual memory (cumulated for all children) (KiB): 10858780
Max. memory (cumulated for all children) (KiB): 8028460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 248.86
system time used= 5.11302
maximum resident set size= 8029096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 174809
page faults= 0
swaps= 0
block input operations= 0
block output operations= 232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6400
involuntary context switches= 2099
# summary of solver processes directly reported to runsolver:
# pid: 16742
# total CPU time (s): 253.973
# total CPU user time (s): 248.86
# total CPU system time (s): 5.11302
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.697507 second user time and 0.949048 second system time
The end