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 (14399 MiB free)
memory of node 1: 16384 MiB (15441 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4259663-1502645370/watcher-4259663-1502645370 -o /tmp/evaluation-result-4259663-1502645370/solver-4259663-1502645370 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502641620-25474 --watchdog 312 bin/concrete HOME/instance-4259663-1502645370.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
solver pid=29055, runsolver pid=29052
Current StackSize limit: 8192 KiB
[startup+0.100106 s]*
/proc/loadavg: 1.64 1.71 1.84 4/202 29083
/proc/meminfo: memFree=30556564/32770624 swapFree=67108860/67108860
[pid=29055] ppid=29052 vsize=9636 memory=1508 CPUtime=0.01 cores=1,3,5,7
/proc/29055/stat : 29055 (bash) S 29052 29055 8289 0 -1 4202496 894 6482 0 0 0 0 0 1 20 0 1 0 112352168 9867264 377 18446744073709551615 4194304 5098028 140723326721568 140723326715576 140568590179328 0 0 5 65536 18446744071580971376 0 0 17 1 0 0 8 0 0 7196144 7232144 10432512 140723326722548 140723326722633 140723326722633 140723326726122 0
/proc/29055/statm: 2409 377 297 221 0 118 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 9636 KiB
Current children cumulated memory: 1508 KiB
[startup+0.21216 s]*
/proc/loadavg: 1.64 1.71 1.84 3/205 29110
/proc/meminfo: memFree=30549964/32770624 swapFree=67108860/67108860
[pid=29055] ppid=29052 vsize=13574488 memory=18468 CPUtime=0.09 cores=1,3,5,7
/proc/29055/stat : 29055 (java) S 29052 29055 8289 0 -1 1077944320 4874 12664 0 0 2 0 5 2 20 0 9 0 112352168 13900275712 4617 18446744073709551615 4194304 4196468 140727230810992 140727230793536 140223162810103 0 0 1 16784584 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
/proc/29055/statm: 3393622 4617 2065 1 0 3383119 0
[pid=29055/tid=29105] ppid=29052 vsize=13574488 memory=8318255677412212789 CPUtime=0.09 cores=1,3,5,7
/proc/29055/task/29105/stat : 29105 (java) R 29052 29055 8289 0 -1 4202560 2663 12664 0 0 2 0 5 2 20 0 9 0 112352187 13900275712 4617 18446744073709551615 4194304 4196468 140727230810992 140223167046088 140223162832029 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29106] ppid=29052 vsize=13574488 memory=330 CPUtime=0.07 cores=1,3,5,7
/proc/29055/task/29106/stat : 29106 (java) S 29052 29055 8289 0 -1 1077944384 1 12664 0 0 0 0 5 2 20 0 9 0 112352188 13900275712 4617 18446744073709551615 4194304 4196468 140727230810992 140223104755984 140223162820309 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29107] ppid=29052 vsize=13574488 memory=288370625074595456 CPUtime=0.07 cores=1,3,5,7
/proc/29055/task/29107/stat : 29107 (java) S 29052 29055 8289 0 -1 1077944384 1 12664 0 0 0 0 5 2 20 0 9 0 112352188 13900275712 4617 18446744073709551615 4194304 4196468 140727230810992 140223103703440 140223162820309 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29108] ppid=29052 vsize=13574488 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29055/task/29108/stat : 29108 (java) S 29052 29055 8289 0 -1 1077944384 1 12664 0 0 0 0 5 2 20 0 9 0 112352188 13900275712 4617 18446744073709551615 4194304 4196468 140727230810992 140223102650896 140223162820309 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29109] ppid=29052 vsize=13574488 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/29055/task/29109/stat : 29109 (java) S 29052 29055 8289 0 -1 1077944384 2 12664 0 0 0 0 5 2 20 0 9 0 112352188 13900275712 4617 18446744073709551615 4194304 4196468 140727230810992 140223101598352 140223162820309 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29110] ppid=29052 vsize=13574488 memory=140248922883712 CPUtime=0.07 cores=1,3,5,7
/proc/29055/task/29110/stat : 29110 (java) S 29052 29055 8289 0 -1 1077944384 2 12664 0 0 0 0 5 2 20 0 9 0 112352189 13900275712 4617 18446744073709551615 4194304 4196468 140727230810992 140222708558320 140223162821250 0 0 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29111] ppid=29052 vsize=13574488 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/29055/task/29111/stat : 29111 (java) S 29052 29055 8289 0 -1 1077944384 33 12664 0 0 0 0 5 2 20 0 9 0 112352190 13900275712 4617 18446744073709551615 4194304 4196468 140727230810992 140222707504544 140223162820309 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29112] ppid=29052 vsize=13574488 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29055/task/29112/stat : 29112 (java) S 29052 29055 8289 0 -1 1077944384 21 12664 0 0 0 0 5 2 20 0 9 0 112352190 13900275712 4617 18446744073709551615 4194304 4196468 140727230810992 140222706452016 140223162820309 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 13574488 KiB
Current children cumulated memory: 18468 KiB
[startup+0.310639 s]*
/proc/loadavg: 1.64 1.71 1.84 5/213 29118
/proc/meminfo: memFree=30536916/32770624 swapFree=67108860/67108860
[pid=29055] ppid=29052 vsize=13974356 memory=32104 CPUtime=0.21 cores=1,3,5,7
/proc/29055/stat : 29055 (java) S 29052 29055 8289 0 -1 1077944320 6910 12664 0 0 13 1 5 2 20 0 15 0 112352168 14309740544 8026 18446744073709551615 4194304 4196468 140727230810992 140727230793536 140223162810103 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
/proc/29055/statm: 3493589 8026 2929 1 0 3482965 0
[pid=29055/tid=29105] ppid=29052 vsize=13974356 memory=-8774313645642428999 CPUtime=0.15 cores=1,3,5,7
/proc/29055/task/29105/stat : 29105 (java) R 29052 29055 8289 0 -1 4202560 3432 12664 0 0 8 0 5 2 20 0 15 0 112352187 14309740544 8026 18446744073709551615 4194304 4196468 140727230810992 140223167006520 140223146890590 0 4 1 16800974 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29106] ppid=29052 vsize=13974356 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29055/task/29106/stat : 29106 (java) S 29052 29055 8289 0 -1 1077944384 1 12664 0 0 0 0 5 2 20 0 15 0 112352188 14309740544 8026 18446744073709551615 4194304 4196468 140727230810992 140223104755984 140223162820309 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29107] ppid=29052 vsize=13974356 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29055/task/29107/stat : 29107 (java) S 29052 29055 8289 0 -1 1077944384 1 12664 0 0 0 0 5 2 20 0 15 0 112352188 14309740544 8026 18446744073709551615 4194304 4196468 140727230810992 140223103703440 140223162820309 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29108] ppid=29052 vsize=13974356 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29055/task/29108/stat : 29108 (java) S 29052 29055 8289 0 -1 1077944384 1 12664 0 0 0 0 5 2 20 0 15 0 112352188 14309740544 8026 18446744073709551615 4194304 4196468 140727230810992 140223102650896 140223162820309 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29109] ppid=29052 vsize=13974356 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29055/task/29109/stat : 29109 (java) S 29052 29055 8289 0 -1 1077944384 2 12664 0 0 0 0 5 2 20 0 15 0 112352188 14309740544 8026 18446744073709551615 4194304 4196468 140727230810992 140223101598352 140223162820309 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29110] ppid=29052 vsize=13974356 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29055/task/29110/stat : 29110 (java) S 29052 29055 8289 0 -1 1077944384 2 12664 0 0 0 0 5 2 20 0 15 0 112352189 14309740544 8026 18446744073709551615 4194304 4196468 140727230810992 140222708558320 140223162821250 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29111] ppid=29052 vsize=13974356 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29055/task/29111/stat : 29111 (java) S 29052 29055 8289 0 -1 1077944384 33 12664 0 0 0 0 5 2 20 0 15 0 112352190 14309740544 8026 18446744073709551615 4194304 4196468 140727230810992 140222707504544 140223162820309 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29112] ppid=29052 vsize=13974356 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29055/task/29112/stat : 29112 (java) S 29052 29055 8289 0 -1 1077944384 21 12664 0 0 0 0 5 2 20 0 15 0 112352190 14309740544 8026 18446744073709551615 4194304 4196468 140727230810992 140222706451952 140223162820309 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29113] ppid=29052 vsize=13974356 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29055/task/29113/stat : 29113 (java) S 29052 29055 8289 0 -1 1077944384 3 12664 0 0 0 0 5 2 20 0 15 0 112352192 14309740544 8026 18446744073709551615 4194304 4196468 140727230810992 140222705400528 140223162828699 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29114] ppid=29052 vsize=13974356 memory=140248801868096 CPUtime=0.08 cores=1,3,5,7
/proc/29055/task/29114/stat : 29114 (java) S 29052 29055 8289 0 -1 1077944384 427 12664 0 0 1 0 5 2 20 0 15 0 112352192 14309740544 8026 18446744073709551615 4194304 4196468 140727230810992 140222704347120 140223162821250 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29115] ppid=29052 vsize=13974356 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29055/task/29115/stat : 29115 (java) S 29052 29055 8289 0 -1 1077944384 324 12664 0 0 0 0 5 2 20 0 15 0 112352193 14309740544 8026 18446744073709551615 4194304 4196468 140727230810992 140222703294576 140223162821250 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29116] ppid=29052 vsize=13974356 memory=140248922883712 CPUtime=0.09 cores=1,3,5,7
/proc/29055/task/29116/stat : 29116 (java) R 29052 29055 8289 0 -1 4202560 508 12664 0 0 2 0 5 2 20 0 15 0 112352193 14309740544 8026 18446744073709551615 4194304 4196468 140727230810992 140222702242032 140223143152136 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29117] ppid=29052 vsize=13974356 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/29055/task/29117/stat : 29117 (java) S 29052 29055 8289 0 -1 1077944384 3 12664 0 0 0 0 5 2 20 0 15 0 112352193 14309740544 8026 18446744073709551615 4194304 4196468 140727230810992 140222701189728 140223162820309 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29118] ppid=29052 vsize=13974356 memory=140248922883712 CPUtime=0.07 cores=1,3,5,7
/proc/29055/task/29118/stat : 29118 (java) S 29052 29055 8289 0 -1 1077944384 1 12664 0 0 0 0 5 2 20 0 15 0 112352195 14309740544 8026 18446744073709551615 4194304 4196468 140727230810992 140222700137264 140223162821250 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 13974356 KiB
Current children cumulated memory: 32104 KiB
[startup+0.700714 s]
/proc/loadavg: 1.64 1.71 1.84 3/213 29118
/proc/meminfo: memFree=30513868/32770624 swapFree=67108860/67108860
[pid=29055] ppid=29052 vsize=13974784 memory=61160 CPUtime=0.71 cores=1,3,5,7
/proc/29055/stat : 29055 (java) S 29052 29055 8289 0 -1 1077944320 13876 12664 0 0 61 3 5 2 20 0 15 0 112352168 14310178816 15290 18446744073709551615 4194304 4196468 140727230810992 140727230793536 140223162810103 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
/proc/29055/statm: 3493696 15290 3127 1 0 3482965 0
[pid=29055/tid=29105] ppid=29052 vsize=13974784 memory=54408 CPUtime=0.53 cores=1,3,5,7
/proc/29055/task/29105/stat : 29105 (java) R 29052 29055 8289 0 -1 4202560 10233 12664 0 0 44 2 5 2 20 0 15 0 112352187 14310178816 15290 18446744073709551615 4194304 4196468 140727230810992 140223167032464 140223147975703 0 4 1 16800974 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29106] ppid=29052 vsize=13974784 memory=2241 CPUtime=0.07 cores=1,3,5,7
/proc/29055/task/29106/stat : 29106 (java) S 29052 29055 8289 0 -1 1077944384 1 12664 0 0 0 0 5 2 20 0 15 0 112352188 14310178816 15290 18446744073709551615 4194304 4196468 140727230810992 140223104755984 140223162820309 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29107] ppid=29052 vsize=13974784 memory=2244 CPUtime=0.07 cores=1,3,5,7
/proc/29055/task/29107/stat : 29107 (java) S 29052 29055 8289 0 -1 1077944384 1 12664 0 0 0 0 5 2 20 0 15 0 112352188 14310178816 15290 18446744073709551615 4194304 4196468 140727230810992 140223103703440 140223162820309 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29108] ppid=29052 vsize=13974784 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29055/task/29108/stat : 29108 (java) S 29052 29055 8289 0 -1 1077944384 1 12664 0 0 0 0 5 2 20 0 15 0 112352188 14310178816 15290 18446744073709551615 4194304 4196468 140727230810992 140223102650896 140223162820309 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29109] ppid=29052 vsize=13974784 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29055/task/29109/stat : 29109 (java) S 29052 29055 8289 0 -1 1077944384 2 12664 0 0 0 0 5 2 20 0 15 0 112352188 14310178816 15290 18446744073709551615 4194304 4196468 140727230810992 140223101598352 140223162820309 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29110] ppid=29052 vsize=13974784 memory=6944656592455097440 CPUtime=0.07 cores=1,3,5,7
/proc/29055/task/29110/stat : 29110 (java) S 29052 29055 8289 0 -1 1077944384 5 12664 0 0 0 0 5 2 20 0 15 0 112352189 14310178816 15290 18446744073709551615 4194304 4196468 140727230810992 140222708558320 140223162821250 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29111] ppid=29052 vsize=13974784 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29055/task/29111/stat : 29111 (java) S 29052 29055 8289 0 -1 1077944384 33 12664 0 0 0 0 5 2 20 0 15 0 112352190 14310178816 15290 18446744073709551615 4194304 4196468 140727230810992 140222707504544 140223162820309 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29112] ppid=29052 vsize=13974784 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29055/task/29112/stat : 29112 (java) S 29052 29055 8289 0 -1 1077944384 21 12664 0 0 0 0 5 2 20 0 15 0 112352190 14310178816 15290 18446744073709551615 4194304 4196468 140727230810992 140222706451952 140223162820309 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29113] ppid=29052 vsize=13974784 memory=664970774371478170 CPUtime=0.07 cores=1,3,5,7
/proc/29055/task/29113/stat : 29113 (java) S 29052 29055 8289 0 -1 1077944384 3 12664 0 0 0 0 5 2 20 0 15 0 112352192 14310178816 15290 18446744073709551615 4194304 4196468 140727230810992 140222705400528 140223162828699 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29114] ppid=29052 vsize=13974784 memory=4206186544037388384 CPUtime=0.09 cores=1,3,5,7
/proc/29055/task/29114/stat : 29114 (java) S 29052 29055 8289 0 -1 1077944384 432 12664 0 0 2 0 5 2 20 0 15 0 112352192 14310178816 15290 18446744073709551615 4194304 4196468 140727230810992 140222704347120 140223162821250 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29115] ppid=29052 vsize=13974784 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/29055/task/29115/stat : 29115 (java) S 29052 29055 8289 0 -1 1077944384 417 12664 0 0 3 0 5 2 20 0 15 0 112352193 14310178816 15290 18446744073709551615 4194304 4196468 140727230810992 140222703294576 140223162821250 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29116] ppid=29052 vsize=13974784 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/29055/task/29116/stat : 29116 (java) S 29052 29055 8289 0 -1 1077944384 572 12664 0 0 10 0 5 2 20 0 15 0 112352193 14310178816 15290 18446744073709551615 4194304 4196468 140727230810992 140222702242032 140223162821250 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29117] ppid=29052 vsize=13974784 memory=28996 CPUtime=0.07 cores=1,3,5,7
/proc/29055/task/29117/stat : 29117 (java) S 29052 29055 8289 0 -1 1077944384 3 12664 0 0 0 0 5 2 20 0 15 0 112352193 14310178816 15290 18446744073709551615 4194304 4196468 140727230810992 140222701189728 140223162820309 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29118] ppid=29052 vsize=13974784 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29055/task/29118/stat : 29118 (java) S 29052 29055 8289 0 -1 1077944384 1 12664 0 0 0 0 5 2 20 0 15 0 112352195 14310178816 15290 18446744073709551615 4194304 4196468 140727230810992 140222700137264 140223162821250 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
Current children cumulated CPU time: 0.71 s
Current children cumulated vsize: 13974784 KiB
Current children cumulated memory: 61160 KiB
[startup+1.50463 s]
/proc/loadavg: 1.64 1.71 1.84 4/213 29118
/proc/meminfo: memFree=30468752/32770624 swapFree=67108860/67108860
[pid=29055] ppid=29052 vsize=13985408 memory=172616 CPUtime=1.96 cores=1,3,5,7
/proc/29055/stat : 29055 (java) S 29052 29055 8289 0 -1 1077944320 26567 12664 0 0 180 9 5 2 20 0 15 0 112352168 14321057792 43154 18446744073709551615 4194304 4196468 140727230810992 140727230793536 140223162810103 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
/proc/29055/statm: 3496352 43154 3373 1 0 3485525 0
[pid=29055/tid=29105] ppid=29052 vsize=13985408 memory=4627853888499060086 CPUtime=1.31 cores=1,3,5,7
/proc/29055/task/29105/stat : 29105 (java) R 29052 29055 8289 0 -1 4202560 20376 12664 0 0 119 5 5 2 20 0 15 0 112352187 14321057792 43154 18446744073709551615 4194304 4196468 140727230810992 140223167036944 140223146890590 0 4 1 16800974 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29106] ppid=29052 vsize=13985408 memory=-7003737579269690708 CPUtime=0.07 cores=1,3,5,7
/proc/29055/task/29106/stat : 29106 (java) S 29052 29055 8289 0 -1 1077944384 40 12664 0 0 0 0 5 2 20 0 15 0 112352188 14321057792 43154 18446744073709551615 4194304 4196468 140727230810992 140223104755984 140223162820309 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29107] ppid=29052 vsize=13985408 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29055/task/29107/stat : 29107 (java) S 29052 29055 8289 0 -1 1077944384 30 12664 0 0 0 0 5 2 20 0 15 0 112352188 14321057792 43154 18446744073709551615 4194304 4196468 140727230810992 140223103703440 140223162820309 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29108] ppid=29052 vsize=13985408 memory=2276 CPUtime=0.07 cores=1,3,5,7
/proc/29055/task/29108/stat : 29108 (java) S 29052 29055 8289 0 -1 1077944384 185 12664 0 0 0 0 5 2 20 0 15 0 112352188 14321057792 43154 18446744073709551615 4194304 4196468 140727230810992 140223102650896 140223162820309 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29109] ppid=29052 vsize=13985408 memory=89260 CPUtime=0.07 cores=1,3,5,7
/proc/29055/task/29109/stat : 29109 (java) S 29052 29055 8289 0 -1 1077944384 48 12664 0 0 0 0 5 2 20 0 15 0 112352188 14321057792 43154 18446744073709551615 4194304 4196468 140727230810992 140223101598352 140223162820309 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29110] ppid=29052 vsize=13985408 memory=491 CPUtime=0.08 cores=1,3,5,7
/proc/29055/task/29110/stat : 29110 (java) S 29052 29055 8289 0 -1 1077944384 635 12664 0 0 1 0 5 2 20 0 15 0 112352189 14321057792 43154 18446744073709551615 4194304 4196468 140727230810992 140222708558320 140223162821250 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29111] ppid=29052 vsize=13985408 memory=141 CPUtime=0.07 cores=1,3,5,7
/proc/29055/task/29111/stat : 29111 (java) S 29052 29055 8289 0 -1 1077944384 35 12664 0 0 0 0 5 2 20 0 15 0 112352190 14321057792 43154 18446744073709551615 4194304 4196468 140727230810992 140222707504544 140223162820309 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29112] ppid=29052 vsize=13985408 memory=66 CPUtime=0.07 cores=1,3,5,7
/proc/29055/task/29112/stat : 29112 (java) S 29052 29055 8289 0 -1 1077944384 22 12664 0 0 0 0 5 2 20 0 15 0 112352190 14321057792 43154 18446744073709551615 4194304 4196468 140727230810992 140222706451952 140223162820309 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29113] ppid=29052 vsize=13985408 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29055/task/29113/stat : 29113 (java) S 29052 29055 8289 0 -1 1077944384 3 12664 0 0 0 0 5 2 20 0 15 0 112352192 14321057792 43154 18446744073709551615 4194304 4196468 140727230810992 140222705400528 140223162828699 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29114] ppid=29052 vsize=13985408 memory=280497603219216 CPUtime=0.23 cores=1,3,5,7
/proc/29055/task/29114/stat : 29114 (java) R 29052 29055 8289 0 -1 4202560 931 12664 0 0 16 0 5 2 20 0 15 0 112352192 14321057792 43154 18446744073709551615 4194304 4196468 140727230810992 140222704347120 140223143510400 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29115] ppid=29052 vsize=13985408 memory=129133426248436 CPUtime=0.21 cores=1,3,5,7
/proc/29055/task/29115/stat : 29115 (java) R 29052 29055 8289 0 -1 4202560 782 12664 0 0 14 0 5 2 20 0 15 0 112352193 14321057792 43154 18446744073709551615 4194304 4196468 140727230810992 140222703280672 140223147919759 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29116] ppid=29052 vsize=13985408 memory=129133426248436 CPUtime=0.31 cores=1,3,5,7
/proc/29055/task/29116/stat : 29116 (java) S 29052 29055 8289 0 -1 1077944384 1331 12664 0 0 24 0 5 2 20 0 15 0 112352193 14321057792 43154 18446744073709551615 4194304 4196468 140727230810992 140222702242032 140223162821250 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29117] ppid=29052 vsize=13985408 memory=129133426248436 CPUtime=0.07 cores=1,3,5,7
/proc/29055/task/29117/stat : 29117 (java) S 29052 29055 8289 0 -1 1077944384 3 12664 0 0 0 0 5 2 20 0 15 0 112352193 14321057792 43154 18446744073709551615 4194304 4196468 140727230810992 140222701189728 140223162820309 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29118] ppid=29052 vsize=13985408 memory=129133426248436 CPUtime=0.07 cores=1,3,5,7
/proc/29055/task/29118/stat : 29118 (java) S 29052 29055 8289 0 -1 1077944384 1 12664 0 0 0 0 5 2 20 0 15 0 112352195 14321057792 43154 18446744073709551615 4194304 4196468 140727230810992 140222700137264 140223162821250 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
Current children cumulated CPU time: 1.96 s
Current children cumulated vsize: 13985408 KiB
Current children cumulated memory: 172616 KiB
[startup+3.10989 s]
/proc/loadavg: 1.51 1.68 1.83 3/213 29118
/proc/meminfo: memFree=30342392/32770624 swapFree=67108860/67108860
[pid=29055] ppid=29052 vsize=13995836 memory=209436 CPUtime=5.19 cores=1,3,5,7
/proc/29055/stat : 29055 (java) S 29052 29055 8289 0 -1 1077944320 31791 12664 0 0 500 12 5 2 20 0 15 0 112352168 14331736064 52359 18446744073709551615 4194304 4196468 140727230810992 140727230793536 140223162810103 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
/proc/29055/statm: 3498959 52359 3444 1 0 3487573 0
[pid=29055/tid=29105] ppid=29052 vsize=13995836 memory=0 CPUtime=2.9 cores=1,3,5,7
/proc/29055/task/29105/stat : 29105 (java) R 29052 29055 8289 0 -1 4202560 22957 12664 0 0 277 6 5 2 20 0 15 0 112352187 14331736064 52359 18446744073709551615 4194304 4196468 140727230810992 140223167043080 140222788589152 0 4 1 16800974 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29106] ppid=29052 vsize=13995836 memory=4168 CPUtime=0.07 cores=1,3,5,7
/proc/29055/task/29106/stat : 29106 (java) S 29052 29055 8289 0 -1 1077944384 40 12664 0 0 0 0 5 2 20 0 15 0 112352188 14331736064 52359 18446744073709551615 4194304 4196468 140727230810992 140223104755984 140223162820309 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29107] ppid=29052 vsize=13995836 memory=54408 CPUtime=0.07 cores=1,3,5,7
/proc/29055/task/29107/stat : 29107 (java) S 29052 29055 8289 0 -1 1077944384 30 12664 0 0 0 0 5 2 20 0 15 0 112352188 14331736064 52359 18446744073709551615 4194304 4196468 140727230810992 140223103703440 140223162820309 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29108] ppid=29052 vsize=13995836 memory=56 CPUtime=0.07 cores=1,3,5,7
/proc/29055/task/29108/stat : 29108 (java) S 29052 29055 8289 0 -1 1077944384 185 12664 0 0 0 0 5 2 20 0 15 0 112352188 14331736064 52359 18446744073709551615 4194304 4196468 140727230810992 140223102650896 140223162820309 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29109] ppid=29052 vsize=13995836 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29055/task/29109/stat : 29109 (java) S 29052 29055 8289 0 -1 1077944384 48 12664 0 0 0 0 5 2 20 0 15 0 112352188 14331736064 52359 18446744073709551615 4194304 4196468 140727230810992 140223101598352 140223162820309 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29110] ppid=29052 vsize=13995836 memory=187344 CPUtime=0.08 cores=1,3,5,7
/proc/29055/task/29110/stat : 29110 (java) S 29052 29055 8289 0 -1 1077944384 637 12664 0 0 1 0 5 2 20 0 15 0 112352189 14331736064 52359 18446744073709551615 4194304 4196468 140727230810992 140222708558320 140223162821250 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29111] ppid=29052 vsize=13995836 memory=1156 CPUtime=0.07 cores=1,3,5,7
/proc/29055/task/29111/stat : 29111 (java) S 29052 29055 8289 0 -1 1077944384 35 12664 0 0 0 0 5 2 20 0 15 0 112352190 14331736064 52359 18446744073709551615 4194304 4196468 140727230810992 140222707504544 140223162820309 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
################
# More data... #
################
/proc/29055/task/29106/stat : 29106 (java) R 29052 29055 8289 0 -1 4202560 285498 12664 0 0 3585 135 5 2 20 0 15 0 112352188 14407233536 2245763 18446744073709551615 4194304 4196468 140727230810992 140223104755984 140223144436009 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29107] ppid=29052 vsize=14069564 memory=1156 CPUtime=37.18 cores=1,3,5,7
/proc/29055/task/29107/stat : 29107 (java) R 29052 29055 8289 0 -1 4202560 300267 12664 0 0 3576 135 5 2 20 0 15 0 112352188 14407233536 2245763 18446744073709551615 4194304 4196468 140727230810992 140223103703640 140223144436009 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29108] ppid=29052 vsize=14069564 memory=2916 CPUtime=37.43 cores=1,3,5,7
/proc/29055/task/29108/stat : 29108 (java) R 29052 29055 8289 0 -1 4202560 291515 12664 0 0 3601 135 5 2 20 0 15 0 112352188 14407233536 2245763 18446744073709551615 4194304 4196468 140727230810992 140223102650896 140223142005239 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29109] ppid=29052 vsize=14069564 memory=836044 CPUtime=37.26 cores=1,3,5,7
/proc/29055/task/29109/stat : 29109 (java) R 29052 29055 8289 0 -1 4202560 285539 12664 0 0 3582 137 5 2 20 0 15 0 112352188 14407233536 2245763 18446744073709551615 4194304 4196468 140727230810992 140223101598552 140223142005326 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29110] ppid=29052 vsize=14069564 memory=1156 CPUtime=0.3 cores=1,3,5,7
/proc/29055/task/29110/stat : 29110 (java) S 29052 29055 8289 0 -1 1077944384 46099 12664 0 0 21 2 5 2 20 0 15 0 112352189 14407233536 2245763 18446744073709551615 4194304 4196468 140727230810992 140222708556832 140223162820309 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29111] ppid=29052 vsize=14069564 memory=792 CPUtime=0.07 cores=1,3,5,7
/proc/29055/task/29111/stat : 29111 (java) S 29052 29055 8289 0 -1 1077944384 54 12664 0 0 0 0 5 2 20 0 15 0 112352190 14407233536 2245763 18446744073709551615 4194304 4196468 140727230810992 140222707504672 140223162820309 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29112] ppid=29052 vsize=14069564 memory=1716 CPUtime=0.07 cores=1,3,5,7
/proc/29055/task/29112/stat : 29112 (java) S 29052 29055 8289 0 -1 1077944384 55 12664 0 0 0 0 5 2 20 0 15 0 112352190 14407233536 2245763 18446744073709551615 4194304 4196468 140727230810992 140222706451968 140223162820309 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29113] ppid=29052 vsize=14069564 memory=1228 CPUtime=0.07 cores=1,3,5,7
/proc/29055/task/29113/stat : 29113 (java) S 29052 29055 8289 0 -1 1077944384 3 12664 0 0 0 0 5 2 20 0 15 0 112352192 14407233536 2245763 18446744073709551615 4194304 4196468 140727230810992 140222705400528 140223162828699 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29114] ppid=29052 vsize=14069564 memory=14356 CPUtime=4.46 cores=1,3,5,7
/proc/29055/task/29114/stat : 29114 (java) S 29052 29055 8289 0 -1 1077944384 14940 12664 0 0 436 3 5 2 20 0 15 0 112352192 14407233536 2245763 18446744073709551615 4194304 4196468 140727230810992 140222704347120 140223162821250 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29115] ppid=29052 vsize=14069564 memory=1008 CPUtime=4.9 cores=1,3,5,7
/proc/29055/task/29115/stat : 29115 (java) S 29052 29055 8289 0 -1 1077944384 14573 12664 0 0 481 2 5 2 20 0 15 0 112352193 14407233536 2245763 18446744073709551615 4194304 4196468 140727230810992 140222703294576 140223162821250 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29116] ppid=29052 vsize=14069564 memory=2012 CPUtime=2.23 cores=1,3,5,7
/proc/29055/task/29116/stat : 29116 (java) S 29052 29055 8289 0 -1 1077944384 14942 12664 0 0 212 4 5 2 20 0 15 0 112352193 14407233536 2245763 18446744073709551615 4194304 4196468 140727230810992 140222702242032 140223162821250 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29117] ppid=29052 vsize=14069564 memory=11136 CPUtime=0.07 cores=1,3,5,7
/proc/29055/task/29117/stat : 29117 (java) S 29052 29055 8289 0 -1 1077944384 3 12664 0 0 0 0 5 2 20 0 15 0 112352193 14407233536 2245763 18446744073709551615 4194304 4196468 140727230810992 140222701189728 140223162820309 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29118] ppid=29052 vsize=14069564 memory=7667775711551383653 CPUtime=0.13 cores=1,3,5,7
/proc/29055/task/29118/stat : 29118 (java) R 29052 29055 8289 0 -1 1077944384 372 12664 0 0 2 4 5 2 20 0 15 0 112352195 14407233536 2245763 18446744073709551615 4194304 4196468 140727230810992 140222700137264 140223162821250 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
Current children cumulated CPU time: 252.43 s
Current children cumulated vsize: 14069564 KiB
Current children cumulated memory: 8983052 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+132.209 s]
# the end of solver process 29055 was just reported to runsolver
# cumulated CPU time of all completed processes: user=252.703 s, system=7.10908 s
Solver just ended.
Dumping a history of the last processes samples
[startup+131.201 s]
/proc/loadavg: 2.60 1.94 1.90 6/212 29122
/proc/meminfo: memFree=21276764/32770624 swapFree=67108860/67108860
[pid=29055] ppid=29052 vsize=14202692 memory=9240228 CPUtime=256.63 cores=1,3,5,7
/proc/29055/stat : 29055 (java) S 29052 29055 8289 0 -1 1077944320 2130080 12664 0 0 24966 690 5 2 20 0 17 0 112352168 14543556608 2310057 18446744073709551615 4194304 4196468 140727230810992 140727230793536 140223162810103 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
/proc/29055/statm: 3550673 2310057 3485 1 0 3539287 0
[pid=29055/tid=29105] ppid=29052 vsize=14202692 memory=792 CPUtime=91.94 cores=1,3,5,7
/proc/29055/task/29105/stat : 29105 (java) R 29052 29055 8289 0 -1 4202560 538099 12664 0 0 9110 77 5 2 20 0 17 0 112352187 14543556608 2310057 18446744073709551615 4194304 4196468 140727230810992 140223167036720 140222798770724 0 4 1 16800974 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29106] ppid=29052 vsize=14202692 memory=1716 CPUtime=38.28 cores=1,3,5,7
/proc/29055/task/29106/stat : 29106 (java) S 29052 29055 8289 0 -1 1077944384 369643 12664 0 0 3672 149 5 2 20 0 17 0 112352188 14543556608 2310057 18446744073709551615 4194304 4196468 140727230810992 140223104755984 140223162820309 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29107] ppid=29052 vsize=14202692 memory=-8774313645642428999 CPUtime=38.19 cores=1,3,5,7
/proc/29055/task/29107/stat : 29107 (java) S 29052 29055 8289 0 -1 1077944384 387137 12664 0 0 3664 148 5 2 20 0 17 0 112352188 14543556608 2310057 18446744073709551615 4194304 4196468 140727230810992 140223103703440 140223162820309 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29108] ppid=29052 vsize=14202692 memory=1200 CPUtime=38.44 cores=1,3,5,7
/proc/29055/task/29108/stat : 29108 (java) S 29052 29055 8289 0 -1 1077944384 375795 12664 0 0 3689 148 5 2 20 0 17 0 112352188 14543556608 2310057 18446744073709551615 4194304 4196468 140727230810992 140223102650896 140223162820309 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29109] ppid=29052 vsize=14202692 memory=15876 CPUtime=38.26 cores=1,3,5,7
/proc/29055/task/29109/stat : 29109 (java) S 29052 29055 8289 0 -1 1077944384 366100 12664 0 0 3671 148 5 2 20 0 17 0 112352188 14543556608 2310057 18446744073709551615 4194304 4196468 140727230810992 140223101598352 140223162820309 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29110] ppid=29052 vsize=14202692 memory=4040 CPUtime=0.31 cores=1,3,5,7
/proc/29055/task/29110/stat : 29110 (java) S 29052 29055 8289 0 -1 1077944384 46099 12664 0 0 22 2 5 2 20 0 17 0 112352189 14543556608 2310057 18446744073709551615 4194304 4196468 140727230810992 140222708558320 140223162821250 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29111] ppid=29052 vsize=14202692 memory=-8774313645642428999 CPUtime=0.07 cores=1,3,5,7
/proc/29055/task/29111/stat : 29111 (java) S 29052 29055 8289 0 -1 1077944384 54 12664 0 0 0 0 5 2 20 0 17 0 112352190 14543556608 2310057 18446744073709551615 4194304 4196468 140727230810992 140222707504672 140223162820309 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29112] ppid=29052 vsize=14202692 memory=928 CPUtime=0.07 cores=1,3,5,7
/proc/29055/task/29112/stat : 29112 (java) S 29052 29055 8289 0 -1 1077944384 55 12664 0 0 0 0 5 2 20 0 17 0 112352190 14543556608 2310057 18446744073709551615 4194304 4196468 140727230810992 140222706451968 140223162820309 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29113] ppid=29052 vsize=14202692 memory=1620 CPUtime=0.07 cores=1,3,5,7
/proc/29055/task/29113/stat : 29113 (java) S 29052 29055 8289 0 -1 1077944384 55 12664 0 0 0 0 5 2 20 0 17 0 112352192 14543556608 2310057 18446744073709551615 4194304 4196468 140727230810992 140222705400528 140223162828699 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29114] ppid=29052 vsize=14202692 memory=844 CPUtime=4.46 cores=1,3,5,7
/proc/29055/task/29114/stat : 29114 (java) S 29052 29055 8289 0 -1 1077944384 14940 12664 0 0 436 3 5 2 20 0 17 0 112352192 14543556608 2310057 18446744073709551615 4194304 4196468 140727230810992 140222704347120 140223162821250 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29115] ppid=29052 vsize=14202692 memory=8982812 CPUtime=4.9 cores=1,3,5,7
/proc/29055/task/29115/stat : 29115 (java) S 29052 29055 8289 0 -1 1077944384 14573 12664 0 0 481 2 5 2 20 0 17 0 112352193 14543556608 2310057 18446744073709551615 4194304 4196468 140727230810992 140222703294576 140223162821250 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29116] ppid=29052 vsize=14202692 memory=7013067136522805868 CPUtime=2.23 cores=1,3,5,7
/proc/29055/task/29116/stat : 29116 (java) S 29052 29055 8289 0 -1 1077944384 14942 12664 0 0 212 4 5 2 20 0 17 0 112352193 14543556608 2310057 18446744073709551615 4194304 4196468 140727230810992 140222702242032 140223162821250 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29117] ppid=29052 vsize=14202692 memory=6009606632858807393 CPUtime=0.07 cores=1,3,5,7
/proc/29055/task/29117/stat : 29117 (java) S 29052 29055 8289 0 -1 1077944384 3 12664 0 0 0 0 5 2 20 0 17 0 112352193 14543556608 2310057 18446744073709551615 4194304 4196468 140727230810992 140222701189728 140223162820309 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29118] ppid=29052 vsize=14202692 memory=7590655979367786548 CPUtime=0.13 cores=1,3,5,7
/proc/29055/task/29118/stat : 29118 (java) S 29052 29055 8289 0 -1 1077944384 375 12664 0 0 2 4 5 2 20 0 17 0 112352195 14543556608 2310057 18446744073709551615 4194304 4196468 140727230810992 140222700137264 140223162821250 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
Current children cumulated CPU time: 256.63 s
Current children cumulated vsize: 14202692 KiB
Current children cumulated memory: 9240228 KiB
[startup+131.602 s]
/proc/loadavg: 2.60 1.94 1.90 6/212 29122
/proc/meminfo: memFree=21276764/32770624 swapFree=67108860/67108860
[pid=29055] ppid=29052 vsize=14202692 memory=9256628 CPUtime=257.91 cores=1,3,5,7
/proc/29055/stat : 29055 (java) S 29052 29055 8289 0 -1 1077944320 2130580 12664 0 0 25094 690 5 2 20 0 17 0 112352168 14543556608 2314157 18446744073709551615 4194304 4196468 140727230810992 140727230793536 140223162810103 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
/proc/29055/statm: 3550673 2314157 3485 1 0 3539287 0
[pid=29055/tid=29105] ppid=29052 vsize=14202692 memory=54408 CPUtime=92.04 cores=1,3,5,7
/proc/29055/task/29105/stat : 29105 (java) S 29052 29055 8289 0 -1 1077944384 538206 12664 0 0 9120 77 5 2 20 0 17 0 112352187 14543556608 2314157 18446744073709551615 4194304 4196468 140727230810992 140223167047888 140223162820309 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29106] ppid=29052 vsize=14202692 memory=1296 CPUtime=38.58 cores=1,3,5,7
/proc/29055/task/29106/stat : 29106 (java) R 29052 29055 8289 0 -1 4202560 369732 12664 0 0 3702 149 5 2 20 0 17 0 112352188 14543556608 2314157 18446744073709551615 4194304 4196468 140727230810992 140223104755984 140223144436005 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29107] ppid=29052 vsize=14202692 memory=2440 CPUtime=38.48 cores=1,3,5,7
/proc/29055/task/29107/stat : 29107 (java) R 29052 29055 8289 0 -1 4202560 387220 12664 0 0 3693 148 5 2 20 0 17 0 112352188 14543556608 2314157 18446744073709551615 4194304 4196468 140727230810992 140223103703640 140223147834332 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29108] ppid=29052 vsize=14202692 memory=1724 CPUtime=38.73 cores=1,3,5,7
/proc/29055/task/29108/stat : 29108 (java) R 29052 29055 8289 0 -1 4202560 375868 12664 0 0 3718 148 5 2 20 0 17 0 112352188 14543556608 2314157 18446744073709551615 4194304 4196468 140727230810992 140223102650784 140223144436038 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29109] ppid=29052 vsize=14202692 memory=792 CPUtime=38.56 cores=1,3,5,7
/proc/29055/task/29109/stat : 29109 (java) R 29052 29055 8289 0 -1 4202560 366189 12664 0 0 3700 149 5 2 20 0 17 0 112352188 14543556608 2314157 18446744073709551615 4194304 4196468 140727230810992 140223101598552 140223144436051 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29110] ppid=29052 vsize=14202692 memory=164 CPUtime=0.31 cores=1,3,5,7
/proc/29055/task/29110/stat : 29110 (java) S 29052 29055 8289 0 -1 1077944384 46099 12664 0 0 22 2 5 2 20 0 17 0 112352189 14543556608 2314157 18446744073709551615 4194304 4196468 140727230810992 140222708556912 140223162820309 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29111] ppid=29052 vsize=14202692 memory=8514726395714825349 CPUtime=0.07 cores=1,3,5,7
/proc/29055/task/29111/stat : 29111 (java) S 29052 29055 8289 0 -1 1077944384 54 12664 0 0 0 0 5 2 20 0 17 0 112352190 14543556608 2314157 18446744073709551615 4194304 4196468 140727230810992 140222707504672 140223162820309 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29112] ppid=29052 vsize=14202692 memory=7822038051842261661 CPUtime=0.07 cores=1,3,5,7
/proc/29055/task/29112/stat : 29112 (java) S 29052 29055 8289 0 -1 1077944384 55 12664 0 0 0 0 5 2 20 0 17 0 112352190 14543556608 2314157 18446744073709551615 4194304 4196468 140727230810992 140222706451968 140223162820309 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29113] ppid=29052 vsize=14202692 memory=4715433313220523562 CPUtime=0.07 cores=1,3,5,7
/proc/29055/task/29113/stat : 29113 (java) S 29052 29055 8289 0 -1 1077944384 55 12664 0 0 0 0 5 2 20 0 17 0 112352192 14543556608 2314157 18446744073709551615 4194304 4196468 140727230810992 140222705400528 140223162828699 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29114] ppid=29052 vsize=14202692 memory=4713745541279610410 CPUtime=4.46 cores=1,3,5,7
/proc/29055/task/29114/stat : 29114 (java) S 29052 29055 8289 0 -1 1077944384 14946 12664 0 0 436 3 5 2 20 0 17 0 112352192 14543556608 2314157 18446744073709551615 4194304 4196468 140727230810992 140222704336448 140223162820309 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29115] ppid=29052 vsize=14202692 memory=-8707038579349950309 CPUtime=4.9 cores=1,3,5,7
/proc/29055/task/29115/stat : 29115 (java) S 29052 29055 8289 0 -1 1077944384 14615 12664 0 0 481 2 5 2 20 0 17 0 112352193 14543556608 2314157 18446744073709551615 4194304 4196468 140727230810992 140222703283008 140223162820309 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29116] ppid=29052 vsize=14202692 memory=7596606704687003477 CPUtime=2.23 cores=1,3,5,7
/proc/29055/task/29116/stat : 29116 (java) S 29052 29055 8289 0 -1 1077944384 14952 12664 0 0 212 4 5 2 20 0 17 0 112352193 14543556608 2314157 18446744073709551615 4194304 4196468 140727230810992 140222702242032 140223162821250 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29117] ppid=29052 vsize=14202692 memory=288284467825745738 CPUtime=0.07 cores=1,3,5,7
/proc/29055/task/29117/stat : 29117 (java) S 29052 29055 8289 0 -1 1077944384 3 12664 0 0 0 0 5 2 20 0 17 0 112352193 14543556608 2314157 18446744073709551615 4194304 4196468 140727230810992 140222701189728 140223162820309 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29118] ppid=29052 vsize=14202692 memory=288230376152704356 CPUtime=0.14 cores=1,3,5,7
/proc/29055/task/29118/stat : 29118 (java) S 29052 29055 8289 0 -1 1077944384 375 12664 0 0 2 5 5 2 20 0 17 0 112352195 14543556608 2314157 18446744073709551615 4194304 4196468 140727230810992 140222700137264 140223162821250 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
Current children cumulated CPU time: 257.91 s
Current children cumulated vsize: 14202692 KiB
Current children cumulated memory: 9256628 KiB
[startup+132.011 s]*
/proc/loadavg: 2.60 1.94 1.90 6/214 29124
/proc/meminfo: memFree=21239508/32770624 swapFree=67108860/67108860
[pid=29055] ppid=29052 vsize=14202692 memory=9256628 CPUtime=259.57 cores=1,3,5,7
/proc/29055/stat : 29055 (java) S 29052 29055 8289 0 -1 1077944320 2130618 12664 0 0 25260 690 5 2 20 0 17 0 112352168 14543556608 2314157 18446744073709551615 4194304 4196468 140727230810992 140727230793536 140223162810103 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
/proc/29055/statm: 3550673 2314157 3485 1 0 3539287 0
[pid=29055/tid=29105] ppid=29052 vsize=14202692 memory=-8774313645642428999 CPUtime=92.04 cores=1,3,5,7
/proc/29055/task/29105/stat : 29105 (java) S 29052 29055 8289 0 -1 1077944384 538206 12664 0 0 9120 77 5 2 20 0 17 0 112352187 14543556608 2314157 18446744073709551615 4194304 4196468 140727230810992 140223167047888 140223162820309 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29106] ppid=29052 vsize=14202692 memory=15825482134324680 CPUtime=38.99 cores=1,3,5,7
/proc/29055/task/29106/stat : 29106 (java) R 29052 29055 8289 0 -1 4202560 369743 12664 0 0 3743 149 5 2 20 0 17 0 112352188 14543556608 2314157 18446744073709551615 4194304 4196468 140727230810992 140223104756184 140223144435882 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29107] ppid=29052 vsize=14202692 memory=4288 CPUtime=38.9 cores=1,3,5,7
/proc/29055/task/29107/stat : 29107 (java) R 29052 29055 8289 0 -1 4202560 387229 12664 0 0 3735 148 5 2 20 0 17 0 112352188 14543556608 2314157 18446744073709551615 4194304 4196468 140727230810992 140223103703640 140223142005232 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29108] ppid=29052 vsize=14202692 memory=2164 CPUtime=39.15 cores=1,3,5,7
/proc/29055/task/29108/stat : 29108 (java) R 29052 29055 8289 0 -1 4202560 375874 12664 0 0 3760 148 5 2 20 0 17 0 112352188 14543556608 2314157 18446744073709551615 4194304 4196468 140727230810992 140223102650784 140223147838080 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29109] ppid=29052 vsize=14202692 memory=928 CPUtime=38.96 cores=1,3,5,7
/proc/29055/task/29109/stat : 29109 (java) R 29052 29055 8289 0 -1 4202560 366201 12664 0 0 3740 149 5 2 20 0 17 0 112352188 14543556608 2314157 18446744073709551615 4194304 4196468 140727230810992 140223101598552 140223144435952 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29110] ppid=29052 vsize=14202692 memory=1620 CPUtime=0.31 cores=1,3,5,7
/proc/29055/task/29110/stat : 29110 (java) S 29052 29055 8289 0 -1 1077944384 46099 12664 0 0 22 2 5 2 20 0 17 0 112352189 14543556608 2314157 18446744073709551615 4194304 4196468 140727230810992 140222708556912 140223162820309 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29111] ppid=29052 vsize=14202692 memory=844 CPUtime=0.07 cores=1,3,5,7
/proc/29055/task/29111/stat : 29111 (java) S 29052 29055 8289 0 -1 1077944384 54 12664 0 0 0 0 5 2 20 0 17 0 112352190 14543556608 2314157 18446744073709551615 4194304 4196468 140727230810992 140222707504672 140223162820309 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29112] ppid=29052 vsize=14202692 memory=18484 CPUtime=0.07 cores=1,3,5,7
/proc/29055/task/29112/stat : 29112 (java) S 29052 29055 8289 0 -1 1077944384 55 12664 0 0 0 0 5 2 20 0 17 0 112352190 14543556608 2314157 18446744073709551615 4194304 4196468 140727230810992 140222706451968 140223162820309 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29113] ppid=29052 vsize=14202692 memory=3912 CPUtime=0.07 cores=1,3,5,7
/proc/29055/task/29113/stat : 29113 (java) S 29052 29055 8289 0 -1 1077944384 55 12664 0 0 0 0 5 2 20 0 17 0 112352192 14543556608 2314157 18446744073709551615 4194304 4196468 140727230810992 140222705400528 140223162828699 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29114] ppid=29052 vsize=14202692 memory=2880 CPUtime=4.46 cores=1,3,5,7
/proc/29055/task/29114/stat : 29114 (java) S 29052 29055 8289 0 -1 1077944384 14946 12664 0 0 436 3 5 2 20 0 17 0 112352192 14543556608 2314157 18446744073709551615 4194304 4196468 140727230810992 140222704336448 140223162820309 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29115] ppid=29052 vsize=14202692 memory=2884 CPUtime=4.9 cores=1,3,5,7
/proc/29055/task/29115/stat : 29115 (java) S 29052 29055 8289 0 -1 1077944384 14615 12664 0 0 481 2 5 2 20 0 17 0 112352193 14543556608 2314157 18446744073709551615 4194304 4196468 140727230810992 140222703283008 140223162820309 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29116] ppid=29052 vsize=14202692 memory=4068 CPUtime=2.23 cores=1,3,5,7
/proc/29055/task/29116/stat : 29116 (java) S 29052 29055 8289 0 -1 1077944384 14952 12664 0 0 212 4 5 2 20 0 17 0 112352193 14543556608 2314157 18446744073709551615 4194304 4196468 140727230810992 140222702242032 140223162821250 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29117] ppid=29052 vsize=14202692 memory=1156 CPUtime=0.07 cores=1,3,5,7
/proc/29055/task/29117/stat : 29117 (java) S 29052 29055 8289 0 -1 1077944384 3 12664 0 0 0 0 5 2 20 0 17 0 112352193 14543556608 2314157 18446744073709551615 4194304 4196468 140727230810992 140222701189728 140223162820309 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29118] ppid=29052 vsize=14202692 memory=9250484 CPUtime=0.14 cores=1,3,5,7
/proc/29055/task/29118/stat : 29118 (java) S 29052 29055 8289 0 -1 1077944384 375 12664 0 0 2 5 5 2 20 0 17 0 112352195 14543556608 2314157 18446744073709551615 4194304 4196468 140727230810992 140222700137264 140223162821250 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29123] ppid=29052 vsize=14202692 memory=-8774313645642428999 CPUtime=0.07 cores=1,3,5,7
/proc/29055/task/29123/stat : 29123 (java) S 29052 29055 8289 0 -1 1077944384 37 12664 0 0 0 0 5 2 20 0 17 0 112365271 14543556608 2314157 18446744073709551615 4194304 4196468 140727230810992 140222697779824 140223162820309 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
[pid=29055/tid=29124] ppid=29052 vsize=14202692 memory=4168 CPUtime=0.07 cores=1,3,5,7
/proc/29055/task/29124/stat : 29124 (java) S 29052 29055 8289 0 -1 1077944384 22 12664 0 0 0 0 5 2 20 0 17 0 112365271 14543556608 2314157 18446744073709551615 4194304 4196468 140727230810992 140222037915072 140223162820309 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20103168 140727230818224 140727230821009 140727230821009 140727230824399 0
Current children cumulated CPU time: 259.57 s
Current children cumulated vsize: 14202692 KiB
Current children cumulated memory: 9256628 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 132.209
CPU time (s): 259.812
CPU user time (s): 252.703
CPU system time (s): 7.10908
CPU usage (%): 196.516
Max. virtual memory (cumulated for all children) (KiB): 14202692
Max. memory (cumulated for all children) (KiB): 9256628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 252.703
system time used= 7.10908
maximum resident set size= 9257276
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2143288
page faults= 0
swaps= 0
block input operations= 0
block output operations= 344
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22378
involuntary context switches= 2230
# summary of solver processes directly reported to runsolver:
# pid: 29055
# total CPU time (s): 259.812
# total CPU user time (s): 252.703
# total CPU system time (s): 7.10908
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.760927 second user time and 1.33877 second system time
The end