Trace number 3707246

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.07 1800.52

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_100_25_1.opb
MD5SUMfd0cd32338d58e5da2d0a0f96e14ad7d
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.5
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)6076
Sum of products size (including duplicates)12152
Number of different products3038
Sum of products size6076

Quality of the solution as a function of time


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

Solver Data 

0.06/0.08	c 2012-05-27T18:08:43+0200
0.06/0.08	c arch = x86_64
0.06/0.08	c os = linux
0.06/0.08	c compiler = ghc 7.4
0.06/0.08	c packages:
0.06/0.08	c   OptDir-0.0.1
0.06/0.08	c   array-0.4.0.0
0.06/0.08	c   base-4.5.0.0
0.06/0.08	c   bytestring-0.9.2.1
0.06/0.08	c   containers-0.4.2.1
0.06/0.08	c   deepseq-1.3.0.0
0.06/0.08	c   mtl-2.1.1
0.06/0.08	c   old_locale-1.0.0.4
0.06/0.08	c   parse_dimacs-1.2
0.06/0.08	c   parsec-3.1.2
0.06/0.08	c   queue-0.1.2
0.06/0.08	c   stm-2.3
0.06/0.08	c   time-1.4
0.06/0.08	c command line = ["--pb","HOME/instance-3707246-1338134923.opb"]
0.06/0.08	c #vars 200
0.06/0.08	c #constraints 301
0.06/0.08	c Solving starts ...
0.39/0.47	c solving time = 0.385s
0.39/0.47	c #decision = 4034
0.39/0.47	c #conflict = 260
0.39/0.47	c #restart = 2
0.39/0.47	o -9
0.39/0.47	c Solving starts ...
14.20/14.27	c learnt constraints deletion: 11609 -> 5805
19.80/19.89	c solving time = 19.420s
19.80/19.89	c #decision = 85140
19.80/19.89	c #conflict = 15194
19.80/19.89	c #restart = 12
19.80/19.89	o -10
19.80/19.89	c Solving starts ...
19.89/19.98	c learnt constraints deletion: 9378 -> 4689
19.99/20.08	c learnt constraints deletion: 4689 -> 2345
32.18/32.26	c learnt constraints deletion: 10965 -> 5483
39.19/39.25	c solving time = 19.351s
39.19/39.25	c #decision = 180871
39.19/39.25	c #conflict = 30192
39.19/39.25	c #restart = 22
39.19/39.25	o -11
39.19/39.25	c Solving starts ...
39.19/39.29	c learnt constraints deletion: 11851 -> 5926
39.39/39.45	c learnt constraints deletion: 5926 -> 2963
46.78/46.80	c learnt constraints deletion: 10460 -> 5230
53.97/54.08	c learnt constraints deletion: 14152 -> 7090
58.77/58.86	c learnt constraints deletion: 12620 -> 6311
60.97/61.03	c solving time = 21.776s
60.97/61.03	c #decision = 342631
60.97/61.03	c #conflict = 54409
60.97/61.03	c #restart = 33
60.97/61.03	o -12
60.97/61.03	c Solving starts ...
60.97/61.07	c learnt constraints deletion: 8568 -> 4284
61.18/61.27	c learnt constraints deletion: 4284 -> 2142
68.08/68.13	c learnt constraints deletion: 10773 -> 5399
73.07/73.10	c learnt constraints deletion: 12297 -> 6150
80.17/80.21	c learnt constraints deletion: 15075 -> 7555
86.77/86.83	c learnt constraints deletion: 14777 -> 7402
97.55/97.66	c learnt constraints deletion: 17665 -> 8847
108.76/108.81	c learnt constraints deletion: 17708 -> 8885
116.05/116.19	c learnt constraints deletion: 16423 -> 8212
128.25/128.39	c learnt constraints deletion: 19190 -> 9595
140.75/140.89	c learnt constraints deletion: 19198 -> 9601
150.75/150.84	c learnt constraints deletion: 18299 -> 9150
164.24/164.38	c learnt constraints deletion: 20833 -> 10417
178.84/178.98	c learnt constraints deletion: 20834 -> 10430
190.74/190.85	c learnt constraints deletion: 20835 -> 10440
200.53/200.61	c learnt constraints deletion: 20761 -> 10390
214.83/214.96	c learnt constraints deletion: 22593 -> 11297
227.22/227.36	c learnt constraints deletion: 22588 -> 11298
240.62/240.79	c learnt constraints deletion: 22557 -> 11286
254.72/254.80	c learnt constraints deletion: 22584 -> 11296
271.22/271.39	c learnt constraints deletion: 22463 -> 11250
286.62/286.78	c learnt constraints deletion: 23076 -> 11538
300.81/300.94	c learnt constraints deletion: 24510 -> 12259
316.31/316.46	c learnt constraints deletion: 24510 -> 12266
332.70/332.89	c learnt constraints deletion: 24356 -> 12181
353.20/353.35	c learnt constraints deletion: 24542 -> 12281
367.09/367.23	c learnt constraints deletion: 24490 -> 12251
385.57/385.78	c learnt constraints deletion: 24561 -> 12292
400.37/400.55	c learnt constraints deletion: 24417 -> 12216
417.37/417.52	c learnt constraints deletion: 26622 -> 13312
436.16/436.32	c learnt constraints deletion: 26535 -> 13271
452.65/452.82	c learnt constraints deletion: 26633 -> 13322
468.65/468.88	c learnt constraints deletion: 26512 -> 13261
489.05/489.23	c learnt constraints deletion: 26623 -> 13325
506.35/506.56	c learnt constraints deletion: 26686 -> 13350
525.74/525.95	c learnt constraints deletion: 26666 -> 13339
550.24/550.49	c learnt constraints deletion: 26674 -> 13360
568.33/568.55	c learnt constraints deletion: 26576 -> 13304
590.42/590.64	c learnt constraints deletion: 26637 -> 13339
606.52/606.72	c learnt constraints deletion: 26624 -> 13317
626.92/627.18	c learnt constraints deletion: 29023 -> 14518
649.31/649.50	c learnt constraints deletion: 29034 -> 14526
669.11/669.33	c learnt constraints deletion: 29002 -> 14507
691.50/691.76	c learnt constraints deletion: 29021 -> 14519
709.89/710.17	c learnt constraints deletion: 29037 -> 14524
738.28/738.54	c learnt constraints deletion: 29031 -> 14526
757.57/757.84	c learnt constraints deletion: 29025 -> 14517
776.27/776.55	c learnt constraints deletion: 28977 -> 14501
793.06/793.30	c learnt constraints deletion: 28989 -> 14508
811.06/811.38	c learnt constraints deletion: 28953 -> 14482
830.66/830.90	c learnt constraints deletion: 29039 -> 14527
849.96/850.30	c learnt constraints deletion: 28973 -> 14494
869.65/869.94	c learnt constraints deletion: 28970 -> 14492
891.45/891.71	c learnt constraints deletion: 29039 -> 14528
913.45/913.75	c learnt constraints deletion: 29010 -> 14513
936.04/936.36	c learnt constraints deletion: 29489 -> 14745
957.84/958.13	c learnt constraints deletion: 31588 -> 15795
979.44/979.70	c learnt constraints deletion: 31611 -> 15807
1002.23/1002.58	c learnt constraints deletion: 31507 -> 15757
1029.42/1029.73	c learnt constraints deletion: 31537 -> 15787
1048.21/1048.54	c learnt constraints deletion: 31522 -> 15766
1072.90/1073.28	c learnt constraints deletion: 31502 -> 15755
1097.09/1097.41	c learnt constraints deletion: 31594 -> 15800
1118.39/1118.76	c learnt constraints deletion: 31579 -> 15796
1139.77/1140.19	c learnt constraints deletion: 31606 -> 15824
1159.47/1159.85	c learnt constraints deletion: 31600 -> 15802
1183.97/1184.36	c learnt constraints deletion: 31592 -> 15806
1204.17/1204.59	c learnt constraints deletion: 31604 -> 15805
1227.17/1227.58	c learnt constraints deletion: 31502 -> 15753
1251.36/1251.75	c learnt constraints deletion: 31620 -> 15813
1270.75/1271.15	c learnt constraints deletion: 31587 -> 15798
1293.53/1293.92	c learnt constraints deletion: 31617 -> 15813
1316.43/1316.89	c learnt constraints deletion: 31585 -> 15795
1338.73/1339.13	c learnt constraints deletion: 31614 -> 15810
1360.62/1361.04	c learnt constraints deletion: 31620 -> 15814
1381.82/1382.20	c learnt constraints deletion: 31613 -> 15812
1406.42/1406.81	c learnt constraints deletion: 32570 -> 16285
1437.11/1437.51	c learnt constraints deletion: 34440 -> 17221
1461.41/1461.88	c learnt constraints deletion: 34329 -> 17167
1491.40/1491.83	c learnt constraints deletion: 34406 -> 17209
1521.09/1521.55	c learnt constraints deletion: 34461 -> 17235
1544.89/1545.30	c learnt constraints deletion: 34406 -> 17208
1568.89/1569.38	c learnt constraints deletion: 34431 -> 17221
1591.48/1591.96	c learnt constraints deletion: 34439 -> 17223
1619.28/1619.70	c learnt constraints deletion: 34443 -> 17226
1644.16/1644.68	c learnt constraints deletion: 34394 -> 17210
1669.96/1670.44	c learnt constraints deletion: 34463 -> 17249
1699.06/1699.52	c learnt constraints deletion: 34426 -> 17219
1733.65/1734.14	c learnt constraints deletion: 34423 -> 17225
1752.04/1752.59	c learnt constraints deletion: 34410 -> 17206
1776.84/1777.34	c learnt constraints deletion: 34281 -> 17144

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-3707246-1338134923/watcher-3707246-1338134923 -o /tmp/evaluation-result-3707246-1338134923/solver-3707246-1338134923 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3707246-1338134923.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.99 2.00 2.00 3/178 23881
/proc/meminfo: memFree=29689280/32873844 swapFree=7372/7372
[pid=23881] ppid=23879 vsize=6208 CPUtime=0 cores=1,3,5,7
/proc/23881/stat : 23881 (toysat) R 23879 23881 21797 0 -1 4202496 816 0 0 0 0 0 0 0 20 0 1 0 279617095 6356992 737 33554432000 4194304 8973514 140735649561136 140734526651592 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23881/statm: 1552 737 415 1167 0 333 0

