2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
sat4j-CSP 2017-07-05	?		1963.74	526.22601
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 (7243 MiB free)
  memory of node 1: 16384 MiB (15414 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4263124-1502591124/watcher-4263124-1502591124 -o /tmp/evaluation-result-4263124-1502591124/solver-4263124-1502591124 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1502582933-8033 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4263124-1502591124.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=11371, runsolver pid=11368
Current StackSize limit: 8192 KiB


[startup+0.100093 s]*
/proc/loadavg: 7.06 7.45 7.32 6/206 11377
/proc/meminfo: memFree=23196284/32770624 swapFree=67108860/67108860
[pid=11371] ppid=11368 vsize=9936560 memory=17012 CPUtime=0.01 cores=1,3,5,7
/proc/11371/stat : 11371 (java) S 11368 11371 7968 0 -1 1077944320 3535 0 0 0 1 0 0 0 20 0 6 0 12995103 10175037440 4187 18446744073709551615 4194304 4196468 140732475312384 140732475294928 140273219129079 0 0 1 16784584 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
/proc/11371/statm: 2484140 4187 1923 1 0 2473637 0
[pid=11371/tid=11373] ppid=11368 vsize=9936560 memory=7077796292425249400 CPUtime=0.01 cores=1,3,5,7
/proc/11371/task/11373/stat : 11373 (java) R 11368 11371 7968 0 -1 4202560 2234 0 0 0 1 0 0 0 20 0 6 0 12995112 10175037440 4253 18446744073709551615 4194304 4196468 140732475312384 140273223365200 140273203209566 0 4 1 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11374] ppid=11368 vsize=9936560 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11371/task/11374/stat : 11374 (java) S 11368 11371 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 12995113 10175037440 4253 18446744073709551615 4194304 4196468 140732475312384 140273165478672 140273219139285 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11375] ppid=11368 vsize=9936560 memory=140200648373888 CPUtime=0 cores=1,3,5,7
/proc/11371/task/11375/stat : 11375 (java) S 11368 11371 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 12995113 10175037440 4253 18446744073709551615 4194304 4196468 140732475312384 140273164426128 140273219139285 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11376] ppid=11368 vsize=9936560 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11371/task/11376/stat : 11376 (java) S 11368 11371 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 12995113 10175037440 4253 18446744073709551615 4194304 4196468 140732475312384 140273163373584 140273219139285 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11377] ppid=11368 vsize=9936560 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11371/task/11377/stat : 11377 (java) S 11368 11371 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 12995113 10175037440 4253 18446744073709551615 4194304 4196468 140732475312384 140272827423888 140273219139285 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 9936560 KiB
Current children cumulated memory: 17012 KiB

[startup+0.210253 s]*
/proc/loadavg: 7.06 7.45 7.32 6/215 11386
/proc/meminfo: memFree=23188128/32770624 swapFree=67108860/67108860
[pid=11371] ppid=11368 vsize=10551156 memory=26920 CPUtime=0.08 cores=1,3,5,7
/proc/11371/stat : 11371 (java) S 11368 11371 7968 0 -1 1077944320 5239 0 0 0 7 1 0 0 20 0 15 0 12995103 10804383744 6730 18446744073709551615 4194304 4196468 140732475312384 140732475294928 140273219129079 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
/proc/11371/statm: 2637789 6730 2739 1 0 2627261 0
[pid=11371/tid=11373] ppid=11368 vsize=10551156 memory=8316850467074736180 CPUtime=0.06 cores=1,3,5,7
/proc/11371/task/11373/stat : 11373 (java) R 11368 11371 7968 0 -1 4202560 3190 0 0 0 6 0 0 0 20 0 15 0 12995112 10804383744 6730 18446744073709551615 4194304 4196468 140732475312384 140273223344992 140273219141014 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11374] ppid=11368 vsize=10551156 memory=11909 CPUtime=0 cores=1,3,5,7
/proc/11371/task/11374/stat : 11374 (java) S 11368 11371 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12995113 10804383744 6730 18446744073709551615 4194304 4196468 140732475312384 140273165478672 140273219139285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11375] ppid=11368 vsize=10551156 memory=140200648382170 CPUtime=0 cores=1,3,5,7
/proc/11371/task/11375/stat : 11375 (java) S 11368 11371 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12995113 10804383744 6730 18446744073709551615 4194304 4196468 140732475312384 140273164426128 140273219139285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11376] ppid=11368 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11371/task/11376/stat : 11376 (java) S 11368 11371 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12995113 10804383744 6730 18446744073709551615 4194304 4196468 140732475312384 140273163373584 140273219139285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11377] ppid=11368 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11371/task/11377/stat : 11377 (java) S 11368 11371 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 12995113 10804383744 6730 18446744073709551615 4194304 4196468 140732475312384 140272827423888 140273219139285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11378] ppid=11368 vsize=10551156 memory=140200648373888 CPUtime=0 cores=1,3,5,7
/proc/11371/task/11378/stat : 11378 (java) S 11368 11371 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 12995114 10804383744 6730 18446744073709551615 4194304 4196468 140732475312384 140272783149040 140273219140226 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11379] ppid=11368 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11371/task/11379/stat : 11379 (java) S 11368 11371 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 12995114 10804383744 6730 18446744073709551615 4194304 4196468 140732475312384 140272782095264 140273219139285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11380] ppid=11368 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11371/task/11380/stat : 11380 (java) S 11368 11371 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 12995115 10804383744 6730 18446744073709551615 4194304 4196468 140732475312384 140272781042672 140273219139285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11381] ppid=11368 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11371/task/11381/stat : 11381 (java) S 11368 11371 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12995117 10804383744 6730 18446744073709551615 4194304 4196468 140732475312384 140272779991248 140273219147675 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11382] ppid=11368 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11371/task/11382/stat : 11382 (java) S 11368 11371 7968 0 -1 1077944384 432 0 0 0 0 0 0 0 20 0 15 0 12995117 10804383744 6730 18446744073709551615 4194304 4196468 140732475312384 140272778938864 140273219140226 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11383] ppid=11368 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11371/task/11383/stat : 11383 (java) S 11368 11371 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12995117 10804383744 6730 18446744073709551615 4194304 4196468 140732475312384 140272777886320 140273219140226 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11384] ppid=11368 vsize=10551156 memory=140200648373888 CPUtime=0 cores=1,3,5,7
/proc/11371/task/11384/stat : 11384 (java) R 11368 11371 7968 0 -1 4202560 250 0 0 0 0 0 0 0 20 0 15 0 12995117 10804383744 6730 18446744073709551615 4194304 4196468 140732475312384 140272776833776 140273219141014 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11385] ppid=11368 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11371/task/11385/stat : 11385 (java) S 11368 11371 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12995117 10804383744 6730 18446744073709551615 4194304 4196468 140732475312384 140272775781472 140273219139285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11386] ppid=11368 vsize=10551156 memory=140200648373888 CPUtime=0 cores=1,3,5,7
/proc/11371/task/11386/stat : 11386 (java) S 11368 11371 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12995123 10804383744 6730 18446744073709551615 4194304 4196468 140732475312384 140272774727984 140273219140226 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 26920 KiB

