Trace number 3715840

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? (TO) 1800.06 1854.02

General information on the benchmark

Name/SOFT-BIGINT-LIN/PB06/web/
uclid_pb_benchmarks/normalized-blast-tlan3.ucl--soft-0-100-0.wbo
MD5SUM878bbda538d22bb5879b300c70eb591d
Bench CategorySOFT-BIGINT-LIN (only soft constraints, big integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark7.69283
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables19944
Total number of constraints50842
Number of soft constraints50842
Number of constraints which are clauses43898
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints6944
Minimum length of a constraint1
Maximum length of a constraint19
Top cost 2571036
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 2571035
Biggest number in a constraint 641
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 2174
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

57.28/57.34	c run usual solver
208.75/210.81	o 1089
208.75/210.81	c starting approximation
208.75/210.81	c factor = 2
208.75/210.81	c factor still to low - shrinking to 188.774
208.75/210.81	c approx number of clauses: 1e+06
208.75/210.81	c current bound: 544
252.28/254.41	c current bound: 544
294.48/296.53	c current bound: 544
336.65/340.26	c current bound: 544
378.75/383.97	c current bound: 544
420.90/427.97	c current bound: 544
463.10/472.07	c current bound: 544
505.25/515.61	c current bound: 544
547.47/559.20	c current bound: 544
590.36/604.59	c current bound: 544
632.61/649.22	c current bound: 544
674.80/692.15	c current bound: 544
716.96/735.73	c current bound: 544
759.11/780.00	c current bound: 544
801.21/823.53	c current bound: 544
843.43/867.34	c current bound: 544
885.58/910.83	c current bound: 544
927.70/954.59	c current bound: 544
969.93/998.46	c current bound: 544
1012.13/1041.94	c current bound: 544
1054.32/1085.93	c current bound: 544
1096.49/1129.83	c current bound: 544
1138.71/1172.39	c current bound: 544
1180.89/1216.16	c current bound: 544
1223.09/1260.52	c current bound: 544
1265.23/1304.53	c current bound: 544
1307.38/1348.78	c current bound: 544
1349.66/1392.65	c current bound: 544
1391.89/1435.32	c current bound: 544
1434.09/1479.83	c current bound: 544
1476.48/1522.15	c current bound: 544
1518.74/1566.05	c current bound: 544
1560.96/1608.19	c current bound: 544
1603.75/1652.68	c current bound: 544
1646.01/1694.83	c current bound: 544
1688.26/1738.08	c current bound: 544
1730.44/1781.51	c current bound: 544
1772.67/1825.01	c current bound: 544
1800.06/1854.01	c error: unexpected solver exit code
1800.06/1854.01	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-3715840-1338211542/watcher-3715840-1338211542 -o /tmp/evaluation-result-3715840-1338211542/solver-3715840-1338211542 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715840-1338211542.wbo 1402507960 HOME HOME 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.05 2.05 2.00 3/179 29744
/proc/meminfo: memFree=28961088/32873648 swapFree=7116/7116
[pid=29744] ppid=29742 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29744/stat : 29744 (npSolver-wbo-It) S 29742 29744 1843 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 287281581 9367552 275 33554432000 4194304 5064252 140735095920080 140735095918992 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29744/statm: 2287 275 233 213 0 72 0

[startup+0.025529 s]
/proc/loadavg: 2.05 2.05 2.00 3/179 29744
/proc/meminfo: memFree=28961088/32873648 swapFree=7116/7116
[pid=29744] ppid=29742 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29744/stat : 29744 (npSolver-wbo-It) S 29742 29744 1843 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 287281581 9367552 275 33554432000 4194304 5064252 140735095920080 140735095918992 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29744/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100208 s]
/proc/loadavg: 2.05 2.05 2.00 3/179 29744
/proc/meminfo: memFree=28961088/32873648 swapFree=7116/7116
[pid=29744] ppid=29742 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29744/stat : 29744 (npSolver-wbo-It) S 29742 29744 1843 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 287281581 9367552 275 33554432000 4194304 5064252 140735095920080 140735095918992 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29744/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300198 s]
/proc/loadavg: 2.05 2.05 2.00 3/179 29744
/proc/meminfo: memFree=28961088/32873648 swapFree=7116/7116
[pid=29744] ppid=29742 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29744/stat : 29744 (npSolver-wbo-It) S 29742 29744 1843 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 287281581 9367552 275 33554432000 4194304 5064252 140735095920080 140735095918992 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29744/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700229 s]
/proc/loadavg: 2.05 2.05 2.00 3/179 29744
/proc/meminfo: memFree=28961088/32873648 swapFree=7116/7116
[pid=29744] ppid=29742 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29744/stat : 29744 (npSolver-wbo-It) S 29742 29744 1843 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 287281581 9367552 275 33554432000 4194304 5064252 140735095920080 140735095918992 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29744/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50027 s]
/proc/loadavg: 2.05 2.05 2.00 3/181 29746
/proc/meminfo: memFree=28896404/32873648 swapFree=7116/7116
[pid=29744] ppid=29742 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29744/stat : 29744 (npSolver-wbo-It) S 29742 29744 1843 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 287281581 9367552 275 33554432000 4194304 5064252 140735095920080 140735095918992 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29744/statm: 2287 275 233 213 0 72 0
[pid=29745] ppid=29744 vsize=137932 CPUtime=1.49 cores=1,3,5,7
/proc/29745/stat : 29745 (npSolver-wbo) R 29744 29744 1843 0 -1 4202496 5516 0 0 0 146 3 0 0 20 0 1 0 287281582 141242368 25368 33554432000 4194304 5990268 140736960170176 140736960164472 5042619 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29745/statm: 34483 25368 143 439 0 34040 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 147080

