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-3755114-1339189710/watcher-3755114-1339189710 -o /tmp/evaluation-result-3755114-1339189710/solver-3755114-1339189710 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo.sh HOME/instance-3755114-1339189710.wbo 475355379 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: 1.98 2.00 2.00 3/182 6719
/proc/meminfo: memFree=30486092/32873844 swapFree=7124/7124
[pid=6719] ppid=6717 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6719/stat : 6719 (npSolver-wbo.sh) S 6717 6719 4273 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 28938069 9367552 275 33554432000 4194304 5064252 140733831451920 140733831450832 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6719/statm: 2287 275 233 213 0 72 0
[startup+0.0896089 s]
/proc/loadavg: 1.98 2.00 2.00 3/182 6719
/proc/meminfo: memFree=30486092/32873844 swapFree=7124/7124
[pid=6719] ppid=6717 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6719/stat : 6719 (npSolver-wbo.sh) S 6717 6719 4273 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 28938069 9367552 275 33554432000 4194304 5064252 140733831451920 140733831450832 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6719/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100352 s]
/proc/loadavg: 1.98 2.00 2.00 3/182 6719
/proc/meminfo: memFree=30486092/32873844 swapFree=7124/7124
[pid=6719] ppid=6717 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6719/stat : 6719 (npSolver-wbo.sh) S 6717 6719 4273 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 28938069 9367552 275 33554432000 4194304 5064252 140733831451920 140733831450832 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6719/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300263 s]
/proc/loadavg: 1.98 2.00 2.00 3/182 6719
/proc/meminfo: memFree=30486092/32873844 swapFree=7124/7124
[pid=6719] ppid=6717 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6719/stat : 6719 (npSolver-wbo.sh) S 6717 6719 4273 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 28938069 9367552 275 33554432000 4194304 5064252 140733831451920 140733831450832 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6719/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700167 s]
/proc/loadavg: 1.98 2.00 2.00 3/182 6719
/proc/meminfo: memFree=30486092/32873844 swapFree=7124/7124
[pid=6719] ppid=6717 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6719/stat : 6719 (npSolver-wbo.sh) S 6717 6719 4273 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 28938069 9367552 275 33554432000 4194304 5064252 140733831451920 140733831450832 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6719/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50036 s]
/proc/loadavg: 1.98 2.00 2.00 3/186 6723
/proc/meminfo: memFree=30391556/32873844 swapFree=7124/7124
[pid=6719] ppid=6717 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6719/stat : 6719 (npSolver-wbo.sh) S 6717 6719 4273 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 28938069 9367552 275 33554432000 4194304 5064252 140733831451920 140733831450832 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6719/statm: 2287 275 233 213 0 72 0
[pid=6720] ppid=6719 vsize=28072 CPUtime=0.56 cores=1,3,5,7
/proc/6720/stat : 6720 (npSolver-wbo) S 6719 6719 4273 0 -1 4202496 6928 0 0 0 50 6 0 0 20 0 1 0 28938069 28745728 6341 33554432000 4194304 6006132 140734648105856 140734648098960 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6720/statm: 7018 6341 158 443 0 6571 0
[pid=6722] ppid=6720 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6722/stat : 6722 (cp2_pre.sh) S 6720 6719 4273 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 28938126 9367552 276 33554432000 4194304 5064252 140735514398112 140735514396816 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6722/statm: 2287 276 234 213 0 72 0
[pid=6723] ppid=6722 vsize=70536 CPUtime=0.91 cores=1,3,5,7
/proc/6723/stat : 6723 (coprocessor) R 6722 6719 4273 0 -1 4202496 13293 0 0 0 89 2 0 0 20 0 1 0 28938127 72228864 16945 33554432000 4194304 6586260 140736104293120 140736104288440 5599298 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/6723/statm: 17634 16945 192 584 0 17046 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 116904
############
# WARNING:
# current cumulated CPU time (2.47 s) is less than in the last sample (2.47 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (2.38419e-07 s) to the 'lost time'.
[startup+2.50174 s]
/proc/loadavg: 1.98 2.00 2.00 3/186 6723
/proc/meminfo: memFree=30389952/32873844 swapFree=7124/7124
[pid=6719] ppid=6717 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6719/stat : 6719 (npSolver-wbo.sh) S 6717 6719 4273 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 28938069 9367552 275 33554432000 4194304 5064252 140733831451920 140733831450832 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6719/statm: 2287 275 233 213 0 72 0
[pid=6720] ppid=6719 vsize=28072 CPUtime=0.56 cores=1,3,5,7
/proc/6720/stat : 6720 (npSolver-wbo) S 6719 6719 4273 0 -1 4202496 6928 0 0 0 50 6 0 0 20 0 1 0 28938069 28745728 6341 33554432000 4194304 6006132 140734648105856 140734648098960 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6720/statm: 7018 6341 158 443 0 6571 0
[pid=6722] ppid=6720 vsize=0 CPUtime=1.91 cores=1,3,5,7
/proc/6722/stat : 6722 (cp2_pre.sh) R 6720 6719 4273 0 -1 4202500 647 14589 0 0 0 0 186 5 20 0 1 0 28938126 0 0 33554432000 0 0 0 0 0 0 0 4100 65536 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6722/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.47
Current children cumulated vsize (KiB) 37220
[startup+2.60033 s]
/proc/loadavg: 1.98 2.00 2.00 3/186 6723
/proc/meminfo: memFree=30389952/32873844 swapFree=7124/7124
[pid=6719] ppid=6717 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6719/stat : 6719 (npSolver-wbo.sh) S 6717 6719 4273 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 28938069 9367552 275 33554432000 4194304 5064252 140733831451920 140733831450832 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6719/statm: 2287 275 233 213 0 72 0
[pid=6720] ppid=6719 vsize=28072 CPUtime=2.47 cores=1,3,5,7
/proc/6720/stat : 6720 (npSolver-wbo) S 6719 6719 4273 0 -1 4202496 6936 15236 0 0 50 6 186 5 20 0 1 0 28938069 28745728 6341 33554432000 4194304 6006132 140734648105856 140734648100048 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6720/statm: 7018 6341 158 443 0 6571 0
Current children cumulated CPU time (s) 2.47
Current children cumulated vsize (KiB) 37220
#
############
[startup+3.10027 s]
/proc/loadavg: 1.98 2.00 2.00 3/186 6723
/proc/meminfo: memFree=30389952/32873844 swapFree=7124/7124
[pid=6719] ppid=6717 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6719/stat : 6719 (npSolver-wbo.sh) S 6717 6719 4273 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 28938069 9367552 275 33554432000 4194304 5064252 140733831451920 140733831450832 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6719/statm: 2287 275 233 213 0 72 0
[pid=6720] ppid=6719 vsize=28072 CPUtime=3.06 cores=1,3,5,7
/proc/6720/stat : 6720 (npSolver-wbo) R 6719 6719 4273 0 -1 4202496 7840 24417 0 0 55 26 218 7 20 0 1 0 28938069 28745728 6344 33554432000 4194304 6006132 140734648105856 140734648099112 5192048 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6720/statm: 7018 6344 161 443 0 6571 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 37220
[startup+6.30022 s]
/proc/loadavg: 1.98 2.00 2.00 3/184 6731
/proc/meminfo: memFree=30261180/32873844 swapFree=7124/7124
[pid=6719] ppid=6717 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6719/stat : 6719 (npSolver-wbo.sh) S 6717 6719 4273 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 28938069 9367552 275 33554432000 4194304 5064252 140733831451920 140733831450832 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6719/statm: 2287 275 233 213 0 72 0
[pid=6720] ppid=6719 vsize=322632 CPUtime=6.21 cores=1,3,5,7
/proc/6720/stat : 6720 (npSolver-wbo) S 6719 6719 4273 0 -1 4202496 18260 24934 0 0 327 68 218 8 20 0 1 0 28938069 330375168 62619 33554432000 4194304 6006132 140734648105856 140734648097264 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 1 0 0
/proc/6720/statm: 80658 62619 180 443 0 80211 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 331780
[startup+12.7004 s]
/proc/loadavg: 1.98 2.00 2.00 3/186 6733
/proc/meminfo: memFree=29561436/32873844 swapFree=7124/7124
[pid=6719] ppid=6717 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6719/stat : 6719 (npSolver-wbo.sh) S 6717 6719 4273 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 28938069 9367552 275 33554432000 4194304 5064252 140733831451920 140733831450832 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6719/statm: 2287 275 233 213 0 72 0
[pid=6720] ppid=6719 vsize=322632 CPUtime=6.21 cores=1,3,5,7
/proc/6720/stat : 6720 (npSolver-wbo) S 6719 6719 4273 0 -1 4202496 18260 24934 0 0 327 68 218 8 20 0 1 0 28938069 330375168 62619 33554432000 4194304 6006132 140734648105856 140734648097264 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 1 0 0
/proc/6720/statm: 80658 62619 180 443 0 80211 0
[pid=6732] ppid=6720 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6732/stat : 6732 (satsolver.sh) S 6720 6719 4273 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 28938694 9367552 267 33554432000 4194304 5064252 140734065293840 140734065292752 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6732/statm: 2287 267 226 213 0 72 0
[pid=6733] ppid=6732 vsize=553972 CPUtime=6.43 cores=1,3,5,7
/proc/6733/stat : 6733 (glucose) R 6732 6719 4273 0 -1 4202496 79784 0 0 0 616 27 0 0 20 0 1 0 28938695 567267328 115971 33554432000 4194304 5208918 140733835810416 140733835808248 4229365 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/6733/statm: 138493 115971 104 248 0 138242 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 894900
[startup+25.5005 s]
/proc/loadavg: 2.06 2.01 2.00 3/186 6740
/proc/meminfo: memFree=29637484/32873844 swapFree=7124/7124
[pid=6719] ppid=6717 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6719/stat : 6719 (npSolver-wbo.sh) S 6717 6719 4273 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 28938069 9367552 275 33554432000 4194304 5064252 140733831451920 140733831450832 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6719/statm: 2287 275 233 213 0 72 0
[pid=6720] ppid=6719 vsize=322632 CPUtime=6.21 cores=1,3,5,7
/proc/6720/stat : 6720 (npSolver-wbo) S 6719 6719 4273 0 -1 4202496 18260 24934 0 0 327 68 218 8 20 0 1 0 28938069 330375168 62619 33554432000 4194304 6006132 140734648105856 140734648097264 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 1 0 0
/proc/6720/statm: 80658 62619 180 443 0 80211 0
[pid=6732] ppid=6720 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6732/stat : 6732 (satsolver.sh) S 6720 6719 4273 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 28938694 9367552 267 33554432000 4194304 5064252 140734065293840 140734065292752 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6732/statm: 2287 267 226 213 0 72 0
[pid=6733] ppid=6732 vsize=553972 CPUtime=19.23 cores=1,3,5,7
/proc/6733/stat : 6733 (glucose) R 6732 6719 4273 0 -1 4202496 79787 0 0 0 1896 27 0 0 20 0 1 0 28938695 567267328 115974 33554432000 4194304 5208918 140733835810416 140733835808248 4210874 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/6733/statm: 138493 115974 104 248 0 138242 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 894900
[startup+51.1003 s]
/proc/loadavg: 2.04 2.01 2.00 3/185 6747
/proc/meminfo: memFree=29719556/32873844 swapFree=7124/7124
[pid=6719] ppid=6717 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6719/stat : 6719 (npSolver-wbo.sh) S 6717 6719 4273 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 28938069 9367552 275 33554432000 4194304 5064252 140733831451920 140733831450832 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6719/statm: 2287 275 233 213 0 72 0
[pid=6720] ppid=6719 vsize=322632 CPUtime=6.21 cores=1,3,5,7
/proc/6720/stat : 6720 (npSolver-wbo) S 6719 6719 4273 0 -1 4202496 18260 24934 0 0 327 68 218 8 20 0 1 0 28938069 330375168 62619 33554432000 4194304 6006132 140734648105856 140734648097264 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 1 0 0
/proc/6720/statm: 80658 62619 180 443 0 80211 0
[pid=6732] ppid=6720 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6732/stat : 6732 (satsolver.sh) S 6720 6719 4273 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 28938694 9367552 267 33554432000 4194304 5064252 140734065293840 140734065292752 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6732/statm: 2287 267 226 213 0 72 0
[pid=6733] ppid=6732 vsize=553972 CPUtime=44.82 cores=1,3,5,7
/proc/6733/stat : 6733 (glucose) R 6732 6719 4273 0 -1 4202496 79788 0 0 0 4455 27 0 0 20 0 1 0 28938695 567267328 115975 33554432000 4194304 5208918 140733835810416 140733835808248 4205181 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6733/statm: 138493 115975 104 248 0 138242 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 894900
[startup+102.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/186 6842
/proc/meminfo: memFree=28926552/32873844 swapFree=7124/7124
################
# More data... #
################
/proc/6719/stat : 6719 (npSolver-wbo.sh) S 6717 6719 4273 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 28938069 9367552 275 33554432000 4194304 5064252 140733831451920 140733831450832 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6719/statm: 2287 275 233 213 0 72 0
[pid=6720] ppid=6719 vsize=322632 CPUtime=6.21 cores=1,3,5,7
/proc/6720/stat : 6720 (npSolver-wbo) S 6719 6719 4273 0 -1 4202496 18260 24934 0 0 327 68 218 8 20 0 1 0 28938069 330375168 62619 33554432000 4194304 6006132 140734648105856 140734648097264 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 1 0 0
/proc/6720/statm: 80658 62619 180 443 0 80211 0
[pid=6732] ppid=6720 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6732/stat : 6732 (satsolver.sh) S 6720 6719 4273 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 28938694 9367552 267 33554432000 4194304 5064252 140734065293840 140734065292752 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6732/statm: 2287 267 226 213 0 72 0
[pid=6733] ppid=6732 vsize=563244 CPUtime=1415.8 cores=1,3,5,7
/proc/6733/stat : 6733 (glucose) R 6732 6719 4273 0 -1 4202496 82910 0 0 0 141549 31 0 0 20 0 1 0 28938695 576761856 124095 33554432000 4194304 5208918 140733835810416 140733835808264 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6733/statm: 140811 124095 104 248 0 140560 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 904172
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 6854
/proc/meminfo: memFree=28884664/32873844 swapFree=7124/7124
[pid=6719] ppid=6717 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6719/stat : 6719 (npSolver-wbo.sh) S 6717 6719 4273 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 28938069 9367552 275 33554432000 4194304 5064252 140733831451920 140733831450832 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6719/statm: 2287 275 233 213 0 72 0
[pid=6720] ppid=6719 vsize=322632 CPUtime=6.21 cores=1,3,5,7
/proc/6720/stat : 6720 (npSolver-wbo) S 6719 6719 4273 0 -1 4202496 18260 24934 0 0 327 68 218 8 20 0 1 0 28938069 330375168 62619 33554432000 4194304 6006132 140734648105856 140734648097264 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 1 0 0
/proc/6720/statm: 80658 62619 180 443 0 80211 0
[pid=6732] ppid=6720 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6732/stat : 6732 (satsolver.sh) S 6720 6719 4273 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 28938694 9367552 267 33554432000 4194304 5064252 140734065293840 140734065292752 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6732/statm: 2287 267 226 213 0 72 0
[pid=6733] ppid=6732 vsize=564052 CPUtime=1475.78 cores=1,3,5,7
/proc/6733/stat : 6733 (glucose) R 6732 6719 4273 0 -1 4202496 83121 0 0 0 147547 31 0 0 20 0 1 0 28938695 577589248 124817 33554432000 4194304 5208918 140733835810416 140733835806792 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6733/statm: 141013 124817 104 248 0 140762 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 904980
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 6854
/proc/meminfo: memFree=28877900/32873844 swapFree=7124/7124
[pid=6719] ppid=6717 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6719/stat : 6719 (npSolver-wbo.sh) S 6717 6719 4273 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 28938069 9367552 275 33554432000 4194304 5064252 140733831451920 140733831450832 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6719/statm: 2287 275 233 213 0 72 0
[pid=6720] ppid=6719 vsize=322632 CPUtime=6.21 cores=1,3,5,7
/proc/6720/stat : 6720 (npSolver-wbo) S 6719 6719 4273 0 -1 4202496 18260 24934 0 0 327 68 218 8 20 0 1 0 28938069 330375168 62619 33554432000 4194304 6006132 140734648105856 140734648097264 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 1 0 0
/proc/6720/statm: 80658 62619 180 443 0 80211 0
[pid=6732] ppid=6720 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6732/stat : 6732 (satsolver.sh) S 6720 6719 4273 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 28938694 9367552 267 33554432000 4194304 5064252 140734065293840 140734065292752 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6732/statm: 2287 267 226 213 0 72 0
[pid=6733] ppid=6732 vsize=564756 CPUtime=1535.77 cores=1,3,5,7
/proc/6733/stat : 6733 (glucose) R 6732 6719 4273 0 -1 4202496 83307 0 0 0 153546 31 0 0 20 0 1 0 28938695 578310144 126025 33554432000 4194304 5208918 140733835810416 140733835808168 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6733/statm: 141189 126025 104 248 0 140938 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 905684
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 6854
/proc/meminfo: memFree=28872812/32873844 swapFree=7124/7124
[pid=6719] ppid=6717 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6719/stat : 6719 (npSolver-wbo.sh) S 6717 6719 4273 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 28938069 9367552 275 33554432000 4194304 5064252 140733831451920 140733831450832 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6719/statm: 2287 275 233 213 0 72 0
[pid=6720] ppid=6719 vsize=322632 CPUtime=6.21 cores=1,3,5,7
/proc/6720/stat : 6720 (npSolver-wbo) S 6719 6719 4273 0 -1 4202496 18260 24934 0 0 327 68 218 8 20 0 1 0 28938069 330375168 62619 33554432000 4194304 6006132 140734648105856 140734648097264 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 1 0 0
/proc/6720/statm: 80658 62619 180 443 0 80211 0
[pid=6732] ppid=6720 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6732/stat : 6732 (satsolver.sh) S 6720 6719 4273 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 28938694 9367552 267 33554432000 4194304 5064252 140734065293840 140734065292752 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6732/statm: 2287 267 226 213 0 72 0
[pid=6733] ppid=6732 vsize=565660 CPUtime=1595.77 cores=1,3,5,7
/proc/6733/stat : 6733 (glucose) R 6732 6719 4273 0 -1 4202496 83511 0 0 0 159546 31 0 0 20 0 1 0 28938695 579235840 127251 33554432000 4194304 5208918 140733835810416 140733835808168 4211665 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6733/statm: 141415 127251 104 248 0 141164 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 906588
[startup+1662.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/185 6854
/proc/meminfo: memFree=28868408/32873844 swapFree=7124/7124
[pid=6719] ppid=6717 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6719/stat : 6719 (npSolver-wbo.sh) S 6717 6719 4273 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 28938069 9367552 275 33554432000 4194304 5064252 140733831451920 140733831450832 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6719/statm: 2287 275 233 213 0 72 0
[pid=6720] ppid=6719 vsize=322632 CPUtime=6.21 cores=1,3,5,7
/proc/6720/stat : 6720 (npSolver-wbo) S 6719 6719 4273 0 -1 4202496 18260 24934 0 0 327 68 218 8 20 0 1 0 28938069 330375168 62619 33554432000 4194304 6006132 140734648105856 140734648097264 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 1 0 0
/proc/6720/statm: 80658 62619 180 443 0 80211 0
[pid=6732] ppid=6720 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6732/stat : 6732 (satsolver.sh) S 6720 6719 4273 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 28938694 9367552 267 33554432000 4194304 5064252 140734065293840 140734065292752 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6732/statm: 2287 267 226 213 0 72 0
[pid=6733] ppid=6732 vsize=568744 CPUtime=1655.75 cores=1,3,5,7
/proc/6733/stat : 6733 (glucose) R 6732 6719 4273 0 -1 4202496 84122 0 0 0 165544 31 0 0 20 0 1 0 28938695 582393856 128373 33554432000 4194304 5208918 140733835810416 140733835808376 4211574 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6733/statm: 142186 128373 104 248 0 141935 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 909672
[startup+1722.31 s]
/proc/loadavg: 2.02 2.01 2.00 3/184 6854
/proc/meminfo: memFree=28866360/32873844 swapFree=7124/7124
[pid=6719] ppid=6717 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6719/stat : 6719 (npSolver-wbo.sh) S 6717 6719 4273 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 28938069 9367552 275 33554432000 4194304 5064252 140733831451920 140733831450832 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6719/statm: 2287 275 233 213 0 72 0
[pid=6720] ppid=6719 vsize=322632 CPUtime=6.21 cores=1,3,5,7
/proc/6720/stat : 6720 (npSolver-wbo) S 6719 6719 4273 0 -1 4202496 18260 24934 0 0 327 68 218 8 20 0 1 0 28938069 330375168 62619 33554432000 4194304 6006132 140734648105856 140734648097264 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 1 0 0
/proc/6720/statm: 80658 62619 180 443 0 80211 0
[pid=6732] ppid=6720 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6732/stat : 6732 (satsolver.sh) S 6720 6719 4273 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 28938694 9367552 267 33554432000 4194304 5064252 140734065293840 140734065292752 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6732/statm: 2287 267 226 213 0 72 0
[pid=6733] ppid=6732 vsize=568744 CPUtime=1715.76 cores=1,3,5,7
/proc/6733/stat : 6733 (glucose) R 6732 6719 4273 0 -1 4202496 84124 0 0 0 171544 32 0 0 20 0 1 0 28938695 582393856 128886 33554432000 4194304 5208918 140733835810416 140733835808376 4211013 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6733/statm: 142186 128886 104 248 0 141935 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 909672
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 6855
/proc/meminfo: memFree=28865988/32873844 swapFree=7124/7124
[pid=6719] ppid=6717 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6719/stat : 6719 (npSolver-wbo.sh) S 6717 6719 4273 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 28938069 9367552 275 33554432000 4194304 5064252 140733831451920 140733831450832 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6719/statm: 2287 275 233 213 0 72 0
[pid=6720] ppid=6719 vsize=322632 CPUtime=6.21 cores=1,3,5,7
/proc/6720/stat : 6720 (npSolver-wbo) S 6719 6719 4273 0 -1 4202496 18260 24934 0 0 327 68 218 8 20 0 1 0 28938069 330375168 62619 33554432000 4194304 6006132 140734648105856 140734648097264 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 1 0 0
/proc/6720/statm: 80658 62619 180 443 0 80211 0
[pid=6732] ppid=6720 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6732/stat : 6732 (satsolver.sh) S 6720 6719 4273 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 28938694 9367552 267 33554432000 4194304 5064252 140734065293840 140734065292752 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6732/statm: 2287 267 226 213 0 72 0
[pid=6733] ppid=6732 vsize=568744 CPUtime=1775.74 cores=1,3,5,7
/proc/6733/stat : 6733 (glucose) R 6732 6719 4273 0 -1 4202496 84141 0 0 0 177542 32 0 0 20 0 1 0 28938695 582393856 128903 33554432000 4194304 5208918 140733835810416 140733835808376 4211570 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6733/statm: 142186 128903 104 248 0 141935 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 909672
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.41 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 6855
/proc/meminfo: memFree=28865616/32873844 swapFree=7124/7124
[pid=6719] ppid=6717 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6719/stat : 6719 (npSolver-wbo.sh) S 6717 6719 4273 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 28938069 9367552 275 33554432000 4194304 5064252 140733831451920 140733831450832 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6719/statm: 2287 275 233 213 0 72 0
[pid=6720] ppid=6719 vsize=322632 CPUtime=6.21 cores=1,3,5,7
/proc/6720/stat : 6720 (npSolver-wbo) S 6719 6719 4273 0 -1 4202496 18260 24934 0 0 327 68 218 8 20 0 1 0 28938069 330375168 62619 33554432000 4194304 6006132 140734648105856 140734648097264 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 1 0 0
/proc/6720/statm: 80658 62619 180 443 0 80211 0
[pid=6732] ppid=6720 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6732/stat : 6732 (satsolver.sh) S 6720 6719 4273 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 28938694 9367552 267 33554432000 4194304 5064252 140734065293840 140734065292752 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6732/statm: 2287 267 226 213 0 72 0
[pid=6733] ppid=6732 vsize=568744 CPUtime=1793.85 cores=1,3,5,7
/proc/6733/stat : 6733 (glucose) R 6732 6719 4273 0 -1 4202496 84271 0 0 0 179353 32 0 0 20 0 1 0 28938695 582393856 129028 33554432000 4194304 5208918 140733835810416 140733835806200 4229251 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6733/statm: 142186 129028 104 248 0 141935 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 909672
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 6719 and gives
# childrusage.ru_utime.tv_sec=5
# childrusage.ru_utime.tv_usec=466169
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=777881
# CPU time returned by wait4() is 6.24405
# 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...
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 2.38419e-07
# lost CPU user time (s): 2.38419e-07
# lost CPU system time (s): 0
Real time (s): 1800.42
CPU time (s): 1800.06
CPU user time (s): 1798.98
CPU system time (s): 1.08
CPU usage (%): 99.9798
Max. virtual memory (cumulated for all children) (KiB): 1087532
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.46617
system time used= 0.777881
maximum resident set size= 442528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44171
page faults= 0
swaps= 0
block input operations= 8
block output operations= 413312
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 208
involuntary context switches= 35
runsolver used 3.15052 second user time and 8.36873 second system time
The end