[startup+0.310634 s]*
/proc/loadavg: 7.06 7.45 7.32 6/215 11386
/proc/meminfo: memFree=23175532/32770624 swapFree=67108860/67108860
[pid=11371] ppid=11368 vsize=10551156 memory=36148 CPUtime=0.24 cores=1,3,5,7
/proc/11371/stat : 11371 (java) S 11368 11371 7968 0 -1 1077944320 8345 0 0 0 22 2 0 0 20 0 15 0 12995103 10804383744 9037 18446744073709551615 4194304 4196468 140732475312384 140732475294928 140273219129079 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
/proc/11371/statm: 2637789 9037 2862 1 0 2627261 0
[pid=11371/tid=11373] ppid=11368 vsize=10551156 memory=8316850467074736180 CPUtime=0.16 cores=1,3,5,7
/proc/11371/task/11373/stat : 11373 (java) R 11368 11371 7968 0 -1 4202560 6015 0 0 0 15 1 0 0 20 0 15 0 12995112 10804383744 9037 18446744073709551615 4194304 4196468 140732475312384 140273223350384 140273203209566 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11374] ppid=11368 vsize=10551156 memory=11909 CPUtime=0 cores=1,3,5,7
/proc/11371/task/11374/stat : 11374 (java) S 11368 11371 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12995113 10804383744 9037 18446744073709551615 4194304 4196468 140732475312384 140273165478672 140273219139285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11375] ppid=11368 vsize=10551156 memory=140200648382170 CPUtime=0 cores=1,3,5,7
/proc/11371/task/11375/stat : 11375 (java) S 11368 11371 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12995113 10804383744 9037 18446744073709551615 4194304 4196468 140732475312384 140273164426128 140273219139285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11376] ppid=11368 vsize=10551156 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/11371/task/11376/stat : 11376 (java) S 11368 11371 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12995113 10804383744 9037 18446744073709551615 4194304 4196468 140732475312384 140273163373584 140273219139285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11377] ppid=11368 vsize=10551156 memory=3472328296227679279 CPUtime=0 cores=1,3,5,7
/proc/11371/task/11377/stat : 11377 (java) S 11368 11371 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 12995113 10804383744 9037 18446744073709551615 4194304 4196468 140732475312384 140272827423888 140273219139285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11378] ppid=11368 vsize=10551156 memory=3472468496876053168 CPUtime=0 cores=1,3,5,7
/proc/11371/task/11378/stat : 11378 (java) S 11368 11371 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 12995114 10804383744 9037 18446744073709551615 4194304 4196468 140732475312384 140272783149040 140273219140226 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11379] ppid=11368 vsize=10551156 memory=7959387142431338349 CPUtime=0 cores=1,3,5,7
/proc/11371/task/11379/stat : 11379 (java) S 11368 11371 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 12995114 10804383744 9037 18446744073709551615 4194304 4196468 140732475312384 140272782095264 140273219139285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11380] ppid=11368 vsize=10551156 memory=8475934422144423578 CPUtime=0 cores=1,3,5,7
/proc/11371/task/11380/stat : 11380 (java) S 11368 11371 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 12995115 10804383744 9037 18446744073709551615 4194304 4196468 140732475312384 140272781042672 140273219139285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11381] ppid=11368 vsize=10551156 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/11371/task/11381/stat : 11381 (java) S 11368 11371 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12995117 10804383744 9037 18446744073709551615 4194304 4196468 140732475312384 140272779991248 140273219147675 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11382] ppid=11368 vsize=10551156 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/11371/task/11382/stat : 11382 (java) S 11368 11371 7968 0 -1 1077944384 499 0 0 0 1 0 0 0 20 0 15 0 12995117 10804383744 9037 18446744073709551615 4194304 4196468 140732475312384 140272778938864 140273219140226 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11383] ppid=11368 vsize=10551156 memory=3472328296227680299 CPUtime=0 cores=1,3,5,7
/proc/11371/task/11383/stat : 11383 (java) S 11368 11371 7968 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 12995117 10804383744 9037 18446744073709551615 4194304 4196468 140732475312384 140272777886320 140273219140226 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11384] ppid=11368 vsize=10551156 memory=7160715665359004917 CPUtime=0.04 cores=1,3,5,7
/proc/11371/task/11384/stat : 11384 (java) S 11368 11371 7968 0 -1 1077944384 383 0 0 0 4 0 0 0 20 0 15 0 12995117 10804383744 9037 18446744073709551615 4194304 4196468 140732475312384 140272776833776 140273219140226 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11385] ppid=11368 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11371/task/11385/stat : 11385 (java) S 11368 11371 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12995117 10804383744 9037 18446744073709551615 4194304 4196468 140732475312384 140272775781472 140273219139285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11386] ppid=11368 vsize=10551156 memory=140200648373888 CPUtime=0 cores=1,3,5,7
/proc/11371/task/11386/stat : 11386 (java) S 11368 11371 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12995123 10804383744 9037 18446744073709551615 4194304 4196468 140732475312384 140272774727984 140273219140226 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 36148 KiB