[startup+0.069343 s]
/proc/loadavg: 1.99 2.00 2.00 3/178 23881
/proc/meminfo: memFree=29689280/32873844 swapFree=7372/7372
[pid=23881] ppid=23879 vsize=11328 CPUtime=0.06 cores=1,3,5,7
/proc/23881/stat : 23881 (toysat) R 23879 23881 21797 0 -1 4202496 2109 0 0 0 6 0 0 0 20 0 1 0 279617095 11599872 2030 33554432000 4194304 8973514 140735649561136 140734526651592 4209220 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23881/statm: 2832 2030 428 1167 0 1613 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 11328

[startup+0.100323 s]
/proc/loadavg: 1.99 2.00 2.00 3/178 23881
/proc/meminfo: memFree=29689280/32873844 swapFree=7372/7372
[pid=23881] ppid=23879 vsize=15424 CPUtime=0.09 cores=1,3,5,7
/proc/23881/stat : 23881 (toysat) R 23879 23881 21797 0 -1 4202496 3153 0 0 0 9 0 0 0 20 0 1 0 279617095 15794176 3074 33554432000 4194304 8973514 140735649561136 140734526651592 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23881/statm: 3856 3074 446 1167 0 2637 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15424

[startup+0.30029 s]
/proc/loadavg: 1.99 2.00 2.00 3/178 23881
/proc/meminfo: memFree=29689280/32873844 swapFree=7372/7372
[pid=23881] ppid=23879 vsize=19520 CPUtime=0.29 cores=1,3,5,7
/proc/23881/stat : 23881 (toysat) R 23879 23881 21797 0 -1 4202496 4177 0 0 0 29 0 0 0 20 0 1 0 279617095 19988480 4098 33554432000 4194304 8973514 140735649561136 140734526651592 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23881/statm: 4880 4098 446 1167 0 3661 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19520

