Trace number 3753239

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-quickBound (fixed)? (TO) 1800.06 1800.51

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110966483--soft-0-100-0.wbo
MD5SUM2001343def6115cfc261dcde547cf23c
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark19
Best CPU time to get the best result obtained on this benchmark0.278957
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 constraints101
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 4944
Min constraint cost 1
Max constraint cost 98
Sum of constraints costs 4943
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1298
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

Solver Data 

0.00/0.03	c run usual solver
7.96/8.03	o 827
7.96/8.03	c starting approximation
7.96/8.03	c factor = 2
7.96/8.03	c current bound: 413
60.15/60.29	c current bound: 413
112.51/112.63	c current bound: 413
164.52/164.69	c current bound: 413
217.00/217.15	c current bound: 413
268.66/268.82	c current bound: 413
321.66/321.82	c current bound: 413
374.46/374.69	c current bound: 413
427.05/427.24	c current bound: 413
478.94/479.15	c current bound: 413
530.93/531.16	c current bound: 413
582.53/582.75	c current bound: 413
635.40/635.67	c current bound: 413
687.90/688.15	c current bound: 413
739.99/740.21	c current bound: 413
791.78/792.05	c current bound: 413
842.87/843.19	c current bound: 413
895.46/895.76	c current bound: 413
946.74/947.04	c current bound: 413
998.19/998.51	c current bound: 413
1050.13/1050.47	c current bound: 413
1102.75/1103.11	c current bound: 413
1156.27/1156.63	c current bound: 413
1207.77/1208.19	c current bound: 413
1260.85/1261.27	c current bound: 413
1313.34/1313.78	c current bound: 413
1366.02/1366.44	c current bound: 413
1417.60/1418.08	c current bound: 413
1470.09/1470.58	c current bound: 413
1522.16/1522.63	c current bound: 413
1574.85/1575.33	c current bound: 413
1626.26/1626.75	c current bound: 413
1679.35/1679.85	c current bound: 413
1731.79/1732.31	c current bound: 413
1784.61/1785.17	c current bound: 413
1800.02/1800.50	./satsolver.sh: line 5: 13478 Terminated              ./glucose $1 > $2 2> /dev/null
1800.02/1800.50	c error: unexpected solver exit code
1800.02/1800.50	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-3753239-1339208292/watcher-3753239-1339208292 -o /tmp/evaluation-result-3753239-1339208292/solver-3753239-1339208292 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3753239-1339208292.wbo 2070628829 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.04 2.04 2.09 3/180 12732
/proc/meminfo: memFree=31331848/32873844 swapFree=6904/6904
[pid=12732] ppid=12730 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12732/stat : 12732 (npSolver-wbo-It) S 12730 12732 9784 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386953601 9367552 275 33554432000 4194304 5064252 140737206687712 140737206686624 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12732/statm: 2287 275 233 213 0 72 0

