Trace number 3707248

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 NameAnswerobjective functionCPU timeWall clock time
toysat 2012-05-17? (TO) 1800.05 1800.41

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_100_25_5.opb
MD5SUM1a8c058c181490cb899ec7074b22bfb3
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-15
Best CPU time to get the best result obtained on this benchmark1797.4
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -16
Optimality of the best value was proved NO
Number of variables200
Total number of constraints301
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints201
Minimum length of a constraint2
Maximum length of a constraint200
Number of terms in the objective function 100
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)6124
Sum of products size (including duplicates)12248
Number of different products3062
Sum of products size6124

Solver Data

0.03/0.08	c 2012-05-27T18:00:32+0200
0.03/0.08	c arch = x86_64
0.03/0.08	c os = linux
0.03/0.08	c compiler = ghc 7.4
0.03/0.08	c packages:
0.03/0.08	c   OptDir-0.0.1
0.03/0.08	c   array-0.4.0.0
0.03/0.08	c   base-4.5.0.0
0.03/0.08	c   bytestring-0.9.2.1
0.03/0.08	c   containers-0.4.2.1
0.03/0.08	c   deepseq-1.3.0.0
0.03/0.08	c   mtl-2.1.1
0.03/0.08	c   old_locale-1.0.0.4
0.03/0.08	c   parse_dimacs-1.2
0.03/0.08	c   parsec-3.1.2
0.03/0.08	c   queue-0.1.2
0.03/0.08	c   stm-2.3
0.03/0.08	c   time-1.4
0.03/0.08	c command line = ["--pb","HOME/instance-3707248-1338134432.opb"]
0.03/0.08	c #vars 200
0.03/0.08	c #constraints 301
0.03/0.08	c Solving starts ...
0.39/0.44	c solving time = 0.363s
0.39/0.44	c #decision = 3936
0.39/0.44	c #conflict = 224
0.39/0.44	c #restart = 1
0.39/0.44	o -10
0.39/0.44	c Solving starts ...
1.58/1.67	c solving time = 1.226s
1.58/1.67	c #decision = 10645
1.58/1.67	c #conflict = 1066
1.58/1.67	c #restart = 5
1.58/1.67	o -11
1.58/1.67	c Solving starts ...
16.89/16.95	c learnt constraints deletion: 12412 -> 6206
27.28/27.32	c learnt constraints deletion: 15119 -> 7572
38.98/39.07	c learnt constraints deletion: 16443 -> 8229
49.28/49.38	c learnt constraints deletion: 16348 -> 8182
59.18/59.25	c learnt constraints deletion: 17848 -> 8929
70.68/70.70	c learnt constraints deletion: 17871 -> 8942
83.88/83.90	c learnt constraints deletion: 19164 -> 9588
93.97/94.04	c learnt constraints deletion: 19278 -> 9649
106.07/106.15	c learnt constraints deletion: 19222 -> 9617
120.37/120.46	c learnt constraints deletion: 20901 -> 10456
133.77/133.89	c learnt constraints deletion: 20916 -> 10463
146.47/146.53	c learnt constraints deletion: 21006 -> 10509
157.86/157.96	c learnt constraints deletion: 20963 -> 10491
172.36/172.49	c learnt constraints deletion: 22656 -> 11333
186.87/186.90	c learnt constraints deletion: 22757 -> 11386
202.16/202.29	c learnt constraints deletion: 22779 -> 11414
217.96/218.02	c learnt constraints deletion: 22710 -> 11360
229.75/229.86	c learnt constraints deletion: 22791 -> 11409
240.54/240.64	c learnt constraints deletion: 23027 -> 11514
259.44/259.52	c learnt constraints deletion: 24679 -> 12345
275.43/275.51	c learnt constraints deletion: 24713 -> 12362
290.53/290.61	c learnt constraints deletion: 24708 -> 12369
304.12/304.22	c learnt constraints deletion: 24705 -> 12358
320.92/321.07	c learnt constraints deletion: 24718 -> 12367
339.52/339.67	c learnt constraints deletion: 24637 -> 12330
356.41/356.58	c learnt constraints deletion: 24706 -> 12387
371.21/371.34	c learnt constraints deletion: 23985 -> 11993
389.41/389.50	c learnt constraints deletion: 26783 -> 13394
405.81/405.92	c learnt constraints deletion: 26731 -> 13369
424.80/424.94	c learnt constraints deletion: 26879 -> 13445
442.00/442.15	c learnt constraints deletion: 26876 -> 13449
460.00/460.12	c learnt constraints deletion: 26872 -> 13441
477.30/477.47	c learnt constraints deletion: 26861 -> 13437
495.19/495.37	c learnt constraints deletion: 26856 -> 13441
511.99/512.18	c learnt constraints deletion: 26773 -> 13391
528.79/528.97	c learnt constraints deletion: 26887 -> 13457
544.08/544.29	c learnt constraints deletion: 26667 -> 13339
562.48/562.63	c learnt constraints deletion: 26200 -> 13100
578.49/578.67	c learnt constraints deletion: 28069 -> 14037
598.77/598.93	c learnt constraints deletion: 29257 -> 14639
619.27/619.46	c learnt constraints deletion: 29226 -> 14620
639.06/639.26	c learnt constraints deletion: 29231 -> 14623
656.96/657.19	c learnt constraints deletion: 27346 -> 13675
675.85/676.06	c learnt constraints deletion: 29241 -> 14626
693.03/693.24	c learnt constraints deletion: 29187 -> 14599
715.43/715.67	c learnt constraints deletion: 29218 -> 14619
733.33/733.57	c learnt constraints deletion: 29263 -> 14637
753.43/753.67	c learnt constraints deletion: 29225 -> 14619
772.53/772.73	c learnt constraints deletion: 29116 -> 14562
788.82/789.01	c learnt constraints deletion: 29169 -> 14590
806.42/806.67	c learnt constraints deletion: 29202 -> 14604
823.72/823.97	c learnt constraints deletion: 29227 -> 14622
841.91/842.15	c learnt constraints deletion: 29879 -> 14941
868.31/868.50	c learnt constraints deletion: 31762 -> 15883
890.81/891.03	c learnt constraints deletion: 31789 -> 15897
913.91/914.19	c learnt constraints deletion: 31843 -> 15927
935.10/935.33	c learnt constraints deletion: 31843 -> 15926
957.20/957.47	c learnt constraints deletion: 31860 -> 15938
979.69/979.95	c learnt constraints deletion: 31620 -> 15814
1003.39/1003.65	c learnt constraints deletion: 31779 -> 15908
1022.69/1022.99	c learnt constraints deletion: 31837 -> 15922
1043.58/1043.84	c learnt constraints deletion: 30094 -> 15050
1065.47/1065.78	c learnt constraints deletion: 31811 -> 15918
1086.16/1086.49	c learnt constraints deletion: 31788 -> 15899
1109.15/1109.40	c learnt constraints deletion: 31791 -> 15901
1131.74/1132.06	c learnt constraints deletion: 31786 -> 15904
1152.94/1153.25	c learnt constraints deletion: 31844 -> 15928
1174.14/1174.49	c learnt constraints deletion: 31644 -> 15840
1198.23/1198.57	c learnt constraints deletion: 31845 -> 15948
1216.93/1217.25	c learnt constraints deletion: 31771 -> 15905
1240.83/1241.14	c learnt constraints deletion: 31857 -> 15959
1260.83/1261.18	c learnt constraints deletion: 31850 -> 15939
1282.22/1282.56	c learnt constraints deletion: 31856 -> 15950
1305.12/1305.45	c learnt constraints deletion: 34204 -> 17102
1332.12/1332.43	c learnt constraints deletion: 34723 -> 17365
1355.82/1356.16	c learnt constraints deletion: 34476 -> 17238
1380.51/1380.89	c learnt constraints deletion: 34710 -> 17359
1401.71/1402.04	c learnt constraints deletion: 34698 -> 17363
1431.20/1431.53	c learnt constraints deletion: 34728 -> 17373
1455.10/1455.50	c learnt constraints deletion: 34699 -> 17369
1478.39/1478.74	c learnt constraints deletion: 34608 -> 17314
1502.99/1503.31	c learnt constraints deletion: 34656 -> 17338
1533.17/1533.58	c learnt constraints deletion: 34729 -> 17377
1557.56/1557.91	c learnt constraints deletion: 34624 -> 17320
1580.56/1580.94	c learnt constraints deletion: 34717 -> 17371
1602.15/1602.55	c learnt constraints deletion: 34721 -> 17377
1626.36/1626.79	c learnt constraints deletion: 34681 -> 17350
1649.85/1650.26	c learnt constraints deletion: 34629 -> 17323
1675.35/1675.77	c learnt constraints deletion: 34589 -> 17314
1698.55/1698.92	c learnt constraints deletion: 34641 -> 17331
1723.54/1723.98	c learnt constraints deletion: 34694 -> 17357
1745.44/1745.85	c learnt constraints deletion: 34684 -> 17351
1776.23/1776.64	c learnt constraints deletion: 34705 -> 17377
1796.73/1797.19	c learnt constraints deletion: 34593 -> 17308

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-3707248-1338134432/watcher-3707248-1338134432 -o /tmp/evaluation-result-3707248-1338134432/solver-3707248-1338134432 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3707248-1338134432.opb 

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: 1.91 1.97 1.99 3/177 15836
/proc/meminfo: memFree=27282072/32873648 swapFree=6848/6848
[pid=15836] ppid=15834 vsize=6208 CPUtime=0 cores=1,3,5,7
/proc/15836/stat : 15836 (toysat) R 15834 15836 14927 0 -1 4202496 789 0 0 0 0 0 0 0 20 0 1 0 279570083 6356992 710 33554432000 4194304 8973514 140734564328272 140734044256904 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15836/statm: 1552 710 415 1167 0 333 0

