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 (6100 MiB free)
memory of node 1: 16384 MiB (9036 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308412-1534330127/watcher-4308412-1534330127 -o /tmp/evaluation-result-4308412-1534330127/solver-4308412-1534330127 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1534330127-10126 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 725572897 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308412-1534330127.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=10145, runsolver pid=10142
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 2.21 2.05 1.98 6/215 10184
/proc/meminfo: memFree=15469392/32770624 swapFree=67108504/67108860
[pid=10145] ppid=10142 vsize=14082736 memory=32796 CPUtime=0.12 cores=1,3,5,7
/proc/10145/stat : 10145 (java) S 10142 10145 10094 0 -1 1077944320 7125 0 0 0 10 2 0 0 20 0 15 0 250575870 14420721664 8199 33554432000 4194304 4196468 140735393414144 140735393396688 140364202532599 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
/proc/10145/statm: 3520684 8199 3137 1 0 3482761 0
[pid=10145/tid=10148] ppid=10142 vsize=14082736 memory=5450919713671312938 CPUtime=0.09 cores=1,3,5,7
/proc/10145/task/10148/stat : 10148 (java) R 10142 10145 10094 0 -1 4202560 5208 0 0 0 8 1 0 0 20 0 15 0 250575870 14420721664 8199 33554432000 4194304 4196468 140735393414144 140364206731592 140364090281380 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
[pid=10145/tid=10152] ppid=10142 vsize=14082736 memory=-7025452035940392864 CPUtime=0 cores=1,3,5,7
/proc/10145/task/10152/stat : 10152 (java) S 10142 10145 10094 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250575871 14420721664 8199 33554432000 4194304 4196468 140735393414144 140364163492880 140364202542805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
[pid=10145/tid=10153] ppid=10142 vsize=14082736 memory=139949177517696 CPUtime=0 cores=1,3,5,7
/proc/10145/task/10153/stat : 10153 (java) S 10142 10145 10094 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250575871 14420721664 8199 33554432000 4194304 4196468 140735393414144 140363797081232 140364202542805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
[pid=10145/tid=10154] ppid=10142 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10145/task/10154/stat : 10154 (java) S 10142 10145 10094 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250575871 14420721664 8199 33554432000 4194304 4196468 140735393414144 140363796028176 140364202542805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
[pid=10145/tid=10155] ppid=10142 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10145/task/10155/stat : 10155 (java) S 10142 10145 10094 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250575871 14420721664 8199 33554432000 4194304 4196468 140735393414144 140363794975632 140364202542805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
[pid=10145/tid=10163] ppid=10142 vsize=14082736 memory=139949177517696 CPUtime=0 cores=1,3,5,7
/proc/10145/task/10163/stat : 10163 (java) S 10142 10145 10094 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250575872 14420721664 8199 33554432000 4194304 4196468 140735393414144 140363317229808 140364202543746 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
[pid=10145/tid=10164] ppid=10142 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10145/task/10164/stat : 10164 (java) S 10142 10145 10094 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250575873 14420721664 8199 33554432000 4194304 4196468 140735393414144 140363316176032 140364202542805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
[pid=10145/tid=10165] ppid=10142 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10145/task/10165/stat : 10165 (java) S 10142 10145 10094 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250575873 14420721664 8199 33554432000 4194304 4196468 140735393414144 140363315122928 140364202542805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
[pid=10145/tid=10173] ppid=10142 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10145/task/10173/stat : 10173 (java) S 10142 10145 10094 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250575875 14420721664 8199 33554432000 4194304 4196468 140735393414144 140363314071504 140364202551195 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
[pid=10145/tid=10174] ppid=10142 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10145/task/10174/stat : 10174 (java) S 10142 10145 10094 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 250575875 14420721664 8199 33554432000 4194304 4196468 140735393414144 140363313019632 140364202543746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
[pid=10145/tid=10175] ppid=10142 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10145/task/10175/stat : 10175 (java) S 10142 10145 10094 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250575875 14420721664 8199 33554432000 4194304 4196468 140735393414144 140363311967088 140364202543746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
[pid=10145/tid=10176] ppid=10142 vsize=14082736 memory=139949177517696 CPUtime=0.01 cores=1,3,5,7
/proc/10145/task/10176/stat : 10176 (java) R 10142 10145 10094 0 -1 4202560 249 0 0 0 1 0 0 0 20 0 15 0 250575875 14420721664 8199 33554432000 4194304 4196468 140735393414144 140363310914032 140364181232800 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
[pid=10145/tid=10177] ppid=10142 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10145/task/10177/stat : 10177 (java) S 10142 10145 10094 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250575875 14420721664 8199 33554432000 4194304 4196468 140735393414144 140363309861728 140364202542805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
[pid=10145/tid=10178] ppid=10142 vsize=14082736 memory=139949177517696 CPUtime=0 cores=1,3,5,7
/proc/10145/task/10178/stat : 10178 (java) S 10142 10145 10094 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250575876 14420721664 8199 33554432000 4194304 4196468 140735393414144 140363308808752 140364202543746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 32796 KiB
[startup+0.215192 s]*
/proc/loadavg: 2.21 2.05 1.98 6/215 10184
/proc/meminfo: memFree=15435808/32770624 swapFree=67108504/67108860
[pid=10145] ppid=10142 vsize=14082736 memory=46964 CPUtime=0.31 cores=1,3,5,7
/proc/10145/stat : 10145 (java) S 10142 10145 10094 0 -1 1077944320 10399 0 0 0 29 2 0 0 20 0 15 0 250575870 14420721664 11741 33554432000 4194304 4196468 140735393414144 140735393396688 140364202532599 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
/proc/10145/statm: 3520684 11741 3369 1 0 3482761 0
[pid=10145/tid=10148] ppid=10142 vsize=14082736 memory=7022364594140610616 CPUtime=0.21 cores=1,3,5,7
/proc/10145/task/10148/stat : 10148 (java) R 10142 10145 10094 0 -1 4202560 8116 0 0 0 19 2 0 0 20 0 15 0 250575870 14420721664 11871 33554432000 4194304 4196468 140735393414144 140364206762320 140364186613086 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
[pid=10145/tid=10152] ppid=10142 vsize=14082736 memory=365 CPUtime=0 cores=1,3,5,7
/proc/10145/task/10152/stat : 10152 (java) S 10142 10145 10094 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250575871 14420721664 11871 33554432000 4194304 4196468 140735393414144 140364163492880 140364202542805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
[pid=10145/tid=10153] ppid=10142 vsize=14082736 memory=139949178851444 CPUtime=0 cores=1,3,5,7
/proc/10145/task/10153/stat : 10153 (java) S 10142 10145 10094 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250575871 14420721664 11871 33554432000 4194304 4196468 140735393414144 140363797081232 140364202542805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
[pid=10145/tid=10154] ppid=10142 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10145/task/10154/stat : 10154 (java) S 10142 10145 10094 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250575871 14420721664 11871 33554432000 4194304 4196468 140735393414144 140363796028176 140364202542805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
[pid=10145/tid=10155] ppid=10142 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10145/task/10155/stat : 10155 (java) S 10142 10145 10094 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250575871 14420721664 11871 33554432000 4194304 4196468 140735393414144 140363794975632 140364202542805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
[pid=10145/tid=10163] ppid=10142 vsize=14082736 memory=139949177517696 CPUtime=0 cores=1,3,5,7
/proc/10145/task/10163/stat : 10163 (java) S 10142 10145 10094 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250575872 14420721664 11871 33554432000 4194304 4196468 140735393414144 140363317229808 140364202543746 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
[pid=10145/tid=10164] ppid=10142 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10145/task/10164/stat : 10164 (java) S 10142 10145 10094 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250575873 14420721664 11871 33554432000 4194304 4196468 140735393414144 140363316176032 140364202542805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
[pid=10145/tid=10165] ppid=10142 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10145/task/10165/stat : 10165 (java) S 10142 10145 10094 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250575873 14420721664 11871 33554432000 4194304 4196468 140735393414144 140363315122928 140364202542805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
[pid=10145/tid=10173] ppid=10142 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10145/task/10173/stat : 10173 (java) S 10142 10145 10094 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250575875 14420721664 11871 33554432000 4194304 4196468 140735393414144 140363314071504 140364202551195 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
[pid=10145/tid=10174] ppid=10142 vsize=14082736 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/10145/task/10174/stat : 10174 (java) S 10142 10145 10094 0 -1 1077944384 462 0 0 0 1 0 0 0 20 0 15 0 250575875 14420721664 11871 33554432000 4194304 4196468 140735393414144 140363313019632 140364202543746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
[pid=10145/tid=10175] ppid=10142 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/10145/task/10175/stat : 10175 (java) S 10142 10145 10094 0 -1 1077944384 148 0 0 0 2 0 0 0 20 0 15 0 250575875 14420721664 11871 33554432000 4194304 4196468 140735393414144 140363311967088 140364202543746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
[pid=10145/tid=10176] ppid=10142 vsize=14082736 memory=139949177517696 CPUtime=0.06 cores=1,3,5,7
/proc/10145/task/10176/stat : 10176 (java) R 10142 10145 10094 0 -1 1077944384 306 0 0 0 6 0 0 0 20 0 15 0 250575875 14420721664 11871 33554432000 4194304 4196468 140735393414144 140363310909760 140364202542805 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
[pid=10145/tid=10177] ppid=10142 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10145/task/10177/stat : 10177 (java) S 10142 10145 10094 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250575875 14420721664 11871 33554432000 4194304 4196468 140735393414144 140363309861728 140364202542805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
[pid=10145/tid=10178] ppid=10142 vsize=14082736 memory=139949177517696 CPUtime=0 cores=1,3,5,7
/proc/10145/task/10178/stat : 10178 (java) S 10142 10145 10094 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250575876 14420721664 11871 33554432000 4194304 4196468 140735393414144 140363308808752 140364202543746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 46964 KiB
[startup+0.31022 s]*
/proc/loadavg: 2.21 2.05 1.98 3/215 10184
/proc/meminfo: memFree=15426380/32770624 swapFree=67108504/67108860
[pid=10145] ppid=10142 vsize=14082736 memory=50440 CPUtime=0.42 cores=1,3,5,7
/proc/10145/stat : 10145 (java) S 10142 10145 10094 0 -1 1077944320 10747 0 0 0 40 2 0 0 20 0 15 0 250575870 14420721664 12610 33554432000 4194304 4196468 140735393414144 140735393396688 140364202532599 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
/proc/10145/statm: 3520684 12610 3421 1 0 3482761 0
[pid=10145/tid=10148] ppid=10142 vsize=14082736 memory=53476 CPUtime=0.3 cores=1,3,5,7
/proc/10145/task/10148/stat : 10148 (java) R 10142 10145 10094 0 -1 4202560 8437 0 0 0 28 2 0 0 20 0 15 0 250575870 14420721664 12675 33554432000 4194304 4196468 140735393414144 140364206694336 140364187698152 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
[pid=10145/tid=10152] ppid=10142 vsize=14082736 memory=35 CPUtime=0 cores=1,3,5,7
/proc/10145/task/10152/stat : 10152 (java) S 10142 10145 10094 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250575871 14420721664 12675 33554432000 4194304 4196468 140735393414144 140364163492880 140364202542805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
[pid=10145/tid=10153] ppid=10142 vsize=14082736 memory=139949177575712 CPUtime=0 cores=1,3,5,7
/proc/10145/task/10153/stat : 10153 (java) S 10142 10145 10094 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250575871 14420721664 12675 33554432000 4194304 4196468 140735393414144 140363797081232 140364202542805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
[pid=10145/tid=10154] ppid=10142 vsize=14082736 memory=60388 CPUtime=0 cores=1,3,5,7
/proc/10145/task/10154/stat : 10154 (java) S 10142 10145 10094 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250575871 14420721664 12675 33554432000 4194304 4196468 140735393414144 140363796028176 140364202542805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
[pid=10145/tid=10155] ppid=10142 vsize=14082736 memory=35 CPUtime=0 cores=1,3,5,7
/proc/10145/task/10155/stat : 10155 (java) S 10142 10145 10094 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250575871 14420721664 12675 33554432000 4194304 4196468 140735393414144 140363794975632 140364202542805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
[pid=10145/tid=10163] ppid=10142 vsize=14082736 memory=139949177582624 CPUtime=0 cores=1,3,5,7
/proc/10145/task/10163/stat : 10163 (java) S 10142 10145 10094 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250575872 14420721664 12675 33554432000 4194304 4196468 140735393414144 140363317229808 140364202543746 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
[pid=10145/tid=10164] ppid=10142 vsize=14082736 memory=35 CPUtime=0 cores=1,3,5,7
/proc/10145/task/10164/stat : 10164 (java) S 10142 10145 10094 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250575873 14420721664 12675 33554432000 4194304 4196468 140735393414144 140363316176032 140364202542805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
[pid=10145/tid=10165] ppid=10142 vsize=14082736 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/10145/task/10165/stat : 10165 (java) S 10142 10145 10094 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250575873 14420721664 12675 33554432000 4194304 4196468 140735393414144 140363315122928 140364202542805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
[pid=10145/tid=10173] ppid=10142 vsize=14082736 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/10145/task/10173/stat : 10173 (java) S 10142 10145 10094 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250575875 14420721664 12675 33554432000 4194304 4196468 140735393414144 140363314071504 140364202551195 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
[pid=10145/tid=10174] ppid=10142 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/10145/task/10174/stat : 10174 (java) S 10142 10145 10094 0 -1 1077944384 462 0 0 0 2 0 0 0 20 0 15 0 250575875 14420721664 12675 33554432000 4194304 4196468 140735393414144 140363313019632 140364202543746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
[pid=10145/tid=10175] ppid=10142 vsize=14082736 memory=139949026435023 CPUtime=0.02 cores=1,3,5,7
/proc/10145/task/10175/stat : 10175 (java) S 10142 10145 10094 0 -1 1077944384 148 0 0 0 2 0 0 0 20 0 15 0 250575875 14420721664 12675 33554432000 4194304 4196468 140735393414144 140363311967088 140364202543746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
[pid=10145/tid=10176] ppid=10142 vsize=14082736 memory=139949177527822 CPUtime=0.07 cores=1,3,5,7
/proc/10145/task/10176/stat : 10176 (java) S 10142 10145 10094 0 -1 1077944384 320 0 0 0 7 0 0 0 20 0 15 0 250575875 14420721664 12675 33554432000 4194304 4196468 140735393414144 140363310914032 140364202543746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
[pid=10145/tid=10177] ppid=10142 vsize=14082736 memory=139949026435023 CPUtime=0 cores=1,3,5,7
/proc/10145/task/10177/stat : 10177 (java) S 10142 10145 10094 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250575875 14420721664 12675 33554432000 4194304 4196468 140735393414144 140363309861728 140364202542805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
[pid=10145/tid=10178] ppid=10142 vsize=14082736 memory=279898203969472 CPUtime=0 cores=1,3,5,7
/proc/10145/task/10178/stat : 10178 (java) S 10142 10145 10094 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250575876 14420721664 12675 33554432000 4194304 4196468 140735393414144 140363308808752 140364202543746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50440 KiB
[startup+0.700744 s]
/proc/loadavg: 2.21 2.05 1.98 3/215 10184
/proc/meminfo: memFree=15384524/32770624 swapFree=67108504/67108860
[pid=10145] ppid=10142 vsize=14084804 memory=88684 CPUtime=0.99 cores=1,3,5,7
/proc/10145/stat : 10145 (java) S 10142 10145 10094 0 -1 1077944320 17568 0 0 0 95 4 0 0 20 0 15 0 250575870 14422839296 22171 33554432000 4194304 4196468 140735393414144 140735393396688 140364202532599 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
/proc/10145/statm: 3521201 22171 3497 1 0 3483273 0
[pid=10145/tid=10148] ppid=10142 vsize=14084804 memory=2372 CPUtime=0.67 cores=1,3,5,7
/proc/10145/task/10148/stat : 10148 (java) R 10142 10145 10094 0 -1 4202560 14871 0 0 0 64 3 0 0 20 0 15 0 250575870 14422839296 22171 33554432000 4194304 4196468 140735393414144 140364206747536 140364186613086 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
[pid=10145/tid=10152] ppid=10142 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10145/task/10152/stat : 10152 (java) S 10142 10145 10094 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250575871 14422839296 22171 33554432000 4194304 4196468 140735393414144 140364163492880 140364202542805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
[pid=10145/tid=10153] ppid=10142 vsize=14084804 memory=1068 CPUtime=0 cores=1,3,5,7
/proc/10145/task/10153/stat : 10153 (java) S 10142 10145 10094 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250575871 14422839296 22171 33554432000 4194304 4196468 140735393414144 140363797081232 140364202542805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
[pid=10145/tid=10154] ppid=10142 vsize=14084804 memory=15084 CPUtime=0 cores=1,3,5,7
/proc/10145/task/10154/stat : 10154 (java) S 10142 10145 10094 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250575871 14422839296 22171 33554432000 4194304 4196468 140735393414144 140363796028176 140364202542805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
[pid=10145/tid=10155] ppid=10142 vsize=14084804 memory=38500 CPUtime=0 cores=1,3,5,7
/proc/10145/task/10155/stat : 10155 (java) S 10142 10145 10094 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250575871 14422839296 22171 33554432000 4194304 4196468 140735393414144 140363794975632 140364202542805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
[pid=10145/tid=10163] ppid=10142 vsize=14084804 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/10145/task/10163/stat : 10163 (java) S 10142 10145 10094 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250575872 14422839296 22171 33554432000 4194304 4196468 140735393414144 140363317229808 140364202543746 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
[pid=10145/tid=10164] ppid=10142 vsize=14084804 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/10145/task/10164/stat : 10164 (java) S 10142 10145 10094 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250575873 14422839296 22171 33554432000 4194304 4196468 140735393414144 140363316176032 140364202542805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
[pid=10145/tid=10165] ppid=10142 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10145/task/10165/stat : 10165 (java) S 10142 10145 10094 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250575873 14422839296 22171 33554432000 4194304 4196468 140735393414144 140363315122928 140364202542805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
[pid=10145/tid=10173] ppid=10142 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10145/task/10173/stat : 10173 (java) S 10142 10145 10094 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250575875 14422839296 22171 33554432000 4194304 4196468 140735393414144 140363314071504 140364202551195 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
[pid=10145/tid=10174] ppid=10142 vsize=14084804 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10145/task/10174/stat : 10174 (java) S 10142 10145 10094 0 -1 1077944384 627 0 0 0 7 0 0 0 20 0 15 0 250575875 14422839296 22171 33554432000 4194304 4196468 140735393414144 140363313019632 140364202543746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
[pid=10145/tid=10175] ppid=10142 vsize=14084804 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10145/task/10175/stat : 10175 (java) S 10142 10145 10094 0 -1 1077944384 293 0 0 0 8 0 0 0 20 0 15 0 250575875 14422839296 22171 33554432000 4194304 4196468 140735393414144 140363311967088 140364202543746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
[pid=10145/tid=10176] ppid=10142 vsize=14084804 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/10145/task/10176/stat : 10176 (java) S 10142 10145 10094 0 -1 1077944384 393 0 0 0 15 0 0 0 20 0 15 0 250575875 14422839296 22171 33554432000 4194304 4196468 140735393414144 140363310914032 140364202543746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
[pid=10145/tid=10177] ppid=10142 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10145/task/10177/stat : 10177 (java) S 10142 10145 10094 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250575875 14422839296 22171 33554432000 4194304 4196468 140735393414144 140363309861728 140364202542805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
[pid=10145/tid=10178] ppid=10142 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10145/task/10178/stat : 10178 (java) S 10142 10145 10094 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250575876 14422839296 22171 33554432000 4194304 4196468 140735393414144 140363308808752 140364202543746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88684 KiB
[startup+1.38015 s]
# the end of solver process 10145 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2.45524 s, system=0.072456 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.801639 s]
/proc/loadavg: 2.21 2.05 1.98 3/215 10184
/proc/meminfo: memFree=15384524/32770624 swapFree=67108504/67108860
[pid=10145] ppid=10142 vsize=14086852 memory=93124 CPUtime=1.19 cores=1,3,5,7
/proc/10145/stat : 10145 (java) S 10142 10145 10094 0 -1 1077944320 18074 0 0 0 114 5 0 0 20 0 15 0 250575870 14424936448 23281 33554432000 4194304 4196468 140735393414144 140735393396688 140364202532599 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
/proc/10145/statm: 3521713 23281 3510 1 0 3483785 0
[pid=10145/tid=10148] ppid=10142 vsize=14086852 memory=3992 CPUtime=0.77 cores=1,3,5,7
/proc/10145/task/10148/stat : 10148 (java) R 10142 10145 10094 0 -1 4202560 15191 0 0 0 74 3 0 0 20 0 15 0 250575870 14424936448 23281 33554432000 4194304 4196468 140735393414144 140364206767424 140363838719238 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
[pid=10145/tid=10152] ppid=10142 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10145/task/10152/stat : 10152 (java) S 10142 10145 10094 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250575871 14424936448 23281 33554432000 4194304 4196468 140735393414144 140364163492880 140364202542805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
[pid=10145/tid=10153] ppid=10142 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10145/task/10153/stat : 10153 (java) S 10142 10145 10094 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250575871 14424936448 23281 33554432000 4194304 4196468 140735393414144 140363797081232 140364202542805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
[pid=10145/tid=10154] ppid=10142 vsize=14086852 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/10145/task/10154/stat : 10154 (java) S 10142 10145 10094 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250575871 14424936448 23281 33554432000 4194304 4196468 140735393414144 140363796028176 140364202542805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
[pid=10145/tid=10155] ppid=10142 vsize=14086852 memory=279898053111520 CPUtime=0 cores=1,3,5,7
/proc/10145/task/10155/stat : 10155 (java) S 10142 10145 10094 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250575871 14424936448 23281 33554432000 4194304 4196468 140735393414144 140363794975632 140364202542805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
[pid=10145/tid=10163] ppid=10142 vsize=14086852 memory=41284 CPUtime=0 cores=1,3,5,7
/proc/10145/task/10163/stat : 10163 (java) S 10142 10145 10094 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250575872 14424936448 23281 33554432000 4194304 4196468 140735393414144 140363317229808 140364202543746 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
[pid=10145/tid=10164] ppid=10142 vsize=14086852 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/10145/task/10164/stat : 10164 (java) S 10142 10145 10094 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250575873 14424936448 23281 33554432000 4194304 4196468 140735393414144 140363316176032 140364202542805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
[pid=10145/tid=10165] ppid=10142 vsize=14086852 memory=139949026562656 CPUtime=0 cores=1,3,5,7
/proc/10145/task/10165/stat : 10165 (java) S 10142 10145 10094 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250575873 14424936448 23281 33554432000 4194304 4196468 140735393414144 140363315122928 140364202542805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
[pid=10145/tid=10173] ppid=10142 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10145/task/10173/stat : 10173 (java) S 10142 10145 10094 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250575875 14424936448 23281 33554432000 4194304 4196468 140735393414144 140363314071504 140364202551195 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
[pid=10145/tid=10174] ppid=10142 vsize=14086852 memory=6944656575208382560 CPUtime=0.08 cores=1,3,5,7
/proc/10145/task/10174/stat : 10174 (java) S 10142 10145 10094 0 -1 1077944384 651 0 0 0 8 0 0 0 20 0 15 0 250575875 14424936448 23281 33554432000 4194304 4196468 140735393414144 140363313019632 140364202543746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
[pid=10145/tid=10175] ppid=10142 vsize=14086852 memory=817 CPUtime=0.09 cores=1,3,5,7
/proc/10145/task/10175/stat : 10175 (java) S 10142 10145 10094 0 -1 1077944384 303 0 0 0 9 0 0 0 20 0 15 0 250575875 14424936448 23281 33554432000 4194304 4196468 140735393414144 140363311967088 140364202543746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
[pid=10145/tid=10176] ppid=10142 vsize=14086852 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/10145/task/10176/stat : 10176 (java) R 10142 10145 10094 0 -1 4202560 545 0 0 0 21 0 0 0 20 0 15 0 250575875 14424936448 23281 33554432000 4194304 4196468 140735393414144 140363310914328 140364180523906 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
[pid=10145/tid=10177] ppid=10142 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10145/task/10177/stat : 10177 (java) S 10142 10145 10094 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250575875 14424936448 23281 33554432000 4194304 4196468 140735393414144 140363309861728 140364202542805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
[pid=10145/tid=10178] ppid=10142 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10145/task/10178/stat : 10178 (java) S 10142 10145 10094 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250575876 14424936448 23281 33554432000 4194304 4196468 140735393414144 140363308808752 140364202543746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
Current children cumulated CPU time: 1.19 s
Current children cumulated vsize: 14086852 KiB
Current children cumulated memory: 93124 KiB
[startup+1.20273 s]
/proc/loadavg: 2.21 2.05 1.98 7/215 10184
/proc/meminfo: memFree=15286432/32770624 swapFree=67108504/67108860
[pid=10145] ppid=10142 vsize=14090948 memory=123964 CPUtime=2.02 cores=1,3,5,7
/proc/10145/stat : 10145 (java) S 10142 10145 10094 0 -1 1077944320 22625 0 0 0 196 6 0 0 20 0 15 0 250575870 14429130752 30991 33554432000 4194304 4196468 140735393414144 140735393396688 140364202532599 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
/proc/10145/statm: 3522737 30991 3527 1 0 3484809 0
[pid=10145/tid=10148] ppid=10142 vsize=14090948 memory=13570379625014639 CPUtime=1.18 cores=1,3,5,7
/proc/10145/task/10148/stat : 10148 (java) R 10142 10145 10094 0 -1 4202560 18740 0 0 0 113 5 0 0 20 0 15 0 250575870 14429130752 30991 33554432000 4194304 4196468 140735393414144 140364206733968 140364185719056 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
[pid=10145/tid=10152] ppid=10142 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10145/task/10152/stat : 10152 (java) S 10142 10145 10094 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250575871 14429130752 30991 33554432000 4194304 4196468 140735393414144 140364163492880 140364202542805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
[pid=10145/tid=10153] ppid=10142 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10145/task/10153/stat : 10153 (java) S 10142 10145 10094 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250575871 14429130752 30991 33554432000 4194304 4196468 140735393414144 140363797081232 140364202542805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
[pid=10145/tid=10154] ppid=10142 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10145/task/10154/stat : 10154 (java) S 10142 10145 10094 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250575871 14429130752 30991 33554432000 4194304 4196468 140735393414144 140363796028176 140364202542805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
[pid=10145/tid=10155] ppid=10142 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10145/task/10155/stat : 10155 (java) S 10142 10145 10094 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250575871 14429130752 30991 33554432000 4194304 4196468 140735393414144 140363794975632 140364202542805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
[pid=10145/tid=10163] ppid=10142 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10145/task/10163/stat : 10163 (java) S 10142 10145 10094 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250575872 14429130752 30991 33554432000 4194304 4196468 140735393414144 140363317229808 140364202543746 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
[pid=10145/tid=10164] ppid=10142 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10145/task/10164/stat : 10164 (java) S 10142 10145 10094 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250575873 14429130752 30991 33554432000 4194304 4196468 140735393414144 140363316176032 140364202542805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
[pid=10145/tid=10165] ppid=10142 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10145/task/10165/stat : 10165 (java) S 10142 10145 10094 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250575873 14429130752 30991 33554432000 4194304 4196468 140735393414144 140363315122928 140364202542805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
[pid=10145/tid=10173] ppid=10142 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10145/task/10173/stat : 10173 (java) S 10142 10145 10094 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250575875 14429130752 30991 33554432000 4194304 4196468 140735393414144 140363314071504 140364202551195 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
[pid=10145/tid=10174] ppid=10142 vsize=14090948 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/10145/task/10174/stat : 10174 (java) S 10142 10145 10094 0 -1 1077944384 864 0 0 0 20 0 0 0 20 0 15 0 250575875 14429130752 30991 33554432000 4194304 4196468 140735393414144 140363313019632 140364202543746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
[pid=10145/tid=10175] ppid=10142 vsize=14090948 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/10145/task/10175/stat : 10175 (java) S 10142 10145 10094 0 -1 1077944384 420 0 0 0 19 0 0 0 20 0 15 0 250575875 14429130752 30991 33554432000 4194304 4196468 140735393414144 140363311967088 140364202543746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
[pid=10145/tid=10176] ppid=10142 vsize=14090948 memory=0 CPUtime=0.42 cores=1,3,5,7
/proc/10145/task/10176/stat : 10176 (java) S 10142 10145 10094 0 -1 1077944384 1219 0 0 0 42 0 0 0 20 0 15 0 250575875 14429130752 30991 33554432000 4194304 4196468 140735393414144 140363310914032 140364202543746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
[pid=10145/tid=10177] ppid=10142 vsize=14090948 memory=3474019362442196511 CPUtime=0 cores=1,3,5,7
/proc/10145/task/10177/stat : 10177 (java) S 10142 10145 10094 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250575875 14429130752 30991 33554432000 4194304 4196468 140735393414144 140363309861728 140364202542805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
[pid=10145/tid=10178] ppid=10142 vsize=14090948 memory=7954880213900747116 CPUtime=0 cores=1,3,5,7
/proc/10145/task/10178/stat : 10178 (java) S 10142 10145 10094 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250575876 14429130752 31503 33554432000 4194304 4196468 140735393414144 140363308808752 140364202543746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
Current children cumulated CPU time: 2.02 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 123964 KiB
[startup+1.30961 s]
/proc/loadavg: 2.21 2.05 1.98 7/215 10184
/proc/meminfo: memFree=15286432/32770624 swapFree=67108504/67108860
[pid=10145] ppid=10142 vsize=14090948 memory=133080 CPUtime=2.34 cores=1,3,5,7
/proc/10145/stat : 10145 (java) S 10142 10145 10094 0 -1 1077944320 23729 0 0 0 228 6 0 0 20 0 15 0 250575870 14429130752 33270 33554432000 4194304 4196468 140735393414144 140735393396688 140364202532599 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
/proc/10145/statm: 3522737 33270 3533 1 0 3484809 0
[pid=10145/tid=10148] ppid=10142 vsize=14090948 memory=99036 CPUtime=1.28 cores=1,3,5,7
/proc/10145/task/10148/stat : 10148 (java) R 10142 10145 10094 0 -1 4202560 18885 0 0 0 123 5 0 0 20 0 15 0 250575870 14429130752 33270 33554432000 4194304 4196468 140735393414144 140364206767512 140363843798394 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
[pid=10145/tid=10152] ppid=10142 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10145/task/10152/stat : 10152 (java) S 10142 10145 10094 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250575871 14429130752 33270 33554432000 4194304 4196468 140735393414144 140364163492880 140364202542805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
[pid=10145/tid=10153] ppid=10142 vsize=14090948 memory=88684 CPUtime=0 cores=1,3,5,7
/proc/10145/task/10153/stat : 10153 (java) S 10142 10145 10094 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250575871 14429130752 33270 33554432000 4194304 4196468 140735393414144 140363797081232 140364202542805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
[pid=10145/tid=10154] ppid=10142 vsize=14090948 memory=2372 CPUtime=0 cores=1,3,5,7
/proc/10145/task/10154/stat : 10154 (java) S 10142 10145 10094 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250575871 14429130752 33270 33554432000 4194304 4196468 140735393414144 140363796028176 140364202542805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
[pid=10145/tid=10155] ppid=10142 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10145/task/10155/stat : 10155 (java) S 10142 10145 10094 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250575871 14429130752 33270 33554432000 4194304 4196468 140735393414144 140363794975632 140364202542805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
[pid=10145/tid=10163] ppid=10142 vsize=14090948 memory=1068 CPUtime=0 cores=1,3,5,7
/proc/10145/task/10163/stat : 10163 (java) S 10142 10145 10094 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 250575872 14429130752 33270 33554432000 4194304 4196468 140735393414144 140363317229808 140364202543746 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
[pid=10145/tid=10164] ppid=10142 vsize=14090948 memory=15084 CPUtime=0 cores=1,3,5,7
/proc/10145/task/10164/stat : 10164 (java) S 10142 10145 10094 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250575873 14429130752 33270 33554432000 4194304 4196468 140735393414144 140363316176032 140364202542805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
[pid=10145/tid=10165] ppid=10142 vsize=14090948 memory=38500 CPUtime=0 cores=1,3,5,7
/proc/10145/task/10165/stat : 10165 (java) S 10142 10145 10094 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250575873 14429130752 33270 33554432000 4194304 4196468 140735393414144 140363315122928 140364202542805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
[pid=10145/tid=10173] ppid=10142 vsize=14090948 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/10145/task/10173/stat : 10173 (java) S 10142 10145 10094 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250575875 14429130752 33270 33554432000 4194304 4196468 140735393414144 140363314071504 140364202551195 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
[pid=10145/tid=10174] ppid=10142 vsize=14090948 memory=2244 CPUtime=0.28 cores=1,3,5,7
/proc/10145/task/10174/stat : 10174 (java) R 10142 10145 10094 0 -1 4202560 1450 0 0 0 28 0 0 0 20 0 15 0 250575875 14429130752 33270 33554432000 4194304 4196468 140735393414144 140363313005512 140364184053617 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
[pid=10145/tid=10175] ppid=10142 vsize=14090948 memory=0 CPUtime=0.27 cores=1,3,5,7
/proc/10145/task/10175/stat : 10175 (java) R 10142 10145 10094 0 -1 4202560 602 0 0 0 27 0 0 0 20 0 15 0 250575875 14429130752 33270 33554432000 4194304 4196468 140735393414144 140363311957856 140364183168076 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
[pid=10145/tid=10176] ppid=10142 vsize=14090948 memory=0 CPUtime=0.48 cores=1,3,5,7
/proc/10145/task/10176/stat : 10176 (java) S 10142 10145 10094 0 -1 1077944384 1396 0 0 0 48 0 0 0 20 0 15 0 250575875 14429130752 33782 33554432000 4194304 4196468 140735393414144 140363310914032 140364202543746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
[pid=10145/tid=10177] ppid=10142 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10145/task/10177/stat : 10177 (java) S 10142 10145 10094 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250575875 14429130752 33782 33554432000 4194304 4196468 140735393414144 140363309861728 140364202542805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
[pid=10145/tid=10178] ppid=10142 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10145/task/10178/stat : 10178 (java) S 10142 10145 10094 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250575876 14429130752 33782 33554432000 4194304 4196468 140735393414144 140363308808752 140364202543746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8421376 140735393420373 140735393420553 140735393420553 140735393423311 0
Current children cumulated CPU time: 2.34 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 133080 KiB
Child status: 0
Real time (s): 1.38021
CPU time (s): 2.5277
CPU user time (s): 2.45524
CPU system time (s): 0.072456
CPU usage (%): 183.139
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 133080
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.45524
system time used= 0.072456
maximum resident set size= 140108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23889
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2571
involuntary context switches= 9
# summary of solver processes directly reported to runsolver:
# pid: 10145
# total CPU time (s): 2.5277
# total CPU user time (s): 2.45524
# total CPU system time (s): 0.072456
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.037243 second user time and 0.049657 second system time
The end