[startup+0.0475641 s]
/proc/loadavg: 2.04 2.04 2.09 3/180 12732
/proc/meminfo: memFree=31331848/32873844 swapFree=6904/6904
[pid=12732] ppid=12730 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12732/stat : 12732 (npSolver-wbo-It) S 12730 12732 9784 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386953601 9367552 275 33554432000 4194304 5064252 140737206687712 140737206686624 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12732/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.10028 s]
/proc/loadavg: 2.04 2.04 2.09 3/180 12732
/proc/meminfo: memFree=31331848/32873844 swapFree=6904/6904
[pid=12732] ppid=12730 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12732/stat : 12732 (npSolver-wbo-It) S 12730 12732 9784 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386953601 9367552 275 33554432000 4194304 5064252 140737206687712 140737206686624 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12732/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300226 s]
/proc/loadavg: 2.04 2.04 2.09 3/180 12732
/proc/meminfo: memFree=31331848/32873844 swapFree=6904/6904
[pid=12732] ppid=12730 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12732/stat : 12732 (npSolver-wbo-It) S 12730 12732 9784 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386953601 9367552 275 33554432000 4194304 5064252 140737206687712 140737206686624 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12732/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700221 s]
/proc/loadavg: 2.04 2.04 2.09 3/180 12732
/proc/meminfo: memFree=31331848/32873844 swapFree=6904/6904
[pid=12732] ppid=12730 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12732/stat : 12732 (npSolver-wbo-It) S 12730 12732 9784 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386953601 9367552 275 33554432000 4194304 5064252 140737206687712 140737206686624 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12732/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.04 2.04 2.09 3/184 12739
/proc/meminfo: memFree=31326964/32873844 swapFree=6904/6904
[pid=12732] ppid=12730 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12732/stat : 12732 (npSolver-wbo-It) S 12730 12732 9784 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386953601 9367552 275 33554432000 4194304 5064252 140737206687712 140737206686624 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12732/statm: 2287 275 233 213 0 72 0
[pid=12733] ppid=12732 vsize=3016 CPUtime=0.15 cores=0,2,4,6
/proc/12733/stat : 12733 (npSolver-wbo) S 12732 12732 9784 0 -1 4202496 2460 2158 0 0 2 0 13 0 20 0 1 0 386953601 3088384 385 33554432000 4194304 6006132 140736494847520 140736494841712 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12733/statm: 754 385 157 443 0 307 0
[pid=12738] ppid=12733 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12738/stat : 12738 (satsolver.sh) S 12733 12732 9784 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386953618 9367552 265 33554432000 4194304 5064252 140735102288784 140735102287696 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12738/statm: 2287 265 226 213 0 72 0
[pid=12739] ppid=12738 vsize=12760 CPUtime=1.32 cores=0,2,4,6
/proc/12739/stat : 12739 (glucose) R 12738 12732 9784 0 -1 4202496 2731 0 0 0 132 0 0 0 20 0 1 0 386953618 13066240 2306 33554432000 4194304 5208918 140733782983392 140733782981544 4231508 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/12739/statm: 3190 2306 96 248 0 2939 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 34072

[startup+3.10034 s]
/proc/loadavg: 2.04 2.04 2.09 3/184 12739
/proc/meminfo: memFree=31319584/32873844 swapFree=6904/6904
[pid=12732] ppid=12730 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12732/stat : 12732 (npSolver-wbo-It) S 12730 12732 9784 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386953601 9367552 275 33554432000 4194304 5064252 140737206687712 140737206686624 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12732/statm: 2287 275 233 213 0 72 0
[pid=12733] ppid=12732 vsize=3016 CPUtime=0.15 cores=0,2,4,6
/proc/12733/stat : 12733 (npSolver-wbo) S 12732 12732 9784 0 -1 4202496 2460 2158 0 0 2 0 13 0 20 0 1 0 386953601 3088384 385 33554432000 4194304 6006132 140736494847520 140736494841712 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12733/statm: 754 385 157 443 0 307 0
[pid=12738] ppid=12733 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12738/stat : 12738 (satsolver.sh) S 12733 12732 9784 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386953618 9367552 265 33554432000 4194304 5064252 140735102288784 140735102287696 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12738/statm: 2287 265 226 213 0 72 0
[pid=12739] ppid=12738 vsize=14448 CPUtime=2.92 cores=0,2,4,6
/proc/12739/stat : 12739 (glucose) R 12738 12732 9784 0 -1 4202496 3633 0 0 0 292 0 0 0 20 0 1 0 386953618 14794752 3178 33554432000 4194304 5208918 140733782983392 140733782981336 4229251 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/12739/statm: 3612 3178 96 248 0 3361 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 35760