[startup+0.0353331 s]
/proc/loadavg: 1.91 1.97 1.99 3/177 15836
/proc/meminfo: memFree=27282072/32873648 swapFree=6848/6848
[pid=15836] ppid=15834 vsize=8256 CPUtime=0.03 cores=1,3,5,7
/proc/15836/stat : 15836 (toysat) R 15834 15836 14927 0 -1 4202496 1273 0 0 0 3 0 0 0 20 0 1 0 279570083 8454144 1194 33554432000 4194304 8973514 140734564328272 140734044256904 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15836/statm: 2064 1194 416 1167 0 845 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 8256

[startup+0.100265 s]
/proc/loadavg: 1.91 1.97 1.99 3/177 15836
/proc/meminfo: memFree=27282072/32873648 swapFree=6848/6848
[pid=15836] ppid=15834 vsize=15424 CPUtime=0.09 cores=1,3,5,7
/proc/15836/stat : 15836 (toysat) R 15834 15836 14927 0 -1 4202496 3154 0 0 0 9 0 0 0 20 0 1 0 279570083 15794176 3075 33554432000 4194304 8973514 140734564328272 140734044256904 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15836/statm: 3856 3075 446 1167 0 2637 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15424

[startup+0.300291 s]
/proc/loadavg: 1.91 1.97 1.99 3/177 15836
/proc/meminfo: memFree=27282072/32873648 swapFree=6848/6848
[pid=15836] ppid=15834 vsize=19520 CPUtime=0.29 cores=1,3,5,7
/proc/15836/stat : 15836 (toysat) R 15834 15836 14927 0 -1 4202496 4178 0 0 0 29 0 0 0 20 0 1 0 279570083 19988480 4099 33554432000 4194304 8973514 140734564328272 140734044256904 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15836/statm: 4880 4099 446 1167 0 3661 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19520