[startup+3.10027 s]
/proc/loadavg: 2.05 2.05 2.00 3/181 29746
/proc/meminfo: memFree=28816392/32873648 swapFree=7116/7116
[pid=29744] ppid=29742 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29744/stat : 29744 (npSolver-wbo-It) S 29742 29744 1843 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 287281581 9367552 275 33554432000 4194304 5064252 140735095920080 140735095918992 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29744/statm: 2287 275 233 213 0 72 0
[pid=29745] ppid=29744 vsize=269004 CPUtime=3.08 cores=1,3,5,7
/proc/29745/stat : 29745 (npSolver-wbo) R 29744 29744 1843 0 -1 4202496 6150 0 0 0 302 6 0 0 20 0 1 0 287281582 275460096 55576 33554432000 4194304 5990268 140736960170176 140736960164472 4521673 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29745/statm: 67251 55576 143 439 0 66808 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 278152

[startup+6.30027 s]
/proc/loadavg: 2.04 2.04 2.00 3/181 29746
/proc/meminfo: memFree=28566304/32873648 swapFree=7116/7116
[pid=29744] ppid=29742 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29744/stat : 29744 (npSolver-wbo-It) S 29742 29744 1843 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 287281581 9367552 275 33554432000 4194304 5064252 140735095920080 140735095918992 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29744/statm: 2287 275 233 213 0 72 0
[pid=29745] ppid=29744 vsize=531148 CPUtime=6.29 cores=1,3,5,7
/proc/29745/stat : 29745 (npSolver-wbo) R 29744 29744 1843 0 -1 4202496 6908 0 0 0 615 14 0 0 20 0 1 0 287281582 543895552 116504 33554432000 4194304 5990268 140736960170176 140736960164472 5042549 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29745/statm: 132787 116504 143 439 0 132344 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 540296

[startup+12.7002 s]
/proc/loadavg: 2.04 2.04 2.00 3/181 29746
/proc/meminfo: memFree=27514108/32873648 swapFree=7116/7116
[pid=29744] ppid=29742 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29744/stat : 29744 (npSolver-wbo-It) S 29742 29744 1843 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 287281581 9367552 275 33554432000 4194304 5064252 140735095920080 140735095918992 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29744/statm: 2287 275 233 213 0 72 0
[pid=29745] ppid=29744 vsize=2134748 CPUtime=12.69 cores=1,3,5,7
/proc/29745/stat : 29745 (npSolver-wbo) R 29744 29744 1843 0 -1 4202496 14699 0 0 0 1207 62 0 0 20 0 1 0 287281582 2185981952 361239 33554432000 4194304 5990268 140736960170176 140736960166056 4707042 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29745/statm: 533687 361239 145 439 0 533244 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 2143896

