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 (11720 MiB free)
memory of node 1: 16384 MiB (15609 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4257918-1502650087/watcher-4257918-1502650087 -o /tmp/evaluation-result-4257918-1502650087/solver-4257918-1502650087 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502642200-6041 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4257918-1502650087.xml
running on 4 cores: 1,3,5,7
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=15383, runsolver pid=15380
[startup+0.100176 s]*
/proc/loadavg: 2.87 3.24 3.37 3/201 15389
/proc/meminfo: memFree=27978700/32770624 swapFree=67108860/67108860
[pid=15383] ppid=15380 vsize=10019572 memory=18212 CPUtime=0.01 cores=1,3,5,7
/proc/15383/stat : 15383 (java) S 15380 15383 17093 0 -1 1077944320 3894 0 0 0 1 0 0 0 20 0 8 0 67201986 10260041728 4553 18446744073709551615 4194304 4196468 140730244534048 140730244516592 140292456255223 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
/proc/15383/statm: 2504893 4553 2042 1 0 2494390 0
[pid=15383/tid=15385] ppid=15380 vsize=10085108 memory=4206751525541407381 CPUtime=0.01 cores=1,3,5,7
/proc/15383/task/15385/stat : 15385 (java) R 15380 15383 17093 0 -1 4202560 2616 0 0 0 1 0 0 0 20 0 8 0 67201995 10327150592 4621 18446744073709551615 4194304 4196468 140730244534048 140292460488360 140292440335710 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15386] ppid=15380 vsize=10085108 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/15383/task/15386/stat : 15386 (java) S 15380 15383 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 8 0 67201995 10327150592 4621 18446744073709551615 4194304 4196468 140730244534048 140292423813392 140292456265429 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15387] ppid=15380 vsize=10085108 memory=140529609176704 CPUtime=0 cores=1,3,5,7
/proc/15383/task/15387/stat : 15387 (java) S 15380 15383 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 8 0 67201995 10327150592 4621 18446744073709551615 4194304 4196468 140730244534048 140292066458000 140292456265429 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15388] ppid=15380 vsize=10085108 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15383/task/15388/stat : 15388 (java) S 15380 15383 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 8 0 67201995 10327150592 4621 18446744073709551615 4194304 4196468 140730244534048 140292065405456 140292456265429 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15389] ppid=15380 vsize=10085108 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15383/task/15389/stat : 15389 (java) S 15380 15383 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 8 0 67201995 10327150592 4621 18446744073709551615 4194304 4196468 140730244534048 140292064352912 140292456265429 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15390] ppid=15380 vsize=10085108 memory=140529609176704 CPUtime=0 cores=1,3,5,7
/proc/15383/task/15390/stat : 15390 (java) S 15380 15383 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 8 0 67201997 10327150592 4621 18446744073709551615 4194304 4196468 140730244534048 140291952601584 140292456266370 0 0 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15391] ppid=15380 vsize=10085108 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15383/task/15391/stat : 15391 (java) S 15380 15383 17093 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 8 0 67201997 10327150592 4621 18446744073709551615 4194304 4196468 140730244534048 140291951546704 140292456265429 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 10019572 KiB
Current children cumulated memory: 18212 KiB
[startup+0.209758 s]*
/proc/loadavg: 2.87 3.24 3.37 3/210 15398
/proc/meminfo: memFree=27970180/32770624 swapFree=67108860/67108860
[pid=15383] ppid=15380 vsize=10551156 memory=27604 CPUtime=0.1 cores=1,3,5,7
/proc/15383/stat : 15383 (java) S 15380 15383 17093 0 -1 1077944320 5362 0 0 0 9 1 0 0 20 0 15 0 67201986 10804383744 6901 18446744073709551615 4194304 4196468 140730244534048 140730244516592 140292456255223 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
/proc/15383/statm: 2637789 6901 2769 1 0 2627261 0
[pid=15383/tid=15385] ppid=15380 vsize=10551156 memory=8318255677412212789 CPUtime=0.07 cores=1,3,5,7
/proc/15383/task/15385/stat : 15385 (java) R 15380 15383 17093 0 -1 4202560 3321 0 0 0 7 0 0 0 20 0 15 0 67201995 10804383744 6966 18446744073709551615 4194304 4196468 140730244534048 140292460490192 140292456277149 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15386] ppid=15380 vsize=10551156 memory=330 CPUtime=0 cores=1,3,5,7
/proc/15383/task/15386/stat : 15386 (java) S 15380 15383 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67201995 10804383744 6966 18446744073709551615 4194304 4196468 140730244534048 140292423813392 140292456265429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15387] ppid=15380 vsize=10551156 memory=4122960817038784160 CPUtime=0 cores=1,3,5,7
/proc/15383/task/15387/stat : 15387 (java) S 15380 15383 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67201995 10804383744 6966 18446744073709551615 4194304 4196468 140730244534048 140292066458000 140292456265429 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15388] ppid=15380 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15383/task/15388/stat : 15388 (java) S 15380 15383 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67201995 10804383744 6966 18446744073709551615 4194304 4196468 140730244534048 140292065405456 140292456265429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15389] ppid=15380 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15383/task/15389/stat : 15389 (java) S 15380 15383 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67201995 10804383744 6966 18446744073709551615 4194304 4196468 140730244534048 140292064352912 140292456265429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15390] ppid=15380 vsize=10551156 memory=140529609176704 CPUtime=0 cores=1,3,5,7
/proc/15383/task/15390/stat : 15390 (java) S 15380 15383 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67201997 10804383744 6966 18446744073709551615 4194304 4196468 140730244534048 140291952601584 140292456266370 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15391] ppid=15380 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15383/task/15391/stat : 15391 (java) S 15380 15383 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67201997 10804383744 6966 18446744073709551615 4194304 4196468 140730244534048 140291951547808 140292456265429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15392] ppid=15380 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15383/task/15392/stat : 15392 (java) S 15380 15383 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67201997 10804383744 6966 18446744073709551615 4194304 4196468 140730244534048 140291950495216 140292456265429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15393] ppid=15380 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15383/task/15393/stat : 15393 (java) S 15380 15383 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67202000 10804383744 6966 18446744073709551615 4194304 4196468 140730244534048 140291949443792 140292456273819 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15394] ppid=15380 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15383/task/15394/stat : 15394 (java) S 15380 15383 17093 0 -1 1077944384 422 0 0 0 0 0 0 0 20 0 15 0 67202000 10804383744 6966 18446744073709551615 4194304 4196468 140730244534048 140291948390384 140292456266370 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15395] ppid=15380 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15383/task/15395/stat : 15395 (java) S 15380 15383 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67202000 10804383744 6966 18446744073709551615 4194304 4196468 140730244534048 140291947337840 140292456266370 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15396] ppid=15380 vsize=10551156 memory=140529609176704 CPUtime=0.01 cores=1,3,5,7
/proc/15383/task/15396/stat : 15396 (java) R 15380 15383 17093 0 -1 4202560 282 0 0 0 1 0 0 0 20 0 15 0 67202000 10804383744 6966 18446744073709551615 4194304 4196468 140730244534048 140291946285296 140292448492350 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15397] ppid=15380 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15383/task/15397/stat : 15397 (java) S 15380 15383 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67202000 10804383744 6966 18446744073709551615 4194304 4196468 140730244534048 140291945232992 140292456265429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15398] ppid=15380 vsize=10551156 memory=140529609176704 CPUtime=0 cores=1,3,5,7
/proc/15383/task/15398/stat : 15398 (java) S 15380 15383 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67202005 10804383744 6966 18446744073709551615 4194304 4196468 140730244534048 140291944180528 140292456266370 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 27604 KiB
[startup+0.310174 s]*
/proc/loadavg: 2.87 3.24 3.37 4/210 15398
/proc/meminfo: memFree=27960228/32770624 swapFree=67108860/67108860
[pid=15383] ppid=15380 vsize=10551156 memory=36672 CPUtime=0.24 cores=1,3,5,7
/proc/15383/stat : 15383 (java) S 15380 15383 17093 0 -1 1077944320 8458 0 0 0 22 2 0 0 20 0 15 0 67201986 10804383744 9168 18446744073709551615 4194304 4196468 140730244534048 140730244516592 140292456255223 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
/proc/15383/statm: 2637789 9168 2879 1 0 2627261 0
[pid=15383/tid=15385] ppid=15380 vsize=10551156 memory=-7677926825137650786 CPUtime=0.17 cores=1,3,5,7
/proc/15383/task/15385/stat : 15385 (java) R 15380 15383 17093 0 -1 4202560 6138 0 0 0 16 1 0 0 20 0 15 0 67201995 10804383744 9168 18446744073709551615 4194304 4196468 140730244534048 140292460492096 140292440335710 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15386] ppid=15380 vsize=10551156 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/15383/task/15386/stat : 15386 (java) S 15380 15383 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67201995 10804383744 9168 18446744073709551615 4194304 4196468 140730244534048 140292423813392 140292456265429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15387] ppid=15380 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15383/task/15387/stat : 15387 (java) S 15380 15383 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67201995 10804383744 9168 18446744073709551615 4194304 4196468 140730244534048 140292066458000 140292456265429 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15388] ppid=15380 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15383/task/15388/stat : 15388 (java) S 15380 15383 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67201995 10804383744 9168 18446744073709551615 4194304 4196468 140730244534048 140292065405456 140292456265429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15389] ppid=15380 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15383/task/15389/stat : 15389 (java) S 15380 15383 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67201995 10804383744 9168 18446744073709551615 4194304 4196468 140730244534048 140292064352912 140292456265429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15390] ppid=15380 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15383/task/15390/stat : 15390 (java) S 15380 15383 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67201997 10804383744 9168 18446744073709551615 4194304 4196468 140730244534048 140291952601584 140292456266370 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15391] ppid=15380 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15383/task/15391/stat : 15391 (java) S 15380 15383 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67201997 10804383744 9168 18446744073709551615 4194304 4196468 140730244534048 140291951547808 140292456265429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15392] ppid=15380 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15383/task/15392/stat : 15392 (java) S 15380 15383 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67201997 10804383744 9168 18446744073709551615 4194304 4196468 140730244534048 140291950495216 140292456265429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15393] ppid=15380 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15383/task/15393/stat : 15393 (java) S 15380 15383 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67202000 10804383744 9168 18446744073709551615 4194304 4196468 140730244534048 140291949443792 140292456273819 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15394] ppid=15380 vsize=10551156 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/15383/task/15394/stat : 15394 (java) S 15380 15383 17093 0 -1 1077944384 495 0 0 0 1 0 0 0 20 0 15 0 67202000 10804383744 9168 18446744073709551615 4194304 4196468 140730244534048 140291948390384 140292456266370 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15395] ppid=15380 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15383/task/15395/stat : 15395 (java) S 15380 15383 17093 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 67202000 10804383744 9168 18446744073709551615 4194304 4196468 140730244534048 140291947337840 140292456266370 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15396] ppid=15380 vsize=10551156 memory=140529609176704 CPUtime=0.04 cores=1,3,5,7
/proc/15383/task/15396/stat : 15396 (java) S 15380 15383 17093 0 -1 1077944384 387 0 0 0 4 0 0 0 20 0 15 0 67202000 10804383744 9168 18446744073709551615 4194304 4196468 140730244534048 140291946285296 140292456266370 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15397] ppid=15380 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15383/task/15397/stat : 15397 (java) S 15380 15383 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67202000 10804383744 9168 18446744073709551615 4194304 4196468 140730244534048 140291945232992 140292456265429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15398] ppid=15380 vsize=10551156 memory=140529609176704 CPUtime=0 cores=1,3,5,7
/proc/15383/task/15398/stat : 15398 (java) S 15380 15383 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67202005 10804383744 9168 18446744073709551615 4194304 4196468 140730244534048 140291944180528 140292456266370 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 36672 KiB
[startup+0.701069 s]
/proc/loadavg: 2.87 3.24 3.37 5/210 15398
/proc/meminfo: memFree=27945228/32770624 swapFree=67108860/67108860
[pid=15383] ppid=15380 vsize=10551232 memory=143788 CPUtime=1.21 cores=1,3,5,7
/proc/15383/stat : 15383 (java) S 15380 15383 17093 0 -1 1077944320 12762 0 0 0 116 5 0 0 20 0 15 0 67201986 10804461568 35947 18446744073709551615 4194304 4196468 140730244534048 140730244516592 140292456255223 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
/proc/15383/statm: 2637808 35947 3052 1 0 2627261 0
[pid=15383/tid=15385] ppid=15380 vsize=10551232 memory=0 CPUtime=0.54 cores=1,3,5,7
/proc/15383/task/15385/stat : 15385 (java) R 15380 15383 17093 0 -1 4202560 7427 0 0 0 51 3 0 0 20 0 15 0 67201995 10804461568 35947 18446744073709551615 4194304 4196468 140730244534048 140292460488912 140292099831497 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15386] ppid=15380 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15383/task/15386/stat : 15386 (java) S 15380 15383 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67201995 10804461568 35947 18446744073709551615 4194304 4196468 140730244534048 140292423813392 140292456265429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15387] ppid=15380 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15383/task/15387/stat : 15387 (java) S 15380 15383 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67201995 10804461568 35947 18446744073709551615 4194304 4196468 140730244534048 140292066458000 140292456265429 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15388] ppid=15380 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15383/task/15388/stat : 15388 (java) S 15380 15383 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67201995 10804461568 35947 18446744073709551615 4194304 4196468 140730244534048 140292065405456 140292456265429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15389] ppid=15380 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15383/task/15389/stat : 15389 (java) S 15380 15383 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67201995 10804461568 35947 18446744073709551615 4194304 4196468 140730244534048 140292064352912 140292456265429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15390] ppid=15380 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15383/task/15390/stat : 15390 (java) S 15380 15383 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67201997 10804461568 35947 18446744073709551615 4194304 4196468 140730244534048 140291952601584 140292456266370 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15391] ppid=15380 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15383/task/15391/stat : 15391 (java) S 15380 15383 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67201997 10804461568 35947 18446744073709551615 4194304 4196468 140730244534048 140291951547808 140292456265429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15392] ppid=15380 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15383/task/15392/stat : 15392 (java) S 15380 15383 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67201997 10804461568 35947 18446744073709551615 4194304 4196468 140730244534048 140291950495216 140292456265429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15393] ppid=15380 vsize=10551232 memory=3904 CPUtime=0 cores=1,3,5,7
/proc/15383/task/15393/stat : 15393 (java) S 15380 15383 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67202000 10804461568 35947 18446744073709551615 4194304 4196468 140730244534048 140291949443792 140292456273819 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15394] ppid=15380 vsize=10551232 memory=-7677926825137650786 CPUtime=0.22 cores=1,3,5,7
/proc/15383/task/15394/stat : 15394 (java) R 15380 15383 17093 0 -1 4202560 1839 0 0 0 22 0 0 0 20 0 15 0 67202000 10804461568 35947 18446744073709551615 4194304 4196468 140730244534048 140291948375848 140292435507504 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15395] ppid=15380 vsize=10551232 memory=4872558044660077418 CPUtime=0.22 cores=1,3,5,7
/proc/15383/task/15395/stat : 15395 (java) R 15380 15383 17093 0 -1 4202560 1193 0 0 0 22 0 0 0 20 0 15 0 67202000 10804461568 35947 18446744073709551615 4194304 4196468 140730244534048 140291947323720 140292437799712 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15396] ppid=15380 vsize=10551232 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/15383/task/15396/stat : 15396 (java) S 15380 15383 17093 0 -1 1077944384 935 0 0 0 20 0 0 0 20 0 15 0 67202000 10804461568 35947 18446744073709551615 4194304 4196468 140730244534048 140291946285296 140292456266370 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15397] ppid=15380 vsize=10551232 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/15383/task/15397/stat : 15397 (java) S 15380 15383 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67202000 10804461568 35947 18446744073709551615 4194304 4196468 140730244534048 140291945232992 140292456265429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15398] ppid=15380 vsize=10551232 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/15383/task/15398/stat : 15398 (java) S 15380 15383 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67202005 10804461568 35947 18446744073709551615 4194304 4196468 140730244534048 140291944180528 140292456266370 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
Current children cumulated CPU time: 1.21 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 143788 KiB
[startup+1.50074 s]
/proc/loadavg: 2.87 3.24 3.37 3/210 15398
/proc/meminfo: memFree=27794484/32770624 swapFree=67108860/67108860
[pid=15383] ppid=15380 vsize=10551232 memory=203932 CPUtime=2.31 cores=1,3,5,7
/proc/15383/stat : 15383 (java) S 15380 15383 17093 0 -1 1077944320 13151 0 0 0 224 7 0 0 20 0 15 0 67201986 10804461568 50983 18446744073709551615 4194304 4196468 140730244534048 140730244516592 140292456255223 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
/proc/15383/statm: 2637808 50983 3079 1 0 2627261 0
[pid=15383/tid=15385] ppid=15380 vsize=10551232 memory=281058902029904 CPUtime=1.33 cores=1,3,5,7
/proc/15383/task/15385/stat : 15385 (java) R 15380 15383 17093 0 -1 4202560 7517 0 0 0 129 4 0 0 20 0 15 0 67201995 10804461568 50983 18446744073709551615 4194304 4196468 140730244534048 140292460493352 140292100325083 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15386] ppid=15380 vsize=10551232 memory=13966 CPUtime=0 cores=1,3,5,7
/proc/15383/task/15386/stat : 15386 (java) S 15380 15383 17093 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 67201995 10804461568 50983 18446744073709551615 4194304 4196468 140730244534048 140292423813392 140292456265429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15387] ppid=15380 vsize=10551232 memory=25918 CPUtime=0 cores=1,3,5,7
/proc/15383/task/15387/stat : 15387 (java) S 15380 15383 17093 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 67201995 10804461568 50983 18446744073709551615 4194304 4196468 140730244534048 140292066458000 140292456265429 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15388] ppid=15380 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15383/task/15388/stat : 15388 (java) S 15380 15383 17093 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 67201995 10804461568 50983 18446744073709551615 4194304 4196468 140730244534048 140292065405456 140292456265429 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15389] ppid=15380 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15383/task/15389/stat : 15389 (java) S 15380 15383 17093 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 67201995 10804461568 50983 18446744073709551615 4194304 4196468 140730244534048 140292064352912 140292456265429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15390] ppid=15380 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15383/task/15390/stat : 15390 (java) S 15380 15383 17093 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 67201997 10804461568 50983 18446744073709551615 4194304 4196468 140730244534048 140291952601584 140292456266370 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15391] ppid=15380 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15383/task/15391/stat : 15391 (java) S 15380 15383 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67201997 10804461568 50983 18446744073709551615 4194304 4196468 140730244534048 140291951547808 140292456265429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15392] ppid=15380 vsize=10551232 memory=-7521736447810188379 CPUtime=0 cores=1,3,5,7
/proc/15383/task/15392/stat : 15392 (java) S 15380 15383 17093 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 67201997 10804461568 50983 18446744073709551615 4194304 4196468 140730244534048 140291950495216 140292456265429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15393] ppid=15380 vsize=10551232 memory=8328453600958622283 CPUtime=0 cores=1,3,5,7
/proc/15383/task/15393/stat : 15393 (java) S 15380 15383 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67202000 10804461568 50983 18446744073709551615 4194304 4196468 140730244534048 140291949443792 140292456273819 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15394] ppid=15380 vsize=10551232 memory=7897517683652307531 CPUtime=0.32 cores=1,3,5,7
/proc/15383/task/15394/stat : 15394 (java) S 15380 15383 17093 0 -1 1077944384 1880 0 0 0 32 0 0 0 20 0 15 0 67202000 10804461568 50983 18446744073709551615 4194304 4196468 140730244534048 140291948390384 140292456266370 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15395] ppid=15380 vsize=10551232 memory=8514726395715349656 CPUtime=0.33 cores=1,3,5,7
/proc/15383/task/15395/stat : 15395 (java) S 15380 15383 17093 0 -1 1077944384 1245 0 0 0 33 0 0 0 20 0 15 0 67202000 10804461568 50983 18446744073709551615 4194304 4196468 140730244534048 140291947337840 140292456266370 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15396] ppid=15380 vsize=10551232 memory=-8634980985311628903 CPUtime=0.25 cores=1,3,5,7
/proc/15383/task/15396/stat : 15396 (java) S 15380 15383 17093 0 -1 1077944384 1009 0 0 0 25 0 0 0 20 0 15 0 67202000 10804461568 50983 18446744073709551615 4194304 4196468 140730244534048 140291946285296 140292456266370 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15397] ppid=15380 vsize=10551232 memory=7100839878645619564 CPUtime=0 cores=1,3,5,7
/proc/15383/task/15397/stat : 15397 (java) S 15380 15383 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67202000 10804461568 50983 18446744073709551615 4194304 4196468 140730244534048 140291945232992 140292456265429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
################
# More data... #
################
[startup+101.769 s]
# the end of solver process 15383 was just reported to runsolver
# cumulated CPU time of all completed processes: user=255.188 s, system=4.90609 s
Solver just ended.
Dumping a history of the last processes samples
[startup+100.804 s]
/proc/loadavg: 3.67 3.38 3.40 9/209 15479
/proc/meminfo: memFree=15597516/32770624 swapFree=67108860/67108860
[pid=15383] ppid=15380 vsize=10551232 memory=8238620 CPUtime=256.44 cores=1,3,5,7
/proc/15383/stat : 15383 (java) S 15380 15383 17093 0 -1 1077944320 583515 0 0 0 25163 481 0 0 20 0 15 0 67201986 10804461568 2059655 18446744073709551615 4194304 4196468 140730244534048 140730244516592 140292456255223 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
/proc/15383/statm: 2637808 2059655 3141 1 0 2627261 0
[pid=15383/tid=15385] ppid=15380 vsize=10551232 memory=-8774313645642428999 CPUtime=34.41 cores=1,3,5,7
/proc/15383/task/15385/stat : 15385 (java) S 15380 15383 17093 0 -1 1077944384 84509 0 0 0 3408 33 0 0 20 0 15 0 67201995 10804461568 2059655 18446744073709551615 4194304 4196468 140730244534048 140292460484512 140292456265429 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15386] ppid=15380 vsize=10551232 memory=37828 CPUtime=50.82 cores=1,3,5,7
/proc/15383/task/15386/stat : 15386 (java) R 15380 15383 17093 0 -1 4202560 132318 0 0 0 4975 107 0 0 20 0 15 0 67201995 10804461568 2059655 18446744073709551615 4194304 4196468 140730244534048 140292423813592 140292449358860 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15387] ppid=15380 vsize=10551232 memory=1296 CPUtime=50.79 cores=1,3,5,7
/proc/15383/task/15387/stat : 15387 (java) R 15380 15383 17093 0 -1 4202560 137282 0 0 0 4959 120 0 0 20 0 15 0 67201995 10804461568 2059655 18446744073709551615 4194304 4196468 140730244534048 140292066458200 140292449359916 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15388] ppid=15380 vsize=10551232 memory=2420 CPUtime=50.93 cores=1,3,5,7
/proc/15383/task/15388/stat : 15388 (java) R 15380 15383 17093 0 -1 4202560 87472 0 0 0 4990 103 0 0 20 0 15 0 67201995 10804461568 2059655 18446744073709551615 4194304 4196468 140730244534048 140292065405456 140292437864889 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15389] ppid=15380 vsize=10551232 memory=4028 CPUtime=50.85 cores=1,3,5,7
/proc/15383/task/15389/stat : 15389 (java) R 15380 15383 17093 0 -1 4202560 85046 0 0 0 4976 109 0 0 20 0 15 0 67201995 10804461568 2059655 18446744073709551615 4194304 4196468 140730244534048 140292064353112 140292437864889 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15390] ppid=15380 vsize=10551232 memory=37828 CPUtime=14.74 cores=1,3,5,7
/proc/15383/task/15390/stat : 15390 (java) S 15380 15383 17093 0 -1 1077944384 36280 0 0 0 1472 2 0 0 20 0 15 0 67201997 10804461568 2059655 18446744073709551615 4194304 4196468 140730244534048 140291952600128 140292456265429 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15391] ppid=15380 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15383/task/15391/stat : 15391 (java) S 15380 15383 17093 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 67201997 10804461568 2059655 18446744073709551615 4194304 4196468 140730244534048 140291951547872 140292456265429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15392] ppid=15380 vsize=10551232 memory=-7965950325593906079 CPUtime=0 cores=1,3,5,7
/proc/15383/task/15392/stat : 15392 (java) S 15380 15383 17093 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 67201997 10804461568 2059655 18446744073709551615 4194304 4196468 140730244534048 140291950495232 140292456265429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15393] ppid=15380 vsize=10551232 memory=-6804530833007812508 CPUtime=0 cores=1,3,5,7
/proc/15383/task/15393/stat : 15393 (java) S 15380 15383 17093 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 67202000 10804461568 2059655 18446744073709551615 4194304 4196468 140730244534048 140291949443440 140292456265429 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15394] ppid=15380 vsize=10551232 memory=6944665225511868275 CPUtime=1.76 cores=1,3,5,7
/proc/15383/task/15394/stat : 15394 (java) S 15380 15383 17093 0 -1 1077944384 7415 0 0 0 175 1 0 0 20 0 15 0 67202000 10804461568 2059655 18446744073709551615 4194304 4196468 140730244534048 140291948390432 140292456265429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15395] ppid=15380 vsize=10551232 memory=6944665225511868275 CPUtime=1.62 cores=1,3,5,7
/proc/15383/task/15395/stat : 15395 (java) S 15380 15383 17093 0 -1 1077944384 9015 0 0 0 161 1 0 0 20 0 15 0 67202000 10804461568 2059655 18446744073709551615 4194304 4196468 140730244534048 140291947337600 140292456265429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15396] ppid=15380 vsize=10551232 memory=11268 CPUtime=0.38 cores=1,3,5,7
/proc/15383/task/15396/stat : 15396 (java) S 15380 15383 17093 0 -1 1077944384 2127 0 0 0 38 0 0 0 20 0 15 0 67202000 10804461568 2059655 18446744073709551615 4194304 4196468 140730244534048 140291946285344 140292456265429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15397] ppid=15380 vsize=10551232 memory=8236572 CPUtime=0 cores=1,3,5,7
/proc/15383/task/15397/stat : 15397 (java) S 15380 15383 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67202000 10804461568 2059655 18446744073709551615 4194304 4196468 140730244534048 140291945232992 140292456265429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15398] ppid=15380 vsize=10551232 memory=1444 CPUtime=0.06 cores=1,3,5,7
/proc/15383/task/15398/stat : 15398 (java) S 15380 15383 17093 0 -1 1077944384 591 0 0 0 3 3 0 0 20 0 15 0 67202005 10804461568 2059655 18446744073709551615 4194304 4196468 140730244534048 140291944180528 140292456266370 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
Current children cumulated CPU time: 256.44 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 8238620 KiB
[startup+101.201 s]
/proc/loadavg: 3.67 3.38 3.40 10/209 15479
/proc/meminfo: memFree=15398488/32770624 swapFree=67108860/67108860
[pid=15383] ppid=15380 vsize=10551232 memory=8338972 CPUtime=258.02 cores=1,3,5,7
/proc/15383/stat : 15383 (java) S 15380 15383 17093 0 -1 1077944320 583646 0 0 0 25319 483 0 0 20 0 15 0 67201986 10804461568 2084743 18446744073709551615 4194304 4196468 140730244534048 140730244516592 140292456255223 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
/proc/15383/statm: 2637808 2084743 3141 1 0 2627261 0
[pid=15383/tid=15385] ppid=15380 vsize=10551232 memory=-6662747570986533011 CPUtime=34.41 cores=1,3,5,7
/proc/15383/task/15385/stat : 15385 (java) S 15380 15383 17093 0 -1 1077944384 84509 0 0 0 3408 33 0 0 20 0 15 0 67201995 10804461568 2084743 18446744073709551615 4194304 4196468 140730244534048 140292460484512 140292456265429 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15386] ppid=15380 vsize=10551232 memory=-8253362762722141311 CPUtime=51.21 cores=1,3,5,7
/proc/15383/task/15386/stat : 15386 (java) R 15380 15383 17093 0 -1 4202560 132365 0 0 0 5013 108 0 0 20 0 15 0 67201995 10804461568 2084743 18446744073709551615 4194304 4196468 140730244534048 140292423813592 140292440712609 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15387] ppid=15380 vsize=10551232 memory=7100839861465685612 CPUtime=51.19 cores=1,3,5,7
/proc/15383/task/15387/stat : 15387 (java) R 15380 15383 17093 0 -1 4202560 137282 0 0 0 4999 120 0 0 20 0 15 0 67201995 10804461568 2084743 18446744073709551615 4194304 4196468 140730244534048 140292066458200 140292440953979 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15388] ppid=15380 vsize=10551232 memory=-7175204567652784766 CPUtime=51.32 cores=1,3,5,7
/proc/15383/task/15388/stat : 15388 (java) R 15380 15383 17093 0 -1 4202560 87493 0 0 0 5029 103 0 0 20 0 15 0 67201995 10804461568 2084743 18446744073709551615 4194304 4196468 140730244534048 140292065405344 140292441251804 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15389] ppid=15380 vsize=10551232 memory=3054156605268465310 CPUtime=51.23 cores=1,3,5,7
/proc/15383/task/15389/stat : 15389 (java) R 15380 15383 17093 0 -1 4202560 85109 0 0 0 5014 109 0 0 20 0 15 0 67201995 10804461568 2084743 18446744073709551615 4194304 4196468 140730244534048 140292064353112 140292441244837 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15390] ppid=15380 vsize=10551232 memory=-8341965534556230502 CPUtime=14.74 cores=1,3,5,7
/proc/15383/task/15390/stat : 15390 (java) S 15380 15383 17093 0 -1 1077944384 36280 0 0 0 1472 2 0 0 20 0 15 0 67201997 10804461568 2084743 18446744073709551615 4194304 4196468 140730244534048 140291952600128 140292456265429 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15391] ppid=15380 vsize=10551232 memory=9047017150487036571 CPUtime=0 cores=1,3,5,7
/proc/15383/task/15391/stat : 15391 (java) S 15380 15383 17093 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 67201997 10804461568 2084743 18446744073709551615 4194304 4196468 140730244534048 140291951547872 140292456265429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15392] ppid=15380 vsize=10551232 memory=8328453600958622283 CPUtime=0 cores=1,3,5,7
/proc/15383/task/15392/stat : 15392 (java) S 15380 15383 17093 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 67201997 10804461568 2084743 18446744073709551615 4194304 4196468 140730244534048 140291950495232 140292456265429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15393] ppid=15380 vsize=10551232 memory=7897517683652307531 CPUtime=0 cores=1,3,5,7
/proc/15383/task/15393/stat : 15393 (java) S 15380 15383 17093 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 67202000 10804461568 2084743 18446744073709551615 4194304 4196468 140730244534048 140291949443440 140292456265429 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15394] ppid=15380 vsize=10551232 memory=8514726395715349656 CPUtime=1.76 cores=1,3,5,7
/proc/15383/task/15394/stat : 15394 (java) S 15380 15383 17093 0 -1 1077944384 7415 0 0 0 175 1 0 0 20 0 15 0 67202000 10804461568 2084743 18446744073709551615 4194304 4196468 140730244534048 140291948390432 140292456265429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15395] ppid=15380 vsize=10551232 memory=-8634980985311628903 CPUtime=1.62 cores=1,3,5,7
/proc/15383/task/15395/stat : 15395 (java) S 15380 15383 17093 0 -1 1077944384 9015 0 0 0 161 1 0 0 20 0 15 0 67202000 10804461568 2084743 18446744073709551615 4194304 4196468 140730244534048 140291947337600 140292456265429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15396] ppid=15380 vsize=10551232 memory=7100839878645619564 CPUtime=0.38 cores=1,3,5,7
/proc/15383/task/15396/stat : 15396 (java) S 15380 15383 17093 0 -1 1077944384 2127 0 0 0 38 0 0 0 20 0 15 0 67202000 10804461568 2084743 18446744073709551615 4194304 4196468 140730244534048 140291946285344 140292456265429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15397] ppid=15380 vsize=10551232 memory=3042562608683846960 CPUtime=0 cores=1,3,5,7
/proc/15383/task/15397/stat : 15397 (java) S 15380 15383 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67202000 10804461568 2084743 18446744073709551615 4194304 4196468 140730244534048 140291945232992 140292456265429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15398] ppid=15380 vsize=10551232 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/15383/task/15398/stat : 15398 (java) S 15380 15383 17093 0 -1 1077944384 591 0 0 0 3 3 0 0 20 0 15 0 67202005 10804461568 2084743 18446744073709551615 4194304 4196468 140730244534048 140291944180528 140292456266370 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
Current children cumulated CPU time: 258.02 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 8338972 KiB
[startup+101.601 s]
/proc/loadavg: 3.67 3.38 3.40 10/209 15479
/proc/meminfo: memFree=15398488/32770624 swapFree=67108860/67108860
[pid=15383] ppid=15380 vsize=10551232 memory=8338972 CPUtime=259.59 cores=1,3,5,7
/proc/15383/stat : 15383 (java) S 15380 15383 17093 0 -1 1077944320 594915 0 0 0 25475 484 0 0 20 0 15 0 67201986 10804461568 2084743 18446744073709551615 4194304 4196468 140730244534048 140730244516592 140292456255223 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
/proc/15383/statm: 2637808 2084743 3141 1 0 2627261 0
[pid=15383/tid=15385] ppid=15380 vsize=10551232 memory=1444 CPUtime=34.41 cores=1,3,5,7
/proc/15383/task/15385/stat : 15385 (java) S 15380 15383 17093 0 -1 1077944384 84509 0 0 0 3408 33 0 0 20 0 15 0 67201995 10804461568 2084743 18446744073709551615 4194304 4196468 140730244534048 140292460484512 140292456265429 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15386] ppid=15380 vsize=10551232 memory=1228 CPUtime=51.61 cores=1,3,5,7
/proc/15383/task/15386/stat : 15386 (java) R 15380 15383 17093 0 -1 4202560 134956 0 0 0 5052 109 0 0 20 0 15 0 67201995 10804461568 2084743 18446744073709551615 4194304 4196468 140730244534048 140292423813200 140292448883431 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15387] ppid=15380 vsize=10551232 memory=12200 CPUtime=51.58 cores=1,3,5,7
/proc/15383/task/15387/stat : 15387 (java) R 15380 15383 17093 0 -1 4202560 138942 0 0 0 5038 120 0 0 20 0 15 0 67201995 10804461568 2084743 18446744073709551615 4194304 4196468 140730244534048 140292066457808 140292448883431 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15388] ppid=15380 vsize=10551232 memory=1992 CPUtime=51.72 cores=1,3,5,7
/proc/15383/task/15388/stat : 15388 (java) R 15380 15383 17093 0 -1 4202560 94511 0 0 0 5068 104 0 0 20 0 15 0 67201995 10804461568 2084743 18446744073709551615 4194304 4196468 140730244534048 140292065405576 140292448883431 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15389] ppid=15380 vsize=10551232 memory=1204 CPUtime=51.63 cores=1,3,5,7
/proc/15383/task/15389/stat : 15389 (java) R 15380 15383 17093 0 -1 4202560 85109 0 0 0 5054 109 0 0 20 0 15 0 67201995 10804461568 2084743 18446744073709551615 4194304 4196468 140730244534048 140292064353112 140292441244866 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15390] ppid=15380 vsize=10551232 memory=1000 CPUtime=14.74 cores=1,3,5,7
/proc/15383/task/15390/stat : 15390 (java) S 15380 15383 17093 0 -1 1077944384 36280 0 0 0 1472 2 0 0 20 0 15 0 67201997 10804461568 2084743 18446744073709551615 4194304 4196468 140730244534048 140291952600128 140292456265429 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15391] ppid=15380 vsize=10551232 memory=796 CPUtime=0 cores=1,3,5,7
/proc/15383/task/15391/stat : 15391 (java) S 15380 15383 17093 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 67201997 10804461568 2084743 18446744073709551615 4194304 4196468 140730244534048 140291951547872 140292456265429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15392] ppid=15380 vsize=10551232 memory=8944 CPUtime=0 cores=1,3,5,7
/proc/15383/task/15392/stat : 15392 (java) S 15380 15383 17093 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 67201997 10804461568 2084743 18446744073709551615 4194304 4196468 140730244534048 140291950495232 140292456265429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15393] ppid=15380 vsize=10551232 memory=2752 CPUtime=0 cores=1,3,5,7
/proc/15383/task/15393/stat : 15393 (java) S 15380 15383 17093 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 67202000 10804461568 2084743 18446744073709551615 4194304 4196468 140730244534048 140291949443440 140292456265429 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15394] ppid=15380 vsize=10551232 memory=2868 CPUtime=1.76 cores=1,3,5,7
/proc/15383/task/15394/stat : 15394 (java) S 15380 15383 17093 0 -1 1077944384 7415 0 0 0 175 1 0 0 20 0 15 0 67202000 10804461568 2084743 18446744073709551615 4194304 4196468 140730244534048 140291948390432 140292456265429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15395] ppid=15380 vsize=10551232 memory=1160 CPUtime=1.62 cores=1,3,5,7
/proc/15383/task/15395/stat : 15395 (java) S 15380 15383 17093 0 -1 1077944384 9015 0 0 0 161 1 0 0 20 0 15 0 67202000 10804461568 2084743 18446744073709551615 4194304 4196468 140730244534048 140291947337600 140292456265429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15396] ppid=15380 vsize=10551232 memory=2884 CPUtime=0.38 cores=1,3,5,7
/proc/15383/task/15396/stat : 15396 (java) S 15380 15383 17093 0 -1 1077944384 2127 0 0 0 38 0 0 0 20 0 15 0 67202000 10804461568 2084743 18446744073709551615 4194304 4196468 140730244534048 140291946285344 140292456265429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15397] ppid=15380 vsize=10551232 memory=8320540 CPUtime=0 cores=1,3,5,7
/proc/15383/task/15397/stat : 15397 (java) S 15380 15383 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67202000 10804461568 2084743 18446744073709551615 4194304 4196468 140730244534048 140291945232992 140292456265429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15398] ppid=15380 vsize=10551232 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/15383/task/15398/stat : 15398 (java) S 15380 15383 17093 0 -1 1077944384 591 0 0 0 3 3 0 0 20 0 15 0 67202005 10804461568 2084743 18446744073709551615 4194304 4196468 140730244534048 140291944180528 140292456266370 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
Current children cumulated CPU time: 259.59 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 8338972 KiB
[startup+101.701 s]
/proc/loadavg: 3.67 3.38 3.40 10/209 15479
/proc/meminfo: memFree=15398488/32770624 swapFree=67108860/67108860
[pid=15383] ppid=15380 vsize=10551232 memory=8338972 CPUtime=259.99 cores=1,3,5,7
/proc/15383/stat : 15383 (java) S 15380 15383 17093 0 -1 1077944320 594915 0 0 0 25514 485 0 0 20 0 15 0 67201986 10804461568 2084743 18446744073709551615 4194304 4196468 140730244534048 140730244516592 140292456255223 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
/proc/15383/statm: 2637808 2084743 3141 1 0 2627261 0
[pid=15383/tid=15385] ppid=15380 vsize=10551232 memory=8257052 CPUtime=34.41 cores=1,3,5,7
/proc/15383/task/15385/stat : 15385 (java) S 15380 15383 17093 0 -1 1077944384 84509 0 0 0 3408 33 0 0 20 0 15 0 67201995 10804461568 2084743 18446744073709551615 4194304 4196468 140730244534048 140292460484512 140292456265429 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15386] ppid=15380 vsize=10551232 memory=8338972 CPUtime=51.71 cores=1,3,5,7
/proc/15383/task/15386/stat : 15386 (java) R 15380 15383 17093 0 -1 4202560 134956 0 0 0 5062 109 0 0 20 0 15 0 67201995 10804461568 2084743 18446744073709551615 4194304 4196468 140730244534048 140292423813200 140292448883431 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15387] ppid=15380 vsize=10551232 memory=8228864 CPUtime=51.67 cores=1,3,5,7
/proc/15383/task/15387/stat : 15387 (java) R 15380 15383 17093 0 -1 4202560 138942 0 0 0 5047 120 0 0 20 0 15 0 67201995 10804461568 2084743 18446744073709551615 4194304 4196468 140730244534048 140292066457808 140292448883431 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15388] ppid=15380 vsize=10551232 memory=0 CPUtime=51.81 cores=1,3,5,7
/proc/15383/task/15388/stat : 15388 (java) R 15380 15383 17093 0 -1 4202560 94511 0 0 0 5077 104 0 0 20 0 15 0 67201995 10804461568 2084743 18446744073709551615 4194304 4196468 140730244534048 140292065405576 140292448883431 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15389] ppid=15380 vsize=10551232 memory=8235012 CPUtime=51.73 cores=1,3,5,7
/proc/15383/task/15389/stat : 15389 (java) R 15380 15383 17093 0 -1 4202560 85109 0 0 0 5064 109 0 0 20 0 15 0 67201995 10804461568 2084743 18446744073709551615 4194304 4196468 140730244534048 140292064353112 140292441244688 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15390] ppid=15380 vsize=10551232 memory=8235012 CPUtime=14.74 cores=1,3,5,7
/proc/15383/task/15390/stat : 15390 (java) S 15380 15383 17093 0 -1 1077944384 36280 0 0 0 1472 2 0 0 20 0 15 0 67201997 10804461568 2084743 18446744073709551615 4194304 4196468 140730244534048 140291952600128 140292456265429 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15391] ppid=15380 vsize=10551232 memory=8228864 CPUtime=0 cores=1,3,5,7
/proc/15383/task/15391/stat : 15391 (java) S 15380 15383 17093 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 67201997 10804461568 2084743 18446744073709551615 4194304 4196468 140730244534048 140291951547872 140292456265429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15392] ppid=15380 vsize=10551232 memory=7229830188729215382 CPUtime=0 cores=1,3,5,7
/proc/15383/task/15392/stat : 15392 (java) S 15380 15383 17093 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 67201997 10804461568 2084743 18446744073709551615 4194304 4196468 140730244534048 140291950495232 140292456265429 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15393] ppid=15380 vsize=10551232 memory=8235012 CPUtime=0 cores=1,3,5,7
/proc/15383/task/15393/stat : 15393 (java) S 15380 15383 17093 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 67202000 10804461568 2084743 18446744073709551615 4194304 4196468 140730244534048 140291949443440 140292456265429 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15394] ppid=15380 vsize=10551232 memory=8235012 CPUtime=1.76 cores=1,3,5,7
/proc/15383/task/15394/stat : 15394 (java) S 15380 15383 17093 0 -1 1077944384 7415 0 0 0 175 1 0 0 20 0 15 0 67202000 10804461568 2084743 18446744073709551615 4194304 4196468 140730244534048 140291948390432 140292456265429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15395] ppid=15380 vsize=10551232 memory=8228864 CPUtime=1.62 cores=1,3,5,7
/proc/15383/task/15395/stat : 15395 (java) S 15380 15383 17093 0 -1 1077944384 9015 0 0 0 161 1 0 0 20 0 15 0 67202000 10804461568 2084743 18446744073709551615 4194304 4196468 140730244534048 140291947337600 140292456265429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15396] ppid=15380 vsize=10551232 memory=8228864 CPUtime=0.38 cores=1,3,5,7
/proc/15383/task/15396/stat : 15396 (java) S 15380 15383 17093 0 -1 1077944384 2127 0 0 0 38 0 0 0 20 0 15 0 67202000 10804461568 2084743 18446744073709551615 4194304 4196468 140730244534048 140291946285344 140292456265429 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15397] ppid=15380 vsize=10551232 memory=8236572 CPUtime=0 cores=1,3,5,7
/proc/15383/task/15397/stat : 15397 (java) S 15380 15383 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67202000 10804461568 2084743 18446744073709551615 4194304 4196468 140730244534048 140291945232992 140292456265429 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
[pid=15383/tid=15398] ppid=15380 vsize=10551232 memory=8235012 CPUtime=0.06 cores=1,3,5,7
/proc/15383/task/15398/stat : 15398 (java) S 15380 15383 17093 0 -1 1077944384 591 0 0 0 3 3 0 0 20 0 15 0 67202005 10804461568 2084743 18446744073709551615 4194304 4196468 140730244534048 140291944180528 140292456266370 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36147200 140730244542869 140730244543022 140730244543022 140730244546511 0
Current children cumulated CPU time: 259.99 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 8338972 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 101.769
CPU time (s): 260.094
CPU user time (s): 255.188
CPU system time (s): 4.90609
CPU usage (%): 255.573
Max. virtual memory (cumulated for all children) (KiB): 10682304
Max. memory (cumulated for all children) (KiB): 8338972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 255.188
system time used= 4.90609
maximum resident set size= 8339188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 594919
page faults= 0
swaps= 0
block input operations= 0
block output operations= 208
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8762
involuntary context switches= 2776
# summary of solver processes directly reported to runsolver:
# pid: 15383
# total CPU time (s): 260.094
# total CPU user time (s): 255.188
# total CPU system time (s): 4.90609
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.652789 second user time and 0.952636 second system time
The end