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-3713919-1338213304/watcher-3713919-1338213304 -o /tmp/evaluation-result-3713919-1338213304/solver-3713919-1338213304 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-I.sh HOME/instance-3713919-1338213304.wbo 40672531 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.67 2.38 2.16 3/179 658
/proc/meminfo: memFree=30338040/32873844 swapFree=7900/7900
[pid=658] ppid=656 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/658/stat : 658 (npSolver-wbo-I.) S 656 658 27515 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287454969 9367552 275 33554432000 4194304 5064252 140735101465984 140735101464896 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/658/statm: 2287 275 233 213 0 72 0

[startup+0.055347 s]
/proc/loadavg: 2.67 2.38 2.16 3/179 658
/proc/meminfo: memFree=30338040/32873844 swapFree=7900/7900
[pid=658] ppid=656 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/658/stat : 658 (npSolver-wbo-I.) S 656 658 27515 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287454969 9367552 275 33554432000 4194304 5064252 140735101465984 140735101464896 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/658/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100333 s]
/proc/loadavg: 2.67 2.38 2.16 3/179 658
/proc/meminfo: memFree=30338040/32873844 swapFree=7900/7900
[pid=658] ppid=656 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/658/stat : 658 (npSolver-wbo-I.) S 656 658 27515 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287454969 9367552 275 33554432000 4194304 5064252 140735101465984 140735101464896 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/658/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300356 s]
/proc/loadavg: 2.67 2.38 2.16 3/179 658
/proc/meminfo: memFree=30338040/32873844 swapFree=7900/7900
[pid=658] ppid=656 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/658/stat : 658 (npSolver-wbo-I.) S 656 658 27515 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287454969 9367552 275 33554432000 4194304 5064252 140735101465984 140735101464896 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/658/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700149 s]
/proc/loadavg: 2.67 2.38 2.16 3/179 658
/proc/meminfo: memFree=30338040/32873844 swapFree=7900/7900
[pid=658] ppid=656 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/658/stat : 658 (npSolver-wbo-I.) S 656 658 27515 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287454969 9367552 275 33554432000 4194304 5064252 140735101465984 140735101464896 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/658/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.62 2.37 2.15 3/181 660
/proc/meminfo: memFree=30260816/32873844 swapFree=7900/7900
[pid=658] ppid=656 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/658/stat : 658 (npSolver-wbo-I.) S 656 658 27515 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287454969 9367552 275 33554432000 4194304 5064252 140735101465984 140735101464896 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/658/statm: 2287 275 233 213 0 72 0
[pid=659] ppid=658 vsize=134560 CPUtime=1.48 cores=1,3,5,7
/proc/659/stat : 659 (npSolver-wbo) R 658 658 27515 0 -1 4202496 4439 0 0 0 143 5 0 0 20 0 1 0 287454969 137789440 26341 33554432000 4194304 5990268 140736422441184 140736422435928 4569513 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/659/statm: 33640 26341 143 439 0 33197 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 143708

[startup+3.10034 s]
/proc/loadavg: 2.62 2.37 2.15 3/181 660
/proc/meminfo: memFree=30182612/32873844 swapFree=7900/7900
[pid=658] ppid=656 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/658/stat : 658 (npSolver-wbo-I.) S 656 658 27515 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287454969 9367552 275 33554432000 4194304 5064252 140735101465984 140735101464896 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/658/statm: 2287 275 233 213 0 72 0
[pid=659] ppid=658 vsize=265632 CPUtime=3.08 cores=1,3,5,7
/proc/659/stat : 659 (npSolver-wbo) R 658 658 27515 0 -1 4202496 5069 0 0 0 299 9 0 0 20 0 1 0 287454969 272007168 54501 33554432000 4194304 5990268 140736422441184 140736422435480 5042569 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/659/statm: 66408 54501 143 439 0 65965 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 274780