[startup+0.701273 s]
/proc/loadavg: 7.06 7.45 7.32 8/215 11386
/proc/meminfo: memFree=23164928/32770624 swapFree=67108860/67108860
[pid=11371] ppid=11368 vsize=10551232 memory=206664 CPUtime=1.29 cores=1,3,5,7
/proc/11371/stat : 11371 (java) S 11368 11371 7968 0 -1 1077944320 12259 0 0 0 120 9 0 0 20 0 15 0 12995103 10804461568 51666 18446744073709551615 4194304 4196468 140732475312384 140732475294928 140273219129079 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
/proc/11371/statm: 2637808 51666 3049 1 0 2627261 0
[pid=11371/tid=11373] ppid=11368 vsize=10551232 memory=0 CPUtime=0.5 cores=1,3,5,7
/proc/11371/task/11373/stat : 11373 (java) S 11368 11371 7968 0 -1 1077944384 7477 0 0 0 46 4 0 0 20 0 15 0 12995112 10804461568 51666 18446744073709551615 4194304 4196468 140732475312384 140273223365728 140273219139285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11374] ppid=11368 vsize=10551232 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/11371/task/11374/stat : 11374 (java) S 11368 11371 7968 0 -1 1077944384 33 0 0 0 2 0 0 0 20 0 15 0 12995113 10804461568 51666 18446744073709551615 4194304 4196468 140732475312384 140273165478672 140273219139285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11375] ppid=11368 vsize=10551232 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/11371/task/11375/stat : 11375 (java) S 11368 11371 7968 0 -1 1077944384 31 0 0 0 2 1 0 0 20 0 15 0 12995113 10804461568 51666 18446744073709551615 4194304 4196468 140732475312384 140273164426128 140273219139285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11376] ppid=11368 vsize=10551232 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/11371/task/11376/stat : 11376 (java) S 11368 11371 7968 0 -1 1077944384 18 0 0 0 1 0 0 0 20 0 15 0 12995113 10804461568 51666 18446744073709551615 4194304 4196468 140732475312384 140273163373584 140273219139285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11377] ppid=11368 vsize=10551232 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/11371/task/11377/stat : 11377 (java) S 11368 11371 7968 0 -1 1077944384 14 0 0 0 1 0 0 0 20 0 15 0 12995113 10804461568 51666 18446744073709551615 4194304 4196468 140732475312384 140272827423888 140273219139285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11378] ppid=11368 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11371/task/11378/stat : 11378 (java) R 11368 11371 7968 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 15 0 12995114 10804461568 51666 18446744073709551615 4194304 4196468 140732475312384 140272783147552 140273212225552 0 0 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11379] ppid=11368 vsize=10551232 memory=2012 CPUtime=0 cores=1,3,5,7
/proc/11371/task/11379/stat : 11379 (java) S 11368 11371 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 12995114 10804461568 51666 18446744073709551615 4194304 4196468 140732475312384 140272782095264 140273219139285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11380] ppid=11368 vsize=10551232 memory=5520 CPUtime=0 cores=1,3,5,7
/proc/11371/task/11380/stat : 11380 (java) S 11368 11371 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 12995115 10804461568 51666 18446744073709551615 4194304 4196468 140732475312384 140272781042672 140273219139285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11381] ppid=11368 vsize=10551232 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/11371/task/11381/stat : 11381 (java) S 11368 11371 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12995117 10804461568 51666 18446744073709551615 4194304 4196468 140732475312384 140272779991248 140273219147675 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11382] ppid=11368 vsize=10551232 memory=792 CPUtime=0.19 cores=1,3,5,7
/proc/11371/task/11382/stat : 11382 (java) S 11368 11371 7968 0 -1 1077944384 1149 0 0 0 19 0 0 0 20 0 15 0 12995117 10804461568 51666 18446744073709551615 4194304 4196468 140732475312384 140272778923856 140273219139285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11383] ppid=11368 vsize=10551232 memory=8676 CPUtime=0.22 cores=1,3,5,7
/proc/11371/task/11383/stat : 11383 (java) S 11368 11371 7968 0 -1 1077944384 966 0 0 0 22 0 0 0 20 0 15 0 12995117 10804461568 51666 18446744073709551615 4194304 4196468 140732475312384 140272777871312 140273219139285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11384] ppid=11368 vsize=10551232 memory=1440 CPUtime=0.23 cores=1,3,5,7
/proc/11371/task/11384/stat : 11384 (java) S 11368 11371 7968 0 -1 1077944384 1198 0 0 0 23 0 0 0 20 0 15 0 12995117 10804461568 51666 18446744073709551615 4194304 4196468 140732475312384 140272776833776 140273219140226 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11385] ppid=11368 vsize=10551232 memory=33 CPUtime=0 cores=1,3,5,7
/proc/11371/task/11385/stat : 11385 (java) S 11368 11371 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12995117 10804461568 51666 18446744073709551615 4194304 4196468 140732475312384 140272775781472 140273219139285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11386] ppid=11368 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11371/task/11386/stat : 11386 (java) S 11368 11371 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12995123 10804461568 51666 18446744073709551615 4194304 4196468 140732475312384 140272774727984 140273219140226 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 206664 KiB