[startup+0.700315 s]
/proc/loadavg: 1.99 2.00 2.00 3/178 23881
/proc/meminfo: memFree=29689280/32873844 swapFree=7372/7372
[pid=23881] ppid=23879 vsize=20544 CPUtime=0.69 cores=1,3,5,7
/proc/23881/stat : 23881 (toysat) R 23879 23881 21797 0 -1 4202496 4443 0 0 0 68 1 0 0 20 0 1 0 279617095 21037056 4364 33554432000 4194304 8973514 140735649561136 140734526651592 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23881/statm: 5136 4364 456 1167 0 3917 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20544

[startup+1.50031 s]
/proc/loadavg: 1.99 2.00 2.00 3/179 23882
/proc/meminfo: memFree=29671592/32873844 swapFree=7372/7372
[pid=23881] ppid=23879 vsize=20544 CPUtime=1.49 cores=1,3,5,7
/proc/23881/stat : 23881 (toysat) R 23879 23881 21797 0 -1 4202496 4443 0 0 0 148 1 0 0 20 0 1 0 279617095 21037056 4364 33554432000 4194304 8973514 140735649561136 140735649543104 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23881/statm: 5136 4364 456 1167 0 3917 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20544

[startup+3.10034 s]
/proc/loadavg: 1.99 2.00 2.00 3/179 23882
/proc/meminfo: memFree=29660928/32873844 swapFree=7372/7372
[pid=23881] ppid=23879 vsize=23616 CPUtime=3.09 cores=1,3,5,7
/proc/23881/stat : 23881 (toysat) R 23879 23881 21797 0 -1 4202496 5211 0 0 0 307 2 0 0 20 0 1 0 279617095 24182784 5132 33554432000 4194304 8973514 140735649561136 140735649559104 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23881/statm: 5904 5132 456 1167 0 4685 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 23616