[startup+6.30036 s]
/proc/loadavg: 2.57 2.36 2.15 3/181 660
/proc/meminfo: memFree=29944672/32873844 swapFree=7900/7900
[pid=658] ppid=656 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/658/stat : 658 (npSolver-wbo-I.) S 656 658 27515 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287454969 9367552 275 33554432000 4194304 5064252 140735101465984 140735101464896 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/658/statm: 2287 275 233 213 0 72 0
[pid=659] ppid=658 vsize=527776 CPUtime=6.29 cores=1,3,5,7
/proc/659/stat : 659 (npSolver-wbo) R 658 658 27515 0 -1 4202496 5822 0 0 0 610 19 0 0 20 0 1 0 287454969 540442624 112869 33554432000 4194304 5990268 140736422441184 140736422435480 4521678 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/659/statm: 131944 112869 143 439 0 131501 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 536924

[startup+12.7004 s]
/proc/loadavg: 2.52 2.36 2.15 3/181 660
/proc/meminfo: memFree=28419124/32873844 swapFree=7900/7900
[pid=658] ppid=656 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/658/stat : 658 (npSolver-wbo-I.) S 656 658 27515 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287454969 9367552 275 33554432000 4194304 5064252 140735101465984 140735101464896 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/658/statm: 2287 275 233 213 0 72 0
[pid=659] ppid=658 vsize=2961604 CPUtime=12.68 cores=1,3,5,7
/proc/659/stat : 659 (npSolver-wbo) R 658 658 27515 0 -1 4202496 13591 0 0 0 1190 78 0 0 20 0 1 0 287454969 3032682496 449997 33554432000 4194304 5990268 140736422441184 140736422436584 5184567 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/659/statm: 740401 449997 143 439 0 739958 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 2970752

[startup+25.5003 s]
/proc/loadavg: 2.41 2.34 2.15 3/181 660
/proc/meminfo: memFree=28640064/32873844 swapFree=7900/7900
[pid=658] ppid=656 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/658/stat : 658 (npSolver-wbo-I.) S 656 658 27515 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287454969 9367552 275 33554432000 4194304 5064252 140735101465984 140735101464896 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/658/statm: 2287 275 233 213 0 72 0
[pid=659] ppid=658 vsize=2132640 CPUtime=25.48 cores=1,3,5,7
/proc/659/stat : 659 (npSolver-wbo) R 658 658 27515 0 -1 4202496 13593 0 0 0 2470 78 0 0 20 0 1 0 287454969 2183823360 423647 33554432000 4194304 5990268 140736422441184 140736422437064 4521650 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/659/statm: 533160 423647 145 439 0 532717 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 2141788

[startup+51.1003 s]
/proc/loadavg: 2.27 2.31 2.14 3/181 660
/proc/meminfo: memFree=28640808/32873844 swapFree=7900/7900
[pid=658] ppid=656 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/658/stat : 658 (npSolver-wbo-I.) S 656 658 27515 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287454969 9367552 275 33554432000 4194304 5064252 140735101465984 140735101464896 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/658/statm: 2287 275 233 213 0 72 0
[pid=659] ppid=658 vsize=2132640 CPUtime=51.07 cores=1,3,5,7
/proc/659/stat : 659 (npSolver-wbo) R 658 658 27515 0 -1 4202496 13593 0 0 0 5029 78 0 0 20 0 1 0 287454969 2183823360 423647 33554432000 4194304 5990268 140736422441184 140736422437064 4547439 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/659/statm: 533160 423647 145 439 0 532717 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 2141788