[startup+1.50126 s]
/proc/loadavg: 7.06 7.45 7.32 6/215 11386
/proc/meminfo: memFree=22773192/32770624 swapFree=67108860/67108860
[pid=11371] ppid=11368 vsize=10551232 memory=1275840 CPUtime=2.94 cores=1,3,5,7
/proc/11371/stat : 11371 (java) S 11368 11371 7968 0 -1 1077944320 15620 0 0 0 247 47 0 0 20 0 15 0 12995103 10804461568 318960 18446744073709551615 4194304 4196468 140732475312384 140732475294928 140273219129079 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
/proc/11371/statm: 2637808 318960 3080 1 0 2627261 0
[pid=11371/tid=11373] ppid=11368 vsize=10551232 memory=288230574492221466 CPUtime=1.04 cores=1,3,5,7
/proc/11371/task/11373/stat : 11373 (java) S 11368 11371 7968 0 -1 1077944384 8386 0 0 0 87 17 0 0 20 0 15 0 12995112 10804461568 318960 18446744073709551615 4194304 4196468 140732475312384 140273223366480 140273219139285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11374] ppid=11368 vsize=10551232 memory=288230613214036277 CPUtime=0.27 cores=1,3,5,7
/proc/11371/task/11374/stat : 11374 (java) R 11368 11371 7968 0 -1 4202560 742 0 0 0 21 6 0 0 20 0 15 0 12995113 10804461568 318960 18446744073709551615 4194304 4196468 140732475312384 140273165478056 140273204156975 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11375] ppid=11368 vsize=10551232 memory=758536 CPUtime=0.27 cores=1,3,5,7
/proc/11371/task/11375/stat : 11375 (java) R 11368 11371 7968 0 -1 4202560 605 0 0 0 20 7 0 0 20 0 15 0 12995113 10804461568 318960 18446744073709551615 4194304 4196468 140732475312384 140273164426328 140273204152782 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11376] ppid=11368 vsize=10551232 memory=0 CPUtime=0.26 cores=1,3,5,7
/proc/11371/task/11376/stat : 11376 (java) R 11368 11371 7968 0 -1 4202560 234 0 0 0 19 7 0 0 20 0 15 0 12995113 10804461568 318960 18446744073709551615 4194304 4196468 140732475312384 140273163373584 140273200754950 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11377] ppid=11368 vsize=10551232 memory=-2897801490638248215 CPUtime=0.26 cores=1,3,5,7
/proc/11371/task/11377/stat : 11377 (java) R 11368 11371 7968 0 -1 4202560 309 0 0 0 19 7 0 0 20 0 15 0 12995113 10804461568 318960 18446744073709551615 4194304 4196468 140732475312384 140272827424088 140273204154296 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11378] ppid=11368 vsize=10551232 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/11371/task/11378/stat : 11378 (java) S 11368 11371 7968 0 -1 1077944384 498 0 0 0 0 0 0 0 20 0 15 0 12995114 10804461568 318960 18446744073709551615 4194304 4196468 140732475312384 140272783147552 140273219139285 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11379] ppid=11368 vsize=10551232 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/11371/task/11379/stat : 11379 (java) S 11368 11371 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 12995114 10804461568 318960 18446744073709551615 4194304 4196468 140732475312384 140272782095264 140273219139285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11380] ppid=11368 vsize=10551232 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/11371/task/11380/stat : 11380 (java) S 11368 11371 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 12995115 10804461568 318960 18446744073709551615 4194304 4196468 140732475312384 140272781042672 140273219139285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11381] ppid=11368 vsize=10551232 memory=11284 CPUtime=0 cores=1,3,5,7
/proc/11371/task/11381/stat : 11381 (java) S 11368 11371 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12995117 10804461568 318960 18446744073709551615 4194304 4196468 140732475312384 140272779991248 140273219147675 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11382] ppid=11368 vsize=10551232 memory=2424 CPUtime=0.24 cores=1,3,5,7
/proc/11371/task/11382/stat : 11382 (java) S 11368 11371 7968 0 -1 1077944384 1263 0 0 0 24 0 0 0 20 0 15 0 12995117 10804461568 318960 18446744073709551615 4194304 4196468 140732475312384 140272778938864 140273219140226 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11383] ppid=11368 vsize=10551232 memory=0 CPUtime=0.27 cores=1,3,5,7
/proc/11371/task/11383/stat : 11383 (java) S 11368 11371 7968 0 -1 1077944384 997 0 0 0 27 0 0 0 20 0 15 0 12995117 10804461568 318960 18446744073709551615 4194304 4196468 140732475312384 140272777886320 140273219140226 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11384] ppid=11368 vsize=10551232 memory=6940161746087863120 CPUtime=0.25 cores=1,3,5,7
/proc/11371/task/11384/stat : 11384 (java) S 11368 11371 7968 0 -1 1077944384 1225 0 0 0 25 0 0 0 20 0 15 0 12995117 10804461568 318960 18446744073709551615 4194304 4196468 140732475312384 140272776833776 140273219140226 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11385] ppid=11368 vsize=10551232 memory=6441361776103020643 CPUtime=0 cores=1,3,5,7
/proc/11371/task/11385/stat : 11385 (java) S 11368 11371 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12995117 10804461568 318960 18446744073709551615 4194304 4196468 140732475312384 140272775781472 140273219139285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11386] ppid=11368 vsize=10551232 memory=6441361776103020643 CPUtime=0 cores=1,3,5,7
/proc/11371/task/11386/stat : 11386 (java) S 11368 11371 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12995123 10804461568 318960 18446744073709551615 4194304 4196468 140732475312384 140272774727984 140273219140226 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
Current children cumulated CPU time: 2.94 s
Current children cumulated vsize: 10551232 KiB

################
# More data... #
################

