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 (10321 MiB free)
memory of node 1: 16384 MiB (6382 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306869-1534102803/watcher-4306869-1534102803 -o /tmp/evaluation-result-4306869-1534102803/solver-4306869-1534102803 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1534097780-4445 --watchdog 2580 HOME/xcsp3-exec -seed 2060360025 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306869-1534102803.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=5137, runsolver pid=5134
[startup+0.100142 s]*
/proc/loadavg: 1.88 1.81 1.81 3/218 5153
/proc/meminfo: memFree=17087376/32770624 swapFree=67108796/67108860
[pid=5137] ppid=5134 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5137/stat : 5137 (xcsp3-exec) S 5134 5137 4413 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 227843450 115843072 363 33554432000 4194304 5098028 140735507583632 140735507581736 140654256857724 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32985088 140735507592250 140735507592452 140735507592452 140735507595210 0
/proc/5137/statm: 28282 363 305 221 0 87 0
[pid=5139] ppid=5137 vsize=14082940 memory=28920 CPUtime=0.12 cores=1,3,5,7
/proc/5139/stat : 5139 (java) S 5137 5137 4413 0 -1 1077944320 5653 0 0 0 11 1 0 0 20 0 15 0 227843451 14420930560 7230 33554432000 4194304 4196468 140727953713568 140727953696112 140160051326711 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
/proc/5139/statm: 3520735 7230 2992 1 0 3483012 0
[pid=5139/tid=5140] ppid=5137 vsize=14082940 memory=-8976644418600983157 CPUtime=0.08 cores=1,3,5,7
/proc/5139/task/5140/stat : 5140 (java) R 5137 5137 4413 0 -1 4202560 3671 0 0 0 8 0 0 0 20 0 15 0 227843451 14420930560 7230 33554432000 4194304 4196468 140727953713568 140160055559984 140160051338646 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5141] ppid=5137 vsize=14082940 memory=3472467848248423632 CPUtime=0 cores=1,3,5,7
/proc/5139/task/5141/stat : 5141 (java) S 5137 5137 4413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227843452 14420930560 7230 33554432000 4194304 4196468 140727953713568 140159647595280 140160051336917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5142] ppid=5137 vsize=14082940 memory=139719353271936 CPUtime=0 cores=1,3,5,7
/proc/5139/task/5142/stat : 5142 (java) S 5137 5137 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227843452 14420930560 7230 33554432000 4194304 4196468 140727953713568 140159646542736 140160051336917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5143] ppid=5137 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5139/task/5143/stat : 5143 (java) S 5137 5137 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227843452 14420930560 7230 33554432000 4194304 4196468 140727953713568 140159645490192 140160051336917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5144] ppid=5137 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5139/task/5144/stat : 5144 (java) S 5137 5137 4413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227843452 14420930560 7230 33554432000 4194304 4196468 140727953713568 140159644437648 140160051336917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5145] ppid=5137 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5139/task/5145/stat : 5145 (java) S 5137 5137 4413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227843453 14420930560 7230 33554432000 4194304 4196468 140727953713568 140158963746800 140160051337858 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5146] ppid=5137 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5139/task/5146/stat : 5146 (java) S 5137 5137 4413 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 227843453 14420930560 7230 33554432000 4194304 4196468 140727953713568 140158962693024 140160051336917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5147] ppid=5137 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5139/task/5147/stat : 5147 (java) S 5137 5137 4413 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 227843454 14420930560 7230 33554432000 4194304 4196468 140727953713568 140158961640432 140160051336917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5148] ppid=5137 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5139/task/5148/stat : 5148 (java) S 5137 5137 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227843456 14420930560 7230 33554432000 4194304 4196468 140727953713568 140158960589008 140160051345307 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5149] ppid=5137 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5139/task/5149/stat : 5149 (java) S 5137 5137 4413 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 227843456 14420930560 7230 33554432000 4194304 4196468 140727953713568 140158959536624 140160051337858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5150] ppid=5137 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5139/task/5150/stat : 5150 (java) S 5137 5137 4413 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 227843456 14420930560 7230 33554432000 4194304 4196468 140727953713568 140158958484080 140160051337858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5151] ppid=5137 vsize=14082940 memory=139719353271936 CPUtime=0.01 cores=1,3,5,7
/proc/5139/task/5151/stat : 5151 (java) R 5137 5137 4413 0 -1 4202560 255 0 0 0 1 0 0 0 20 0 15 0 227843456 14420930560 7230 33554432000 4194304 4196468 140727953713568 140158957431536 140160032564272 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5152] ppid=5137 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5139/task/5152/stat : 5152 (java) S 5137 5137 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227843456 14420930560 7230 33554432000 4194304 4196468 140727953713568 140158956379232 140160051336917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5153] ppid=5137 vsize=14082940 memory=139719353271936 CPUtime=0 cores=1,3,5,7
/proc/5139/task/5153/stat : 5153 (java) S 5137 5137 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227843456 14420930560 7230 33554432000 4194304 4196468 140727953713568 140158955325744 140160051337858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30372 KiB
[startup+0.215194 s]*
/proc/loadavg: 1.88 1.81 1.81 5/218 5153
/proc/meminfo: memFree=17075816/32770624 swapFree=67108796/67108860
[pid=5137] ppid=5134 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5137/stat : 5137 (xcsp3-exec) S 5134 5137 4413 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 227843450 115843072 363 33554432000 4194304 5098028 140735507583632 140735507581736 140654256857724 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32985088 140735507592250 140735507592452 140735507592452 140735507595210 0
/proc/5137/statm: 28282 363 305 221 0 87 0
[pid=5139] ppid=5137 vsize=14087196 memory=41440 CPUtime=0.34 cores=1,3,5,7
/proc/5139/stat : 5139 (java) S 5137 5137 4413 0 -1 1077944320 8401 0 0 0 32 2 0 0 20 0 15 0 227843451 14425288704 10360 33554432000 4194304 4196468 140727953713568 140727953696112 140160051326711 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
/proc/5139/statm: 3521799 10360 3201 1 0 3483012 0
[pid=5139/tid=5140] ppid=5137 vsize=14087196 memory=4500115623978573208 CPUtime=0.2 cores=1,3,5,7
/proc/5139/task/5140/stat : 5140 (java) R 5137 5137 4413 0 -1 4202560 5549 0 0 0 19 1 0 0 20 0 15 0 227843451 14425288704 10360 33554432000 4194304 4196468 140727953713568 140160055547704 140160035407198 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5141] ppid=5137 vsize=14087196 memory=3472467848248423632 CPUtime=0 cores=1,3,5,7
/proc/5139/task/5141/stat : 5141 (java) S 5137 5137 4413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227843452 14425288704 10360 33554432000 4194304 4196468 140727953713568 140159647595280 140160051336917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5142] ppid=5137 vsize=14087196 memory=139719353271936 CPUtime=0 cores=1,3,5,7
/proc/5139/task/5142/stat : 5142 (java) S 5137 5137 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227843452 14425288704 10360 33554432000 4194304 4196468 140727953713568 140159646542736 140160051336917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5143] ppid=5137 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5139/task/5143/stat : 5143 (java) S 5137 5137 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227843452 14425288704 10360 33554432000 4194304 4196468 140727953713568 140159645490192 140160051336917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5144] ppid=5137 vsize=14087196 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5139/task/5144/stat : 5144 (java) S 5137 5137 4413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227843452 14425288704 10360 33554432000 4194304 4196468 140727953713568 140159644437648 140160051336917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5145] ppid=5137 vsize=14087196 memory=139719353271936 CPUtime=0 cores=1,3,5,7
/proc/5139/task/5145/stat : 5145 (java) S 5137 5137 4413 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 227843453 14425288704 10360 33554432000 4194304 4196468 140727953713568 140158963746800 140160051337858 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5146] ppid=5137 vsize=14087196 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5139/task/5146/stat : 5146 (java) S 5137 5137 4413 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 227843453 14425288704 10360 33554432000 4194304 4196468 140727953713568 140158962693024 140160051336917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5147] ppid=5137 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5139/task/5147/stat : 5147 (java) S 5137 5137 4413 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 227843454 14425288704 10360 33554432000 4194304 4196468 140727953713568 140158961640432 140160051336917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5148] ppid=5137 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5139/task/5148/stat : 5148 (java) S 5137 5137 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227843456 14425288704 10360 33554432000 4194304 4196468 140727953713568 140158960589008 140160051345307 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5149] ppid=5137 vsize=14087196 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/5139/task/5149/stat : 5149 (java) S 5137 5137 4413 0 -1 1077944384 515 0 0 0 2 0 0 0 20 0 15 0 227843456 14425288704 10360 33554432000 4194304 4196468 140727953713568 140158959536624 140160051337858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5150] ppid=5137 vsize=14087196 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/5139/task/5150/stat : 5150 (java) S 5137 5137 4413 0 -1 1077944384 279 0 0 0 2 0 0 0 20 0 15 0 227843456 14425288704 10360 33554432000 4194304 4196468 140727953713568 140158958484080 140160051337858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5151] ppid=5137 vsize=14087196 memory=139719353271936 CPUtime=0.08 cores=1,3,5,7
/proc/5139/task/5151/stat : 5151 (java) S 5137 5137 4413 0 -1 1077944384 756 0 0 0 8 0 0 0 20 0 15 0 227843456 14425288704 10360 33554432000 4194304 4196468 140727953713568 140158957431536 140160051337858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5152] ppid=5137 vsize=14087196 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5139/task/5152/stat : 5152 (java) S 5137 5137 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227843456 14425288704 10360 33554432000 4194304 4196468 140727953713568 140158956379232 140160051336917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5153] ppid=5137 vsize=14087196 memory=139719353271936 CPUtime=0 cores=1,3,5,7
/proc/5139/task/5153/stat : 5153 (java) S 5137 5137 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227843456 14425288704 10360 33554432000 4194304 4196468 140727953713568 140158955325744 140160051337858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 42892 KiB
[startup+0.312023 s]*
/proc/loadavg: 1.88 1.81 1.81 4/218 5153
/proc/meminfo: memFree=17069612/32770624 swapFree=67108796/67108860
[pid=5137] ppid=5134 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5137/stat : 5137 (xcsp3-exec) S 5134 5137 4413 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 227843450 115843072 363 33554432000 4194304 5098028 140735507583632 140735507581736 140654256857724 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32985088 140735507592250 140735507592452 140735507592452 140735507595210 0
/proc/5137/statm: 28282 363 305 221 0 87 0
[pid=5139] ppid=5137 vsize=14087196 memory=48376 CPUtime=0.53 cores=1,3,5,7
/proc/5139/stat : 5139 (java) S 5137 5137 4413 0 -1 1077944320 9230 0 0 0 50 3 0 0 20 0 15 0 227843451 14425288704 12094 33554432000 4194304 4196468 140727953713568 140727953696112 140160051326711 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
/proc/5139/statm: 3521799 12094 3263 1 0 3483012 0
[pid=5139/tid=5140] ppid=5137 vsize=14087196 memory=-8976644418600983157 CPUtime=0.3 cores=1,3,5,7
/proc/5139/task/5140/stat : 5140 (java) R 5137 5137 4413 0 -1 4202560 6201 0 0 0 28 2 0 0 20 0 15 0 227843451 14425288704 12094 33554432000 4194304 4196468 140727953713568 140160055563536 140160035407198 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5141] ppid=5137 vsize=14087196 memory=3472467848248423632 CPUtime=0 cores=1,3,5,7
/proc/5139/task/5141/stat : 5141 (java) S 5137 5137 4413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227843452 14425288704 12094 33554432000 4194304 4196468 140727953713568 140159647595280 140160051336917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5142] ppid=5137 vsize=14087196 memory=139719353271936 CPUtime=0 cores=1,3,5,7
/proc/5139/task/5142/stat : 5142 (java) S 5137 5137 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227843452 14425288704 12094 33554432000 4194304 4196468 140727953713568 140159646542736 140160051336917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5143] ppid=5137 vsize=14087196 memory=3 CPUtime=0 cores=1,3,5,7
/proc/5139/task/5143/stat : 5143 (java) S 5137 5137 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227843452 14425288704 12094 33554432000 4194304 4196468 140727953713568 140159645490192 140160051336917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5144] ppid=5137 vsize=14087196 memory=139719245703199 CPUtime=0 cores=1,3,5,7
/proc/5139/task/5144/stat : 5144 (java) S 5137 5137 4413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227843452 14425288704 12094 33554432000 4194304 4196468 140727953713568 140159644437648 140160051336917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5145] ppid=5137 vsize=14087196 memory=279438491367168 CPUtime=0 cores=1,3,5,7
/proc/5139/task/5145/stat : 5145 (java) S 5137 5137 4413 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 227843453 14425288704 12094 33554432000 4194304 4196468 140727953713568 140158963746800 140160051337858 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5146] ppid=5137 vsize=14087196 memory=139719245680143 CPUtime=0 cores=1,3,5,7
/proc/5139/task/5146/stat : 5146 (java) S 5137 5137 4413 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 227843453 14425288704 12094 33554432000 4194304 4196468 140727953713568 140158962693024 140160051336917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5147] ppid=5137 vsize=14087196 memory=279438598961248 CPUtime=0 cores=1,3,5,7
/proc/5139/task/5147/stat : 5147 (java) S 5137 5137 4413 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 227843454 14425288704 12094 33554432000 4194304 4196468 140727953713568 140158961640432 140160051336917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5148] ppid=5137 vsize=14087196 memory=139719245684751 CPUtime=0 cores=1,3,5,7
/proc/5139/task/5148/stat : 5148 (java) S 5137 5137 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227843456 14425288704 12094 33554432000 4194304 4196468 140727953713568 140158960589008 140160051345307 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5149] ppid=5137 vsize=14087196 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/5139/task/5149/stat : 5149 (java) S 5137 5137 4413 0 -1 1077944384 610 0 0 0 5 0 0 0 20 0 15 0 227843456 14425288704 12094 33554432000 4194304 4196468 140727953713568 140158959536624 140160051337858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5150] ppid=5137 vsize=14087196 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/5139/task/5150/stat : 5150 (java) S 5137 5137 4413 0 -1 1077944384 294 0 0 0 4 0 0 0 20 0 15 0 227843456 14425288704 12094 33554432000 4194304 4196468 140727953713568 140158958484080 140160051337858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5151] ppid=5137 vsize=14087196 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/5139/task/5151/stat : 5151 (java) S 5137 5137 4413 0 -1 1077944384 838 0 0 0 12 0 0 0 20 0 15 0 227843456 14425288704 12094 33554432000 4194304 4196468 140727953713568 140158957431536 140160051337858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5152] ppid=5137 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5139/task/5152/stat : 5152 (java) S 5137 5137 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227843456 14425288704 12094 33554432000 4194304 4196468 140727953713568 140158956379232 140160051336917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5153] ppid=5137 vsize=14087196 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5139/task/5153/stat : 5153 (java) S 5137 5137 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227843456 14425288704 12094 33554432000 4194304 4196468 140727953713568 140158955325744 140160051337858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49828 KiB
[startup+0.700864 s]
/proc/loadavg: 1.88 1.81 1.81 6/218 5153
/proc/meminfo: memFree=17044232/32770624 swapFree=67108796/67108860
[pid=5137] ppid=5134 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5137/stat : 5137 (xcsp3-exec) S 5134 5137 4413 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 227843450 115843072 363 33554432000 4194304 5098028 140735507583632 140735507581736 140654256857724 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32985088 140735507592250 140735507592452 140735507592452 140735507595210 0
/proc/5137/statm: 28282 363 305 221 0 87 0
[pid=5139] ppid=5137 vsize=14089320 memory=142340 CPUtime=1.74 cores=1,3,5,7
/proc/5139/stat : 5139 (java) S 5137 5137 4413 0 -1 1077944320 12303 0 0 0 170 4 0 0 20 0 15 0 227843451 14427463680 35585 33554432000 4194304 4196468 140727953713568 140727953696112 140160051326711 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
/proc/5139/statm: 3522330 35585 3352 1 0 3483524 0
[pid=5139/tid=5140] ppid=5137 vsize=14089320 memory=6154820267226784105 CPUtime=0.67 cores=1,3,5,7
/proc/5139/task/5140/stat : 5140 (java) R 5137 5137 4413 0 -1 4202560 6657 0 0 0 64 3 0 0 20 0 15 0 227843451 14427463680 35585 33554432000 4194304 4196468 140727953713568 140160055563648 140159692647957 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5141] ppid=5137 vsize=14089320 memory=5865465064658194540 CPUtime=0 cores=1,3,5,7
/proc/5139/task/5141/stat : 5141 (java) S 5137 5137 4413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227843452 14427463680 35585 33554432000 4194304 4196468 140727953713568 140159647595280 140160051336917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5142] ppid=5137 vsize=14089320 memory=5787213827063179601 CPUtime=0 cores=1,3,5,7
/proc/5139/task/5142/stat : 5142 (java) S 5137 5137 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227843452 14427463680 35585 33554432000 4194304 4196468 140727953713568 140159646542736 140160051336917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5143] ppid=5137 vsize=14089320 memory=7747766295893256779 CPUtime=0 cores=1,3,5,7
/proc/5139/task/5143/stat : 5143 (java) S 5137 5137 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227843452 14427463680 35585 33554432000 4194304 4196468 140727953713568 140159645490192 140160051336917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5144] ppid=5137 vsize=14089320 memory=3054156605267021953 CPUtime=0 cores=1,3,5,7
/proc/5139/task/5144/stat : 5144 (java) S 5137 5137 4413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227843452 14427463680 35585 33554432000 4194304 4196468 140727953713568 140159644437648 140160051336917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5145] ppid=5137 vsize=14089320 memory=6944656591801717918 CPUtime=0 cores=1,3,5,7
/proc/5139/task/5145/stat : 5145 (java) S 5137 5137 4413 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 227843453 14427463680 35585 33554432000 4194304 4196468 140727953713568 140158963746800 140160051337858 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5146] ppid=5137 vsize=14089320 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/5139/task/5146/stat : 5146 (java) S 5137 5137 4413 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 227843453 14427463680 35585 33554432000 4194304 4196468 140727953713568 140158962693024 140160051336917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5147] ppid=5137 vsize=14089320 memory=6884 CPUtime=0 cores=1,3,5,7
/proc/5139/task/5147/stat : 5147 (java) S 5137 5137 4413 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 227843454 14427463680 35585 33554432000 4194304 4196468 140727953713568 140158961640432 140160051336917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5148] ppid=5137 vsize=14089320 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/5139/task/5148/stat : 5148 (java) S 5137 5137 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227843456 14427463680 35585 33554432000 4194304 4196468 140727953713568 140158960589008 140160051345307 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5149] ppid=5137 vsize=14089320 memory=61932 CPUtime=0.39 cores=1,3,5,7
/proc/5139/task/5149/stat : 5149 (java) R 5137 5137 4413 0 -1 4202560 1471 0 0 0 39 0 0 0 20 0 15 0 227843456 14427463680 35585 33554432000 4194304 4196468 140727953713568 140158959526736 140160032871376 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5150] ppid=5137 vsize=14089320 memory=2056 CPUtime=0.37 cores=1,3,5,7
/proc/5139/task/5150/stat : 5150 (java) R 5137 5137 4413 0 -1 4202560 1296 0 0 0 37 0 0 0 20 0 15 0 227843456 14427463680 35585 33554432000 4194304 4196468 140727953713568 140158958473344 140160032654785 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5151] ppid=5137 vsize=14089320 memory=932 CPUtime=0.28 cores=1,3,5,7
/proc/5139/task/5151/stat : 5151 (java) S 5137 5137 4413 0 -1 1077944384 1569 0 0 0 28 0 0 0 20 0 15 0 227843456 14427463680 35585 33554432000 4194304 4196468 140727953713568 140158957431536 140160051337858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5152] ppid=5137 vsize=14089320 memory=7380063209972523600 CPUtime=0 cores=1,3,5,7
/proc/5139/task/5152/stat : 5152 (java) S 5137 5137 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227843456 14427463680 35585 33554432000 4194304 4196468 140727953713568 140158956379232 140160051336917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5153] ppid=5137 vsize=14089320 memory=8025788831307884116 CPUtime=0 cores=1,3,5,7
/proc/5139/task/5153/stat : 5153 (java) S 5137 5137 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227843456 14427463680 35585 33554432000 4194304 4196468 140727953713568 140158955325744 140160051337858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
Current children cumulated CPU time: 1.74 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 143792 KiB
[startup+1.50169 s]
/proc/loadavg: 1.88 1.81 1.81 3/218 5153
/proc/meminfo: memFree=16924840/32770624 swapFree=67108796/67108860
[pid=5137] ppid=5134 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5137/stat : 5137 (xcsp3-exec) S 5134 5137 4413 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 227843450 115843072 363 33554432000 4194304 5098028 140735507583632 140735507581736 140654256857724 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32985088 140735507592250 140735507592452 140735507592452 140735507595210 0
/proc/5137/statm: 28282 363 305 221 0 87 0
################
# More data... #
################
/proc/5139/task/5147/stat : 5147 (java) S 5137 5137 4413 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 227843454 14427463680 285552 33554432000 4194304 4196468 140727953713568 140158961640448 140160051336917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5148] ppid=5137 vsize=14089320 memory=33 CPUtime=0 cores=1,3,5,7
/proc/5139/task/5148/stat : 5148 (java) S 5137 5137 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227843456 14427463680 285552 33554432000 4194304 4196468 140727953713568 140158960589008 140160051345307 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5149] ppid=5137 vsize=14089320 memory=1452 CPUtime=2.95 cores=1,3,5,7
/proc/5139/task/5149/stat : 5149 (java) S 5137 5137 4413 0 -1 1077944384 21056 0 0 0 292 3 0 0 20 0 15 0 227843456 14427463680 285552 33554432000 4194304 4196468 140727953713568 140158959536624 140160051337858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5150] ppid=5137 vsize=14089320 memory=3632 CPUtime=3.11 cores=1,3,5,7
/proc/5139/task/5150/stat : 5150 (java) S 5137 5137 4413 0 -1 1077944384 18288 0 0 0 307 4 0 0 20 0 15 0 227843456 14427463680 285552 33554432000 4194304 4196468 140727953713568 140158958484080 140160051337858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5151] ppid=5137 vsize=14089320 memory=61988 CPUtime=0.75 cores=1,3,5,7
/proc/5139/task/5151/stat : 5151 (java) S 5137 5137 4413 0 -1 1077944384 7405 0 0 0 73 2 0 0 20 0 15 0 227843456 14427463680 285552 33554432000 4194304 4196468 140727953713568 140158957431536 140160051337858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5152] ppid=5137 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5139/task/5152/stat : 5152 (java) S 5137 5137 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227843456 14427463680 285552 33554432000 4194304 4196468 140727953713568 140158956379232 140160051336917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5153] ppid=5137 vsize=14089320 memory=922356 CPUtime=1.39 cores=1,3,5,7
/proc/5139/task/5153/stat : 5153 (java) S 5137 5137 4413 0 -1 1077944384 2244 0 0 0 55 84 0 0 20 0 15 0 227843456 14427463680 285552 33554432000 4194304 4196468 140727953713568 140158955325744 140160051337858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
Current children cumulated CPU time: 2396.12 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 1143660 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/217 5402
/proc/meminfo: memFree=15127224/32770624 swapFree=67108796/67108860
[pid=5137] ppid=5134 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5137/stat : 5137 (xcsp3-exec) S 5134 5137 4413 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 227843450 115843072 363 33554432000 4194304 5098028 140735507583632 140735507581736 140654256857724 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32985088 140735507592250 140735507592452 140735507592452 140735507595210 0
/proc/5137/statm: 28282 363 305 221 0 87 0
[pid=5139] ppid=5137 vsize=14089320 memory=1209696 CPUtime=2456.29 cores=1,3,5,7
/proc/5139/stat : 5139 (java) S 5137 5137 4413 0 -1 1077944320 103072 0 0 0 245461 168 0 0 20 0 15 0 227843451 14427463680 302424 33554432000 4194304 4196468 140727953713568 140727953696112 140160051326711 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
/proc/5139/statm: 3522330 302424 3438 1 0 3483524 0
[pid=5139/tid=5140] ppid=5137 vsize=14089320 memory=1209696 CPUtime=2440.14 cores=1,3,5,7
/proc/5139/task/5140/stat : 5140 (java) R 5137 5137 4413 0 -1 4202560 43019 0 0 0 243999 15 0 0 20 0 15 0 227843451 14427463680 302424 33554432000 4194304 4196468 140727953713568 140160055565384 140159696496906 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5141] ppid=5137 vsize=14089320 memory=1142208 CPUtime=1.9 cores=1,3,5,7
/proc/5139/task/5141/stat : 5141 (java) S 5137 5137 4413 0 -1 1077944384 1024 0 0 0 173 17 0 0 20 0 15 0 227843452 14427463680 302424 33554432000 4194304 4196468 140727953713568 140159647595280 140160051336917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5142] ppid=5137 vsize=14089320 memory=1142208 CPUtime=1.95 cores=1,3,5,7
/proc/5139/task/5142/stat : 5142 (java) S 5137 5137 4413 0 -1 1077944384 1411 0 0 0 178 17 0 0 20 0 15 0 227843452 14427463680 302424 33554432000 4194304 4196468 140727953713568 140159646542736 140160051336917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5143] ppid=5137 vsize=14089320 memory=1142208 CPUtime=1.9 cores=1,3,5,7
/proc/5139/task/5143/stat : 5143 (java) S 5137 5137 4413 0 -1 1077944384 1176 0 0 0 175 15 0 0 20 0 15 0 227843452 14427463680 302424 33554432000 4194304 4196468 140727953713568 140159645490192 140160051336917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5144] ppid=5137 vsize=14089320 memory=1209696 CPUtime=1.95 cores=1,3,5,7
/proc/5139/task/5144/stat : 5144 (java) S 5137 5137 4413 0 -1 1077944384 941 0 0 0 178 17 0 0 20 0 15 0 227843452 14427463680 302424 33554432000 4194304 4196468 140727953713568 140159644437648 140160051336917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5145] ppid=5137 vsize=14089320 memory=1209696 CPUtime=0.1 cores=1,3,5,7
/proc/5139/task/5145/stat : 5145 (java) S 5137 5137 4413 0 -1 1077944384 5068 0 0 0 7 3 0 0 20 0 15 0 227843453 14427463680 302424 33554432000 4194304 4196468 140727953713568 140158963746800 140160051337858 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5146] ppid=5137 vsize=14089320 memory=1209696 CPUtime=0 cores=1,3,5,7
/proc/5139/task/5146/stat : 5146 (java) S 5137 5137 4413 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 227843453 14427463680 302424 33554432000 4194304 4196468 140727953713568 140158962693088 140160051336917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5147] ppid=5137 vsize=14089320 memory=1209696 CPUtime=0 cores=1,3,5,7
/proc/5139/task/5147/stat : 5147 (java) S 5137 5137 4413 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 15 0 227843454 14427463680 302424 33554432000 4194304 4196468 140727953713568 140158961640448 140160051336917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5148] ppid=5137 vsize=14089320 memory=1209696 CPUtime=0 cores=1,3,5,7
/proc/5139/task/5148/stat : 5148 (java) S 5137 5137 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227843456 14427463680 302424 33554432000 4194304 4196468 140727953713568 140158960589008 140160051345307 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5149] ppid=5137 vsize=14089320 memory=1209696 CPUtime=2.95 cores=1,3,5,7
/proc/5139/task/5149/stat : 5149 (java) S 5137 5137 4413 0 -1 1077944384 21058 0 0 0 292 3 0 0 20 0 15 0 227843456 14427463680 302424 33554432000 4194304 4196468 140727953713568 140158959536624 140160051337858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5150] ppid=5137 vsize=14089320 memory=1452 CPUtime=3.11 cores=1,3,5,7
/proc/5139/task/5150/stat : 5150 (java) S 5137 5137 4413 0 -1 1077944384 18290 0 0 0 307 4 0 0 20 0 15 0 227843456 14427463680 302424 33554432000 4194304 4196468 140727953713568 140158958484080 140160051337858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5151] ppid=5137 vsize=14089320 memory=1209696 CPUtime=0.75 cores=1,3,5,7
/proc/5139/task/5151/stat : 5151 (java) S 5137 5137 4413 0 -1 1077944384 7505 0 0 0 73 2 0 0 20 0 15 0 227843456 14427463680 302424 33554432000 4194304 4196468 140727953713568 140158957431536 140160051337858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5152] ppid=5137 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5139/task/5152/stat : 5152 (java) S 5137 5137 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227843456 14427463680 302424 33554432000 4194304 4196468 140727953713568 140158956379232 140160051336917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5153] ppid=5137 vsize=14089320 memory=1209696 CPUtime=1.43 cores=1,3,5,7
/proc/5139/task/5153/stat : 5153 (java) S 5137 5137 4413 0 -1 1077944384 2265 0 0 0 57 86 0 0 20 0 15 0 227843456 14427463680 302424 33554432000 4194304 4196468 140727953713568 140158955325744 140160051337858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
Current children cumulated CPU time: 2456.29 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 1211148 KiB
[startup+2502.3 s]
/proc/loadavg: 2.04 1.99 1.99 3/217 5403
/proc/meminfo: memFree=14948872/32770624 swapFree=67108796/67108860
[pid=5137] ppid=5134 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5137/stat : 5137 (xcsp3-exec) S 5134 5137 4413 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 227843450 115843072 363 33554432000 4194304 5098028 140735507583632 140735507581736 140654256857724 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32985088 140735507592250 140735507592452 140735507592452 140735507595210 0
/proc/5137/statm: 28282 363 305 221 0 87 0
[pid=5139] ppid=5137 vsize=14089320 memory=1209696 CPUtime=2516.32 cores=1,3,5,7
/proc/5139/stat : 5139 (java) S 5137 5137 4413 0 -1 1077944320 103670 0 0 0 251463 169 0 0 20 0 15 0 227843451 14427463680 302424 33554432000 4194304 4196468 140727953713568 140727953696112 140160051326711 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
/proc/5139/statm: 3522330 302424 3438 1 0 3483524 0
[pid=5139/tid=5140] ppid=5137 vsize=14089320 memory=1209696 CPUtime=2500.14 cores=1,3,5,7
/proc/5139/task/5140/stat : 5140 (java) R 5137 5137 4413 0 -1 4202560 43586 0 0 0 249999 15 0 0 20 0 15 0 227843451 14427463680 302424 33554432000 4194304 4196468 140727953713568 140160055565384 140159696422659 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5141] ppid=5137 vsize=14089320 memory=1209696 CPUtime=1.9 cores=1,3,5,7
/proc/5139/task/5141/stat : 5141 (java) S 5137 5137 4413 0 -1 1077944384 1024 0 0 0 173 17 0 0 20 0 15 0 227843452 14427463680 302424 33554432000 4194304 4196468 140727953713568 140159647595280 140160051336917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5142] ppid=5137 vsize=14089320 memory=1209696 CPUtime=1.95 cores=1,3,5,7
/proc/5139/task/5142/stat : 5142 (java) S 5137 5137 4413 0 -1 1077944384 1411 0 0 0 178 17 0 0 20 0 15 0 227843452 14427463680 302424 33554432000 4194304 4196468 140727953713568 140159646542736 140160051336917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5143] ppid=5137 vsize=14089320 memory=1209696 CPUtime=1.9 cores=1,3,5,7
/proc/5139/task/5143/stat : 5143 (java) S 5137 5137 4413 0 -1 1077944384 1176 0 0 0 175 15 0 0 20 0 15 0 227843452 14427463680 302424 33554432000 4194304 4196468 140727953713568 140159645490192 140160051336917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5144] ppid=5137 vsize=14089320 memory=1452 CPUtime=1.95 cores=1,3,5,7
/proc/5139/task/5144/stat : 5144 (java) S 5137 5137 4413 0 -1 1077944384 941 0 0 0 178 17 0 0 20 0 15 0 227843452 14427463680 302424 33554432000 4194304 4196468 140727953713568 140159644437648 140160051336917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5145] ppid=5137 vsize=14089320 memory=1452 CPUtime=0.11 cores=1,3,5,7
/proc/5139/task/5145/stat : 5145 (java) S 5137 5137 4413 0 -1 1077944384 5070 0 0 0 7 4 0 0 20 0 15 0 227843453 14427463680 302424 33554432000 4194304 4196468 140727953713568 140158963746800 140160051337858 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5146] ppid=5137 vsize=14089320 memory=1209696 CPUtime=0 cores=1,3,5,7
/proc/5139/task/5146/stat : 5146 (java) S 5137 5137 4413 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 227843453 14427463680 302424 33554432000 4194304 4196468 140727953713568 140158962693088 140160051336917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5147] ppid=5137 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5139/task/5147/stat : 5147 (java) S 5137 5137 4413 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 15 0 227843454 14427463680 302424 33554432000 4194304 4196468 140727953713568 140158961640448 140160051336917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5148] ppid=5137 vsize=14089320 memory=1209696 CPUtime=0 cores=1,3,5,7
/proc/5139/task/5148/stat : 5148 (java) S 5137 5137 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227843456 14427463680 302424 33554432000 4194304 4196468 140727953713568 140158960589008 140160051345307 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5149] ppid=5137 vsize=14089320 memory=1452 CPUtime=2.96 cores=1,3,5,7
/proc/5139/task/5149/stat : 5149 (java) S 5137 5137 4413 0 -1 1077944384 21060 0 0 0 292 4 0 0 20 0 15 0 227843456 14427463680 302424 33554432000 4194304 4196468 140727953713568 140158959536624 140160051337858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5150] ppid=5137 vsize=14089320 memory=1452 CPUtime=3.11 cores=1,3,5,7
/proc/5139/task/5150/stat : 5150 (java) S 5137 5137 4413 0 -1 1077944384 18293 0 0 0 307 4 0 0 20 0 15 0 227843456 14427463680 302424 33554432000 4194304 4196468 140727953713568 140158958484080 140160051337858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5151] ppid=5137 vsize=14089320 memory=1209696 CPUtime=0.75 cores=1,3,5,7
/proc/5139/task/5151/stat : 5151 (java) S 5137 5137 4413 0 -1 1077944384 7507 0 0 0 73 2 0 0 20 0 15 0 227843456 14427463680 302424 33554432000 4194304 4196468 140727953713568 140158957431536 140160051337858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5152] ppid=5137 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5139/task/5152/stat : 5152 (java) S 5137 5137 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227843456 14427463680 302424 33554432000 4194304 4196468 140727953713568 140158956379232 140160051336917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5153] ppid=5137 vsize=14089320 memory=1209696 CPUtime=1.47 cores=1,3,5,7
/proc/5139/task/5153/stat : 5153 (java) S 5137 5137 4413 0 -1 1077944384 2287 0 0 0 59 88 0 0 20 0 15 0 227843456 14427463680 302424 33554432000 4194304 4196468 140727953713568 140158955325744 140160051337858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
Current children cumulated CPU time: 2516.32 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 1211148 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2506 s]*
/proc/loadavg: 2.04 1.99 1.99 3/217 5403
/proc/meminfo: memFree=14944652/32770624 swapFree=67108796/67108860
[pid=5137] ppid=5134 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5137/stat : 5137 (xcsp3-exec) S 5134 5137 4413 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 227843450 115843072 363 33554432000 4194304 5098028 140735507583632 140735507581736 140654256857724 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32985088 140735507592250 140735507592452 140735507592452 140735507595210 0
/proc/5137/statm: 28282 363 305 221 0 87 0
[pid=5139] ppid=5137 vsize=14089320 memory=1209696 CPUtime=2520.03 cores=1,3,5,7
/proc/5139/stat : 5139 (java) S 5137 5137 4413 0 -1 1077944320 103676 0 0 0 251834 169 0 0 20 0 15 0 227843451 14427463680 302424 33554432000 4194304 4196468 140727953713568 140727953696112 140160051326711 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
/proc/5139/statm: 3522330 302424 3438 1 0 3483524 0
[pid=5139/tid=5140] ppid=5137 vsize=14089320 memory=8112282956445269571 CPUtime=2503.85 cores=1,3,5,7
/proc/5139/task/5140/stat : 5140 (java) R 5137 5137 4413 0 -1 4202560 43592 0 0 0 250370 15 0 0 20 0 15 0 227843451 14427463680 302424 33554432000 4194304 4196468 140727953713568 140160055565384 140159696634736 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5141] ppid=5137 vsize=14089320 memory=-7003737579269690708 CPUtime=1.9 cores=1,3,5,7
/proc/5139/task/5141/stat : 5141 (java) S 5137 5137 4413 0 -1 1077944384 1024 0 0 0 173 17 0 0 20 0 15 0 227843452 14427463680 302424 33554432000 4194304 4196468 140727953713568 140159647595280 140160051336917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5142] ppid=5137 vsize=14089320 memory=5648 CPUtime=1.95 cores=1,3,5,7
/proc/5139/task/5142/stat : 5142 (java) S 5137 5137 4413 0 -1 1077944384 1411 0 0 0 178 17 0 0 20 0 15 0 227843452 14427463680 302424 33554432000 4194304 4196468 140727953713568 140159646542736 140160051336917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5143] ppid=5137 vsize=14089320 memory=14772 CPUtime=1.9 cores=1,3,5,7
/proc/5139/task/5143/stat : 5143 (java) S 5137 5137 4413 0 -1 1077944384 1176 0 0 0 175 15 0 0 20 0 15 0 227843452 14427463680 302424 33554432000 4194304 4196468 140727953713568 140159645490192 140160051336917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5144] ppid=5137 vsize=14089320 memory=38968 CPUtime=1.95 cores=1,3,5,7
/proc/5139/task/5144/stat : 5144 (java) S 5137 5137 4413 0 -1 1077944384 941 0 0 0 178 17 0 0 20 0 15 0 227843452 14427463680 302424 33554432000 4194304 4196468 140727953713568 140159644437648 140160051336917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5145] ppid=5137 vsize=14089320 memory=15140 CPUtime=0.11 cores=1,3,5,7
/proc/5139/task/5145/stat : 5145 (java) S 5137 5137 4413 0 -1 1077944384 5070 0 0 0 7 4 0 0 20 0 15 0 227843453 14427463680 302424 33554432000 4194304 4196468 140727953713568 140158963746800 140160051337858 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5146] ppid=5137 vsize=14089320 memory=3160 CPUtime=0 cores=1,3,5,7
/proc/5139/task/5146/stat : 5146 (java) S 5137 5137 4413 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 227843453 14427463680 302424 33554432000 4194304 4196468 140727953713568 140158962693088 140160051336917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5147] ppid=5137 vsize=14089320 memory=496 CPUtime=0 cores=1,3,5,7
/proc/5139/task/5147/stat : 5147 (java) S 5137 5137 4413 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 15 0 227843454 14427463680 302424 33554432000 4194304 4196468 140727953713568 140158961640448 140160051336917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5148] ppid=5137 vsize=14089320 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/5139/task/5148/stat : 5148 (java) S 5137 5137 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227843456 14427463680 302424 33554432000 4194304 4196468 140727953713568 140158960589008 140160051345307 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5149] ppid=5137 vsize=14089320 memory=3256 CPUtime=2.96 cores=1,3,5,7
/proc/5139/task/5149/stat : 5149 (java) S 5137 5137 4413 0 -1 1077944384 21060 0 0 0 292 4 0 0 20 0 15 0 227843456 14427463680 302424 33554432000 4194304 4196468 140727953713568 140158959536624 140160051337858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5150] ppid=5137 vsize=14089320 memory=1452 CPUtime=3.11 cores=1,3,5,7
/proc/5139/task/5150/stat : 5150 (java) S 5137 5137 4413 0 -1 1077944384 18293 0 0 0 307 4 0 0 20 0 15 0 227843456 14427463680 302424 33554432000 4194304 4196468 140727953713568 140158958484080 140160051337858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5151] ppid=5137 vsize=14089320 memory=1209696 CPUtime=0.75 cores=1,3,5,7
/proc/5139/task/5151/stat : 5151 (java) S 5137 5137 4413 0 -1 1077944384 7507 0 0 0 73 2 0 0 20 0 15 0 227843456 14427463680 302424 33554432000 4194304 4196468 140727953713568 140158957431536 140160051337858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5152] ppid=5137 vsize=14089320 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/5139/task/5152/stat : 5152 (java) S 5137 5137 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227843456 14427463680 302424 33554432000 4194304 4196468 140727953713568 140158956379232 140160051336917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
[pid=5139/tid=5153] ppid=5137 vsize=14089320 memory=3248 CPUtime=1.47 cores=1,3,5,7
/proc/5139/task/5153/stat : 5153 (java) S 5137 5137 4413 0 -1 1077944384 2287 0 0 0 59 88 0 0 20 0 15 0 227843456 14427463680 302424 33554432000 4194304 4196468 140727953713568 140158955325744 140160051337858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36929536 140727953716358 140727953716529 140727953716529 140727953719247 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 1211148 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2506.02 s]
# the end of solver process 5137 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001094 s, system=0.001094 s
[startup+2506.02 s]
# the end of solver process 5139 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.36 s, system=1.70633 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2506.02
CPU time (s): 2520.06
CPU user time (s): 2518.36
CPU system time (s): 1.70633
CPU usage (%): 100.56
Max. virtual memory (cumulated for all children) (KiB): 14204228
Max. memory (cumulated for all children) (KiB): 1211148
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.36
system time used= 1.70633
maximum resident set size= 1210232
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104532
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1784
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57786
involuntary context switches= 872
# summary of solver processes directly reported to runsolver:
# pid: 5137,5139
# total CPU time (s): 2520.06
# total CPU user time (s): 2518.36
# total CPU system time (s): 1.70633
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.4024 second user time and 25.6019 second system time
The end