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-3753621-1339188725/watcher-3753621-1339188725 -o /tmp/evaluation-result-3753621-1339188725/solver-3753621-1339188725 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3753621-1339188725.wbo 630874739 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.00 2.00 2.00 2/179 31470
/proc/meminfo: memFree=31436780/32873648 swapFree=7376/7376
[pid=31470] ppid=31468 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31470/stat : 31470 (npSolver-wbo-It) S 31468 31470 5861 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 384999359 9367552 275 33554432000 4194304 5064252 140736727418080 140736727416992 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31470/statm: 2287 275 233 213 0 72 0
[startup+0.094492 s]
/proc/loadavg: 2.00 2.00 2.00 2/179 31470
/proc/meminfo: memFree=31436780/32873648 swapFree=7376/7376
[pid=31470] ppid=31468 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31470/stat : 31470 (npSolver-wbo-It) S 31468 31470 5861 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 384999359 9367552 275 33554432000 4194304 5064252 140736727418080 140736727416992 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31470/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100183 s]
/proc/loadavg: 2.00 2.00 2.00 2/179 31470
/proc/meminfo: memFree=31436780/32873648 swapFree=7376/7376
[pid=31470] ppid=31468 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31470/stat : 31470 (npSolver-wbo-It) S 31468 31470 5861 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 384999359 9367552 275 33554432000 4194304 5064252 140736727418080 140736727416992 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31470/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300078 s]
/proc/loadavg: 2.00 2.00 2.00 2/179 31470
/proc/meminfo: memFree=31436780/32873648 swapFree=7376/7376
[pid=31470] ppid=31468 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31470/stat : 31470 (npSolver-wbo-It) S 31468 31470 5861 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 384999359 9367552 275 33554432000 4194304 5064252 140736727418080 140736727416992 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31470/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700076 s]
/proc/loadavg: 2.00 2.00 2.00 2/179 31470
/proc/meminfo: memFree=31436780/32873648 swapFree=7376/7376
[pid=31470] ppid=31468 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31470/stat : 31470 (npSolver-wbo-It) S 31468 31470 5861 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 384999359 9367552 275 33554432000 4194304 5064252 140736727418080 140736727416992 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31470/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.00 2.00 2.00 3/183 31477
/proc/meminfo: memFree=31429864/32873648 swapFree=7376/7376
[pid=31470] ppid=31468 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31470/stat : 31470 (npSolver-wbo-It) S 31468 31470 5861 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 384999359 9367552 275 33554432000 4194304 5064252 140736727418080 140736727416992 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31470/statm: 2287 275 233 213 0 72 0
[pid=31471] ppid=31470 vsize=3092 CPUtime=0.19 cores=0,2,4,6
/proc/31471/stat : 31471 (npSolver-wbo) S 31470 31470 5861 0 -1 4202496 1958 2691 0 0 2 0 17 0 20 0 1 0 384999359 3166208 377 33554432000 4194304 6006132 140736373778144 140736373772336 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31471/statm: 773 377 158 443 0 326 0
[pid=31476] ppid=31471 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31476/stat : 31476 (satsolver.sh) S 31471 31470 5861 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384999381 9367552 266 33554432000 4194304 5064252 140733596167056 140733596165968 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31476/statm: 2287 266 226 213 0 72 0
[pid=31477] ppid=31476 vsize=12788 CPUtime=1.27 cores=0,2,4,6
/proc/31477/stat : 31477 (glucose) R 31476 31470 5861 0 -1 4202496 2546 0 0 0 127 0 0 0 20 0 1 0 384999381 13094912 2203 33554432000 4194304 5208918 140734668092656 140734668090600 4229517 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31477/statm: 3197 2203 96 248 0 2946 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 34176
[startup+3.10033 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 31477
/proc/meminfo: memFree=31423592/32873648 swapFree=7376/7376
[pid=31470] ppid=31468 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31470/stat : 31470 (npSolver-wbo-It) S 31468 31470 5861 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 384999359 9367552 275 33554432000 4194304 5064252 140736727418080 140736727416992 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31470/statm: 2287 275 233 213 0 72 0
[pid=31471] ppid=31470 vsize=3092 CPUtime=0.19 cores=0,2,4,6
/proc/31471/stat : 31471 (npSolver-wbo) S 31470 31470 5861 0 -1 4202496 1958 2691 0 0 2 0 17 0 20 0 1 0 384999359 3166208 377 33554432000 4194304 6006132 140736373778144 140736373772336 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31471/statm: 773 377 158 443 0 326 0
[pid=31476] ppid=31471 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31476/stat : 31476 (satsolver.sh) S 31471 31470 5861 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384999381 9367552 266 33554432000 4194304 5064252 140733596167056 140733596165968 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31476/statm: 2287 266 226 213 0 72 0
[pid=31477] ppid=31476 vsize=12788 CPUtime=2.87 cores=0,2,4,6
/proc/31477/stat : 31477 (glucose) R 31476 31470 5861 0 -1 4202496 3127 0 0 0 287 0 0 0 20 0 1 0 384999381 13094912 2776 33554432000 4194304 5208918 140734668092656 140734668090600 4212471 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31477/statm: 3197 2776 96 248 0 2946 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 34176
[startup+6.30035 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 31477
/proc/meminfo: memFree=31419384/32873648 swapFree=7376/7376
[pid=31470] ppid=31468 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31470/stat : 31470 (npSolver-wbo-It) S 31468 31470 5861 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 384999359 9367552 275 33554432000 4194304 5064252 140736727418080 140736727416992 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31470/statm: 2287 275 233 213 0 72 0
[pid=31471] ppid=31470 vsize=3092 CPUtime=0.19 cores=0,2,4,6
/proc/31471/stat : 31471 (npSolver-wbo) S 31470 31470 5861 0 -1 4202496 1958 2691 0 0 2 0 17 0 20 0 1 0 384999359 3166208 377 33554432000 4194304 6006132 140736373778144 140736373772336 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/31471/statm: 773 377 158 443 0 326 0
[pid=31476] ppid=31471 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31476/stat : 31476 (satsolver.sh) S 31471 31470 5861 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384999381 9367552 266 33554432000 4194304 5064252 140733596167056 140733596165968 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31476/statm: 2287 266 226 213 0 72 0
[pid=31477] ppid=31476 vsize=22584 CPUtime=6.07 cores=0,2,4,6
/proc/31477/stat : 31477 (glucose) R 31476 31470 5861 0 -1 4202496 4238 0 0 0 607 0 0 0 20 0 1 0 384999381 23126016 4877 33554432000 4194304 5208918 140734668092656 140734668090648 4229699 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31477/statm: 5646 4877 96 248 0 5395 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 43972
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 31491
/proc/meminfo: memFree=31381236/32873648 swapFree=7376/7376
[pid=31470] ppid=31468 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31470/stat : 31470 (npSolver-wbo-It) S 31468 31470 5861 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 384999359 9367552 275 33554432000 4194304 5064252 140736727418080 140736727416992 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31470/statm: 2287 275 233 213 0 72 0
[pid=31471] ppid=31470 vsize=19772 CPUtime=9.2 cores=0,2,4,6
/proc/31471/stat : 31471 (npSolver-wbo) S 31470 31470 5861 0 -1 4202496 3926 10817 0 0 11 3 904 2 20 0 1 0 384999359 20246528 4223 33554432000 4194304 6006132 140736373778144 140736373769536 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31471/statm: 4943 4223 167 443 0 4496 0
[pid=31490] ppid=31471 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31490/stat : 31490 (satsolver.sh) S 31471 31470 5861 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385000281 9367552 266 33554432000 4194304 5064252 140733449715504 140733449714416 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/31490/statm: 2287 266 226 213 0 72 0
[pid=31491] ppid=31490 vsize=61416 CPUtime=3.46 cores=0,2,4,6
/proc/31491/stat : 31491 (glucose) R 31490 31470 5861 0 -1 4202496 12164 0 0 0 344 2 0 0 20 0 1 0 385000281 62889984 11902 33554432000 4194304 5208918 140733738150656 140733738148616 4212445 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31491/statm: 15354 11902 96 248 0 15103 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 99484
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 31498
/proc/meminfo: memFree=31357900/32873648 swapFree=7376/7376
[pid=31470] ppid=31468 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31470/stat : 31470 (npSolver-wbo-It) S 31468 31470 5861 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 384999359 9367552 275 33554432000 4194304 5064252 140736727418080 140736727416992 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31470/statm: 2287 275 233 213 0 72 0
[pid=31471] ppid=31470 vsize=19772 CPUtime=9.2 cores=0,2,4,6
/proc/31471/stat : 31471 (npSolver-wbo) S 31470 31470 5861 0 -1 4202496 3926 10817 0 0 11 3 904 2 20 0 1 0 384999359 20246528 4223 33554432000 4194304 6006132 140736373778144 140736373769536 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31471/statm: 4943 4223 167 443 0 4496 0
[pid=31490] ppid=31471 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31490/stat : 31490 (satsolver.sh) S 31471 31470 5861 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385000281 9367552 266 33554432000 4194304 5064252 140733449715504 140733449714416 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/31490/statm: 2287 266 226 213 0 72 0
[pid=31491] ppid=31490 vsize=85048 CPUtime=16.26 cores=0,2,4,6
/proc/31491/stat : 31491 (glucose) R 31490 31470 5861 0 -1 4202496 14332 0 0 0 1622 4 0 0 20 0 1 0 385000281 87089152 19251 33554432000 4194304 5208918 140733738150656 140733738148600 4229517 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31491/statm: 21262 19251 96 248 0 21011 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 123116
[startup+51.1003 s]
/proc/loadavg: 2.08 2.02 2.01 3/183 31519
/proc/meminfo: memFree=31382468/32873648 swapFree=7376/7376
[pid=31470] ppid=31468 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31470/stat : 31470 (npSolver-wbo-It) S 31468 31470 5861 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 384999359 9367552 275 33554432000 4194304 5064252 140736727418080 140736727416992 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31470/statm: 2287 275 233 213 0 72 0
[pid=31471] ppid=31470 vsize=19772 CPUtime=46.96 cores=0,2,4,6
/proc/31471/stat : 31471 (npSolver-wbo) S 31470 31470 5861 0 -1 4202496 6897 44115 0 0 20 4 4642 30 20 0 1 0 384999359 20246528 4224 33554432000 4194304 6006132 140736373778144 140736373769536 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31471/statm: 4943 4224 168 443 0 4496 0
[pid=31518] ppid=31471 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31518/stat : 31518 (satsolver.sh) S 31471 31470 5861 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385004059 9367552 267 33554432000 4194304 5064252 140737456740816 140737456739728 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/31518/statm: 2287 267 226 213 0 72 0
[pid=31519] ppid=31518 vsize=35524 CPUtime=4.09 cores=0,2,4,6
/proc/31519/stat : 31519 (glucose) R 31518 31470 5861 0 -1 4202496 8898 0 0 0 408 1 0 0 20 0 1 0 385004059 36376576 7660 33554432000 4194304 5208918 140734857465744 140734857463832 4229717 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31519/statm: 8881 7660 96 248 0 8630 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 73592
[startup+102.307 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 31554
/proc/meminfo: memFree=31373152/32873648 swapFree=7376/7376
[pid=31470] ppid=31468 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31470/stat : 31470 (npSolver-wbo-It) S 31468 31470 5861 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 384999359 9367552 275 33554432000 4194304 5064252 140736727418080 140736727416992 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31470/statm: 2287 275 233 213 0 72 0
[pid=31471] ppid=31470 vsize=19772 CPUtime=84.93 cores=0,2,4,6
/proc/31471/stat : 31471 (npSolver-wbo) S 31470 31470 5861 0 -1 4202496 9782 73426 0 0 29 5 8412 47 20 0 1 0 384999359 20246528 4224 33554432000 4194304 6006132 140736373778144 140736373769536 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31471/statm: 4943 4224 168 443 0 4496 0
[pid=31546] ppid=31471 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31546/stat : 31546 (satsolver.sh) S 31471 31470 5861 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385007857 9367552 266 33554432000 4194304 5064252 140734146276352 140734146275264 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/31546/statm: 2287 266 226 213 0 72 0
[pid=31547] ppid=31546 vsize=49724 CPUtime=17.31 cores=0,2,4,6
/proc/31547/stat : 31547 (glucose) R 31546 31470 5861 0 -1 4202496 9460 0 0 0 1730 1 0 0 20 0 1 0 385007857 50917376 11734 33554432000 4194304 5208918 140736453854736 140736453852680 4229517 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31547/statm: 12431 11734 96 248 0 12180 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 87792
[startup+162.3 s]
/proc/loadavg: 2.09 2.02 2.01 3/183 31610
/proc/meminfo: memFree=31398636/32873648 swapFree=7376/7376
[pid=31470] ppid=31468 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31470/stat : 31470 (npSolver-wbo-It) S 31468 31470 5861 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 384999359 9367552 275 33554432000 4194304 5064252 140736727418080 140736727416992 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31470/statm: 2287 275 233 213 0 72 0
[pid=31471] ppid=31470 vsize=19772 CPUtime=159.84 cores=0,2,4,6
/proc/31471/stat : 31471 (npSolver-wbo) S 31470 31470 5861 0 -1 4202496 15543 124719 0 0 45 7 15854 78 20 0 1 0 384999359 20246528 4224 33554432000 4194304 6006132 140736373778144 140736373769536 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31471/statm: 4943 4224 168 443 0 4496 0
[pid=31609] ppid=31471 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/32408/statm: 2287 266 226 213 0 72 0
[pid=32409] ppid=32408 vsize=16268 CPUtime=8.64 cores=0,2,4,6
/proc/32409/stat : 32409 (glucose) R 32408 31470 5861 0 -1 4202496 4730 0 0 0 864 0 0 0 20 0 1 0 385104724 16658432 3660 33554432000 4194304 5208918 140734471093808 140734471091896 4205139 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/32409/statm: 4067 3660 96 248 0 3816 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 54336
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 32476
/proc/meminfo: memFree=31435540/32873648 swapFree=7376/7376
[pid=31470] ppid=31468 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31470/stat : 31470 (npSolver-wbo-It) S 31468 31470 5861 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 384999359 9367552 275 33554432000 4194304 5064252 140736727418080 140736727416992 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31470/statm: 2287 275 233 213 0 72 0
[pid=31471] ppid=31470 vsize=19772 CPUtime=1117.38 cores=0,2,4,6
/proc/31471/stat : 31471 (npSolver-wbo) S 31470 31470 5861 0 -1 4202496 50850 669469 0 0 122 20 111288 308 20 0 1 0 384999359 20246528 4224 33554432000 4194304 6006132 140736373778144 140736373769536 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31471/statm: 4943 4224 168 443 0 4496 0
[pid=32475] ppid=31471 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32475/stat : 32475 (satsolver.sh) S 31471 31470 5861 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385111135 9367552 267 33554432000 4194304 5064252 140736373778144 140736373777056 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/32475/statm: 2287 267 226 213 0 72 0
[pid=32476] ppid=32475 vsize=13264 CPUtime=4.53 cores=0,2,4,6
/proc/32476/stat : 32476 (glucose) R 32475 31470 5861 0 -1 4202496 3312 0 0 0 452 1 0 0 20 0 1 0 385111135 13582336 2883 33554432000 4194304 5208918 140736889560880 140736889558824 4229738 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/32476/statm: 3316 2883 96 248 0 3065 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 51332
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 32539
/proc/meminfo: memFree=31439640/32873648 swapFree=7376/7376
[pid=31470] ppid=31468 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31470/stat : 31470 (npSolver-wbo-It) S 31468 31470 5861 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 384999359 9367552 275 33554432000 4194304 5064252 140736727418080 140736727416992 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31470/statm: 2287 275 233 213 0 72 0
[pid=31471] ppid=31470 vsize=19772 CPUtime=1178.14 cores=0,2,4,6
/proc/31471/stat : 31471 (npSolver-wbo) S 31470 31470 5861 0 -1 4202496 51353 706668 0 0 122 20 117356 316 20 0 1 0 384999359 20246528 4224 33554432000 4194304 6006132 140736373778144 140736373769536 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31471/statm: 4943 4224 168 443 0 4496 0
[pid=32531] ppid=31471 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32531/stat : 32531 (satsolver.sh) S 31471 31470 5861 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385117214 9367552 266 33554432000 4194304 5064252 140734801902704 140734801901616 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/32531/statm: 2287 266 226 213 0 72 0
[pid=32532] ppid=32531 vsize=12384 CPUtime=3.74 cores=0,2,4,6
/proc/32532/stat : 32532 (glucose) R 32531 31470 5861 0 -1 4202496 3256 0 0 0 374 0 0 0 20 0 1 0 385117214 12681216 2363 33554432000 4194304 5208918 140733601634304 140733601632248 4229738 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/32532/statm: 3096 2363 96 248 0 2845 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 50452
Solver just ended. Dumping a history of the last processes samples
[startup+1203.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 32560
/proc/meminfo: memFree=31436504/32873648 swapFree=7376/7376
[pid=31470] ppid=31468 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31470/stat : 31470 (npSolver-wbo-It) S 31468 31470 5861 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 384999359 9367552 275 33554432000 4194304 5064252 140736727418080 140736727416992 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31470/statm: 2287 275 233 213 0 72 0
[pid=31471] ppid=31470 vsize=19772 CPUtime=1200.58 cores=0,2,4,6
/proc/31471/stat : 31471 (npSolver-wbo) S 31470 31470 5861 0 -1 4202496 51522 722331 0 0 122 20 119596 320 20 0 1 0 384999359 20246528 4224 33554432000 4194304 6006132 140736373778144 140736373769536 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31471/statm: 4943 4224 168 443 0 4496 0
[pid=32559] ppid=31471 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32559/stat : 32559 (satsolver.sh) S 31471 31470 5861 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385119459 9367552 267 33554432000 4194304 5064252 140733771726752 140733771725664 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/32559/statm: 2287 267 226 213 0 72 0
[pid=32560] ppid=32559 vsize=9372 CPUtime=2.1 cores=0,2,4,6
/proc/32560/stat : 32560 (glucose) R 32559 31470 5861 0 -1 4202496 2541 0 0 0 210 0 0 0 20 0 1 0 385119459 9596928 1867 33554432000 4194304 5208918 140735821712336 140735821710280 4229307 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/32560/statm: 2343 1867 96 248 0 2092 0
Current children cumulated CPU time (s) 1202.68
Current children cumulated vsize (KiB) 47440
[startup+1209.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 32560
/proc/meminfo: memFree=31416340/32873648 swapFree=7376/7376
[pid=31470] ppid=31468 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31470/stat : 31470 (npSolver-wbo-It) S 31468 31470 5861 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 384999359 9367552 275 33554432000 4194304 5064252 140736727418080 140736727416992 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31470/statm: 2287 275 233 213 0 72 0
[pid=31471] ppid=31470 vsize=19772 CPUtime=1200.58 cores=0,2,4,6
/proc/31471/stat : 31471 (npSolver-wbo) S 31470 31470 5861 0 -1 4202496 51522 722331 0 0 122 20 119596 320 20 0 1 0 384999359 20246528 4224 33554432000 4194304 6006132 140736373778144 140736373769536 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31471/statm: 4943 4224 168 443 0 4496 0
[pid=32559] ppid=31471 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32559/stat : 32559 (satsolver.sh) S 31471 31470 5861 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385119459 9367552 267 33554432000 4194304 5064252 140733771726752 140733771725664 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/32559/statm: 2287 267 226 213 0 72 0
[pid=32560] ppid=32559 vsize=20828 CPUtime=8.49 cores=0,2,4,6
/proc/32560/stat : 32560 (glucose) R 32559 31470 5861 0 -1 4202496 4159 0 0 0 849 0 0 0 20 0 1 0 385119459 21327872 3597 33554432000 4194304 5208918 140735821712336 140735821710424 4229528 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/32560/statm: 5207 3597 96 248 0 4956 0
Current children cumulated CPU time (s) 1209.07
Current children cumulated vsize (KiB) 58896
[startup+1212.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 32567
/proc/meminfo: memFree=31431424/32873648 swapFree=7376/7376
[pid=31470] ppid=31468 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31470/stat : 31470 (npSolver-wbo-It) S 31468 31470 5861 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 384999359 9367552 275 33554432000 4194304 5064252 140736727418080 140736727416992 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31470/statm: 2287 275 233 213 0 72 0
[pid=31471] ppid=31470 vsize=19772 CPUtime=1200.58 cores=0,2,4,6
/proc/31471/stat : 31471 (npSolver-wbo) S 31470 31470 5861 0 -1 4202496 51522 722331 0 0 122 20 119596 320 20 0 1 0 384999359 20246528 4224 33554432000 4194304 6006132 140736373778144 140736373769536 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31471/statm: 4943 4224 168 443 0 4496 0
[pid=32559] ppid=31471 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32559/stat : 32559 (satsolver.sh) S 31471 31470 5861 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385119459 9367552 267 33554432000 4194304 5064252 140733771726752 140733771725664 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/32559/statm: 2287 267 226 213 0 72 0
[pid=32560] ppid=32559 vsize=20828 CPUtime=11.69 cores=0,2,4,6
/proc/32560/stat : 32560 (glucose) R 32559 31470 5861 0 -1 4202496 4339 0 0 0 1169 0 0 0 20 0 1 0 385119459 21327872 4787 33554432000 4194304 5208918 140735821712336 140735821710280 4212881 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/32560/statm: 5207 4787 102 248 0 4956 0
Current children cumulated CPU time (s) 1212.27
Current children cumulated vsize (KiB) 58896
[startup+1215.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 32567
/proc/meminfo: memFree=31424916/32873648 swapFree=7376/7376
[pid=31470] ppid=31468 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31470/stat : 31470 (npSolver-wbo-It) S 31468 31470 5861 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 384999359 9367552 275 33554432000 4194304 5064252 140736727418080 140736727416992 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31470/statm: 2287 275 233 213 0 72 0
[pid=31471] ppid=31470 vsize=19772 CPUtime=1200.58 cores=0,2,4,6
/proc/31471/stat : 31471 (npSolver-wbo) S 31470 31470 5861 0 -1 4202496 51522 722331 0 0 122 20 119596 320 20 0 1 0 384999359 20246528 4224 33554432000 4194304 6006132 140736373778144 140736373769536 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31471/statm: 4943 4224 168 443 0 4496 0
[pid=32559] ppid=31471 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32559/stat : 32559 (satsolver.sh) S 31471 31470 5861 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385119459 9367552 267 33554432000 4194304 5064252 140733771726752 140733771725664 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/32559/statm: 2287 267 226 213 0 72 0
[pid=32560] ppid=32559 vsize=20828 CPUtime=14.89 cores=0,2,4,6
/proc/32560/stat : 32560 (glucose) R 32559 31470 5861 0 -1 4202496 4339 0 0 0 1489 0 0 0 20 0 1 0 385119459 21327872 4787 33554432000 4194304 5208918 140735821712336 140735821710280 4213236 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/32560/statm: 5207 4787 102 248 0 4956 0
Current children cumulated CPU time (s) 1215.47
Current children cumulated vsize (KiB) 58896
[startup+1216.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 32567
/proc/meminfo: memFree=31423480/32873648 swapFree=7376/7376
[pid=31470] ppid=31468 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31470/stat : 31470 (npSolver-wbo-It) S 31468 31470 5861 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 384999359 9367552 275 33554432000 4194304 5064252 140736727418080 140736727416992 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31470/statm: 2287 275 233 213 0 72 0
[pid=31471] ppid=31470 vsize=19772 CPUtime=1200.58 cores=0,2,4,6
/proc/31471/stat : 31471 (npSolver-wbo) S 31470 31470 5861 0 -1 4202496 51522 722331 0 0 122 20 119596 320 20 0 1 0 384999359 20246528 4224 33554432000 4194304 6006132 140736373778144 140736373769536 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31471/statm: 4943 4224 168 443 0 4496 0
[pid=32559] ppid=31471 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32559/stat : 32559 (satsolver.sh) S 31471 31470 5861 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385119459 9367552 267 33554432000 4194304 5064252 140733771726752 140733771725664 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/32559/statm: 2287 267 226 213 0 72 0
[pid=32560] ppid=32559 vsize=20828 CPUtime=15.69 cores=0,2,4,6
/proc/32560/stat : 32560 (glucose) R 32559 31470 5861 0 -1 4202496 4343 0 0 0 1569 0 0 0 20 0 1 0 385119459 21327872 4788 33554432000 4194304 5208918 140735821712336 140735821710280 4229528 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/32560/statm: 5207 4788 102 248 0 4956 0
Current children cumulated CPU time (s) 1216.27
Current children cumulated vsize (KiB) 58896
[startup+1217.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 32567
/proc/meminfo: memFree=31423480/32873648 swapFree=7376/7376
[pid=31470] ppid=31468 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31470/stat : 31470 (npSolver-wbo-It) S 31468 31470 5861 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 384999359 9367552 275 33554432000 4194304 5064252 140736727418080 140736727416992 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31470/statm: 2287 275 233 213 0 72 0
[pid=31471] ppid=31470 vsize=19772 CPUtime=1200.58 cores=0,2,4,6
/proc/31471/stat : 31471 (npSolver-wbo) S 31470 31470 5861 0 -1 4202496 51522 722331 0 0 122 20 119596 320 20 0 1 0 384999359 20246528 4224 33554432000 4194304 6006132 140736373778144 140736373769536 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31471/statm: 4943 4224 168 443 0 4496 0
[pid=32559] ppid=31471 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32559/stat : 32559 (satsolver.sh) S 31471 31470 5861 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385119459 9367552 267 33554432000 4194304 5064252 140733771726752 140733771725664 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/32559/statm: 2287 267 226 213 0 72 0
[pid=32560] ppid=32559 vsize=20828 CPUtime=16.49 cores=0,2,4,6
/proc/32560/stat : 32560 (glucose) R 32559 31470 5861 0 -1 4202496 4343 0 0 0 1649 0 0 0 20 0 1 0 385119459 21327872 4788 33554432000 4194304 5208918 140735821712336 140735821710280 4228997 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/32560/statm: 5207 4788 102 248 0 4956 0
Current children cumulated CPU time (s) 1217.07
Current children cumulated vsize (KiB) 58896
[startup+1217.9 s]
/proc/loadavg: 2.08 2.02 2.01 3/183 32567
/proc/meminfo: memFree=31422488/32873648 swapFree=7376/7376
[pid=31470] ppid=31468 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31470/stat : 31470 (npSolver-wbo-It) S 31468 31470 5861 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 384999359 9367552 275 33554432000 4194304 5064252 140736727418080 140736727416992 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31470/statm: 2287 275 233 213 0 72 0
[pid=31471] ppid=31470 vsize=19772 CPUtime=1200.58 cores=0,2,4,6
/proc/31471/stat : 31471 (npSolver-wbo) S 31470 31470 5861 0 -1 4202496 51522 722331 0 0 122 20 119596 320 20 0 1 0 384999359 20246528 4224 33554432000 4194304 6006132 140736373778144 140736373769536 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31471/statm: 4943 4224 168 443 0 4496 0
[pid=32559] ppid=31471 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32559/stat : 32559 (satsolver.sh) S 31471 31470 5861 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385119459 9367552 267 33554432000 4194304 5064252 140733771726752 140733771725664 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/32559/statm: 2287 267 226 213 0 72 0
[pid=32560] ppid=32559 vsize=20828 CPUtime=16.89 cores=0,2,4,6
/proc/32560/stat : 32560 (glucose) R 32559 31470 5861 0 -1 4202496 4343 0 0 0 1689 0 0 0 20 0 1 0 385119459 21327872 4788 33554432000 4194304 5208918 140735821712336 140735821710280 4213161 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/32560/statm: 5207 4788 102 248 0 4956 0
Current children cumulated CPU time (s) 1217.47
Current children cumulated vsize (KiB) 58896
Child status: 0
Real time (s): 1217.93
CPU time (s): 1217.54
CPU user time (s): 1214.11
CPU system time (s): 3.42448
CPU usage (%): 99.9674
Max. virtual memory (cumulated for all children) (KiB): 123116
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1214.11
system time used= 3.42448
maximum resident set size= 84564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 781923
page faults= 0
swaps= 0
block input operations= 0
block output operations= 212016
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4242
involuntary context switches= 2086
runsolver used 1.72874 second user time and 4.91925 second system time
The end