[startup+25.5002 s]
/proc/loadavg: 2.03 2.04 2.00 3/181 29746
/proc/meminfo: memFree=27514660/32873648 swapFree=7116/7116
[pid=29744] ppid=29742 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29744/stat : 29744 (npSolver-wbo-It) S 29742 29744 1843 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 287281581 9367552 275 33554432000 4194304 5064252 140735095920080 140735095918992 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29744/statm: 2287 275 233 213 0 72 0
[pid=29745] ppid=29744 vsize=2134748 CPUtime=25.49 cores=1,3,5,7
/proc/29745/stat : 29745 (npSolver-wbo) R 29744 29744 1843 0 -1 4202496 14699 0 0 0 2487 62 0 0 20 0 1 0 287281582 2185981952 361239 33554432000 4194304 5990268 140736960170176 140736960166056 4523175 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29745/statm: 533687 361239 145 439 0 533244 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 2143896

[startup+51.1002 s]
/proc/loadavg: 2.02 2.04 2.00 3/182 29747
/proc/meminfo: memFree=27354872/32873648 swapFree=7116/7116
[pid=29744] ppid=29742 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29744/stat : 29744 (npSolver-wbo-It) S 29742 29744 1843 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 287281581 9367552 275 33554432000 4194304 5064252 140735095920080 140735095918992 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29744/statm: 2287 275 233 213 0 72 0
[pid=29745] ppid=29744 vsize=2134748 CPUtime=51.08 cores=1,3,5,7
/proc/29745/stat : 29745 (npSolver-wbo) R 29744 29744 1843 0 -1 4202496 14784 0 0 0 5044 64 0 0 20 0 1 0 287281582 2185981952 404759 33554432000 4194304 5990268 140736960170176 140736960166056 4474007 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29745/statm: 533687 404759 145 439 0 533244 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 2143896

[startup+102.307 s]
/proc/loadavg: 2.23 2.09 2.02 3/184 29756
/proc/meminfo: memFree=22727356/32873648 swapFree=7116/7116
[pid=29744] ppid=29742 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29744/stat : 29744 (npSolver-wbo-It) S 29742 29744 1843 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 287281581 9367552 275 33554432000 4194304 5064252 140735095920080 140735095918992 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29744/statm: 2287 275 233 213 0 72 0
[pid=29745] ppid=29744 vsize=2134748 CPUtime=57.42 cores=1,3,5,7
/proc/29745/stat : 29745 (npSolver-wbo) S 29744 29744 1843 0 -1 4202496 16033 0 0 0 5529 213 0 0 20 0 1 0 287281582 2185981952 430367 33554432000 4194304 5990268 140736960170176 140736960163328 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/29745/statm: 533687 430367 153 439 0 533244 0
[pid=29748] ppid=29745 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29748/stat : 29748 (cp2_pre.sh) S 29745 29744 1843 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 287287325 9367552 277 33554432000 4194304 5064252 140737455744784 140737455743488 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29748/statm: 2287 277 234 213 0 72 0
[pid=29749] ppid=29748 vsize=3563912 CPUtime=43.79 cores=1,3,5,7
/proc/29749/stat : 29749 (coprocessor) R 29748 29744 1843 0 -1 4202496 25116 0 0 0 4124 255 0 0 20 0 1 0 287287326 3649445888 648936 33554432000 4194304 6586260 140734853573696 140734853569448 5732496 0 0 4096 8404994 0 0 0 17 5 0 0 104 0 0
/proc/29749/statm: 890978 648936 158 584 0 890390 0
Current children cumulated CPU time (s) 101.21
Current children cumulated vsize (KiB) 5716956

[startup+162.3 s]
/proc/loadavg: 2.16 2.09 2.02 3/180 29763
/proc/meminfo: memFree=25903516/32873648 swapFree=7116/7116
[pid=29744] ppid=29742 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29744/stat : 29744 (npSolver-wbo-It) S 29742 29744 1843 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 287281581 9367552 275 33554432000 4194304 5064252 140735095920080 140735095918992 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29744/statm: 2287 275 233 213 0 72 0
[pid=29745] ppid=29744 vsize=2223860 CPUtime=161.14 cores=1,3,5,7
/proc/29745/stat : 29745 (npSolver-wbo) R 29744 29744 1843 0 -1 4202496 23396 417770 0 0 5737 576 9265 536 20 0 1 0 287281582 2277232640 452649 33554432000 4194304 5990268 140736960170176 140736960163480 5177872 0 0 4096 0 0 0 0 17 3 0 0 15 0 0
/proc/29745/statm: 555965 452649 157 439 0 555522 0
Current children cumulated CPU time (s) 161.14
Current children cumulated vsize (KiB) 2233008