[startup+0.700297 s]
/proc/loadavg: 1.91 1.97 1.99 3/177 15836
/proc/meminfo: memFree=27282072/32873648 swapFree=6848/6848
[pid=15836] ppid=15834 vsize=20544 CPUtime=0.69 cores=1,3,5,7
/proc/15836/stat : 15836 (toysat) R 15834 15836 14927 0 -1 4202496 4444 0 0 0 69 0 0 0 20 0 1 0 279570083 21037056 4365 33554432000 4194304 8973514 140734564328272 140734044256904 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15836/statm: 5136 4365 456 1167 0 3917 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20544

[startup+1.5003 s]
/proc/loadavg: 1.91 1.97 1.99 3/178 15837
/proc/meminfo: memFree=27265060/32873648 swapFree=6848/6848
[pid=15836] ppid=15834 vsize=21568 CPUtime=1.48 cores=1,3,5,7
/proc/15836/stat : 15836 (toysat) R 15834 15836 14927 0 -1 4202496 4700 0 0 0 148 0 0 0 20 0 1 0 279570083 22085632 4621 33554432000 4194304 8973514 140734564328272 140734564327536 4204256 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15836/statm: 5392 4621 456 1167 0 4173 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 21568

[startup+3.10024 s]
/proc/loadavg: 1.91 1.97 1.99 3/178 15837
/proc/meminfo: memFree=27263796/32873648 swapFree=6848/6848
[pid=15836] ppid=15834 vsize=25664 CPUtime=3.09 cores=1,3,5,7
/proc/15836/stat : 15836 (toysat) R 15834 15836 14927 0 -1 4202496 5583 0 0 0 308 1 0 0 20 0 1 0 279570083 26279936 5504 33554432000 4194304 8973514 140734564328272 140734564327768 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15836/statm: 6416 5504 456 1167 0 5197 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 25664