[startup+6.30034 s]
/proc/loadavg: 2.03 2.04 2.09 3/184 12746
/proc/meminfo: memFree=31339388/32873844 swapFree=6904/6904
[pid=12732] ppid=12730 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12732/stat : 12732 (npSolver-wbo-It) S 12730 12732 9784 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386953601 9367552 275 33554432000 4194304 5064252 140737206687712 140737206686624 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12732/statm: 2287 275 233 213 0 72 0
[pid=12733] ppid=12732 vsize=3016 CPUtime=0.15 cores=0,2,4,6
/proc/12733/stat : 12733 (npSolver-wbo) S 12732 12732 9784 0 -1 4202496 2460 2158 0 0 2 0 13 0 20 0 1 0 386953601 3088384 385 33554432000 4194304 6006132 140736494847520 140736494841712 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12733/statm: 754 385 157 443 0 307 0
[pid=12738] ppid=12733 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12738/stat : 12738 (satsolver.sh) S 12733 12732 9784 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386953618 9367552 265 33554432000 4194304 5064252 140735102288784 140735102287696 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12738/statm: 2287 265 226 213 0 72 0
[pid=12739] ppid=12738 vsize=22556 CPUtime=6.11 cores=0,2,4,6
/proc/12739/stat : 12739 (glucose) R 12738 12732 9784 0 -1 4202496 4306 0 0 0 611 0 0 0 20 0 1 0 386953618 23097344 4865 33554432000 4194304 5208918 140733782983392 140733782981256 4229520 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/12739/statm: 5639 4865 96 248 0 5388 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 43868

[startup+12.7003 s]
/proc/loadavg: 2.03 2.04 2.09 3/184 12753
/proc/meminfo: memFree=31325708/32873844 swapFree=6904/6904
[pid=12732] ppid=12730 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12732/stat : 12732 (npSolver-wbo-It) S 12730 12732 9784 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386953601 9367552 275 33554432000 4194304 5064252 140737206687712 140737206686624 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12732/statm: 2287 275 233 213 0 72 0
[pid=12733] ppid=12732 vsize=6988 CPUtime=8.03 cores=0,2,4,6
/proc/12733/stat : 12733 (npSolver-wbo) S 12732 12732 9784 0 -1 4202496 3141 9873 0 0 4 1 796 2 20 0 1 0 386953601 7155712 1427 33554432000 4194304 6006132 140736494847520 140736494838880 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12733/statm: 1747 1427 176 443 0 1300 0
[pid=12752] ppid=12733 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12752/stat : 12752 (satsolver.sh) S 12733 12732 9784 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386954407 9367552 266 33554432000 4194304 5064252 140735164478320 140735164477232 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12752/statm: 2287 266 226 213 0 72 0
[pid=12753] ppid=12752 vsize=19208 CPUtime=4.63 cores=0,2,4,6
/proc/12753/stat : 12753 (glucose) R 12752 12732 9784 0 -1 4202496 4249 0 0 0 463 0 0 0 20 0 1 0 386954407 19668992 4446 33554432000 4194304 5208918 140735206101072 140735206099160 4229748 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12753/statm: 4802 4446 96 248 0 4551 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 44492

[startup+25.5004 s]
/proc/loadavg: 2.02 2.04 2.09 3/184 12753
/proc/meminfo: memFree=31299260/32873844 swapFree=6904/6904
[pid=12732] ppid=12730 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12732/stat : 12732 (npSolver-wbo-It) S 12730 12732 9784 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386953601 9367552 275 33554432000 4194304 5064252 140737206687712 140737206686624 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12732/statm: 2287 275 233 213 0 72 0
[pid=12733] ppid=12732 vsize=6988 CPUtime=8.03 cores=0,2,4,6
/proc/12733/stat : 12733 (npSolver-wbo) S 12732 12732 9784 0 -1 4202496 3141 9873 0 0 4 1 796 2 20 0 1 0 386953601 7155712 1427 33554432000 4194304 6006132 140736494847520 140736494838880 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12733/statm: 1747 1427 176 443 0 1300 0
[pid=12752] ppid=12733 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12752/stat : 12752 (satsolver.sh) S 12733 12732 9784 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386954407 9367552 266 33554432000 4194304 5064252 140735164478320 140735164477232 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12752/statm: 2287 266 226 213 0 72 0
[pid=12753] ppid=12752 vsize=42204 CPUtime=17.43 cores=0,2,4,6
/proc/12753/stat : 12753 (glucose) R 12752 12732 9784 0 -1 4202496 5756 0 0 0 1742 1 0 0 20 0 1 0 386954407 43216896 9522 33554432000 4194304 5208918 140735206101072 140735206098936 4211570 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12753/statm: 10551 9522 96 248 0 10300 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 67488