[startup+222.3 s]
/proc/loadavg: 2.62 2.24 2.07 3/183 29774
/proc/meminfo: memFree=21213860/32873648 swapFree=7116/7116
[pid=29744] ppid=29742 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29744/stat : 29744 (npSolver-wbo-It) S 29742 29744 1843 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 287281581 9367552 275 33554432000 4194304 5064252 140735095920080 140735095918992 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29744/statm: 2287 275 233 213 0 72 0
[pid=29745] ppid=29744 vsize=2223864 CPUtime=208.86 cores=1,3,5,7
/proc/29745/stat : 29745 (npSolver-wbo) S 29744 29744 1843 0 -1 4202496 25552 418284 0 0 6535 4396 9265 690 20 0 1 0 287281582 2277236736 452669 33554432000 4194304 5990268 140736960170176 140736960161584 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 102 0 0
/proc/29745/statm: 555966 452669 176 439 0 555523 0
[pid=29773] ppid=29745 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29773/stat : 29773 (satsolver.sh) S 29745 29744 1843 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 287302672 9367552 266 33554432000 4194304 5064252 140736838283408 140736838282320 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29773/statm: 2287 266 226 213 0 72 0
[pid=29774] ppid=29773 vsize=4916580 CPUtime=11.37 cores=1,3,5,7
/proc/29774/stat : 29774 (glucose) R 29773 29744 1843 0 -1 4202496 360689 0 0 0 1003 134 0 0 20 0 1 0 287302673 5034577920 982870 33554432000 4194304 5208918 140733801214784 140733801212728 4465602 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29774/statm: 1229145 982870 95 248 0 1228894 0
Current children cumulated CPU time (s) 220.23
Current children cumulated vsize (KiB) 7158740

[startup+282.3 s]
/proc/loadavg: 2.48 2.26 2.09 3/184 29784
/proc/meminfo: memFree=20961692/32873648 swapFree=7116/7116
[pid=29744] ppid=29742 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29744/stat : 29744 (npSolver-wbo-It) S 29742 29744 1843 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 287281581 9367552 275 33554432000 4194304 5064252 140735095920080 140735095918992 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29744/statm: 2287 275 233 213 0 72 0
[pid=29745] ppid=29744 vsize=2205384 CPUtime=252.4 cores=1,3,5,7
/proc/29745/stat : 29745 (npSolver-wbo) S 29744 29744 1843 0 -1 4202496 34484 812886 0 0 6678 4412 13049 1101 20 0 1 0 287281582 2258313216 447731 33554432000 4194304 5990268 140736960170176 140736960161584 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 102 0 0
/proc/29745/statm: 551346 447731 177 439 0 550903 0
[pid=29780] ppid=29745 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29780/stat : 29780 (satsolver.sh) S 29745 29744 1843 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 287307032 9367552 267 33554432000 4194304 5064252 140737351099872 140737351098784 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29780/statm: 2287 267 226 213 0 72 0
[pid=29781] ppid=29780 vsize=5000712 CPUtime=27.78 cores=1,3,5,7
/proc/29781/stat : 29781 (glucose) R 29780 29744 1843 0 -1 4202496 380424 0 0 0 2610 168 0 0 20 0 1 0 287307033 5120729088 1017880 33554432000 4194304 5208918 140734822727456 140734822723976 4607488 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29781/statm: 1250178 1017880 105 248 0 1249927 0
Current children cumulated CPU time (s) 280.18

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