[startup+102.3 s]
/proc/loadavg: 2.55 2.37 2.17 3/183 662
/proc/meminfo: memFree=23457348/32873844 swapFree=7900/7900
[pid=658] ppid=656 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/658/stat : 658 (npSolver-wbo-I.) S 656 658 27515 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287454969 9367552 275 33554432000 4194304 5064252 140735101465984 140735101464896 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/658/statm: 2287 275 233 213 0 72 0
[pid=659] ppid=658 vsize=3181216 CPUtime=70.08 cores=1,3,5,7
/proc/659/stat : 659 (npSolver-wbo) S 658 658 27515 0 -1 4202496 15764 0 0 0 6723 285 0 0 20 0 1 0 287454969 3257565184 507111 33554432000 4194304 5990268 140736422441184 140736422434336 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 2 0 0
/proc/659/statm: 795304 507111 153 439 0 794861 0
[pid=661] ppid=659 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/661/stat : 661 (cp2_pre.sh) S 659 658 27515 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 287461982 9367552 276 33554432000 4194304 5064252 140737060113488 140737060112192 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/661/statm: 2287 276 234 213 0 72 0
[pid=662] ppid=661 vsize=4406064 CPUtime=31.95 cores=1,3,5,7
/proc/662/stat : 662 (coprocessor) R 661 658 27515 0 -1 4202496 26005 0 0 0 2993 202 0 0 20 0 1 0 287461982 4511809536 792076 33554432000 4194304 6586260 140737094452272 140737094448024 5732496 0 0 4096 8404994 0 0 0 17 5 0 0 20 0 0
/proc/662/statm: 1101516 792076 158 584 0 1100928 0
Current children cumulated CPU time (s) 102.03
Current children cumulated vsize (KiB) 7605576

[startup+162.3 s]
/proc/loadavg: 2.51 2.42 2.20 3/183 665
/proc/meminfo: memFree=22146716/32873844 swapFree=7900/7900
[pid=658] ppid=656 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/658/stat : 658 (npSolver-wbo-I.) S 656 658 27515 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287454969 9367552 275 33554432000 4194304 5064252 140735101465984 140735101464896 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/658/statm: 2287 275 233 213 0 72 0
[pid=659] ppid=658 vsize=3181216 CPUtime=125.98 cores=1,3,5,7
/proc/659/stat : 659 (npSolver-wbo) S 658 658 27515 0 -1 4202496 15771 26906 0 0 6723 286 5225 364 20 0 1 0 287454969 3257565184 507112 33554432000 4194304 5990268 140736422441184 140736422435424 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 2 0 0
/proc/659/statm: 795304 507112 154 439 0 794861 0
[pid=664] ppid=659 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/664/stat : 664 (satsolver.sh) S 659 658 27515 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 287467625 9367552 266 33554432000 4194304 5064252 140733603123792 140733603122704 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/664/statm: 2287 266 226 213 0 72 0
[pid=665] ppid=664 vsize=5316744 CPUtime=35.72 cores=1,3,5,7
/proc/665/stat : 665 (glucose) R 664 658 27515 0 -1 4202496 439056 0 0 0 3383 189 0 0 20 0 1 0 287467625 5444345856 1216567 33554432000 4194304 5208918 140735223761584 140735223758104 4607488 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/665/statm: 1329186 1216567 104 248 0 1328935 0
Current children cumulated CPU time (s) 161.7
Current children cumulated vsize (KiB) 8516256

[startup+222.307 s]
/proc/loadavg: 2.75 2.49 2.24 3/181 669
/proc/meminfo: memFree=25911424/32873844 swapFree=7900/7900
[pid=658] ppid=656 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/658/stat : 658 (npSolver-wbo-I.) S 656 658 27515 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287454969 9367552 275 33554432000 4194304 5064252 140735101465984 140735101464896 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/658/statm: 2287 275 233 213 0 72 0
[pid=659] ppid=658 vsize=3348552 CPUtime=221.46 cores=1,3,5,7
/proc/659/stat : 659 (npSolver-wbo) R 658 658 27515 0 -1 4202496 24630 478874 0 0 7644 3789 10033 680 20 0 1 0 287454969 3428917248 548949 33554432000 4194304 5990268 140736422441184 140736422434488 5177872 0 0 4096 0 0 0 0 17 1 0 0 43 0 0
/proc/659/statm: 837138 548949 157 439 0 836695 0
Current children cumulated CPU time (s) 221.46
Current children cumulated vsize (KiB) 3357700

