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-3714975-1338185591/watcher-3714975-1338185591 -o /tmp/evaluation-result-3714975-1338185591/solver-3714975-1338185591 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3714975-1338185591.wbo 1939581645 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.02 2.03 2.00 3/179 13801
/proc/meminfo: memFree=27884936/32873648 swapFree=6864/6864
[pid=13801] ppid=13799 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13801/stat : 13801 (npSolver-wbo-It) S 13799 13801 8283 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 284685135 9367552 275 33554432000 4194304 5064252 140736888198400 140736888197312 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13801/statm: 2287 275 233 213 0 72 0
[startup+0.069961 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 13801
/proc/meminfo: memFree=27884936/32873648 swapFree=6864/6864
[pid=13801] ppid=13799 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13801/stat : 13801 (npSolver-wbo-It) S 13799 13801 8283 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 284685135 9367552 275 33554432000 4194304 5064252 140736888198400 140736888197312 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13801/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100183 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 13801
/proc/meminfo: memFree=27884936/32873648 swapFree=6864/6864
[pid=13801] ppid=13799 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13801/stat : 13801 (npSolver-wbo-It) S 13799 13801 8283 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 284685135 9367552 275 33554432000 4194304 5064252 140736888198400 140736888197312 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13801/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300182 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 13801
/proc/meminfo: memFree=27884936/32873648 swapFree=6864/6864
[pid=13801] ppid=13799 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13801/stat : 13801 (npSolver-wbo-It) S 13799 13801 8283 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 284685135 9367552 275 33554432000 4194304 5064252 140736888198400 140736888197312 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13801/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700204 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 13801
/proc/meminfo: memFree=27884936/32873648 swapFree=6864/6864
[pid=13801] ppid=13799 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13801/stat : 13801 (npSolver-wbo-It) S 13799 13801 8283 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 284685135 9367552 275 33554432000 4194304 5064252 140736888198400 140736888197312 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13801/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50021 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 13805
/proc/meminfo: memFree=27847192/32873648 swapFree=6864/6864
[pid=13801] ppid=13799 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13801/stat : 13801 (npSolver-wbo-It) S 13799 13801 8283 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 284685135 9367552 275 33554432000 4194304 5064252 140736888198400 140736888197312 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13801/statm: 2287 275 233 213 0 72 0
[pid=13802] ppid=13801 vsize=6356 CPUtime=1.27 cores=1,3,5,7
/proc/13802/stat : 13802 (npSolver-wbo) S 13801 13801 8283 0 -1 4202496 2795 11365 0 0 14 0 100 13 20 0 1 0 284685135 6508544 1026 33554432000 4194304 5990268 140737408414928 140737408409168 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13802/statm: 1589 1026 157 439 0 1146 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 15504
[startup+3.10014 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 13811
/proc/meminfo: memFree=27868644/32873648 swapFree=6864/6864
[pid=13801] ppid=13799 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13801/stat : 13801 (npSolver-wbo-It) S 13799 13801 8283 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 284685135 9367552 275 33554432000 4194304 5064252 140736888198400 140736888197312 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13801/statm: 2287 275 233 213 0 72 0
[pid=13802] ppid=13801 vsize=13216 CPUtime=2.2 cores=1,3,5,7
/proc/13802/stat : 13802 (npSolver-wbo) S 13801 13801 8283 0 -1 4202496 4987 20413 0 0 19 7 179 15 20 0 1 0 284685135 13533184 2418 33554432000 4194304 5990268 140737408414928 140737408406352 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13802/statm: 3304 2418 164 439 0 2861 0
Current children cumulated CPU time (s) 2.2
Current children cumulated vsize (KiB) 22364
heavy processes:
############
# WARNING:
# current cumulated CPU time (3.81 s) is less than in the last sample (5.26 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (1.45 s) to the 'lost time'.
[startup+5.30029 s]
/proc/loadavg: 1.94 2.01 1.99 3/183 13829
/proc/meminfo: memFree=27904528/32873648 swapFree=6864/6864
[pid=13801] ppid=13799 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13801/stat : 13801 (npSolver-wbo-It) S 13799 13801 8283 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 284685135 9367552 275 33554432000 4194304 5064252 140736888198400 140736888197312 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13801/statm: 2287 275 233 213 0 72 0
[pid=13802] ppid=13801 vsize=11168 CPUtime=3.81 cores=1,3,5,7
/proc/13802/stat : 13802 (npSolver-wbo) S 13801 13801 8283 0 -1 4202496 6226 33653 0 0 21 7 330 23 20 0 1 0 284685135 11436032 2022 33554432000 4194304 5990268 140737408414928 140737408406352 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13802/statm: 2792 2022 164 439 0 2349 0
[pid=13828] ppid=13802 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13828/stat : 13828 (satsolver.sh) S 13802 13801 8283 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284685518 9367552 266 33554432000 4194304 5064252 140734681643792 140734681642704 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/13828/statm: 2287 266 226 213 0 72 0
[pid=13829] ppid=13828 vsize=28448 CPUtime=1.45 cores=1,3,5,7
/proc/13829/stat : 13829 (glucose) R 13828 13801 8283 0 -1 4202496 6690 0 0 0 145 0 0 0 20 0 1 0 284685518 29130752 5826 33554432000 4194304 5208918 140736046209552 140736046207464 4231508 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13829/statm: 7112 5826 104 248 0 6861 0
Current children cumulated CPU time (s) 5.26
Current children cumulated vsize (KiB) 57912
[startup+5.4003 s]
/proc/loadavg: 1.94 2.01 1.99 3/183 13829
/proc/meminfo: memFree=27901244/32873648 swapFree=6864/6864
[pid=13801] ppid=13799 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13801/stat : 13801 (npSolver-wbo-It) S 13799 13801 8283 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 284685135 9367552 275 33554432000 4194304 5064252 140736888198400 140736888197312 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13801/statm: 2287 275 233 213 0 72 0
[pid=13802] ppid=13801 vsize=11168 CPUtime=3.81 cores=1,3,5,7
/proc/13802/stat : 13802 (npSolver-wbo) S 13801 13801 8283 0 -1 4202496 6226 33653 0 0 21 7 330 23 20 0 1 0 284685135 11436032 2022 33554432000 4194304 5990268 140737408414928 140737408406352 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13802/statm: 2792 2022 164 439 0 2349 0
Current children cumulated CPU time (s) 3.81
Current children cumulated vsize (KiB) 20316
#
############
[startup+6.30015 s]
/proc/loadavg: 1.94 2.01 1.99 3/183 13829
/proc/meminfo: memFree=27901244/32873648 swapFree=6864/6864
[pid=13801] ppid=13799 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13801/stat : 13801 (npSolver-wbo-It) S 13799 13801 8283 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 284685135 9367552 275 33554432000 4194304 5064252 140736888198400 140736888197312 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13801/statm: 2287 275 233 213 0 72 0
[pid=13802] ppid=13801 vsize=11168 CPUtime=5.51 cores=1,3,5,7
/proc/13802/stat : 13802 (npSolver-wbo) S 13801 13801 8283 0 -1 4202496 7432 45980 0 0 23 7 492 29 20 0 1 0 284685135 11436032 2022 33554432000 4194304 5990268 140737408414928 140737408406352 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13802/statm: 2792 2022 164 439 0 2349 0
Current children cumulated CPU time (s) 5.51
Current children cumulated vsize (KiB) 20316
[startup+12.7004 s]
/proc/loadavg: 1.94 2.01 1.99 3/183 13857
/proc/meminfo: memFree=27892768/32873648 swapFree=6864/6864
[pid=13801] ppid=13799 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13801/stat : 13801 (npSolver-wbo-It) S 13799 13801 8283 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 284685135 9367552 275 33554432000 4194304 5064252 140736888198400 140736888197312 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13801/statm: 2287 275 233 213 0 72 0
[pid=13802] ppid=13801 vsize=11168 CPUtime=12.02 cores=1,3,5,7
/proc/13802/stat : 13802 (npSolver-wbo) S 13801 13801 8283 0 -1 4202496 11027 85557 0 0 29 8 1120 45 20 0 1 0 284685135 11436032 2022 33554432000 4194304 5990268 140737408414928 140737408406352 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13802/statm: 2792 2022 164 439 0 2349 0
[pid=13856] ppid=13802 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13856/stat : 13856 (satsolver.sh) S 13802 13801 8283 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284686340 9367552 267 33554432000 4194304 5064252 140734135167440 140734135166352 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/13856/statm: 2287 267 226 213 0 72 0
[pid=13857] ppid=13856 vsize=25436 CPUtime=0.63 cores=1,3,5,7
/proc/13857/stat : 13857 (glucose) R 13856 13801 8283 0 -1 4202496 5307 0 0 0 63 0 0 0 20 0 1 0 284686341 26046464 5125 33554432000 4194304 5208918 140734373297792 140734373295640 4229021 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13857/statm: 6359 5125 104 248 0 6108 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 54900
[startup+25.5004 s]
/proc/loadavg: 1.96 2.01 1.99 3/183 13899
/proc/meminfo: memFree=27877640/32873648 swapFree=6864/6864
[pid=13801] ppid=13799 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13801/stat : 13801 (npSolver-wbo-It) S 13799 13801 8283 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 284685135 9367552 275 33554432000 4194304 5064252 140736888198400 140736888197312 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13801/statm: 2287 275 233 213 0 72 0
[pid=13802] ppid=13801 vsize=11168 CPUtime=24.44 cores=1,3,5,7
/proc/13802/stat : 13802 (npSolver-wbo) S 13801 13801 8283 0 -1 4202496 17980 159192 0 0 39 9 2321 75 20 0 1 0 284685135 11436032 2022 33554432000 4194304 5990268 140737408414928 140737408406352 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13802/statm: 2792 2022 164 439 0 2349 0
[pid=13898] ppid=13802 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13898/stat : 13898 (satsolver.sh) S 13802 13801 8283 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284687584 9367552 267 33554432000 4194304 5064252 140734911429024 140734911427936 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/13898/statm: 2287 267 226 213 0 72 0
[pid=13899] ppid=13898 vsize=22372 CPUtime=0.99 cores=1,3,5,7
/proc/13899/stat : 13899 (glucose) R 13898 13801 8283 0 -1 4202496 5766 0 0 0 98 1 0 0 20 0 1 0 284687584 22908928 4876 33554432000 4194304 5208918 140736908088112 140736908086056 4228997 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13899/statm: 5593 4876 103 248 0 5342 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 51836
[startup+51.1003 s]
/proc/loadavg: 2.03 2.02 2.00 3/183 14004
/proc/meminfo: memFree=27884160/32873648 swapFree=6864/6864
[pid=13801] ppid=13799 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13801/stat : 13801 (npSolver-wbo-It) S 13799 13801 8283 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 284685135 9367552 275 33554432000 4194304 5064252 140736888198400 140736888197312 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13801/statm: 2287 275 233 213 0 72 0
[pid=13802] ppid=13801 vsize=11168 CPUtime=50.6 cores=1,3,5,7
/proc/13802/stat : 13802 (npSolver-wbo) S 13801 13801 8283 0 -1 4202496 28256 306479 0 0 55 12 4864 129 20 0 1 0 284685135 11436032 2022 33554432000 4194304 5990268 140737408414928 140737408406352 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13802/statm: 2792 2022 164 439 0 2349 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 20316
[startup+102.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 14151
/proc/meminfo: memFree=27877612/32873648 swapFree=6864/6864
[pid=13801] ppid=13799 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13801/stat : 13801 (npSolver-wbo-It) S 13799 13801 8283 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 284685135 9367552 275 33554432000 4194304 5064252 140736888198400 140736888197312 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13801/statm: 2287 275 233 213 0 72 0
[pid=13802] ppid=13801 vsize=11168 CPUtime=87.33 cores=1,3,5,7
/proc/13802/stat : 13802 (npSolver-wbo) S 13801 13801 8283 0 -1 4202496 35983 479932 0 0 63 13 8484 173 20 0 1 0 284685135 11436032 2023 33554432000 4194304 5990268 140737408414928 140737408406352 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13802/statm: 2792 2023 165 439 0 2349 0
[pid=14146] ppid=13802 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14146/stat : 14146 (satsolver.sh) S 13802 13801 8283 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284693881 9367552 267 33554432000 4194304 5064252 140736886443280 140736886442192 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
################
# More data... #
################
/proc/13801/stat : 13801 (npSolver-wbo-It) S 13799 13801 8283 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 284685135 9367552 275 33554432000 4194304 5064252 140736888198400 140736888197312 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13801/statm: 2287 275 233 213 0 72 0
[pid=13802] ppid=13801 vsize=11168 CPUtime=87.33 cores=1,3,5,7
/proc/13802/stat : 13802 (npSolver-wbo) S 13801 13801 8283 0 -1 4202496 35983 479932 0 0 63 13 8484 173 20 0 1 0 284685135 11436032 2023 33554432000 4194304 5990268 140737408414928 140737408406352 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13802/statm: 2792 2023 165 439 0 2349 0
[pid=14146] ppid=13802 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14146/stat : 14146 (satsolver.sh) S 13802 13801 8283 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284693881 9367552 267 33554432000 4194304 5064252 140736886443280 140736886442192 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/14146/statm: 2287 267 226 213 0 72 0
[pid=14147] ppid=14146 vsize=202428 CPUtime=1334.6 cores=1,3,5,7
/proc/14147/stat : 14147 (glucose) R 14146 13801 8283 0 -1 4202496 32848 0 0 0 133418 42 0 0 20 0 1 0 284693882 207286272 43489 33554432000 4194304 5208918 140736935953616 140736935949928 4229251 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14147/statm: 50607 43489 105 248 0 50356 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 231892
[startup+1482.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 14205
/proc/meminfo: memFree=27707556/32873648 swapFree=6864/6864
[pid=13801] ppid=13799 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13801/stat : 13801 (npSolver-wbo-It) S 13799 13801 8283 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 284685135 9367552 275 33554432000 4194304 5064252 140736888198400 140736888197312 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13801/statm: 2287 275 233 213 0 72 0
[pid=13802] ppid=13801 vsize=11168 CPUtime=87.33 cores=1,3,5,7
/proc/13802/stat : 13802 (npSolver-wbo) S 13801 13801 8283 0 -1 4202496 35983 479932 0 0 63 13 8484 173 20 0 1 0 284685135 11436032 2023 33554432000 4194304 5990268 140737408414928 140737408406352 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13802/statm: 2792 2023 165 439 0 2349 0
[pid=14146] ppid=13802 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14146/stat : 14146 (satsolver.sh) S 13802 13801 8283 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284693881 9367552 267 33554432000 4194304 5064252 140736886443280 140736886442192 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/14146/statm: 2287 267 226 213 0 72 0
[pid=14147] ppid=14146 vsize=202428 CPUtime=1394.58 cores=1,3,5,7
/proc/14147/stat : 14147 (glucose) R 14146 13801 8283 0 -1 4202496 33716 0 0 0 139413 45 0 0 20 0 1 0 284693882 207286272 45025 33554432000 4194304 5208918 140736935953616 140736935949992 4228965 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14147/statm: 50607 45025 105 248 0 50356 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 231892
[startup+1542.31 s]
/proc/loadavg: 2.06 2.02 2.00 3/183 14205
/proc/meminfo: memFree=27683492/32873648 swapFree=6864/6864
[pid=13801] ppid=13799 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13801/stat : 13801 (npSolver-wbo-It) S 13799 13801 8283 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 284685135 9367552 275 33554432000 4194304 5064252 140736888198400 140736888197312 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13801/statm: 2287 275 233 213 0 72 0
[pid=13802] ppid=13801 vsize=11168 CPUtime=87.33 cores=1,3,5,7
/proc/13802/stat : 13802 (npSolver-wbo) S 13801 13801 8283 0 -1 4202496 35983 479932 0 0 63 13 8484 173 20 0 1 0 284685135 11436032 2023 33554432000 4194304 5990268 140737408414928 140737408406352 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13802/statm: 2792 2023 165 439 0 2349 0
[pid=14146] ppid=13802 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14146/stat : 14146 (satsolver.sh) S 13802 13801 8283 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284693881 9367552 267 33554432000 4194304 5064252 140736886443280 140736886442192 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/14146/statm: 2287 267 226 213 0 72 0
[pid=14147] ppid=14146 vsize=202428 CPUtime=1454.58 cores=1,3,5,7
/proc/14147/stat : 14147 (glucose) R 14146 13801 8283 0 -1 4202496 34567 0 0 0 145410 48 0 0 20 0 1 0 284693882 207286272 46561 33554432000 4194304 5208918 140736935953616 140736935949992 4229328 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14147/statm: 50607 46561 105 248 0 50356 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 231892
[startup+1602.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 14205
/proc/meminfo: memFree=27674508/32873648 swapFree=6864/6864
[pid=13801] ppid=13799 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13801/stat : 13801 (npSolver-wbo-It) S 13799 13801 8283 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 284685135 9367552 275 33554432000 4194304 5064252 140736888198400 140736888197312 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13801/statm: 2287 275 233 213 0 72 0
[pid=13802] ppid=13801 vsize=11168 CPUtime=87.33 cores=1,3,5,7
/proc/13802/stat : 13802 (npSolver-wbo) S 13801 13801 8283 0 -1 4202496 35983 479932 0 0 63 13 8484 173 20 0 1 0 284685135 11436032 2023 33554432000 4194304 5990268 140737408414928 140737408406352 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13802/statm: 2792 2023 165 439 0 2349 0
[pid=14146] ppid=13802 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14146/stat : 14146 (satsolver.sh) S 13802 13801 8283 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284693881 9367552 267 33554432000 4194304 5064252 140736886443280 140736886442192 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/14146/statm: 2287 267 226 213 0 72 0
[pid=14147] ppid=14146 vsize=202428 CPUtime=1514.56 cores=1,3,5,7
/proc/14147/stat : 14147 (glucose) R 14146 13801 8283 0 -1 4202496 35416 0 0 0 151406 50 0 0 20 0 1 0 284693882 207286272 48097 33554432000 4194304 5208918 140736935953616 140736935949432 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14147/statm: 50607 48097 105 248 0 50356 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 231892
[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/184 14209
/proc/meminfo: memFree=27671412/32873648 swapFree=6864/6864
[pid=13801] ppid=13799 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13801/stat : 13801 (npSolver-wbo-It) S 13799 13801 8283 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 284685135 9367552 275 33554432000 4194304 5064252 140736888198400 140736888197312 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13801/statm: 2287 275 233 213 0 72 0
[pid=13802] ppid=13801 vsize=11168 CPUtime=87.33 cores=1,3,5,7
/proc/13802/stat : 13802 (npSolver-wbo) S 13801 13801 8283 0 -1 4202496 35983 479932 0 0 63 13 8484 173 20 0 1 0 284685135 11436032 2023 33554432000 4194304 5990268 140737408414928 140737408406352 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13802/statm: 2792 2023 165 439 0 2349 0
[pid=14146] ppid=13802 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14146/stat : 14146 (satsolver.sh) S 13802 13801 8283 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284693881 9367552 267 33554432000 4194304 5064252 140736886443280 140736886442192 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/14146/statm: 2287 267 226 213 0 72 0
[pid=14147] ppid=14146 vsize=252516 CPUtime=1574.55 cores=1,3,5,7
/proc/14147/stat : 14147 (glucose) R 14146 13801 8283 0 -1 4202496 36594 0 0 0 157402 53 0 0 20 0 1 0 284693882 258576384 49422 33554432000 4194304 5208918 140736935953616 140736935951768 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14147/statm: 63129 49422 105 248 0 62878 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 281980
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 14209
/proc/meminfo: memFree=27660876/32873648 swapFree=6864/6864
[pid=13801] ppid=13799 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13801/stat : 13801 (npSolver-wbo-It) S 13799 13801 8283 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 284685135 9367552 275 33554432000 4194304 5064252 140736888198400 140736888197312 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13801/statm: 2287 275 233 213 0 72 0
[pid=13802] ppid=13801 vsize=11168 CPUtime=87.33 cores=1,3,5,7
/proc/13802/stat : 13802 (npSolver-wbo) S 13801 13801 8283 0 -1 4202496 35983 479932 0 0 63 13 8484 173 20 0 1 0 284685135 11436032 2023 33554432000 4194304 5990268 140737408414928 140737408406352 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13802/statm: 2792 2023 165 439 0 2349 0
[pid=14146] ppid=13802 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14146/stat : 14146 (satsolver.sh) S 13802 13801 8283 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284693881 9367552 267 33554432000 4194304 5064252 140736886443280 140736886442192 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/14146/statm: 2287 267 226 213 0 72 0
[pid=14147] ppid=14146 vsize=258848 CPUtime=1634.53 cores=1,3,5,7
/proc/14147/stat : 14147 (glucose) R 14146 13801 8283 0 -1 4202496 37967 0 0 0 163398 55 0 0 20 0 1 0 284693882 265060352 51470 33554432000 4194304 5208918 140736935953616 140736935949992 4212881 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14147/statm: 64712 51470 105 248 0 64461 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 288312
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14261
/proc/meminfo: memFree=27813132/32873648 swapFree=6864/6864
[pid=13801] ppid=13799 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13801/stat : 13801 (npSolver-wbo-It) S 13799 13801 8283 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 284685135 9367552 275 33554432000 4194304 5064252 140736888198400 140736888197312 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13801/statm: 2287 275 233 213 0 72 0
[pid=13802] ppid=13801 vsize=11168 CPUtime=87.33 cores=1,3,5,7
/proc/13802/stat : 13802 (npSolver-wbo) S 13801 13801 8283 0 -1 4202496 35983 479932 0 0 63 13 8484 173 20 0 1 0 284685135 11436032 2023 33554432000 4194304 5990268 140737408414928 140737408406352 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13802/statm: 2792 2023 165 439 0 2349 0
[pid=14146] ppid=13802 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14146/stat : 14146 (satsolver.sh) S 13802 13801 8283 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284693881 9367552 267 33554432000 4194304 5064252 140736886443280 140736886442192 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/14146/statm: 2287 267 226 213 0 72 0
[pid=14147] ppid=14146 vsize=258848 CPUtime=1694.53 cores=1,3,5,7
/proc/14147/stat : 14147 (glucose) R 14146 13801 8283 0 -1 4202496 38843 0 0 0 169395 58 0 0 20 0 1 0 284693882 265060352 51470 33554432000 4194304 5208918 140736935953616 140736935949928 4229538 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14147/statm: 64712 51470 105 248 0 64461 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 288312
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14282
/proc/meminfo: memFree=27796284/32873648 swapFree=6864/6864
[pid=13801] ppid=13799 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13801/stat : 13801 (npSolver-wbo-It) S 13799 13801 8283 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 284685135 9367552 275 33554432000 4194304 5064252 140736888198400 140736888197312 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13801/statm: 2287 275 233 213 0 72 0
[pid=13802] ppid=13801 vsize=11168 CPUtime=87.33 cores=1,3,5,7
/proc/13802/stat : 13802 (npSolver-wbo) S 13801 13801 8283 0 -1 4202496 35983 479932 0 0 63 13 8484 173 20 0 1 0 284685135 11436032 2023 33554432000 4194304 5990268 140737408414928 140737408406352 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13802/statm: 2792 2023 165 439 0 2349 0
[pid=14146] ppid=13802 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14146/stat : 14146 (satsolver.sh) S 13802 13801 8283 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284693881 9367552 267 33554432000 4194304 5064252 140736886443280 140736886442192 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/14146/statm: 2287 267 226 213 0 72 0
[pid=14147] ppid=14146 vsize=258848 CPUtime=1711.33 cores=1,3,5,7
/proc/14147/stat : 14147 (glucose) R 14146 13801 8283 0 -1 4202496 38848 0 0 0 171075 58 0 0 20 0 1 0 284693882 265060352 54030 33554432000 4194304 5208918 140736935953616 140736935949992 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14147/statm: 64712 54030 105 248 0 64461 0
Current children cumulated CPU time (s) 1798.66
Current children cumulated vsize (KiB) 288312
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 13801 and gives
# childrusage.ru_utime.tv_sec=85
# childrusage.ru_utime.tv_usec=476005
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=873715
# CPU time returned by wait4() is 87.3497
# while last known CPU time is 1798.66
#
# 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): 1.45
# lost CPU user time (s): 1.45
# lost CPU system time (s): 0
Real time (s): 1799.11
CPU time (s): 1800.11
CPU user time (s): 1797.67
CPU system time (s): 2.44
CPU usage (%): 100.055
Max. virtual memory (cumulated for all children) (KiB): 368452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 85.476
system time used= 1.87371
maximum resident set size= 44956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 516893
page faults= 0
swaps= 0
block input operations= 0
block output operations= 197080
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5046
involuntary context switches= 577
runsolver used 3.47347 second user time and 9.33158 second system time
The end