Trace number 3753627

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
npSolver inc-topDown (fixed)? (TO) 1800.06 1800.72

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110975607--soft-33-100-0.wbo
MD5SUM9a2a28c5bb6a02365b79a03ef797cc3c
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark24
Best CPU time to get the best result obtained on this benchmark0.900862
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables169
Total number of constraints101
Number of soft constraints64
Number of constraints which are clauses30
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint169
Top cost 3426
Min constraint cost 1
Max constraint cost 99
Sum of constraints costs 3425
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1221
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.03	c run usual solver
6.85/6.99	o 1453
41.29/41.57	o 1332
75.36/75.64	o 1326
110.25/110.53	o 1278
144.35/144.64	o 1272
178.34/178.40	o 1266
212.38/212.68	o 1218
246.48/246.78	o 1212
280.70/280.80	o 1199
314.83/315.27	o 1193
349.25/349.50	o 1187
383.55/384.02	o 1181
417.63/417.98	o 1133
451.47/451.94	o 1127
485.61/486.09	o 1114
519.58/520.07	o 1108
553.59/554.07	o 1104
588.08/588.49	o 1098
621.82/622.34	o 1050
656.03/656.56	o 1044
691.83/692.35	o 1031
725.78/726.32	o 1025
764.23/764.78	o 1017
798.85/799.42	o 1011
832.59/833.17	o 1005
866.47/867.05	o 957
900.41/900.98	o 951
934.58/935.01	o 938
968.29/968.89	o 932
1002.78/1003.39	o 926
1036.75/1037.28	o 920
1069.84/1070.46	o 872
1103.41/1104.03	o 866
1136.83/1137.31	o 853
1170.59/1171.23	o 847
1204.62/1205.27	o 834
1238.64/1239.29	o 828
1273.17/1273.77	o 815
1306.79/1307.47	o 809
1340.34/1340.92	o 804
1375.44/1376.08	o 791
1409.05/1409.76	o 785
1442.43/1443.00	o 772
1476.73/1477.32	o 766
1509.92/1510.64	o 753
1543.42/1544.15	o 747
1577.19/1577.80	o 724
1610.49/1611.23	o 705
1644.02/1644.77	o 692
1677.59/1678.35	o 686
1712.11/1712.87	o 663
1745.33/1746.11	o 644
1779.01/1779.77	o 638
1800.02/1800.71	./satsolver.sh: line 5: 17538 Terminated              ./glucose $1 > $2 2> /dev/null
1800.02/1800.71	c error: unexpected solver exit code
1800.02/1800.71	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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-3753627-1339189681/watcher-3753627-1339189681 -o /tmp/evaluation-result-3753627-1339189681/solver-3753627-1339189681 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3753627-1339189681.wbo 1034411873 HOME HOME 

running on 4 cores: 0,2,4,6

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 1.97 3/177 16207
/proc/meminfo: memFree=29791952/32873624 swapFree=7112/7112
[pid=16207] ppid=16205 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16207/stat : 16207 (npSolver-wbo-It) S 16205 16207 14131 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385093600 9367552 274 33554432000 4194304 5064252 140736239311856 140736239310768 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16207/statm: 2287 274 233 213 0 72 0