[startup+282.3 s]
/proc/loadavg: 2.80 2.56 2.28 3/183 672
/proc/meminfo: memFree=21026368/32873844 swapFree=7900/7900
[pid=658] ppid=656 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/658/stat : 658 (npSolver-wbo-I.) S 656 658 27515 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287454969 9367552 275 33554432000 4194304 5064252 140735101465984 140735101464896 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/658/statm: 2287 275 233 213 0 72 0
[pid=659] ppid=658 vsize=3381324 CPUtime=240.55 cores=1,3,5,7
/proc/659/stat : 659 (npSolver-wbo) S 658 658 27515 0 -1 4202496 25344 479389 0 0 7968 5173 10034 880 20 0 1 0 287454969 3462475776 554864 33554432000 4194304 5990268 140736422441184 140736422432624 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 132 0 0
/proc/659/statm: 845331 554864 166 439 0 844888 0
[pid=671] ppid=659 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/671/stat : 671 (satsolver.sh) S 659 658 27515 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 287479199 9367552 267 33554432000 4194304 5064252 140734523504688 140734523503600 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/671/statm: 2287 267 226 213 0 72 0
[pid=672] ppid=671 vsize=5198260 CPUtime=39.98 cores=1,3,5,7
/proc/672/stat : 672 (glucose) R 671 658 27515 0 -1 4202496 418666 0 0 0 3823 175 0 0 20 0 1 0 287479199 5323018240 1171906 33554432000 4194304 5208918 140736842616192 140736842614200 4205761 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/672/statm: 1299565 1171906 101 248 0 1299314 0
Current children cumulated CPU time (s) 280.53

################
# More data... #
################

/proc/meminfo: memFree=20940768/32873844 swapFree=7900/7900
[pid=658] ppid=656 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/658/stat : 658 (npSolver-wbo-I.) S 656 658 27515 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287454969 9367552 275 33554432000 4194304 5064252 140735101465984 140735101464896 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/658/statm: 2287 275 233 213 0 72 0
[pid=659] ppid=658 vsize=3357672 CPUtime=667.51 cores=1,3,5,7
/proc/659/stat : 659 (npSolver-wbo) S 658 658 27515 0 -1 4202496 45672 1897051 0 0 8586 5255 50468 2442 20 0 1 0 287454969 3438256128 551238 33554432000 4194304 5990268 140736422441184 140736422432624 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 132 0 0
/proc/659/statm: 839418 551238 166 439 0 838975 0
[pid=734] ppid=659 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/734/stat : 734 (satsolver.sh) S 659 658 27515 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 287522281 9367552 267 33554432000 4194304 5064252 140737097996528 140737097995440 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/734/statm: 2287 267 226 213 0 72 0
[pid=735] ppid=734 vsize=5272108 CPUtime=26.86 cores=1,3,5,7
/proc/735/stat : 735 (glucose) R 734 658 27515 0 -1 4202496 435001 0 0 0 2507 179 0 0 20 0 1 0 287522281 5398638592 1202536 33554432000 4194304 5208918 140736039123984 140736039121928 4229888 0 0 4096 0 0 0 0 17 3 0 0 230 0 0
/proc/735/statm: 1318027 1202536 95 248 0 1317776 0
Current children cumulated CPU time (s) 694.37
Current children cumulated vsize (KiB) 8648076