/proc/11371/task/11377/stat : 11377 (java) R 11368 11371 7968 0 -1 4202560 1186911 0 0 0 47541 260 0 0 20 0 16 0 12995113 10943037440 2072519 18446744073709551615 4194304 4196468 140732475312384 140272827424088 140273212232726 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11378] ppid=11368 vsize=10686560 memory=8290076 CPUtime=17.87 cores=1,3,5,7
/proc/11371/task/11378/stat : 11378 (java) S 11368 11371 7968 0 -1 1077944384 117662 0 0 0 1782 5 0 0 20 0 16 0 12995114 10943037440 2072519 18446744073709551615 4194304 4196468 140732475312384 140272783147584 140273219139285 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11379] ppid=11368 vsize=10686560 memory=8290076 CPUtime=0 cores=1,3,5,7
/proc/11371/task/11379/stat : 11379 (java) S 11368 11371 7968 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 12995114 10943037440 2072519 18446744073709551615 4194304 4196468 140732475312384 140272782095328 140273219139285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11380] ppid=11368 vsize=10686560 memory=8290076 CPUtime=0 cores=1,3,5,7
/proc/11371/task/11380/stat : 11380 (java) S 11368 11371 7968 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 16 0 12995115 10943037440 2072519 18446744073709551615 4194304 4196468 140732475312384 140272781042688 140273219139285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11381] ppid=11368 vsize=10686560 memory=4124 CPUtime=0 cores=1,3,5,7
/proc/11371/task/11381/stat : 11381 (java) S 11368 11371 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 12995117 10943037440 2072519 18446744073709551615 4194304 4196468 140732475312384 140272779991248 140273219147675 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11382] ppid=11368 vsize=10686560 memory=928 CPUtime=0.56 cores=1,3,5,7
/proc/11371/task/11382/stat : 11382 (java) S 11368 11371 7968 0 -1 1077944384 2412 0 0 0 56 0 0 0 20 0 16 0 12995117 10943037440 2072519 18446744073709551615 4194304 4196468 140732475312384 140272778938912 140273219139285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11383] ppid=11368 vsize=10686560 memory=2164 CPUtime=0.6 cores=1,3,5,7
/proc/11371/task/11383/stat : 11383 (java) S 11368 11371 7968 0 -1 1077944384 1876 0 0 0 60 0 0 0 20 0 16 0 12995117 10943037440 2072519 18446744073709551615 4194304 4196468 140732475312384 140272777886080 140273219139285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11384] ppid=11368 vsize=10686560 memory=11300 CPUtime=0.31 cores=1,3,5,7
/proc/11371/task/11384/stat : 11384 (java) S 11368 11371 7968 0 -1 1077944384 2596 0 0 0 31 0 0 0 20 0 16 0 12995117 10943037440 2072519 18446744073709551615 4194304 4196468 140732475312384 140272776829648 140273219139285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11385] ppid=11368 vsize=10686560 memory=2424 CPUtime=0 cores=1,3,5,7
/proc/11371/task/11385/stat : 11385 (java) S 11368 11371 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 12995117 10943037440 2072519 18446744073709551615 4194304 4196468 140732475312384 140272775781472 140273219139285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11386] ppid=11368 vsize=10686560 memory=8290076 CPUtime=0.18 cores=1,3,5,7
/proc/11371/task/11386/stat : 11386 (java) S 11368 11371 7968 0 -1 1077944384 752 0 0 0 10 8 0 0 20 0 16 0 12995123 10943037440 2072519 18446744073709551615 4194304 4196468 140732475312384 140272774727984 140273219140226 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11492] ppid=11368 vsize=10686560 memory=8290076 CPUtime=0 cores=1,3,5,7
/proc/11371/task/11492/stat : 11492 (java) S 11368 11371 7968 0 -1 1077944384 155 0 0 0 0 0 0 0 20 0 16 0 13038810 10943037440 2072519 18446744073709551615 4194304 4196468 140732475312384 140272771575264 140273219139285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
Current children cumulated CPU time: 1950.49 s
Current children cumulated vsize: 10686560 KiB
Current children cumulated memory: 8290076 KiB

