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 (13971 MiB free)
memory of node 1: 16384 MiB (15314 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400647-1568685275/watcher-4400647-1568685275 -o /tmp/evaluation-result-4400647-1568685275/solver-4400647-1568685275 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1568673291-22998 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1199546072 HOME/instance-4400647-1568685275.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=28595, runsolver pid=28592
[startup+0.100091 s]*
/proc/loadavg: 1.59 1.56 1.52 3/225 28652
/proc/meminfo: memFree=29982956/32770624 swapFree=67004524/67108860
[pid=28595] ppid=28592 vsize=9972712 memory=17080 CPUtime=0.09 cores=1,3,5,7
/proc/28595/stat : 28595 (java) S 28592 28595 22966 0 -1 1077944320 4526 13147 0 0 1 0 5 3 20 0 6 0 444767066 10212057088 4270 33554432000 4194304 4196468 140723605067456 140723605050000 140173658250999 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
/proc/28595/statm: 2493178 4270 1935 1 0 2481616 0
[pid=28595/tid=28648] ppid=28592 vsize=9972712 memory=4279135703913364878 CPUtime=0.09 cores=1,3,5,7
/proc/28595/task/28648/stat : 28648 (java) R 28592 28595 22966 0 -1 4202560 2329 13147 0 0 1 0 5 3 20 0 6 0 444767076 10212057088 4270 33554432000 4194304 4196468 140723605067456 140173630087760 140173643373936 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28649] ppid=28592 vsize=9972712 memory=-7522837583129502606 CPUtime=0.08 cores=1,3,5,7
/proc/28595/task/28649/stat : 28649 (java) S 28592 28595 22966 0 -1 1077944384 2 13147 0 0 0 0 5 3 20 0 6 0 444767076 10212057088 4270 33554432000 4194304 4196468 140723605067456 140173662493456 140173658261205 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28650] ppid=28592 vsize=9972712 memory=140281205425792 CPUtime=0.08 cores=1,3,5,7
/proc/28595/task/28650/stat : 28650 (java) S 28592 28595 22966 0 -1 1077944384 1 13147 0 0 0 0 5 3 20 0 6 0 444767076 10212057088 4270 33554432000 4194304 4196468 140723605067456 140173577313168 140173658261205 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28651] ppid=28592 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28595/task/28651/stat : 28651 (java) S 28592 28595 22966 0 -1 1077944384 1 13147 0 0 0 0 5 3 20 0 6 0 444767076 10212057088 4270 33554432000 4194304 4196468 140723605067456 140173576260624 140173658261205 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28652] ppid=28592 vsize=9972712 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/28595/task/28652/stat : 28652 (java) S 28592 28595 22966 0 -1 1077944384 1 13147 0 0 0 0 5 3 20 0 6 0 444767076 10212057088 4270 33554432000 4194304 4196468 140723605067456 140173575208080 140173658261205 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17080 KiB
[startup+0.212194 s]*
/proc/loadavg: 1.59 1.56 1.52 4/234 28661
/proc/meminfo: memFree=29945292/32770624 swapFree=67004524/67108860
[pid=28595] ppid=28592 vsize=10820164 memory=42040 CPUtime=0.27 cores=1,3,5,7
/proc/28595/stat : 28595 (java) S 28592 28595 22966 0 -1 1077944320 7493 13147 0 0 18 1 5 3 20 0 15 0 444767066 11079847936 10510 33554432000 4194304 4196468 140723605067456 140723605050000 140173658250999 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
/proc/28595/statm: 2705041 10510 3228 1 0 2667149 0
[pid=28595/tid=28648] ppid=28592 vsize=10820164 memory=-6517102902069810590 CPUtime=0.19 cores=1,3,5,7
/proc/28595/task/28648/stat : 28648 (java) R 28592 28595 22966 0 -1 4202560 4013 13147 0 0 11 0 5 3 20 0 15 0 444767076 11079847936 10510 33554432000 4194304 4196468 140723605067456 140173630068112 140173254933063 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28649] ppid=28592 vsize=10820164 memory=-9181546050914066336 CPUtime=0.08 cores=1,3,5,7
/proc/28595/task/28649/stat : 28649 (java) S 28592 28595 22966 0 -1 1077944384 2 13147 0 0 0 0 5 3 20 0 15 0 444767076 11079847936 10510 33554432000 4194304 4196468 140723605067456 140173662493456 140173658261205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28650] ppid=28592 vsize=10820176 memory=140281205425792 CPUtime=0.08 cores=1,3,5,7
/proc/28595/task/28650/stat : 28650 (java) S 28592 28595 22966 0 -1 1077944384 1 13147 0 0 0 0 5 3 20 0 15 0 444767076 11079860224 10510 33554432000 4194304 4196468 140723605067456 140173577313168 140173658261205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28651] ppid=28592 vsize=10820176 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28595/task/28651/stat : 28651 (java) S 28592 28595 22966 0 -1 1077944384 1 13147 0 0 0 0 5 3 20 0 15 0 444767076 11079860224 10510 33554432000 4194304 4196468 140723605067456 140173576260624 140173658261205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28652] ppid=28592 vsize=10820176 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/28595/task/28652/stat : 28652 (java) S 28592 28595 22966 0 -1 1077944384 1 13147 0 0 0 0 5 3 20 0 15 0 444767076 11079860224 10510 33554432000 4194304 4196468 140723605067456 140173575208080 140173658261205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28653] ppid=28592 vsize=10820176 memory=140281205425792 CPUtime=0.08 cores=1,3,5,7
/proc/28595/task/28653/stat : 28653 (java) S 28592 28595 22966 0 -1 1077944384 2 13147 0 0 0 0 5 3 20 0 15 0 444767078 11079860224 10510 33554432000 4194304 4196468 140723605067456 140172728207344 140173658262146 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28654] ppid=28592 vsize=10820176 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/28595/task/28654/stat : 28654 (java) S 28592 28595 22966 0 -1 1077944384 13 13147 0 0 0 0 5 3 20 0 15 0 444767078 11079860224 10510 33554432000 4194304 4196468 140723605067456 140172633039776 140173658261205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28655] ppid=28592 vsize=10820176 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28595/task/28655/stat : 28655 (java) S 28592 28595 22966 0 -1 1077944384 1 13147 0 0 0 0 5 3 20 0 15 0 444767078 11079860224 10510 33554432000 4194304 4196468 140723605067456 140172431713264 140173658261205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28656] ppid=28592 vsize=10820184 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28595/task/28656/stat : 28656 (java) S 28592 28595 22966 0 -1 1077944384 3 13147 0 0 0 0 5 3 20 0 15 0 444767081 11079868416 10510 33554432000 4194304 4196468 140723605067456 140172191422672 140173658269595 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28657] ppid=28592 vsize=10820184 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/28595/task/28657/stat : 28657 (java) S 28592 28595 22966 0 -1 1077944384 462 13147 0 0 1 0 5 3 20 0 15 0 444767081 11079868416 10510 33554432000 4194304 4196468 140723605067456 140172727155184 140173658262146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28658] ppid=28592 vsize=10820184 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/28595/task/28658/stat : 28658 (java) R 28592 28595 22966 0 -1 4202560 185 13147 0 0 1 0 5 3 20 0 15 0 444767081 11079868416 10510 33554432000 4194304 4196468 140723605067456 140172726102640 140173638951303 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28659] ppid=28592 vsize=10820184 memory=140281205425792 CPUtime=0.11 cores=1,3,5,7
/proc/28595/task/28659/stat : 28659 (java) S 28592 28595 22966 0 -1 1077944384 607 13147 0 0 3 0 5 3 20 0 15 0 444767081 11079868416 10510 33554432000 4194304 4196468 140723605067456 140172725050096 140173658262146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28660] ppid=28592 vsize=10820184 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/28595/task/28660/stat : 28660 (java) S 28592 28595 22966 0 -1 1077944384 3 13147 0 0 0 0 5 3 20 0 15 0 444767081 11079868416 10510 33554432000 4194304 4196468 140723605067456 140172157865056 140173658261205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28661] ppid=28592 vsize=10820188 memory=140281205425792 CPUtime=0.08 cores=1,3,5,7
/proc/28595/task/28661/stat : 28661 (java) S 28592 28595 22966 0 -1 1077944384 2 13147 0 0 0 0 5 3 20 0 15 0 444767082 11079872512 10510 33554432000 4194304 4196468 140723605067456 140172723996976 140173658262146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10820164 KiB
Current children cumulated memory: 42040 KiB
[startup+0.311661 s]*
/proc/loadavg: 1.59 1.56 1.52 3/234 28661
/proc/meminfo: memFree=29936228/32770624 swapFree=67004524/67108860
[pid=28595] ppid=28592 vsize=10820196 memory=50320 CPUtime=0.41 cores=1,3,5,7
/proc/28595/stat : 28595 (java) S 28592 28595 22966 0 -1 1077944320 10876 13147 0 0 30 3 5 3 20 0 15 0 444767066 11079880704 12580 33554432000 4194304 4196468 140723605067456 140723605050000 140173658250999 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
/proc/28595/statm: 2705049 12580 3274 1 0 2667149 0
[pid=28595/tid=28648] ppid=28592 vsize=10820196 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/28595/task/28648/stat : 28648 (java) R 28592 28595 22966 0 -1 4202560 7366 13147 0 0 19 2 5 3 20 0 15 0 444767076 11079880704 12580 33554432000 4194304 4196468 140723605067456 140173630059952 140173642331486 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28649] ppid=28592 vsize=10820196 memory=7228928657774891088 CPUtime=0.08 cores=1,3,5,7
/proc/28595/task/28649/stat : 28649 (java) S 28592 28595 22966 0 -1 1077944384 2 13147 0 0 0 0 5 3 20 0 15 0 444767076 11079880704 12580 33554432000 4194304 4196468 140723605067456 140173662493456 140173658261205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28650] ppid=28592 vsize=10820196 memory=2076 CPUtime=0.08 cores=1,3,5,7
/proc/28595/task/28650/stat : 28650 (java) S 28592 28595 22966 0 -1 1077944384 1 13147 0 0 0 0 5 3 20 0 15 0 444767076 11079880704 12580 33554432000 4194304 4196468 140723605067456 140173577313168 140173658261205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28651] ppid=28592 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28595/task/28651/stat : 28651 (java) S 28592 28595 22966 0 -1 1077944384 1 13147 0 0 0 0 5 3 20 0 15 0 444767076 11079880704 12580 33554432000 4194304 4196468 140723605067456 140173576260624 140173658261205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28652] ppid=28592 vsize=10820196 memory=4872558044660077418 CPUtime=0.08 cores=1,3,5,7
/proc/28595/task/28652/stat : 28652 (java) S 28592 28595 22966 0 -1 1077944384 1 13147 0 0 0 0 5 3 20 0 15 0 444767076 11079880704 12580 33554432000 4194304 4196468 140723605067456 140173575208080 140173658261205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28653] ppid=28592 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28595/task/28653/stat : 28653 (java) S 28592 28595 22966 0 -1 1077944384 2 13147 0 0 0 0 5 3 20 0 15 0 444767078 11079880704 12580 33554432000 4194304 4196468 140723605067456 140172728207344 140173658262146 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28654] ppid=28592 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28595/task/28654/stat : 28654 (java) S 28592 28595 22966 0 -1 1077944384 13 13147 0 0 0 0 5 3 20 0 15 0 444767078 11079880704 12580 33554432000 4194304 4196468 140723605067456 140172633039776 140173658261205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28655] ppid=28592 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28595/task/28655/stat : 28655 (java) S 28592 28595 22966 0 -1 1077944384 1 13147 0 0 0 0 5 3 20 0 15 0 444767078 11079880704 12580 33554432000 4194304 4196468 140723605067456 140172431713264 140173658261205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28656] ppid=28592 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28595/task/28656/stat : 28656 (java) S 28592 28595 22966 0 -1 1077944384 3 13147 0 0 0 0 5 3 20 0 15 0 444767081 11079880704 12580 33554432000 4194304 4196468 140723605067456 140172191422672 140173658269595 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28657] ppid=28592 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/28595/task/28657/stat : 28657 (java) S 28592 28595 22966 0 -1 1077944384 462 13147 0 0 1 0 5 3 20 0 15 0 444767081 11079880704 12580 33554432000 4194304 4196468 140723605067456 140172727155184 140173658262146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28658] ppid=28592 vsize=10820196 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/28595/task/28658/stat : 28658 (java) S 28592 28595 22966 0 -1 1077944384 195 13147 0 0 2 0 5 3 20 0 15 0 444767081 11079880704 12580 33554432000 4194304 4196468 140723605067456 140172726102640 140173658262146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28659] ppid=28592 vsize=10820196 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/28595/task/28659/stat : 28659 (java) S 28592 28595 22966 0 -1 1077944384 614 13147 0 0 5 0 5 3 20 0 15 0 444767081 11079880704 12580 33554432000 4194304 4196468 140723605067456 140172725050096 140173658262146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28660] ppid=28592 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28595/task/28660/stat : 28660 (java) S 28592 28595 22966 0 -1 1077944384 3 13147 0 0 0 0 5 3 20 0 15 0 444767081 11079880704 12580 33554432000 4194304 4196468 140723605067456 140172157865056 140173658261205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28661] ppid=28592 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28595/task/28661/stat : 28661 (java) S 28592 28595 22966 0 -1 1077944384 2 13147 0 0 0 0 5 3 20 0 15 0 444767082 11079880704 12580 33554432000 4194304 4196468 140723605067456 140172723996976 140173658262146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 50320 KiB
[startup+0.700698 s]
/proc/loadavg: 1.59 1.56 1.52 3/234 28661
/proc/meminfo: memFree=29924516/32770624 swapFree=67004524/67108860
[pid=28595] ppid=28592 vsize=10822316 memory=73348 CPUtime=0.85 cores=1,3,5,7
/proc/28595/stat : 28595 (java) S 28592 28595 22966 0 -1 1077944320 14036 13147 0 0 73 4 5 3 20 0 15 0 444767066 11082051584 18337 33554432000 4194304 4196468 140723605067456 140723605050000 140173658250999 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
/proc/28595/statm: 2705579 18337 3480 1 0 2667661 0
[pid=28595/tid=28648] ppid=28592 vsize=10822316 memory=0 CPUtime=0.56 cores=1,3,5,7
/proc/28595/task/28648/stat : 28648 (java) D 28592 28595 22966 0 -1 4202560 9608 13147 0 0 45 3 5 3 20 0 15 0 444767076 11082051584 18337 33554432000 4194304 4196468 140723605067456 140173630080528 140173658272925 0 4 0 16800975 18446744072100699269 0 0 -1 3 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28649] ppid=28592 vsize=10822316 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28595/task/28649/stat : 28649 (java) S 28592 28595 22966 0 -1 1077944384 2 13147 0 0 0 0 5 3 20 0 15 0 444767076 11082051584 18337 33554432000 4194304 4196468 140723605067456 140173662493456 140173658261205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28650] ppid=28592 vsize=10822316 memory=3280 CPUtime=0.08 cores=1,3,5,7
/proc/28595/task/28650/stat : 28650 (java) S 28592 28595 22966 0 -1 1077944384 1 13147 0 0 0 0 5 3 20 0 15 0 444767076 11082051584 18337 33554432000 4194304 4196468 140723605067456 140173577313168 140173658261205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28651] ppid=28592 vsize=10822316 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28595/task/28651/stat : 28651 (java) S 28592 28595 22966 0 -1 1077944384 1 13147 0 0 0 0 5 3 20 0 15 0 444767076 11082051584 18337 33554432000 4194304 4196468 140723605067456 140173576260624 140173658261205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28652] ppid=28592 vsize=10822316 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28595/task/28652/stat : 28652 (java) S 28592 28595 22966 0 -1 1077944384 1 13147 0 0 0 0 5 3 20 0 15 0 444767076 11082051584 18337 33554432000 4194304 4196468 140723605067456 140173575208080 140173658261205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28653] ppid=28592 vsize=10822316 memory=4420 CPUtime=0.08 cores=1,3,5,7
/proc/28595/task/28653/stat : 28653 (java) S 28592 28595 22966 0 -1 1077944384 6 13147 0 0 0 0 5 3 20 0 15 0 444767078 11082051584 18337 33554432000 4194304 4196468 140723605067456 140172728207344 140173658262146 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28654] ppid=28592 vsize=10822316 memory=6628 CPUtime=0.08 cores=1,3,5,7
/proc/28595/task/28654/stat : 28654 (java) S 28592 28595 22966 0 -1 1077944384 13 13147 0 0 0 0 5 3 20 0 15 0 444767078 11082051584 18337 33554432000 4194304 4196468 140723605067456 140172633039776 140173658261205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28655] ppid=28592 vsize=10822316 memory=8836 CPUtime=0.08 cores=1,3,5,7
/proc/28595/task/28655/stat : 28655 (java) S 28592 28595 22966 0 -1 1077944384 1 13147 0 0 0 0 5 3 20 0 15 0 444767078 11082051584 18337 33554432000 4194304 4196468 140723605067456 140172431713264 140173658261205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28656] ppid=28592 vsize=10822316 memory=11044 CPUtime=0.08 cores=1,3,5,7
/proc/28595/task/28656/stat : 28656 (java) S 28592 28595 22966 0 -1 1077944384 3 13147 0 0 0 0 5 3 20 0 15 0 444767081 11082051584 18337 33554432000 4194304 4196468 140723605067456 140172191422672 140173658269595 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28657] ppid=28592 vsize=10822316 memory=13252 CPUtime=0.14 cores=1,3,5,7
/proc/28595/task/28657/stat : 28657 (java) S 28592 28595 22966 0 -1 1077944384 834 13147 0 0 6 0 5 3 20 0 15 0 444767081 11082051584 18337 33554432000 4194304 4196468 140723605067456 140172727155184 140173658262146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28658] ppid=28592 vsize=10822316 memory=15460 CPUtime=0.15 cores=1,3,5,7
/proc/28595/task/28658/stat : 28658 (java) S 28592 28595 22966 0 -1 1077944384 569 13147 0 0 7 0 5 3 20 0 15 0 444767081 11082051584 18337 33554432000 4194304 4196468 140723605067456 140172726102640 140173658262146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28659] ppid=28592 vsize=10822316 memory=17668 CPUtime=0.21 cores=1,3,5,7
/proc/28595/task/28659/stat : 28659 (java) S 28592 28595 22966 0 -1 1077944384 782 13147 0 0 13 0 5 3 20 0 15 0 444767081 11082051584 18337 33554432000 4194304 4196468 140723605067456 140172725050096 140173658262146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28660] ppid=28592 vsize=10822316 memory=19876 CPUtime=0.08 cores=1,3,5,7
/proc/28595/task/28660/stat : 28660 (java) S 28592 28595 22966 0 -1 1077944384 3 13147 0 0 0 0 5 3 20 0 15 0 444767081 11082051584 18337 33554432000 4194304 4196468 140723605067456 140172157865056 140173658261205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28661] ppid=28592 vsize=10822316 memory=22084 CPUtime=0.08 cores=1,3,5,7
/proc/28595/task/28661/stat : 28661 (java) S 28592 28595 22966 0 -1 1077944384 2 13147 0 0 0 0 5 3 20 0 15 0 444767082 11082051584 18337 33554432000 4194304 4196468 140723605067456 140172723996976 140173658262146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
Current children cumulated CPU time: 0.85 s
Current children cumulated vsize: 10822316 KiB
Current children cumulated memory: 73348 KiB
[startup+1.50335 s]
/proc/loadavg: 1.59 1.56 1.52 5/234 28661
/proc/meminfo: memFree=29914632/32770624 swapFree=67004524/67108860
[pid=28595] ppid=28592 vsize=10832632 memory=165128 CPUtime=2.03 cores=1,3,5,7
/proc/28595/stat : 28595 (java) S 28592 28595 22966 0 -1 1077944320 20681 13147 0 0 187 8 5 3 20 0 15 0 444767066 11092615168 41282 33554432000 4194304 4196468 140723605067456 140723605050000 140173658250999 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
/proc/28595/statm: 2708158 41282 3578 1 0 2670221 0
[pid=28595/tid=28648] ppid=28592 vsize=10832632 memory=0 CPUtime=1.22 cores=1,3,5,7
/proc/28595/task/28648/stat : 28648 (java) R 28592 28595 22966 0 -1 4202560 14574 13147 0 0 109 5 5 3 20 0 15 0 444767076 11092615168 41282 33554432000 4194304 4196468 140723605067456 140173630068128 140173642331486 0 4 0 16800975 0 0 0 -1 5 0 0 22 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28649] ppid=28592 vsize=10832632 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/28595/task/28649/stat : 28649 (java) S 28592 28595 22966 0 -1 1077944384 34 13147 0 0 1 0 5 3 20 0 15 0 444767076 11092615168 41282 33554432000 4194304 4196468 140723605067456 140173662493456 140173658261205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28650] ppid=28592 vsize=10832632 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28595/task/28650/stat : 28650 (java) S 28592 28595 22966 0 -1 1077944384 69 13147 0 0 0 0 5 3 20 0 15 0 444767076 11092615168 41282 33554432000 4194304 4196468 140723605067456 140173577313168 140173658261205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28651] ppid=28592 vsize=10832632 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/28595/task/28651/stat : 28651 (java) S 28592 28595 22966 0 -1 1077944384 74 13147 0 0 1 0 5 3 20 0 15 0 444767076 11092615168 41282 33554432000 4194304 4196468 140723605067456 140173576260624 140173658261205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28652] ppid=28592 vsize=10832632 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/28595/task/28652/stat : 28652 (java) S 28592 28595 22966 0 -1 1077944384 427 13147 0 0 1 0 5 3 20 0 15 0 444767076 11092615168 41282 33554432000 4194304 4196468 140723605067456 140173575208080 140173658261205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28653] ppid=28592 vsize=10832632 memory=-7965959130280075168 CPUtime=0.09 cores=1,3,5,7
/proc/28595/task/28653/stat : 28653 (java) S 28592 28595 22966 0 -1 1077944384 140 13147 0 0 1 0 5 3 20 0 15 0 444767078 11092615168 41282 33554432000 4194304 4196468 140723605067456 140172728207344 140173658262146 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28654] ppid=28592 vsize=10832632 memory=280562162018560 CPUtime=0.08 cores=1,3,5,7
/proc/28595/task/28654/stat : 28654 (java) S 28592 28595 22966 0 -1 1077944384 13 13147 0 0 0 0 5 3 20 0 15 0 444767078 11092615168 41282 33554432000 4194304 4196468 140723605067456 140172633039776 140173658261205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28655] ppid=28592 vsize=10832632 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28595/task/28655/stat : 28655 (java) S 28592 28595 22966 0 -1 1077944384 2 13147 0 0 0 0 5 3 20 0 15 0 444767078 11092615168 41282 33554432000 4194304 4196468 140723605067456 140172431713264 140173658261205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28656] ppid=28592 vsize=10832632 memory=8252 CPUtime=0.08 cores=1,3,5,7
/proc/28595/task/28656/stat : 28656 (java) S 28592 28595 22966 0 -1 1077944384 3 13147 0 0 0 0 5 3 20 0 15 0 444767081 11092615168 41282 33554432000 4194304 4196468 140723605067456 140172191422672 140173658269595 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28657] ppid=28592 vsize=10832632 memory=6032 CPUtime=0.31 cores=1,3,5,7
/proc/28595/task/28657/stat : 28657 (java) S 28592 28595 22966 0 -1 1077944384 1126 13147 0 0 23 0 5 3 20 0 15 0 444767081 11092615168 41282 33554432000 4194304 4196468 140723605067456 140172727155184 140173658262146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28658] ppid=28592 vsize=10832632 memory=1056 CPUtime=0.28 cores=1,3,5,7
/proc/28595/task/28658/stat : 28658 (java) S 28592 28595 22966 0 -1 1077944384 703 13147 0 0 20 0 5 3 20 0 15 0 444767081 11092615168 41282 33554432000 4194304 4196468 140723605067456 140172726102640 140173658262146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28659] ppid=28592 vsize=10832632 memory=1540 CPUtime=0.35 cores=1,3,5,7
/proc/28595/task/28659/stat : 28659 (java) S 28592 28595 22966 0 -1 1077944384 1301 13147 0 0 27 0 5 3 20 0 15 0 444767081 11092615168 41282 33554432000 4194304 4196468 140723605067456 140172725050096 140173658262146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28660] ppid=28592 vsize=10832632 memory=728 CPUtime=0.08 cores=1,3,5,7
/proc/28595/task/28660/stat : 28660 (java) S 28592 28595 22966 0 -1 1077944384 3 13147 0 0 0 0 5 3 20 0 15 0 444767081 11092615168 41282 33554432000 4194304 4196468 140723605067456 140172157865056 140173658261205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28661] ppid=28592 vsize=10832632 memory=4000 CPUtime=0.08 cores=1,3,5,7
/proc/28595/task/28661/stat : 28661 (java) S 28592 28595 22966 0 -1 1077944384 2 13147 0 0 0 0 5 3 20 0 15 0 444767082 11092615168 41282 33554432000 4194304 4196468 140723605067456 140172723996976 140173658262146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
Current children cumulated CPU time: 2.03 s
Current children cumulated vsize: 10832632 KiB
Current children cumulated memory: 165128 KiB
[startup+2.91841 s]
# the end of solver process 28595 was just reported to runsolver
# cumulated CPU time of all completed processes: user=5.35679 s, system=0.193087 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60088 s]
/proc/loadavg: 1.59 1.56 1.52 5/234 28661
/proc/meminfo: memFree=29914632/32770624 swapFree=67004524/67108860
[pid=28595] ppid=28592 vsize=10834680 memory=166992 CPUtime=2.19 cores=1,3,5,7
/proc/28595/stat : 28595 (java) S 28592 28595 22966 0 -1 1077944320 21240 13147 0 0 203 8 5 3 20 0 15 0 444767066 11094712320 41748 33554432000 4194304 4196468 140723605067456 140723605050000 140173658250999 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
/proc/28595/statm: 2708670 41748 3581 1 0 2670733 0
[pid=28595/tid=28648] ppid=28592 vsize=10834680 memory=1212 CPUtime=1.31 cores=1,3,5,7
/proc/28595/task/28648/stat : 28648 (java) R 28592 28595 22966 0 -1 4202560 14977 13147 0 0 118 5 5 3 20 0 15 0 444767076 11094712320 41748 33554432000 4194304 4196468 140723605067456 140173630075776 140173642331486 0 4 0 16800975 0 0 0 -1 5 0 0 22 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28649] ppid=28592 vsize=10834680 memory=1036 CPUtime=0.09 cores=1,3,5,7
/proc/28595/task/28649/stat : 28649 (java) S 28592 28595 22966 0 -1 1077944384 34 13147 0 0 1 0 5 3 20 0 15 0 444767076 11094712320 41748 33554432000 4194304 4196468 140723605067456 140173662493456 140173658261205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28650] ppid=28592 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28595/task/28650/stat : 28650 (java) S 28592 28595 22966 0 -1 1077944384 69 13147 0 0 0 0 5 3 20 0 15 0 444767076 11094712320 41748 33554432000 4194304 4196468 140723605067456 140173577313168 140173658261205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28651] ppid=28592 vsize=10834680 memory=6791534058613427641 CPUtime=0.09 cores=1,3,5,7
/proc/28595/task/28651/stat : 28651 (java) S 28592 28595 22966 0 -1 1077944384 74 13147 0 0 1 0 5 3 20 0 15 0 444767076 11094712320 41748 33554432000 4194304 4196468 140723605067456 140173576260624 140173658261205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28652] ppid=28592 vsize=10834680 memory=140281081166352 CPUtime=0.09 cores=1,3,5,7
/proc/28595/task/28652/stat : 28652 (java) S 28592 28595 22966 0 -1 1077944384 427 13147 0 0 1 0 5 3 20 0 15 0 444767076 11094712320 41748 33554432000 4194304 4196468 140723605067456 140173575208080 140173658261205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28653] ppid=28592 vsize=10834680 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/28595/task/28653/stat : 28653 (java) S 28592 28595 22966 0 -1 1077944384 140 13147 0 0 1 0 5 3 20 0 15 0 444767078 11094712320 41748 33554432000 4194304 4196468 140723605067456 140172728207344 140173658262146 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28654] ppid=28592 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28595/task/28654/stat : 28654 (java) S 28592 28595 22966 0 -1 1077944384 13 13147 0 0 0 0 5 3 20 0 15 0 444767078 11094712320 41748 33554432000 4194304 4196468 140723605067456 140172633039776 140173658261205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28655] ppid=28592 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28595/task/28655/stat : 28655 (java) S 28592 28595 22966 0 -1 1077944384 2 13147 0 0 0 0 5 3 20 0 15 0 444767078 11094712320 41748 33554432000 4194304 4196468 140723605067456 140172431713264 140173658261205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28656] ppid=28592 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28595/task/28656/stat : 28656 (java) S 28592 28595 22966 0 -1 1077944384 3 13147 0 0 0 0 5 3 20 0 15 0 444767081 11094712320 41748 33554432000 4194304 4196468 140723605067456 140172191422672 140173658269595 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28657] ppid=28592 vsize=10834680 memory=6944652177228980320 CPUtime=0.32 cores=1,3,5,7
/proc/28595/task/28657/stat : 28657 (java) S 28592 28595 22966 0 -1 1077944384 1152 13147 0 0 24 0 5 3 20 0 15 0 444767081 11094712320 41748 33554432000 4194304 4196468 140723605067456 140172727155184 140173658262146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28658] ppid=28592 vsize=10834680 memory=0 CPUtime=0.29 cores=1,3,5,7
/proc/28595/task/28658/stat : 28658 (java) S 28592 28595 22966 0 -1 1077944384 710 13147 0 0 21 0 5 3 20 0 15 0 444767081 11094712320 41748 33554432000 4194304 4196468 140723605067456 140172726102640 140173658262146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28659] ppid=28592 vsize=10834680 memory=0 CPUtime=0.39 cores=1,3,5,7
/proc/28595/task/28659/stat : 28659 (java) S 28592 28595 22966 0 -1 1077944384 1424 13147 0 0 31 0 5 3 20 0 15 0 444767081 11094712320 41748 33554432000 4194304 4196468 140723605067456 140172725050096 140173658262146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28660] ppid=28592 vsize=10834680 memory=6944656592455097440 CPUtime=0.08 cores=1,3,5,7
/proc/28595/task/28660/stat : 28660 (java) S 28592 28595 22966 0 -1 1077944384 3 13147 0 0 0 0 5 3 20 0 15 0 444767081 11094712320 41748 33554432000 4194304 4196468 140723605067456 140172157865056 140173658261205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28661] ppid=28592 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28595/task/28661/stat : 28661 (java) S 28592 28595 22966 0 -1 1077944384 2 13147 0 0 0 0 5 3 20 0 15 0 444767082 11094712320 41748 33554432000 4194304 4196468 140723605067456 140172723996976 140173658262146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
Current children cumulated CPU time: 2.19 s
Current children cumulated vsize: 10834680 KiB
Current children cumulated memory: 166992 KiB
[startup+2.40119 s]
/proc/loadavg: 1.59 1.56 1.52 3/234 28661
/proc/meminfo: memFree=29829876/32770624 swapFree=67004524/67108860
[pid=28595] ppid=28592 vsize=10840844 memory=194304 CPUtime=4.1 cores=1,3,5,7
/proc/28595/stat : 28595 (java) S 28592 28595 22966 0 -1 1077944320 30771 13147 0 0 391 11 5 3 20 0 15 0 444767066 11101024256 48576 33554432000 4194304 4196468 140723605067456 140723605050000 140173658250999 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
/proc/28595/statm: 2710211 48576 3595 1 0 2672269 0
[pid=28595/tid=28648] ppid=28592 vsize=10840844 memory=-3252517613199061085 CPUtime=2.1 cores=1,3,5,7
/proc/28595/task/28648/stat : 28648 (java) R 28592 28595 22966 0 -1 4202560 18272 13147 0 0 196 6 5 3 20 0 15 0 444767076 11101024256 48576 33554432000 4194304 4196468 140723605067456 140173630085440 140173253881567 0 4 0 16800975 0 0 0 -1 1 0 0 22 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28649] ppid=28592 vsize=10840844 memory=-1807685287717842718 CPUtime=0.09 cores=1,3,5,7
/proc/28595/task/28649/stat : 28649 (java) S 28592 28595 22966 0 -1 1077944384 34 13147 0 0 1 0 5 3 20 0 15 0 444767076 11101024256 48576 33554432000 4194304 4196468 140723605067456 140173662493456 140173658261205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28650] ppid=28592 vsize=10840844 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/28595/task/28650/stat : 28650 (java) S 28592 28595 22966 0 -1 1077944384 69 13147 0 0 0 0 5 3 20 0 15 0 444767076 11101024256 48576 33554432000 4194304 4196468 140723605067456 140173577313168 140173658261205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28651] ppid=28592 vsize=10840844 memory=4 CPUtime=0.09 cores=1,3,5,7
/proc/28595/task/28651/stat : 28651 (java) S 28592 28595 22966 0 -1 1077944384 74 13147 0 0 1 0 5 3 20 0 15 0 444767076 11101024256 48576 33554432000 4194304 4196468 140723605067456 140173576260624 140173658261205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28652] ppid=28592 vsize=10840844 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/28595/task/28652/stat : 28652 (java) S 28592 28595 22966 0 -1 1077944384 427 13147 0 0 1 0 5 3 20 0 15 0 444767076 11101024256 48576 33554432000 4194304 4196468 140723605067456 140173575208080 140173658261205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28653] ppid=28592 vsize=10840844 memory=140281081198608 CPUtime=0.09 cores=1,3,5,7
/proc/28595/task/28653/stat : 28653 (java) S 28592 28595 22966 0 -1 1077944384 143 13147 0 0 1 0 5 3 20 0 15 0 444767078 11101024256 48576 33554432000 4194304 4196468 140723605067456 140172728207344 140173658262146 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28654] ppid=28592 vsize=10840844 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28595/task/28654/stat : 28654 (java) S 28592 28595 22966 0 -1 1077944384 13 13147 0 0 0 0 5 3 20 0 15 0 444767078 11101024256 48576 33554432000 4194304 4196468 140723605067456 140172633039776 140173658261205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28655] ppid=28592 vsize=10840844 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28595/task/28655/stat : 28655 (java) S 28592 28595 22966 0 -1 1077944384 2 13147 0 0 0 0 5 3 20 0 15 0 444767078 11101024256 48576 33554432000 4194304 4196468 140723605067456 140172431713264 140173658261205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28656] ppid=28592 vsize=10840844 memory=6655300316396806240 CPUtime=0.08 cores=1,3,5,7
/proc/28595/task/28656/stat : 28656 (java) S 28592 28595 22966 0 -1 1077944384 3 13147 0 0 0 0 5 3 20 0 15 0 444767081 11101024256 48576 33554432000 4194304 4196468 140723605067456 140172191422672 140173658269595 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28657] ppid=28592 vsize=10840844 memory=662363397872623672 CPUtime=0.73 cores=1,3,5,7
/proc/28595/task/28657/stat : 28657 (java) R 28592 28595 22966 0 -1 4202560 3325 13147 0 0 65 0 5 3 20 0 15 0 444767081 11101024256 48576 33554432000 4194304 4196468 140723605067456 140172727141728 140173637944095 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28658] ppid=28592 vsize=10840844 memory=0 CPUtime=0.6 cores=1,3,5,7
/proc/28595/task/28658/stat : 28658 (java) S 28592 28595 22966 0 -1 1077944384 1780 13147 0 0 52 0 5 3 20 0 15 0 444767081 11101024256 48576 33554432000 4194304 4196468 140723605067456 140172726102640 140173658262146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28659] ppid=28592 vsize=10840844 memory=8976414709404591081 CPUtime=0.78 cores=1,3,5,7
/proc/28595/task/28659/stat : 28659 (java) R 28592 28595 22966 0 -1 4202560 4419 13147 0 0 69 1 5 3 20 0 15 0 444767081 11101024256 48576 33554432000 4194304 4196468 140723605067456 140172725050096 140173639814551 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28660] ppid=28592 vsize=10840844 memory=6944656592455359580 CPUtime=0.08 cores=1,3,5,7
/proc/28595/task/28660/stat : 28660 (java) S 28592 28595 22966 0 -1 1077944384 3 13147 0 0 0 0 5 3 20 0 15 0 444767081 11101024256 48576 33554432000 4194304 4196468 140723605067456 140172157865056 140173658261205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28661] ppid=28592 vsize=10840844 memory=6944652177228980320 CPUtime=0.08 cores=1,3,5,7
/proc/28595/task/28661/stat : 28661 (java) S 28592 28595 22966 0 -1 1077944384 2 13147 0 0 0 0 5 3 20 0 15 0 444767082 11101024256 48576 33554432000 4194304 4196468 140723605067456 140172723996976 140173658262146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
Current children cumulated CPU time: 4.1 s
Current children cumulated vsize: 10840844 KiB
Current children cumulated memory: 194304 KiB
[startup+2.80123 s]
/proc/loadavg: 1.59 1.56 1.52 3/234 28661
/proc/meminfo: memFree=29829876/32770624 swapFree=67004524/67108860
[pid=28595] ppid=28592 vsize=10844940 memory=239596 CPUtime=5.2 cores=1,3,5,7
/proc/28595/stat : 28595 (java) S 28592 28595 22966 0 -1 1077944320 40215 13147 0 0 498 14 5 3 20 0 15 0 444767066 11105218560 59899 33554432000 4194304 4196468 140723605067456 140723605050000 140173658250999 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
/proc/28595/statm: 2711235 59899 3601 1 0 2673293 0
[pid=28595/tid=28648] ppid=28592 vsize=10844940 memory=13841 CPUtime=2.46 cores=1,3,5,7
/proc/28595/task/28648/stat : 28648 (java) R 28592 28595 22966 0 -1 4202560 21201 13147 0 0 231 7 5 3 20 0 15 0 444767076 11105218560 59899 33554432000 4194304 4196468 140723605067456 140173630084080 140173636253921 0 4 0 16800975 0 0 0 -1 5 0 0 22 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28649] ppid=28592 vsize=10844940 memory=27422 CPUtime=0.11 cores=1,3,5,7
/proc/28595/task/28649/stat : 28649 (java) S 28592 28595 22966 0 -1 1077944384 63 13147 0 0 3 0 5 3 20 0 15 0 444767076 11105218560 59899 33554432000 4194304 4196468 140723605067456 140173662493456 140173658261205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28650] ppid=28592 vsize=10844940 memory=-7518891959079781826 CPUtime=0.1 cores=1,3,5,7
/proc/28595/task/28650/stat : 28650 (java) S 28592 28595 22966 0 -1 1077944384 83 13147 0 0 2 0 5 3 20 0 15 0 444767076 11105218560 59899 33554432000 4194304 4196468 140723605067456 140173577313168 140173658261205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28651] ppid=28592 vsize=10844940 memory=-7025448733113094249 CPUtime=0.1 cores=1,3,5,7
/proc/28595/task/28651/stat : 28651 (java) S 28592 28595 22966 0 -1 1077944384 113 13147 0 0 2 0 5 3 20 0 15 0 444767076 11105218560 59899 33554432000 4194304 4196468 140723605067456 140173576260624 140173658261205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28652] ppid=28592 vsize=10844940 memory=-7522837583045875833 CPUtime=0.1 cores=1,3,5,7
/proc/28595/task/28652/stat : 28652 (java) S 28592 28595 22966 0 -1 1077944384 462 13147 0 0 2 0 5 3 20 0 15 0 444767076 11105218560 59899 33554432000 4194304 4196468 140723605067456 140173575208080 140173658261205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28653] ppid=28592 vsize=10844940 memory=4137282616176384387 CPUtime=0.11 cores=1,3,5,7
/proc/28595/task/28653/stat : 28653 (java) S 28592 28595 22966 0 -1 1077944384 2771 13147 0 0 3 0 5 3 20 0 15 0 444767078 11105218560 59899 33554432000 4194304 4196468 140723605067456 140172728207344 140173658262146 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28654] ppid=28592 vsize=10844940 memory=6933690287860520857 CPUtime=0.08 cores=1,3,5,7
/proc/28595/task/28654/stat : 28654 (java) S 28592 28595 22966 0 -1 1077944384 13 13147 0 0 0 0 5 3 20 0 15 0 444767078 11105218560 59899 33554432000 4194304 4196468 140723605067456 140172633039840 140173658261205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28655] ppid=28592 vsize=10844940 memory=-7025448733113094249 CPUtime=0.08 cores=1,3,5,7
/proc/28595/task/28655/stat : 28655 (java) S 28592 28595 22966 0 -1 1077944384 2 13147 0 0 0 0 5 3 20 0 15 0 444767078 11105218560 59899 33554432000 4194304 4196468 140723605067456 140172431713280 140173658261205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28656] ppid=28592 vsize=10844940 memory=-9001728533042062950 CPUtime=0.08 cores=1,3,5,7
/proc/28595/task/28656/stat : 28656 (java) S 28592 28595 22966 0 -1 1077944384 3 13147 0 0 0 0 5 3 20 0 15 0 444767081 11105218560 59899 33554432000 4194304 4196468 140723605067456 140172191422672 140173658269595 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28657] ppid=28592 vsize=10844940 memory=-7313218805096079717 CPUtime=1 cores=1,3,5,7
/proc/28595/task/28657/stat : 28657 (java) R 28592 28595 22966 0 -1 4202560 4390 13147 0 0 92 0 5 3 20 0 15 0 444767081 11105218560 59899 33554432000 4194304 4196468 140723605067456 140172727135760 140173643145968 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28658] ppid=28592 vsize=10844940 memory=-9001728533042062950 CPUtime=0.81 cores=1,3,5,7
/proc/28595/task/28658/stat : 28658 (java) R 28592 28595 22966 0 -1 4202560 3435 13147 0 0 72 1 5 3 20 0 15 0 444767081 11105218560 59899 33554432000 4194304 4196468 140723605067456 140172726082728 140173641787066 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28659] ppid=28592 vsize=10844940 memory=-7025448733113094249 CPUtime=0.94 cores=1,3,5,7
/proc/28595/task/28659/stat : 28659 (java) R 28592 28595 22966 0 -1 4202560 5462 13147 0 0 85 1 5 3 20 0 15 0 444767081 11105218560 59899 33554432000 4194304 4196468 140723605067456 140172725050096 140173650585960 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28660] ppid=28592 vsize=10844940 memory=4137282616176384387 CPUtime=0.08 cores=1,3,5,7
/proc/28595/task/28660/stat : 28660 (java) S 28592 28595 22966 0 -1 1077944384 3 13147 0 0 0 0 5 3 20 0 15 0 444767081 11105218560 59899 33554432000 4194304 4196468 140723605067456 140172157865056 140173658261205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
[pid=28595/tid=28661] ppid=28592 vsize=10844940 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28595/task/28661/stat : 28661 (java) S 28592 28595 22966 0 -1 1077944384 4 13147 0 0 0 0 5 3 20 0 15 0 444767082 11105218560 59899 33554432000 4194304 4196468 140723605067456 140172723996976 140173658262146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25907200 140723605072623 140723605075141 140723605075141 140723605077967 0
Current children cumulated CPU time: 5.2 s
Current children cumulated vsize: 10844940 KiB
Current children cumulated memory: 239596 KiB
[startup+2.9085 s]*
/proc/loadavg: 1.59 1.56 1.52 3/219 28662
/proc/meminfo: memFree=29988136/32770624 swapFree=67004524/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 2.91844
CPU time (s): 5.54988
CPU user time (s): 5.35679
CPU system time (s): 0.193087
CPU usage (%): 190.166
Max. virtual memory (cumulated for all children) (KiB): 10844940
Max. memory (cumulated for all children) (KiB): 239596
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.35679
system time used= 0.193087
maximum resident set size= 243720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53824
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4617
involuntary context switches= 41
# summary of solver processes directly reported to runsolver:
# pid: 28595
# total CPU time (s): 5.54988
# total CPU user time (s): 5.35679
# total CPU system time (s): 0.193087
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.050135 second user time and 0.068097 second system time
The end