[startup+762.3 s]
/proc/loadavg: 2.62 2.45 2.30 3/183 792
/proc/meminfo: memFree=22410028/32873844 swapFree=7900/7900
[pid=658] ppid=656 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/658/stat : 658 (npSolver-wbo-I.) S 656 658 27515 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287454969 9367552 275 33554432000 4194304 5064252 140735101465984 140735101464896 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/658/statm: 2287 275 233 213 0 72 0
[pid=659] ppid=658 vsize=3308904 CPUtime=744.6 cores=1,3,5,7
/proc/659/stat : 659 (npSolver-wbo) S 658 658 27515 0 -1 4202496 52433 2355249 0 0 8770 5282 57402 3006 20 0 1 0 287454969 3388317696 539045 33554432000 4194304 5990268 140736422441184 140736422432624 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 132 0 0
/proc/659/statm: 827226 539045 166 439 0 826783 0
[pid=749] ppid=659 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/749/stat : 749 (satsolver.sh) S 659 658 27515 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 287530173 9367552 266 33554432000 4194304 5064252 140733380853936 140733380852848 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/749/statm: 2287 266 226 213 0 72 0
[pid=750] ppid=749 vsize=4030240 CPUtime=7.31 cores=1,3,5,7
/proc/750/stat : 750 (glucose) R 749 658 27515 0 -1 4202496 235214 0 0 0 612 119 0 0 20 0 1 0 287530173 4126965760 875748 33554432000 4194304 5208918 140735468250544 140735467199992 4465602 0 0 4096 0 0 0 0 17 3 0 0 291 0 0
/proc/750/statm: 1007560 875749 69 248 0 1007309 0
Current children cumulated CPU time (s) 751.91
Current children cumulated vsize (KiB) 7357440

Solver just ended. Dumping a history of the last processes samples

[startup+768 s]
/proc/loadavg: 2.65 2.46 2.31 2/182 797
/proc/meminfo: memFree=26440192/32873844 swapFree=7900/7900
[pid=658] ppid=656 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/658/stat : 658 (npSolver-wbo-I.) S 656 658 27515 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287454969 9367552 275 33554432000 4194304 5064252 140735101465984 140735101464896 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/658/statm: 2287 275 233 213 0 72 0
[pid=659] ppid=658 vsize=3308904 CPUtime=757.27 cores=1,3,5,7
/proc/659/stat : 659 (npSolver-wbo) S 658 658 27515 0 -1 4202496 52462 2754879 0 0 8770 5282 58473 3202 20 0 1 0 287454969 3388317696 539045 33554432000 4194304 5990268 140736422441184 140736422433200 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 132 0 0
/proc/659/statm: 827226 539045 166 439 0 826783 0
[pid=797] ppid=659 vsize=16712 CPUtime=0.12 cores=1,3,5,7
/proc/797/stat : 797 (cp) D 659 658 27515 0 -1 4202496 500 0 0 0 0 12 0 0 20 0 1 0 287531734 17113088 186 33554432000 4194304 4305796 140737451821760 140737451819704 225444709264 0 0 4096 0 18446744071580543392 0 0 17 7 0 0 17 0 0
/proc/797/statm: 4178 186 154 28 0 74 0
Current children cumulated CPU time (s) 757.39
Current children cumulated vsize (KiB) 3334764

[startup+780.8 s]
/proc/loadavg: 2.71 2.48 2.31 2/182 861
/proc/meminfo: memFree=27098388/32873844 swapFree=7900/7900
[pid=658] ppid=656 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/658/stat : 658 (npSolver-wbo-I.) S 656 658 27515 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287454969 9367552 275 33554432000 4194304 5064252 140735101465984 140735101464896 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/658/statm: 2287 275 233 213 0 72 0
[pid=659] ppid=658 vsize=3308904 CPUtime=757.27 cores=1,3,5,7
/proc/659/stat : 659 (npSolver-wbo) S 658 658 27515 0 -1 4202496 52462 2754879 0 0 8770 5282 58473 3202 20 0 1 0 287454969 3388317696 539045 33554432000 4194304 5990268 140736422441184 140736422433200 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 132 0 0
/proc/659/statm: 827226 539045 166 439 0 826783 0
[pid=797] ppid=659 vsize=16712 CPUtime=0.27 cores=1,3,5,7
/proc/797/stat : 797 (cp) D 659 658 27515 0 -1 4202496 500 0 0 0 0 27 0 0 20 0 1 0 287531734 17113088 186 33554432000 4194304 4305796 140737451821760 140737451819704 225444709264 0 0 4096 0 18446744071580543392 0 0 17 1 0 0 1243 0 0
/proc/797/statm: 4178 186 154 28 0 74 0
Current children cumulated CPU time (s) 757.54
Current children cumulated vsize (KiB) 3334764