[startup+51.1004 s]
/proc/loadavg: 2.01 2.04 2.09 3/183 12753
/proc/meminfo: memFree=31291384/32873844 swapFree=6904/6904
[pid=12732] ppid=12730 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12732/stat : 12732 (npSolver-wbo-It) S 12730 12732 9784 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386953601 9367552 275 33554432000 4194304 5064252 140737206687712 140737206686624 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12732/statm: 2287 275 233 213 0 72 0
[pid=12733] ppid=12732 vsize=6988 CPUtime=8.03 cores=0,2,4,6
/proc/12733/stat : 12733 (npSolver-wbo) S 12732 12732 9784 0 -1 4202496 3141 9873 0 0 4 1 796 2 20 0 1 0 386953601 7155712 1427 33554432000 4194304 6006132 140736494847520 140736494838880 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12733/statm: 1747 1427 176 443 0 1300 0
[pid=12752] ppid=12733 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12752/stat : 12752 (satsolver.sh) S 12733 12732 9784 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386954407 9367552 266 33554432000 4194304 5064252 140735164478320 140735164477232 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12752/statm: 2287 266 226 213 0 72 0
[pid=12753] ppid=12752 vsize=47540 CPUtime=43.02 cores=0,2,4,6
/proc/12753/stat : 12753 (glucose) R 12752 12732 9784 0 -1 4202496 6166 0 0 0 4301 1 0 0 20 0 1 0 386954407 48680960 10267 33554432000 4194304 5208918 140735206101072 140735206098936 4211584 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12753/statm: 11885 10267 96 248 0 11634 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 72824

[startup+102.307 s]
/proc/loadavg: 2.00 2.03 2.08 3/183 12761
/proc/meminfo: memFree=31282568/32873844 swapFree=6904/6904
[pid=12732] ppid=12730 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12732/stat : 12732 (npSolver-wbo-It) S 12730 12732 9784 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386953601 9367552 275 33554432000 4194304 5064252 140737206687712 140737206686624 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12732/statm: 2287 275 233 213 0 72 0
[pid=12733] ppid=12732 vsize=6988 CPUtime=60.28 cores=0,2,4,6
/proc/12733/stat : 12733 (npSolver-wbo) S 12732 12732 9784 0 -1 4202496 3803 19220 0 0 6 2 6014 6 20 0 1 0 386953601 7155712 1427 33554432000 4194304 6006132 140736494847520 140736494838880 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12733/statm: 1747 1427 176 443 0 1300 0
[pid=12760] ppid=12733 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12760/stat : 12760 (satsolver.sh) S 12733 12732 9784 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386959633 9367552 267 33554432000 4194304 5064252 140734926989088 140734926988000 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12760/statm: 2287 267 226 213 0 72 0
[pid=12761] ppid=12760 vsize=47540 CPUtime=41.96 cores=0,2,4,6
/proc/12761/stat : 12761 (glucose) R 12760 12732 9784 0 -1 4202496 6884 0 0 0 4195 1 0 0 20 0 1 0 386959633 48680960 10520 33554432000 4194304 5208918 140733787286784 140733787284648 4229517 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12761/statm: 11885 10520 96 248 0 11634 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 72824

[startup+162.3 s]
/proc/loadavg: 2.06 2.04 2.08 3/184 12778
/proc/meminfo: memFree=31288520/32873844 swapFree=6904/6904
[pid=12732] ppid=12730 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12732/stat : 12732 (npSolver-wbo-It) S 12730 12732 9784 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386953601 9367552 275 33554432000 4194304 5064252 140737206687712 140737206686624 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12732/statm: 2287 275 233 213 0 72 0
[pid=12733] ppid=12732 vsize=6988 CPUtime=112.6 cores=0,2,4,6
/proc/12733/stat : 12733 (npSolver-wbo) S 12732 12732 9784 0 -1 4202496 4465 29289 0 0 8 2 11239 11 20 0 1 0 386953601 7155712 1427 33554432000 4194304 6006132 140736494847520 140736494838880 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12733/statm: 1747 1427 176 443 0 1300 0
[pid=12777] ppid=12733 vsize=9148 CPUtime=0 cores=0,2,4,6

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


