runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3753814-1339201083/watcher-3753814-1339201083 -o /tmp/evaluation-result-3753814-1339201083/solver-3753814-1339201083 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3753814-1339201083.wbo 1061552149 HOME HOME
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.07 2.02 2.00 3/176 20592
/proc/meminfo: memFree=29740368/32873624 swapFree=7112/7112
[pid=20592] ppid=20590 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20592/stat : 20592 (npSolver-wbo-It) S 20590 20592 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386233811 9367552 275 33554432000 4194304 5064252 140733919695504 140733919694416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20592/statm: 2287 275 233 213 0 72 0
[startup+0.0924089 s]
/proc/loadavg: 2.07 2.02 2.00 3/176 20592
/proc/meminfo: memFree=29740368/32873624 swapFree=7112/7112
[pid=20592] ppid=20590 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20592/stat : 20592 (npSolver-wbo-It) S 20590 20592 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386233811 9367552 275 33554432000 4194304 5064252 140733919695504 140733919694416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20592/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100201 s]
/proc/loadavg: 2.07 2.02 2.00 3/176 20592
/proc/meminfo: memFree=29740368/32873624 swapFree=7112/7112
[pid=20592] ppid=20590 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20592/stat : 20592 (npSolver-wbo-It) S 20590 20592 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386233811 9367552 275 33554432000 4194304 5064252 140733919695504 140733919694416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20592/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300213 s]
/proc/loadavg: 2.07 2.02 2.00 3/176 20592
/proc/meminfo: memFree=29740368/32873624 swapFree=7112/7112
[pid=20592] ppid=20590 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20592/stat : 20592 (npSolver-wbo-It) S 20590 20592 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386233811 9367552 275 33554432000 4194304 5064252 140733919695504 140733919694416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20592/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700189 s]
/proc/loadavg: 2.07 2.02 2.00 3/176 20592
/proc/meminfo: memFree=29740368/32873624 swapFree=7112/7112
[pid=20592] ppid=20590 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20592/stat : 20592 (npSolver-wbo-It) S 20590 20592 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386233811 9367552 275 33554432000 4194304 5064252 140733919695504 140733919694416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20592/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50033 s]
/proc/loadavg: 2.07 2.02 2.00 3/180 20613
/proc/meminfo: memFree=29700232/32873624 swapFree=7112/7112
[pid=20592] ppid=20590 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20592/stat : 20592 (npSolver-wbo-It) S 20590 20592 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386233811 9367552 275 33554432000 4194304 5064252 140733919695504 140733919694416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20592/statm: 2287 275 233 213 0 72 0
[pid=20593] ppid=20592 vsize=19952 CPUtime=0.15 cores=0,2,4,6
/proc/20593/stat : 20593 (npSolver-wbo) S 20592 20592 14131 0 -1 4202496 3645 5386 0 0 11 2 1 1 20 0 1 0 386233811 20430848 4523 33554432000 4194304 6006132 140736849162272 140736849153664 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20593/statm: 4988 4523 179 443 0 4541 0
[pid=20605] ppid=20593 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20605/stat : 20605 (satsolver.sh) S 20593 20592 14131 0 -1 4202496 600 0 0 0 0 0 0 0 20 0 1 0 386233827 9367552 267 33554432000 4194304 5064252 140735729517200 140735729516112 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/20605/statm: 2287 267 226 213 0 72 0
[pid=20606] ppid=20605 vsize=26168 CPUtime=1.33 cores=0,2,4,6
/proc/20606/stat : 20606 (glucose) R 20605 20592 14131 0 -1 4202496 6259 0 0 0 132 1 0 0 20 0 1 0 386233827 26796032 5338 33554432000 4194304 5208918 140735302306048 140735302304008 4211584 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20606/statm: 6542 5338 105 248 0 6291 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 64416
[startup+3.10038 s]
/proc/loadavg: 2.07 2.02 2.00 3/181 20614
/proc/meminfo: memFree=29697876/32873624 swapFree=7112/7112
[pid=20592] ppid=20590 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20592/stat : 20592 (npSolver-wbo-It) S 20590 20592 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386233811 9367552 275 33554432000 4194304 5064252 140733919695504 140733919694416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20592/statm: 2287 275 233 213 0 72 0
[pid=20593] ppid=20592 vsize=19952 CPUtime=0.15 cores=0,2,4,6
/proc/20593/stat : 20593 (npSolver-wbo) S 20592 20592 14131 0 -1 4202496 3645 5386 0 0 11 2 1 1 20 0 1 0 386233811 20430848 4523 33554432000 4194304 6006132 140736849162272 140736849153664 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20593/statm: 4988 4523 179 443 0 4541 0
[pid=20605] ppid=20593 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20605/stat : 20605 (satsolver.sh) S 20593 20592 14131 0 -1 4202496 600 0 0 0 0 0 0 0 20 0 1 0 386233827 9367552 267 33554432000 4194304 5064252 140735729517200 140735729516112 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/20605/statm: 2287 267 226 213 0 72 0
[pid=20606] ppid=20605 vsize=26840 CPUtime=2.92 cores=0,2,4,6
/proc/20606/stat : 20606 (glucose) R 20605 20592 14131 0 -1 4202496 6800 0 0 0 291 1 0 0 20 0 1 0 386233827 27484160 5870 33554432000 4194304 5208918 140735302306048 140735302303896 4232672 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20606/statm: 6710 5870 105 248 0 6459 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 65088
[startup+6.30032 s]
/proc/loadavg: 2.07 2.02 2.00 3/181 20628
/proc/meminfo: memFree=29709404/32873624 swapFree=7112/7112
[pid=20592] ppid=20590 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20592/stat : 20592 (npSolver-wbo-It) S 20590 20592 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386233811 9367552 275 33554432000 4194304 5064252 140733919695504 140733919694416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20592/statm: 2287 275 233 213 0 72 0
[pid=20593] ppid=20592 vsize=19952 CPUtime=6.21 cores=0,2,4,6
/proc/20593/stat : 20593 (npSolver-wbo) S 20592 20592 14131 0 -1 4202496 8081 25120 0 0 32 4 577 8 20 0 1 0 386233811 20430848 4523 33554432000 4194304 6006132 140736849162272 140736849153664 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20593/statm: 4988 4523 179 443 0 4541 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 29100
[startup+12.7003 s]
/proc/loadavg: 2.06 2.02 2.00 3/181 20649
/proc/meminfo: memFree=29698624/32873624 swapFree=7112/7112
[pid=20592] ppid=20590 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20592/stat : 20592 (npSolver-wbo-It) S 20590 20592 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386233811 9367552 275 33554432000 4194304 5064252 140733919695504 140733919694416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20592/statm: 2287 275 233 213 0 72 0
[pid=20593] ppid=20592 vsize=19952 CPUtime=11.47 cores=0,2,4,6
/proc/20593/stat : 20593 (npSolver-wbo) S 20592 20592 14131 0 -1 4202496 10299 35996 0 0 42 5 1087 13 20 0 1 0 386233811 20430848 4523 33554432000 4194304 6006132 140736849162272 140736849153664 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20593/statm: 4988 4523 179 443 0 4541 0
[pid=20648] ppid=20593 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20648/stat : 20648 (satsolver.sh) S 20593 20592 14131 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386234960 9367552 267 33554432000 4194304 5064252 140736401528896 140736401527808 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/20648/statm: 2287 267 226 213 0 72 0
[pid=20649] ppid=20648 vsize=25748 CPUtime=1.19 cores=0,2,4,6
/proc/20649/stat : 20649 (glucose) R 20648 20592 14131 0 -1 4202496 6046 0 0 0 118 1 0 0 20 0 1 0 386234961 26365952 5140 33554432000 4194304 5208918 140737217319920 140737217317768 4465602 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20649/statm: 6437 5140 105 248 0 6186 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 63996
[startup+25.5003 s]
/proc/loadavg: 2.05 2.01 2.00 3/181 20684
/proc/meminfo: memFree=29697008/32873624 swapFree=7112/7112
[pid=20592] ppid=20590 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20592/stat : 20592 (npSolver-wbo-It) S 20590 20592 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386233811 9367552 275 33554432000 4194304 5064252 140733919695504 140733919694416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20592/statm: 2287 275 233 213 0 72 0
[pid=20593] ppid=20592 vsize=19952 CPUtime=22.33 cores=0,2,4,6
/proc/20593/stat : 20593 (npSolver-wbo) S 20592 20592 14131 0 -1 4202496 16953 62740 0 0 73 8 2128 24 20 0 1 0 386233811 20430848 4523 33554432000 4194304 6006132 140736849162272 140736849153664 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20593/statm: 4988 4523 179 443 0 4541 0
[pid=20676] ppid=20593 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20676/stat : 20676 (satsolver.sh) S 20593 20592 14131 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386236046 9367552 267 33554432000 4194304 5064252 140736083048176 140736083047088 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/20676/statm: 2287 267 226 213 0 72 0
[pid=20677] ppid=20676 vsize=26308 CPUtime=3.13 cores=0,2,4,6
/proc/20677/stat : 20677 (glucose) R 20676 20592 14131 0 -1 4202496 6554 0 0 0 312 1 0 0 20 0 1 0 386236046 26939392 5628 33554432000 4194304 5208918 140737349050464 140737349048312 4211851 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20677/statm: 6577 5628 105 248 0 6326 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 64556
[startup+51.1003 s]
/proc/loadavg: 2.17 2.04 2.01 3/181 20768
/proc/meminfo: memFree=29697032/32873624 swapFree=7112/7112
[pid=20592] ppid=20590 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20592/stat : 20592 (npSolver-wbo-It) S 20590 20592 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386233811 9367552 275 33554432000 4194304 5064252 140733919695504 140733919694416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20592/statm: 2287 275 233 213 0 72 0
[pid=20593] ppid=20592 vsize=19952 CPUtime=48.73 cores=0,2,4,6
/proc/20593/stat : 20593 (npSolver-wbo) S 20592 20592 14131 0 -1 4202496 32479 132076 0 0 145 15 4662 51 20 0 1 0 386233811 20430848 4523 33554432000 4194304 6006132 140736849162272 140736849153664 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20593/statm: 4988 4523 179 443 0 4541 0
[pid=20760] ppid=20593 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20760/stat : 20760 (satsolver.sh) S 20593 20592 14131 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386238689 9367552 267 33554432000 4194304 5064252 140736464624160 140736464623072 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/20760/statm: 2287 267 226 213 0 72 0
[pid=20761] ppid=20760 vsize=26416 CPUtime=2.3 cores=0,2,4,6
/proc/20761/stat : 20761 (glucose) R 20760 20592 14131 0 -1 4202496 5893 0 0 0 230 0 0 0 20 0 1 0 386238689 27049984 5899 33554432000 4194304 5208918 140735806500240 140735806497992 4211534 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20761/statm: 6604 5899 105 248 0 6353 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 64664
[startup+102.306 s]
/proc/loadavg: 2.02 2.02 2.00 3/181 20943
/proc/meminfo: memFree=29697612/32873624 swapFree=7112/7112
[pid=20592] ppid=20590 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20592/stat : 20592 (npSolver-wbo-It) S 20590 20592 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386233811 9367552 275 33554432000 4194304 5064252 140733919695504 140733919694416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20592/statm: 2287 275 233 213 0 72 0
[pid=20593] ppid=20592 vsize=19952 CPUtime=100.54 cores=0,2,4,6
/proc/20593/stat : 20593 (npSolver-wbo) S 20592 20592 14131 0 -1 4202496 63531 269604 0 0 290 29 9631 104 20 0 1 0 386233811 20430848 4523 33554432000 4194304 6006132 140736849162272 140736849153664 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20593/statm: 4988 4523 179 443 0 4541 0
[pid=20942] ppid=20593 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20942/stat : 20942 (satsolver.sh) S 20593 20592 14131 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386243889 9367552 267 33554432000 4194304 5064252 140735298621136 140735298620048 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/20942/statm: 2287 267 226 213 0 72 0
[pid=20943] ppid=20942 vsize=25356 CPUtime=1.5 cores=0,2,4,6
/proc/20943/stat : 20943 (glucose) R 20942 20592 14131 0 -1 4202496 5925 0 0 0 149 1 0 0 20 0 1 0 386243890 25964544 5013 33554432000 4194304 5208918 140734386033008 140734386030856 4229344 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20943/statm: 6339 5013 104 248 0 6088 0
Current children cumulated CPU time (s) 102.04
Current children cumulated vsize (KiB) 63604
[startup+162.3 s]
/proc/loadavg: 2.15 2.05 2.01 3/182 21121
/proc/meminfo: memFree=29700524/32873624 swapFree=7112/7112
[pid=20592] ppid=20590 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20592/stat : 20592 (npSolver-wbo-It) S 20590 20592 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386233811 9367552 275 33554432000 4194304 5064252 140733919695504 140733919694416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20592/statm: 2287 275 233 213 0 72 0
[pid=20593] ppid=20592 vsize=19952 CPUtime=158.42 cores=0,2,4,6
/proc/20593/stat : 20593 (npSolver-wbo) S 20592 20592 14131 0 -1 4202496 90147 384264 0 0 414 42 15234 152 20 0 1 0 386233811 20430848 4523 33554432000 4194304 6006132 140736849162272 140736849153664 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20593/statm: 4988 4523 179 443 0 4541 0
[pid=21113] ppid=20593 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21113/stat : 21113 (satsolver.sh) S 20593 20592 14131 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386249678 9367552 267 33554432000 4194304 5064252 140735157522832 140735157521744 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/21113/statm: 2287 267 226 213 0 72 0
[pid=21114] ppid=21113 vsize=25888 CPUtime=3.61 cores=0,2,4,6
/proc/21114/stat : 21114 (glucose) R 21113 20592 14131 0 -1 4202496 6048 0 0 0 360 1 0 0 20 0 1 0 386249678 26509312 5471 33554432000 4194304 5208918 140734118103856 140734118102008 4229344 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21114/statm: 6472 5471 105 248 0 6221 0
Current children cumulated CPU time (s) 162.03
################
# More data... #
################
/proc/20593/statm: 4988 4524 179 443 0 4541 0
[pid=23083] ppid=20593 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23083/stat : 23083 (satsolver.sh) S 20593 20592 14131 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386291944 9367552 267 33554432000 4194304 5064252 140737222059248 140737222058160 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23083/statm: 2287 267 226 213 0 72 0
[pid=23084] ppid=23083 vsize=19728 CPUtime=0.96 cores=0,2,4,6
/proc/23084/stat : 23084 (glucose) R 23083 20592 14131 0 -1 4202496 5174 0 0 0 95 1 0 0 20 0 1 0 386291944 20201472 4572 33554432000 4194304 5208918 140734100906832 140734100904680 4228997 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23084/statm: 4932 4572 104 248 0 4681 0
Current children cumulated CPU time (s) 581.44
Current children cumulated vsize (KiB) 57976
[startup+642.3 s]
/proc/loadavg: 1.97 2.00 1.99 3/181 23337
/proc/meminfo: memFree=29694848/32873624 swapFree=7112/7112
[pid=20592] ppid=20590 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20592/stat : 20592 (npSolver-wbo-It) S 20590 20592 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386233811 9367552 275 33554432000 4194304 5064252 140733919695504 140733919694416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20592/statm: 2287 275 233 213 0 72 0
[pid=20593] ppid=20592 vsize=19952 CPUtime=638.3 cores=0,2,4,6
/proc/20593/stat : 20593 (npSolver-wbo) S 20592 20592 14131 0 -1 4202496 416147 1747847 0 0 1768 177 61190 695 20 0 1 0 386233811 20430848 4524 33554432000 4194304 6006132 140736849162272 140736849153664 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 14 0 0
/proc/20593/statm: 4988 4524 179 443 0 4541 0
[pid=23329] ppid=20593 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23329/stat : 23329 (satsolver.sh) S 20593 20592 14131 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386297792 9367552 267 33554432000 4194304 5064252 140734494250384 140734494249296 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23329/statm: 2287 267 226 213 0 72 0
[pid=23330] ppid=23329 vsize=22712 CPUtime=2.47 cores=0,2,4,6
/proc/23330/stat : 23330 (glucose) R 23329 20592 14131 0 -1 4202496 5391 0 0 0 246 1 0 0 20 0 1 0 386297793 23257088 4917 33554432000 4194304 5208918 140735151713776 140735151711928 4210976 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23330/statm: 5678 4917 104 248 0 5427 0
Current children cumulated CPU time (s) 640.77
Current children cumulated vsize (KiB) 60960
[startup+702.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/181 23561
/proc/meminfo: memFree=29694552/32873624 swapFree=7112/7112
[pid=20592] ppid=20590 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20592/stat : 20592 (npSolver-wbo-It) S 20590 20592 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386233811 9367552 275 33554432000 4194304 5064252 140733919695504 140733919694416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20592/statm: 2287 275 233 213 0 72 0
[pid=20593] ppid=20592 vsize=19952 CPUtime=698.64 cores=0,2,4,6
/proc/20593/stat : 20593 (npSolver-wbo) S 20592 20592 14131 0 -1 4202496 467138 1950915 0 0 1964 197 66925 778 20 0 1 0 386233811 20430848 4524 33554432000 4194304 6006132 140736849162272 140736849153664 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 14 0 0
/proc/20593/statm: 4988 4524 179 443 0 4541 0
[pid=23560] ppid=20593 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23560/stat : 23560 (satsolver.sh) S 20593 20592 14131 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386303836 9367552 266 33554432000 4194304 5064252 140736615353120 140736615352032 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23560/statm: 2287 266 226 213 0 72 0
[pid=23561] ppid=23560 vsize=22432 CPUtime=2.03 cores=0,2,4,6
/proc/23561/stat : 23561 (glucose) R 23560 20592 14131 0 -1 4202496 5368 0 0 0 202 1 0 0 20 0 1 0 386303837 22970368 4769 33554432000 4194304 5208918 140736922664976 140736922662728 4211744 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23561/statm: 5608 4769 104 248 0 5357 0
Current children cumulated CPU time (s) 700.67
Current children cumulated vsize (KiB) 60680
[startup+762.306 s]
/proc/loadavg: 1.99 2.00 1.99 3/180 24257
/proc/meminfo: memFree=29295056/32873624 swapFree=7112/7112
[pid=20592] ppid=20590 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20592/stat : 20592 (npSolver-wbo-It) S 20590 20592 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386233811 9367552 275 33554432000 4194304 5064252 140733919695504 140733919694416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20592/statm: 2287 275 233 213 0 72 0
[pid=20593] ppid=20592 vsize=19952 CPUtime=760.22 cores=0,2,4,6
/proc/20593/stat : 20593 (npSolver-wbo) S 20592 20592 14131 0 -1 4202496 532893 2205417 0 0 2199 222 72729 872 20 0 1 0 386233811 20430848 4530 33554432000 4194304 6006132 140736849162272 140736849153664 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 14 0 0
/proc/20593/statm: 4988 4530 179 443 0 4541 0
Current children cumulated CPU time (s) 760.22
Current children cumulated vsize (KiB) 29100
Solver just ended. Dumping a history of the last processes samples
[startup+767.9 s]
/proc/loadavg: 2.07 2.02 2.00 3/182 24287
/proc/meminfo: memFree=29278244/32873624 swapFree=7112/7112
[pid=20592] ppid=20590 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20592/stat : 20592 (npSolver-wbo-It) S 20590 20592 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386233811 9367552 275 33554432000 4194304 5064252 140733919695504 140733919694416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20592/statm: 2287 275 233 213 0 72 0
[pid=20593] ppid=20592 vsize=19952 CPUtime=764.6 cores=0,2,4,6
/proc/20593/stat : 20593 (npSolver-wbo) S 20592 20592 14131 0 -1 4202496 539705 2233005 0 0 2222 224 73131 883 20 0 1 0 386233811 20430848 4530 33554432000 4194304 6006132 140736849162272 140736849153664 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 14 0 0
/proc/20593/statm: 4988 4530 179 443 0 4541 0
[pid=24286] ppid=20593 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24286/stat : 24286 (satsolver.sh) S 20593 20592 14131 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386310469 9367552 266 33554432000 4194304 5064252 140734956646128 140734956645040 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/24286/statm: 2287 266 226 213 0 72 0
[pid=24287] ppid=24286 vsize=15576 CPUtime=1.31 cores=0,2,4,6
/proc/24287/stat : 24287 (glucose) R 24286 20592 14131 0 -1 4202496 3939 0 0 0 130 1 0 0 20 0 1 0 386310469 15949824 3375 33554432000 4194304 5208918 140734461304000 140734461301960 4205203 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24287/statm: 3894 3375 105 248 0 3643 0
Current children cumulated CPU time (s) 765.91
Current children cumulated vsize (KiB) 53824
[startup+780.7 s]
/proc/loadavg: 2.06 2.02 2.00 3/181 24357
/proc/meminfo: memFree=29274792/32873624 swapFree=7112/7112
[pid=20592] ppid=20590 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20592/stat : 20592 (npSolver-wbo-It) S 20590 20592 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386233811 9367552 275 33554432000 4194304 5064252 140733919695504 140733919694416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20592/statm: 2287 275 233 213 0 72 0
[pid=20593] ppid=20592 vsize=19952 CPUtime=776.71 cores=0,2,4,6
/proc/20593/stat : 20593 (npSolver-wbo) S 20592 20592 14131 0 -1 4202496 556735 2301796 0 0 2275 230 74261 905 20 0 1 0 386233811 20430848 4530 33554432000 4194304 6006132 140736849162272 140736849153664 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 14 0 0
/proc/20593/statm: 4988 4530 179 443 0 4541 0
[pid=24356] ppid=20593 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24356/stat : 24356 (satsolver.sh) S 20593 20592 14131 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386311695 9367552 266 33554432000 4194304 5064252 140736580812352 140736580811264 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/24356/statm: 2287 266 226 213 0 72 0
[pid=24357] ppid=24356 vsize=15280 CPUtime=1.84 cores=0,2,4,6
/proc/24357/stat : 24357 (glucose) R 24356 20592 14131 0 -1 4202496 3622 0 0 0 184 0 0 0 20 0 1 0 386311696 15646720 3356 33554432000 4194304 5208918 140736912511008 140736912508856 4232812 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24357/statm: 3820 3356 103 248 0 3569 0
Current children cumulated CPU time (s) 778.55
Current children cumulated vsize (KiB) 53528
[startup+793.5 s]
/proc/loadavg: 2.05 2.01 2.00 3/180 24482
/proc/meminfo: memFree=29281232/32873624 swapFree=7112/7112
[pid=20592] ppid=20590 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20592/stat : 20592 (npSolver-wbo-It) S 20590 20592 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386233811 9367552 275 33554432000 4194304 5064252 140733919695504 140733919694416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20592/statm: 2287 275 233 213 0 72 0
[pid=20593] ppid=20592 vsize=19952 CPUtime=790.79 cores=0,2,4,6
/proc/20593/stat : 20593 (npSolver-wbo) S 20592 20592 14131 0 -1 4202496 587384 2412594 0 0 2354 239 75544 942 20 0 1 0 386233811 20430848 4530 33554432000 4194304 6006132 140736849162272 140736849153664 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 14 0 0
/proc/20593/statm: 4988 4530 179 443 0 4541 0
[pid=24482] ppid=20593 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24482/stat : 24482 (satsolver.sh) S 20593 20592 14131 0 -1 4202496 600 0 0 0 0 0 0 0 20 0 1 0 386313110 9367552 267 33554432000 4194304 5064252 140734382539712 140734382538624 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/24482/statm: 2287 267 226 213 0 72 0
Current children cumulated CPU time (s) 790.79
Current children cumulated vsize (KiB) 38248
[startup+799.9 s]
/proc/loadavg: 2.04 2.01 2.00 3/181 24588
/proc/meminfo: memFree=29272344/32873624 swapFree=7112/7112
[pid=20592] ppid=20590 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20592/stat : 20592 (npSolver-wbo-It) S 20590 20592 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386233811 9367552 275 33554432000 4194304 5064252 140733919695504 140733919694416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20592/statm: 2287 275 233 213 0 72 0
[pid=20593] ppid=20592 vsize=19952 CPUtime=797.45 cores=0,2,4,6
/proc/20593/stat : 20593 (npSolver-wbo) S 20592 20592 14131 0 -1 4202496 606058 2504410 0 0 2407 244 76125 969 20 0 1 0 386233811 20430848 4530 33554432000 4194304 6006132 140736849162272 140736849153664 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 14 0 0
/proc/20593/statm: 4988 4530 179 443 0 4541 0
Current children cumulated CPU time (s) 797.45
Current children cumulated vsize (KiB) 29100
[startup+801.5 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 24621
/proc/meminfo: memFree=29280388/32873624 swapFree=7112/7112
[pid=20592] ppid=20590 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20592/stat : 20592 (npSolver-wbo-It) S 20590 20592 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386233811 9367552 275 33554432000 4194304 5064252 140733919695504 140733919694416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20592/statm: 2287 275 233 213 0 72 0
[pid=20593] ppid=20592 vsize=19952 CPUtime=799.21 cores=0,2,4,6
/proc/20593/stat : 20593 (npSolver-wbo) S 20592 20592 14131 0 -1 4202496 613996 2550774 0 0 2426 247 76266 982 20 0 1 0 386233811 20430848 4530 33554432000 4194304 6006132 140736849162272 140736849153664 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 14 0 0
/proc/20593/statm: 4988 4530 179 443 0 4541 0
Current children cumulated CPU time (s) 799.21
Current children cumulated vsize (KiB) 29100
[startup+802.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/181 24679
/proc/meminfo: memFree=29274396/32873624 swapFree=7112/7112
[pid=20592] ppid=20590 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20592/stat : 20592 (npSolver-wbo-It) S 20590 20592 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386233811 9367552 275 33554432000 4194304 5064252 140733919695504 140733919694416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20592/statm: 2287 275 233 213 0 72 0
[pid=20593] ppid=20592 vsize=19952 CPUtime=799.95 cores=0,2,4,6
/proc/20593/stat : 20593 (npSolver-wbo) S 20592 20592 14131 0 -1 4202496 618456 2588187 0 0 2438 248 76318 991 20 0 1 0 386233811 20430848 4531 33554432000 4194304 6006132 140736849162272 140736849153152 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 14 0 0
/proc/20593/statm: 4988 4531 180 443 0 4541 0
Current children cumulated CPU time (s) 799.95
Current children cumulated vsize (KiB) 29100
[startup+803.1 s]
/proc/loadavg: 2.04 2.01 2.00 3/181 24735
/proc/meminfo: memFree=29262660/32873624 swapFree=7112/7112
[pid=20592] ppid=20590 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20592/stat : 20592 (npSolver-wbo-It) S 20590 20592 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386233811 9367552 275 33554432000 4194304 5064252 140733919695504 140733919694416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20592/statm: 2287 275 233 213 0 72 0
[pid=20593] ppid=20592 vsize=19952 CPUtime=800.77 cores=0,2,4,6
/proc/20593/stat : 20593 (npSolver-wbo) S 20592 20592 14131 0 -1 4202496 623537 2625073 0 0 2450 250 76368 1009 20 0 1 0 386233811 20430848 4531 33554432000 4194304 6006132 140736849162272 140736849153152 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 14 0 0
/proc/20593/statm: 4988 4531 180 443 0 4541 0
Current children cumulated CPU time (s) 800.77
Current children cumulated vsize (KiB) 29100
[startup+803.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/181 24735
/proc/meminfo: memFree=29262660/32873624 swapFree=7112/7112
[pid=20592] ppid=20590 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20592/stat : 20592 (npSolver-wbo-It) S 20590 20592 14131 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386233811 9367552 275 33554432000 4194304 5064252 140733919695504 140733919694416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20592/statm: 2287 275 233 213 0 72 0
[pid=20593] ppid=20592 vsize=19952 CPUtime=801.02 cores=0,2,4,6
/proc/20593/stat : 20593 (npSolver-wbo) S 20592 20592 14131 0 -1 4202496 624968 2640962 0 0 2453 250 76382 1017 20 0 1 0 386233811 20430848 4531 33554432000 4194304 6006132 140736849162272 140736849154240 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 14 0 0
/proc/20593/statm: 4988 4531 180 443 0 4541 0
Current children cumulated CPU time (s) 801.02
Current children cumulated vsize (KiB) 29100
Child status: 0
Real time (s): 803.325
CPU time (s): 801.067
CPU user time (s): 788.372
CPU system time (s): 12.6951
CPU usage (%): 99.719
Max. virtual memory (cumulated for all children) (KiB): 76708
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 788.372
system time used= 12.6951
maximum resident set size= 34212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3271374
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3212912
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16839
involuntary context switches= 4179
runsolver used 1.70174 second user time and 4.16437 second system time
The end