[startup+787.2 s]
/proc/loadavg: 2.83 2.51 2.33 1/176 889
/proc/meminfo: memFree=26253608/32873844 swapFree=7900/7900
[pid=658] ppid=656 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/658/stat : 658 (npSolver-wbo-I.) S 656 658 27515 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287454969 9367552 275 33554432000 4194304 5064252 140735101465984 140735101464896 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/658/statm: 2287 275 233 213 0 72 0
[pid=659] ppid=658 vsize=3308904 CPUtime=759.38 cores=1,3,5,7
/proc/659/stat : 659 (npSolver-wbo) S 658 658 27515 0 -1 4202496 52475 2755393 0 0 8770 5282 58473 3413 20 0 1 0 287454969 3388317696 539046 33554432000 4194304 5990268 140736422441184 140736422436640 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 132 0 0
/proc/659/statm: 827226 539046 167 439 0 826783 0
[pid=872] ppid=659 vsize=4008 CPUtime=0.05 cores=1,3,5,7
/proc/872/stat : 872 (rm) D 659 658 27515 0 -1 4202496 430 0 0 0 0 5 0 0 20 0 1 0 287533390 4104192 124 33554432000 4194304 4244100 140734361970496 140734361969720 225444714397 0 0 4096 0 18446744071580543392 0 0 17 1 0 0 291 0 0
/proc/872/statm: 1002 124 106 13 0 66 0
Current children cumulated CPU time (s) 759.43
Current children cumulated vsize (KiB) 3322060

[startup+790.4 s]
/proc/loadavg: 2.83 2.51 2.33 2/180 928
/proc/meminfo: memFree=26338584/32873844 swapFree=7900/7900
[pid=658] ppid=656 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/658/stat : 658 (npSolver-wbo-I.) S 656 658 27515 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287454969 9367552 275 33554432000 4194304 5064252 140735101465984 140735101464896 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/658/statm: 2287 275 233 213 0 72 0
[pid=659] ppid=658 vsize=3308904 CPUtime=759.38 cores=1,3,5,7
/proc/659/stat : 659 (npSolver-wbo) S 658 658 27515 0 -1 4202496 52475 2755393 0 0 8770 5282 58473 3413 20 0 1 0 287454969 3388317696 539046 33554432000 4194304 5990268 140736422441184 140736422436640 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 132 0 0
/proc/659/statm: 827226 539046 167 439 0 826783 0
[pid=872] ppid=659 vsize=4008 CPUtime=0.08 cores=1,3,5,7
/proc/872/stat : 872 (rm) D 659 658 27515 0 -1 4202496 430 0 0 0 0 8 0 0 20 0 1 0 287533390 4104192 124 33554432000 4194304 4244100 140734361970496 140734361969720 225444714397 0 0 4096 0 18446744071580543392 0 0 17 1 0 0 592 0 0
/proc/872/statm: 1002 124 106 13 0 66 0
Current children cumulated CPU time (s) 759.46
Current children cumulated vsize (KiB) 3322060