[startup+1422.31 s]
/proc/loadavg: 2.04 2.03 2.02 3/183 13337
/proc/meminfo: memFree=31326848/32873844 swapFree=6904/6904
[pid=12732] ppid=12730 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12732/stat : 12732 (npSolver-wbo-It) S 12730 12732 9784 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386953601 9367552 275 33554432000 4194304 5064252 140737206687712 140737206686624 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12732/statm: 2287 275 233 213 0 72 0
[pid=12733] ppid=12732 vsize=6988 CPUtime=1417.72 cores=0,2,4,6
/proc/12733/stat : 12733 (npSolver-wbo) S 12732 12732 9784 0 -1 4202496 21015 300338 0 0 58 8 141560 146 20 0 1 0 386953601 7155712 1427 33554432000 4194304 6006132 140736494847520 140736494838880 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12733/statm: 1747 1427 176 443 0 1300 0
[pid=13329] ppid=12733 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13329/stat : 13329 (satsolver.sh) S 12733 12732 9784 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387095411 9367552 266 33554432000 4194304 5064252 140733525734096 140733525733008 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13329/statm: 2287 266 226 213 0 72 0
[pid=13330] ppid=13329 vsize=19216 CPUtime=4.19 cores=0,2,4,6
/proc/13330/stat : 13330 (glucose) R 13329 12732 9784 0 -1 4202496 6249 0 0 0 419 0 0 0 20 0 1 0 387095412 19677184 4447 33554432000 4194304 5208918 140735342847168 140735342845160 4211871 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13330/statm: 4804 4447 96 248 0 4553 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 44500

[startup+1482.3 s]
/proc/loadavg: 2.01 2.02 2.01 3/183 13358
/proc/meminfo: memFree=31302636/32873844 swapFree=6904/6904
[pid=12732] ppid=12730 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12732/stat : 12732 (npSolver-wbo-It) S 12730 12732 9784 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386953601 9367552 275 33554432000 4194304 5064252 140737206687712 140737206686624 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12732/statm: 2287 275 233 213 0 72 0
[pid=12733] ppid=12732 vsize=6988 CPUtime=1470.21 cores=0,2,4,6
/proc/12733/stat : 12733 (npSolver-wbo) S 12732 12732 9784 0 -1 4202496 21677 311351 0 0 60 8 146801 152 20 0 1 0 386953601 7155712 1427 33554432000 4194304 6006132 140736494847520 140736494838880 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12733/statm: 1747 1427 176 443 0 1300 0
[pid=13350] ppid=12733 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13350/stat : 13350 (satsolver.sh) S 12733 12732 9784 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387100661 9367552 267 33554432000 4194304 5064252 140733248986512 140733248985424 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13350/statm: 2287 267 226 213 0 72 0
[pid=13351] ppid=13350 vsize=30712 CPUtime=11.67 cores=0,2,4,6
/proc/13351/stat : 13351 (glucose) R 13350 12732 9784 0 -1 4202496 6764 0 0 0 1166 1 0 0 20 0 1 0 387100662 31449088 7313 33554432000 4194304 5208918 140735215504912 140735215502776 4211584 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13351/statm: 7678 7313 96 248 0 7427 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 55996