[startup+526.226 s]
# the end of solver process 11371 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1952.99 s, system=10.7446 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+524.801 s]
/proc/loadavg: 7.55 7.57 7.39 9/218 11515
/proc/meminfo: memFree=14907632/32770624 swapFree=67108860/67108860
[pid=11371] ppid=11368 vsize=10686560 memory=8290076 CPUtime=1960.17 cores=1,3,5,7
/proc/11371/stat : 11371 (java) S 11368 11371 7968 0 -1 1077944320 4313936 0 0 0 194952 1065 0 0 20 0 16 0 12995103 10943037440 2072519 18446744073709551615 4194304 4196468 140732475312384 140732475294928 140273219129079 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
/proc/11371/statm: 2671640 2072519 3153 1 0 2661055 0
[pid=11371/tid=11373] ppid=11368 vsize=10686560 memory=4124 CPUtime=15.26 cores=1,3,5,7
/proc/11371/task/11373/stat : 11373 (java) S 11368 11371 7968 0 -1 1077944384 21484 0 0 0 1495 31 0 0 20 0 16 0 12995112 10943037440 2072519 18446744073709551615 4194304 4196468 140732475312384 140273223369760 140273219139285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11374] ppid=11368 vsize=10686560 memory=11300 CPUtime=482.19 cores=1,3,5,7
/proc/11371/task/11374/stat : 11374 (java) R 11368 11371 7968 0 -1 4202560 1083738 0 0 0 47965 254 0 0 20 0 16 0 12995113 10943037440 2072519 18446744073709551615 4194304 4196468 140732475312384 140273165478480 140273211757287 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11375] ppid=11368 vsize=10686560 memory=2424 CPUtime=482.15 cores=1,3,5,7
/proc/11371/task/11375/stat : 11375 (java) R 11368 11371 7968 0 -1 4202560 1005552 0 0 0 47964 251 0 0 20 0 16 0 12995113 10943037440 2072519 18446744073709551615 4194304 4196468 140732475312384 140273164426248 140273211757287 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11376] ppid=11368 vsize=10686560 memory=1700 CPUtime=480.45 cores=1,3,5,7
/proc/11371/task/11376/stat : 11376 (java) R 11368 11371 7968 0 -1 4202560 889196 0 0 0 47789 256 0 0 20 0 16 0 12995113 10943037440 2072519 18446744073709551615 4194304 4196468 140732475312384 140273163373392 140273211757287 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11377] ppid=11368 vsize=10686560 memory=1228 CPUtime=480.51 cores=1,3,5,7
/proc/11371/task/11377/stat : 11377 (java) R 11368 11371 7968 0 -1 4202560 1186929 0 0 0 47791 260 0 0 20 0 16 0 12995113 10943037440 2072519 18446744073709551615 4194304 4196468 140732475312384 140272827424088 140273212232716 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11378] ppid=11368 vsize=10686560 memory=1000 CPUtime=17.87 cores=1,3,5,7
/proc/11371/task/11378/stat : 11378 (java) S 11368 11371 7968 0 -1 1077944384 117662 0 0 0 1782 5 0 0 20 0 16 0 12995114 10943037440 2072519 18446744073709551615 4194304 4196468 140732475312384 140272783147584 140273219139285 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11379] ppid=11368 vsize=10686560 memory=8290076 CPUtime=0 cores=1,3,5,7
/proc/11371/task/11379/stat : 11379 (java) S 11368 11371 7968 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 12995114 10943037440 2072519 18446744073709551615 4194304 4196468 140732475312384 140272782095328 140273219139285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11380] ppid=11368 vsize=10686560 memory=8290076 CPUtime=0 cores=1,3,5,7
/proc/11371/task/11380/stat : 11380 (java) S 11368 11371 7968 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 16 0 12995115 10943037440 2072519 18446744073709551615 4194304 4196468 140732475312384 140272781042688 140273219139285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11381] ppid=11368 vsize=10686560 memory=8290076 CPUtime=0 cores=1,3,5,7
/proc/11371/task/11381/stat : 11381 (java) S 11368 11371 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 12995117 10943037440 2072519 18446744073709551615 4194304 4196468 140732475312384 140272779991248 140273219147675 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11382] ppid=11368 vsize=10686560 memory=8290076 CPUtime=0.56 cores=1,3,5,7
/proc/11371/task/11382/stat : 11382 (java) S 11368 11371 7968 0 -1 1077944384 2412 0 0 0 56 0 0 0 20 0 16 0 12995117 10943037440 2072519 18446744073709551615 4194304 4196468 140732475312384 140272778938912 140273219139285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11383] ppid=11368 vsize=10686560 memory=0 CPUtime=0.6 cores=1,3,5,7
/proc/11371/task/11383/stat : 11383 (java) S 11368 11371 7968 0 -1 1077944384 1876 0 0 0 60 0 0 0 20 0 16 0 12995117 10943037440 2072519 18446744073709551615 4194304 4196468 140732475312384 140272777886080 140273219139285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11384] ppid=11368 vsize=10686560 memory=0 CPUtime=0.31 cores=1,3,5,7
/proc/11371/task/11384/stat : 11384 (java) S 11368 11371 7968 0 -1 1077944384 2596 0 0 0 31 0 0 0 20 0 16 0 12995117 10943037440 2072519 18446744073709551615 4194304 4196468 140732475312384 140272776829648 140273219139285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11385] ppid=11368 vsize=10686560 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11371/task/11385/stat : 11385 (java) S 11368 11371 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 12995117 10943037440 2072519 18446744073709551615 4194304 4196468 140732475312384 140272775781472 140273219139285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11386] ppid=11368 vsize=10686560 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/11371/task/11386/stat : 11386 (java) S 11368 11371 7968 0 -1 1077944384 752 0 0 0 10 8 0 0 20 0 16 0 12995123 10943037440 2072519 18446744073709551615 4194304 4196468 140732475312384 140272774727984 140273219140226 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11492] ppid=11368 vsize=10686560 memory=48187 CPUtime=0 cores=1,3,5,7
/proc/11371/task/11492/stat : 11492 (java) S 11368 11371 7968 0 -1 1077944384 155 0 0 0 0 0 0 0 20 0 16 0 13038810 10943037440 2072519 18446744073709551615 4194304 4196468 140732475312384 140272771575264 140273219139285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
Current children cumulated CPU time: 1960.17 s
Current children cumulated vsize: 10686560 KiB
Current children cumulated memory: 8290076 KiB