[startup+793.6 s]
/proc/loadavg: 2.84 2.52 2.33 2/180 928
/proc/meminfo: memFree=26384488/32873844 swapFree=7900/7900
[pid=658] ppid=656 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/658/stat : 658 (npSolver-wbo-I.) S 656 658 27515 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287454969 9367552 275 33554432000 4194304 5064252 140735101465984 140735101464896 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/658/statm: 2287 275 233 213 0 72 0
[pid=659] ppid=658 vsize=3308904 CPUtime=759.38 cores=1,3,5,7
/proc/659/stat : 659 (npSolver-wbo) S 658 658 27515 0 -1 4202496 52475 2755393 0 0 8770 5282 58473 3413 20 0 1 0 287454969 3388317696 539046 33554432000 4194304 5990268 140736422441184 140736422436640 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 132 0 0
/proc/659/statm: 827226 539046 167 439 0 826783 0
[pid=872] ppid=659 vsize=4008 CPUtime=0.1 cores=1,3,5,7
/proc/872/stat : 872 (rm) D 659 658 27515 0 -1 4202496 430 0 0 0 0 10 0 0 20 0 1 0 287533390 4104192 124 33554432000 4194304 4244100 140734361970496 140734361969720 225444714397 0 0 4096 0 18446744071580543392 0 0 17 7 0 0 884 0 0
/proc/872/statm: 1002 124 106 13 0 66 0
Current children cumulated CPU time (s) 759.48
Current children cumulated vsize (KiB) 3322060

[startup+795.2 s]
/proc/loadavg: 2.84 2.52 2.33 2/180 928
/proc/meminfo: memFree=26368184/32873844 swapFree=7900/7900
[pid=658] ppid=656 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/658/stat : 658 (npSolver-wbo-I.) S 656 658 27515 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287454969 9367552 275 33554432000 4194304 5064252 140735101465984 140735101464896 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/658/statm: 2287 275 233 213 0 72 0
[pid=659] ppid=658 vsize=3308904 CPUtime=759.38 cores=1,3,5,7
/proc/659/stat : 659 (npSolver-wbo) S 658 658 27515 0 -1 4202496 52475 2755393 0 0 8770 5282 58473 3413 20 0 1 0 287454969 3388317696 539046 33554432000 4194304 5990268 140736422441184 140736422436640 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 132 0 0
/proc/659/statm: 827226 539046 167 439 0 826783 0
[pid=872] ppid=659 vsize=4008 CPUtime=0.12 cores=1,3,5,7
/proc/872/stat : 872 (rm) D 659 658 27515 0 -1 4202496 430 0 0 0 0 12 0 0 20 0 1 0 287533390 4104192 124 33554432000 4194304 4244100 140734361970496 140734361969720 225444714397 0 0 4096 0 18446744071580543392 0 0 17 7 0 0 1039 0 0
/proc/872/statm: 1002 124 106 13 0 66 0
Current children cumulated CPU time (s) 759.5
Current children cumulated vsize (KiB) 3322060

[startup+795.6 s]
/proc/loadavg: 2.86 2.53 2.33 2/180 928
/proc/meminfo: memFree=26403028/32873844 swapFree=7900/7900
[pid=658] ppid=656 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/658/stat : 658 (npSolver-wbo-I.) S 656 658 27515 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287454969 9367552 275 33554432000 4194304 5064252 140735101465984 140735101464896 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/658/statm: 2287 275 233 213 0 72 0
[pid=659] ppid=658 vsize=3308904 CPUtime=759.38 cores=1,3,5,7
/proc/659/stat : 659 (npSolver-wbo) S 658 658 27515 0 -1 4202496 52475 2755393 0 0 8770 5282 58473 3413 20 0 1 0 287454969 3388317696 539046 33554432000 4194304 5990268 140736422441184 140736422436640 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 132 0 0
/proc/659/statm: 827226 539046 167 439 0 826783 0
[pid=872] ppid=659 vsize=4008 CPUtime=0.12 cores=1,3,5,7
/proc/872/stat : 872 (rm) D 659 658 27515 0 -1 4202496 430 0 0 0 0 12 0 0 20 0 1 0 287533390 4104192 124 33554432000 4194304 4244100 140734361970496 140734361969720 225444714397 0 0 4096 0 18446744071580543392 0 0 17 7 0 0 1039 0 0
/proc/872/statm: 1002 124 106 13 0 66 0
Current children cumulated CPU time (s) 759.5
Current children cumulated vsize (KiB) 3322060

