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-3753826-1339200920/watcher-3753826-1339200920 -o /tmp/evaluation-result-3753826-1339200920/solver-3753826-1339200920 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3753826-1339200920.wbo 1759016844 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.00 2.00 2.00 3/179 3717
/proc/meminfo: memFree=28669184/32873648 swapFree=7376/7376
[pid=3717] ppid=3715 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3717/stat : 3717 (npSolver-wbo-It) S 3715 3717 27509 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386217414 9367552 275 33554432000 4194304 5064252 140734663619968 140734663618880 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3717/statm: 2287 275 233 213 0 72 0
[startup+0.042288 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3717
/proc/meminfo: memFree=28669184/32873648 swapFree=7376/7376
[pid=3717] ppid=3715 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3717/stat : 3717 (npSolver-wbo-It) S 3715 3717 27509 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386217414 9367552 275 33554432000 4194304 5064252 140734663619968 140734663618880 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3717/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100179 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3717
/proc/meminfo: memFree=28669184/32873648 swapFree=7376/7376
[pid=3717] ppid=3715 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3717/stat : 3717 (npSolver-wbo-It) S 3715 3717 27509 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386217414 9367552 275 33554432000 4194304 5064252 140734663619968 140734663618880 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3717/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300158 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3717
/proc/meminfo: memFree=28669184/32873648 swapFree=7376/7376
[pid=3717] ppid=3715 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3717/stat : 3717 (npSolver-wbo-It) S 3715 3717 27509 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386217414 9367552 275 33554432000 4194304 5064252 140734663619968 140734663618880 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3717/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700148 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3717
/proc/meminfo: memFree=28669184/32873648 swapFree=7376/7376
[pid=3717] ppid=3715 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3717/stat : 3717 (npSolver-wbo-It) S 3715 3717 27509 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386217414 9367552 275 33554432000 4194304 5064252 140734663619968 140734663618880 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3717/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50029 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 3731
/proc/meminfo: memFree=28618708/32873648 swapFree=7376/7376
[pid=3717] ppid=3715 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3717/stat : 3717 (npSolver-wbo-It) S 3715 3717 27509 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386217414 9367552 275 33554432000 4194304 5064252 140734663619968 140734663618880 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3717/statm: 2287 275 233 213 0 72 0
[pid=3718] ppid=3717 vsize=20200 CPUtime=0.16 cores=1,3,5,7
/proc/3718/stat : 3718 (npSolver-wbo) S 3717 3717 27509 0 -1 4202496 3763 5427 0 0 13 2 1 0 20 0 1 0 386217414 20684800 4635 33554432000 4194304 6006132 140736983404048 140736983395440 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3718/statm: 5050 4635 179 443 0 4603 0
[pid=3730] ppid=3718 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3730/stat : 3730 (satsolver.sh) S 3718 3717 27509 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386217433 9367552 266 33554432000 4194304 5064252 140733718167648 140733718166560 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/3730/statm: 2287 266 226 213 0 72 0
[pid=3731] ppid=3730 vsize=28744 CPUtime=1.3 cores=1,3,5,7
/proc/3731/stat : 3731 (glucose) R 3730 3717 27509 0 -1 4202496 6842 0 0 0 129 1 0 0 20 0 1 0 386217433 29433856 6302 33554432000 4194304 5208918 140733619938000 140733619935848 4211176 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3731/statm: 7186 6302 105 248 0 6935 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 67240
[startup+3.10029 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 3731
/proc/meminfo: memFree=28616724/32873648 swapFree=7376/7376
[pid=3717] ppid=3715 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3717/stat : 3717 (npSolver-wbo-It) S 3715 3717 27509 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386217414 9367552 275 33554432000 4194304 5064252 140734663619968 140734663618880 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3717/statm: 2287 275 233 213 0 72 0
[pid=3718] ppid=3717 vsize=20200 CPUtime=0.16 cores=1,3,5,7
/proc/3718/stat : 3718 (npSolver-wbo) S 3717 3717 27509 0 -1 4202496 3763 5427 0 0 13 2 1 0 20 0 1 0 386217414 20684800 4635 33554432000 4194304 6006132 140736983404048 140736983395440 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3718/statm: 5050 4635 179 443 0 4603 0
[pid=3730] ppid=3718 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3730/stat : 3730 (satsolver.sh) S 3718 3717 27509 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386217433 9367552 266 33554432000 4194304 5064252 140733718167648 140733718166560 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/3730/statm: 2287 266 226 213 0 72 0
[pid=3731] ppid=3730 vsize=33724 CPUtime=2.9 cores=1,3,5,7
/proc/3731/stat : 3731 (glucose) R 3730 3717 27509 0 -1 4202496 7404 0 0 0 289 1 0 0 20 0 1 0 386217433 34533376 6855 33554432000 4194304 5208918 140733619938000 140733619935960 4229776 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3731/statm: 8431 6855 105 248 0 8180 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 72220
[startup+6.30023 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 3731
/proc/meminfo: memFree=28607692/32873648 swapFree=7376/7376
[pid=3717] ppid=3715 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3717/stat : 3717 (npSolver-wbo-It) S 3715 3717 27509 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386217414 9367552 275 33554432000 4194304 5064252 140734663619968 140734663618880 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3717/statm: 2287 275 233 213 0 72 0
[pid=3718] ppid=3717 vsize=20200 CPUtime=0.16 cores=1,3,5,7
/proc/3718/stat : 3718 (npSolver-wbo) S 3717 3717 27509 0 -1 4202496 3763 5427 0 0 13 2 1 0 20 0 1 0 386217414 20684800 4635 33554432000 4194304 6006132 140736983404048 140736983395440 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3718/statm: 5050 4635 179 443 0 4603 0
[pid=3730] ppid=3718 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3730/stat : 3730 (satsolver.sh) S 3718 3717 27509 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386217433 9367552 266 33554432000 4194304 5064252 140733718167648 140733718166560 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/3730/statm: 2287 266 226 213 0 72 0
[pid=3731] ppid=3730 vsize=48276 CPUtime=6.1 cores=1,3,5,7
/proc/3731/stat : 3731 (glucose) R 3730 3717 27509 0 -1 4202496 8226 0 0 0 608 2 0 0 20 0 1 0 386217433 49434624 10310 33554432000 4194304 5208918 140733619938000 140733619935944 4211656 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3731/statm: 12069 10310 105 248 0 11818 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 86772
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 3731
/proc/meminfo: memFree=28594916/32873648 swapFree=7376/7376
[pid=3717] ppid=3715 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3717/stat : 3717 (npSolver-wbo-It) S 3715 3717 27509 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386217414 9367552 275 33554432000 4194304 5064252 140734663619968 140734663618880 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3717/statm: 2287 275 233 213 0 72 0
[pid=3718] ppid=3717 vsize=20200 CPUtime=0.16 cores=1,3,5,7
/proc/3718/stat : 3718 (npSolver-wbo) S 3717 3717 27509 0 -1 4202496 3763 5427 0 0 13 2 1 0 20 0 1 0 386217414 20684800 4635 33554432000 4194304 6006132 140736983404048 140736983395440 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3718/statm: 5050 4635 179 443 0 4603 0
[pid=3730] ppid=3718 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3730/stat : 3730 (satsolver.sh) S 3718 3717 27509 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386217433 9367552 266 33554432000 4194304 5064252 140733718167648 140733718166560 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/3730/statm: 2287 266 226 213 0 72 0
[pid=3731] ppid=3730 vsize=48276 CPUtime=12.5 cores=1,3,5,7
/proc/3731/stat : 3731 (glucose) R 3730 3717 27509 0 -1 4202496 8412 0 0 0 1248 2 0 0 20 0 1 0 386217433 49434624 11000 33554432000 4194304 5208918 140733619938000 140733619934376 4211901 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3731/statm: 12069 11000 105 248 0 11818 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 86772
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 3738
/proc/meminfo: memFree=28601916/32873648 swapFree=7376/7376
[pid=3717] ppid=3715 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3717/stat : 3717 (npSolver-wbo-It) S 3715 3717 27509 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386217414 9367552 275 33554432000 4194304 5064252 140734663619968 140734663618880 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3717/statm: 2287 275 233 213 0 72 0
[pid=3718] ppid=3717 vsize=20200 CPUtime=15.48 cores=1,3,5,7
/proc/3718/stat : 3718 (npSolver-wbo) S 3717 3717 27509 0 -1 4202496 6085 17379 0 0 25 3 1513 7 20 0 1 0 386217414 20684800 4635 33554432000 4194304 6006132 140736983404048 140736983395440 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3718/statm: 5050 4635 179 443 0 4603 0
[pid=3737] ppid=3718 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3737/stat : 3737 (satsolver.sh) S 3718 3717 27509 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386218966 9367552 267 33554432000 4194304 5064252 140733939381456 140733939380368 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/3737/statm: 2287 267 226 213 0 72 0
[pid=3738] ppid=3737 vsize=41172 CPUtime=9.97 cores=1,3,5,7
/proc/3738/stat : 3738 (glucose) R 3737 3717 27509 0 -1 4202496 6528 0 0 0 996 1 0 0 20 0 1 0 386218966 42160128 9375 33554432000 4194304 5208918 140735354615712 140735354612088 4211537 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3738/statm: 10293 9375 105 248 0 10042 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 79668
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 3752
/proc/meminfo: memFree=28611872/32873648 swapFree=7376/7376
[pid=3717] ppid=3715 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3717/stat : 3717 (npSolver-wbo-It) S 3715 3717 27509 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386217414 9367552 275 33554432000 4194304 5064252 140734663619968 140734663618880 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3717/statm: 2287 275 233 213 0 72 0
[pid=3718] ppid=3717 vsize=20200 CPUtime=47.03 cores=1,3,5,7
/proc/3718/stat : 3718 (npSolver-wbo) S 3717 3717 27509 0 -1 4202496 10729 39415 0 0 50 5 4627 21 20 0 1 0 386217414 20684800 4635 33554432000 4194304 6006132 140736983404048 140736983395440 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3718/statm: 5050 4635 179 443 0 4603 0
[pid=3751] ppid=3718 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3751/stat : 3751 (satsolver.sh) S 3718 3717 27509 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386222121 9367552 266 33554432000 4194304 5064252 140735752974016 140735752972928 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/3751/statm: 2287 266 226 213 0 72 0
[pid=3752] ppid=3751 vsize=29444 CPUtime=4.02 cores=1,3,5,7
/proc/3752/stat : 3752 (glucose) R 3751 3717 27509 0 -1 4202496 7416 0 0 0 401 1 0 0 20 0 1 0 386222121 30150656 6463 33554432000 4194304 5208918 140734912040544 140734912036856 4211656 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3752/statm: 7361 6463 105 248 0 7110 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 67940
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 3787
/proc/meminfo: memFree=28611996/32873648 swapFree=7376/7376
[pid=3717] ppid=3715 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3717/stat : 3717 (npSolver-wbo-It) S 3715 3717 27509 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386217414 9367552 275 33554432000 4194304 5064252 140734663619968 140734663618880 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3717/statm: 2287 275 233 213 0 72 0
[pid=3718] ppid=3717 vsize=20200 CPUtime=97.41 cores=1,3,5,7
/proc/3718/stat : 3718 (npSolver-wbo) S 3717 3717 27509 0 -1 4202496 22339 99303 0 0 112 11 9566 52 20 0 1 0 386217414 20684800 4635 33554432000 4194304 6006132 140736983404048 140736983395440 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3718/statm: 5050 4635 179 443 0 4603 0
[pid=3786] ppid=3718 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3786/stat : 3786 (satsolver.sh) S 3718 3717 27509 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 386227159 9367552 265 33554432000 4194304 5064252 140734503506720 140734503505632 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/3786/statm: 2287 265 226 213 0 72 0
[pid=3787] ppid=3786 vsize=29540 CPUtime=4.84 cores=1,3,5,7
/proc/3787/stat : 3787 (glucose) R 3786 3717 27509 0 -1 4202496 7806 0 0 0 483 1 0 0 20 0 1 0 386227160 30248960 6449 33554432000 4194304 5208918 140734075632768 140734075630856 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3787/statm: 7385 6449 105 248 0 7134 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 68036
[startup+162.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 3830
/proc/meminfo: memFree=28610804/32873648 swapFree=7376/7376
[pid=3717] ppid=3715 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3717/stat : 3717 (npSolver-wbo-It) S 3715 3717 27509 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386217414 9367552 275 33554432000 4194304 5064252 140734663619968 140734663618880 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3717/statm: 2287 275 233 213 0 72 0
[pid=3718] ppid=3717 vsize=20200 CPUtime=161.4 cores=1,3,5,7
/proc/3718/stat : 3718 (npSolver-wbo) S 3717 3717 27509 0 -1 4202496 36271 169209 0 0 186 18 15845 91 20 0 1 0 386217414 20684800 4635 33554432000 4194304 6006132 140736983404048 140736983395440 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3718/statm: 5050 4635 179 443 0 4603 0
[pid=3829] ppid=3718 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/183 6370
/proc/meminfo: memFree=29063648/32873648 swapFree=7376/7376
[pid=3717] ppid=3715 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3717/stat : 3717 (npSolver-wbo-It) S 3715 3717 27509 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386217414 9367552 275 33554432000 4194304 5064252 140734663619968 140734663618880 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3717/statm: 2287 275 233 213 0 72 0
[pid=3718] ppid=3717 vsize=20200 CPUtime=1355.14 cores=1,3,5,7
/proc/3718/stat : 3718 (npSolver-wbo) S 3717 3717 27509 0 -1 4202496 272459 1370489 0 0 1441 143 133158 772 20 0 1 0 386217414 20684800 4636 33554432000 4194304 6006132 140736983404048 140736983395440 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 1 0 0
/proc/3718/statm: 5050 4636 179 443 0 4603 0
[pid=6348] ppid=3718 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6348/stat : 6348 (satsolver.sh) S 3718 3717 27509 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386352974 9367552 267 33554432000 4194304 5064252 140735385264448 140735385263360 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6348/statm: 2287 267 226 213 0 72 0
[pid=6349] ppid=6348 vsize=29004 CPUtime=6.68 cores=1,3,5,7
/proc/6349/stat : 6349 (glucose) R 6348 3717 27509 0 -1 4202496 7353 0 0 0 667 1 0 0 20 0 1 0 386352974 29700096 6347 33554432000 4194304 5208918 140734208266256 140734208264008 4211888 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6349/statm: 7251 6347 105 248 0 7000 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 67500
[startup+1422.31 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 6944
/proc/meminfo: memFree=28796488/32873648 swapFree=7376/7376
[pid=3717] ppid=3715 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3717/stat : 3717 (npSolver-wbo-It) S 3715 3717 27509 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386217414 9367552 275 33554432000 4194304 5064252 140734663619968 140734663618880 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3717/statm: 2287 275 233 213 0 72 0
[pid=3718] ppid=3717 vsize=20200 CPUtime=1420.21 cores=1,3,5,7
/proc/3718/stat : 3718 (npSolver-wbo) S 3717 3717 27509 0 -1 4202496 287467 1444554 0 0 1521 151 139536 813 20 0 1 0 386217414 20684800 4636 33554432000 4194304 6006132 140736983404048 140736983395440 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 1 0 0
/proc/3718/statm: 5050 4636 179 443 0 4603 0
[pid=6943] ppid=3718 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6943/stat : 6943 (satsolver.sh) S 3718 3717 27509 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386359482 9367552 267 33554432000 4194304 5064252 140734496696432 140734496695344 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6943/statm: 2287 267 226 213 0 72 0
[pid=6944] ppid=6943 vsize=28076 CPUtime=1.61 cores=1,3,5,7
/proc/6944/stat : 6944 (glucose) R 6943 3717 27509 0 -1 4202496 6194 0 0 0 160 1 0 0 20 0 1 0 386359483 28749824 5816 33554432000 4194304 5208918 140733846950000 140733846947848 4211871 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6944/statm: 7019 5816 105 248 0 6768 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 66572
[startup+1482.3 s]
/proc/loadavg: 2.13 2.06 2.01 3/184 6984
/proc/meminfo: memFree=25612772/32873648 swapFree=7376/7376
[pid=3717] ppid=3715 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3717/stat : 3717 (npSolver-wbo-It) S 3715 3717 27509 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386217414 9367552 275 33554432000 4194304 5064252 140734663619968 140734663618880 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3717/statm: 2287 275 233 213 0 72 0
[pid=3718] ppid=3717 vsize=20200 CPUtime=1475.95 cores=1,3,5,7
/proc/3718/stat : 3718 (npSolver-wbo) S 3717 3717 27509 0 -1 4202496 298187 1498224 0 0 1578 156 145011 850 20 0 1 0 386217414 20684800 4636 33554432000 4194304 6006132 140736983404048 140736983395440 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 1 0 0
/proc/3718/statm: 5050 4636 179 443 0 4603 0
[pid=6980] ppid=3718 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6980/stat : 6980 (satsolver.sh) S 3718 3717 27509 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386365141 9367552 266 33554432000 4194304 5064252 140733777440656 140733777439568 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6980/statm: 2287 266 226 213 0 72 0
[pid=6981] ppid=6980 vsize=28556 CPUtime=4.67 cores=1,3,5,7
/proc/6981/stat : 6981 (glucose) R 6980 3717 27509 0 -1 4202496 5624 0 0 0 466 1 0 0 20 0 1 0 386365141 29241344 6304 33554432000 4194304 5208918 140737096834512 140737096832264 4465602 0 0 4096 0 0 0 0 17 3 0 0 34 0 0
/proc/6981/statm: 7139 6305 105 248 0 6888 0
Current children cumulated CPU time (s) 1480.62
Current children cumulated vsize (KiB) 67052
[startup+1542.3 s]
/proc/loadavg: 2.05 2.05 2.01 3/183 7026
/proc/meminfo: memFree=25605172/32873648 swapFree=7376/7376
[pid=3717] ppid=3715 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3717/stat : 3717 (npSolver-wbo-It) S 3715 3717 27509 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386217414 9367552 275 33554432000 4194304 5064252 140734663619968 140734663618880 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3717/statm: 2287 275 233 213 0 72 0
[pid=3718] ppid=3717 vsize=20200 CPUtime=1538.96 cores=1,3,5,7
/proc/3718/stat : 3718 (npSolver-wbo) S 3717 3717 27509 0 -1 4202496 311051 1562756 0 0 1646 163 151199 888 20 0 1 0 386217414 20684800 4636 33554432000 4194304 6006132 140736983404048 140736983395440 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 1 0 0
/proc/3718/statm: 5050 4636 179 443 0 4603 0
[pid=7025] ppid=3718 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7025/stat : 7025 (satsolver.sh) S 3718 3717 27509 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386371477 9367552 267 33554432000 4194304 5064252 140733330519824 140733330518736 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/7025/statm: 2287 267 226 213 0 72 0
[pid=7026] ppid=7025 vsize=28172 CPUtime=1.66 cores=1,3,5,7
/proc/7026/stat : 7026 (glucose) R 7025 3717 27509 0 -1 4202496 5598 0 0 0 165 1 0 0 20 0 1 0 386371477 28848128 6208 33554432000 4194304 5208918 140733532287120 140733532285080 4211635 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/7026/statm: 7043 6208 105 248 0 6792 0
Current children cumulated CPU time (s) 1540.62
Current children cumulated vsize (KiB) 66668
[startup+1602.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/183 7061
/proc/meminfo: memFree=25604888/32873648 swapFree=7376/7376
[pid=3717] ppid=3715 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3717/stat : 3717 (npSolver-wbo-It) S 3715 3717 27509 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386217414 9367552 275 33554432000 4194304 5064252 140734663619968 140734663618880 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3717/statm: 2287 275 233 213 0 72 0
[pid=3718] ppid=3717 vsize=20200 CPUtime=1598.05 cores=1,3,5,7
/proc/3718/stat : 3718 (npSolver-wbo) S 3717 3717 27509 0 -1 4202496 321771 1615832 0 0 1703 169 157013 920 20 0 1 0 386217414 20684800 4636 33554432000 4194304 6006132 140736983404048 140736983395440 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 1 0 0
/proc/3718/statm: 5050 4636 179 443 0 4603 0
[pid=7060] ppid=3718 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7060/stat : 7060 (satsolver.sh) S 3718 3717 27509 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386377385 9367552 267 33554432000 4194304 5064252 140736777102944 140736777101856 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/7060/statm: 2287 267 226 213 0 72 0
[pid=7061] ppid=7060 vsize=28728 CPUtime=2.57 cores=1,3,5,7
/proc/7061/stat : 7061 (glucose) R 7060 3717 27509 0 -1 4202496 5555 0 0 0 256 1 0 0 20 0 1 0 386377385 29417472 6275 33554432000 4194304 5208918 140733402484960 140733402482632 4211540 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/7061/statm: 7182 6275 105 248 0 6931 0
Current children cumulated CPU time (s) 1600.62
Current children cumulated vsize (KiB) 67224
[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/183 7117
/proc/meminfo: memFree=25603208/32873648 swapFree=7376/7376
[pid=3717] ppid=3715 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3717/stat : 3717 (npSolver-wbo-It) S 3715 3717 27509 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386217414 9367552 275 33554432000 4194304 5064252 140734663619968 140734663618880 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3717/statm: 2287 275 233 213 0 72 0
[pid=3718] ppid=3717 vsize=20200 CPUtime=1657.68 cores=1,3,5,7
/proc/3718/stat : 3718 (npSolver-wbo) S 3717 3717 27509 0 -1 4202496 338923 1696860 0 0 1795 177 162827 969 20 0 1 0 386217414 20684800 4636 33554432000 4194304 6006132 140736983404048 140736983395440 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 1 0 0
/proc/3718/statm: 5050 4636 179 443 0 4603 0
[pid=7116] ppid=3718 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7116/stat : 7116 (satsolver.sh) S 3718 3717 27509 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386383349 9367552 267 33554432000 4194304 5064252 140737203480720 140737203479632 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/7116/statm: 2287 267 226 213 0 72 0
[pid=7117] ppid=7116 vsize=28188 CPUtime=2.94 cores=1,3,5,7
/proc/7117/stat : 7117 (glucose) R 7116 3717 27509 0 -1 4202496 6095 0 0 0 293 1 0 0 20 0 1 0 386383349 28864512 6245 33554432000 4194304 5208918 140737057954368 140737057952040 4211632 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/7117/statm: 7047 6245 105 248 0 6796 0
Current children cumulated CPU time (s) 1660.62
Current children cumulated vsize (KiB) 66684
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 7174
/proc/meminfo: memFree=25596784/32873648 swapFree=7376/7376
[pid=3717] ppid=3715 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3717/stat : 3717 (npSolver-wbo-It) S 3715 3717 27509 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386217414 9367552 275 33554432000 4194304 5064252 140734663619968 140734663618880 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3717/statm: 2287 275 233 213 0 72 0
[pid=3718] ppid=3717 vsize=20200 CPUtime=1714.53 cores=1,3,5,7
/proc/3718/stat : 3718 (npSolver-wbo) S 3717 3717 27509 0 -1 4202496 356075 1780490 0 0 1887 185 168366 1015 20 0 1 0 386217414 20684800 4636 33554432000 4194304 6006132 140736983404048 140736983395440 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 1 0 0
/proc/3718/statm: 5050 4636 179 443 0 4603 0
[pid=7173] ppid=3718 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7173/stat : 7173 (satsolver.sh) S 3718 3717 27509 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386389039 9367552 267 33554432000 4194304 5064252 140736529626560 140736529625472 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/7173/statm: 2287 267 226 213 0 72 0
[pid=7174] ppid=7173 vsize=33180 CPUtime=6.04 cores=1,3,5,7
/proc/7174/stat : 7174 (glucose) R 7173 3717 27509 0 -1 4202496 5885 0 0 0 603 1 0 0 20 0 1 0 386389039 33976320 7109 33554432000 4194304 5208918 140735571453440 140735571451192 4212445 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/7174/statm: 8295 7109 105 248 0 8044 0
Current children cumulated CPU time (s) 1720.57
Current children cumulated vsize (KiB) 71676
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 7230
/proc/meminfo: memFree=25598104/32873648 swapFree=7376/7376
[pid=3717] ppid=3715 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3717/stat : 3717 (npSolver-wbo-It) S 3715 3717 27509 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386217414 9367552 275 33554432000 4194304 5064252 140734663619968 140734663618880 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3717/statm: 2287 275 233 213 0 72 0
[pid=3718] ppid=3717 vsize=20200 CPUtime=1778.01 cores=1,3,5,7
/proc/3718/stat : 3718 (npSolver-wbo) S 3717 3717 27509 0 -1 4202496 373227 1862038 0 0 1978 194 174566 1063 20 0 1 0 386217414 20684800 4636 33554432000 4194304 6006132 140736983404048 140736983395440 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 1 0 0
/proc/3718/statm: 5050 4636 179 443 0 4603 0
[pid=7229] ppid=3718 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7229/stat : 7229 (satsolver.sh) S 3718 3717 27509 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386395391 9367552 267 33554432000 4194304 5064252 140733703418608 140733703417520 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/7229/statm: 2287 267 226 213 0 72 0
[pid=7230] ppid=7229 vsize=27920 CPUtime=2.51 cores=1,3,5,7
/proc/7230/stat : 7230 (glucose) R 7229 3717 27509 0 -1 4202496 6214 0 0 0 250 1 0 0 20 0 1 0 386395392 28590080 5828 33554432000 4194304 5208918 140736809057824 140736809055720 4211147 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/7230/statm: 6980 5828 105 248 0 6729 0
Current children cumulated CPU time (s) 1780.52
Current children cumulated vsize (KiB) 66416
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.81 s]
/proc/loadavg: 2.07 2.03 2.00 3/182 7244
/proc/meminfo: memFree=25587720/32873648 swapFree=7376/7376
[pid=3717] ppid=3715 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3717/stat : 3717 (npSolver-wbo-It) S 3715 3717 27509 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 386217414 9367552 275 33554432000 4194304 5064252 140734663619968 140734663618880 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3717/statm: 2287 275 233 213 0 72 0
[pid=3718] ppid=3717 vsize=20200 CPUtime=1790.94 cores=1,3,5,7
/proc/3718/stat : 3718 (npSolver-wbo) S 3717 3717 27509 0 -1 4202496 377515 1882601 0 0 2000 196 175824 1074 20 0 1 0 386217414 20684800 4636 33554432000 4194304 6006132 140736983404048 140736983395440 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 1 0 0
/proc/3718/statm: 5050 4636 179 443 0 4603 0
[pid=7243] ppid=3718 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7243/stat : 7243 (satsolver.sh) S 3718 3717 27509 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386396687 9367552 267 33554432000 4194304 5064252 140735466910864 140735466909776 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/7243/statm: 2287 267 226 213 0 72 0
[pid=7244] ppid=7243 vsize=41004 CPUtime=9.07 cores=1,3,5,7
/proc/7244/stat : 7244 (glucose) R 7243 3717 27509 0 -1 4202496 7714 0 0 0 906 1 0 0 20 0 1 0 386396687 41988096 8566 33554432000 4194304 5208918 140733616903536 140733616901480 4205761 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/7244/statm: 10251 8566 105 248 0 10000 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 79500
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1801.82
CPU time (s): 1800.06
CPU user time (s): 1787.32
CPU system time (s): 12.7411
CPU usage (%): 99.9027
Max. virtual memory (cumulated for all children) (KiB): 97844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1787.32
system time used= 12.7411
maximum resident set size= 53000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2268821
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2671072
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13988
involuntary context switches= 3878
runsolver used 3.36449 second user time and 8.25874 second system time
The end