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-3754399-1339189270/watcher-3754399-1339189270 -o /tmp/evaluation-result-3754399-1339189270/solver-3754399-1339189270 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-I.sh HOME/instance-3754399-1339189270.wbo 1082307505 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.02 1.97 3/180 10842
/proc/meminfo: memFree=31292544/32873844 swapFree=7116/7116
[pid=10842] ppid=10840 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10842/stat : 10842 (npSolver-wbo-I.) S 10840 10842 7523 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385053996 9367552 275 33554432000 4194304 5064252 140734748408512 140734748407424 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10842/statm: 2287 275 233 213 0 72 0
[startup+0.086737 s]
/proc/loadavg: 2.00 2.02 1.97 3/180 10842
/proc/meminfo: memFree=31292544/32873844 swapFree=7116/7116
[pid=10842] ppid=10840 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10842/stat : 10842 (npSolver-wbo-I.) S 10840 10842 7523 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385053996 9367552 275 33554432000 4194304 5064252 140734748408512 140734748407424 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10842/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100384 s]
/proc/loadavg: 2.00 2.02 1.97 3/180 10842
/proc/meminfo: memFree=31292544/32873844 swapFree=7116/7116
[pid=10842] ppid=10840 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10842/stat : 10842 (npSolver-wbo-I.) S 10840 10842 7523 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385053996 9367552 275 33554432000 4194304 5064252 140734748408512 140734748407424 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10842/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300294 s]
/proc/loadavg: 2.00 2.02 1.97 3/180 10842
/proc/meminfo: memFree=31292544/32873844 swapFree=7116/7116
[pid=10842] ppid=10840 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10842/stat : 10842 (npSolver-wbo-I.) S 10840 10842 7523 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385053996 9367552 275 33554432000 4194304 5064252 140734748408512 140734748407424 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10842/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700262 s]
/proc/loadavg: 2.00 2.02 1.97 3/180 10842
/proc/meminfo: memFree=31292544/32873844 swapFree=7116/7116
[pid=10842] ppid=10840 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10842/stat : 10842 (npSolver-wbo-I.) S 10840 10842 7523 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385053996 9367552 275 33554432000 4194304 5064252 140734748408512 140734748407424 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10842/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50034 s]
/proc/loadavg: 1.92 2.00 1.96 3/182 10854
/proc/meminfo: memFree=31255308/32873844 swapFree=7116/7116
[pid=10842] ppid=10840 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10842/stat : 10842 (npSolver-wbo-I.) S 10840 10842 7523 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385053996 9367552 275 33554432000 4194304 5064252 140734748408512 140734748407424 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10842/statm: 2287 275 233 213 0 72 0
[pid=10843] ppid=10842 vsize=111208 CPUtime=1.48 cores=1,3,5,7
/proc/10843/stat : 10843 (npSolver-wbo) R 10842 10842 7523 0 -1 4202496 13539 13496 0 0 85 14 45 4 20 0 1 0 385053996 113876992 20355 33554432000 4194304 6006132 140736067436112 140736067429216 4583751 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10843/statm: 27802 20355 179 443 0 27355 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 120356
[startup+3.10036 s]
/proc/loadavg: 1.92 2.00 1.96 3/182 10854
/proc/meminfo: memFree=31166876/32873844 swapFree=7116/7116
[pid=10842] ppid=10840 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10842/stat : 10842 (npSolver-wbo-I.) S 10840 10842 7523 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385053996 9367552 275 33554432000 4194304 5064252 140734748408512 140734748407424 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10842/statm: 2287 275 233 213 0 72 0
[pid=10843] ppid=10842 vsize=176744 CPUtime=2.53 cores=1,3,5,7
/proc/10843/stat : 10843 (npSolver-wbo) S 10842 10842 7523 0 -1 4202496 14844 13496 0 0 172 32 45 4 20 0 1 0 385053996 180985856 35204 33554432000 4194304 6006132 140736067436112 140736067427520 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10843/statm: 44186 35204 180 443 0 43739 0
Current children cumulated CPU time (s) 2.53
Current children cumulated vsize (KiB) 185892
[startup+6.30044 s]
/proc/loadavg: 2.01 2.01 1.97 3/184 10856
/proc/meminfo: memFree=30808436/32873844 swapFree=7116/7116
[pid=10842] ppid=10840 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10842/stat : 10842 (npSolver-wbo-I.) S 10840 10842 7523 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385053996 9367552 275 33554432000 4194304 5064252 140734748408512 140734748407424 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10842/statm: 2287 275 233 213 0 72 0
[pid=10843] ppid=10842 vsize=176744 CPUtime=2.53 cores=1,3,5,7
/proc/10843/stat : 10843 (npSolver-wbo) S 10842 10842 7523 0 -1 4202496 14844 13496 0 0 172 32 45 4 20 0 1 0 385053996 180985856 35204 33554432000 4194304 6006132 140736067436112 140736067427520 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10843/statm: 44186 35204 180 443 0 43739 0
[pid=10855] ppid=10843 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10855/stat : 10855 (satsolver.sh) S 10843 10842 7523 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 385054250 9367552 266 33554432000 4194304 5064252 140734732770608 140734732769520 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10855/statm: 2287 266 226 213 0 72 0
[pid=10856] ppid=10855 vsize=285520 CPUtime=3.74 cores=1,3,5,7
/proc/10856/stat : 10856 (glucose) R 10855 10842 7523 0 -1 4202496 45866 0 0 0 359 15 0 0 20 0 1 0 385054251 292372480 59198 33554432000 4194304 5208918 140736877500416 140736877498376 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10856/statm: 71380 59198 95 248 0 71129 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 480560
[startup+12.7003 s]
/proc/loadavg: 2.01 2.01 1.97 3/184 10856
/proc/meminfo: memFree=30813568/32873844 swapFree=7116/7116
[pid=10842] ppid=10840 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10842/stat : 10842 (npSolver-wbo-I.) S 10840 10842 7523 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385053996 9367552 275 33554432000 4194304 5064252 140734748408512 140734748407424 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10842/statm: 2287 275 233 213 0 72 0
[pid=10843] ppid=10842 vsize=176744 CPUtime=2.53 cores=1,3,5,7
/proc/10843/stat : 10843 (npSolver-wbo) S 10842 10842 7523 0 -1 4202496 14844 13496 0 0 172 32 45 4 20 0 1 0 385053996 180985856 35204 33554432000 4194304 6006132 140736067436112 140736067427520 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10843/statm: 44186 35204 180 443 0 43739 0
[pid=10855] ppid=10843 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10855/stat : 10855 (satsolver.sh) S 10843 10842 7523 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 385054250 9367552 266 33554432000 4194304 5064252 140734732770608 140734732769520 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10855/statm: 2287 266 226 213 0 72 0
[pid=10856] ppid=10855 vsize=285520 CPUtime=10.14 cores=1,3,5,7
/proc/10856/stat : 10856 (glucose) R 10855 10842 7523 0 -1 4202496 45866 0 0 0 999 15 0 0 20 0 1 0 385054251 292372480 59198 33554432000 4194304 5208918 140736877500416 140736877498376 4211635 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10856/statm: 71380 59198 95 248 0 71129 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 480560
[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 1.97 3/184 10856
/proc/meminfo: memFree=30810964/32873844 swapFree=7116/7116
[pid=10842] ppid=10840 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10842/stat : 10842 (npSolver-wbo-I.) S 10840 10842 7523 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385053996 9367552 275 33554432000 4194304 5064252 140734748408512 140734748407424 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10842/statm: 2287 275 233 213 0 72 0
[pid=10843] ppid=10842 vsize=176744 CPUtime=2.53 cores=1,3,5,7
/proc/10843/stat : 10843 (npSolver-wbo) S 10842 10842 7523 0 -1 4202496 14844 13496 0 0 172 32 45 4 20 0 1 0 385053996 180985856 35204 33554432000 4194304 6006132 140736067436112 140736067427520 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10843/statm: 44186 35204 180 443 0 43739 0
[pid=10855] ppid=10843 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10855/stat : 10855 (satsolver.sh) S 10843 10842 7523 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 385054250 9367552 266 33554432000 4194304 5064252 140734732770608 140734732769520 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10855/statm: 2287 266 226 213 0 72 0
[pid=10856] ppid=10855 vsize=286364 CPUtime=22.94 cores=1,3,5,7
/proc/10856/stat : 10856 (glucose) R 10855 10842 7523 0 -1 4202496 46171 0 0 0 2279 15 0 0 20 0 1 0 385054251 293236736 59503 33554432000 4194304 5208918 140736877500416 140736877498088 4229476 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10856/statm: 71591 59503 103 248 0 71340 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 481404
[startup+51.1005 s]
/proc/loadavg: 2.00 2.01 1.97 3/184 10857
/proc/meminfo: memFree=30810220/32873844 swapFree=7116/7116
[pid=10842] ppid=10840 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10842/stat : 10842 (npSolver-wbo-I.) S 10840 10842 7523 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385053996 9367552 275 33554432000 4194304 5064252 140734748408512 140734748407424 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10842/statm: 2287 275 233 213 0 72 0
[pid=10843] ppid=10842 vsize=176744 CPUtime=2.53 cores=1,3,5,7
/proc/10843/stat : 10843 (npSolver-wbo) S 10842 10842 7523 0 -1 4202496 14844 13496 0 0 172 32 45 4 20 0 1 0 385053996 180985856 35204 33554432000 4194304 6006132 140736067436112 140736067427520 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10843/statm: 44186 35204 180 443 0 43739 0
[pid=10855] ppid=10843 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10855/stat : 10855 (satsolver.sh) S 10843 10842 7523 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 385054250 9367552 266 33554432000 4194304 5064252 140734732770608 140734732769520 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10855/statm: 2287 266 226 213 0 72 0
[pid=10856] ppid=10855 vsize=287452 CPUtime=48.53 cores=1,3,5,7
/proc/10856/stat : 10856 (glucose) R 10855 10842 7523 0 -1 4202496 46420 0 0 0 4838 15 0 0 20 0 1 0 385054251 294350848 59752 33554432000 4194304 5208918 140736877500416 140736877498376 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10856/statm: 71863 59752 103 248 0 71612 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 482492
[startup+102.307 s]
/proc/loadavg: 2.00 2.01 1.97 3/183 10857
/proc/meminfo: memFree=30809856/32873844 swapFree=7116/7116
[pid=10842] ppid=10840 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10842/stat : 10842 (npSolver-wbo-I.) S 10840 10842 7523 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385053996 9367552 275 33554432000 4194304 5064252 140734748408512 140734748407424 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10842/statm: 2287 275 233 213 0 72 0
[pid=10843] ppid=10842 vsize=176744 CPUtime=2.53 cores=1,3,5,7
/proc/10843/stat : 10843 (npSolver-wbo) S 10842 10842 7523 0 -1 4202496 14844 13496 0 0 172 32 45 4 20 0 1 0 385053996 180985856 35204 33554432000 4194304 6006132 140736067436112 140736067427520 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10843/statm: 44186 35204 180 443 0 43739 0
[pid=10855] ppid=10843 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10855/stat : 10855 (satsolver.sh) S 10843 10842 7523 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 385054250 9367552 266 33554432000 4194304 5064252 140734732770608 140734732769520 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10855/statm: 2287 266 226 213 0 72 0
[pid=10856] ppid=10855 vsize=288064 CPUtime=99.73 cores=1,3,5,7
/proc/10856/stat : 10856 (glucose) R 10855 10842 7523 0 -1 4202496 46568 0 0 0 9958 15 0 0 20 0 1 0 385054251 294977536 59900 33554432000 4194304 5208918 140736877500416 140736877498088 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10856/statm: 72016 59900 103 248 0 71765 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 483104
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/183 10857
/proc/meminfo: memFree=30806076/32873844 swapFree=7116/7116
[pid=10842] ppid=10840 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10842/stat : 10842 (npSolver-wbo-I.) S 10840 10842 7523 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385053996 9367552 275 33554432000 4194304 5064252 140734748408512 140734748407424 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10842/statm: 2287 275 233 213 0 72 0
[pid=10843] ppid=10842 vsize=176744 CPUtime=2.53 cores=1,3,5,7
/proc/10843/stat : 10843 (npSolver-wbo) S 10842 10842 7523 0 -1 4202496 14844 13496 0 0 172 32 45 4 20 0 1 0 385053996 180985856 35204 33554432000 4194304 6006132 140736067436112 140736067427520 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10843/statm: 44186 35204 180 443 0 43739 0
[pid=10855] ppid=10843 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10855/stat : 10855 (satsolver.sh) S 10843 10842 7523 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 385054250 9367552 266 33554432000 4194304 5064252 140734732770608 140734732769520 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10855/statm: 2287 266 226 213 0 72 0
[pid=10856] ppid=10855 vsize=289012 CPUtime=159.71 cores=1,3,5,7
/proc/10856/stat : 10856 (glucose) R 10855 10842 7523 0 -1 4202496 46818 0 0 0 15956 15 0 0 20 0 1 0 385054251 295948288 60651 33554432000 4194304 5208918 140736877500416 140736877498264 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10856/statm: 72253 60651 103 248 0 72002 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 484052
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.97 3/183 10857
/proc/meminfo: memFree=30804496/32873844 swapFree=7116/7116
[pid=10842] ppid=10840 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/10932/stat : 10932 (glucose) R 10931 10842 7523 0 -1 4202496 47422 0 0 0 72960 14 0 0 20 0 1 0 385117238 346075136 67758 33554432000 4194304 5208918 140737320693184 140737320690936 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10932/statm: 84491 67758 105 248 0 84240 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 515220
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 4/183 10945
/proc/meminfo: memFree=30044784/32873844 swapFree=7116/7116
[pid=10842] ppid=10840 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10842/stat : 10842 (npSolver-wbo-I.) S 10840 10842 7523 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385053996 9367552 275 33554432000 4194304 5064252 140734748408512 140734748407424 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10842/statm: 2287 275 233 213 0 72 0
[pid=10843] ppid=10842 vsize=158960 CPUtime=1417.6 cores=1,3,5,7
/proc/10843/stat : 10843 (npSolver-wbo) S 10842 10842 7523 0 -1 4202496 30777 125380 0 0 421 70 141160 109 20 0 1 0 385053996 162775040 26694 33554432000 4194304 6006132 140736067436112 140736067427520 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10843/statm: 39740 26694 180 443 0 39293 0
[pid=10944] ppid=10843 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10944/stat : 10944 (satsolver.sh) S 10843 10842 7523 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385195782 9367552 267 33554432000 4194304 5064252 140734431589392 140734431588304 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10944/statm: 2287 267 226 213 0 72 0
[pid=10945] ppid=10944 vsize=230112 CPUtime=4.43 cores=1,3,5,7
/proc/10945/stat : 10945 (glucose) R 10944 10842 7523 0 -1 4202496 41883 0 0 0 430 13 0 0 20 0 1 0 385195783 235634688 50094 33554432000 4194304 5208918 140737042094576 140737042092248 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10945/statm: 57528 50094 104 248 0 57277 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 407368
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 10945
/proc/meminfo: memFree=30042116/32873844 swapFree=7116/7116
[pid=10842] ppid=10840 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10842/stat : 10842 (npSolver-wbo-I.) S 10840 10842 7523 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385053996 9367552 275 33554432000 4194304 5064252 140734748408512 140734748407424 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10842/statm: 2287 275 233 213 0 72 0
[pid=10843] ppid=10842 vsize=158960 CPUtime=1417.6 cores=1,3,5,7
/proc/10843/stat : 10843 (npSolver-wbo) S 10842 10842 7523 0 -1 4202496 30777 125380 0 0 421 70 141160 109 20 0 1 0 385053996 162775040 26694 33554432000 4194304 6006132 140736067436112 140736067427520 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10843/statm: 39740 26694 180 443 0 39293 0
[pid=10944] ppid=10843 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10944/stat : 10944 (satsolver.sh) S 10843 10842 7523 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385195782 9367552 267 33554432000 4194304 5064252 140734431589392 140734431588304 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10944/statm: 2287 267 226 213 0 72 0
[pid=10945] ppid=10944 vsize=231856 CPUtime=64.41 cores=1,3,5,7
/proc/10945/stat : 10945 (glucose) R 10944 10842 7523 0 -1 4202496 42293 0 0 0 6428 13 0 0 20 0 1 0 385195783 237420544 51015 33554432000 4194304 5208918 140737042094576 140737042092248 4211521 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10945/statm: 57964 51015 105 248 0 57713 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 409112
[startup+1542.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/183 10945
/proc/meminfo: memFree=30038332/32873844 swapFree=7116/7116
[pid=10842] ppid=10840 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10842/stat : 10842 (npSolver-wbo-I.) S 10840 10842 7523 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385053996 9367552 275 33554432000 4194304 5064252 140734748408512 140734748407424 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10842/statm: 2287 275 233 213 0 72 0
[pid=10843] ppid=10842 vsize=158960 CPUtime=1417.6 cores=1,3,5,7
/proc/10843/stat : 10843 (npSolver-wbo) S 10842 10842 7523 0 -1 4202496 30777 125380 0 0 421 70 141160 109 20 0 1 0 385053996 162775040 26694 33554432000 4194304 6006132 140736067436112 140736067427520 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10843/statm: 39740 26694 180 443 0 39293 0
[pid=10944] ppid=10843 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10944/stat : 10944 (satsolver.sh) S 10843 10842 7523 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385195782 9367552 267 33554432000 4194304 5064252 140734431589392 140734431588304 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10944/statm: 2287 267 226 213 0 72 0
[pid=10945] ppid=10944 vsize=232920 CPUtime=124.4 cores=1,3,5,7
/proc/10945/stat : 10945 (glucose) R 10944 10842 7523 0 -1 4202496 42558 0 0 0 12427 13 0 0 20 0 1 0 385195783 238510080 51280 33554432000 4194304 5208918 140737042094576 140737042092536 4205672 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10945/statm: 58230 51280 105 248 0 57979 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 410176
[startup+1602.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 10946
/proc/meminfo: memFree=30032128/32873844 swapFree=7116/7116
[pid=10842] ppid=10840 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10842/stat : 10842 (npSolver-wbo-I.) S 10840 10842 7523 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385053996 9367552 275 33554432000 4194304 5064252 140734748408512 140734748407424 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10842/statm: 2287 275 233 213 0 72 0
[pid=10843] ppid=10842 vsize=158960 CPUtime=1417.6 cores=1,3,5,7
/proc/10843/stat : 10843 (npSolver-wbo) S 10842 10842 7523 0 -1 4202496 30777 125380 0 0 421 70 141160 109 20 0 1 0 385053996 162775040 26694 33554432000 4194304 6006132 140736067436112 140736067427520 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10843/statm: 39740 26694 180 443 0 39293 0
[pid=10944] ppid=10843 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10944/stat : 10944 (satsolver.sh) S 10843 10842 7523 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385195782 9367552 267 33554432000 4194304 5064252 140734431589392 140734431588304 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10944/statm: 2287 267 226 213 0 72 0
[pid=10945] ppid=10944 vsize=233980 CPUtime=184.39 cores=1,3,5,7
/proc/10945/stat : 10945 (glucose) R 10944 10842 7523 0 -1 4202496 42863 0 0 0 18426 13 0 0 20 0 1 0 385195783 239595520 52096 33554432000 4194304 5208918 140737042094576 140737042092424 4229296 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10945/statm: 58495 52096 105 248 0 58244 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 411236
[startup+1662.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/183 10960
/proc/meminfo: memFree=30191304/32873844 swapFree=7116/7116
[pid=10842] ppid=10840 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10842/stat : 10842 (npSolver-wbo-I.) S 10840 10842 7523 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385053996 9367552 275 33554432000 4194304 5064252 140734748408512 140734748407424 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10842/statm: 2287 275 233 213 0 72 0
[pid=10843] ppid=10842 vsize=157560 CPUtime=1645.59 cores=1,3,5,7
/proc/10843/stat : 10843 (npSolver-wbo) S 10842 10842 7523 0 -1 4202496 37985 175495 0 0 528 86 163790 155 20 0 1 0 385053996 161341440 24296 33554432000 4194304 6006132 140736067436112 140736067427520 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10843/statm: 39390 24296 180 443 0 38943 0
[pid=10959] ppid=10843 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10959/stat : 10959 (satsolver.sh) S 10843 10842 7523 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385218586 9367552 267 33554432000 4194304 5064252 140735457601600 140735457600512 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10959/statm: 2287 267 226 213 0 72 0
[pid=10960] ppid=10959 vsize=208972 CPUtime=16.39 cores=1,3,5,7
/proc/10960/stat : 10960 (glucose) R 10959 10842 7523 0 -1 4202496 37751 0 0 0 1628 11 0 0 20 0 1 0 385218586 213987328 46538 33554432000 4194304 5208918 140733207338880 140733207336728 4211147 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10960/statm: 52243 46538 104 248 0 51992 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 384828
[startup+1722.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/183 10960
/proc/meminfo: memFree=30186184/32873844 swapFree=7116/7116
[pid=10842] ppid=10840 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10842/stat : 10842 (npSolver-wbo-I.) S 10840 10842 7523 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385053996 9367552 275 33554432000 4194304 5064252 140734748408512 140734748407424 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10842/statm: 2287 275 233 213 0 72 0
[pid=10843] ppid=10842 vsize=157560 CPUtime=1645.59 cores=1,3,5,7
/proc/10843/stat : 10843 (npSolver-wbo) S 10842 10842 7523 0 -1 4202496 37985 175495 0 0 528 86 163790 155 20 0 1 0 385053996 161341440 24296 33554432000 4194304 6006132 140736067436112 140736067427520 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10843/statm: 39390 24296 180 443 0 38943 0
[pid=10959] ppid=10843 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10959/stat : 10959 (satsolver.sh) S 10843 10842 7523 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385218586 9367552 267 33554432000 4194304 5064252 140735457601600 140735457600512 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10959/statm: 2287 267 226 213 0 72 0
[pid=10960] ppid=10959 vsize=211756 CPUtime=76.38 cores=1,3,5,7
/proc/10960/stat : 10960 (glucose) R 10959 10842 7523 0 -1 4202496 38432 0 0 0 7626 12 0 0 20 0 1 0 385218586 216838144 47730 33554432000 4194304 5208918 140733207338880 140733207336728 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10960/statm: 52939 47730 105 248 0 52688 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 387612
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/184 10970
/proc/meminfo: memFree=30225236/32873844 swapFree=7116/7116
[pid=10842] ppid=10840 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10842/stat : 10842 (npSolver-wbo-I.) S 10840 10842 7523 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385053996 9367552 275 33554432000 4194304 5064252 140734748408512 140734748407424 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10842/statm: 2287 275 233 213 0 72 0
[pid=10843] ppid=10842 vsize=92024 CPUtime=1736.57 cores=1,3,5,7
/proc/10843/stat : 10843 (npSolver-wbo) S 10842 10842 7523 0 -1 4202496 44548 220631 0 0 620 100 172740 197 20 0 1 0 385053996 94232576 22248 33554432000 4194304 6006132 140736067436112 140736067427520 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10843/statm: 23006 22248 180 443 0 22559 0
[pid=10969] ppid=10843 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10969/stat : 10969 (satsolver.sh) S 10843 10842 7523 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385227685 9367552 266 33554432000 4194304 5064252 140734139380448 140734139379360 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10969/statm: 2287 266 226 213 0 72 0
[pid=10970] ppid=10969 vsize=188984 CPUtime=45.39 cores=1,3,5,7
/proc/10970/stat : 10970 (glucose) R 10969 10842 7523 0 -1 4202496 35265 0 0 0 4528 11 0 0 20 0 1 0 385227685 193519616 42129 33554432000 4194304 5208918 140733403421936 140733403419688 4211038 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10970/statm: 47246 42129 104 248 0 46995 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 299304
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 10970
/proc/meminfo: memFree=30224872/32873844 swapFree=7116/7116
[pid=10842] ppid=10840 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10842/stat : 10842 (npSolver-wbo-I.) S 10840 10842 7523 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385053996 9367552 275 33554432000 4194304 5064252 140734748408512 140734748407424 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10842/statm: 2287 275 233 213 0 72 0
[pid=10843] ppid=10842 vsize=92024 CPUtime=1736.57 cores=1,3,5,7
/proc/10843/stat : 10843 (npSolver-wbo) S 10842 10842 7523 0 -1 4202496 44548 220631 0 0 620 100 172740 197 20 0 1 0 385053996 94232576 22248 33554432000 4194304 6006132 140736067436112 140736067427520 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10843/statm: 23006 22248 180 443 0 22559 0
[pid=10969] ppid=10843 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10969/stat : 10969 (satsolver.sh) S 10843 10842 7523 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385227685 9367552 266 33554432000 4194304 5064252 140734139380448 140734139379360 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10969/statm: 2287 266 226 213 0 72 0
[pid=10970] ppid=10969 vsize=189116 CPUtime=63.49 cores=1,3,5,7
/proc/10970/stat : 10970 (glucose) R 10969 10842 7523 0 -1 4202496 35310 0 0 0 6338 11 0 0 20 0 1 0 385227685 193654784 42174 33554432000 4194304 5208918 140733403421936 140733403419784 4229277 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10970/statm: 47279 42174 104 248 0 47028 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 299436
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 10842 and gives
# childrusage.ru_utime.tv_sec=1733
# childrusage.ru_utime.tv_usec=610451
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=992545
# CPU time returned by wait4() is 1736.6
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.42
CPU time (s): 1800.06
CPU user time (s): 1796.98
CPU system time (s): 3.08
CPU usage (%): 99.9802
Max. virtual memory (cumulated for all children) (KiB): 556676
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1733.61
system time used= 2.99254
maximum resident set size= 311500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 266156
page faults= 0
swaps= 0
block input operations= 0
block output operations= 844336
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3868
involuntary context switches= 1848
runsolver used 6.36703 second user time and 17.0684 second system time
The end