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-3714326-1338186142/watcher-3714326-1338186142 -o /tmp/evaluation-result-3714326-1338186142/solver-3714326-1338186142 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-I.sh HOME/instance-3714326-1338186142.wbo 2068830960 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.54 2.33 2.12 3/179 18644
/proc/meminfo: memFree=27952936/32873844 swapFree=7620/7620
[pid=18644] ppid=18642 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18644/stat : 18644 (npSolver-wbo-I.) S 18642 18644 14026 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284742750 9367552 275 33554432000 4194304 5064252 140734513320544 140734513319456 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18644/statm: 2287 275 233 213 0 72 0
[startup+0.00681688 s]
/proc/loadavg: 2.54 2.33 2.12 3/179 18644
/proc/meminfo: memFree=27952936/32873844 swapFree=7620/7620
[pid=18644] ppid=18642 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18644/stat : 18644 (npSolver-wbo-I.) S 18642 18644 14026 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284742750 9367552 275 33554432000 4194304 5064252 140734513320544 140734513319456 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18644/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.10027 s]
/proc/loadavg: 2.54 2.33 2.12 3/179 18644
/proc/meminfo: memFree=27952936/32873844 swapFree=7620/7620
[pid=18644] ppid=18642 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18644/stat : 18644 (npSolver-wbo-I.) S 18642 18644 14026 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284742750 9367552 275 33554432000 4194304 5064252 140734513320544 140734513319456 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18644/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300242 s]
/proc/loadavg: 2.54 2.33 2.12 3/179 18644
/proc/meminfo: memFree=27952936/32873844 swapFree=7620/7620
[pid=18644] ppid=18642 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18644/stat : 18644 (npSolver-wbo-I.) S 18642 18644 14026 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284742750 9367552 275 33554432000 4194304 5064252 140734513320544 140734513319456 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18644/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700243 s]
/proc/loadavg: 2.54 2.33 2.12 3/179 18644
/proc/meminfo: memFree=27952936/32873844 swapFree=7620/7620
[pid=18644] ppid=18642 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18644/stat : 18644 (npSolver-wbo-I.) S 18642 18644 14026 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284742750 9367552 275 33554432000 4194304 5064252 140734513320544 140734513319456 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18644/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50031 s]
/proc/loadavg: 2.54 2.33 2.12 3/181 18646
/proc/meminfo: memFree=27940144/32873844 swapFree=7620/7620
[pid=18644] ppid=18642 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18644/stat : 18644 (npSolver-wbo-I.) S 18642 18644 14026 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284742750 9367552 275 33554432000 4194304 5064252 140734513320544 140734513319456 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18644/statm: 2287 275 233 213 0 72 0
[pid=18645] ppid=18644 vsize=34876 CPUtime=1.49 cores=0,2,4,6
/proc/18645/stat : 18645 (npSolver-wbo) R 18644 18644 14026 0 -1 4202496 2810 0 0 0 149 0 0 0 20 0 1 0 284742751 35713024 4825 33554432000 4194304 5990268 140734409855408 140734409850648 4807380 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/18645/statm: 8719 4825 136 439 0 8276 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 44024
[startup+3.10028 s]
/proc/loadavg: 2.49 2.32 2.12 3/181 18646
/proc/meminfo: memFree=27902156/32873844 swapFree=7620/7620
[pid=18644] ppid=18642 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18644/stat : 18644 (npSolver-wbo-I.) S 18642 18644 14026 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284742750 9367552 275 33554432000 4194304 5064252 140734513320544 140734513319456 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18644/statm: 2287 275 233 213 0 72 0
[pid=18645] ppid=18644 vsize=68212 CPUtime=3.09 cores=0,2,4,6
/proc/18645/stat : 18645 (npSolver-wbo) R 18644 18644 14026 0 -1 4202496 6160 0 0 0 307 2 0 0 20 0 1 0 284742751 69849088 12616 33554432000 4194304 5990268 140734409855408 140734409850984 4707064 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/18645/statm: 17053 12616 140 439 0 16610 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 77360
[startup+6.30032 s]
/proc/loadavg: 2.49 2.32 2.12 3/183 18651
/proc/meminfo: memFree=27862640/32873844 swapFree=7620/7620
[pid=18644] ppid=18642 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18644/stat : 18644 (npSolver-wbo-I.) S 18642 18644 14026 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284742750 9367552 275 33554432000 4194304 5064252 140734513320544 140734513319456 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18644/statm: 2287 275 233 213 0 72 0
[pid=18645] ppid=18644 vsize=69004 CPUtime=6.27 cores=0,2,4,6
/proc/18645/stat : 18645 (npSolver-wbo) R 18644 18644 14026 0 -1 4202496 6924 29698 0 0 326 58 224 19 20 0 1 0 284742751 70660096 12827 33554432000 4194304 5990268 140734409855408 140734409848712 5177872 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/18645/statm: 17251 12827 153 439 0 16808 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 78152
[startup+12.7004 s]
/proc/loadavg: 2.50 2.33 2.12 3/183 18658
/proc/meminfo: memFree=27553992/32873844 swapFree=7620/7620
[pid=18644] ppid=18642 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18644/stat : 18644 (npSolver-wbo-I.) S 18642 18644 14026 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284742750 9367552 275 33554432000 4194304 5064252 140734513320544 140734513319456 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18644/statm: 2287 275 233 213 0 72 0
[pid=18645] ppid=18644 vsize=175868 CPUtime=7.23 cores=0,2,4,6
/proc/18645/stat : 18645 (npSolver-wbo) S 18644 18644 14026 0 -1 4202496 12989 30212 0 0 406 69 224 24 20 0 1 0 284742751 180088832 36904 33554432000 4194304 5990268 140734409855408 140734409846848 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/18645/statm: 43967 36904 164 439 0 43524 0
[pid=18657] ppid=18645 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18657/stat : 18657 (satsolver.sh) S 18645 18644 14026 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284743476 9367552 266 33554432000 4194304 5064252 140733547986896 140733547985808 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18657/statm: 2287 266 226 213 0 72 0
[pid=18658] ppid=18657 vsize=183712 CPUtime=5.43 cores=0,2,4,6
/proc/18658/stat : 18658 (glucose) R 18657 18644 14026 0 -1 4202496 31125 0 0 0 534 9 0 0 20 0 1 0 284743476 188121088 41644 33554432000 4194304 5208918 140733211777936 140733211775608 4211553 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/18658/statm: 45928 41644 104 248 0 45677 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 377876
[startup+25.5004 s]
/proc/loadavg: 2.42 2.32 2.12 3/183 18658
/proc/meminfo: memFree=27550012/32873844 swapFree=7620/7620
[pid=18644] ppid=18642 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18644/stat : 18644 (npSolver-wbo-I.) S 18642 18644 14026 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284742750 9367552 275 33554432000 4194304 5064252 140734513320544 140734513319456 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18644/statm: 2287 275 233 213 0 72 0
[pid=18645] ppid=18644 vsize=175868 CPUtime=7.23 cores=0,2,4,6
/proc/18645/stat : 18645 (npSolver-wbo) S 18644 18644 14026 0 -1 4202496 12989 30212 0 0 406 69 224 24 20 0 1 0 284742751 180088832 36904 33554432000 4194304 5990268 140734409855408 140734409846848 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/18645/statm: 43967 36904 164 439 0 43524 0
[pid=18657] ppid=18645 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18657/stat : 18657 (satsolver.sh) S 18645 18644 14026 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284743476 9367552 266 33554432000 4194304 5064252 140733547986896 140733547985808 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18657/statm: 2287 266 226 213 0 72 0
[pid=18658] ppid=18657 vsize=183996 CPUtime=18.22 cores=0,2,4,6
/proc/18658/stat : 18658 (glucose) R 18657 18644 14026 0 -1 4202496 31333 0 0 0 1813 9 0 0 20 0 1 0 284743476 188411904 41846 33554432000 4194304 5208918 140733211777936 140733211775688 4211712 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/18658/statm: 45999 41846 104 248 0 45748 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 378160
[startup+51.1004 s]
/proc/loadavg: 2.27 2.29 2.12 3/183 18658
/proc/meminfo: memFree=27535236/32873844 swapFree=7620/7620
[pid=18644] ppid=18642 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18644/stat : 18644 (npSolver-wbo-I.) S 18642 18644 14026 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284742750 9367552 275 33554432000 4194304 5064252 140734513320544 140734513319456 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18644/statm: 2287 275 233 213 0 72 0
[pid=18645] ppid=18644 vsize=175868 CPUtime=7.23 cores=0,2,4,6
/proc/18645/stat : 18645 (npSolver-wbo) S 18644 18644 14026 0 -1 4202496 12989 30212 0 0 406 69 224 24 20 0 1 0 284742751 180088832 36904 33554432000 4194304 5990268 140734409855408 140734409846848 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/18645/statm: 43967 36904 164 439 0 43524 0
[pid=18657] ppid=18645 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18657/stat : 18657 (satsolver.sh) S 18645 18644 14026 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284743476 9367552 266 33554432000 4194304 5064252 140733547986896 140733547985808 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18657/statm: 2287 266 226 213 0 72 0
[pid=18658] ppid=18657 vsize=183996 CPUtime=43.82 cores=0,2,4,6
/proc/18658/stat : 18658 (glucose) R 18657 18644 14026 0 -1 4202496 31449 0 0 0 4373 9 0 0 20 0 1 0 284743476 188411904 41961 33554432000 4194304 5208918 140733211777936 140733211775688 4211572 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/18658/statm: 45999 41961 104 248 0 45748 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 378160
[startup+102.307 s]
/proc/loadavg: 2.11 2.24 2.11 3/183 18658
/proc/meminfo: memFree=27530944/32873844 swapFree=7620/7620
[pid=18644] ppid=18642 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18644/stat : 18644 (npSolver-wbo-I.) S 18642 18644 14026 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284742750 9367552 275 33554432000 4194304 5064252 140734513320544 140734513319456 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18644/statm: 2287 275 233 213 0 72 0
[pid=18645] ppid=18644 vsize=175868 CPUtime=7.23 cores=0,2,4,6
/proc/18645/stat : 18645 (npSolver-wbo) S 18644 18644 14026 0 -1 4202496 12989 30212 0 0 406 69 224 24 20 0 1 0 284742751 180088832 36904 33554432000 4194304 5990268 140734409855408 140734409846848 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/18645/statm: 43967 36904 164 439 0 43524 0
[pid=18657] ppid=18645 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18657/stat : 18657 (satsolver.sh) S 18645 18644 14026 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284743476 9367552 266 33554432000 4194304 5064252 140733547986896 140733547985808 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18657/statm: 2287 266 226 213 0 72 0
[pid=18658] ppid=18657 vsize=218616 CPUtime=95.03 cores=0,2,4,6
/proc/18658/stat : 18658 (glucose) R 18657 18644 14026 0 -1 4202496 32413 0 0 0 9493 10 0 0 20 0 1 0 284743476 223862784 43435 33554432000 4194304 5208918 140733211777936 140733211775784 4211160 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/18658/statm: 54654 43435 105 248 0 54403 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 412780
[startup+162.3 s]
/proc/loadavg: 2.04 2.20 2.10 3/183 18658
/proc/meminfo: memFree=27525844/32873844 swapFree=7620/7620
[pid=18644] ppid=18642 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18644/stat : 18644 (npSolver-wbo-I.) S 18642 18644 14026 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284742750 9367552 275 33554432000 4194304 5064252 140734513320544 140734513319456 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18644/statm: 2287 275 233 213 0 72 0
[pid=18645] ppid=18644 vsize=175868 CPUtime=7.23 cores=0,2,4,6
/proc/18645/stat : 18645 (npSolver-wbo) S 18644 18644 14026 0 -1 4202496 12989 30212 0 0 406 69 224 24 20 0 1 0 284742751 180088832 36904 33554432000 4194304 5990268 140734409855408 140734409846848 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/18645/statm: 43967 36904 164 439 0 43524 0
[pid=18657] ppid=18645 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18657/stat : 18657 (satsolver.sh) S 18645 18644 14026 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284743476 9367552 266 33554432000 4194304 5064252 140733547986896 140733547985808 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18657/statm: 2287 266 226 213 0 72 0
[pid=18658] ppid=18657 vsize=218760 CPUtime=155 cores=0,2,4,6
/proc/18658/stat : 18658 (glucose) R 18657 18644 14026 0 -1 4202496 32455 0 0 0 15490 10 0 0 20 0 1 0 284743476 224010240 43623 33554432000 4194304 5208918 140733211777936 140733211775896 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/18658/statm: 54690 43623 105 248 0 54439 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 412924
[startup+222.3 s]
/proc/loadavg: 2.01 2.16 2.09 3/183 18659
/proc/meminfo: memFree=27519712/32873844 swapFree=7620/7620
[pid=18644] ppid=18642 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18644/stat : 18644 (npSolver-wbo-I.) S 18642 18644 14026 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284742750 9367552 275 33554432000 4194304 5064252 140734513320544 140734513319456 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18644/statm: 2287 275 233 213 0 72 0
[pid=18645] ppid=18644 vsize=175868 CPUtime=7.23 cores=0,2,4,6
/proc/18645/stat : 18645 (npSolver-wbo) S 18644 18644 14026 0 -1 4202496 12989 30212 0 0 406 69 224 24 20 0 1 0 284742751 180088832 36904 33554432000 4194304 5990268 140734409855408 140734409846848 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/18645/statm: 43967 36904 164 439 0 43524 0
[pid=18657] ppid=18645 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 19003
/proc/meminfo: memFree=27558548/32873844 swapFree=7620/7620
[pid=18644] ppid=18642 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18644/stat : 18644 (npSolver-wbo-I.) S 18642 18644 14026 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284742750 9367552 275 33554432000 4194304 5064252 140734513320544 140734513319456 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18644/statm: 2287 275 233 213 0 72 0
[pid=18645] ppid=18644 vsize=175868 CPUtime=975.18 cores=0,2,4,6
/proc/18645/stat : 18645 (npSolver-wbo) S 18644 18644 14026 0 -1 4202496 18957 71345 0 0 477 78 96900 63 20 0 1 0 284742751 180088832 35368 33554432000 4194304 5990268 140734409855408 140734409846848 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/18645/statm: 43967 35368 164 439 0 43524 0
[pid=18991] ppid=18645 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18991/stat : 18991 (satsolver.sh) S 18645 18644 14026 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284840286 9367552 267 33554432000 4194304 5064252 140737433948800 140737433947712 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18991/statm: 2287 267 226 213 0 72 0
[pid=18992] ppid=18991 vsize=176128 CPUtime=386.86 cores=0,2,4,6
/proc/18992/stat : 18992 (glucose) R 18991 18644 14026 0 -1 4202496 31809 0 0 0 38676 10 0 0 20 0 1 0 284840286 180355072 41048 33554432000 4194304 5208918 140734219605440 140734219603288 4228997 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/18992/statm: 44032 41048 104 248 0 43781 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 370292
[startup+1422.31 s]
/proc/loadavg: 2.05 2.01 2.00 3/183 19004
/proc/meminfo: memFree=27555448/32873844 swapFree=7620/7620
[pid=18644] ppid=18642 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18644/stat : 18644 (npSolver-wbo-I.) S 18642 18644 14026 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284742750 9367552 275 33554432000 4194304 5064252 140734513320544 140734513319456 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18644/statm: 2287 275 233 213 0 72 0
[pid=18645] ppid=18644 vsize=175868 CPUtime=975.18 cores=0,2,4,6
/proc/18645/stat : 18645 (npSolver-wbo) S 18644 18644 14026 0 -1 4202496 18957 71345 0 0 477 78 96900 63 20 0 1 0 284742751 180088832 35368 33554432000 4194304 5990268 140734409855408 140734409846848 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/18645/statm: 43967 35368 164 439 0 43524 0
[pid=18991] ppid=18645 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18991/stat : 18991 (satsolver.sh) S 18645 18644 14026 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284840286 9367552 267 33554432000 4194304 5064252 140737433948800 140737433947712 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18991/statm: 2287 267 226 213 0 72 0
[pid=18992] ppid=18991 vsize=177744 CPUtime=446.86 cores=0,2,4,6
/proc/18992/stat : 18992 (glucose) R 18991 18644 14026 0 -1 4202496 32188 0 0 0 44676 10 0 0 20 0 1 0 284840286 182009856 41427 33554432000 4194304 5208918 140734219605440 140734219603288 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/18992/statm: 44436 41427 104 248 0 44185 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 371908
[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 19011
/proc/meminfo: memFree=27581144/32873844 swapFree=7620/7620
[pid=18644] ppid=18642 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18644/stat : 18644 (npSolver-wbo-I.) S 18642 18644 14026 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284742750 9367552 275 33554432000 4194304 5064252 140734513320544 140734513319456 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18644/statm: 2287 275 233 213 0 72 0
[pid=18645] ppid=18644 vsize=175868 CPUtime=1469.08 cores=0,2,4,6
/proc/18645/stat : 18645 (npSolver-wbo) S 18644 18644 14026 0 -1 4202496 24466 111003 0 0 538 85 146186 99 20 0 1 0 284742751 180088832 33437 33554432000 4194304 5990268 140734409855408 140734409846848 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/18645/statm: 43967 33437 164 439 0 43524 0
[pid=19010] ppid=18645 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19010/stat : 19010 (satsolver.sh) S 18645 18644 14026 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 284889685 9367552 267 33554432000 4194304 5064252 140736113984592 140736113983504 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19010/statm: 2287 267 226 213 0 72 0
[pid=19011] ppid=19010 vsize=181752 CPUtime=12.94 cores=0,2,4,6
/proc/19011/stat : 19011 (glucose) R 19010 18644 14026 0 -1 4202496 26878 0 0 0 1288 6 0 0 20 0 1 0 284889685 186114048 38002 33554432000 4194304 5208918 140735204865536 140735204863384 4229251 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19011/statm: 45438 38002 103 248 0 45187 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 375916
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 19018
/proc/meminfo: memFree=27612968/32873844 swapFree=7620/7620
[pid=18644] ppid=18642 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18644/stat : 18644 (npSolver-wbo-I.) S 18642 18644 14026 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284742750 9367552 275 33554432000 4194304 5064252 140734513320544 140734513319456 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18644/statm: 2287 275 233 213 0 72 0
[pid=18645] ppid=18644 vsize=175868 CPUtime=1469.08 cores=0,2,4,6
/proc/18645/stat : 18645 (npSolver-wbo) S 18644 18644 14026 0 -1 4202496 24466 111003 0 0 538 85 146186 99 20 0 1 0 284742751 180088832 33437 33554432000 4194304 5990268 140734409855408 140734409846848 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/18645/statm: 43967 33437 164 439 0 43524 0
[pid=19010] ppid=18645 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19010/stat : 19010 (satsolver.sh) S 18645 18644 14026 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 284889685 9367552 267 33554432000 4194304 5064252 140736113984592 140736113983504 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19010/statm: 2287 267 226 213 0 72 0
[pid=19011] ppid=19010 vsize=152248 CPUtime=72.93 cores=0,2,4,6
/proc/19011/stat : 19011 (glucose) R 19010 18644 14026 0 -1 4202496 27537 0 0 0 7286 7 0 0 20 0 1 0 284889685 155901952 35742 33554432000 4194304 5208918 140735204865536 140735204863384 4211122 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19011/statm: 38062 35742 104 248 0 37811 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 346412
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 19018
/proc/meminfo: memFree=27610260/32873844 swapFree=7620/7620
[pid=18644] ppid=18642 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18644/stat : 18644 (npSolver-wbo-I.) S 18642 18644 14026 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284742750 9367552 275 33554432000 4194304 5064252 140734513320544 140734513319456 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18644/statm: 2287 275 233 213 0 72 0
[pid=18645] ppid=18644 vsize=175868 CPUtime=1469.08 cores=0,2,4,6
/proc/18645/stat : 18645 (npSolver-wbo) S 18644 18644 14026 0 -1 4202496 24466 111003 0 0 538 85 146186 99 20 0 1 0 284742751 180088832 33437 33554432000 4194304 5990268 140734409855408 140734409846848 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/18645/statm: 43967 33437 164 439 0 43524 0
[pid=19010] ppid=18645 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19010/stat : 19010 (satsolver.sh) S 18645 18644 14026 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 284889685 9367552 267 33554432000 4194304 5064252 140736113984592 140736113983504 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19010/statm: 2287 267 226 213 0 72 0
[pid=19011] ppid=19010 vsize=155316 CPUtime=132.92 cores=0,2,4,6
/proc/19011/stat : 19011 (glucose) R 19010 18644 14026 0 -1 4202496 28203 0 0 0 13285 7 0 0 20 0 1 0 284889685 159043584 36407 33554432000 4194304 5208918 140735204865536 140735204863368 4211111 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19011/statm: 38829 36407 104 248 0 38578 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 349480
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 19021
/proc/meminfo: memFree=27604580/32873844 swapFree=7620/7620
[pid=18644] ppid=18642 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18644/stat : 18644 (npSolver-wbo-I.) S 18642 18644 14026 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284742750 9367552 275 33554432000 4194304 5064252 140734513320544 140734513319456 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18644/statm: 2287 275 233 213 0 72 0
[pid=18645] ppid=18644 vsize=175868 CPUtime=1469.08 cores=0,2,4,6
/proc/18645/stat : 18645 (npSolver-wbo) S 18644 18644 14026 0 -1 4202496 24466 111003 0 0 538 85 146186 99 20 0 1 0 284742751 180088832 33437 33554432000 4194304 5990268 140734409855408 140734409846848 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/18645/statm: 43967 33437 164 439 0 43524 0
[pid=19010] ppid=18645 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19010/stat : 19010 (satsolver.sh) S 18645 18644 14026 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 284889685 9367552 267 33554432000 4194304 5064252 140736113984592 140736113983504 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19010/statm: 2287 267 226 213 0 72 0
[pid=19011] ppid=19010 vsize=155712 CPUtime=192.91 cores=0,2,4,6
/proc/19011/stat : 19011 (glucose) R 19010 18644 14026 0 -1 4202496 28421 0 0 0 19284 7 0 0 20 0 1 0 284889685 159449088 36625 33554432000 4194304 5208918 140735204865536 140735204863384 4211194 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19011/statm: 38928 36625 105 248 0 38677 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 349876
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 19036
/proc/meminfo: memFree=27751460/32873844 swapFree=7620/7620
[pid=18644] ppid=18642 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18644/stat : 18644 (npSolver-wbo-I.) S 18642 18644 14026 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284742750 9367552 275 33554432000 4194304 5064252 140734513320544 140734513319456 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18644/statm: 2287 275 233 213 0 72 0
[pid=18645] ppid=18644 vsize=143100 CPUtime=1691.54 cores=0,2,4,6
/proc/18645/stat : 18645 (npSolver-wbo) S 18644 18644 14026 0 -1 4202496 29376 145691 0 0 571 88 168366 129 20 0 1 0 284742751 146534400 28829 33554432000 4194304 5990268 140734409855408 140734409846848 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/18645/statm: 35775 28829 164 439 0 35332 0
[pid=19027] ppid=18645 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19027/stat : 19027 (satsolver.sh) S 18645 18644 14026 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 284911936 9367552 267 33554432000 4194304 5064252 140736900662240 140736900661152 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19027/statm: 2287 267 226 213 0 72 0
[pid=19028] ppid=19027 vsize=118512 CPUtime=30.43 cores=0,2,4,6
/proc/19028/stat : 19028 (glucose) R 19027 18644 14026 0 -1 4202496 17881 0 0 0 3039 4 0 0 20 0 1 0 284911936 121356288 24608 33554432000 4194304 5208918 140736817210928 140736817208760 4205728 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19028/statm: 29628 24608 103 248 0 29377 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 279908
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 19036
/proc/meminfo: memFree=27747276/32873844 swapFree=7620/7620
[pid=18644] ppid=18642 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18644/stat : 18644 (npSolver-wbo-I.) S 18642 18644 14026 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284742750 9367552 275 33554432000 4194304 5064252 140734513320544 140734513319456 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18644/statm: 2287 275 233 213 0 72 0
[pid=18645] ppid=18644 vsize=143100 CPUtime=1691.54 cores=0,2,4,6
/proc/18645/stat : 18645 (npSolver-wbo) S 18644 18644 14026 0 -1 4202496 29376 145691 0 0 571 88 168366 129 20 0 1 0 284742751 146534400 28829 33554432000 4194304 5990268 140734409855408 140734409846848 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/18645/statm: 35775 28829 164 439 0 35332 0
[pid=19027] ppid=18645 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19027/stat : 19027 (satsolver.sh) S 18645 18644 14026 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 284911936 9367552 267 33554432000 4194304 5064252 140736900662240 140736900661152 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19027/statm: 2287 267 226 213 0 72 0
[pid=19028] ppid=19027 vsize=119504 CPUtime=90.41 cores=0,2,4,6
/proc/19028/stat : 19028 (glucose) R 19027 18644 14026 0 -1 4202496 18242 0 0 0 9037 4 0 0 20 0 1 0 284911936 122372096 25076 33554432000 4194304 5208918 140736817210928 140736817208760 4211176 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19028/statm: 29876 25076 103 248 0 29625 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 280900
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 19036
/proc/meminfo: memFree=27745648/32873844 swapFree=7620/7620
[pid=18644] ppid=18642 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18644/stat : 18644 (npSolver-wbo-I.) S 18642 18644 14026 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 284742750 9367552 275 33554432000 4194304 5064252 140734513320544 140734513319456 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18644/statm: 2287 275 233 213 0 72 0
[pid=18645] ppid=18644 vsize=143100 CPUtime=1691.54 cores=0,2,4,6
/proc/18645/stat : 18645 (npSolver-wbo) S 18644 18644 14026 0 -1 4202496 29376 145691 0 0 571 88 168366 129 20 0 1 0 284742751 146534400 28829 33554432000 4194304 5990268 140734409855408 140734409846848 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/18645/statm: 35775 28829 164 439 0 35332 0
[pid=19027] ppid=18645 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19027/stat : 19027 (satsolver.sh) S 18645 18644 14026 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 284911936 9367552 267 33554432000 4194304 5064252 140736900662240 140736900661152 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19027/statm: 2287 267 226 213 0 72 0
[pid=19028] ppid=19027 vsize=120328 CPUtime=108.52 cores=0,2,4,6
/proc/19028/stat : 19028 (glucose) R 19027 18644 14026 0 -1 4202496 18433 0 0 0 10848 4 0 0 20 0 1 0 284911936 123215872 25267 33554432000 4194304 5208918 140736817210928 140736817208760 4229021 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19028/statm: 30082 25267 103 248 0 29831 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 281724
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.09
CPU user time (s): 1797.85
CPU system time (s): 2.23766
CPU usage (%): 99.9821
Max. virtual memory (cumulated for all children) (KiB): 451588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.85
system time used= 2.23766
maximum resident set size= 223156
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 194495
page faults= 0
swaps= 0
block input operations= 0
block output operations= 678976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1710
involuntary context switches= 2157
runsolver used 3.54846 second user time and 9.1816 second system time
The end