[startup+525.601 s]
/proc/loadavg: 7.55 7.57 7.39 9/218 11515
/proc/meminfo: memFree=14907632/32770624 swapFree=67108860/67108860
[pid=11371] ppid=11368 vsize=10686560 memory=8290092 CPUtime=1963.1 cores=1,3,5,7
/proc/11371/stat : 11371 (java) S 11368 11371 7968 0 -1 1077944320 4314127 0 0 0 195244 1066 0 0 20 0 16 0 12995103 10943037440 2072523 18446744073709551615 4194304 4196468 140732475312384 140732475294928 140273219129079 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
/proc/11371/statm: 2671640 2072523 3153 1 0 2661055 0
[pid=11371/tid=11373] ppid=11368 vsize=10686560 memory=2012 CPUtime=15.26 cores=1,3,5,7
/proc/11371/task/11373/stat : 11373 (java) S 11368 11371 7968 0 -1 1077944384 21484 0 0 0 1495 31 0 0 20 0 16 0 12995112 10943037440 2072523 18446744073709551615 4194304 4196468 140732475312384 140273223369760 140273219139285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11374] ppid=11368 vsize=10686560 memory=5520 CPUtime=482.9 cores=1,3,5,7
/proc/11371/task/11374/stat : 11374 (java) S 11368 11371 7968 0 -1 1077944384 1083738 0 0 0 48036 254 0 0 20 0 16 0 12995113 10943037440 2072523 18446744073709551615 4194304 4196468 140732475312384 140273165478672 140273219139285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11375] ppid=11368 vsize=10686560 memory=4612 CPUtime=482.85 cores=1,3,5,7
/proc/11371/task/11375/stat : 11375 (java) S 11368 11371 7968 0 -1 1077944384 1005552 0 0 0 48034 251 0 0 20 0 16 0 12995113 10943037440 2072523 18446744073709551615 4194304 4196468 140732475312384 140273164426128 140273219139285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11376] ppid=11368 vsize=10686560 memory=792 CPUtime=481.16 cores=1,3,5,7
/proc/11371/task/11376/stat : 11376 (java) S 11368 11371 7968 0 -1 1077944384 889196 0 0 0 47860 256 0 0 20 0 16 0 12995113 10943037440 2072523 18446744073709551615 4194304 4196468 140732475312384 140273163373584 140273219139285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11377] ppid=11368 vsize=10686560 memory=8676 CPUtime=481.25 cores=1,3,5,7
/proc/11371/task/11377/stat : 11377 (java) S 11368 11371 7968 0 -1 1077944384 1186929 0 0 0 47865 260 0 0 20 0 16 0 12995113 10943037440 2072523 18446744073709551615 4194304 4196468 140732475312384 140272827423888 140273219139285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11378] ppid=11368 vsize=10686560 memory=1440 CPUtime=17.92 cores=1,3,5,7
/proc/11371/task/11378/stat : 11378 (java) R 11368 11371 7968 0 -1 4202560 117853 0 0 0 1787 5 0 0 20 0 16 0 12995114 10943037440 2072523 18446744073709551615 4194304 4196468 140732475312384 140272783147584 140273204125483 0 0 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11379] ppid=11368 vsize=10686560 memory=9916 CPUtime=0 cores=1,3,5,7
/proc/11371/task/11379/stat : 11379 (java) S 11368 11371 7968 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 12995114 10943037440 2072523 18446744073709551615 4194304 4196468 140732475312384 140272782095328 140273219139285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11380] ppid=11368 vsize=10686560 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/11371/task/11380/stat : 11380 (java) S 11368 11371 7968 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 16 0 12995115 10943037440 2072523 18446744073709551615 4194304 4196468 140732475312384 140272781042688 140273219139285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11381] ppid=11368 vsize=10686560 memory=15872 CPUtime=0 cores=1,3,5,7
/proc/11371/task/11381/stat : 11381 (java) S 11368 11371 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 12995117 10943037440 2072523 18446744073709551615 4194304 4196468 140732475312384 140272779991248 140273219147675 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11382] ppid=11368 vsize=10686560 memory=4040 CPUtime=0.56 cores=1,3,5,7
/proc/11371/task/11382/stat : 11382 (java) S 11368 11371 7968 0 -1 1077944384 2412 0 0 0 56 0 0 0 20 0 16 0 12995117 10943037440 2072523 18446744073709551615 4194304 4196468 140732475312384 140272778938912 140273219139285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11383] ppid=11368 vsize=10686560 memory=16444 CPUtime=0.6 cores=1,3,5,7
/proc/11371/task/11383/stat : 11383 (java) S 11368 11371 7968 0 -1 1077944384 1876 0 0 0 60 0 0 0 20 0 16 0 12995117 10943037440 2072523 18446744073709551615 4194304 4196468 140732475312384 140272777886080 140273219139285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11384] ppid=11368 vsize=10686560 memory=7672 CPUtime=0.31 cores=1,3,5,7
/proc/11371/task/11384/stat : 11384 (java) S 11368 11371 7968 0 -1 1077944384 2596 0 0 0 31 0 0 0 20 0 16 0 12995117 10943037440 2072523 18446744073709551615 4194304 4196468 140732475312384 140272776829648 140273219139285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11385] ppid=11368 vsize=10686560 memory=1236 CPUtime=0 cores=1,3,5,7
/proc/11371/task/11385/stat : 11385 (java) S 11368 11371 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 12995117 10943037440 2072523 18446744073709551615 4194304 4196468 140732475312384 140272775781472 140273219139285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11386] ppid=11368 vsize=10686560 memory=640 CPUtime=0.18 cores=1,3,5,7
/proc/11371/task/11386/stat : 11386 (java) S 11368 11371 7968 0 -1 1077944384 752 0 0 0 10 8 0 0 20 0 16 0 12995123 10943037440 2072523 18446744073709551615 4194304 4196468 140732475312384 140272774727984 140273219140226 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11492] ppid=11368 vsize=10686560 memory=1792 CPUtime=0 cores=1,3,5,7
/proc/11371/task/11492/stat : 11492 (java) S 11368 11371 7968 0 -1 1077944384 155 0 0 0 0 0 0 0 20 0 16 0 13038810 10943037440 2072523 18446744073709551615 4194304 4196468 140732475312384 140272771575264 140273219139285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
Current children cumulated CPU time: 1963.1 s
Current children cumulated vsize: 10686560 KiB
Current children cumulated memory: 8290092 KiB