[startup+0.0823019 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 16207
/proc/meminfo: memFree=29791952/32873624 swapFree=7112/7112
[pid=16207] ppid=16205 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16207/stat : 16207 (npSolver-wbo-It) S 16205 16207 14131 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385093600 9367552 274 33554432000 4194304 5064252 140736239311856 140736239310768 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16207/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100186 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 16207
/proc/meminfo: memFree=29791952/32873624 swapFree=7112/7112
[pid=16207] ppid=16205 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16207/stat : 16207 (npSolver-wbo-It) S 16205 16207 14131 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385093600 9367552 274 33554432000 4194304 5064252 140736239311856 140736239310768 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16207/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300113 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 16207
/proc/meminfo: memFree=29791952/32873624 swapFree=7112/7112
[pid=16207] ppid=16205 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16207/stat : 16207 (npSolver-wbo-It) S 16205 16207 14131 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385093600 9367552 274 33554432000 4194304 5064252 140736239311856 140736239310768 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16207/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700108 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 16207
/proc/meminfo: memFree=29791952/32873624 swapFree=7112/7112
[pid=16207] ppid=16205 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16207/stat : 16207 (npSolver-wbo-It) S 16205 16207 14131 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385093600 9367552 274 33554432000 4194304 5064252 140736239311856 140736239310768 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16207/statm: 2287 274 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.00 2.00 1.97 3/181 16217
/proc/meminfo: memFree=29788164/32873624 swapFree=7112/7112
[pid=16207] ppid=16205 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16207/stat : 16207 (npSolver-wbo-It) S 16205 16207 14131 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385093600 9367552 274 33554432000 4194304 5064252 140736239311856 140736239310768 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16207/statm: 2287 274 233 213 0 72 0
[pid=16208] ppid=16207 vsize=3092 CPUtime=0.17 cores=0,2,4,6
/proc/16208/stat : 16208 (npSolver-wbo) S 16207 16207 14131 0 -1 4202496 1446 2180 0 0 2 0 15 0 20 0 1 0 385093600 3166208 377 33554432000 4194304 6006132 140735651686336 140735651680528 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16208/statm: 773 377 158 443 0 326 0
[pid=16216] ppid=16208 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16216/stat : 16216 (satsolver.sh) S 16208 16207 14131 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385093619 9367552 267 33554432000 4194304 5064252 140735420721712 140735420720624 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16216/statm: 2287 267 226 213 0 72 0
[pid=16217] ppid=16216 vsize=8488 CPUtime=1.29 cores=0,2,4,6
/proc/16217/stat : 16217 (glucose) R 16216 16207 14131 0 -1 4202496 2558 0 0 0 129 0 0 0 20 0 1 0 385093619 8691712 1635 33554432000 4194304 5208918 140737150593968 140737150591912 4229982 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/16217/statm: 2122 1635 96 248 0 1871 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 29876

[startup+3.10021 s]
/proc/loadavg: 2.00 2.00 1.97 3/181 16217
/proc/meminfo: memFree=29778520/32873624 swapFree=7112/7112
[pid=16207] ppid=16205 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16207/stat : 16207 (npSolver-wbo-It) S 16205 16207 14131 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385093600 9367552 274 33554432000 4194304 5064252 140736239311856 140736239310768 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16207/statm: 2287 274 233 213 0 72 0
[pid=16208] ppid=16207 vsize=3092 CPUtime=0.17 cores=0,2,4,6
/proc/16208/stat : 16208 (npSolver-wbo) S 16207 16207 14131 0 -1 4202496 1446 2180 0 0 2 0 15 0 20 0 1 0 385093600 3166208 377 33554432000 4194304 6006132 140735651686336 140735651680528 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16208/statm: 773 377 158 443 0 326 0
[pid=16216] ppid=16208 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16216/stat : 16216 (satsolver.sh) S 16208 16207 14131 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385093619 9367552 267 33554432000 4194304 5064252 140735420721712 140735420720624 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16216/statm: 2287 267 226 213 0 72 0
[pid=16217] ppid=16216 vsize=12840 CPUtime=2.89 cores=0,2,4,6
/proc/16217/stat : 16217 (glucose) R 16216 16207 14131 0 -1 4202496 3178 0 0 0 289 0 0 0 20 0 1 0 385093619 13148160 2757 33554432000 4194304 5208918 140737150593968 140737150591912 4211553 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/16217/statm: 3210 2757 96 248 0 2959 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 34228

[startup+6.30038 s]
/proc/loadavg: 2.00 2.00 1.97 3/181 16217
/proc/meminfo: memFree=29764700/32873624 swapFree=7112/7112
[pid=16207] ppid=16205 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16207/stat : 16207 (npSolver-wbo-It) S 16205 16207 14131 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385093600 9367552 274 33554432000 4194304 5064252 140736239311856 140736239310768 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16207/statm: 2287 274 233 213 0 72 0
[pid=16208] ppid=16207 vsize=3092 CPUtime=0.17 cores=0,2,4,6
/proc/16208/stat : 16208 (npSolver-wbo) S 16207 16207 14131 0 -1 4202496 1446 2180 0 0 2 0 15 0 20 0 1 0 385093600 3166208 377 33554432000 4194304 6006132 140735651686336 140735651680528 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16208/statm: 773 377 158 443 0 326 0
[pid=16216] ppid=16208 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16216/stat : 16216 (satsolver.sh) S 16208 16207 14131 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385093619 9367552 267 33554432000 4194304 5064252 140735420721712 140735420720624 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16216/statm: 2287 267 226 213 0 72 0
[pid=16217] ppid=16216 vsize=22636 CPUtime=6.09 cores=0,2,4,6
/proc/16217/stat : 16217 (glucose) R 16216 16207 14131 0 -1 4202496 4411 0 0 0 609 0 0 0 20 0 1 0 385093619 23179264 4982 33554432000 4194304 5208918 140737150593968 140737150591832 4228924 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16217/statm: 5659 4982 96 248 0 5408 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 44024

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.97 3/181 16224
/proc/meminfo: memFree=29687644/32873624 swapFree=7112/7112
[pid=16207] ppid=16205 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16207/stat : 16207 (npSolver-wbo-It) S 16205 16207 14131 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385093600 9367552 274 33554432000 4194304 5064252 140736239311856 140736239310768 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16207/statm: 2287 274 233 213 0 72 0
[pid=16208] ppid=16207 vsize=19868 CPUtime=7.06 cores=0,2,4,6
/proc/16208/stat : 16208 (npSolver-wbo) S 16207 16207 14131 0 -1 4202496 3573 9990 0 0 11 3 691 1 20 0 1 0 385093600 20344832 4395 33554432000 4194304 6006132 140735651686336 140735651677728 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16208/statm: 4967 4395 168 443 0 4520 0
[pid=16223] ppid=16208 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16223/stat : 16223 (satsolver.sh) S 16208 16207 14131 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385094310 9367552 267 33554432000 4194304 5064252 140734821888000 140734821886912 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16223/statm: 2287 267 226 213 0 72 0
[pid=16224] ppid=16223 vsize=72560 CPUtime=5.58 cores=0,2,4,6
/proc/16224/stat : 16224 (glucose) R 16223 16207 14131 0 -1 4202496 13512 0 0 0 556 2 0 0 20 0 1 0 385094310 74301440 16183 33554432000 4194304 5208918 140735010464304 140735010462168 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16224/statm: 18140 16183 96 248 0 17889 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 110724

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.97 3/181 16231
/proc/meminfo: memFree=29612076/32873624 swapFree=7112/7112
[pid=16207] ppid=16205 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16207/stat : 16207 (npSolver-wbo-It) S 16205 16207 14131 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385093600 9367552 274 33554432000 4194304 5064252 140736239311856 140736239310768 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16207/statm: 2287 274 233 213 0 72 0
[pid=16208] ppid=16207 vsize=19868 CPUtime=7.06 cores=0,2,4,6
/proc/16208/stat : 16208 (npSolver-wbo) S 16207 16207 14131 0 -1 4202496 3573 9990 0 0 11 3 691 1 20 0 1 0 385093600 20344832 4395 33554432000 4194304 6006132 140735651686336 140735651677728 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16208/statm: 4967 4395 168 443 0 4520 0
[pid=16223] ppid=16208 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16223/stat : 16223 (satsolver.sh) S 16208 16207 14131 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385094310 9367552 267 33554432000 4194304 5064252 140734821888000 140734821886912 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16223/statm: 2287 267 226 213 0 72 0
[pid=16224] ppid=16223 vsize=91236 CPUtime=18.38 cores=0,2,4,6
/proc/16224/stat : 16224 (glucose) R 16223 16207 14131 0 -1 4202496 14807 0 0 0 1835 3 0 0 20 0 1 0 385094310 93425664 20708 33554432000 4194304 5208918 140735010464304 140735010462248 4229528 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16224/statm: 22809 20708 96 248 0 22558 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 129400

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.97 3/181 16252
/proc/meminfo: memFree=29620312/32873624 swapFree=7112/7112
[pid=16207] ppid=16205 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16207/stat : 16207 (npSolver-wbo-It) S 16205 16207 14131 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385093600 9367552 274 33554432000 4194304 5064252 140736239311856 140736239310768 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16207/statm: 2287 274 233 213 0 72 0
[pid=16208] ppid=16207 vsize=19868 CPUtime=41.64 cores=0,2,4,6
/proc/16208/stat : 16208 (npSolver-wbo) S 16207 16207 14131 0 -1 4202496 5694 29961 0 0 20 4 4125 15 20 0 1 0 385093600 20344832 4396 33554432000 4194304 6006132 140735651686336 140735651677728 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16208/statm: 4967 4396 168 443 0 4520 0
[pid=16244] ppid=16208 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16244/stat : 16244 (satsolver.sh) S 16208 16207 14131 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385097767 9367552 267 33554432000 4194304 5064252 140733884565536 140733884564448 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16244/statm: 2287 267 226 213 0 72 0
[pid=16245] ppid=16244 vsize=78808 CPUtime=9.41 cores=0,2,4,6
/proc/16245/stat : 16245 (glucose) R 16244 16207 14131 0 -1 4202496 14204 0 0 0 939 2 0 0 20 0 1 0 385097767 80699392 18579 33554432000 4194304 5208918 140733240124688 140733240122552 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16245/statm: 19702 18579 96 248 0 19451 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 116972

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.97 3/181 16287
/proc/meminfo: memFree=29614960/32873624 swapFree=7112/7112
[pid=16207] ppid=16205 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16207/stat : 16207 (npSolver-wbo-It) S 16205 16207 14131 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385093600 9367552 274 33554432000 4194304 5064252 140736239311856 140736239310768 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16207/statm: 2287 274 233 213 0 72 0
[pid=16208] ppid=16207 vsize=19868 CPUtime=75.69 cores=0,2,4,6
/proc/16208/stat : 16208 (npSolver-wbo) S 16207 16207 14131 0 -1 4202496 7815 50361 0 0 29 4 7510 26 20 0 1 0 385093600 20344832 4396 33554432000 4194304 6006132 140735651686336 140735651677728 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16208/statm: 4967 4396 168 443 0 4520 0
[pid=16272] ppid=16208 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16272/stat : 16272 (satsolver.sh) S 16208 16207 14131 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385101173 9367552 267 33554432000 4194304 5064252 140735360526240 140735360525152 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16272/statm: 2287 267 226 213 0 72 0
[pid=16273] ppid=16272 vsize=85924 CPUtime=26.54 cores=0,2,4,6
/proc/16273/stat : 16273 (glucose) R 16272 16207 14131 0 -1 4202496 17953 0 0 0 2651 3 0 0 20 0 1 0 385101174 87986176 20046 33554432000 4194304 5208918 140733246174672 140733246172616 4229517 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16273/statm: 21481 20046 96 248 0 21230 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 124088

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/182 16333
/proc/meminfo: memFree=29619264/32873624 swapFree=7112/7112
[pid=16207] ppid=16205 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16207/stat : 16207 (npSolver-wbo-It) S 16205 16207 14131 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385093600 9367552 274 33554432000 4194304 5064252 140736239311856 140736239310768 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16207/statm: 2287 274 233 213 0 72 0
[pid=16208] ppid=16207 vsize=19868 CPUtime=144.67 cores=0,2,4,6
/proc/16208/stat : 16208 (npSolver-wbo) S 16207 16207 14131 0 -1 4202496 12057 92010 0 0 45 6 14368 48 20 0 1 0 385093600 20344832 4397 33554432000 4194304 6006132 140735651686336 140735651677728 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16208/statm: 4967 4397 168 443 0 4520 0
[pid=16325] ppid=16208 vsize=9148 CPUtime=0 cores=0,2,4,6

################
# More data... #
################


[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.98 3/181 17269
/proc/meminfo: memFree=29656772/32873624 swapFree=7112/7112
[pid=16207] ppid=16205 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16207/stat : 16207 (npSolver-wbo-It) S 16205 16207 14131 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385093600 9367552 274 33554432000 4194304 5064252 140736239311856 140736239310768 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16207/statm: 2287 274 233 213 0 72 0
[pid=16208] ppid=16207 vsize=19868 CPUtime=1409.26 cores=0,2,4,6
/proc/16208/stat : 16208 (npSolver-wbo) S 16207 16207 14131 0 -1 4202496 85018 727922 0 0 280 34 140216 396 20 0 1 0 385093600 20344832 4415 33554432000 4194304 6006132 140735651686336 140735651677728 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16208/statm: 4967 4415 168 443 0 4520 0
[pid=17261] ppid=16208 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17261/stat : 17261 (satsolver.sh) S 16208 16207 14131 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385234581 9367552 267 33554432000 4194304 5064252 140734980790240 140734980789152 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17261/statm: 2287 267 226 213 0 72 0
[pid=17262] ppid=17261 vsize=55232 CPUtime=12.47 cores=0,2,4,6
/proc/17262/stat : 17262 (glucose) R 17261 16207 14131 0 -1 4202496 10835 0 0 0 1245 2 0 0 20 0 1 0 385234581 56557568 12816 33554432000 4194304 5208918 140735209004096 140735209002040 4229780 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17262/statm: 13808 12816 96 248 0 13557 0
Current children cumulated CPU time (s) 1421.73
Current children cumulated vsize (KiB) 93396

[startup+1482.3 s]
/proc/loadavg: 2.07 2.02 1.98 3/181 17318
/proc/meminfo: memFree=29699876/32873624 swapFree=7112/7112
[pid=16207] ppid=16205 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16207/stat : 16207 (npSolver-wbo-It) S 16205 16207 14131 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385093600 9367552 274 33554432000 4194304 5064252 140736239311856 140736239310768 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16207/statm: 2287 274 233 213 0 72 0
[pid=16208] ppid=16207 vsize=19868 CPUtime=1476.81 cores=0,2,4,6
/proc/16208/stat : 16208 (npSolver-wbo) S 16207 16207 14131 0 -1 4202496 88230 758958 0 0 290 35 146944 412 20 0 1 0 385093600 20344832 4415 33554432000 4194304 6006132 140735651686336 140735651677728 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16208/statm: 4967 4415 168 443 0 4520 0
[pid=17310] ppid=16208 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17310/stat : 17310 (satsolver.sh) S 16208 16207 14131 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385241338 9367552 267 33554432000 4194304 5064252 140736137618880 140736137617792 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17310/statm: 2287 267 226 213 0 72 0
[pid=17311] ppid=17310 vsize=43616 CPUtime=4.9 cores=0,2,4,6
/proc/17311/stat : 17311 (glucose) R 17310 16207 14131 0 -1 4202496 10996 0 0 0 488 2 0 0 20 0 1 0 385241338 44662784 9599 33554432000 4194304 5208918 140735111381520 140735111379608 4229483 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17311/statm: 10904 9599 96 248 0 10653 0
Current children cumulated CPU time (s) 1481.71
Current children cumulated vsize (KiB) 81780

[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 1.98 3/181 17353
/proc/meminfo: memFree=29657644/32873624 swapFree=7112/7112
[pid=16207] ppid=16205 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16207/stat : 16207 (npSolver-wbo-It) S 16205 16207 14131 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385093600 9367552 274 33554432000 4194304 5064252 140736239311856 140736239310768 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16207/statm: 2287 274 233 213 0 72 0
[pid=16208] ppid=16207 vsize=19868 CPUtime=1510.11 cores=0,2,4,6
/proc/16208/stat : 16208 (npSolver-wbo) S 16207 16207 14131 0 -1 4202496 89836 775054 0 0 294 36 150261 420 20 0 1 0 385093600 20344832 4415 33554432000 4194304 6006132 140735651686336 140735651677728 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16208/statm: 4967 4415 168 443 0 4520 0
[pid=17338] ppid=16208 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17338/stat : 17338 (satsolver.sh) S 16208 16207 14131 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385244669 9367552 266 33554432000 4194304 5064252 140737244089888 140737244088800 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17338/statm: 2287 266 226 213 0 72 0
[pid=17339] ppid=17338 vsize=62140 CPUtime=31.58 cores=0,2,4,6
/proc/17339/stat : 17339 (glucose) R 17338 16207 14131 0 -1 4202496 10141 0 0 0 3156 2 0 0 20 0 1 0 385244670 63631360 14437 33554432000 4194304 5208918 140735250372912 140735250370776 4211740 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17339/statm: 15535 14437 96 248 0 15284 0
Current children cumulated CPU time (s) 1541.69
Current children cumulated vsize (KiB) 100304

[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 1.98 3/181 17402
/proc/meminfo: memFree=29675232/32873624 swapFree=7112/7112
[pid=16207] ppid=16205 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16207/stat : 16207 (npSolver-wbo-It) S 16205 16207 14131 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385093600 9367552 274 33554432000 4194304 5064252 140736239311856 140736239310768 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16207/statm: 2287 274 233 213 0 72 0
[pid=16208] ppid=16207 vsize=19868 CPUtime=1577.24 cores=0,2,4,6
/proc/16208/stat : 16208 (npSolver-wbo) S 16207 16207 14131 0 -1 4202496 93048 804725 0 0 303 37 156949 435 20 0 1 0 385093600 20344832 4415 33554432000 4194304 6006132 140735651686336 140735651677728 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16208/statm: 4967 4415 168 443 0 4520 0
[pid=17387] ppid=16208 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17387/stat : 17387 (satsolver.sh) S 16208 16207 14131 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385251385 9367552 266 33554432000 4194304 5064252 140735654669568 140735654668480 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17387/statm: 2287 266 226 213 0 72 0
[pid=17388] ppid=17387 vsize=61776 CPUtime=24.43 cores=0,2,4,6
/proc/17388/stat : 17388 (glucose) R 17387 16207 14131 0 -1 4202496 11413 0 0 0 2441 2 0 0 20 0 1 0 385251385 63258624 14227 33554432000 4194304 5208918 140736321638560 140736321636424 4211584 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17388/statm: 15444 14227 96 248 0 15193 0
Current children cumulated CPU time (s) 1601.67
Current children cumulated vsize (KiB) 99940

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/181 17445
/proc/meminfo: memFree=29668340/32873624 swapFree=7112/7112
[pid=16207] ppid=16205 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16207/stat : 16207 (npSolver-wbo-It) S 16205 16207 14131 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385093600 9367552 274 33554432000 4194304 5064252 140736239311856 140736239310768 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16207/statm: 2287 274 233 213 0 72 0
[pid=16208] ppid=16207 vsize=19868 CPUtime=1644.2 cores=0,2,4,6
/proc/16208/stat : 16208 (npSolver-wbo) S 16207 16207 14131 0 -1 4202496 96260 835526 0 0 312 38 163621 449 20 0 1 0 385093600 20344832 4415 33554432000 4194304 6006132 140735651686336 140735651677728 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16208/statm: 4967 4415 168 443 0 4520 0
[pid=17437] ppid=16208 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17437/stat : 17437 (satsolver.sh) S 16208 16207 14131 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385258082 9367552 267 33554432000 4194304 5064252 140734946134432 140734946133344 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17437/statm: 2287 267 226 213 0 72 0
[pid=17438] ppid=17437 vsize=54428 CPUtime=17.46 cores=0,2,4,6
/proc/17438/stat : 17438 (glucose) R 17437 16207 14131 0 -1 4202496 10457 0 0 0 1744 2 0 0 20 0 1 0 385258082 55734272 12016 33554432000 4194304 5208918 140734875492448 140734875490312 4211668 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17438/statm: 13607 12016 96 248 0 13356 0
Current children cumulated CPU time (s) 1661.66
Current children cumulated vsize (KiB) 92592

[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 1.99 3/181 17496
/proc/meminfo: memFree=29688436/32873624 swapFree=7112/7112
[pid=16207] ppid=16205 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16207/stat : 16207 (npSolver-wbo-It) S 16205 16207 14131 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385093600 9367552 274 33554432000 4194304 5064252 140736239311856 140736239310768 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16207/statm: 2287 274 233 213 0 72 0
[pid=16208] ppid=16207 vsize=19868 CPUtime=1712.27 cores=0,2,4,6
/proc/16208/stat : 16208 (npSolver-wbo) S 16207 16207 14131 0 -1 4202496 99471 865464 0 0 320 39 170405 463 20 0 1 0 385093600 20344832 4415 33554432000 4194304 6006132 140735651686336 140735651677728 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16208/statm: 4967 4415 168 443 0 4520 0
[pid=17488] ppid=16208 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17488/stat : 17488 (satsolver.sh) S 16208 16207 14131 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385264892 9367552 266 33554432000 4194304 5064252 140733657337984 140733657336896 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17488/statm: 2287 266 226 213 0 72 0
[pid=17489] ppid=17488 vsize=47044 CPUtime=9.36 cores=0,2,4,6
/proc/17489/stat : 17489 (glucose) R 17488 16207 14131 0 -1 4202496 10277 0 0 0 934 2 0 0 20 0 1 0 385264892 48173056 10488 33554432000 4194304 5208918 140737130170176 140737130168120 4211553 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17489/statm: 11761 10488 96 248 0 11510 0
Current children cumulated CPU time (s) 1721.63
Current children cumulated vsize (KiB) 85208

[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 1.99 3/181 17538
/proc/meminfo: memFree=29687488/32873624 swapFree=7112/7112
[pid=16207] ppid=16205 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16207/stat : 16207 (npSolver-wbo-It) S 16205 16207 14131 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385093600 9367552 274 33554432000 4194304 5064252 140736239311856 140736239310768 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16207/statm: 2287 274 233 213 0 72 0
[pid=16208] ppid=16207 vsize=19868 CPUtime=1779.15 cores=0,2,4,6
/proc/16208/stat : 16208 (npSolver-wbo) S 16207 16207 14131 0 -1 4202496 102683 893009 0 0 328 40 177071 476 20 0 1 0 385093600 20344832 4415 33554432000 4194304 6006132 140735651686336 140735651677728 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16208/statm: 4967 4415 168 443 0 4520 0
[pid=17537] ppid=16208 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17537/stat : 17537 (satsolver.sh) S 16208 16207 14131 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385271582 9367552 266 33554432000 4194304 5064252 140736528273248 140736528272160 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17537/statm: 2287 266 226 213 0 72 0
[pid=17538] ppid=17537 vsize=30712 CPUtime=2.46 cores=0,2,4,6
/proc/17538/stat : 17538 (glucose) R 17537 16207 14131 0 -1 4202496 7150 0 0 0 245 1 0 0 20 0 1 0 385271582 31449088 6969 33554432000 4194304 5208918 140734918385504 140734918383656 4229338 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17538/statm: 7678 6969 96 248 0 7427 0
Current children cumulated CPU time (s) 1781.61
Current children cumulated vsize (KiB) 68876



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 2.01 2.00 1.99 3/181 17552
/proc/meminfo: memFree=29684436/32873624 swapFree=7112/7112
[pid=16207] ppid=16205 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16207/stat : 16207 (npSolver-wbo-It) S 16205 16207 14131 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385093600 9367552 274 33554432000 4194304 5064252 140736239311856 140736239310768 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16207/statm: 2287 274 233 213 0 72 0
[pid=16208] ppid=16207 vsize=19868 CPUtime=1779.15 cores=0,2,4,6
/proc/16208/stat : 16208 (npSolver-wbo) S 16207 16207 14131 0 -1 4202496 102683 893009 0 0 328 40 177071 476 20 0 1 0 385093600 20344832 4415 33554432000 4194304 6006132 140735651686336 140735651677728 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16208/statm: 4967 4415 168 443 0 4520 0
[pid=17537] ppid=16208 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17537/stat : 17537 (satsolver.sh) S 16208 16207 14131 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385271582 9367552 266 33554432000 4194304 5064252 140736528273248 140736528272160 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17537/statm: 2287 266 226 213 0 72 0
[pid=17538] ppid=17537 vsize=50304 CPUtime=20.87 cores=0,2,4,6
/proc/17538/stat : 17538 (glucose) R 17537 16207 14131 0 -1 4202496 9344 0 0 0 2085 2 0 0 20 0 1 0 385271582 51511296 11933 33554432000 4194304 5208918 140734918385504 140734918383448 4229712 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17538/statm: 12576 11933 96 248 0 12325 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 88468

Sending SIGTERM to process tree (bottom up)

Solver just ended. Dumping a history of the last processes samples

[startup+1800.71 s]
/proc/loadavg: 2.01 2.00 1.99 3/181 17552
/proc/meminfo: memFree=29684436/32873624 swapFree=7112/7112
[pid=16207] ppid=16205 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16207/stat : 16207 (npSolver-wbo-It) S 16205 16207 14131 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385093600 9367552 274 33554432000 4194304 5064252 140736239311856 140736239310768 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16207/statm: 2287 274 233 213 0 72 0
[pid=16208] ppid=16207 vsize=19868 CPUtime=1779.15 cores=0,2,4,6
/proc/16208/stat : 16208 (npSolver-wbo) S 16207 16207 14131 0 -1 4202496 102683 893009 0 0 328 40 177071 476 20 0 1 0 385093600 20344832 4415 33554432000 4194304 6006132 140735651686336 140735651677728 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16208/statm: 4967 4415 168 443 0 4520 0
[pid=17537] ppid=16208 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17537/stat : 17537 (satsolver.sh) S 16208 16207 14131 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385271582 9367552 266 33554432000 4194304 5064252 140736528273248 140736528272160 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17537/statm: 2287 266 226 213 0 72 0
[pid=17538] ppid=17537 vsize=50304 CPUtime=20.87 cores=0,2,4,6
/proc/17538/stat : 17538 (glucose) R 17537 16207 14131 0 -1 4202496 9344 0 0 0 2085 2 0 0 20 0 1 0 385271582 51511296 11933 33554432000 4194304 5208918 140734918385504 140734918383448 4229712 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17538/statm: 12576 11933 96 248 0 12325 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 88468

Child status: 0
Real time (s): 1800.72
CPU time (s): 1800.06
CPU user time (s): 1794.86
CPU system time (s): 5.20321
CPU usage (%): 99.9635
Max. virtual memory (cumulated for all children) (KiB): 129400

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.86
system time used= 5.20321
maximum resident set size= 88016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1006025
page faults= 0
swaps= 0
block input operations= 0
block output operations= 576784
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11398
involuntary context switches= 2458

runsolver used 6.24105 second user time and 14.8117 second system time

The end

Launcher Data 

Begin job on node121 at 2012-06-08 23:08:01
IDJOB=3753627
IDBENCH=78864
IDSOLVER=2337
FILE ID=node121/3753627-1339189681
RUNJOBID= node121-1339184277-15568
PBS_JOBID= 14643801
Free space on /tmp= 71220 MiB

SOLVER NAME= npSolver inc-topDown
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110975607--soft-33-100-0.wbo
COMMAND LINE= DIR/npSolver-wbo-Itd.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3753627-1339189681/watcher-3753627-1339189681 -o /tmp/evaluation-result-3753627-1339189681/solver-3753627-1339189681 -C 1800 -W 1900 -M 15500  HOME/npSolver-wbo-Itd.sh HOME/instance-3753627-1339189681.wbo 1034411873 HOME HOME

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 9a2a28c5bb6a02365b79a03ef797cc3c
RANDOM SEED=1034411873

node121.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.042
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.042
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.042
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.042
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.042
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.042
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.042
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5438.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.042
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873624 kB
MemFree:        29792464 kB
Buffers:          945024 kB
Cached:          1166168 kB
SwapCached:          308 kB
Active:          2095328 kB
Inactive:          46188 kB
Active(anon):       9600 kB
Inactive(anon):     8848 kB
Active(file):    2085728 kB
Inactive(file):    37340 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67106508 kB
Dirty:             16320 kB
Writeback:             8 kB
AnonPages:        157752 kB
Mapped:            13012 kB
Shmem:                40 kB
Slab:             801612 kB
SReclaimable:     245488 kB
SUnreclaim:       556124 kB
KernelStack:        1472 kB
PageTables:         3904 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545668 kB
Committed_AS:     122032 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    137216 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71208 MiB
End job on node121 at 2012-06-08 23:38:02