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-3714928-1338187760/watcher-3714928-1338187760 -o /tmp/evaluation-result-3714928-1338187760/solver-3714928-1338187760 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3714928-1338187760.wbo 1964646262 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 7660
/proc/meminfo: memFree=31102852/32873844 swapFree=6872/6872
[pid=7660] ppid=7658 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7660/stat : 7660 (npSolver-wbo-It) S 7658 7660 27229 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284904532 9367552 275 33554432000 4194304 5064252 140736996478608 140736996477520 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7660/statm: 2287 275 233 213 0 72 0
[startup+0.023248 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 7660
/proc/meminfo: memFree=31102852/32873844 swapFree=6872/6872
[pid=7660] ppid=7658 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7660/stat : 7660 (npSolver-wbo-It) S 7658 7660 27229 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284904532 9367552 275 33554432000 4194304 5064252 140736996478608 140736996477520 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7660/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100262 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 7660
/proc/meminfo: memFree=31102852/32873844 swapFree=6872/6872
[pid=7660] ppid=7658 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7660/stat : 7660 (npSolver-wbo-It) S 7658 7660 27229 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284904532 9367552 275 33554432000 4194304 5064252 140736996478608 140736996477520 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7660/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300295 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 7660
/proc/meminfo: memFree=31102852/32873844 swapFree=6872/6872
[pid=7660] ppid=7658 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7660/stat : 7660 (npSolver-wbo-It) S 7658 7660 27229 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284904532 9367552 275 33554432000 4194304 5064252 140736996478608 140736996477520 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7660/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 7660
/proc/meminfo: memFree=31102852/32873844 swapFree=6872/6872
[pid=7660] ppid=7658 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7660/stat : 7660 (npSolver-wbo-It) S 7658 7660 27229 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284904532 9367552 275 33554432000 4194304 5064252 140736996478608 140736996477520 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7660/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: 2.00 2.00 2.00 3/183 7674
/proc/meminfo: memFree=31085180/32873844 swapFree=6872/6872
[pid=7660] ppid=7658 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7660/stat : 7660 (npSolver-wbo-It) S 7658 7660 27229 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284904532 9367552 275 33554432000 4194304 5064252 140736996478608 140736996477520 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7660/statm: 2287 275 233 213 0 72 0
[pid=7661] ppid=7660 vsize=11344 CPUtime=1.37 cores=1,3,5,7
/proc/7661/stat : 7661 (npSolver-wbo) S 7660 7660 27229 0 -1 4202496 4306 11834 0 0 11 2 121 3 20 0 1 0 284904532 11616256 2439 33554432000 4194304 5990268 140734392698240 140734392689664 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7661/statm: 2836 2439 166 439 0 2393 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 20492
[startup+3.10028 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 7681
/proc/meminfo: memFree=31081104/32873844 swapFree=6872/6872
[pid=7660] ppid=7658 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7660/stat : 7660 (npSolver-wbo-It) S 7658 7660 27229 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284904532 9367552 275 33554432000 4194304 5064252 140736996478608 140736996477520 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7660/statm: 2287 275 233 213 0 72 0
[pid=7661] ppid=7660 vsize=11344 CPUtime=2.77 cores=1,3,5,7
/proc/7661/stat : 7661 (npSolver-wbo) S 7660 7660 27229 0 -1 4202496 6026 17962 0 0 15 3 253 6 20 0 1 0 284904532 11616256 2439 33554432000 4194304 5990268 140734392698240 140734392689664 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7661/statm: 2836 2439 166 439 0 2393 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 20492
[startup+6.30027 s]
/proc/loadavg: 2.08 2.02 2.01 3/183 7702
/proc/meminfo: memFree=31078428/32873844 swapFree=6872/6872
[pid=7660] ppid=7658 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7660/stat : 7660 (npSolver-wbo-It) S 7658 7660 27229 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284904532 9367552 275 33554432000 4194304 5064252 140736996478608 140736996477520 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7660/statm: 2287 275 233 213 0 72 0
[pid=7661] ppid=7660 vsize=11344 CPUtime=5.89 cores=1,3,5,7
/proc/7661/stat : 7661 (npSolver-wbo) S 7660 7660 27229 0 -1 4202496 11186 35384 0 0 27 5 542 15 20 0 1 0 284904532 11616256 2439 33554432000 4194304 5990268 140734392698240 140734392689664 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7661/statm: 2836 2439 166 439 0 2393 0
Current children cumulated CPU time (s) 5.89
Current children cumulated vsize (KiB) 20492
[startup+12.7004 s]
/proc/loadavg: 2.15 2.03 2.01 3/183 7744
/proc/meminfo: memFree=31081352/32873844 swapFree=6872/6872
[pid=7660] ppid=7658 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7660/stat : 7660 (npSolver-wbo-It) S 7658 7660 27229 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284904532 9367552 275 33554432000 4194304 5064252 140736996478608 140736996477520 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7660/statm: 2287 275 233 213 0 72 0
[pid=7661] ppid=7660 vsize=11344 CPUtime=11.02 cores=1,3,5,7
/proc/7661/stat : 7661 (npSolver-wbo) S 7660 7660 27229 0 -1 4202496 18066 59811 0 0 43 9 1023 27 20 0 1 0 284904532 11616256 2439 33554432000 4194304 5990268 140734392698240 140734392689664 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7661/statm: 2836 2439 166 439 0 2393 0
[pid=7743] ppid=7661 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7743/stat : 7743 (satsolver.sh) S 7661 7660 27229 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 284905644 9367552 266 33554432000 4194304 5064252 140736539164048 140736539162960 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/7743/statm: 2287 266 226 213 0 72 0
[pid=7744] ppid=7743 vsize=12404 CPUtime=1.56 cores=1,3,5,7
/proc/7744/stat : 7744 (glucose) R 7743 7660 27229 0 -1 4202496 2985 0 0 0 156 0 0 0 20 0 1 0 284905645 12701696 2650 33554432000 4194304 5208918 140735553376112 140735553373960 4229338 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/7744/statm: 3101 2650 104 248 0 2850 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 42044
[startup+25.5003 s]
/proc/loadavg: 2.12 2.03 2.01 3/183 7803
/proc/meminfo: memFree=31048580/32873844 swapFree=6872/6872
[pid=7660] ppid=7658 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7660/stat : 7660 (npSolver-wbo-It) S 7658 7660 27229 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284904532 9367552 275 33554432000 4194304 5064252 140736996478608 140736996477520 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7660/statm: 2287 275 233 213 0 72 0
[pid=7661] ppid=7660 vsize=36652 CPUtime=25.25 cores=1,3,5,7
/proc/7661/stat : 7661 (npSolver-wbo) S 7660 7660 27229 0 -1 4202496 40227 213575 0 0 146 28 2190 161 20 0 1 0 284904532 37531648 7559 33554432000 4194304 5990268 140734392698240 140734392689664 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 1 0 0
/proc/7661/statm: 9163 7559 166 439 0 8720 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 45800
[startup+51.1004 s]
/proc/loadavg: 2.08 2.03 2.01 3/184 7957
/proc/meminfo: memFree=31041184/32873844 swapFree=6872/6872
[pid=7660] ppid=7658 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7660/stat : 7660 (npSolver-wbo-It) S 7658 7660 27229 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284904532 9367552 275 33554432000 4194304 5064252 140736996478608 140736996477520 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7660/statm: 2287 275 233 213 0 72 0
[pid=7661] ppid=7660 vsize=19976 CPUtime=50.62 cores=1,3,5,7
/proc/7661/stat : 7661 (npSolver-wbo) S 7660 7660 27229 0 -1 4202496 91256 614283 0 0 361 62 4072 567 20 0 1 0 284904532 20455424 4496 33554432000 4194304 5990268 140734392698240 140734392689664 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 8 0 0
/proc/7661/statm: 4994 4496 166 439 0 4551 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 29124
############
# WARNING:
# current cumulated CPU time (61.2 s) is less than in the last sample (61.39 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (0.189999 s) to the 'lost time'.
[startup+61.7004 s]
/proc/loadavg: 2.06 2.03 2.01 3/184 8062
/proc/meminfo: memFree=31078640/32873844 swapFree=6872/6872
[pid=7660] ppid=7658 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7660/stat : 7660 (npSolver-wbo-It) S 7658 7660 27229 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284904532 9367552 275 33554432000 4194304 5064252 140736996478608 140736996477520 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7660/statm: 2287 275 233 213 0 72 0
[pid=7661] ppid=7660 vsize=19976 CPUtime=61.2 cores=1,3,5,7
/proc/7661/stat : 7661 (npSolver-wbo) S 7660 7660 27229 0 -1 4202496 117187 777024 0 0 435 73 4891 721 20 0 1 0 284904532 20455424 4500 33554432000 4194304 5990268 140734392698240 140734392689664 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 8 0 0
/proc/7661/statm: 4994 4500 166 439 0 4551 0
[pid=8061] ppid=7661 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8061/stat : 8061 (satsolver.sh) S 7661 7660 27229 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284910681 9367552 267 33554432000 4194304 5064252 140737110510784 140737110509696 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8061/statm: 2287 267 226 213 0 72 0
[pid=8062] ppid=8061 vsize=25576 CPUtime=0.19 cores=1,3,5,7
/proc/8062/stat : 8062 (glucose) R 8061 7660 27229 0 -1 4202496 4823 0 0 0 19 0 0 0 20 0 1 0 284910681 26189824 5676 33554432000 4194304 5208918 140734102769440 140734102768712 4205263 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8062/statm: 6394 5676 103 248 0 6143 0
Current children cumulated CPU time (s) 61.39
Current children cumulated vsize (KiB) 63848
[startup+61.8004 s]
/proc/loadavg: 2.06 2.03 2.01 3/184 8062
/proc/meminfo: memFree=31078640/32873844 swapFree=6872/6872
[pid=7660] ppid=7658 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7660/stat : 7660 (npSolver-wbo-It) S 7658 7660 27229 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284904532 9367552 275 33554432000 4194304 5064252 140736996478608 140736996477520 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7660/statm: 2287 275 233 213 0 72 0
[pid=7661] ppid=7660 vsize=19976 CPUtime=61.2 cores=1,3,5,7
/proc/7661/stat : 7661 (npSolver-wbo) S 7660 7660 27229 0 -1 4202496 117187 777024 0 0 435 73 4891 721 20 0 1 0 284904532 20455424 4500 33554432000 4194304 5990268 140734392698240 140734392689664 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 8 0 0
/proc/7661/statm: 4994 4500 166 439 0 4551 0
[pid=8061] ppid=7661 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8061/stat : 8061 (satsolver.sh) R 7661 7660 27229 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284910681 9367552 267 33554432000 4194304 5064252 140737110510784 140737110509696 270118053454 0 65536 4100 65538 0 0 0 17 1 0 0 0 0 0
/proc/8061/statm: 2287 267 226 213 0 72 0
Current children cumulated CPU time (s) 61.2
Current children cumulated vsize (KiB) 38272
#
############
Solver just ended. Dumping a history of the last processes samples
[startup+76.7003 s]
/proc/loadavg: 2.06 2.02 2.00 3/184 8216
/proc/meminfo: memFree=31075520/32873844 swapFree=6872/6872
[pid=7660] ppid=7658 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7660/stat : 7660 (npSolver-wbo-It) S 7658 7660 27229 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284904532 9367552 275 33554432000 4194304 5064252 140736996478608 140736996477520 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7660/statm: 2287 275 233 213 0 72 0
[pid=7661] ppid=7660 vsize=19976 CPUtime=70.5 cores=1,3,5,7
/proc/7661/stat : 7661 (npSolver-wbo) S 7660 7660 27229 0 -1 4202496 127267 895478 0 0 455 76 5735 784 20 0 1 0 284904532 20455424 4500 33554432000 4194304 5990268 140734392698240 140734392689664 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 8 0 0
/proc/7661/statm: 4994 4500 166 439 0 4551 0
[pid=8215] ppid=7661 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8215/stat : 8215 (satsolver.sh) S 7661 7660 27229 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 284911618 9367552 266 33554432000 4194304 5064252 140735530494704 140735530493616 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8215/statm: 2287 266 226 213 0 72 0
[pid=8216] ppid=8215 vsize=11896 CPUtime=5.81 cores=1,3,5,7
/proc/8216/stat : 8216 (glucose) R 8215 7660 27229 0 -1 4202496 3129 0 0 0 581 0 0 0 20 0 1 0 284911619 12181504 2534 33554432000 4194304 5208918 140734353292704 140734353290568 4229311 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8216/statm: 2974 2534 102 248 0 2723 0
Current children cumulated CPU time (s) 76.31
Current children cumulated vsize (KiB) 50168
[startup+89.5003 s]
/proc/loadavg: 2.05 2.02 2.00 3/184 8223
/proc/meminfo: memFree=31069484/32873844 swapFree=6872/6872
[pid=7660] ppid=7658 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7660/stat : 7660 (npSolver-wbo-It) S 7658 7660 27229 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284904532 9367552 275 33554432000 4194304 5064252 140736996478608 140736996477520 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7660/statm: 2287 275 233 213 0 72 0
[pid=7661] ppid=7660 vsize=19976 CPUtime=70.5 cores=1,3,5,7
/proc/7661/stat : 7661 (npSolver-wbo) S 7660 7660 27229 0 -1 4202496 127267 895478 0 0 455 76 5735 784 20 0 1 0 284904532 20455424 4500 33554432000 4194304 5990268 140734392698240 140734392689664 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 8 0 0
/proc/7661/statm: 4994 4500 166 439 0 4551 0
[pid=8215] ppid=7661 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8215/stat : 8215 (satsolver.sh) S 7661 7660 27229 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 284911618 9367552 266 33554432000 4194304 5064252 140735530494704 140735530493616 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8215/statm: 2287 266 226 213 0 72 0
[pid=8216] ppid=8215 vsize=14640 CPUtime=18.61 cores=1,3,5,7
/proc/8216/stat : 8216 (glucose) R 8215 7660 27229 0 -1 4202496 3723 0 0 0 1861 0 0 0 20 0 1 0 284911619 14991360 3224 33554432000 4194304 5208918 140734353292704 140734353290792 4211641 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8216/statm: 3660 3224 102 248 0 3409 0
Current children cumulated CPU time (s) 89.11
Current children cumulated vsize (KiB) 52912
[startup+92.7003 s]
/proc/loadavg: 2.05 2.02 2.00 3/184 8223
/proc/meminfo: memFree=31069408/32873844 swapFree=6872/6872
[pid=7660] ppid=7658 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7660/stat : 7660 (npSolver-wbo-It) S 7658 7660 27229 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284904532 9367552 275 33554432000 4194304 5064252 140736996478608 140736996477520 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7660/statm: 2287 275 233 213 0 72 0
[pid=7661] ppid=7660 vsize=19976 CPUtime=70.5 cores=1,3,5,7
/proc/7661/stat : 7661 (npSolver-wbo) S 7660 7660 27229 0 -1 4202496 127267 895478 0 0 455 76 5735 784 20 0 1 0 284904532 20455424 4500 33554432000 4194304 5990268 140734392698240 140734392689664 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 8 0 0
/proc/7661/statm: 4994 4500 166 439 0 4551 0
[pid=8215] ppid=7661 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8215/stat : 8215 (satsolver.sh) S 7661 7660 27229 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 284911618 9367552 266 33554432000 4194304 5064252 140735530494704 140735530493616 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8215/statm: 2287 266 226 213 0 72 0
[pid=8216] ppid=8215 vsize=14640 CPUtime=21.81 cores=1,3,5,7
/proc/8216/stat : 8216 (glucose) R 8215 7660 27229 0 -1 4202496 3725 0 0 0 2181 0 0 0 20 0 1 0 284911619 14991360 3227 33554432000 4194304 5208918 140734353292704 140734353290792 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8216/statm: 3660 3227 103 248 0 3409 0
Current children cumulated CPU time (s) 92.31
Current children cumulated vsize (KiB) 52912
[startup+94.3003 s]
/proc/loadavg: 2.05 2.02 2.00 3/184 8223
/proc/meminfo: memFree=31069408/32873844 swapFree=6872/6872
[pid=7660] ppid=7658 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7660/stat : 7660 (npSolver-wbo-It) S 7658 7660 27229 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284904532 9367552 275 33554432000 4194304 5064252 140736996478608 140736996477520 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7660/statm: 2287 275 233 213 0 72 0
[pid=7661] ppid=7660 vsize=19976 CPUtime=70.5 cores=1,3,5,7
/proc/7661/stat : 7661 (npSolver-wbo) S 7660 7660 27229 0 -1 4202496 127267 895478 0 0 455 76 5735 784 20 0 1 0 284904532 20455424 4500 33554432000 4194304 5990268 140734392698240 140734392689664 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 8 0 0
/proc/7661/statm: 4994 4500 166 439 0 4551 0
[pid=8215] ppid=7661 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8215/stat : 8215 (satsolver.sh) S 7661 7660 27229 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 284911618 9367552 266 33554432000 4194304 5064252 140735530494704 140735530493616 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8215/statm: 2287 266 226 213 0 72 0
[pid=8216] ppid=8215 vsize=18992 CPUtime=23.41 cores=1,3,5,7
/proc/8216/stat : 8216 (glucose) R 8215 7660 27229 0 -1 4202496 4177 0 0 0 2341 0 0 0 20 0 1 0 284911619 19447808 4164 33554432000 4194304 5208918 140734353292704 140734353290792 4229328 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8216/statm: 4748 4164 103 248 0 4497 0
Current children cumulated CPU time (s) 93.91
Current children cumulated vsize (KiB) 57264
[startup+95.9003 s]
/proc/loadavg: 2.04 2.02 2.00 3/184 8223
/proc/meminfo: memFree=31066120/32873844 swapFree=6872/6872
[pid=7660] ppid=7658 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7660/stat : 7660 (npSolver-wbo-It) S 7658 7660 27229 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284904532 9367552 275 33554432000 4194304 5064252 140736996478608 140736996477520 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7660/statm: 2287 275 233 213 0 72 0
[pid=7661] ppid=7660 vsize=19976 CPUtime=70.5 cores=1,3,5,7
/proc/7661/stat : 7661 (npSolver-wbo) S 7660 7660 27229 0 -1 4202496 127267 895478 0 0 455 76 5735 784 20 0 1 0 284904532 20455424 4500 33554432000 4194304 5990268 140734392698240 140734392689664 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 8 0 0
/proc/7661/statm: 4994 4500 166 439 0 4551 0
[pid=8215] ppid=7661 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8215/stat : 8215 (satsolver.sh) S 7661 7660 27229 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 284911618 9367552 266 33554432000 4194304 5064252 140735530494704 140735530493616 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8215/statm: 2287 266 226 213 0 72 0
[pid=8216] ppid=8215 vsize=18992 CPUtime=25.01 cores=1,3,5,7
/proc/8216/stat : 8216 (glucose) R 8215 7660 27229 0 -1 4202496 4198 0 0 0 2501 0 0 0 20 0 1 0 284911619 19447808 4184 33554432000 4194304 5208918 140734353292704 140734353290552 4229299 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8216/statm: 4748 4184 103 248 0 4497 0
Current children cumulated CPU time (s) 95.51
Current children cumulated vsize (KiB) 57264
[startup+96.7004 s]
/proc/loadavg: 2.04 2.02 2.00 3/184 8223
/proc/meminfo: memFree=31066120/32873844 swapFree=6872/6872
[pid=7660] ppid=7658 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7660/stat : 7660 (npSolver-wbo-It) S 7658 7660 27229 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284904532 9367552 275 33554432000 4194304 5064252 140736996478608 140736996477520 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7660/statm: 2287 275 233 213 0 72 0
[pid=7661] ppid=7660 vsize=19976 CPUtime=70.5 cores=1,3,5,7
/proc/7661/stat : 7661 (npSolver-wbo) S 7660 7660 27229 0 -1 4202496 127267 895478 0 0 455 76 5735 784 20 0 1 0 284904532 20455424 4500 33554432000 4194304 5990268 140734392698240 140734392689664 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 8 0 0
/proc/7661/statm: 4994 4500 166 439 0 4551 0
[pid=8215] ppid=7661 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8215/stat : 8215 (satsolver.sh) S 7661 7660 27229 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 284911618 9367552 266 33554432000 4194304 5064252 140735530494704 140735530493616 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8215/statm: 2287 266 226 213 0 72 0
[pid=8216] ppid=8215 vsize=18992 CPUtime=25.81 cores=1,3,5,7
/proc/8216/stat : 8216 (glucose) R 8215 7660 27229 0 -1 4202496 4198 0 0 0 2581 0 0 0 20 0 1 0 284911619 19447808 4184 33554432000 4194304 5208918 140734353292704 140734353290552 4212912 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8216/statm: 4748 4184 103 248 0 4497 0
Current children cumulated CPU time (s) 96.31
Current children cumulated vsize (KiB) 57264
[startup+97.1003 s]
/proc/loadavg: 2.04 2.02 2.00 3/184 8223
/proc/meminfo: memFree=31066120/32873844 swapFree=6872/6872
[pid=7660] ppid=7658 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7660/stat : 7660 (npSolver-wbo-It) S 7658 7660 27229 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284904532 9367552 275 33554432000 4194304 5064252 140736996478608 140736996477520 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7660/statm: 2287 275 233 213 0 72 0
[pid=7661] ppid=7660 vsize=19976 CPUtime=70.5 cores=1,3,5,7
/proc/7661/stat : 7661 (npSolver-wbo) S 7660 7660 27229 0 -1 4202496 127267 895478 0 0 455 76 5735 784 20 0 1 0 284904532 20455424 4500 33554432000 4194304 5990268 140734392698240 140734392689664 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 8 0 0
/proc/7661/statm: 4994 4500 166 439 0 4551 0
[pid=8215] ppid=7661 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8215/stat : 8215 (satsolver.sh) S 7661 7660 27229 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 284911618 9367552 266 33554432000 4194304 5064252 140735530494704 140735530493616 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8215/statm: 2287 266 226 213 0 72 0
[pid=8216] ppid=8215 vsize=18992 CPUtime=26.21 cores=1,3,5,7
/proc/8216/stat : 8216 (glucose) R 8215 7660 27229 0 -1 4202496 4198 0 0 0 2621 0 0 0 20 0 1 0 284911619 19447808 4184 33554432000 4194304 5208918 140734353292704 140734353290552 4229688 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8216/statm: 4748 4184 103 248 0 4497 0
Current children cumulated CPU time (s) 96.71
Current children cumulated vsize (KiB) 57264
Child status: 0
# 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): 0.189999
# lost CPU user time (s): 0.189999
# lost CPU system time (s): 0
Real time (s): 97.1918
CPU time (s): 97.0253
CPU user time (s): 88.3896
CPU system time (s): 8.63569
CPU usage (%): 99.8287
Max. virtual memory (cumulated for all children) (KiB): 155336
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 88.1996
system time used= 8.63569
maximum resident set size= 88472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1030762
page faults= 0
swaps= 0
block input operations= 0
block output operations= 772728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14425
involuntary context switches= 1025
runsolver used 0.202969 second user time and 0.564914 second system time
The end