[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.01 3/183 13379
/proc/meminfo: memFree=31297924/32873844 swapFree=6904/6904
[pid=12732] ppid=12730 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12732/stat : 12732 (npSolver-wbo-It) S 12730 12732 9784 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386953601 9367552 275 33554432000 4194304 5064252 140737206687712 140737206686624 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12732/statm: 2287 275 233 213 0 72 0
[pid=12733] ppid=12732 vsize=6988 CPUtime=1522.25 cores=0,2,4,6
/proc/12733/stat : 12733 (npSolver-wbo) S 12732 12732 9784 0 -1 4202496 22339 322900 0 0 62 8 151998 157 20 0 1 0 386953601 7155712 1427 33554432000 4194304 6006132 140736494847520 140736494838880 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12733/statm: 1747 1427 176 443 0 1300 0
[pid=13371] ppid=12733 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13371/stat : 13371 (satsolver.sh) S 12733 12732 9784 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387105867 9367552 265 33554432000 4194304 5064252 140737071555408 140737071554320 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13371/statm: 2287 265 226 213 0 72 0
[pid=13372] ppid=13371 vsize=30708 CPUtime=19.62 cores=0,2,4,6
/proc/13372/stat : 13372 (glucose) R 13371 12732 9784 0 -1 4202496 7143 0 0 0 1961 1 0 0 20 0 1 0 387105867 31444992 7328 33554432000 4194304 5208918 140734524109536 140734524107528 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13372/statm: 7677 7328 96 248 0 7426 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 55992

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 13401
/proc/meminfo: memFree=31295428/32873844 swapFree=6904/6904
[pid=12732] ppid=12730 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12732/stat : 12732 (npSolver-wbo-It) S 12730 12732 9784 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386953601 9367552 275 33554432000 4194304 5064252 140737206687712 140737206686624 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12732/statm: 2287 275 233 213 0 72 0
[pid=12733] ppid=12732 vsize=6988 CPUtime=1574.94 cores=0,2,4,6
/proc/12733/stat : 12733 (npSolver-wbo) S 12732 12732 9784 0 -1 4202496 23001 333986 0 0 64 9 157258 163 20 0 1 0 386953601 7155712 1427 33554432000 4194304 6006132 140736494847520 140736494838880 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12733/statm: 1747 1427 176 443 0 1300 0
[pid=13392] ppid=12733 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13392/stat : 13392 (satsolver.sh) S 12733 12732 9784 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387111137 9367552 266 33554432000 4194304 5064252 140736972516192 140736972515104 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13392/statm: 2287 266 226 213 0 72 0
[pid=13393] ppid=13392 vsize=40356 CPUtime=26.92 cores=0,2,4,6
/proc/13393/stat : 13393 (glucose) R 13392 12732 9784 0 -1 4202496 6571 0 0 0 2691 1 0 0 20 0 1 0 387111137 41324544 8087 33554432000 4194304 5208918 140736245274640 140736245272584 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13393/statm: 10089 8087 96 248 0 9838 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 65640

[startup+1662.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/183 13429
/proc/meminfo: memFree=31295060/32873844 swapFree=6904/6904
[pid=12732] ppid=12730 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12732/stat : 12732 (npSolver-wbo-It) S 12730 12732 9784 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386953601 9367552 275 33554432000 4194304 5064252 140737206687712 140737206686624 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12732/statm: 2287 275 233 213 0 72 0
[pid=12733] ppid=12732 vsize=6988 CPUtime=1626.34 cores=0,2,4,6
/proc/12733/stat : 12733 (npSolver-wbo) S 12732 12732 9784 0 -1 4202496 23663 345009 0 0 66 9 162392 167 20 0 1 0 386953601 7155712 1427 33554432000 4194304 6006132 140736494847520 140736494838880 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12733/statm: 1747 1427 176 443 0 1300 0
[pid=13414] ppid=12733 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13414/stat : 13414 (satsolver.sh) S 12733 12732 9784 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 387116278 9367552 266 33554432000 4194304 5064252 140734923451472 140734923450384 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13414/statm: 2287 266 226 213 0 72 0
[pid=13415] ppid=13414 vsize=47540 CPUtime=35.5 cores=0,2,4,6
/proc/13415/stat : 13415 (glucose) R 13414 12732 9784 0 -1 4202496 7336 0 0 0 3549 1 0 0 20 0 1 0 387116278 48680960 10261 33554432000 4194304 5208918 140733620059728 140733620057592 4229692 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13415/statm: 11885 10261 96 248 0 11634 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 72824

[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 13450
/proc/meminfo: memFree=31291032/32873844 swapFree=6904/6904
[pid=12732] ppid=12730 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12732/stat : 12732 (npSolver-wbo-It) S 12730 12732 9784 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386953601 9367552 275 33554432000 4194304 5064252 140737206687712 140737206686624 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12732/statm: 2287 275 233 213 0 72 0
[pid=12733] ppid=12732 vsize=6988 CPUtime=1679.43 cores=0,2,4,6
/proc/12733/stat : 12733 (npSolver-wbo) S 12732 12732 9784 0 -1 4202496 24325 356033 0 0 68 9 167694 172 20 0 1 0 386953601 7155712 1427 33554432000 4194304 6006132 140736494847520 140736494838880 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12733/statm: 1747 1427 176 443 0 1300 0
[pid=13435] ppid=12733 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13435/stat : 13435 (satsolver.sh) S 12733 12732 9784 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387121589 9367552 267 33554432000 4194304 5064252 140736328849200 140736328848112 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13435/statm: 2287 267 226 213 0 72 0
[pid=13436] ppid=13435 vsize=47544 CPUtime=42.4 cores=0,2,4,6
/proc/13436/stat : 13436 (glucose) R 13435 12732 9784 0 -1 4202496 7265 0 0 0 4239 1 0 0 20 0 1 0 387121589 48685056 10269 33554432000 4194304 5208918 140736695047200 140736695045064 4229580 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13436/statm: 11886 10269 96 248 0 11635 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 72828

[startup+1782.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/183 13471
/proc/meminfo: memFree=31284756/32873844 swapFree=6904/6904
[pid=12732] ppid=12730 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12732/stat : 12732 (npSolver-wbo-It) S 12730 12732 9784 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386953601 9367552 275 33554432000 4194304 5064252 140737206687712 140737206686624 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12732/statm: 2287 275 233 213 0 72 0
[pid=12733] ppid=12732 vsize=6988 CPUtime=1731.87 cores=0,2,4,6
/proc/12733/stat : 12733 (npSolver-wbo) S 12732 12732 9784 0 -1 4202496 24987 366992 0 0 70 9 172931 177 20 0 1 0 386953601 7155712 1427 33554432000 4194304 6006132 140736494847520 140736494838880 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12733/statm: 1747 1427 176 443 0 1300 0
[pid=13456] ppid=12733 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13456/stat : 13456 (satsolver.sh) S 12733 12732 9784 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387126835 9367552 266 33554432000 4194304 5064252 140737412645136 140737412644048 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13456/statm: 2287 266 226 213 0 72 0
[pid=13457] ppid=13456 vsize=47548 CPUtime=49.94 cores=0,2,4,6
/proc/13457/stat : 13457 (glucose) R 13456 12732 9784 0 -1 4202496 5847 0 0 0 4993 1 0 0 20 0 1 0 387126835 48689152 10643 33554432000 4194304 5208918 140736190682976 140736190680840 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13457/statm: 11887 10643 96 248 0 11636 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 72832



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.12 2.04 2.01 3/183 13485
/proc/meminfo: memFree=31302816/32873844 swapFree=6904/6904
[pid=12732] ppid=12730 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12732/stat : 12732 (npSolver-wbo-It) S 12730 12732 9784 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386953601 9367552 275 33554432000 4194304 5064252 140737206687712 140737206686624 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12732/statm: 2287 275 233 213 0 72 0
[pid=12733] ppid=12732 vsize=6988 CPUtime=1784.73 cores=0,2,4,6
/proc/12733/stat : 12733 (npSolver-wbo) S 12732 12732 9784 0 -1 4202496 25649 376526 0 0 72 10 178209 182 20 0 1 0 386953601 7155712 1427 33554432000 4194304 6006132 140736494847520 140736494838880 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12733/statm: 1747 1427 176 443 0 1300 0
[pid=13477] ppid=12733 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13477/stat : 13477 (satsolver.sh) S 12733 12732 9784 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387132120 9367552 266 33554432000 4194304 5064252 140733364821168 140733364820080 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13477/statm: 2287 266 226 213 0 72 0
[pid=13478] ppid=13477 vsize=30712 CPUtime=15.29 cores=0,2,4,6
/proc/13478/stat : 13478 (glucose) R 13477 12732 9784 0 -1 4202496 6829 0 0 0 1529 0 0 0 20 0 1 0 387132120 31449088 7313 33554432000 4194304 5208918 140733933482688 140733933480552 4215296 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13478/statm: 7678 7313 96 248 0 7427 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 55996

Sending SIGTERM to process tree (bottom up)

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

[startup+1800.5 s]
/proc/loadavg: 2.12 2.04 2.01 3/183 13485
/proc/meminfo: memFree=31302816/32873844 swapFree=6904/6904
[pid=12732] ppid=12730 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12732/stat : 12732 (npSolver-wbo-It) S 12730 12732 9784 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386953601 9367552 275 33554432000 4194304 5064252 140737206687712 140737206686624 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12732/statm: 2287 275 233 213 0 72 0
[pid=12733] ppid=12732 vsize=6988 CPUtime=1784.73 cores=0,2,4,6
/proc/12733/stat : 12733 (npSolver-wbo) S 12732 12732 9784 0 -1 4202496 25649 376526 0 0 72 10 178209 182 20 0 1 0 386953601 7155712 1427 33554432000 4194304 6006132 140736494847520 140736494838880 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12733/statm: 1747 1427 176 443 0 1300 0
[pid=13477] ppid=12733 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13477/stat : 13477 (satsolver.sh) S 12733 12732 9784 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387132120 9367552 266 33554432000 4194304 5064252 140733364821168 140733364820080 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13477/statm: 2287 266 226 213 0 72 0
[pid=13478] ppid=13477 vsize=30712 CPUtime=15.29 cores=0,2,4,6
/proc/13478/stat : 13478 (glucose) R 13477 12732 9784 0 -1 4202496 6829 0 0 0 1529 0 0 0 20 0 1 0 387132120 31449088 7313 33554432000 4194304 5208918 140733933482688 140733933480552 4215296 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13478/statm: 7678 7313 96 248 0 7427 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 55996

Child status: 0
Real time (s): 1800.51
CPU time (s): 1800.06
CPU user time (s): 1798.12
CPU system time (s): 1.9397
CPU usage (%): 99.9749
Max. virtual memory (cumulated for all children) (KiB): 72832

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.12
system time used= 1.93971
maximum resident set size= 44196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 409994
page faults= 0
swaps= 0
block input operations= 0
block output operations= 115408
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2310
involuntary context switches= 2320

runsolver used 2.6556 second user time and 7.17491 second system time

The end

Launcher Data 

Begin job on node140 at 2012-06-09 04:18:12
IDJOB=3753239
IDBENCH=79225
IDSOLVER=2336
FILE ID=node140/3753239-1339208292
RUNJOBID= node140-1339204810-9800
PBS_JOBID= 14643869
Free space on /tmp= 70624 MiB

SOLVER NAME= npSolver inc-topdown-quickBound
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110966483--soft-0-100-0.wbo
COMMAND LINE= DIR/npSolver-wbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3753239-1339208292/watcher-3753239-1339208292 -o /tmp/evaluation-result-3753239-1339208292/solver-3753239-1339208292 -C 1800 -W 1900 -M 15500  HOME/npSolver-wbo-Itdqb.sh HOME/instance-3753239-1339208292.wbo 2070628829 HOME HOME

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

MD5SUM BENCH= 2001343def6115cfc261dcde547cf23c
RANDOM SEED=2070628829

node140.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.094
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.18
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.094
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.094
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.91
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.094
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.094
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.92
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.094
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.88
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.094
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	: 5331.90
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.094
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:       32873844 kB
MemFree:        31332104 kB
Buffers:          328140 kB
Cached:           291324 kB
SwapCached:         2156 kB
Active:           603308 kB
Inactive:          65708 kB
Active(anon):      44136 kB
Inactive(anon):     4260 kB
Active(file):     559172 kB
Inactive(file):    61448 kB
Unevictable:        6904 kB
Mlocked:            6904 kB
SwapTotal:      67108856 kB
SwapFree:       67100256 kB
Dirty:              8156 kB
Writeback:             0 kB
AnonPages:        118584 kB
Mapped:             9820 kB
Shmem:                 0 kB
Slab:             731872 kB
SReclaimable:     173088 kB
SUnreclaim:       558784 kB
KernelStack:        1528 kB
PageTables:         3868 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     183040 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     98304 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70616 MiB
End job on node140 at 2012-06-09 04:48:12