[startup+6.30027 s]
/proc/loadavg: 2.08 2.00 2.00 3/178 15837
/proc/meminfo: memFree=27255404/32873648 swapFree=6848/6848
[pid=15836] ppid=15834 vsize=32832 CPUtime=6.29 cores=1,3,5,7
/proc/15836/stat : 15836 (toysat) R 15834 15836 14927 0 -1 4202496 7516 0 0 0 626 3 0 0 20 0 1 0 279570083 33619968 7437 33554432000 4194304 8973514 140734564328272 140734564327768 4204320 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15836/statm: 8208 7437 456 1167 0 6989 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 32832

[startup+12.7003 s]
/proc/loadavg: 2.07 2.00 2.00 3/178 15837
/proc/meminfo: memFree=27241800/32873648 swapFree=6848/6848
[pid=15836] ppid=15834 vsize=45120 CPUtime=12.68 cores=1,3,5,7
/proc/15836/stat : 15836 (toysat) R 15834 15836 14927 0 -1 4202496 10362 0 0 0 1263 5 0 0 20 0 1 0 279570083 46202880 10283 33554432000 4194304 8973514 140734564328272 140734564327768 4427744 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15836/statm: 11280 10283 456 1167 0 10061 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 45120

[startup+25.5003 s]
/proc/loadavg: 2.05 2.00 2.00 3/178 15837
/proc/meminfo: memFree=27222952/32873648 swapFree=6848/6848
[pid=15836] ppid=15834 vsize=64576 CPUtime=25.48 cores=1,3,5,7
/proc/15836/stat : 15836 (toysat) R 15834 15836 14927 0 -1 4202496 15457 0 0 0 2539 9 0 0 20 0 1 0 279570083 66125824 15378 33554432000 4194304 8973514 140734564328272 140734564327768 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15836/statm: 16144 15378 457 1167 0 14925 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 64576

[startup+51.1003 s]
/proc/loadavg: 2.03 2.00 2.00 3/178 15860
/proc/meminfo: memFree=27190344/32873648 swapFree=6848/6848
[pid=15836] ppid=15834 vsize=95296 CPUtime=51.08 cores=1,3,5,7
/proc/15836/stat : 15836 (toysat) R 15834 15836 14927 0 -1 4202496 23393 0 0 0 5089 19 0 0 20 0 1 0 279570083 97583104 23058 33554432000 4194304 8973514 140734564328272 140734564327536 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15836/statm: 23824 23058 457 1167 0 22605 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 95296