[startup+6.30036 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 23882
/proc/meminfo: memFree=29653488/32873844 swapFree=7372/7372
[pid=23881] ppid=23879 vsize=30784 CPUtime=6.29 cores=1,3,5,7
/proc/23881/stat : 23881 (toysat) R 23879 23881 21797 0 -1 4202496 7003 0 0 0 626 3 0 0 20 0 1 0 279617095 31522816 6924 33554432000 4194304 8973514 140735649561136 140735649543104 6571704 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23881/statm: 7696 6924 456 1167 0 6477 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 30784

[startup+12.7004 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 23882
/proc/meminfo: memFree=29645088/32873844 swapFree=7372/7372
[pid=23881] ppid=23879 vsize=47168 CPUtime=12.69 cores=1,3,5,7
/proc/23881/stat : 23881 (toysat) R 23879 23881 21797 0 -1 4202496 11099 0 0 0 1263 6 0 0 20 0 1 0 279617095 48300032 11020 33554432000 4194304 8973514 140735649561136 140735649543104 4427744 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23881/statm: 11792 11020 456 1167 0 10573 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 47168

[startup+25.5003 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 23882
/proc/meminfo: memFree=29638256/32873844 swapFree=7372/7372
[pid=23881] ppid=23879 vsize=57408 CPUtime=25.49 cores=1,3,5,7
/proc/23881/stat : 23881 (toysat) R 23879 23881 21797 0 -1 4202496 13664 0 0 0 2540 9 0 0 20 0 1 0 279617095 58785792 13585 33554432000 4194304 8973514 140735649561136 140735649543104 6570484 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23881/statm: 14352 13585 457 1167 0 13133 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 57408

[startup+51.1003 s]
/proc/loadavg: 1.95 1.99 1.99 3/179 23921
/proc/meminfo: memFree=29817636/32873844 swapFree=7372/7372
[pid=23881] ppid=23879 vsize=61504 CPUtime=51.08 cores=1,3,5,7
/proc/23881/stat : 23881 (toysat) R 23879 23881 21797 0 -1 4202496 17504 0 0 0 5091 17 0 0 20 0 1 0 279617095 62980096 14609 33554432000 4194304 8973514 140735649561136 140735649560400 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23881/statm: 15376 14609 457 1167 0 14157 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 61504

[startup+102.307 s]
/proc/loadavg: 1.98 1.99 1.99 3/180 23925
/proc/meminfo: memFree=29780236/32873844 swapFree=7372/7372
[pid=23881] ppid=23879 vsize=84032 CPUtime=102.25 cores=1,3,5,7
/proc/23881/stat : 23881 (toysat) R 23879 23881 21797 0 -1 4202496 29304 0 0 0 10191 34 0 0 20 0 1 0 279617095 86048768 20246 33554432000 4194304 8973514 140735649561136 140735649559168 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23881/statm: 21008 20246 457 1167 0 19789 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 84032

[startup+162.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/179 23925
/proc/meminfo: memFree=29749288/32873844 swapFree=7372/7372
[pid=23881] ppid=23879 vsize=109632 CPUtime=162.24 cores=1,3,5,7
/proc/23881/stat : 23881 (toysat) R 23879 23881 21797 0 -1 4202496 40568 0 0 0 16169 55 0 0 20 0 1 0 279617095 112263168 26646 33554432000 4194304 8973514 140735649561136 140735649543104 4209198 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23881/statm: 27408 26646 457 1167 0 26189 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 109632

[startup+222.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/179 23925
/proc/meminfo: memFree=29742904/32873844 swapFree=7372/7372
[pid=23881] ppid=23879 vsize=115776 CPUtime=222.22 cores=1,3,5,7
/proc/23881/stat : 23881 (toysat) R 23879 23881 21797 0 -1 4202496 50054 0 0 0 22145 77 0 0 20 0 1 0 279617095 118554624 28182 33554432000 4194304 8973514 140735649561136 140735649543104 7674101 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23881/statm: 28944 28182 457 1167 0 27725 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 115776

[startup+282.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/179 23925
/proc/meminfo: memFree=29717412/32873844 swapFree=7372/7372
[pid=23881] ppid=23879 vsize=139328 CPUtime=282.21 cores=1,3,5,7
/proc/23881/stat : 23881 (toysat) R 23879 23881 21797 0 -1 4202496 63366 0 0 0 28123 98 0 0 20 0 1 0 279617095 142671872 34070 33554432000 4194304 8973514 140735649561136 140735649543104 4208870 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23881/statm: 34832 34070 457 1167 0 33613 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 139328

[startup+342.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/179 23925
/proc/meminfo: memFree=29721744/32873844 swapFree=7372/7372
[pid=23881] ppid=23879 vsize=127040 CPUtime=342.19 cores=1,3,5,7
/proc/23881/stat : 23881 (toysat) R 23879 23881 21797 0 -1 4202496 69520 0 0 0 34103 116 0 0 20 0 1 0 279617095 130088960 30998 33554432000 4194304 8973514 140735649561136 140735649559104 6570584 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23881/statm: 31760 30998 457 1167 0 30541 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 127040

[startup+402.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/179 23926
/proc/meminfo: memFree=29724392/32873844 swapFree=7372/7372
[pid=23881] ppid=23879 vsize=128064 CPUtime=402.17 cores=1,3,5,7
/proc/23881/stat : 23881 (toysat) R 23879 23881 21797 0 -1 4202496 87202 0 0 0 40080 137 0 0 20 0 1 0 279617095 131137536 31254 33554432000 4194304 8973514 140735649561136 140735649543104 4204605 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23881/statm: 32016 31254 457 1167 0 30797 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 128064

[startup+462.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/179 23926
/proc/meminfo: memFree=29708824/32873844 swapFree=7372/7372
[pid=23881] ppid=23879 vsize=144448 CPUtime=462.16 cores=1,3,5,7
/proc/23881/stat : 23881 (toysat) R 23879 23881 21797 0 -1 4202496 96429 0 0 0 46059 157 0 0 20 0 1 0 279617095 147914752 35350 33554432000 4194304 8973514 140735649561136 140735649543104 4204320 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23881/statm: 36112 35350 457 1167 0 34893 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 144448

[startup+522.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/179 23926
/proc/meminfo: memFree=29714120/32873844 swapFree=7372/7372
[pid=23881] ppid=23879 vsize=131136 CPUtime=522.15 cores=1,3,5,7
/proc/23881/stat : 23881 (toysat) R 23879 23881 21797 0 -1 4202496 100525 0 0 0 52041 174 0 0 20 0 1 0 279617095 134283264 32022 33554432000 4194304 8973514 140735649561136 140735649543104 4424998 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23881/statm: 32784 32022 457 1167 0 31565 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 131136

[startup+582.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/179 23926
/proc/meminfo: memFree=29708740/32873844 swapFree=7372/7372
[pid=23881] ppid=23879 vsize=136256 CPUtime=582.12 cores=1,3,5,7
/proc/23881/stat : 23881 (toysat) R 23879 23881 21797 0 -1 4202496 111549 0 0 0 58018 194 0 0 20 0 1 0 279617095 139526144 33302 33554432000 4194304 8973514 140735649561136 140735649543104 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23881/statm: 34064 33302 457 1167 0 32845 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 136256

[startup+642.3 s]

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

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23930
/proc/meminfo: memFree=29680876/32873844 swapFree=7372/7372
[pid=23881] ppid=23879 vsize=162880 CPUtime=882.05 cores=1,3,5,7
/proc/23881/stat : 23881 (toysat) R 23879 23881 21797 0 -1 4202496 152027 0 0 0 87919 286 0 0 20 0 1 0 279617095 166789120 39958 33554432000 4194304 8973514 140735649561136 140735649559104 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23881/statm: 40720 39958 457 1167 0 39501 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 162880

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23930
/proc/meminfo: memFree=29696752/32873844 swapFree=7372/7372
[pid=23881] ppid=23879 vsize=144448 CPUtime=942.04 cores=1,3,5,7
/proc/23881/stat : 23881 (toysat) R 23879 23881 21797 0 -1 4202496 157148 0 0 0 93898 306 0 0 20 0 1 0 279617095 147914752 35350 33554432000 4194304 8973514 140735649561136 140735649559104 6839493 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23881/statm: 36112 35350 457 1167 0 34893 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 144448

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 23930
/proc/meminfo: memFree=29699152/32873844 swapFree=7372/7372
[pid=23881] ppid=23879 vsize=150592 CPUtime=1002.03 cores=1,3,5,7
/proc/23881/stat : 23881 (toysat) R 23879 23881 21797 0 -1 4202496 168156 0 0 0 99878 325 0 0 20 0 1 0 279617095 154206208 36886 33554432000 4194304 8973514 140735649561136 140735649543104 4208855 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23881/statm: 37648 36886 457 1167 0 36429 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 150592

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23931
/proc/meminfo: memFree=29634572/32873844 swapFree=7372/7372
[pid=23881] ppid=23879 vsize=175168 CPUtime=1062.01 cores=1,3,5,7
/proc/23881/stat : 23881 (toysat) R 23879 23881 21797 0 -1 4202496 185197 0 0 0 105856 345 0 0 20 0 1 0 279617095 179372032 42901 33554432000 4194304 8973514 140735649561136 140735649543104 4204359 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23881/statm: 43792 42909 457 1167 0 42573 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 175168

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23931
/proc/meminfo: memFree=29677996/32873844 swapFree=7372/7372
[pid=23881] ppid=23879 vsize=164928 CPUtime=1121.98 cores=1,3,5,7
/proc/23881/stat : 23881 (toysat) R 23879 23881 21797 0 -1 4202496 191226 0 0 0 111837 361 0 0 20 0 1 0 279617095 168886272 40470 33554432000 4194304 8973514 140735649561136 140735649559104 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23881/statm: 41232 40470 457 1167 0 40013 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 164928

[startup+1182.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 23931
/proc/meminfo: memFree=29654580/32873844 swapFree=7372/7372
[pid=23881] ppid=23879 vsize=185408 CPUtime=1181.97 cores=1,3,5,7
/proc/23881/stat : 23881 (toysat) R 23879 23881 21797 0 -1 4202496 197370 0 0 0 117816 381 0 0 20 0 1 0 279617095 189857792 45590 33554432000 4194304 8973514 140735649561136 140735649560400 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23881/statm: 46352 45590 457 1167 0 45133 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 185408

[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 23931
/proc/meminfo: memFree=29692956/32873844 swapFree=7372/7372
[pid=23881] ppid=23879 vsize=148544 CPUtime=1241.96 cores=1,3,5,7
/proc/23881/stat : 23881 (toysat) R 23879 23881 21797 0 -1 4202496 201210 0 0 0 123795 401 0 0 20 0 1 0 279617095 152109056 36374 33554432000 4194304 8973514 140735649561136 140735649543104 6563848 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23881/statm: 37136 36374 457 1167 0 35917 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 148544

[startup+1302.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/180 23934
/proc/meminfo: memFree=29654372/32873844 swapFree=7372/7372
[pid=23881] ppid=23879 vsize=190528 CPUtime=1301.93 cores=1,3,5,7
/proc/23881/stat : 23881 (toysat) R 23879 23881 21797 0 -1 4202496 211735 0 0 0 129773 420 0 0 20 0 1 0 279617095 195100672 46870 33554432000 4194304 8973514 140735649561136 140735649559104 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23881/statm: 47632 46870 457 1167 0 46413 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 190528

[startup+1362.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/179 23935
/proc/meminfo: memFree=29664572/32873844 swapFree=7372/7372
[pid=23881] ppid=23879 vsize=176192 CPUtime=1361.92 cores=1,3,5,7
/proc/23881/stat : 23881 (toysat) R 23879 23881 21797 0 -1 4202496 213527 0 0 0 135753 439 0 0 20 0 1 0 279617095 180420608 43286 33554432000 4194304 8973514 140735649561136 140735649543104 4459352 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23881/statm: 44048 43286 457 1167 0 42829 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 176192

[startup+1422.31 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 23935
/proc/meminfo: memFree=29714848/32873844 swapFree=7372/7372
[pid=23881] ppid=23879 vsize=128064 CPUtime=1421.92 cores=1,3,5,7
/proc/23881/stat : 23881 (toysat) R 23879 23881 21797 0 -1 4202496 214039 0 0 0 141738 454 0 0 20 0 1 0 279617095 131137536 31254 33554432000 4194304 8973514 140735649561136 140735649559104 6563848 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23881/statm: 32016 31254 457 1167 0 30797 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 128064

[startup+1482.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/179 23935
/proc/meminfo: memFree=29651040/32873844 swapFree=7372/7372
[pid=23881] ppid=23879 vsize=185408 CPUtime=1481.9 cores=1,3,5,7
/proc/23881/stat : 23881 (toysat) R 23879 23881 21797 0 -1 4202496 229403 0 0 0 147716 474 0 0 20 0 1 0 279617095 189857792 45590 33554432000 4194304 8973514 140735649561136 140735649543104 4462648 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23881/statm: 46352 45590 457 1167 0 45133 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 185408

[startup+1542.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 23935
/proc/meminfo: memFree=29664424/32873844 swapFree=7372/7372
[pid=23881] ppid=23879 vsize=173120 CPUtime=1541.89 cores=1,3,5,7
/proc/23881/stat : 23881 (toysat) R 23879 23881 21797 0 -1 4202496 239899 0 0 0 153695 494 0 0 20 0 1 0 279617095 177274880 42518 33554432000 4194304 8973514 140735649561136 140735649543104 4427820 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23881/statm: 43280 42518 457 1167 0 42061 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 173120

[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/180 23936
/proc/meminfo: memFree=29657508/32873844 swapFree=7372/7372
[pid=23881] ppid=23879 vsize=181312 CPUtime=1601.88 cores=1,3,5,7
/proc/23881/stat : 23881 (toysat) R 23879 23881 21797 0 -1 4202496 247835 0 0 0 159676 512 0 0 20 0 1 0 279617095 185663488 44566 33554432000 4194304 8973514 140735649561136 140735649543104 7671267 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23881/statm: 45328 44566 457 1167 0 44109 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 181312

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 23937
/proc/meminfo: memFree=29675688/32873844 swapFree=7372/7372
[pid=23881] ppid=23879 vsize=169024 CPUtime=1661.86 cores=1,3,5,7
/proc/23881/stat : 23881 (toysat) R 23879 23881 21797 0 -1 4202496 252197 0 0 0 165657 529 0 0 20 0 1 0 279617095 173080576 41494 33554432000 4194304 8973514 140735649561136 140735649560632 4462536 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23881/statm: 42256 41494 457 1167 0 41037 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 169024

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 23937
/proc/meminfo: memFree=29628840/32873844 swapFree=7372/7372
[pid=23881] ppid=23879 vsize=225344 CPUtime=1721.85 cores=1,3,5,7
/proc/23881/stat : 23881 (toysat) R 23879 23881 21797 0 -1 4202496 266277 0 0 0 171636 549 0 0 20 0 1 0 279617095 230752256 55574 33554432000 4194304 8973514 140735649561136 140735649543104 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23881/statm: 56336 55574 457 1167 0 55117 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 225344

[startup+1782.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 23975
/proc/meminfo: memFree=29684928/32873844 swapFree=7372/7372
[pid=23881] ppid=23879 vsize=189504 CPUtime=1781.84 cores=1,3,5,7
/proc/23881/stat : 23881 (toysat) R 23879 23881 21797 0 -1 4202496 282661 0 0 0 177617 567 0 0 20 0 1 0 279617095 194052096 46614 33554432000 4194304 8973514 140735649561136 140735649559040 6570548 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23881/statm: 47376 46614 457 1167 0 46157 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 189504



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 23975
/proc/meminfo: memFree=29687536/32873844 swapFree=7372/7372
[pid=23881] ppid=23879 vsize=187456 CPUtime=1800.05 cores=1,3,5,7
/proc/23881/stat : 23881 (toysat) R 23879 23881 21797 0 -1 4202496 283173 0 0 0 179433 572 0 0 20 0 1 0 279617095 191954944 46102 33554432000 4194304 8973514 140735649561136 140735649543104 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23881/statm: 46864 46102 457 1167 0 45645 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 187456

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

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

[startup+1800.5 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 23975
/proc/meminfo: memFree=29687536/32873844 swapFree=7372/7372
[pid=23881] ppid=23879 vsize=187456 CPUtime=1800.05 cores=1,3,5,7
/proc/23881/stat : 23881 (toysat) R 23879 23881 21797 0 -1 4202496 283173 0 0 0 179433 572 0 0 20 0 1 0 279617095 191954944 46102 33554432000 4194304 8973514 140735649561136 140735649543104 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/23881/statm: 46864 46102 457 1167 0 45645 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 187456

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.52
CPU time (s): 1800.07
CPU user time (s): 1794.34
CPU system time (s): 5.73013
CPU usage (%): 99.9749
Max. virtual memory (cumulated for all children) (KiB): 242752

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.34
system time used= 5.73013
maximum resident set size= 239704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 283173
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= 201
involuntary context switches= 1837

runsolver used 3.68944 second user time and 10.6954 second system time

The end

Launcher Data 

Begin job on node133 at 2012-05-27 18:08:43
IDJOB=3707246
IDBENCH=48243
IDSOLVER=2285
FILE ID=node133/3707246-1338134923
RUNJOBID= node133-1338109544-21814
PBS_JOBID= 14624470
Free space on /tmp= 71720 MiB

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

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

MD5SUM BENCH= fd0cd32338d58e5da2d0a0f96e14ad7d
RANDOM SEED=572145464

node133.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.540
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	: 5333.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.540
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.540
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.540
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.90
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.540
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.540
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:        29689536 kB
Buffers:          356796 kB
Cached:          1783824 kB
SwapCached:          104 kB
Active:           831040 kB
Inactive:        1526820 kB
Active(anon):     207868 kB
Inactive(anon):    11368 kB
Active(file):     623172 kB
Inactive(file):  1515452 kB
Unevictable:        7372 kB
Mlocked:            7372 kB
SwapTotal:      67108856 kB
SwapFree:       67108752 kB
Dirty:              7396 kB
Writeback:             0 kB
AnonPages:        223888 kB
Mapped:            16212 kB
Shmem:               212 kB
Slab:             685728 kB
SReclaimable:     127948 kB
SUnreclaim:       557780 kB
KernelStack:        1480 kB
PageTables:         4112 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     331236 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:     18432 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= 71716 MiB
End job on node133 at 2012-05-27 18:38:46