[startup+795.8 s]
/proc/loadavg: 2.86 2.53 2.33 2/180 928
/proc/meminfo: memFree=26403028/32873844 swapFree=7900/7900
[pid=658] ppid=656 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/658/stat : 658 (npSolver-wbo-I.) S 656 658 27515 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287454969 9367552 275 33554432000 4194304 5064252 140735101465984 140735101464896 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/658/statm: 2287 275 233 213 0 72 0
[pid=659] ppid=658 vsize=3308904 CPUtime=759.38 cores=1,3,5,7
/proc/659/stat : 659 (npSolver-wbo) S 658 658 27515 0 -1 4202496 52475 2755393 0 0 8770 5282 58473 3413 20 0 1 0 287454969 3388317696 539046 33554432000 4194304 5990268 140736422441184 140736422436640 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 132 0 0
/proc/659/statm: 827226 539046 167 439 0 826783 0
[pid=872] ppid=659 vsize=4008 CPUtime=0.17 cores=1,3,5,7
/proc/872/stat : 872 (rm) R 659 658 27515 0 -1 4202496 430 0 0 0 0 17 0 0 20 0 1 0 287533390 4104192 124 33554432000 4194304 4244100 140734361970496 140734361969720 225444714397 0 0 4096 0 0 0 0 17 7 0 0 1141 0 0
/proc/872/statm: 1002 124 106 13 0 66 0
Current children cumulated CPU time (s) 759.55
Current children cumulated vsize (KiB) 3322060

[startup+795.9 s]
/proc/loadavg: 2.86 2.53 2.33 2/180 928
/proc/meminfo: memFree=26403028/32873844 swapFree=7900/7900
[pid=658] ppid=656 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/658/stat : 658 (npSolver-wbo-I.) S 656 658 27515 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287454969 9367552 275 33554432000 4194304 5064252 140735101465984 140735101464896 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/658/statm: 2287 275 233 213 0 72 0
[pid=659] ppid=658 vsize=3308904 CPUtime=759.38 cores=1,3,5,7
/proc/659/stat : 659 (npSolver-wbo) S 658 658 27515 0 -1 4202496 52475 2755393 0 0 8770 5282 58473 3413 20 0 1 0 287454969 3388317696 539046 33554432000 4194304 5990268 140736422441184 140736422436640 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 132 0 0
/proc/659/statm: 827226 539046 167 439 0 826783 0
[pid=872] ppid=659 vsize=4008 CPUtime=0.26 cores=1,3,5,7
/proc/872/stat : 872 (rm) R 659 658 27515 0 -1 4202496 430 0 0 0 0 26 0 0 20 0 1 0 287533390 4104192 124 33554432000 4194304 4244100 140734361970496 140734361969720 225444714397 0 0 4096 0 0 0 0 17 7 0 0 1141 0 0
/proc/872/statm: 1002 124 106 13 0 66 0
Current children cumulated CPU time (s) 759.64
Current children cumulated vsize (KiB) 3322060

Child status: 0
Real time (s): 795.968
CPU time (s): 759.747
CPU user time (s): 672.445
CPU system time (s): 87.3027
CPU usage (%): 95.4495
Max. virtual memory (cumulated for all children) (KiB): 8843140

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 672.445
system time used= 87.3027
maximum resident set size= 5018392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2808801
page faults= 0
swaps= 0
block input operations= 24
block output operations= 25205888
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 259683
involuntary context switches= 1735

runsolver used 1.9997 second user time and 4.77627 second system time

The end