/proc/30038/stat : 30038 (cp2_post.sh) S 29745 29744 1843 0 -1 4202496 610 0 0 0 0 0 0 0 20 0 1 0 287423779 9367552 266 33554432000 4194304 5064252 140737072035792 140737072034080 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30038/statm: 2287 266 225 213 0 72 0
[pid=30039] ppid=30038 vsize=4004 CPUtime=0 cores=1,3,5,7
/proc/30039/stat : 30039 (cat) S 30038 29744 1843 0 -1 4202496 217 0 0 0 0 0 0 0 20 0 1 0 287423779 4100096 122 33554432000 4194304 4236627 140735494191040 140735494190136 219513964000 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/30039/statm: 1001 122 96 11 0 67 0
[pid=30040] ppid=30038 vsize=127604 CPUtime=0.31 cores=1,3,5,7
/proc/30040/stat : 30040 (coprocessor) R 30038 29744 1843 0 -1 4202496 3567 0 0 0 30 1 0 0 20 0 1 0 287423779 130666496 31099 33554432000 4194304 6586260 140735368562272 140735368559288 5732400 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0
/proc/30040/statm: 31901 31099 145 584 0 31313 0
Current children cumulated CPU time (s) 1378.77
Current children cumulated vsize (KiB) 2355288

[startup+1482.3 s]
/proc/loadavg: 2.48 2.46 2.33 3/182 30101
/proc/meminfo: memFree=23156752/32873648 swapFree=7116/7116
[pid=29744] ppid=29742 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29744/stat : 29744 (npSolver-wbo-It) S 29742 29744 1843 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 287281581 9367552 275 33554432000 4194304 5064252 140735095920080 140735095918992 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29744/statm: 2287 275 233 213 0 72 0
[pid=29745] ppid=29744 vsize=2205384 CPUtime=1434.23 cores=1,3,5,7
/proc/29745/stat : 29745 (npSolver-wbo) S 29744 29744 1843 0 -1 4202496 331004 11833612 0 0 10688 4846 115177 12712 20 0 1 0 287281582 2258313216 447731 33554432000 4194304 5990268 140736960170176 140736960161584 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 1484 0 0
/proc/29745/statm: 551346 447731 177 439 0 550903 0
[pid=30100] ppid=29745 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30100/stat : 30100 (satsolver.sh) S 29745 29744 1843 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 287429575 9367552 267 33554432000 4194304 5064252 140736631400256 140736631399168 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30100/statm: 2287 267 226 213 0 72 0
[pid=30101] ppid=30100 vsize=2897316 CPUtime=2.35 cores=1,3,5,7
/proc/30101/stat : 30101 (glucose) R 30100 29744 1843 0 -1 4202496 89303 0 0 0 177 58 0 0 20 0 1 0 287429575 2966851584 530614 33554432000 4194304 5208918 140737422824224 140737421773864 4221600 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30101/statm: 724329 530614 69 248 0 724078 0
Current children cumulated CPU time (s) 1436.58
Current children cumulated vsize (KiB) 5120996

[startup+1542.3 s]
/proc/loadavg: 2.58 2.49 2.35 3/181 30108
/proc/meminfo: memFree=19660700/32873648 swapFree=7116/7116
[pid=29744] ppid=29742 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29744/stat : 29744 (npSolver-wbo-It) S 29742 29744 1843 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 287281581 9367552 275 33554432000 4194304 5064252 140735095920080 140735095918992 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29744/statm: 2287 275 233 213 0 72 0
[pid=29745] ppid=29744 vsize=2205384 CPUtime=1476.64 cores=1,3,5,7
/proc/29745/stat : 29745 (npSolver-wbo) S 29744 29744 1843 0 -1 4202496 341594 12225799 0 0 10832 4861 118838 13133 20 0 1 0 287281582 2258313216 447731 33554432000 4194304 5990268 140736960170176 140736960161584 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 1526 0 0
/proc/29745/statm: 551346 447731 177 439 0 550903 0
[pid=30107] ppid=29745 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30107/stat : 30107 (satsolver.sh) S 29745 29744 1843 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 287433848 9367552 267 33554432000 4194304 5064252 140737413048224 140737413047136 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30107/statm: 2287 267 226 213 0 72 0
[pid=30108] ppid=30107 vsize=4981700 CPUtime=18.6 cores=1,3,5,7
/proc/30108/stat : 30108 (glucose) R 30107 29744 1843 0 -1 4202496 379364 0 0 0 1716 144 0 0 20 0 1 0 287433848 5101260800 1013829 33554432000 4194304 5208918 140735577012256 140735577010200 4205139 0 0 4096 0 0 0 0 17 3 0 0 100 0 0
/proc/30108/statm: 1245425 1013829 95 248 0 1245174 0
Current children cumulated CPU time (s) 1495.24
Current children cumulated vsize (KiB) 7205380