[startup+526.001 s]*
/proc/loadavg: 7.51 7.56 7.39 6/218 11515
/proc/meminfo: memFree=14907624/32770624 swapFree=67108860/67108860
[pid=11371] ppid=11368 vsize=10686560 memory=8290092 CPUtime=1963.51 cores=1,3,5,7
/proc/11371/stat : 11371 (java) S 11368 11371 7968 0 -1 1077944320 4314127 0 0 0 195285 1066 0 0 20 0 16 0 12995103 10943037440 2072523 18446744073709551615 4194304 4196468 140732475312384 140732475294928 140273219129079 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
/proc/11371/statm: 2671640 2072523 3153 1 0 2661055 0
[pid=11371/tid=11373] ppid=11368 vsize=10686560 memory=-8195925453750481479 CPUtime=15.26 cores=1,3,5,7
/proc/11371/task/11373/stat : 11373 (java) S 11368 11371 7968 0 -1 1077944384 21484 0 0 0 1495 31 0 0 20 0 16 0 12995112 10943037440 2072523 18446744073709551615 4194304 4196468 140732475312384 140273223369760 140273219139285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11374] ppid=11368 vsize=10686560 memory=8290076 CPUtime=482.9 cores=1,3,5,7
/proc/11371/task/11374/stat : 11374 (java) S 11368 11371 7968 0 -1 1077944384 1083738 0 0 0 48036 254 0 0 20 0 16 0 12995113 10943037440 2072523 18446744073709551615 4194304 4196468 140732475312384 140273165478672 140273219139285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11375] ppid=11368 vsize=10686560 memory=1156 CPUtime=482.85 cores=1,3,5,7
/proc/11371/task/11375/stat : 11375 (java) S 11368 11371 7968 0 -1 1077944384 1005552 0 0 0 48034 251 0 0 20 0 16 0 12995113 10943037440 2072523 18446744073709551615 4194304 4196468 140732475312384 140273164426128 140273219139285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11376] ppid=11368 vsize=10686560 memory=3112 CPUtime=481.16 cores=1,3,5,7
/proc/11371/task/11376/stat : 11376 (java) S 11368 11371 7968 0 -1 1077944384 889196 0 0 0 47860 256 0 0 20 0 16 0 12995113 10943037440 2072523 18446744073709551615 4194304 4196468 140732475312384 140273163373584 140273219139285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11377] ppid=11368 vsize=10686560 memory=8305308 CPUtime=481.25 cores=1,3,5,7
/proc/11371/task/11377/stat : 11377 (java) S 11368 11371 7968 0 -1 1077944384 1186929 0 0 0 47865 260 0 0 20 0 16 0 12995113 10943037440 2072523 18446744073709551615 4194304 4196468 140732475312384 140272827423888 140273219139285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11378] ppid=11368 vsize=10686560 memory=4120 CPUtime=18.33 cores=1,3,5,7
/proc/11371/task/11378/stat : 11378 (java) R 11368 11371 7968 0 -1 4202560 117853 0 0 0 1828 5 0 0 20 0 16 0 12995114 10943037440 2072523 18446744073709551615 4194304 4196468 140732475312384 140272783147584 140273204125572 0 0 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11379] ppid=11368 vsize=10686560 memory=4076 CPUtime=0 cores=1,3,5,7
/proc/11371/task/11379/stat : 11379 (java) S 11368 11371 7968 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 12995114 10943037440 2072523 18446744073709551615 4194304 4196468 140732475312384 140272782095328 140273219139285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11380] ppid=11368 vsize=10686560 memory=4580 CPUtime=0 cores=1,3,5,7
/proc/11371/task/11380/stat : 11380 (java) S 11368 11371 7968 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 16 0 12995115 10943037440 2072523 18446744073709551615 4194304 4196468 140732475312384 140272781042688 140273219139285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11381] ppid=11368 vsize=10686560 memory=-8195925453750481479 CPUtime=0 cores=1,3,5,7
/proc/11371/task/11381/stat : 11381 (java) S 11368 11371 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 12995117 10943037440 2072523 18446744073709551615 4194304 4196468 140732475312384 140272779991248 140273219147675 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11382] ppid=11368 vsize=10686560 memory=8290076 CPUtime=0.56 cores=1,3,5,7
/proc/11371/task/11382/stat : 11382 (java) S 11368 11371 7968 0 -1 1077944384 2412 0 0 0 56 0 0 0 20 0 16 0 12995117 10943037440 2072523 18446744073709551615 4194304 4196468 140732475312384 140272778938912 140273219139285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11383] ppid=11368 vsize=10686560 memory=3868 CPUtime=0.6 cores=1,3,5,7
/proc/11371/task/11383/stat : 11383 (java) S 11368 11371 7968 0 -1 1077944384 1876 0 0 0 60 0 0 0 20 0 16 0 12995117 10943037440 2072523 18446744073709551615 4194304 4196468 140732475312384 140272777886080 140273219139285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11384] ppid=11368 vsize=10686560 memory=2248 CPUtime=0.31 cores=1,3,5,7
/proc/11371/task/11384/stat : 11384 (java) S 11368 11371 7968 0 -1 1077944384 2596 0 0 0 31 0 0 0 20 0 16 0 12995117 10943037440 2072523 18446744073709551615 4194304 4196468 140732475312384 140272776829648 140273219139285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11385] ppid=11368 vsize=10686560 memory=4304 CPUtime=0 cores=1,3,5,7
/proc/11371/task/11385/stat : 11385 (java) S 11368 11371 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 12995117 10943037440 2072523 18446744073709551615 4194304 4196468 140732475312384 140272775781472 140273219139285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11386] ppid=11368 vsize=10686560 memory=1588 CPUtime=0.18 cores=1,3,5,7
/proc/11371/task/11386/stat : 11386 (java) S 11368 11371 7968 0 -1 1077944384 752 0 0 0 10 8 0 0 20 0 16 0 12995123 10943037440 2072523 18446744073709551615 4194304 4196468 140732475312384 140272774727984 140273219140226 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
[pid=11371/tid=11492] ppid=11368 vsize=10686560 memory=928 CPUtime=0 cores=1,3,5,7
/proc/11371/task/11492/stat : 11492 (java) S 11368 11371 7968 0 -1 1077944384 155 0 0 0 0 0 0 0 20 0 16 0 13038810 10943037440 2072523 18446744073709551615 4194304 4196468 140732475312384 140272771575264 140273219139285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14442496 140732475314577 140732475314730 140732475314730 140732475318223 0
Current children cumulated CPU time: 1963.51 s
Current children cumulated vsize: 10686560 KiB
Current children cumulated memory: 8290092 KiB

[startup+526.201 s]*
/proc/loadavg: 7.51 7.56 7.39 4/189 11515
/proc/meminfo: memFree=23739192/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: 0
Real time (s): 526.226
CPU time (s): 1963.74
CPU user time (s): 1952.99
CPU system time (s): 10.7446
CPU usage (%): 373.174
Max. virtual memory (cumulated for all children) (KiB): 10686560
Max. memory (cumulated for all children) (KiB): 8290108

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1952.99
system time used= 10.7446
maximum resident set size= 8290240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4314252
page faults= 0
swaps= 0
block input operations= 0
block output operations= 712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 47944
involuntary context switches= 63790


# summary of solver processes directly reported to runsolver:
#   pid: 11371
#   total CPU time (s): 1963.74
#   total CPU user time (s): 1952.99
#   total CPU system time (s): 10.7446

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.50708 second user time and 5.05747 second system time

The end
Name	Scheduling/Scheduling-js-taillard/ Taillard-js-030-20-6.xml
MD5SUM	38bce9c8c5d0642f93f0794d9598dc6e
Bench Category	COP (optimization problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables	630
Number of constraints	650
Number of domains	1
Minimum domain size	2047
Maximum domain size	2047
Distribution of domain sizes	[{"size":2047,"count":630}]
Minimum variable degree	2
Maximum variable degree	3
Distribution of variable degrees	[{"degree":2,"count":30},{"degree":3,"count":600}]
Minimum constraint arity	1
Maximum constraint arity	30
Distribution of constraint arities	[{"arity":1,"count":30},{"arity":2,"count":600},{"arity":30,"count":20}]
Number of extensional constraints	0
Number of intensional constraints	630
Distribution of constraint types	[{"type":"intension","count":630},{"type":"noOverlap","count":20}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4263124

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