[startup+102.307 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 15860
/proc/meminfo: memFree=27172816/32873648 swapFree=6848/6848
[pid=15836] ppid=15834 vsize=107584 CPUtime=102.27 cores=1,3,5,7
/proc/15836/stat : 15836 (toysat) R 15834 15836 14927 0 -1 4202496 36193 0 0 0 10190 37 0 0 20 0 1 0 279570083 110166016 26130 33554432000 4194304 8973514 140734564328272 140734564327768 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15836/statm: 26896 26130 457 1167 0 25677 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 107584

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15860
/proc/meminfo: memFree=27140356/32873648 swapFree=6848/6848
[pid=15836] ppid=15834 vsize=132160 CPUtime=162.26 cores=1,3,5,7
/proc/15836/stat : 15836 (toysat) R 15834 15836 14927 0 -1 4202496 44385 0 0 0 16171 55 0 0 20 0 1 0 279570083 135331840 32274 33554432000 4194304 8973514 140734564328272 140734564327768 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15836/statm: 33040 32274 457 1167 0 31821 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 132160

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15860
/proc/meminfo: memFree=27127076/32873648 swapFree=6848/6848
[pid=15836] ppid=15834 vsize=136256 CPUtime=222.25 cores=1,3,5,7
/proc/15836/stat : 15836 (toysat) R 15834 15836 14927 0 -1 4202496 49766 0 0 0 22148 77 0 0 20 0 1 0 279570083 139526144 33298 33554432000 4194304 8973514 140734564328272 140734564327536 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15836/statm: 34064 33298 457 1167 0 32845 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 136256

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15860
/proc/meminfo: memFree=27098660/32873648 swapFree=6848/6848
[pid=15836] ppid=15834 vsize=152640 CPUtime=282.23 cores=1,3,5,7
/proc/15836/stat : 15836 (toysat) R 15834 15836 14927 0 -1 4202496 57971 0 0 0 28127 96 0 0 20 0 1 0 279570083 156303360 37394 33554432000 4194304 8973514 140734564328272 140734564327768 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15836/statm: 38160 37394 457 1167 0 36941 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 152640

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15861
/proc/meminfo: memFree=27107080/32873648 swapFree=6848/6848
[pid=15836] ppid=15834 vsize=135232 CPUtime=342.21 cores=1,3,5,7
/proc/15836/stat : 15836 (toysat) R 15834 15836 14927 0 -1 4202496 63104 0 0 0 34107 114 0 0 20 0 1 0 279570083 138477568 33042 33554432000 4194304 8973514 140734564328272 140734564327768 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15836/statm: 33808 33042 457 1167 0 32589 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 135232

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15861
/proc/meminfo: memFree=27096724/32873648 swapFree=6848/6848
[pid=15836] ppid=15834 vsize=132160 CPUtime=402.2 cores=1,3,5,7
/proc/15836/stat : 15836 (toysat) R 15834 15836 14927 0 -1 4202496 67968 0 0 0 40087 133 0 0 20 0 1 0 279570083 135331840 32274 33554432000 4194304 8973514 140734564328272 140734564327768 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15836/statm: 33040 32274 457 1167 0 31821 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 132160

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15861
/proc/meminfo: memFree=27068912/32873648 swapFree=6848/6848
[pid=15836] ppid=15834 vsize=148544 CPUtime=462.2 cores=1,3,5,7
/proc/15836/stat : 15836 (toysat) R 15834 15836 14927 0 -1 4202496 78976 0 0 0 46065 155 0 0 20 0 1 0 279570083 152109056 36370 33554432000 4194304 8973514 140734564328272 140734564327536 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15836/statm: 37136 36370 457 1167 0 35917 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 148544

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15861
/proc/meminfo: memFree=27063320/32873648 swapFree=6848/6848
[pid=15836] ppid=15834 vsize=142400 CPUtime=522.18 cores=1,3,5,7
/proc/15836/stat : 15836 (toysat) R 15834 15836 14927 0 -1 4202496 90496 0 0 0 52042 176 0 0 20 0 1 0 279570083 145817600 34834 33554432000 4194304 8973514 140734564328272 140734564327536 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15836/statm: 35600 34834 457 1167 0 34381 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 142400

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15864
/proc/meminfo: memFree=27050944/32873648 swapFree=6848/6848
[pid=15836] ppid=15834 vsize=139328 CPUtime=582.18 cores=1,3,5,7
/proc/15836/stat : 15836 (toysat) R 15834 15836 14927 0 -1 4202496 101505 0 0 0 58020 198 0 0 20 0 1 0 279570083 142671872 34066 33554432000 4194304 8973514 140734564328272 140734564327768 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15836/statm: 34832 34066 457 1167 0 33613 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 139328

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15865
/proc/meminfo: memFree=26952112/32873648 swapFree=6848/6848
[pid=15836] ppid=15834 vsize=180288 CPUtime=822.12 cores=1,3,5,7
/proc/15836/stat : 15836 (toysat) R 15834 15836 14927 0 -1 4202496 134565 0 0 0 81935 277 0 0 20 0 1 0 279570083 184614912 44306 33554432000 4194304 8973514 140734564328272 140734564327536 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15836/statm: 45072 44306 457 1167 0 43853 0
Current children cumulated CPU time (s) 822.12
Current children cumulated vsize (KiB) 180288

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15865
/proc/meminfo: memFree=26948032/32873648 swapFree=6848/6848
[pid=15836] ppid=15834 vsize=184384 CPUtime=882.11 cores=1,3,5,7
/proc/15836/stat : 15836 (toysat) R 15834 15836 14927 0 -1 4202496 145573 0 0 0 87914 297 0 0 20 0 1 0 279570083 188809216 45330 33554432000 4194304 8973514 140734564328272 140734564327768 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15836/statm: 46096 45330 457 1167 0 44877 0
Current children cumulated CPU time (s) 882.11
Current children cumulated vsize (KiB) 184384

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15866
/proc/meminfo: memFree=26930672/32873648 swapFree=6848/6848
[pid=15836] ppid=15834 vsize=201792 CPUtime=942.1 cores=1,3,5,7
/proc/15836/stat : 15836 (toysat) R 15834 15836 14927 0 -1 4202496 149925 0 0 0 93896 314 0 0 20 0 1 0 279570083 206635008 49682 33554432000 4194304 8973514 140734564328272 140734564326208 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15836/statm: 50448 49682 457 1167 0 49229 0
Current children cumulated CPU time (s) 942.1
Current children cumulated vsize (KiB) 201792

[startup+1002.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 15866
/proc/meminfo: memFree=26926348/32873648 swapFree=6848/6848
[pid=15836] ppid=15834 vsize=205888 CPUtime=1002.08 cores=1,3,5,7
/proc/15836/stat : 15836 (toysat) R 15834 15836 14927 0 -1 4202496 152997 0 0 0 99876 332 0 0 20 0 1 0 279570083 210829312 50706 33554432000 4194304 8973514 140734564328272 140734564327536 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15836/statm: 51472 50706 457 1167 0 50253 0
Current children cumulated CPU time (s) 1002.08
Current children cumulated vsize (KiB) 205888

[startup+1062.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 15866
/proc/meminfo: memFree=26966424/32873648 swapFree=6848/6848
[pid=15836] ppid=15834 vsize=160832 CPUtime=1062.07 cores=1,3,5,7
/proc/15836/stat : 15836 (toysat) R 15834 15836 14927 0 -1 4202496 155317 0 0 0 105856 351 0 0 20 0 1 0 279570083 164691968 39442 33554432000 4194304 8973514 140734564328272 140734564327536 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15836/statm: 40208 39442 457 1167 0 38989 0
Current children cumulated CPU time (s) 1062.07
Current children cumulated vsize (KiB) 160832

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15866
/proc/meminfo: memFree=26937824/32873648 swapFree=6848/6848
[pid=15836] ppid=15834 vsize=190528 CPUtime=1122.05 cores=1,3,5,7
/proc/15836/stat : 15836 (toysat) R 15834 15836 14927 0 -1 4202496 162760 0 0 0 111837 368 0 0 20 0 1 0 279570083 195100672 46866 33554432000 4194304 8973514 140734564328272 140734564326208 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15836/statm: 47632 46866 457 1167 0 46413 0
Current children cumulated CPU time (s) 1122.05
Current children cumulated vsize (KiB) 190528

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15869
/proc/meminfo: memFree=26935624/32873648 swapFree=6848/6848
[pid=15836] ppid=15834 vsize=193600 CPUtime=1182.03 cores=1,3,5,7
/proc/15836/stat : 15836 (toysat) R 15834 15836 14927 0 -1 4202496 164552 0 0 0 117818 385 0 0 20 0 1 0 279570083 198246400 47634 33554432000 4194304 8973514 140734564328272 140734564327768 4208833 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15836/statm: 48400 47634 457 1167 0 47181 0
Current children cumulated CPU time (s) 1182.03
Current children cumulated vsize (KiB) 193600

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15870
/proc/meminfo: memFree=26926276/32873648 swapFree=6848/6848
[pid=15836] ppid=15834 vsize=202816 CPUtime=1242.03 cores=1,3,5,7
/proc/15836/stat : 15836 (toysat) R 15834 15836 14927 0 -1 4202496 166856 0 0 0 123799 404 0 0 20 0 1 0 279570083 207683584 49938 33554432000 4194304 8973514 140734564328272 140734564327536 4209429 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15836/statm: 50704 49938 457 1167 0 49485 0
Current children cumulated CPU time (s) 1242.03
Current children cumulated vsize (KiB) 202816

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15870
/proc/meminfo: memFree=26943212/32873648 swapFree=6848/6848
[pid=15836] ppid=15834 vsize=185408 CPUtime=1302.03 cores=1,3,5,7
/proc/15836/stat : 15836 (toysat) R 15834 15836 14927 0 -1 4202496 176840 0 0 0 129775 428 0 0 20 0 1 0 279570083 189857792 45586 33554432000 4194304 8973514 140734564328272 140734564327768 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15836/statm: 46352 45586 457 1167 0 45133 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 185408

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15870
/proc/meminfo: memFree=26940692/32873648 swapFree=6848/6848
[pid=15836] ppid=15834 vsize=188480 CPUtime=1362.01 cores=1,3,5,7
/proc/15836/stat : 15836 (toysat) R 15834 15836 14927 0 -1 4202496 179912 0 0 0 135753 448 0 0 20 0 1 0 279570083 193003520 46354 33554432000 4194304 8973514 140734564328272 140734564327768 7692555 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15836/statm: 47120 46354 457 1167 0 45901 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 188480

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15870
/proc/meminfo: memFree=26915368/32873648 swapFree=6848/6848
[pid=15836] ppid=15834 vsize=214080 CPUtime=1422 cores=1,3,5,7
/proc/15836/stat : 15836 (toysat) R 15834 15836 14927 0 -1 4202496 187592 0 0 0 141731 469 0 0 20 0 1 0 279570083 219217920 52754 33554432000 4194304 8973514 140734564328272 140734564327768 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15836/statm: 53520 52754 457 1167 0 52301 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 214080

[startup+1482.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 15870
/proc/meminfo: memFree=26919536/32873648 swapFree=6848/6848
[pid=15836] ppid=15834 vsize=209984 CPUtime=1482 cores=1,3,5,7
/proc/15836/stat : 15836 (toysat) R 15834 15836 14927 0 -1 4202496 190152 0 0 0 147712 488 0 0 20 0 1 0 279570083 215023616 51730 33554432000 4194304 8973514 140734564328272 140734564327768 4427084 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15836/statm: 52496 51730 457 1167 0 51277 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 209984

[startup+1542.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 15871
/proc/meminfo: memFree=26917948/32873648 swapFree=6848/6848
[pid=15836] ppid=15834 vsize=204864 CPUtime=1541.97 cores=1,3,5,7
/proc/15836/stat : 15836 (toysat) R 15834 15836 14927 0 -1 4202496 192213 0 0 0 153693 504 0 0 20 0 1 0 279570083 209780736 50450 33554432000 4194304 8973514 140734564328272 140734564327768 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15836/statm: 51216 50450 457 1167 0 49997 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 204864

[startup+1602.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 15871
/proc/meminfo: memFree=26894744/32873648 swapFree=6848/6848
[pid=15836] ppid=15834 vsize=222272 CPUtime=1601.96 cores=1,3,5,7
/proc/15836/stat : 15836 (toysat) R 15834 15836 14927 0 -1 4202496 197849 0 0 0 159673 523 0 0 20 0 1 0 279570083 227606528 54802 33554432000 4194304 8973514 140734564328272 140734564327768 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15836/statm: 55568 54802 457 1167 0 54349 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 222272

[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 15871
/proc/meminfo: memFree=26878100/32873648 swapFree=6848/6848
[pid=15836] ppid=15834 vsize=226368 CPUtime=1661.94 cores=1,3,5,7
/proc/15836/stat : 15836 (toysat) R 15834 15836 14927 0 -1 4202496 199385 0 0 0 165654 540 0 0 20 0 1 0 279570083 231800832 55826 33554432000 4194304 8973514 140734564328272 140734564327536 4427632 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15836/statm: 56592 55826 457 1167 0 55373 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 226368

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 15948
/proc/meminfo: memFree=27369844/32873648 swapFree=6848/6848
[pid=15836] ppid=15834 vsize=214080 CPUtime=1721.94 cores=1,3,5,7
/proc/15836/stat : 15836 (toysat) R 15834 15836 14927 0 -1 4202496 199385 0 0 0 171635 559 0 0 20 0 1 0 279570083 219217920 52754 33554432000 4194304 8973514 140734564328272 140734564327768 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15836/statm: 53520 52754 457 1167 0 52301 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 214080

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15951
/proc/meminfo: memFree=27336812/32873648 swapFree=6848/6848
[pid=15836] ppid=15834 vsize=209984 CPUtime=1781.93 cores=1,3,5,7
/proc/15836/stat : 15836 (toysat) R 15834 15836 14927 0 -1 4202496 205017 0 0 0 177615 578 0 0 20 0 1 0 279570083 215023616 51730 33554432000 4194304 8973514 140734564328272 140734564327768 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15836/statm: 52496 51730 457 1167 0 51277 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 209984



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15951
/proc/meminfo: memFree=27337036/32873648 swapFree=6848/6848
[pid=15836] ppid=15834 vsize=209984 CPUtime=1800.04 cores=1,3,5,7
/proc/15836/stat : 15836 (toysat) R 15834 15836 14927 0 -1 4202496 205021 0 0 0 179420 584 0 0 20 0 1 0 279570083 215023616 51730 33554432000 4194304 8973514 140734564328272 140734564327768 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/15836/statm: 52496 51730 457 1167 0 51277 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 209984

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.05
CPU user time (s): 1794.2
CPU system time (s): 5.84611
CPU usage (%): 99.9798
Max. virtual memory (cumulated for all children) (KiB): 236608

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.2
system time used= 5.84611
maximum resident set size= 233544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 205021
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 127
involuntary context switches= 1846

runsolver used 3.42948 second user time and 9.25559 second system time

The end

Launcher Data

Begin job on node113 at 2012-05-27 18:00:32
IDJOB=3707248
IDBENCH=48237
IDSOLVER=2285
FILE ID=node113/3707248-1338134432
RUNJOBID= node113-1338122976-14944
PBS_JOBID= 14624493
Free space on /tmp= 71388 MiB

SOLVER NAME= toysat 2012-05-17
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_100_25_5.opb
COMMAND LINE= HOME/toysat --pb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3707248-1338134432/watcher-3707248-1338134432 -o /tmp/evaluation-result-3707248-1338134432/solver-3707248-1338134432 -C 1800 -W 1900 -M 15500  HOME/toysat --pb HOME/instance-3707248-1338134432.opb

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

MD5SUM BENCH= 1a8c058c181490cb899ec7074b22bfb3
RANDOM SEED=1867545437

node113.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.026
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.05
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.026
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.90
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.026
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	: 5438.54
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.026
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.026
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.026
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.026
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.92
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.026
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:        27282708 kB
Buffers:          345248 kB
Cached:          4072128 kB
SwapCached:            0 kB
Active:          1388876 kB
Inactive:        3369520 kB
Active(anon):     343280 kB
Inactive(anon):        0 kB
Active(file):    1045596 kB
Inactive(file):  3369520 kB
Unevictable:        6848 kB
Mlocked:            6848 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              7436 kB
Writeback:             0 kB
AnonPages:        347400 kB
Mapped:            16092 kB
Shmem:               200 kB
Slab:             694516 kB
SReclaimable:     138820 kB
SUnreclaim:       555696 kB
KernelStack:        1488 kB
PageTables:         4388 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     454760 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 71384 MiB
End job on node113 at 2012-05-27 18:30:35