[startup+1602.3 s]
/proc/loadavg: 2.90 2.59 2.39 3/183 30123
/proc/meminfo: memFree=20640088/32873648 swapFree=7116/7116
[pid=29744] ppid=29742 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29744/stat : 29744 (npSolver-wbo-It) S 29742 29744 1843 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 287281581 9367552 275 33554432000 4194304 5064252 140735095920080 140735095918992 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29744/statm: 2287 275 233 213 0 72 0
[pid=29745] ppid=29744 vsize=2205384 CPUtime=1547.58 cores=1,3,5,7
/proc/29745/stat : 29745 (npSolver-wbo) S 29744 29744 1843 0 -1 4202496 352192 12999118 0 0 10974 4878 125156 13750 20 0 1 0 287281582 2258313216 447731 33554432000 4194304 5990268 140736960170176 140736960161072 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 1526 0 0
/proc/29745/statm: 551346 447731 177 439 0 550903 0
[pid=30121] ppid=29745 vsize=9148 CPUtime=0.11 cores=1,3,5,7
/proc/30121/stat : 30121 (cp2_post.sh) S 29745 29744 1843 0 -1 4202496 611 225 0 0 0 0 0 11 20 0 1 0 287441066 9367552 266 33554432000 4194304 5064252 140735793255904 140735793254192 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30121/statm: 2287 266 225 213 0 72 0
[pid=30123] ppid=30121 vsize=604820 CPUtime=7.43 cores=1,3,5,7
/proc/30123/stat : 30123 (coprocessor) R 30121 29744 1843 0 -1 4202496 11590 0 0 0 714 29 0 0 20 0 1 0 287441066 619335680 96097 33554432000 4194304 6586260 140733855212352 140733855209272 5732496 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/30123/statm: 151205 96097 148 584 0 150617 0
Current children cumulated CPU time (s) 1555.12
Current children cumulated vsize (KiB) 2828500

[startup+1662.3 s]
/proc/loadavg: 2.87 2.63 2.42 3/183 30141
/proc/meminfo: memFree=16815036/32873648 swapFree=7116/7116
[pid=29744] ppid=29742 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29744/stat : 29744 (npSolver-wbo-It) S 29742 29744 1843 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 287281581 9367552 275 33554432000 4194304 5064252 140735095920080 140735095918992 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29744/statm: 2287 275 233 213 0 72 0
[pid=29745] ppid=29744 vsize=2205384 CPUtime=1603.93 cores=1,3,5,7
/proc/29745/stat : 29745 (npSolver-wbo) S 29744 29744 1843 0 -1 4202496 373364 13405902 0 0 11260 4910 129776 14447 20 0 1 0 287281582 2258313216 447731 33554432000 4194304 5990268 140736960170176 140736960161584 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 1576 0 0
/proc/29745/statm: 551346 447731 177 439 0 550903 0
[pid=30138] ppid=29745 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30138/stat : 30138 (satsolver.sh) S 29745 29744 1843 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 287446859 9367552 267 33554432000 4194304 5064252 140734272072912 140734272071824 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30138/statm: 2287 267 226 213 0 72 0
[pid=30139] ppid=30138 vsize=4754328 CPUtime=9.5 cores=1,3,5,7
/proc/30139/stat : 30139 (glucose) R 30138 29744 1843 0 -1 4202496 312087 0 0 0 824 126 0 0 20 0 1 0 287446860 4868431872 919784 33554432000 4194304 5208918 140734218468480 140734217417976 4465602 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30139/statm: 1188582 919785 69 248 0 1188331 0
Current children cumulated CPU time (s) 1613.43
Current children cumulated vsize (KiB) 6978008

