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-3714972-1338184352/watcher-3714972-1338184352 -o /tmp/evaluation-result-3714972-1338184352/solver-3714972-1338184352 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3714972-1338184352.wbo 1407247123 HOME HOME
running on 4 cores: 1,3,5,7
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/179 22791
/proc/meminfo: memFree=27191416/32873648 swapFree=6848/6848
[pid=22791] ppid=22789 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22791/stat : 22791 (npSolver-wbo-It) S 22789 22791 17655 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284562071 9367552 275 33554432000 4194304 5064252 140734960577024 140734960575936 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22791/statm: 2287 275 233 213 0 72 0
[startup+0.01025 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 22791
/proc/meminfo: memFree=27191416/32873648 swapFree=6848/6848
[pid=22791] ppid=22789 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22791/stat : 22791 (npSolver-wbo-It) S 22789 22791 17655 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284562071 9367552 275 33554432000 4194304 5064252 140734960577024 140734960575936 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22791/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100254 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 22791
/proc/meminfo: memFree=27191416/32873648 swapFree=6848/6848
[pid=22791] ppid=22789 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22791/stat : 22791 (npSolver-wbo-It) S 22789 22791 17655 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284562071 9367552 275 33554432000 4194304 5064252 140734960577024 140734960575936 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22791/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300291 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 22791
/proc/meminfo: memFree=27191416/32873648 swapFree=6848/6848
[pid=22791] ppid=22789 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22791/stat : 22791 (npSolver-wbo-It) S 22789 22791 17655 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284562071 9367552 275 33554432000 4194304 5064252 140734960577024 140734960575936 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22791/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700246 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 22791
/proc/meminfo: memFree=27191416/32873648 swapFree=6848/6848
[pid=22791] ppid=22789 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22791/stat : 22791 (npSolver-wbo-It) S 22789 22791 17655 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284562071 9367552 275 33554432000 4194304 5064252 140734960577024 140734960575936 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22791/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50036 s]
/proc/loadavg: 2.07 2.02 2.00 3/183 22798
/proc/meminfo: memFree=27183672/32873648 swapFree=6848/6848
[pid=22791] ppid=22789 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22791/stat : 22791 (npSolver-wbo-It) S 22789 22791 17655 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284562071 9367552 275 33554432000 4194304 5064252 140734960577024 140734960575936 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22791/statm: 2287 275 233 213 0 72 0
[pid=22792] ppid=22791 vsize=6308 CPUtime=1.07 cores=1,3,5,7
/proc/22792/stat : 22792 (npSolver-wbo) S 22791 22791 17655 0 -1 4202496 2466 9253 0 0 11 0 82 14 20 0 1 0 284562071 6459392 851 33554432000 4194304 5990268 140734419884640 140734419878880 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22792/statm: 1577 851 157 439 0 1134 0
[pid=22797] ppid=22792 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22797/stat : 22797 (satsolver.sh) S 22792 22791 17655 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284562180 9367552 267 33554432000 4194304 5064252 140736904810944 140736904809856 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/22797/statm: 2287 267 226 213 0 72 0
[pid=22798] ppid=22797 vsize=11768 CPUtime=0.39 cores=1,3,5,7
/proc/22798/stat : 22798 (glucose) R 22797 22791 17655 0 -1 4202496 2692 0 0 0 39 0 0 0 20 0 1 0 284562180 12050432 2208 33554432000 4194304 5208918 140736098206880 140736904809880 4229528 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22798/statm: 2942 2208 96 248 0 2691 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 36372
[startup+3.1002 s]
/proc/loadavg: 2.07 2.02 2.00 3/183 22805
/proc/meminfo: memFree=27167420/32873648 swapFree=6848/6848
[pid=22791] ppid=22789 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22791/stat : 22791 (npSolver-wbo-It) S 22789 22791 17655 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284562071 9367552 275 33554432000 4194304 5064252 140734960577024 140734960575936 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22791/statm: 2287 275 233 213 0 72 0
[pid=22792] ppid=22791 vsize=9040 CPUtime=3.04 cores=1,3,5,7
/proc/22792/stat : 22792 (npSolver-wbo) S 22791 22791 17655 0 -1 4202496 3808 30900 0 0 14 4 265 21 20 0 1 0 284562071 9256960 1443 33554432000 4194304 5990268 140734419884640 140734419875552 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22792/statm: 2260 1443 164 439 0 1817 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 18188
[startup+6.30019 s]
/proc/loadavg: 2.07 2.02 2.00 3/183 22833
/proc/meminfo: memFree=27171324/32873648 swapFree=6848/6848
[pid=22791] ppid=22789 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22791/stat : 22791 (npSolver-wbo-It) S 22789 22791 17655 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284562071 9367552 275 33554432000 4194304 5064252 140734960577024 140734960575936 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22791/statm: 2287 275 233 213 0 72 0
[pid=22792] ppid=22791 vsize=9040 CPUtime=6.2 cores=1,3,5,7
/proc/22792/stat : 22792 (npSolver-wbo) S 22791 22791 17655 0 -1 4202496 6248 76301 0 0 16 4 567 33 20 0 1 0 284562071 9256960 1443 33554432000 4194304 5990268 140734419884640 140734419876064 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22792/statm: 2260 1443 164 439 0 1817 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 18188
[startup+12.7004 s]
/proc/loadavg: 2.06 2.02 2.00 3/183 22875
/proc/meminfo: memFree=27163276/32873648 swapFree=6848/6848
[pid=22791] ppid=22789 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22791/stat : 22791 (npSolver-wbo-It) S 22789 22791 17655 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284562071 9367552 275 33554432000 4194304 5064252 140734960577024 140734960575936 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22791/statm: 2287 275 233 213 0 72 0
[pid=22792] ppid=22791 vsize=9040 CPUtime=8.45 cores=1,3,5,7
/proc/22792/stat : 22792 (npSolver-wbo) S 22791 22791 17655 0 -1 4202496 7272 100661 0 0 16 4 786 39 20 0 1 0 284562071 9256960 1444 33554432000 4194304 5990268 140734419884640 140734419876064 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22792/statm: 2260 1444 165 439 0 1817 0
[pid=22874] ppid=22792 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22874/stat : 22874 (satsolver.sh) S 22792 22791 17655 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284562920 9367552 267 33554432000 4194304 5064252 140737246070416 140737246069328 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22874/statm: 2287 267 226 213 0 72 0
[pid=22875] ppid=22874 vsize=19932 CPUtime=4.19 cores=1,3,5,7
/proc/22875/stat : 22875 (glucose) R 22874 22791 17655 0 -1 4202496 4465 0 0 0 419 0 0 0 20 0 1 0 284562920 20410368 4163 33554432000 4194304 5208918 140735006200384 140735006196760 4229006 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22875/statm: 4983 4163 105 248 0 4732 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 47268
[startup+25.5004 s]
/proc/loadavg: 2.05 2.01 2.00 3/183 22875
/proc/meminfo: memFree=27147928/32873648 swapFree=6848/6848
[pid=22791] ppid=22789 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22791/stat : 22791 (npSolver-wbo-It) S 22789 22791 17655 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284562071 9367552 275 33554432000 4194304 5064252 140734960577024 140734960575936 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22791/statm: 2287 275 233 213 0 72 0
[pid=22792] ppid=22791 vsize=9040 CPUtime=8.45 cores=1,3,5,7
/proc/22792/stat : 22792 (npSolver-wbo) S 22791 22791 17655 0 -1 4202496 7272 100661 0 0 16 4 786 39 20 0 1 0 284562071 9256960 1444 33554432000 4194304 5990268 140734419884640 140734419876064 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22792/statm: 2260 1444 165 439 0 1817 0
[pid=22874] ppid=22792 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22874/stat : 22874 (satsolver.sh) S 22792 22791 17655 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284562920 9367552 267 33554432000 4194304 5064252 140737246070416 140737246069328 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22874/statm: 2287 267 226 213 0 72 0
[pid=22875] ppid=22874 vsize=29084 CPUtime=16.99 cores=1,3,5,7
/proc/22875/stat : 22875 (glucose) R 22874 22791 17655 0 -1 4202496 7362 0 0 0 1698 1 0 0 20 0 1 0 284562920 29782016 6642 33554432000 4194304 5208918 140735006200384 140735006196760 4211019 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22875/statm: 7271 6642 105 248 0 7020 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 56420
[startup+51.1004 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 22875
/proc/meminfo: memFree=27130108/32873648 swapFree=6848/6848
[pid=22791] ppid=22789 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22791/stat : 22791 (npSolver-wbo-It) S 22789 22791 17655 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284562071 9367552 275 33554432000 4194304 5064252 140734960577024 140734960575936 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22791/statm: 2287 275 233 213 0 72 0
[pid=22792] ppid=22791 vsize=9040 CPUtime=8.45 cores=1,3,5,7
/proc/22792/stat : 22792 (npSolver-wbo) S 22791 22791 17655 0 -1 4202496 7272 100661 0 0 16 4 786 39 20 0 1 0 284562071 9256960 1444 33554432000 4194304 5990268 140734419884640 140734419876064 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22792/statm: 2260 1444 165 439 0 1817 0
[pid=22874] ppid=22792 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22874/stat : 22874 (satsolver.sh) S 22792 22791 17655 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284562920 9367552 267 33554432000 4194304 5064252 140737246070416 140737246069328 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22874/statm: 2287 267 226 213 0 72 0
[pid=22875] ppid=22874 vsize=50124 CPUtime=42.59 cores=1,3,5,7
/proc/22875/stat : 22875 (glucose) R 22874 22791 17655 0 -1 4202496 9018 0 0 0 4257 2 0 0 20 0 1 0 284562920 51326976 10564 33554432000 4194304 5208918 140735006200384 140735006196760 4229021 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22875/statm: 12531 10564 105 248 0 12280 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 77460
[startup+102.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 22875
/proc/meminfo: memFree=27108488/32873648 swapFree=6848/6848
[pid=22791] ppid=22789 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22791/stat : 22791 (npSolver-wbo-It) S 22789 22791 17655 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284562071 9367552 275 33554432000 4194304 5064252 140734960577024 140734960575936 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22791/statm: 2287 275 233 213 0 72 0
[pid=22792] ppid=22791 vsize=9040 CPUtime=8.45 cores=1,3,5,7
/proc/22792/stat : 22792 (npSolver-wbo) S 22791 22791 17655 0 -1 4202496 7272 100661 0 0 16 4 786 39 20 0 1 0 284562071 9256960 1444 33554432000 4194304 5990268 140734419884640 140734419876064 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22792/statm: 2260 1444 165 439 0 1817 0
[pid=22874] ppid=22792 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22874/stat : 22874 (satsolver.sh) S 22792 22791 17655 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284562920 9367552 267 33554432000 4194304 5064252 140737246070416 140737246069328 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22874/statm: 2287 267 226 213 0 72 0
[pid=22875] ppid=22874 vsize=76660 CPUtime=93.79 cores=1,3,5,7
/proc/22875/stat : 22875 (glucose) R 22874 22791 17655 0 -1 4202496 11080 0 0 0 9376 3 0 0 20 0 1 0 284562920 78499840 15817 33554432000 4194304 5208918 140735006200384 140735006196696 4229850 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22875/statm: 19165 15817 105 248 0 18914 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 103996
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 22875
/proc/meminfo: memFree=27083776/32873648 swapFree=6848/6848
[pid=22791] ppid=22789 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22791/stat : 22791 (npSolver-wbo-It) S 22789 22791 17655 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284562071 9367552 275 33554432000 4194304 5064252 140734960577024 140734960575936 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22791/statm: 2287 275 233 213 0 72 0
[pid=22792] ppid=22791 vsize=9040 CPUtime=8.45 cores=1,3,5,7
/proc/22792/stat : 22792 (npSolver-wbo) S 22791 22791 17655 0 -1 4202496 7272 100661 0 0 16 4 786 39 20 0 1 0 284562071 9256960 1444 33554432000 4194304 5990268 140734419884640 140734419876064 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22792/statm: 2260 1444 165 439 0 1817 0
[pid=22874] ppid=22792 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22874/stat : 22874 (satsolver.sh) S 22792 22791 17655 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284562920 9367552 267 33554432000 4194304 5064252 140737246070416 140737246069328 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22874/statm: 2287 267 226 213 0 72 0
[pid=22875] ppid=22874 vsize=95516 CPUtime=153.77 cores=1,3,5,7
/proc/22875/stat : 22875 (glucose) R 22874 22791 17655 0 -1 4202496 12154 0 0 0 15373 4 0 0 20 0 1 0 284562920 97808384 21775 33554432000 4194304 5208918 140735006200384 140735006196696 4229021 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22875/statm: 23879 21775 105 248 0 23628 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 122852
[startup+222.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 22876
/proc/meminfo: memFree=27037028/32873648 swapFree=6848/6848
[pid=22791] ppid=22789 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 23088
/proc/meminfo: memFree=27027036/32873648 swapFree=6848/6848
[pid=22791] ppid=22789 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22791/stat : 22791 (npSolver-wbo-It) S 22789 22791 17655 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284562071 9367552 275 33554432000 4194304 5064252 140734960577024 140734960575936 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22791/statm: 2287 275 233 213 0 72 0
[pid=22792] ppid=22791 vsize=9040 CPUtime=8.45 cores=1,3,5,7
/proc/22792/stat : 22792 (npSolver-wbo) S 22791 22791 17655 0 -1 4202496 7272 100661 0 0 16 4 786 39 20 0 1 0 284562071 9256960 1444 33554432000 4194304 5990268 140734419884640 140734419876064 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22792/statm: 2260 1444 165 439 0 1817 0
[pid=22874] ppid=22792 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22874/stat : 22874 (satsolver.sh) S 22792 22791 17655 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284562920 9367552 267 33554432000 4194304 5064252 140737246070416 140737246069328 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22874/statm: 2287 267 226 213 0 72 0
[pid=22875] ppid=22874 vsize=219068 CPUtime=1413.56 cores=1,3,5,7
/proc/22875/stat : 22875 (glucose) R 22874 22791 17655 0 -1 4202496 49605 0 0 0 141286 70 0 0 20 0 1 0 284562920 224325632 50317 33554432000 4194304 5208918 140735006200384 140735006198296 4229039 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22875/statm: 54767 50317 105 248 0 54516 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 246404
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 23088
/proc/meminfo: memFree=27057024/32873648 swapFree=6848/6848
[pid=22791] ppid=22789 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22791/stat : 22791 (npSolver-wbo-It) S 22789 22791 17655 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284562071 9367552 275 33554432000 4194304 5064252 140734960577024 140734960575936 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22791/statm: 2287 275 233 213 0 72 0
[pid=22792] ppid=22791 vsize=9040 CPUtime=8.45 cores=1,3,5,7
/proc/22792/stat : 22792 (npSolver-wbo) S 22791 22791 17655 0 -1 4202496 7272 100661 0 0 16 4 786 39 20 0 1 0 284562071 9256960 1444 33554432000 4194304 5990268 140734419884640 140734419876064 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22792/statm: 2260 1444 165 439 0 1817 0
[pid=22874] ppid=22792 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22874/stat : 22874 (satsolver.sh) S 22792 22791 17655 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284562920 9367552 267 33554432000 4194304 5064252 140737246070416 140737246069328 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22874/statm: 2287 267 226 213 0 72 0
[pid=22875] ppid=22874 vsize=219068 CPUtime=1473.53 cores=1,3,5,7
/proc/22875/stat : 22875 (glucose) R 22874 22791 17655 0 -1 4202496 50779 0 0 0 147281 72 0 0 20 0 1 0 284562920 224325632 54091 33554432000 4194304 5208918 140735006200384 140735006196760 4231508 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22875/statm: 54767 54091 105 248 0 54516 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 246404
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 23088
/proc/meminfo: memFree=26978440/32873648 swapFree=6848/6848
[pid=22791] ppid=22789 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22791/stat : 22791 (npSolver-wbo-It) S 22789 22791 17655 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284562071 9367552 275 33554432000 4194304 5064252 140734960577024 140734960575936 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22791/statm: 2287 275 233 213 0 72 0
[pid=22792] ppid=22791 vsize=9040 CPUtime=8.45 cores=1,3,5,7
/proc/22792/stat : 22792 (npSolver-wbo) S 22791 22791 17655 0 -1 4202496 7272 100661 0 0 16 4 786 39 20 0 1 0 284562071 9256960 1444 33554432000 4194304 5990268 140734419884640 140734419876064 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22792/statm: 2260 1444 165 439 0 1817 0
[pid=22874] ppid=22792 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22874/stat : 22874 (satsolver.sh) S 22792 22791 17655 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284562920 9367552 267 33554432000 4194304 5064252 140737246070416 140737246069328 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22874/statm: 2287 267 226 213 0 72 0
[pid=22875] ppid=22874 vsize=249888 CPUtime=1533.53 cores=1,3,5,7
/proc/22875/stat : 22875 (glucose) R 22874 22791 17655 0 -1 4202496 52474 0 0 0 153278 75 0 0 20 0 1 0 284562920 255885312 58064 33554432000 4194304 5208918 140735006200384 140735006196760 4229776 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22875/statm: 62472 58064 105 248 0 62221 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 277224
[startup+1602.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/183 23088
/proc/meminfo: memFree=26947944/32873648 swapFree=6848/6848
[pid=22791] ppid=22789 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22791/stat : 22791 (npSolver-wbo-It) S 22789 22791 17655 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284562071 9367552 275 33554432000 4194304 5064252 140734960577024 140734960575936 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22791/statm: 2287 275 233 213 0 72 0
[pid=22792] ppid=22791 vsize=9040 CPUtime=8.45 cores=1,3,5,7
/proc/22792/stat : 22792 (npSolver-wbo) S 22791 22791 17655 0 -1 4202496 7272 100661 0 0 16 4 786 39 20 0 1 0 284562071 9256960 1444 33554432000 4194304 5990268 140734419884640 140734419876064 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22792/statm: 2260 1444 165 439 0 1817 0
[pid=22874] ppid=22792 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22874/stat : 22874 (satsolver.sh) S 22792 22791 17655 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284562920 9367552 267 33554432000 4194304 5064252 140737246070416 140737246069328 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22874/statm: 2287 267 226 213 0 72 0
[pid=22875] ppid=22874 vsize=249888 CPUtime=1593.52 cores=1,3,5,7
/proc/22875/stat : 22875 (glucose) R 22874 22791 17655 0 -1 4202496 53759 0 0 0 159274 78 0 0 20 0 1 0 284562920 255885312 61648 33554432000 4194304 5208918 140735006200384 140735006196696 4229296 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22875/statm: 62472 61648 105 248 0 62221 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 277224
[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/184 23091
/proc/meminfo: memFree=27003380/32873648 swapFree=6848/6848
[pid=22791] ppid=22789 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22791/stat : 22791 (npSolver-wbo-It) S 22789 22791 17655 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284562071 9367552 275 33554432000 4194304 5064252 140734960577024 140734960575936 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22791/statm: 2287 275 233 213 0 72 0
[pid=22792] ppid=22791 vsize=9040 CPUtime=8.45 cores=1,3,5,7
/proc/22792/stat : 22792 (npSolver-wbo) S 22791 22791 17655 0 -1 4202496 7272 100661 0 0 16 4 786 39 20 0 1 0 284562071 9256960 1444 33554432000 4194304 5990268 140734419884640 140734419876064 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22792/statm: 2260 1444 165 439 0 1817 0
[pid=22874] ppid=22792 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22874/stat : 22874 (satsolver.sh) S 22792 22791 17655 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284562920 9367552 267 33554432000 4194304 5064252 140737246070416 140737246069328 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22874/statm: 2287 267 226 213 0 72 0
[pid=22875] ppid=22874 vsize=219068 CPUtime=1653.51 cores=1,3,5,7
/proc/22875/stat : 22875 (glucose) R 22874 22791 17655 0 -1 4202496 55720 0 0 0 165268 83 0 0 20 0 1 0 284562920 224325632 51341 33554432000 4194304 5208918 140735006200384 140735006198472 4229460 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22875/statm: 54767 51341 105 248 0 54516 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 246404
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 23092
/proc/meminfo: memFree=26964188/32873648 swapFree=6848/6848
[pid=22791] ppid=22789 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22791/stat : 22791 (npSolver-wbo-It) S 22789 22791 17655 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284562071 9367552 275 33554432000 4194304 5064252 140734960577024 140734960575936 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22791/statm: 2287 275 233 213 0 72 0
[pid=22792] ppid=22791 vsize=9040 CPUtime=8.45 cores=1,3,5,7
/proc/22792/stat : 22792 (npSolver-wbo) S 22791 22791 17655 0 -1 4202496 7272 100661 0 0 16 4 786 39 20 0 1 0 284562071 9256960 1444 33554432000 4194304 5990268 140734419884640 140734419876064 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22792/statm: 2260 1444 165 439 0 1817 0
[pid=22874] ppid=22792 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22874/stat : 22874 (satsolver.sh) S 22792 22791 17655 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284562920 9367552 267 33554432000 4194304 5064252 140737246070416 140737246069328 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22874/statm: 2287 267 226 213 0 72 0
[pid=22875] ppid=22874 vsize=249888 CPUtime=1713.49 cores=1,3,5,7
/proc/22875/stat : 22875 (glucose) R 22874 22791 17655 0 -1 4202496 57603 0 0 0 171263 86 0 0 20 0 1 0 284562920 255885312 55504 33554432000 4194304 5208918 140735006200384 140735006198536 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22875/statm: 62472 55504 105 248 0 62221 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 277224
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 23092
/proc/meminfo: memFree=26943636/32873648 swapFree=6848/6848
[pid=22791] ppid=22789 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22791/stat : 22791 (npSolver-wbo-It) S 22789 22791 17655 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284562071 9367552 275 33554432000 4194304 5064252 140734960577024 140734960575936 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22791/statm: 2287 275 233 213 0 72 0
[pid=22792] ppid=22791 vsize=9040 CPUtime=8.45 cores=1,3,5,7
/proc/22792/stat : 22792 (npSolver-wbo) S 22791 22791 17655 0 -1 4202496 7272 100661 0 0 16 4 786 39 20 0 1 0 284562071 9256960 1444 33554432000 4194304 5990268 140734419884640 140734419876064 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22792/statm: 2260 1444 165 439 0 1817 0
[pid=22874] ppid=22792 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22874/stat : 22874 (satsolver.sh) S 22792 22791 17655 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284562920 9367552 267 33554432000 4194304 5064252 140737246070416 140737246069328 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22874/statm: 2287 267 226 213 0 72 0
[pid=22875] ppid=22874 vsize=249888 CPUtime=1773.48 cores=1,3,5,7
/proc/22875/stat : 22875 (glucose) R 22874 22791 17655 0 -1 4202496 58892 0 0 0 177259 89 0 0 20 0 1 0 284562920 255885312 57040 33554432000 4194304 5208918 140735006200384 140735006196072 4229776 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22875/statm: 62472 57040 105 248 0 62221 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 277224
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 23092
/proc/meminfo: memFree=26949432/32873648 swapFree=6848/6848
[pid=22791] ppid=22789 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22791/stat : 22791 (npSolver-wbo-It) S 22789 22791 17655 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284562071 9367552 275 33554432000 4194304 5064252 140734960577024 140734960575936 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22791/statm: 2287 275 233 213 0 72 0
[pid=22792] ppid=22791 vsize=9040 CPUtime=8.45 cores=1,3,5,7
/proc/22792/stat : 22792 (npSolver-wbo) S 22791 22791 17655 0 -1 4202496 7272 100661 0 0 16 4 786 39 20 0 1 0 284562071 9256960 1444 33554432000 4194304 5990268 140734419884640 140734419876064 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22792/statm: 2260 1444 165 439 0 1817 0
[pid=22874] ppid=22792 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22874/stat : 22874 (satsolver.sh) S 22792 22791 17655 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284562920 9367552 267 33554432000 4194304 5064252 140737246070416 140737246069328 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22874/statm: 2287 267 226 213 0 72 0
[pid=22875] ppid=22874 vsize=249888 CPUtime=1791.58 cores=1,3,5,7
/proc/22875/stat : 22875 (glucose) R 22874 22791 17655 0 -1 4202496 59105 0 0 0 179069 89 0 0 20 0 1 0 284562920 255885312 61850 33554432000 4194304 5208918 140735006200384 140735006196760 4229725 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22875/statm: 62472 61850 105 248 0 62221 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 277224
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 23092
/proc/meminfo: memFree=26949432/32873648 swapFree=6848/6848
[pid=22791] ppid=22789 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22791/stat : 22791 (npSolver-wbo-It) S 22789 22791 17655 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284562071 9367552 275 33554432000 4194304 5064252 140734960577024 140734960575936 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22791/statm: 2287 275 233 213 0 72 0
[pid=22792] ppid=22791 vsize=9040 CPUtime=8.45 cores=1,3,5,7
/proc/22792/stat : 22792 (npSolver-wbo) S 22791 22791 17655 0 -1 4202496 7272 100661 0 0 16 4 786 39 20 0 1 0 284562071 9256960 1444 33554432000 4194304 5990268 140734419884640 140734419876064 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22792/statm: 2260 1444 165 439 0 1817 0
[pid=22874] ppid=22792 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22874/stat : 22874 (satsolver.sh) S 22792 22791 17655 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284562920 9367552 267 33554432000 4194304 5064252 140737246070416 140737246069328 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22874/statm: 2287 267 226 213 0 72 0
[pid=22875] ppid=22874 vsize=249888 CPUtime=1791.58 cores=1,3,5,7
/proc/22875/stat : 22875 (glucose) R 22874 22791 17655 0 -1 4202496 59105 0 0 0 179069 89 0 0 20 0 1 0 284562920 255885312 61850 33554432000 4194304 5208918 140735006200384 140735006196760 4229725 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22875/statm: 62472 61850 105 248 0 62221 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 277224
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.08
CPU user time (s): 1798.73
CPU system time (s): 1.3468
CPU usage (%): 99.9816
Max. virtual memory (cumulated for all children) (KiB): 376632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.73
system time used= 1.34679
maximum resident set size= 300216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 168030
page faults= 0
swaps= 0
block input operations= 0
block output operations= 34736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 951
involuntary context switches= 1969
runsolver used 3.65244 second user time and 8.79966 second system time
The end