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 (10336 MiB free)
memory of node 1: 16384 MiB (15567 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302246-1532888862/watcher-4302246-1532888862 -o /tmp/evaluation-result-4302246-1532888862/solver-4302246-1532888862 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532883454-10060 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4302246-1532888862.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=15514, runsolver pid=15511
[startup+0.100095 s]*
/proc/loadavg: 1.98 2.16 2.40 3/216 15529
/proc/meminfo: memFree=26509528/32770624 swapFree=67028796/67108860
[pid=15514] ppid=15511 vsize=10659012 memory=30064 CPUtime=0.12 cores=0,2,4,6
/proc/15514/stat : 15514 (java) S 15511 15514 10029 0 -1 1077944320 6600 0 0 0 11 1 0 0 20 0 15 0 106449378 10914828288 7516 33554432000 4194304 4196468 140726106361808 140726106344352 140001829777143 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
/proc/15514/statm: 2664753 7516 2815 1 0 2627263 0
[pid=15514/tid=15516] ppid=15511 vsize=10659012 memory=-8773748148829851523 CPUtime=0.09 cores=0,2,4,6
/proc/15514/task/15516/stat : 15516 (java) R 15511 15514 10029 0 -1 4202560 4423 0 0 0 8 1 0 0 20 0 15 0 106449379 10914828288 7516 33554432000 4194304 4196468 140726106361808 140001833991136 140001829799069 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15517] ppid=15511 vsize=10659012 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15517/stat : 15517 (java) S 15511 15514 10029 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106449379 10914828288 7516 33554432000 4194304 4196468 140726106361808 140001782397840 140001829787349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15518] ppid=15511 vsize=10659012 memory=140545425081984 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15518/stat : 15518 (java) S 15511 15514 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106449379 10914828288 7516 33554432000 4194304 4196468 140726106361808 140001781345040 140001829787349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15519] ppid=15511 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15519/stat : 15519 (java) S 15511 15514 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106449379 10914828288 7516 33554432000 4194304 4196468 140726106361808 140001780292752 140001829787349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15520] ppid=15511 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15520/stat : 15520 (java) S 15511 15514 10029 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106449379 10914828288 7516 33554432000 4194304 4196468 140726106361808 140001779239952 140001829787349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15521] ppid=15511 vsize=10659012 memory=140545425081984 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15521/stat : 15521 (java) S 15511 15514 10029 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106449381 10914828288 7516 33554432000 4194304 4196468 140726106361808 140001389508720 140001829788290 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15522] ppid=15511 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15522/stat : 15522 (java) S 15511 15514 10029 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106449381 10914828288 7516 33554432000 4194304 4196468 140726106361808 140001388454688 140001829787349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15523] ppid=15511 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15523/stat : 15523 (java) S 15511 15514 10029 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106449381 10914828288 7516 33554432000 4194304 4196468 140726106361808 140001387402352 140001829787349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15524] ppid=15511 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15524/stat : 15524 (java) S 15511 15514 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106449384 10914828288 7516 33554432000 4194304 4196468 140726106361808 140001386350672 140001829795739 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15525] ppid=15511 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15525/stat : 15525 (java) R 15511 15514 10029 0 -1 1077944384 447 0 0 0 0 0 0 0 20 0 15 0 106449384 10914828288 7516 33554432000 4194304 4196468 140726106361808 140001385298544 140001829788290 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15526] ppid=15511 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15526/stat : 15526 (java) S 15511 15514 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106449384 10914828288 7516 33554432000 4194304 4196468 140726106361808 140001384245744 140001829788290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15527] ppid=15511 vsize=10659012 memory=140545425081984 CPUtime=0.02 cores=0,2,4,6
/proc/15514/task/15527/stat : 15527 (java) R 15511 15514 10029 0 -1 4202560 361 0 0 0 2 0 0 0 20 0 15 0 106449384 10914828288 7516 33554432000 4194304 4196468 140726106361808 140001383193456 140001814032431 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15528] ppid=15511 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15528/stat : 15528 (java) S 15511 15514 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106449384 10914828288 7516 33554432000 4194304 4196468 140726106361808 140001382140896 140001829787349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15529] ppid=15511 vsize=10659012 memory=140545425081984 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15529/stat : 15529 (java) S 15511 15514 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106449384 10914828288 7516 33554432000 4194304 4196468 140726106361808 140001381087664 140001829788290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 30064 KiB
[startup+0.21054 s]*
/proc/loadavg: 1.98 2.16 2.40 4/216 15529
/proc/meminfo: memFree=26498424/32770624 swapFree=67028796/67108860
[pid=15514] ppid=15511 vsize=10659012 memory=41752 CPUtime=0.33 cores=0,2,4,6
/proc/15514/stat : 15514 (java) S 15511 15514 10029 0 -1 1077944320 8070 0 0 0 31 2 0 0 20 0 15 0 106449378 10914828288 10438 33554432000 4194304 4196468 140726106361808 140726106344352 140001829777143 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
/proc/15514/statm: 2664753 10438 3003 1 0 2627263 0
[pid=15514/tid=15516] ppid=15511 vsize=10659012 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/15514/task/15516/stat : 15516 (java) R 15511 15514 10029 0 -1 4202560 4995 0 0 0 19 1 0 0 20 0 15 0 106449379 10914828288 10438 33554432000 4194304 4196468 140726106361808 140001834010128 140001813820773 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15517] ppid=15511 vsize=10659012 memory=342 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15517/stat : 15517 (java) S 15511 15514 10029 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106449379 10914828288 10438 33554432000 4194304 4196468 140726106361808 140001782397840 140001829787349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15518] ppid=15511 vsize=10659012 memory=288370921576793728 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15518/stat : 15518 (java) S 15511 15514 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106449379 10914828288 10438 33554432000 4194304 4196468 140726106361808 140001781345040 140001829787349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15519] ppid=15511 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15519/stat : 15519 (java) S 15511 15514 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106449379 10914828288 10438 33554432000 4194304 4196468 140726106361808 140001780292752 140001829787349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15520] ppid=15511 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15520/stat : 15520 (java) S 15511 15514 10029 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106449379 10914828288 10438 33554432000 4194304 4196468 140726106361808 140001779239952 140001829787349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15521] ppid=15511 vsize=10659012 memory=140545425081984 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15521/stat : 15521 (java) S 15511 15514 10029 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106449381 10914828288 10438 33554432000 4194304 4196468 140726106361808 140001389508720 140001829788290 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15522] ppid=15511 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15522/stat : 15522 (java) S 15511 15514 10029 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106449381 10914828288 10438 33554432000 4194304 4196468 140726106361808 140001388454688 140001829787349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15523] ppid=15511 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15523/stat : 15523 (java) S 15511 15514 10029 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106449381 10914828288 10438 33554432000 4194304 4196468 140726106361808 140001387402352 140001829787349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15524] ppid=15511 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15524/stat : 15524 (java) S 15511 15514 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106449384 10914828288 10438 33554432000 4194304 4196468 140726106361808 140001386350672 140001829795739 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15525] ppid=15511 vsize=10659012 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/15514/task/15525/stat : 15525 (java) S 15511 15514 10029 0 -1 1077944384 772 0 0 0 3 0 0 0 20 0 15 0 106449384 10914828288 10438 33554432000 4194304 4196468 140726106361808 140001385298544 140001829788290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15526] ppid=15511 vsize=10659012 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/15514/task/15526/stat : 15526 (java) S 15511 15514 10029 0 -1 1077944384 236 0 0 0 1 0 0 0 20 0 15 0 106449384 10914828288 10438 33554432000 4194304 4196468 140726106361808 140001384245744 140001829788290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15527] ppid=15511 vsize=10659012 memory=140545425081984 CPUtime=0.07 cores=0,2,4,6
/proc/15514/task/15527/stat : 15527 (java) S 15511 15514 10029 0 -1 1077944384 704 0 0 0 7 0 0 0 20 0 15 0 106449384 10914828288 10438 33554432000 4194304 4196468 140726106361808 140001383193456 140001829788290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15528] ppid=15511 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15528/stat : 15528 (java) S 15511 15514 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106449384 10914828288 10438 33554432000 4194304 4196468 140726106361808 140001382140896 140001829787349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15529] ppid=15511 vsize=10659012 memory=140545425081984 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15529/stat : 15529 (java) S 15511 15514 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106449384 10914828288 10438 33554432000 4194304 4196468 140726106361808 140001381087664 140001829788290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 41752 KiB
[startup+0.312841 s]*
/proc/loadavg: 1.98 2.16 2.40 6/216 15529
/proc/meminfo: memFree=26491136/32770624 swapFree=67028796/67108860
[pid=15514] ppid=15511 vsize=10659088 memory=47468 CPUtime=0.53 cores=0,2,4,6
/proc/15514/stat : 15514 (java) S 15511 15514 10029 0 -1 1077944320 8896 0 0 0 51 2 0 0 20 0 15 0 106449378 10914906112 11867 33554432000 4194304 4196468 140726106361808 140726106344352 140001829777143 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
/proc/15514/statm: 2664772 11867 3058 1 0 2627263 0
[pid=15514/tid=15516] ppid=15511 vsize=10659088 memory=7022364594140610616 CPUtime=0.3 cores=0,2,4,6
/proc/15514/task/15516/stat : 15516 (java) S 15511 15514 10029 0 -1 1077944384 5570 0 0 0 28 2 0 0 20 0 15 0 106449379 10914906112 11867 33554432000 4194304 4196468 140726106361808 140001834011376 140001829787349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15517] ppid=15511 vsize=10659088 memory=4294976237 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15517/stat : 15517 (java) S 15511 15514 10029 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106449379 10914906112 11867 33554432000 4194304 4196468 140726106361808 140001782397840 140001829787349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15518] ppid=15511 vsize=10659088 memory=288370921576793728 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15518/stat : 15518 (java) S 15511 15514 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106449379 10914906112 11867 33554432000 4194304 4196468 140726106361808 140001781345040 140001829787349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15519] ppid=15511 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15519/stat : 15519 (java) S 15511 15514 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106449379 10914906112 11867 33554432000 4194304 4196468 140726106361808 140001780292752 140001829787349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15520] ppid=15511 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15520/stat : 15520 (java) S 15511 15514 10029 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106449379 10914906112 11867 33554432000 4194304 4196468 140726106361808 140001779239952 140001829787349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15521] ppid=15511 vsize=10659088 memory=140545425081984 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15521/stat : 15521 (java) S 15511 15514 10029 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106449381 10914906112 11867 33554432000 4194304 4196468 140726106361808 140001389508720 140001829788290 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15522] ppid=15511 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15522/stat : 15522 (java) S 15511 15514 10029 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106449381 10914906112 11867 33554432000 4194304 4196468 140726106361808 140001388454688 140001829787349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15523] ppid=15511 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15523/stat : 15523 (java) S 15511 15514 10029 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106449381 10914906112 11867 33554432000 4194304 4196468 140726106361808 140001387402352 140001829787349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15524] ppid=15511 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15524/stat : 15524 (java) S 15511 15514 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106449384 10914906112 11867 33554432000 4194304 4196468 140726106361808 140001386350672 140001829795739 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15525] ppid=15511 vsize=10659088 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/15514/task/15525/stat : 15525 (java) S 15511 15514 10029 0 -1 1077944384 802 0 0 0 5 0 0 0 20 0 15 0 106449384 10914906112 11867 33554432000 4194304 4196468 140726106361808 140001385298544 140001829788290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15526] ppid=15511 vsize=10659088 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/15514/task/15526/stat : 15526 (java) S 15511 15514 10029 0 -1 1077944384 354 0 0 0 4 0 0 0 20 0 15 0 106449384 10914906112 11867 33554432000 4194304 4196468 140726106361808 140001384245744 140001829788290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15527] ppid=15511 vsize=10659088 memory=140545425081984 CPUtime=0.12 cores=0,2,4,6
/proc/15514/task/15527/stat : 15527 (java) R 15511 15514 10029 0 -1 1077944384 802 0 0 0 12 0 0 0 20 0 15 0 106449384 10914906112 11867 33554432000 4194304 4196468 140726106361808 140001383187840 140001829787349 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15528] ppid=15511 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15528/stat : 15528 (java) S 15511 15514 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106449384 10914906112 11867 33554432000 4194304 4196468 140726106361808 140001382140896 140001829787349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15529] ppid=15511 vsize=10659088 memory=140545425081984 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15529/stat : 15529 (java) S 15511 15514 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106449384 10914906112 11867 33554432000 4194304 4196468 140726106361808 140001381087664 140001829788290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 47468 KiB
[startup+0.70098 s]
/proc/loadavg: 1.98 2.16 2.40 5/216 15529
/proc/meminfo: memFree=26455832/32770624 swapFree=67028796/67108860
[pid=15514] ppid=15511 vsize=10727700 memory=146624 CPUtime=1.65 cores=0,2,4,6
/proc/15514/stat : 15514 (java) S 15511 15514 10029 0 -1 1077944320 14575 0 0 0 160 5 0 0 20 0 16 0 106449378 10985164800 36656 33554432000 4194304 4196468 140726106361808 140726106344352 140001829777143 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
/proc/15514/statm: 2681925 36656 3106 1 0 2644416 0
[pid=15514/tid=15516] ppid=15511 vsize=10727700 memory=207207475990528 CPUtime=0.67 cores=0,2,4,6
/proc/15514/task/15516/stat : 15516 (java) R 15511 15514 10029 0 -1 4202560 6083 0 0 0 63 4 0 0 20 0 16 0 106449379 10985164800 36656 33554432000 4194304 4196468 140726106361808 140001834015584 140001829789078 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15517] ppid=15511 vsize=10727700 memory=617063 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15517/stat : 15517 (java) S 15511 15514 10029 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 106449379 10985164800 36656 33554432000 4194304 4196468 140726106361808 140001782397840 140001829787349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15518] ppid=15511 vsize=10727700 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15518/stat : 15518 (java) S 15511 15514 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 106449379 10985164800 36656 33554432000 4194304 4196468 140726106361808 140001781345040 140001829787349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15519] ppid=15511 vsize=10727700 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15519/stat : 15519 (java) S 15511 15514 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 106449379 10985164800 36656 33554432000 4194304 4196468 140726106361808 140001780292752 140001829787349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15520] ppid=15511 vsize=10727700 memory=7809523229951467576 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15520/stat : 15520 (java) S 15511 15514 10029 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 106449379 10985164800 36656 33554432000 4194304 4196468 140726106361808 140001779239952 140001829787349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15521] ppid=15511 vsize=10727700 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15521/stat : 15521 (java) S 15511 15514 10029 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 106449381 10985164800 36656 33554432000 4194304 4196468 140726106361808 140001389508720 140001829788290 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15522] ppid=15511 vsize=10727700 memory=-3472574513799858009 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15522/stat : 15522 (java) S 15511 15514 10029 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 106449381 10985164800 36656 33554432000 4194304 4196468 140726106361808 140001388454688 140001829787349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15523] ppid=15511 vsize=10727700 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15523/stat : 15523 (java) S 15511 15514 10029 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 106449381 10985164800 36656 33554432000 4194304 4196468 140726106361808 140001387402352 140001829787349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15524] ppid=15511 vsize=10727700 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15524/stat : 15524 (java) S 15511 15514 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106449384 10985164800 36656 33554432000 4194304 4196468 140726106361808 140001386350672 140001829795739 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15525] ppid=15511 vsize=10727700 memory=0 CPUtime=0.32 cores=0,2,4,6
/proc/15514/task/15525/stat : 15525 (java) R 15511 15514 10029 0 -1 4202560 2175 0 0 0 32 0 0 0 20 0 16 0 106449384 10985164800 36656 33554432000 4194304 4196468 140726106361808 140001385288656 140001822014270 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15526] ppid=15511 vsize=10727700 memory=0 CPUtime=0.32 cores=0,2,4,6
/proc/15514/task/15526/stat : 15526 (java) R 15511 15514 10029 0 -1 4202560 3069 0 0 0 32 0 0 0 20 0 16 0 106449384 10985164800 36656 33554432000 4194304 4196468 140726106361808 140001384231624 140001811297216 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15527] ppid=15511 vsize=10727700 memory=0 CPUtime=0.31 cores=0,2,4,6
/proc/15514/task/15527/stat : 15527 (java) R 15511 15514 10029 0 -1 1077944384 1857 0 0 0 31 0 0 0 20 0 16 0 106449384 10985164800 36656 33554432000 4194304 4196468 140726106361808 140001383193456 140001829788290 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15528] ppid=15511 vsize=10727700 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15528/stat : 15528 (java) S 15511 15514 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106449384 10985164800 36656 33554432000 4194304 4196468 140726106361808 140001382140896 140001829787349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15529] ppid=15511 vsize=10727700 memory=3604 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15529/stat : 15529 (java) S 15511 15514 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 106449384 10985164800 36656 33554432000 4194304 4196468 140726106361808 140001381087664 140001829788290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
Current children cumulated CPU time: 1.65 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 146624 KiB
[startup+1.5008 s]
/proc/loadavg: 1.98 2.16 2.40 4/217 15530
/proc/meminfo: memFree=26385672/32770624 swapFree=67028796/67108860
[pid=15514] ppid=15511 vsize=10727700 memory=154128 CPUtime=3.39 cores=0,2,4,6
/proc/15514/stat : 15514 (java) S 15511 15514 10029 0 -1 1077944320 20415 0 0 0 333 6 0 0 20 0 16 0 106449378 10985164800 38532 33554432000 4194304 4196468 140726106361808 140726106344352 140001829777143 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
/proc/15514/statm: 2681925 38532 3131 1 0 2644416 0
[pid=15514/tid=15516] ppid=15511 vsize=10727700 memory=9169 CPUtime=1.47 cores=0,2,4,6
/proc/15514/task/15516/stat : 15516 (java) R 15511 15514 10029 0 -1 4202560 6429 0 0 0 143 4 0 0 20 0 16 0 106449379 10985164800 38532 33554432000 4194304 4196468 140726106361808 140001834002544 140001459479346 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15517] ppid=15511 vsize=10727700 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15517/stat : 15517 (java) S 15511 15514 10029 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 106449379 10985164800 38532 33554432000 4194304 4196468 140726106361808 140001782397840 140001829787349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15518] ppid=15511 vsize=10727700 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15518/stat : 15518 (java) S 15511 15514 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 106449379 10985164800 38532 33554432000 4194304 4196468 140726106361808 140001781345040 140001829787349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15519] ppid=15511 vsize=10727700 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15519/stat : 15519 (java) S 15511 15514 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 106449379 10985164800 38532 33554432000 4194304 4196468 140726106361808 140001780292752 140001829787349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15520] ppid=15511 vsize=10727700 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15520/stat : 15520 (java) S 15511 15514 10029 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 106449379 10985164800 38532 33554432000 4194304 4196468 140726106361808 140001779239952 140001829787349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15521] ppid=15511 vsize=10727700 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15521/stat : 15521 (java) S 15511 15514 10029 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 106449381 10985164800 38532 33554432000 4194304 4196468 140726106361808 140001389508720 140001829788290 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
################
# More data... #
################
/proc/15514/task/15521/stat : 15521 (java) S 15511 15514 10029 0 -1 1077944384 1229 0 0 0 0 0 0 0 20 0 16 0 106449381 10985164800 66889 33554432000 4194304 4196468 140726106361808 140001389508720 140001829788290 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15522] ppid=15511 vsize=10727700 memory=217308 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15522/stat : 15522 (java) S 15511 15514 10029 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 106449381 10985164800 66889 33554432000 4194304 4196468 140726106361808 140001388454688 140001829787349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15523] ppid=15511 vsize=10727700 memory=267556 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15523/stat : 15523 (java) S 15511 15514 10029 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 16 0 106449381 10985164800 66889 33554432000 4194304 4196468 140726106361808 140001387402352 140001829787349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15524] ppid=15511 vsize=10727700 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15524/stat : 15524 (java) S 15511 15514 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106449384 10985164800 66889 33554432000 4194304 4196468 140726106361808 140001386350672 140001829795739 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15525] ppid=15511 vsize=10727700 memory=267556 CPUtime=1.29 cores=0,2,4,6
/proc/15514/task/15525/stat : 15525 (java) S 15511 15514 10029 0 -1 1077944384 9156 0 0 0 129 0 0 0 20 0 16 0 106449384 10985164800 66889 33554432000 4194304 4196468 140726106361808 140001385298544 140001829788290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15526] ppid=15511 vsize=10727700 memory=3544 CPUtime=1.14 cores=0,2,4,6
/proc/15514/task/15526/stat : 15526 (java) S 15511 15514 10029 0 -1 1077944384 6706 0 0 0 113 1 0 0 20 0 16 0 106449384 10985164800 66889 33554432000 4194304 4196468 140726106361808 140001384245744 140001829788290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15527] ppid=15511 vsize=10727700 memory=267556 CPUtime=0.41 cores=0,2,4,6
/proc/15514/task/15527/stat : 15527 (java) S 15511 15514 10029 0 -1 1077944384 4003 0 0 0 40 1 0 0 20 0 16 0 106449384 10985164800 66889 33554432000 4194304 4196468 140726106361808 140001383193456 140001829788290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15528] ppid=15511 vsize=10727700 memory=267556 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15528/stat : 15528 (java) S 15511 15514 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106449384 10985164800 66889 33554432000 4194304 4196468 140726106361808 140001382140896 140001829787349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15529] ppid=15511 vsize=10727700 memory=9 CPUtime=0.09 cores=0,2,4,6
/proc/15514/task/15529/stat : 15529 (java) S 15511 15514 10029 0 -1 1077944384 1021 0 0 0 5 4 0 0 20 0 16 0 106449384 10985164800 66889 33554432000 4194304 4196468 140726106361808 140001381087664 140001829788290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15530] ppid=15511 vsize=10727700 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15530/stat : 15530 (java) S 15511 15514 10029 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 106449448 10985164800 66889 33554432000 4194304 4196468 140726106361808 140001377936048 140001829788290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
Current children cumulated CPU time: 165.43 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 267556 KiB
[startup+222.301 s]
/proc/loadavg: 1.09 1.69 2.18 2/196 15594
/proc/meminfo: memFree=26493068/32770624 swapFree=67028804/67108860
[pid=15514] ppid=15511 vsize=10727700 memory=267556 CPUtime=225.46 cores=0,2,4,6
/proc/15514/stat : 15514 (java) S 15511 15514 10029 0 -1 1077944320 35841 0 0 0 22524 22 0 0 20 0 16 0 106449378 10985164800 66889 33554432000 4194304 4196468 140726106361808 140726106344352 140001829777143 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
/proc/15514/statm: 2681925 66889 3161 1 0 2644416 0
[pid=15514/tid=15516] ppid=15511 vsize=10727700 memory=267556 CPUtime=222.2 cores=0,2,4,6
/proc/15514/task/15516/stat : 15516 (java) R 15511 15514 10029 0 -1 4202560 9826 0 0 0 22215 5 0 0 20 0 16 0 106449379 10985164800 66889 33554432000 4194304 4196468 140726106361808 140001834016144 140001459394432 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15517] ppid=15511 vsize=10727700 memory=267556 CPUtime=0.06 cores=0,2,4,6
/proc/15514/task/15517/stat : 15517 (java) S 15511 15514 10029 0 -1 1077944384 309 0 0 0 4 2 0 0 20 0 16 0 106449379 10985164800 66889 33554432000 4194304 4196468 140726106361808 140001782397840 140001829787349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15518] ppid=15511 vsize=10727700 memory=267556 CPUtime=0.06 cores=0,2,4,6
/proc/15514/task/15518/stat : 15518 (java) S 15511 15514 10029 0 -1 1077944384 436 0 0 0 4 2 0 0 20 0 16 0 106449379 10985164800 66889 33554432000 4194304 4196468 140726106361808 140001781345040 140001829787349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15519] ppid=15511 vsize=10727700 memory=267556 CPUtime=0.05 cores=0,2,4,6
/proc/15514/task/15519/stat : 15519 (java) S 15511 15514 10029 0 -1 1077944384 1194 0 0 0 3 2 0 0 20 0 16 0 106449379 10985164800 66889 33554432000 4194304 4196468 140726106361808 140001780292752 140001829787349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15520] ppid=15511 vsize=10727700 memory=640 CPUtime=0.05 cores=0,2,4,6
/proc/15514/task/15520/stat : 15520 (java) S 15511 15514 10029 0 -1 1077944384 489 0 0 0 3 2 0 0 20 0 16 0 106449379 10985164800 66889 33554432000 4194304 4196468 140726106361808 140001779239952 140001829787349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15521] ppid=15511 vsize=10727700 memory=267556 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15521/stat : 15521 (java) S 15511 15514 10029 0 -1 1077944384 1234 0 0 0 0 0 0 0 20 0 16 0 106449381 10985164800 66889 33554432000 4194304 4196468 140726106361808 140001389508720 140001829788290 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15522] ppid=15511 vsize=10727700 memory=267556 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15522/stat : 15522 (java) S 15511 15514 10029 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 106449381 10985164800 66889 33554432000 4194304 4196468 140726106361808 140001388454688 140001829787349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15523] ppid=15511 vsize=10727700 memory=267556 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15523/stat : 15523 (java) S 15511 15514 10029 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 16 0 106449381 10985164800 66889 33554432000 4194304 4196468 140726106361808 140001387402352 140001829787349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15524] ppid=15511 vsize=10727700 memory=267556 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15524/stat : 15524 (java) S 15511 15514 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106449384 10985164800 66889 33554432000 4194304 4196468 140726106361808 140001386350672 140001829795739 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15525] ppid=15511 vsize=10727700 memory=267556 CPUtime=1.29 cores=0,2,4,6
/proc/15514/task/15525/stat : 15525 (java) S 15511 15514 10029 0 -1 1077944384 9159 0 0 0 129 0 0 0 20 0 16 0 106449384 10985164800 66889 33554432000 4194304 4196468 140726106361808 140001385298544 140001829788290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15526] ppid=15511 vsize=10727700 memory=27064 CPUtime=1.14 cores=0,2,4,6
/proc/15514/task/15526/stat : 15526 (java) S 15511 15514 10029 0 -1 1077944384 6712 0 0 0 113 1 0 0 20 0 16 0 106449384 10985164800 66889 33554432000 4194304 4196468 140726106361808 140001384245744 140001829788290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15527] ppid=15511 vsize=10727700 memory=776 CPUtime=0.41 cores=0,2,4,6
/proc/15514/task/15527/stat : 15527 (java) S 15511 15514 10029 0 -1 1077944384 4007 0 0 0 40 1 0 0 20 0 16 0 106449384 10985164800 66889 33554432000 4194304 4196468 140726106361808 140001383193456 140001829788290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15528] ppid=15511 vsize=10727700 memory=1876 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15528/stat : 15528 (java) S 15511 15514 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106449384 10985164800 66889 33554432000 4194304 4196468 140726106361808 140001382140896 140001829787349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15529] ppid=15511 vsize=10727700 memory=267556 CPUtime=0.12 cores=0,2,4,6
/proc/15514/task/15529/stat : 15529 (java) S 15511 15514 10029 0 -1 1077944384 1035 0 0 0 7 5 0 0 20 0 16 0 106449384 10985164800 66889 33554432000 4194304 4196468 140726106361808 140001381087664 140001829788290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15530] ppid=15511 vsize=10727700 memory=3544 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15530/stat : 15530 (java) S 15511 15514 10029 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 106449448 10985164800 66889 33554432000 4194304 4196468 140726106361808 140001377936048 140001829788290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
Current children cumulated CPU time: 225.46 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 267556 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+248.801 s]
/proc/loadavg: 1.06 1.64 2.14 2/196 15594
/proc/meminfo: memFree=26454280/32770624 swapFree=67028804/67108860
[pid=15514] ppid=15511 vsize=10727700 memory=306648 CPUtime=252.08 cores=0,2,4,6
/proc/15514/stat : 15514 (java) S 15511 15514 10029 0 -1 1077944320 37259 0 0 0 25180 28 0 0 20 0 16 0 106449378 10985164800 76662 33554432000 4194304 4196468 140726106361808 140726106344352 140001829777143 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
/proc/15514/statm: 2681925 76662 3161 1 0 2644416 0
[pid=15514/tid=15516] ppid=15511 vsize=10727700 memory=3604 CPUtime=248.66 cores=0,2,4,6
/proc/15514/task/15516/stat : 15516 (java) R 15511 15514 10029 0 -1 4202560 9876 0 0 0 24861 5 0 0 20 0 16 0 106449379 10985164800 76662 33554432000 4194304 4196468 140726106361808 140001834016144 140001460141471 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15517] ppid=15511 vsize=10727700 memory=6791534058613427641 CPUtime=0.09 cores=0,2,4,6
/proc/15514/task/15517/stat : 15517 (java) S 15511 15514 10029 0 -1 1077944384 1100 0 0 0 6 3 0 0 20 0 16 0 106449379 10985164800 76662 33554432000 4194304 4196468 140726106361808 140001782397840 140001829787349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15518] ppid=15511 vsize=10727700 memory=1876 CPUtime=0.09 cores=0,2,4,6
/proc/15514/task/15518/stat : 15518 (java) S 15511 15514 10029 0 -1 1077944384 569 0 0 0 6 3 0 0 20 0 16 0 106449379 10985164800 76662 33554432000 4194304 4196468 140726106361808 140001781345040 140001829787349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15519] ppid=15511 vsize=10727700 memory=1664 CPUtime=0.09 cores=0,2,4,6
/proc/15514/task/15519/stat : 15519 (java) S 15511 15514 10029 0 -1 1077944384 1356 0 0 0 6 3 0 0 20 0 16 0 106449379 10985164800 76662 33554432000 4194304 4196468 140726106361808 140001780292752 140001829787349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15520] ppid=15511 vsize=10727700 memory=1828 CPUtime=0.09 cores=0,2,4,6
/proc/15514/task/15520/stat : 15520 (java) S 15511 15514 10029 0 -1 1077944384 549 0 0 0 6 3 0 0 20 0 16 0 106449379 10985164800 76662 33554432000 4194304 4196468 140726106361808 140001779239952 140001829787349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15521] ppid=15511 vsize=10727700 memory=800 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15521/stat : 15521 (java) S 15511 15514 10029 0 -1 1077944384 1429 0 0 0 0 0 0 0 20 0 16 0 106449381 10985164800 76662 33554432000 4194304 4196468 140726106361808 140001389508720 140001829788290 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15522] ppid=15511 vsize=10727700 memory=5220 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15522/stat : 15522 (java) S 15511 15514 10029 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 106449381 10985164800 76662 33554432000 4194304 4196468 140726106361808 140001388454688 140001829787349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15523] ppid=15511 vsize=10727700 memory=306648 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15523/stat : 15523 (java) S 15511 15514 10029 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 16 0 106449381 10985164800 76662 33554432000 4194304 4196468 140726106361808 140001387402352 140001829787349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15524] ppid=15511 vsize=10727700 memory=1332 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15524/stat : 15524 (java) S 15511 15514 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106449384 10985164800 76662 33554432000 4194304 4196468 140726106361808 140001386350672 140001829795739 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15525] ppid=15511 vsize=10727700 memory=6791534058613427641 CPUtime=1.29 cores=0,2,4,6
/proc/15514/task/15525/stat : 15525 (java) S 15511 15514 10029 0 -1 1077944384 9160 0 0 0 129 0 0 0 20 0 16 0 106449384 10985164800 76662 33554432000 4194304 4196468 140726106361808 140001385298544 140001829788290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15526] ppid=15511 vsize=10727700 memory=3328 CPUtime=1.14 cores=0,2,4,6
/proc/15514/task/15526/stat : 15526 (java) S 15511 15514 10029 0 -1 1077944384 6712 0 0 0 113 1 0 0 20 0 16 0 106449384 10985164800 76662 33554432000 4194304 4196468 140726106361808 140001384245744 140001829788290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15527] ppid=15511 vsize=10727700 memory=3008 CPUtime=0.41 cores=0,2,4,6
/proc/15514/task/15527/stat : 15527 (java) S 15511 15514 10029 0 -1 1077944384 4007 0 0 0 40 1 0 0 20 0 16 0 106449384 10985164800 76662 33554432000 4194304 4196468 140726106361808 140001383193456 140001829788290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15528] ppid=15511 vsize=10727700 memory=2764 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15528/stat : 15528 (java) S 15511 15514 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106449384 10985164800 76662 33554432000 4194304 4196468 140726106361808 140001382140896 140001829787349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15529] ppid=15511 vsize=10727700 memory=796 CPUtime=0.14 cores=0,2,4,6
/proc/15514/task/15529/stat : 15529 (java) S 15511 15514 10029 0 -1 1077944384 1061 0 0 0 8 6 0 0 20 0 16 0 106449384 10985164800 76662 33554432000 4194304 4196468 140726106361808 140001381087664 140001829788290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15530] ppid=15511 vsize=10727700 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15530/stat : 15530 (java) S 15511 15514 10029 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 106449448 10985164800 76662 33554432000 4194304 4196468 140726106361808 140001377936048 140001829788290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
Current children cumulated CPU time: 252.08 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 306648 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+249.018 s]
# the end of solver process 15514 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.854 s, system=0.294095 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+249.001 s]*
/proc/loadavg: 1.06 1.64 2.14 1/197 15597
/proc/meminfo: memFree=26454280/32770624 swapFree=67028804/67108860
[pid=15514] ppid=15511 vsize=10927392 memory=306992 CPUtime=252.12 cores=0,2,4,6
/proc/15514/stat : 15514 (java) S 15511 15514 10029 0 -1 1077944320 38433 0 0 0 25184 28 0 0 20 0 17 0 106449378 11189649408 76748 33554432000 4194304 4196468 140726106361808 140726106344352 140001829777143 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
/proc/15514/statm: 2731848 76748 3163 1 0 2694339 0
[pid=15514/tid=15516] ppid=15511 vsize=10927392 memory=6791534058613427641 CPUtime=248.69 cores=0,2,4,6
/proc/15514/task/15516/stat : 15516 (java) S 15511 15514 10029 0 -1 1077944384 10037 0 0 0 24864 5 0 0 20 0 17 0 106449379 11189649408 76752 33554432000 4194304 4196468 140726106361808 140001834020016 140001829787349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15517] ppid=15511 vsize=10927392 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/15514/task/15517/stat : 15517 (java) S 15511 15514 10029 0 -1 1077944384 1100 0 0 0 6 3 0 0 20 0 17 0 106449379 11189649408 76752 33554432000 4194304 4196468 140726106361808 140001782397840 140001829787349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15518] ppid=15511 vsize=10927392 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/15514/task/15518/stat : 15518 (java) S 15511 15514 10029 0 -1 1077944384 569 0 0 0 6 3 0 0 20 0 17 0 106449379 11189649408 76752 33554432000 4194304 4196468 140726106361808 140001781345040 140001829787349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15519] ppid=15511 vsize=10927392 memory=288287796458947492 CPUtime=0.09 cores=0,2,4,6
/proc/15514/task/15519/stat : 15519 (java) S 15511 15514 10029 0 -1 1077944384 1356 0 0 0 6 3 0 0 20 0 17 0 106449379 11189649408 76752 33554432000 4194304 4196468 140726106361808 140001780292752 140001829787349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15520] ppid=15511 vsize=10927392 memory=3472328279047811120 CPUtime=0.09 cores=0,2,4,6
/proc/15514/task/15520/stat : 15520 (java) S 15511 15514 10029 0 -1 1077944384 549 0 0 0 6 3 0 0 20 0 17 0 106449379 11189649408 76752 33554432000 4194304 4196468 140726106361808 140001779239952 140001829787349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15521] ppid=15511 vsize=10927392 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15521/stat : 15521 (java) S 15511 15514 10029 0 -1 1077944384 1429 0 0 0 0 0 0 0 20 0 17 0 106449381 11189649408 76752 33554432000 4194304 4196468 140726106361808 140001389508720 140001829788290 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15522] ppid=15511 vsize=10927392 memory=140545288906015 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15522/stat : 15522 (java) S 15511 15514 10029 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 17 0 106449381 11189649408 76752 33554432000 4194304 4196468 140726106361808 140001388454688 140001829787349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15523] ppid=15511 vsize=10927392 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15523/stat : 15523 (java) S 15511 15514 10029 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 17 0 106449381 11189649408 76752 33554432000 4194304 4196468 140726106361808 140001387402352 140001829787349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15524] ppid=15511 vsize=10927392 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15524/stat : 15524 (java) S 15511 15514 10029 0 -1 1077944384 161 0 0 0 0 0 0 0 20 0 17 0 106449384 11189649408 76752 33554432000 4194304 4196468 140726106361808 140001386350672 140001829795739 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15525] ppid=15511 vsize=10927392 memory=0 CPUtime=1.3 cores=0,2,4,6
/proc/15514/task/15525/stat : 15525 (java) R 15511 15514 10029 0 -1 4202560 9408 0 0 0 130 0 0 0 20 0 17 0 106449384 11189649408 76752 33554432000 4194304 4196468 140726106361808 140001385298544 140001815472209 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15526] ppid=15511 vsize=10927392 memory=140545289531055 CPUtime=1.14 cores=0,2,4,6
/proc/15514/task/15526/stat : 15526 (java) R 15511 15514 10029 0 -1 1077944384 6791 0 0 0 113 1 0 0 20 0 17 0 106449384 11189649408 76752 33554432000 4194304 4196468 140726106361808 140001384245744 140001829788290 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15527] ppid=15511 vsize=10927392 memory=140545425082559 CPUtime=0.41 cores=0,2,4,6
/proc/15514/task/15527/stat : 15527 (java) S 15511 15514 10029 0 -1 1077944384 4188 0 0 0 40 1 0 0 20 0 17 0 106449384 11189649408 76752 33554432000 4194304 4196468 140726106361808 140001383193456 140001829788290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15528] ppid=15511 vsize=10927392 memory=140545289531055 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15528/stat : 15528 (java) S 15511 15514 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 106449384 11189649408 76752 33554432000 4194304 4196468 140726106361808 140001382140896 140001829787349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15529] ppid=15511 vsize=10927392 memory=140545425082562 CPUtime=0.14 cores=0,2,4,6
/proc/15514/task/15529/stat : 15529 (java) S 15511 15514 10029 0 -1 1077944384 1061 0 0 0 8 6 0 0 20 0 17 0 106449384 11189649408 76752 33554432000 4194304 4196468 140726106361808 140001381087664 140001829788290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15595] ppid=15511 vsize=10927392 memory=140545289540271 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15595/stat : 15595 (java) S 15511 15514 10029 0 -1 1077944384 161 0 0 0 0 0 0 0 20 0 17 0 106474259 11189649408 76752 33554432000 4194304 4196468 140726106361808 140001376883056 140001829787349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
[pid=15514/tid=15596] ppid=15511 vsize=10927392 memory=140545425082569 CPUtime=0 cores=0,2,4,6
/proc/15514/task/15596/stat : 15596 (java) R 15511 15514 10029 0 -1 4202560 140 0 0 0 0 0 0 0 20 0 17 0 106474259 11189649408 76752 33554432000 4194304 4196468 140726106361808 140001375828928 140001455189650 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31649792 140726106367094 140726106367246 140726106367246 140726106369999 0
Current children cumulated CPU time: 252.12 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 306992 KiB
Child status: 143
Real time (s): 249.018
CPU time (s): 252.148
CPU user time (s): 251.854
CPU system time (s): 0.294095
CPU usage (%): 101.257
Max. virtual memory (cumulated for all children) (KiB): 10927392
Max. memory (cumulated for all children) (KiB): 306992
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.854
system time used= 0.294095
maximum resident set size= 307296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38739
page faults= 0
swaps= 0
block input operations= 0
block output operations= 352
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7631
involuntary context switches= 358
# summary of solver processes directly reported to runsolver:
# pid: 15514
# total CPU time (s): 252.148
# total CPU user time (s): 251.854
# total CPU system time (s): 0.294095
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.30686 second user time and 2.55558 second system time
The end