[startup+1722.3 s]
/proc/loadavg: 2.86 2.68 2.45 3/183 30149
/proc/meminfo: memFree=16092960/32873648 swapFree=7116/7116
[pid=29744] ppid=29742 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29744/stat : 29744 (npSolver-wbo-It) S 29742 29744 1843 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 287281581 9367552 275 33554432000 4194304 5064252 140735095920080 140735095918992 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29744/statm: 2287 275 233 213 0 72 0
[pid=29745] ppid=29744 vsize=2205384 CPUtime=1646.14 cores=1,3,5,7
/proc/29745/stat : 29745 (npSolver-wbo) S 29744 29744 1843 0 -1 4202496 383954 13799925 0 0 11404 4925 133427 14858 20 0 1 0 287281582 2258313216 447731 33554432000 4194304 5990268 140736960170176 140736960161584 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 1576 0 0
/proc/29745/statm: 551346 447731 177 439 0 550903 0
[pid=30148] ppid=29745 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30148/stat : 30148 (satsolver.sh) S 29745 29744 1843 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 287451074 9367552 267 33554432000 4194304 5064252 140734236794656 140734236793568 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30148/statm: 2287 267 226 213 0 72 0
[pid=30149] ppid=30148 vsize=5000716 CPUtime=26.29 cores=1,3,5,7
/proc/30149/stat : 30149 (glucose) R 30148 29744 1843 0 -1 4202496 381298 0 0 0 2470 159 0 0 20 0 1 0 287451074 5120733184 1017211 33554432000 4194304 5208918 140734921958880 140734921955400 4607488 0 0 4096 0 0 0 0 17 3 0 0 104 0 0
/proc/30149/statm: 1250179 1017211 105 248 0 1249928 0
Current children cumulated CPU time (s) 1672.43
Current children cumulated vsize (KiB) 7224396

[startup+1782.3 s]
/proc/loadavg: 2.52 2.62 2.44 2/181 30161
/proc/meminfo: memFree=19967104/32873648 swapFree=7116/7116
[pid=29744] ppid=29742 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29744/stat : 29744 (npSolver-wbo-It) S 29742 29744 1843 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 287281581 9367552 275 33554432000 4194304 5064252 140735095920080 140735095918992 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29744/statm: 2287 275 233 213 0 72 0
[pid=29745] ppid=29744 vsize=2205384 CPUtime=1730.56 cores=1,3,5,7
/proc/29745/stat : 29745 (npSolver-wbo) S 29744 29744 1843 0 -1 4202496 405134 14588911 0 0 11690 4956 140711 15699 20 0 1 0 287281582 2258313216 447731 33554432000 4194304 5990268 140736960170176 140736960161584 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 1673 0 0
/proc/29745/statm: 551346 447731 177 439 0 550903 0
Current children cumulated CPU time (s) 1730.56
Current children cumulated vsize (KiB) 2214532

[startup+1842.3 s]
/proc/loadavg: 2.51 2.60 2.45 3/183 30170
/proc/meminfo: memFree=16100156/32873648 swapFree=7116/7116
[pid=29744] ppid=29742 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29744/stat : 29744 (npSolver-wbo-It) S 29742 29744 1843 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 287281581 9367552 275 33554432000 4194304 5064252 140735095920080 140735095918992 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29744/statm: 2287 275 233 213 0 72 0
[pid=29745] ppid=29744 vsize=2205384 CPUtime=1772.79 cores=1,3,5,7
/proc/29745/stat : 29745 (npSolver-wbo) S 29744 29744 1843 0 -1 4202496 415724 14982939 0 0 11834 4971 144363 16111 20 0 1 0 287281582 2258313216 447731 33554432000 4194304 5990268 140736960170176 140736960161584 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 1738 0 0
/proc/29745/statm: 551346 447731 177 439 0 550903 0
[pid=30169] ppid=29745 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30169/stat : 30169 (satsolver.sh) S 29745 29744 1843 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 287464158 9367552 267 33554432000 4194304 5064252 140737362991216 140737362990128 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30169/statm: 2287 267 226 213 0 72 0
[pid=30170] ppid=30169 vsize=4981704 CPUtime=15.56 cores=1,3,5,7
/proc/30170/stat : 30170 (glucose) R 30169 29744 1843 0 -1 4202496 377506 0 0 0 1415 141 0 0 20 0 1 0 287464158 5101264896 1013031 33554432000 4194304 5208918 140733916571008 140733916568952 4229319 0 0 4096 0 0 0 0 17 3 0 0 96 0 0
/proc/30170/statm: 1245426 1013031 95 248 0 1245175 0
Current children cumulated CPU time (s) 1788.35
Current children cumulated vsize (KiB) 7205384



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1854 s]
/proc/loadavg: 2.51 2.59 2.45 3/183 30170
/proc/meminfo: memFree=15926772/32873648 swapFree=7116/7116
[pid=29744] ppid=29742 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29744/stat : 29744 (npSolver-wbo-It) S 29742 29744 1843 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 287281581 9367552 275 33554432000 4194304 5064252 140735095920080 140735095918992 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29744/statm: 2287 275 233 213 0 72 0
[pid=29745] ppid=29744 vsize=2205384 CPUtime=1772.79 cores=1,3,5,7
/proc/29745/stat : 29745 (npSolver-wbo) S 29744 29744 1843 0 -1 4202496 415724 14982939 0 0 11834 4971 144363 16111 20 0 1 0 287281582 2258313216 447731 33554432000 4194304 5990268 140736960170176 140736960161584 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 1738 0 0
/proc/29745/statm: 551346 447731 177 439 0 550903 0
[pid=30169] ppid=29745 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30169/stat : 30169 (satsolver.sh) S 29745 29744 1843 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 287464158 9367552 267 33554432000 4194304 5064252 140737362991216 140737362990128 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30169/statm: 2287 267 226 213 0 72 0
[pid=30170] ppid=30169 vsize=5000716 CPUtime=27.27 cores=1,3,5,7
/proc/30170/stat : 30170 (glucose) R 30169 29744 1843 0 -1 4202496 378187 0 0 0 2568 159 0 0 20 0 1 0 287464158 5120733184 1017800 33554432000 4194304 5208918 140733916571008 140733916567528 4607488 0 0 4096 0 0 0 0 17 3 0 0 96 0 0
/proc/30170/statm: 1250179 1017800 105 248 0 1249928 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 7224396

