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-3750190-1339180923/watcher-3750190-1339180923 -o /tmp/evaluation-result-3750190-1339180923/solver-3750190-1339180923 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3750190-1339180923.opb 484019833 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 1710
/proc/meminfo: memFree=23612948/32873648 swapFree=7376/7376
[pid=1710] ppid=1708 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1710/stat : 1710 (npSolver-pbo.sh) S 1708 1710 699 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384216419 9367552 275 33554432000 4194304 5064252 140734400059104 140734400058016 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1710/statm: 2287 275 233 213 0 72 0
[startup+0.083396 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 1710
/proc/meminfo: memFree=23612948/32873648 swapFree=7376/7376
[pid=1710] ppid=1708 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1710/stat : 1710 (npSolver-pbo.sh) S 1708 1710 699 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384216419 9367552 275 33554432000 4194304 5064252 140734400059104 140734400058016 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1710/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100315 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 1710
/proc/meminfo: memFree=23612948/32873648 swapFree=7376/7376
[pid=1710] ppid=1708 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1710/stat : 1710 (npSolver-pbo.sh) S 1708 1710 699 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384216419 9367552 275 33554432000 4194304 5064252 140734400059104 140734400058016 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1710/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300299 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 1710
/proc/meminfo: memFree=23612948/32873648 swapFree=7376/7376
[pid=1710] ppid=1708 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1710/stat : 1710 (npSolver-pbo.sh) S 1708 1710 699 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384216419 9367552 275 33554432000 4194304 5064252 140734400059104 140734400058016 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1710/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700283 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 1710
/proc/meminfo: memFree=23612948/32873648 swapFree=7376/7376
[pid=1710] ppid=1708 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1710/stat : 1710 (npSolver-pbo.sh) S 1708 1710 699 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384216419 9367552 275 33554432000 4194304 5064252 140734400059104 140734400058016 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1710/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50032 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 1722
/proc/meminfo: memFree=23584132/32873648 swapFree=7376/7376
[pid=1710] ppid=1708 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1710/stat : 1710 (npSolver-pbo.sh) S 1708 1710 699 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384216419 9367552 275 33554432000 4194304 5064252 140734400059104 140734400058016 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1710/statm: 2287 275 233 213 0 72 0
[pid=1711] ppid=1710 vsize=132672 CPUtime=1.48 cores=1,3,5,7
/proc/1711/stat : 1711 (npSolver-pbo) R 1710 1710 699 0 -1 4202496 9794 14900 0 0 69 19 56 4 20 0 1 0 384216419 135856128 26007 33554432000 4194304 6004724 140735085003040 140735084997088 5193835 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1711/statm: 33168 26007 180 442 0 32722 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 141820
[startup+3.10043 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 1724
/proc/meminfo: memFree=23404068/32873648 swapFree=7376/7376
[pid=1710] ppid=1708 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1710/stat : 1710 (npSolver-pbo.sh) S 1708 1710 699 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384216419 9367552 275 33554432000 4194304 5064252 140734400059104 140734400058016 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1710/statm: 2287 275 233 213 0 72 0
[pid=1711] ppid=1710 vsize=94520 CPUtime=1.49 cores=1,3,5,7
/proc/1711/stat : 1711 (npSolver-pbo) S 1710 1710 699 0 -1 4202496 9795 14900 0 0 69 20 56 4 20 0 1 0 384216419 96788480 16470 33554432000 4194304 6004724 140735085003040 140735084995392 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1711/statm: 23630 16470 180 442 0 23184 0
[pid=1723] ppid=1711 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1723/stat : 1723 (satsolver.sh) S 1711 1710 699 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 384216570 9367552 266 33554432000 4194304 5064252 140735280037488 140735280036400 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1723/statm: 2287 266 226 213 0 72 0
[pid=1724] ppid=1723 vsize=123004 CPUtime=1.58 cores=1,3,5,7
/proc/1724/stat : 1724 (glucose) R 1723 1710 699 0 -1 4202496 25077 0 0 0 152 6 0 0 20 0 1 0 384216570 125956096 26193 33554432000 4194304 5208918 140733770296304 140733770294152 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1724/statm: 30751 26193 104 248 0 30500 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 235820
[startup+6.30041 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 1724
/proc/meminfo: memFree=23400520/32873648 swapFree=7376/7376
[pid=1710] ppid=1708 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1710/stat : 1710 (npSolver-pbo.sh) S 1708 1710 699 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384216419 9367552 275 33554432000 4194304 5064252 140734400059104 140734400058016 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1710/statm: 2287 275 233 213 0 72 0
[pid=1711] ppid=1710 vsize=94520 CPUtime=1.49 cores=1,3,5,7
/proc/1711/stat : 1711 (npSolver-pbo) S 1710 1710 699 0 -1 4202496 9795 14900 0 0 69 20 56 4 20 0 1 0 384216419 96788480 16470 33554432000 4194304 6004724 140735085003040 140735084995392 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1711/statm: 23630 16470 180 442 0 23184 0
[pid=1723] ppid=1711 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1723/stat : 1723 (satsolver.sh) S 1711 1710 699 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 384216570 9367552 266 33554432000 4194304 5064252 140735280037488 140735280036400 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1723/statm: 2287 266 226 213 0 72 0
[pid=1724] ppid=1723 vsize=123928 CPUtime=4.78 cores=1,3,5,7
/proc/1724/stat : 1724 (glucose) R 1723 1710 699 0 -1 4202496 25329 0 0 0 472 6 0 0 20 0 1 0 384216570 126902272 26956 33554432000 4194304 5208918 140733770296304 140733770294152 4211160 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1724/statm: 30982 26956 105 248 0 30731 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 236744
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 1724
/proc/meminfo: memFree=23360184/32873648 swapFree=7376/7376
[pid=1710] ppid=1708 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1710/stat : 1710 (npSolver-pbo.sh) S 1708 1710 699 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384216419 9367552 275 33554432000 4194304 5064252 140734400059104 140734400058016 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1710/statm: 2287 275 233 213 0 72 0
[pid=1711] ppid=1710 vsize=94520 CPUtime=1.49 cores=1,3,5,7
/proc/1711/stat : 1711 (npSolver-pbo) S 1710 1710 699 0 -1 4202496 9795 14900 0 0 69 20 56 4 20 0 1 0 384216419 96788480 16470 33554432000 4194304 6004724 140735085003040 140735084995392 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1711/statm: 23630 16470 180 442 0 23184 0
[pid=1723] ppid=1711 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1723/stat : 1723 (satsolver.sh) S 1711 1710 699 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 384216570 9367552 266 33554432000 4194304 5064252 140735280037488 140735280036400 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1723/statm: 2287 266 226 213 0 72 0
[pid=1724] ppid=1723 vsize=124992 CPUtime=11.17 cores=1,3,5,7
/proc/1724/stat : 1724 (glucose) R 1723 1710 699 0 -1 4202496 25609 0 0 0 1111 6 0 0 20 0 1 0 384216570 127991808 27236 33554432000 4194304 5208918 140733770296304 140733770294056 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1724/statm: 31248 27236 105 248 0 30997 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 237808
[startup+25.5004 s]
/proc/loadavg: 2.08 2.02 2.01 3/183 1724
/proc/meminfo: memFree=23391236/32873648 swapFree=7376/7376
[pid=1710] ppid=1708 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1710/stat : 1710 (npSolver-pbo.sh) S 1708 1710 699 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384216419 9367552 275 33554432000 4194304 5064252 140734400059104 140734400058016 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1710/statm: 2287 275 233 213 0 72 0
[pid=1711] ppid=1710 vsize=94520 CPUtime=1.49 cores=1,3,5,7
/proc/1711/stat : 1711 (npSolver-pbo) S 1710 1710 699 0 -1 4202496 9795 14900 0 0 69 20 56 4 20 0 1 0 384216419 96788480 16470 33554432000 4194304 6004724 140735085003040 140735084995392 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1711/statm: 23630 16470 180 442 0 23184 0
[pid=1723] ppid=1711 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1723/stat : 1723 (satsolver.sh) S 1711 1710 699 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 384216570 9367552 266 33554432000 4194304 5064252 140735280037488 140735280036400 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1723/statm: 2287 266 226 213 0 72 0
[pid=1724] ppid=1723 vsize=126596 CPUtime=23.97 cores=1,3,5,7
/proc/1724/stat : 1724 (glucose) R 1723 1710 699 0 -1 4202496 26022 0 0 0 2391 6 0 0 20 0 1 0 384216570 129634304 28671 33554432000 4194304 5208918 140733770296304 140733770294152 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1724/statm: 31649 28671 105 248 0 31398 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 239412
[startup+51.1004 s]
/proc/loadavg: 2.05 2.02 2.00 3/183 1724
/proc/meminfo: memFree=23386312/32873648 swapFree=7376/7376
[pid=1710] ppid=1708 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1710/stat : 1710 (npSolver-pbo.sh) S 1708 1710 699 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384216419 9367552 275 33554432000 4194304 5064252 140734400059104 140734400058016 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1710/statm: 2287 275 233 213 0 72 0
[pid=1711] ppid=1710 vsize=94520 CPUtime=1.49 cores=1,3,5,7
/proc/1711/stat : 1711 (npSolver-pbo) S 1710 1710 699 0 -1 4202496 9795 14900 0 0 69 20 56 4 20 0 1 0 384216419 96788480 16470 33554432000 4194304 6004724 140735085003040 140735084995392 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1711/statm: 23630 16470 180 442 0 23184 0
[pid=1723] ppid=1711 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1723/stat : 1723 (satsolver.sh) S 1711 1710 699 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 384216570 9367552 266 33554432000 4194304 5064252 140735280037488 140735280036400 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1723/statm: 2287 266 226 213 0 72 0
[pid=1724] ppid=1723 vsize=148548 CPUtime=49.57 cores=1,3,5,7
/proc/1724/stat : 1724 (glucose) R 1723 1710 699 0 -1 4202496 27589 0 0 0 4949 8 0 0 20 0 1 0 384216570 152113152 30101 33554432000 4194304 5208918 140733770296304 140733770292680 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1724/statm: 37137 30101 105 248 0 36886 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 261364
[startup+102.307 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 1732
/proc/meminfo: memFree=23418444/32873648 swapFree=7376/7376
[pid=1710] ppid=1708 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1710/stat : 1710 (npSolver-pbo.sh) S 1708 1710 699 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384216419 9367552 275 33554432000 4194304 5064252 140734400059104 140734400058016 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1710/statm: 2287 275 233 213 0 72 0
[pid=1711] ppid=1710 vsize=78132 CPUtime=77.82 cores=1,3,5,7
/proc/1711/stat : 1711 (npSolver-pbo) S 1710 1710 699 0 -1 4202496 14933 48243 0 0 124 26 7602 30 20 0 1 0 384216419 80007168 11894 33554432000 4194304 6004724 140735085003040 140735084995392 5186782 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/1711/statm: 19533 11894 181 442 0 19087 0
[pid=1730] ppid=1711 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1730/stat : 1730 (satsolver.sh) S 1711 1710 699 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 384224203 9367552 267 33554432000 4194304 5064252 140735803455728 140735803454640 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1730/statm: 2287 267 226 213 0 72 0
[pid=1731] ppid=1730 vsize=121624 CPUtime=24.44 cores=1,3,5,7
/proc/1731/stat : 1731 (glucose) R 1730 1710 699 0 -1 4202496 23759 0 0 0 2439 5 0 0 20 0 1 0 384224204 124542976 26991 33554432000 4194304 5208918 140737421544880 140737421542712 4229319 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/1731/statm: 30406 26991 105 248 0 30155 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 218052
[startup+162.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/183 1739
/proc/meminfo: memFree=23467592/32873648 swapFree=7376/7376
[pid=1710] ppid=1708 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1710/stat : 1710 (npSolver-pbo.sh) S 1708 1710 699 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384216419 9367552 275 33554432000 4194304 5064252 140734400059104 140734400058016 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1710/statm: 2287 275 233 213 0 72 0
[pid=1711] ppid=1710 vsize=78132 CPUtime=77.82 cores=1,3,5,7
/proc/1711/stat : 1711 (npSolver-pbo) S 1710 1710 699 0 -1 4202496 14933 48243 0 0 124 26 7602 30 20 0 1 0 384216419 80007168 11894 33554432000 4194304 6004724 140735085003040 140735084995392 5186782 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/1711/statm: 19533 11894 181 442 0 19087 0
[pid=1730] ppid=1711 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1730/stat : 1730 (satsolver.sh) S 1711 1710 699 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 384224203 9367552 267 33554432000 4194304 5064252 140735803455728 140735803454640 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1730/statm: 2287 267 226 213 0 72 0
[pid=1731] ppid=1730 vsize=124420 CPUtime=84.41 cores=1,3,5,7
/proc/1731/stat : 1731 (glucose) R 1730 1710 699 0 -1 4202496 25887 0 0 0 8435 6 0 0 20 0 1 0 384224204 127406080 28675 33554432000 4194304 5208918 140737421544880 140737421542712 4229365 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/1731/statm: 31105 28675 105 248 0 30854 0
Current children cumulated CPU time (s) 162.23
################
# More data... #
################
/proc/1755/stat : 1755 (glucose) R 1754 1710 699 0 -1 4202496 27632 0 0 0 24334 10 0 0 20 0 1 0 384328296 152858624 35462 33554432000 4194304 5208918 140733583975456 140733583971768 4229299 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1755/statm: 37319 35462 105 248 0 37068 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 277960
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 1797
/proc/meminfo: memFree=23439556/32873648 swapFree=7376/7376
[pid=1710] ppid=1708 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1710/stat : 1710 (npSolver-pbo.sh) S 1708 1710 699 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384216419 9367552 275 33554432000 4194304 5064252 140734400059104 140734400058016 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1710/statm: 2287 275 233 213 0 72 0
[pid=1711] ppid=1710 vsize=77620 CPUtime=1411.07 cores=1,3,5,7
/proc/1711/stat : 1711 (npSolver-pbo) S 1710 1710 699 0 -1 4202496 24171 121298 0 0 224 38 140750 95 20 0 1 0 384216419 79482880 18602 33554432000 4194304 6004724 140735085003040 140735084995392 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1711/statm: 19405 18602 181 442 0 18959 0
[pid=1796] ppid=1711 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1796/stat : 1796 (satsolver.sh) S 1711 1710 699 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384357555 9367552 267 33554432000 4194304 5064252 140733738333472 140733738332384 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/1796/statm: 2287 267 226 213 0 72 0
[pid=1797] ppid=1796 vsize=114052 CPUtime=10.93 cores=1,3,5,7
/proc/1797/stat : 1797 (glucose) R 1796 1710 699 0 -1 4202496 21373 0 0 0 1088 5 0 0 20 0 1 0 384357555 116789248 23726 33554432000 4194304 5208918 140734874723872 140734874721704 4229538 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1797/statm: 28513 23726 105 248 0 28262 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 209968
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 1797
/proc/meminfo: memFree=23374240/32873648 swapFree=7376/7376
[pid=1710] ppid=1708 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1710/stat : 1710 (npSolver-pbo.sh) S 1708 1710 699 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384216419 9367552 275 33554432000 4194304 5064252 140734400059104 140734400058016 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1710/statm: 2287 275 233 213 0 72 0
[pid=1711] ppid=1710 vsize=77620 CPUtime=1411.07 cores=1,3,5,7
/proc/1711/stat : 1711 (npSolver-pbo) S 1710 1710 699 0 -1 4202496 24171 121298 0 0 224 38 140750 95 20 0 1 0 384216419 79482880 18602 33554432000 4194304 6004724 140735085003040 140735084995392 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1711/statm: 19405 18602 181 442 0 18959 0
[pid=1796] ppid=1711 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1796/stat : 1796 (satsolver.sh) S 1711 1710 699 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384357555 9367552 267 33554432000 4194304 5064252 140733738333472 140733738332384 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/1796/statm: 2287 267 226 213 0 72 0
[pid=1797] ppid=1796 vsize=146860 CPUtime=70.91 cores=1,3,5,7
/proc/1797/stat : 1797 (glucose) R 1796 1710 699 0 -1 4202496 23434 0 0 0 7085 6 0 0 20 0 1 0 384357555 150384640 32533 33554432000 4194304 5208918 140734874723872 140734874721736 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1797/statm: 36715 32533 105 248 0 36464 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 242776
[startup+1542.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/183 1797
/proc/meminfo: memFree=23307576/32873648 swapFree=7376/7376
[pid=1710] ppid=1708 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1710/stat : 1710 (npSolver-pbo.sh) S 1708 1710 699 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384216419 9367552 275 33554432000 4194304 5064252 140734400059104 140734400058016 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1710/statm: 2287 275 233 213 0 72 0
[pid=1711] ppid=1710 vsize=77620 CPUtime=1411.07 cores=1,3,5,7
/proc/1711/stat : 1711 (npSolver-pbo) S 1710 1710 699 0 -1 4202496 24171 121298 0 0 224 38 140750 95 20 0 1 0 384216419 79482880 18602 33554432000 4194304 6004724 140735085003040 140735084995392 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1711/statm: 19405 18602 181 442 0 18959 0
[pid=1796] ppid=1711 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1796/stat : 1796 (satsolver.sh) S 1711 1710 699 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384357555 9367552 267 33554432000 4194304 5064252 140733738333472 140733738332384 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/1796/statm: 2287 267 226 213 0 72 0
[pid=1797] ppid=1796 vsize=177208 CPUtime=130.88 cores=1,3,5,7
/proc/1797/stat : 1797 (glucose) R 1796 1710 699 0 -1 4202496 24194 0 0 0 13081 7 0 0 20 0 1 0 384357555 181460992 40441 33554432000 4194304 5208918 140734874723872 140734874721736 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1797/statm: 44302 40441 105 248 0 44051 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 273124
[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/182 1797
/proc/meminfo: memFree=23327740/32873648 swapFree=7376/7376
[pid=1710] ppid=1708 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1710/stat : 1710 (npSolver-pbo.sh) S 1708 1710 699 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384216419 9367552 275 33554432000 4194304 5064252 140734400059104 140734400058016 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1710/statm: 2287 275 233 213 0 72 0
[pid=1711] ppid=1710 vsize=77620 CPUtime=1411.07 cores=1,3,5,7
/proc/1711/stat : 1711 (npSolver-pbo) S 1710 1710 699 0 -1 4202496 24171 121298 0 0 224 38 140750 95 20 0 1 0 384216419 79482880 18602 33554432000 4194304 6004724 140735085003040 140735084995392 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1711/statm: 19405 18602 181 442 0 18959 0
[pid=1796] ppid=1711 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1796/stat : 1796 (satsolver.sh) S 1711 1710 699 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384357555 9367552 267 33554432000 4194304 5064252 140733738333472 140733738332384 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/1796/statm: 2287 267 226 213 0 72 0
[pid=1797] ppid=1796 vsize=177208 CPUtime=190.86 cores=1,3,5,7
/proc/1797/stat : 1797 (glucose) R 1796 1710 699 0 -1 4202496 24204 0 0 0 19079 7 0 0 20 0 1 0 384357555 181460992 42209 33554432000 4194304 5208918 140734874723872 140734874720184 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1797/statm: 44302 42209 105 248 0 44051 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 273124
[startup+1662.3 s]
/proc/loadavg: 2.48 2.12 2.04 3/183 1864
/proc/meminfo: memFree=19520240/32873648 swapFree=7380/7380
[pid=1710] ppid=1708 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1710/stat : 1710 (npSolver-pbo.sh) S 1708 1710 699 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384216419 9367552 275 33554432000 4194304 5064252 140734400059104 140734400058016 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1710/statm: 2287 275 233 213 0 72 0
[pid=1711] ppid=1710 vsize=77620 CPUtime=1660.34 cores=1,3,5,7
/proc/1711/stat : 1711 (npSolver-pbo) S 1710 1710 699 0 -1 4202496 31671 173155 0 0 316 48 165545 125 20 0 1 0 384216419 79482880 18540 33554432000 4194304 6004724 140735085003040 140735084995392 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1711/statm: 19405 18540 181 442 0 18959 0
[pid=1863] ppid=1711 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1863/stat : 1863 (satsolver.sh) S 1711 1710 699 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384382488 9367552 267 33554432000 4194304 5064252 140735227903552 140735227902464 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/1863/statm: 2287 267 226 213 0 72 0
[pid=1864] ppid=1863 vsize=110328 CPUtime=1.59 cores=1,3,5,7
/proc/1864/stat : 1864 (glucose) R 1863 1710 699 0 -1 4202496 20084 0 0 0 154 5 0 0 20 0 1 0 384382489 112975872 21931 33554432000 4194304 5208918 140733484302800 140733484300648 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1864/statm: 27582 21931 96 248 0 27331 0
Current children cumulated CPU time (s) 1661.93
Current children cumulated vsize (KiB) 206244
[startup+1722.3 s]
/proc/loadavg: 2.27 2.13 2.05 3/184 1870
/proc/meminfo: memFree=19695544/32873648 swapFree=7376/7376
[pid=1710] ppid=1708 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1710/stat : 1710 (npSolver-pbo.sh) S 1708 1710 699 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384216419 9367552 275 33554432000 4194304 5064252 140734400059104 140734400058016 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1710/statm: 2287 275 233 213 0 72 0
[pid=1711] ppid=1710 vsize=77620 CPUtime=1660.34 cores=1,3,5,7
/proc/1711/stat : 1711 (npSolver-pbo) S 1710 1710 699 0 -1 4202496 31671 173155 0 0 316 48 165545 125 20 0 1 0 384216419 79482880 18540 33554432000 4194304 6004724 140735085003040 140735084995392 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1711/statm: 19405 18540 181 442 0 18959 0
[pid=1863] ppid=1711 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1863/stat : 1863 (satsolver.sh) S 1711 1710 699 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384382488 9367552 267 33554432000 4194304 5064252 140735227903552 140735227902464 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/1863/statm: 2287 267 226 213 0 72 0
[pid=1864] ppid=1863 vsize=145880 CPUtime=61.58 cores=1,3,5,7
/proc/1864/stat : 1864 (glucose) R 1863 1710 699 0 -1 4202496 23089 0 0 0 6152 6 0 0 20 0 1 0 384382489 149381120 31008 33554432000 4194304 5208918 140733484302800 140733484300664 4229021 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1864/statm: 36470 31008 105 248 0 36219 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 241796
[startup+1782.3 s]
/proc/loadavg: 2.10 2.11 2.04 3/183 1870
/proc/meminfo: memFree=19691144/32873648 swapFree=7376/7376
[pid=1710] ppid=1708 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1710/stat : 1710 (npSolver-pbo.sh) S 1708 1710 699 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384216419 9367552 275 33554432000 4194304 5064252 140734400059104 140734400058016 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1710/statm: 2287 275 233 213 0 72 0
[pid=1711] ppid=1710 vsize=77620 CPUtime=1660.34 cores=1,3,5,7
/proc/1711/stat : 1711 (npSolver-pbo) S 1710 1710 699 0 -1 4202496 31671 173155 0 0 316 48 165545 125 20 0 1 0 384216419 79482880 18540 33554432000 4194304 6004724 140735085003040 140735084995392 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1711/statm: 19405 18540 181 442 0 18959 0
[pid=1863] ppid=1711 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1863/stat : 1863 (satsolver.sh) S 1711 1710 699 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384382488 9367552 267 33554432000 4194304 5064252 140735227903552 140735227902464 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/1863/statm: 2287 267 226 213 0 72 0
[pid=1864] ppid=1863 vsize=145880 CPUtime=121.57 cores=1,3,5,7
/proc/1864/stat : 1864 (glucose) R 1863 1710 699 0 -1 4202496 23850 0 0 0 12150 7 0 0 20 0 1 0 384382489 149381120 31010 33554432000 4194304 5208918 140733484302800 140733484299112 4229039 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1864/statm: 36470 31010 105 248 0 36219 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 241796
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.07 2.10 2.04 3/183 1870
/proc/meminfo: memFree=19691020/32873648 swapFree=7376/7376
[pid=1710] ppid=1708 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1710/stat : 1710 (npSolver-pbo.sh) S 1708 1710 699 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384216419 9367552 275 33554432000 4194304 5064252 140734400059104 140734400058016 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1710/statm: 2287 275 233 213 0 72 0
[pid=1711] ppid=1710 vsize=77620 CPUtime=1660.34 cores=1,3,5,7
/proc/1711/stat : 1711 (npSolver-pbo) S 1710 1710 699 0 -1 4202496 31671 173155 0 0 316 48 165545 125 20 0 1 0 384216419 79482880 18540 33554432000 4194304 6004724 140735085003040 140735084995392 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1711/statm: 19405 18540 181 442 0 18959 0
[pid=1863] ppid=1711 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1863/stat : 1863 (satsolver.sh) S 1711 1710 699 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384382488 9367552 267 33554432000 4194304 5064252 140735227903552 140735227902464 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/1863/statm: 2287 267 226 213 0 72 0
[pid=1864] ppid=1863 vsize=145880 CPUtime=139.67 cores=1,3,5,7
/proc/1864/stat : 1864 (glucose) R 1863 1710 699 0 -1 4202496 23850 0 0 0 13960 7 0 0 20 0 1 0 384382489 149381120 31010 33554432000 4194304 5208918 140733484302800 140733484299112 4228997 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1864/statm: 36470 31010 105 248 0 36219 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 241796
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 1710 and gives
# childrusage.ru_utime.tv_sec=1658
# childrusage.ru_utime.tv_usec=614852
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=746734
# CPU time returned by wait4() is 1660.36
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.41
CPU time (s): 1800.01
CPU user time (s): 1798.21
CPU system time (s): 1.8
CPU usage (%): 99.9776
Max. virtual memory (cumulated for all children) (KiB): 379976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1658.61
system time used= 1.74673
maximum resident set size= 235116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 205802
page faults= 0
swaps= 0
block input operations= 0
block output operations= 436800
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1898
involuntary context switches= 1948
runsolver used 3.38748 second user time and 7.34288 second system time
The end