Sending SIGTERM to process tree (bottom up)

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

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 29744 and gives
#  childrusage.ru_utime.tv_sec=1561
#  childrusage.ru_utime.tv_usec=977543
#  childrusage.ru_stime.tv_sec=210
#  childrusage.ru_stime.tv_usec=844946
# CPU time returned by wait4() is 1772.82
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1854.02
CPU time (s): 1800.06
CPU user time (s): 1587.65
CPU system time (s): 212.41
CPU usage (%): 97.0896
Max. virtual memory (cumulated for all children) (KiB): 7242872

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1561.98
system time used= 210.845
maximum resident set size= 4078052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15399640
page faults= 0
swaps= 0
block input operations= 16
block output operations= 106842944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1631388
involuntary context switches= 3925

runsolver used 3.3015 second user time and 8.99063 second system time

The end

Launcher Data 

Begin job on node114 at 2012-05-28 15:25:42
IDJOB=3715840
IDBENCH=79105
IDSOLVER=2297
FILE ID=node114/3715840-1338211542
RUNJOBID= node114-1338194810-1860
PBS_JOBID= 14624601
Free space on /tmp= 71400 MiB

SOLVER NAME= npSolver inc-topdown-quickBound
BENCH NAME= PB10/normalized-PB10/SOFT-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-blast-tlan3.ucl--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-3715840-1338211542/watcher-3715840-1338211542 -o /tmp/evaluation-result-3715840-1338211542/solver-3715840-1338211542 -C 1800 -W 1900 -M 15500  HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715840-1338211542.wbo 1402507960 HOME HOME

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

MD5SUM BENCH= 878bbda538d22bb5879b300c70eb591d
RANDOM SEED=1402507960

node114.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		: 2666.242
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	: 5332.48
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		: 2666.242
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		: 2666.242
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	: 5451.90
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		: 2666.242
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		: 2666.242
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		: 2666.242
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		: 2666.242
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.91
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		: 2666.242
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:       32873648 kB
MemFree:        28961460 kB
Buffers:          731284 kB
Cached:          2132788 kB
SwapCached:         2108 kB
Active:          1686012 kB
Inactive:        1344796 kB
Active(anon):     153668 kB
Inactive(anon):     7892 kB
Active(file):    1532344 kB
Inactive(file):  1336904 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67103912 kB
Dirty:             11316 kB
Writeback:            48 kB
AnonPages:        166528 kB
Mapped:            15448 kB
Shmem:               116 kB
Slab:             741896 kB
SReclaimable:     184292 kB
SUnreclaim:       557604 kB
KernelStack:        1472 kB
PageTables:         4516 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     301152 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    122880 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= 67632 MiB
End job on node114 at 2012-05-28 15:56:36