Trace number 3720900

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
PB07: Pueblo 1.4Signal 1597.48 1734.33

General information on the benchmark

Name/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_unif_10null20mast_rapportOE1.0_TMAX300_K192_cod2.opb
MD5SUM8d651cc878ba5f8db7c83d3bfed1cb1c
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-98026
Best CPU time to get the best result obtained on this benchmark1800.85
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables400896
Total number of constraints402763
Number of constraints which are clauses400785
Number of constraints which are cardinality constraints (but not clauses)194
Number of constraints which are nor clauses,nor cardinality constraints1784
Minimum length of a constraint2
Maximum length of a constraint58023
Number of terms in the objective function 1605
Biggest coefficient in the objective function 1000
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 987807
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 1000
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 987807
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data

0.00/0.00	c Pueblo version 1.4 (September 2005)
0.00/0.00	c Developed @ University of Michigan, Ann Arbor, MI
0.00/0.00	c  by Hossein Sheini
504.45/504.64	c starting to Solve
504.45/504.64	c #variables read: 400896 - #constraints read: 402764
504.54/504.75	o 0
527.24/527.47	o 732
527.44/527.62	o 985
527.44/527.67	o 1022
527.55/527.72	o 1501
527.55/527.78	o 1754
527.64/527.83	o 1830
527.64/527.89	o 2309
527.75/527.94	o 2562
527.75/528.00	o 2577
527.85/528.05	o 2830
527.94/528.11	o 3309
527.94/528.16	o 3562
528.04/528.21	o 3620
528.04/528.27	o 4099
528.15/528.32	o 4352
528.15/528.38	o 4546
528.24/528.43	o 5025
528.24/528.49	o 5278
528.34/528.54	o 5485
528.44/528.60	o 5662
528.44/528.65	o 5964
528.55/528.70	o 6217
528.55/528.75	o 6394
528.64/528.81	o 6477
528.64/528.86	o 6654
528.75/528.92	o 6956
528.75/528.97	o 7209
528.85/529.02	o 7386
528.85/529.08	o 7557
528.95/529.13	o 7859
528.95/529.19	o 7898
529.04/529.24	o 8112
529.04/529.29	o 8289
529.14/529.34	o 8453
529.24/529.40	o 8457
529.24/529.45	o 8634
529.34/529.51	o 8690
529.34/529.56	o 8867
529.45/529.62	o 9025
529.45/529.66	o 9189
529.54/529.71	o 9366
529.54/529.77	o 9501
529.65/529.83	o 9599
529.65/529.88	o 9659
529.75/529.94	o 9687
529.75/529.99	o 9743
529.84/530.05	o 9920
529.95/530.10	o 10000
529.95/530.15	o 10056
530.05/530.21	o 10233
530.05/530.26	o 10242
530.14/530.31	o 10419
530.14/530.36	o 10475
530.24/530.42	o 10497
530.24/530.47	o 10553
530.34/530.53	o 10730
530.34/530.58	o 10810
530.45/530.63	o 10866
530.45/530.69	o 11043
530.54/530.74	o 11047
530.65/530.80	o 11103
530.65/530.86	o 11280
530.74/530.91	o 11285
530.74/530.96	o 11462
530.85/531.02	o 11593
530.85/531.07	o 11602
530.94/531.12	o 11779
530.94/531.18	o 11823
531.05/531.23	o 12000
531.05/531.29	o 12052
531.15/531.34	o 12171
531.24/531.40	o 12223
531.24/531.46	o 12259
531.35/531.51	o 12311
531.35/531.57	o 12313
531.44/531.62	o 12322
531.44/531.67	o 12499
531.55/531.72	o 12555
531.55/531.77	o 12732
531.65/531.83	o 12784
531.65/531.88	o 12903
531.74/531.93	o 12955
531.74/531.98	o 12991
531.85/532.04	o 13043
531.94/532.10	o 13126
531.94/532.15	o 13178
532.04/532.21	o 13214
532.04/532.26	o 13266
532.15/532.32	o 13268
532.15/532.37	o 13277
532.25/532.42	o 13454
532.25/532.48	o 13510
532.34/532.53	o 13687
532.34/532.58	o 13739
532.44/532.63	o 13858
532.44/532.69	o 13927
532.54/532.74	o 13979
532.64/532.80	o 14015
532.64/532.85	o 14067
532.75/532.91	o 14069
532.75/532.96	o 14078
532.84/533.01	o 14255
532.84/533.07	o 14326
532.95/533.12	o 14378
532.95/533.18	o 14414
533.04/533.24	o 14466
533.04/533.29	o 14488
533.15/533.35	o 14540
533.15/533.40	o 14659
533.25/533.45	o 14711
533.25/533.50	o 14747
533.35/533.55	o 14799
533.44/533.60	o 14887
533.44/533.66	o 14937
533.55/533.72	o 14989
533.55/533.77	o 15025
533.64/533.83	o 15077
533.64/533.89	o 15110
533.74/533.94	o 15146
533.74/533.99	o 15198
533.85/534.05	o 15270
533.94/534.10	o 15322
533.94/534.15	o 15358
534.04/534.20	o 15410
534.04/534.26	o 15498
534.15/534.31	o 15550
534.15/534.36	o 15669
534.24/534.42	o 15721
534.24/534.47	o 15757
534.35/534.53	o 15809
534.35/534.59	o 15818
534.44/534.64	o 15937
534.55/534.70	o 15989
534.55/534.76	o 16025
534.64/534.81	o 16077
534.64/534.87	o 16110
534.74/534.93	o 16146
534.74/534.98	o 16198
534.85/535.03	o 16270
534.85/535.09	o 16322
534.94/535.14	o 16358
534.94/535.19	o 16451
535.04/535.25	o 16503
535.15/535.31	o 16539
535.15/535.36	o 16591
535.24/535.42	o 16669
535.24/535.48	o 16721
535.35/535.53	o 16757
535.35/535.58	o 16809
535.45/535.64	o 16836
535.45/535.69	o 16872
535.55/535.74	o 16924
535.55/535.79	o 17012
535.64/535.85	o 17128
535.74/535.91	o 17180
535.74/535.97	o 17216
535.85/536.02	o 17268
535.85/536.08	o 17271
535.94/536.13	o 17323
535.94/536.19	o 17346
536.04/536.23	o 17398
536.04/536.29	o 17434
536.14/536.35	o 17537
536.24/536.41	o 17589
536.24/536.46	o 17625
536.34/536.52	o 17677
536.34/536.58	o 17689
536.45/536.64	o 17741
536.45/536.70	o 17860
536.55/536.75	o 17912
536.65/536.81	o 17948
536.65/536.86	o 18000
536.74/536.91	o 18010
536.74/536.97	o 18098
536.84/537.03	o 18150
536.84/537.08	o 18269
536.94/537.14	o 18284
536.94/537.19	o 18336
537.05/537.25	o 18372
537.14/537.31	o 18424
537.14/537.37	o 18438
537.25/537.42	o 18490
537.25/537.48	o 18526
537.35/537.53	o 18578
537.35/537.59	o 18607
537.44/537.65	o 18659
537.55/537.70	o 18695
537.55/537.76	o 18747
537.65/537.82	o 18757
537.65/537.87	o 18845
537.75/537.93	o 18861
537.75/537.99	o 18913
537.84/538.05	o 18927
537.95/538.10	o 18979
537.95/538.16	o 19015
538.04/538.22	o 19067
538.04/538.27	o 19068
538.15/538.32	o 19104
538.15/538.38	o 19156
538.24/538.44	o 19170
538.24/538.49	o 19222
538.35/538.55	o 19258
538.44/538.60	o 19310
538.44/538.66	o 19334
538.54/538.72	o 19386
538.54/538.77	o 19505
538.64/538.83	o 19523
538.64/538.89	o 19559
538.75/538.95	o 19611
538.84/539.01	o 19625
538.84/539.06	o 19677
538.94/539.12	o 19713
538.94/539.18	o 19765
539.04/539.23	o 19799
539.04/539.29	o 19802
539.15/539.34	o 19854
539.24/539.40	o 19868
539.24/539.46	o 19920
539.34/539.51	o 19956
539.34/539.57	o 20008
539.44/539.63	o 20024
539.44/539.69	o 20076
539.54/539.75	o 20090
539.64/539.81	o 20142
539.64/539.86	o 20178
539.74/539.92	o 20230
539.74/539.98	o 20255
539.85/540.04	o 20291
539.85/540.09	o 20343
539.94/540.15	o 20357
540.04/540.21	o 20409
540.04/540.26	o 20445
540.14/540.31	o 20497
540.14/540.38	o 20549
540.24/540.43	o 20668
540.24/540.49	o 20720
540.35/540.55	o 20756
540.44/540.61	o 20808
540.44/540.67	o 20822
540.55/540.72	o 20874
540.55/540.78	o 20886
540.64/540.84	o 20922
540.74/540.90	o 20974
540.74/540.96	o 20988
540.84/541.01	o 21040
540.84/541.07	o 21076
540.94/541.13	o 21128
540.94/541.19	o 21153
541.05/541.25	o 21189
541.14/541.31	o 21241
541.14/541.37	o 21255
541.25/541.43	o 21279
541.25/541.49	o 21315
541.34/541.55	o 21367
541.44/541.62	o 21381
541.44/541.67	o 21433
541.54/541.73	o 21469
541.54/541.79	o 21521
541.64/541.85	o 21566
541.74/541.91	o 21618
541.74/541.97	o 21654
541.84/542.02	o 21706
541.84/542.08	o 21720
541.94/542.13	o 21772
541.94/542.19	o 21808
542.04/542.25	o 21860
542.15/542.31	o 21959
542.15/542.37	o 22011
542.24/542.43	o 22012
542.24/542.49	o 22048
542.34/542.55	o 22100
542.44/542.61	o 22114
542.44/542.66	o 22166
542.55/542.72	o 22202
542.55/542.78	o 22254
542.64/542.85	o 22256
542.74/542.91	o 22308
542.74/542.97	o 22322
542.84/543.03	o 22374
542.84/543.08	o 22410
542.95/543.14	o 22462
543.04/543.20	o 22505
543.04/543.26	o 22541
543.15/543.32	o 22593
543.15/543.38	o 22692
543.25/543.44	o 22744
543.34/543.50	o 22780
543.34/543.56	o 22832
543.44/543.62	o 22846
543.44/543.67	o 22898
543.54/543.73	o 22934
543.54/543.78	o 22986
543.64/543.84	o 22988
543.64/543.89	o 23040
543.74/543.95	o 23054
543.84/544.00	o 23106
543.84/544.05	o 23142
543.94/544.11	o 23194
543.94/544.17	o 23202
544.04/544.23	o 23254
544.15/544.30	o 23256
544.15/544.36	o 23308
544.24/544.43	o 23322
544.24/544.48	o 23374
544.35/544.54	o 23410
544.44/544.60	o 23462
544.44/544.66	o 23505
544.54/544.72	o 23541
544.54/544.78	o 23593
544.65/544.84	o 23692
544.74/544.90	o 23744
544.74/544.96	o 23780
544.84/545.02	o 23832
544.84/545.09	o 23836
544.95/545.15	o 23888
545.04/545.22	o 23890
545.04/545.28	o 23942
545.14/545.35	o 23956
545.24/545.41	o 24008
545.24/545.48	o 24044
545.35/545.53	o 24096
545.35/545.60	o 24118
545.44/545.66	o 24170
545.54/545.72	o 24194
545.54/545.78	o 24227
545.64/545.84	o 24267
545.74/545.91	o 24281
545.74/545.98	o 24333
545.84/546.04	o 24369
545.94/546.10	o 24421
545.94/546.16	o 24443
546.04/546.23	o 24495
546.04/546.29	o 24514
546.14/546.34	o 24566
546.24/546.41	o 24588
546.24/546.47	o 24640
546.34/546.53	o 24674
546.34/546.59	o 24688
546.45/546.65	o 24740
546.54/546.71	o 24776
546.54/546.77	o 24828
546.65/546.82	o 24850
546.65/546.88	o 24902
546.75/546.93	o 24945
546.84/547.00	o 24947
546.84/547.05	o 24999
546.95/547.11	o 25013
546.95/547.16	o 25065
547.04/547.22	o 25101
547.04/547.27	o 25153
547.14/547.33	o 25175
547.14/547.39	o 25227
547.24/547.45	o 25246
547.34/547.50	o 25298
547.34/547.56	o 25320
547.45/547.61	o 25372
547.45/547.68	o 25421
547.54/547.74	o 25443
547.65/547.81	o 25495
547.65/547.87	o 25514
547.74/547.93	o 25566
547.74/548.00	o 25588
547.84/548.06	o 25640
547.94/548.12	o 25674
547.94/548.19	o 25688
548.04/548.25	o 25740
548.14/548.31	o 25776
548.14/548.37	o 25828
548.24/548.43	o 25850
548.24/548.48	o 25902
548.35/548.54	o 25945
548.44/548.60	o 25947
548.44/548.66	o 25999
548.54/548.72	o 26013
548.54/548.77	o 26065
548.65/548.83	o 26101
1594.59/1595.16	Pueblo: Global.h:70: T* xrealloc(T*, unsigned int) [with T = Lit]: Assertion `size == 0 || tmp != __null' failed.

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-3720900-1338515337/watcher-3720900-1338515337 -o /tmp/evaluation-result-3720900-1338515337/solver-3720900-1338515337 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3720900-1338515337.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 31653
/proc/meminfo: memFree=26437384/32873648 swapFree=6864/6864
[pid=31653] ppid=31651 vsize=1268 CPUtime=0 cores=0,2,4,6
/proc/31653/stat : 31653 (Pueblo) D 31651 31653 29082 0 -1 4194304 94 0 0 0 0 0 0 0 20 0 1 0 317659209 1298432 46 33554432000 134512640 134579096 4288671312 4288669348 10707908 0 0 4096 0 18446744072100609316 0 0 17 2 0 0 0 0 0
/proc/31653/statm: 317 46 35 17 0 29 0

[startup+0.0886719 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 31653
/proc/meminfo: memFree=26437384/32873648 swapFree=6864/6864
[pid=31653] ppid=31651 vsize=6168 CPUtime=0.07 cores=0,2,4,6
/proc/31653/stat : 31653 (Pueblo) R 31651 31653 29082 0 -1 4202496 1078 0 0 0 7 0 0 0 20 0 1 0 317659209 6316032 1015 33554432000 134512640 134579096 4288671312 4288538736 134546743 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31653/statm: 1542 1017 219 17 0 848 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 6168

[startup+0.100269 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 31653
/proc/meminfo: memFree=26437384/32873648 swapFree=6864/6864
[pid=31653] ppid=31651 vsize=6432 CPUtime=0.08 cores=0,2,4,6
/proc/31653/stat : 31653 (Pueblo) R 31651 31653 29082 0 -1 4202496 1146 0 0 0 8 0 0 0 20 0 1 0 317659209 6586368 1083 33554432000 134512640 134579096 4288671312 4288538660 11969295 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31653/statm: 1608 1083 219 17 0 914 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6432

[startup+0.30023 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 31653
/proc/meminfo: memFree=26437384/32873648 swapFree=6864/6864
[pid=31653] ppid=31651 vsize=11760 CPUtime=0.28 cores=0,2,4,6
/proc/31653/stat : 31653 (Pueblo) R 31651 31653 29082 0 -1 4202496 2506 0 0 0 28 0 0 0 20 0 1 0 317659209 12042240 2443 33554432000 134512640 134579096 4288671312 4288538708 11969343 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31653/statm: 2940 2443 219 17 0 2246 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 11760

[startup+0.700187 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 31653
/proc/meminfo: memFree=26437384/32873648 swapFree=6864/6864
[pid=31653] ppid=31651 vsize=18956 CPUtime=0.69 cores=0,2,4,6
/proc/31653/stat : 31653 (Pueblo) R 31651 31653 29082 0 -1 4202496 4294 0 0 0 68 1 0 0 20 0 1 0 317659209 19410944 4231 33554432000 134512640 134579096 4288671312 4288538588 8758320 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31653/statm: 4739 4231 219 17 0 4045 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18956

[startup+1.50025 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 31654
/proc/meminfo: memFree=26413940/32873648 swapFree=6864/6864
[pid=31653] ppid=31651 vsize=40404 CPUtime=1.48 cores=0,2,4,6
/proc/31653/stat : 31653 (Pueblo) R 31651 31653 29082 0 -1 4202496 9664 0 0 0 147 1 0 0 20 0 1 0 317659209 41373696 9601 33554432000 134512640 134579096 4288671312 4288538588 8758320 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31653/statm: 10101 9601 219 17 0 9407 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 40404

[startup+3.10016 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 31654
/proc/meminfo: memFree=26383320/32873648 swapFree=6864/6864
[pid=31653] ppid=31651 vsize=83564 CPUtime=3.09 cores=0,2,4,6
/proc/31653/stat : 31653 (Pueblo) R 31651 31653 29082 0 -1 4202496 20450 0 0 0 306 3 0 0 20 0 1 0 317659209 85569536 20387 33554432000 134512640 134579096 4288671312 4288538708 11969270 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31653/statm: 20891 20387 219 17 0 20197 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 83564

[startup+6.30023 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 31654
/proc/meminfo: memFree=26286160/32873648 swapFree=6864/6864
[pid=31653] ppid=31651 vsize=161748 CPUtime=6.28 cores=0,2,4,6
/proc/31653/stat : 31653 (Pueblo) R 31651 31653 29082 0 -1 4202496 392660 0 0 0 582 46 0 0 20 0 1 0 317659209 165629952 37771 33554432000 134512640 134579096 4288671312 4288670272 134532446 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31653/statm: 40437 37787 226 17 0 39743 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 161748

[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 31654
/proc/meminfo: memFree=26285936/32873648 swapFree=6864/6864
[pid=31653] ppid=31651 vsize=161748 CPUtime=12.68 cores=0,2,4,6
/proc/31653/stat : 31653 (Pueblo) R 31651 31653 29082 0 -1 4202496 2448616 0 0 0 1000 268 0 0 20 0 1 0 317659209 165629952 37687 33554432000 134512640 134579096 4288671312 4288670272 134532446 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31653/statm: 40437 37703 226 17 0 39743 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 161748

[startup+25.5001 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 31654
/proc/meminfo: memFree=26283712/32873648 swapFree=6864/6864
[pid=31653] ppid=31651 vsize=161924 CPUtime=25.48 cores=0,2,4,6
/proc/31653/stat : 31653 (Pueblo) R 31651 31653 29082 0 -1 4202496 6527959 0 0 0 1832 716 0 0 20 0 1 0 317659209 165810176 37878 33554432000 134512640 134579096 4288671312 4288670272 134532446 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31653/statm: 40481 37891 226 17 0 39787 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 161924

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31654
/proc/meminfo: memFree=26278580/32873648 swapFree=6864/6864
[pid=31653] ppid=31651 vsize=161924 CPUtime=51.05 cores=0,2,4,6
/proc/31653/stat : 31653 (Pueblo) R 31651 31653 29082 0 -1 4202496 14699404 0 0 0 3499 1606 0 0 20 0 1 0 317659209 165810176 38083 33554432000 134512640 134579096 4288671312 4288670224 8758320 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31653/statm: 40481 37691 226 17 0 39787 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 161924

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31658
/proc/meminfo: memFree=26261892/32873648 swapFree=6864/6864
[pid=31653] ppid=31651 vsize=162308 CPUtime=102.22 cores=0,2,4,6
/proc/31653/stat : 31653 (Pueblo) R 31651 31653 29082 0 -1 4202496 30928457 0 0 0 6827 3395 0 0 20 0 1 0 317659209 166203392 37913 33554432000 134512640 134579096 4288671312 4288670272 134532446 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31653/statm: 40577 37925 226 17 0 39883 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 162308

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31658
/proc/meminfo: memFree=26261764/32873648 swapFree=6864/6864
[pid=31653] ppid=31651 vsize=162308 CPUtime=162.21 cores=0,2,4,6
/proc/31653/stat : 31653 (Pueblo) R 31651 31653 29082 0 -1 4202496 49903677 0 0 0 10703 5518 0 0 20 0 1 0 317659209 166203392 38076 33554432000 134512640 134579096 4288671312 4288670272 134532446 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31653/statm: 40577 38091 226 17 0 39883 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 162308

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31658
/proc/meminfo: memFree=26260252/32873648 swapFree=6864/6864
[pid=31653] ppid=31651 vsize=164932 CPUtime=222.2 cores=0,2,4,6
/proc/31653/stat : 31653 (Pueblo) R 31651 31653 29082 0 -1 4202496 68868051 0 0 0 14576 7644 0 0 20 0 1 0 317659209 168890368 38665 33554432000 134512640 134579096 4288671312 4288670272 134532446 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31653/statm: 41233 38680 226 17 0 40539 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 164932

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31658
/proc/meminfo: memFree=26256652/32873648 swapFree=6864/6864
[pid=31653] ppid=31651 vsize=167564 CPUtime=282.18 cores=0,2,4,6
/proc/31653/stat : 31653 (Pueblo) R 31651 31653 29082 0 -1 4202496 87813919 0 0 0 18455 9763 0 0 20 0 1 0 317659209 171585536 39173 33554432000 134512640 134579096 4288671312 4288670224 8758320 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31653/statm: 41891 39182 226 17 0 41197 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 167564

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31658
/proc/meminfo: memFree=26253932/32873648 swapFree=6864/6864
[pid=31653] ppid=31651 vsize=171220 CPUtime=342.18 cores=0,2,4,6
/proc/31653/stat : 31653 (Pueblo) R 31651 31653 29082 0 -1 4202496 106749404 0 0 0 22328 11890 0 0 20 0 1 0 317659209 175329280 40274 33554432000 134512640 134579096 4288671312 4288670272 134532446 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31653/statm: 42805 40274 226 17 0 42111 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 171220

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31659
/proc/meminfo: memFree=26230612/32873648 swapFree=6864/6864
[pid=31653] ppid=31651 vsize=173860 CPUtime=402.17 cores=0,2,4,6
/proc/31653/stat : 31653 (Pueblo) R 31651 31653 29082 0 -1 4202496 125704366 0 0 0 26207 14010 0 0 20 0 1 0 317659209 178032640 40860 33554432000 134512640 134579096 4288671312 4288670272 134532446 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31653/statm: 43465 40873 226 17 0 42771 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 173860

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31659
/proc/meminfo: memFree=26216592/32873648 swapFree=6864/6864
[pid=31653] ppid=31651 vsize=176500 CPUtime=462.15 cores=0,2,4,6
/proc/31653/stat : 31653 (Pueblo) R 31651 31653 29082 0 -1 4202496 144630707 0 0 0 30068 16147 0 0 20 0 1 0 317659209 180736000 41442 33554432000 134512640 134579096 4288671312 4288670272 134532446 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31653/statm: 44125 41457 226 17 0 43431 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 176500

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31659
/proc/meminfo: memFree=26152244/32873648 swapFree=6864/6864
[pid=31653] ppid=31651 vsize=239092 CPUtime=522.15 cores=0,2,4,6
/proc/31653/stat : 31653 (Pueblo) R 31651 31653 29082 0 -1 4202496 157938534 0 0 0 34592 17623 0 0 20 0 1 0 317659209 244830208 57218 33554432000 134512640 134579096 4288671312 4288670264 134563198 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31653/statm: 59773 57218 228 17 0 59079 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 239092

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31659
/proc/meminfo: memFree=26077264/32873648 swapFree=6864/6864
[pid=31653] ppid=31651 vsize=368116 CPUtime=582.13 cores=0,2,4,6
/proc/31653/stat : 31653 (Pueblo) R 31651 31653 29082 0 -1 4202496 157941401 0 0 0 40479 17734 0 0 20 0 1 0 317659209 376950784 74904 33554432000 134512640 134579096 4288671312 4288670112 134528560 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31653/statm: 92029 74904 228 17 0 91335 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 368116

[startup+642.3 s]

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

[pid=31653] ppid=31651 vsize=1290136 CPUtime=1002.01 cores=0,2,4,6
/proc/31653/stat : 31653 (Pueblo) R 31651 31653 29082 0 -1 4202496 158171550 0 0 0 82378 17823 0 0 20 0 1 0 317659209 1321099264 305239 33554432000 134512640 134579096 4288671312 4288670112 134528544 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31653/statm: 322534 305239 228 17 0 321840 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 1290136

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31687
/proc/meminfo: memFree=24850012/32873648 swapFree=6864/6864
[pid=31653] ppid=31651 vsize=1598084 CPUtime=1061.99 cores=0,2,4,6
/proc/31653/stat : 31653 (Pueblo) R 31651 31653 29082 0 -1 4202496 158248556 0 0 0 88357 17842 0 0 20 0 1 0 317659209 1636438016 382268 33554432000 134512640 134579096 4288671312 4288670112 134528580 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31653/statm: 399521 382268 228 17 0 398827 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 1598084

[startup+1122.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 31687
/proc/meminfo: memFree=24566452/32873648 swapFree=6864/6864
[pid=31653] ppid=31651 vsize=1878892 CPUtime=1121.96 cores=0,2,4,6
/proc/31653/stat : 31653 (Pueblo) R 31651 31653 29082 0 -1 4202496 158318801 0 0 0 94336 17860 0 0 20 0 1 0 317659209 1923985408 452520 33554432000 134512640 134579096 4288671312 4288670112 134528700 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31653/statm: 469723 452520 228 17 0 469029 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 1878892

[startup+1182.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 31687
/proc/meminfo: memFree=24279296/32873648 swapFree=6864/6864
[pid=31653] ppid=31651 vsize=2168080 CPUtime=1181.94 cores=0,2,4,6
/proc/31653/stat : 31653 (Pueblo) R 31651 31653 29082 0 -1 4202496 158390806 0 0 0 100317 17877 0 0 20 0 1 0 317659209 2220113920 524522 33554432000 134512640 134579096 4288671312 4288670112 134528560 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31653/statm: 542020 524522 228 17 0 541326 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 2168080

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31687
/proc/meminfo: memFree=23950852/32873648 swapFree=6864/6864
[pid=31653] ppid=31651 vsize=2492824 CPUtime=1241.91 cores=0,2,4,6
/proc/31653/stat : 31653 (Pueblo) R 31651 31653 29082 0 -1 4202496 158471955 0 0 0 106292 17899 0 0 20 0 1 0 317659209 2552651776 605660 33554432000 134512640 134579096 4288671312 4288670284 8758320 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31653/statm: 623206 605660 228 17 0 622512 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 2492824

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31691
/proc/meminfo: memFree=23667424/32873648 swapFree=6864/6864
[pid=31653] ppid=31651 vsize=2774268 CPUtime=1301.89 cores=0,2,4,6
/proc/31653/stat : 31653 (Pueblo) R 31651 31653 29082 0 -1 4202496 158542395 0 0 0 112271 17918 0 0 20 0 1 0 317659209 2840850432 676108 33554432000 134512640 134579096 4288671312 4288670112 134528560 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31653/statm: 693567 676108 228 17 0 692873 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 2774268

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31691
/proc/meminfo: memFree=23350144/32873648 swapFree=6864/6864
[pid=31653] ppid=31651 vsize=3096440 CPUtime=1361.87 cores=0,2,4,6
/proc/31653/stat : 31653 (Pueblo) R 31651 31653 29082 0 -1 4202496 158622968 0 0 0 118249 17938 0 0 20 0 1 0 317659209 3170754560 756672 33554432000 134512640 134579096 4288671312 4288669880 11220263 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31653/statm: 774110 756672 228 17 0 773416 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 3096440

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31691
/proc/meminfo: memFree=23039304/32873648 swapFree=6864/6864
[pid=31653] ppid=31651 vsize=3402532 CPUtime=1421.86 cores=0,2,4,6
/proc/31653/stat : 31653 (Pueblo) R 31651 31653 29082 0 -1 4202496 158698733 0 0 0 124226 17960 0 0 20 0 1 0 317659209 3484192768 832432 33554432000 134512640 134579096 4288671312 4288670112 134528560 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31653/statm: 850633 832432 228 17 0 849939 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 3402532

[startup+1482.3 s]
/proc/loadavg: 2.03 2.00 2.00 3/177 31740
/proc/meminfo: memFree=22880124/32873648 swapFree=6864/6864
[pid=31653] ppid=31651 vsize=3641192 CPUtime=1481.83 cores=0,2,4,6
/proc/31653/stat : 31653 (Pueblo) R 31651 31653 29082 0 -1 4202496 158758180 0 0 0 130207 17976 0 0 20 0 1 0 317659209 3728580608 891877 33554432000 134512640 134579096 4288671312 4288670284 8758320 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31653/statm: 910298 891877 228 17 0 909604 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 3641192

[startup+1542.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 31740
/proc/meminfo: memFree=22578564/32873648 swapFree=6864/6864
[pid=31653] ppid=31651 vsize=3913636 CPUtime=1541.81 cores=0,2,4,6
/proc/31653/stat : 31653 (Pueblo) R 31651 31653 29082 0 -1 4202496 158826213 0 0 0 136185 17996 0 0 20 0 1 0 317659209 4007563264 959922 33554432000 134512640 134579096 4288671312 4288670284 8758320 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31653/statm: 978409 959922 228 17 0 977715 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 3913636

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 31741
/proc/meminfo: memFree=18520820/32873648 swapFree=6864/6864
[pid=31653] ppid=31651 vsize=4186020 CPUtime=1596.21 cores=0,2,4,6
/proc/31653/stat : 31653 (Pueblo) S 31651 31653 29082 0 -1 4204032 158894530 0 0 0 141450 18171 0 0 20 0 1 0 317659209 4286484480 1028242 33554432000 134512640 134579096 4288671312 4288669744 8758320 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/31653/statm: 1046505 1028242 234 17 0 1045811 0
Current children cumulated CPU time (s) 1596.21
Current children cumulated vsize (KiB) 4186020

[startup+1662.3 s]
/proc/loadavg: 3.90 2.54 2.18 2/178 31742
/proc/meminfo: memFree=13622512/32873648 swapFree=6864/6864
[pid=31653] ppid=31651 vsize=4186020 CPUtime=1597.34 cores=0,2,4,6
/proc/31653/stat : 31653 (Pueblo) S 31651 31653 29082 0 -1 4204032 158894530 0 0 0 141450 18284 0 0 20 0 1 0 317659209 4286484480 1028256 33554432000 134512640 134579096 4288671312 4288669744 8758320 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/31653/statm: 1046505 1028256 234 17 0 1045811 0
Current children cumulated CPU time (s) 1597.34
Current children cumulated vsize (KiB) 4186020

[startup+1722.3 s]
/proc/loadavg: 4.59 2.99 2.36 2/178 31742
/proc/meminfo: memFree=13603440/32873648 swapFree=6864/6864
[pid=31653] ppid=31651 vsize=4186020 CPUtime=1597.34 cores=0,2,4,6
/proc/31653/stat : 31653 (Pueblo) S 31651 31653 29082 0 -1 4204032 158894530 0 0 0 141450 18284 0 0 20 0 1 0 317659209 4286484480 1028256 33554432000 134512640 134579096 4288671312 4288669744 8758320 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/31653/statm: 1046505 1028256 234 17 0 1045811 0
Current children cumulated CPU time (s) 1597.34
Current children cumulated vsize (KiB) 4186020

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

[startup+1722.51 s]
/proc/loadavg: 4.59 2.99 2.36 2/178 31742
/proc/meminfo: memFree=13603192/32873648 swapFree=6864/6864
[pid=31653] ppid=31651 vsize=4186020 CPUtime=1597.34 cores=0,2,4,6
/proc/31653/stat : 31653 (Pueblo) S 31651 31653 29082 0 -1 4204032 158894530 0 0 0 141450 18284 0 0 20 0 1 0 317659209 4286484480 1028256 33554432000 134512640 134579096 4288671312 4288669744 8758320 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/31653/statm: 1046505 1028256 234 17 0 1045811 0
Current children cumulated CPU time (s) 1597.34
Current children cumulated vsize (KiB) 4186020

[startup+1728.9 s]
/proc/loadavg: 4.62 3.02 2.37 2/178 31742
/proc/meminfo: memFree=13603300/32873648 swapFree=6864/6864
[pid=31653] ppid=31651 vsize=4186020 CPUtime=1597.34 cores=0,2,4,6
/proc/31653/stat : 31653 (Pueblo) S 31651 31653 29082 0 -1 4204032 158894530 0 0 0 141450 18284 0 0 20 0 1 0 317659209 4286484480 1028256 33554432000 134512640 134579096 4288671312 4288669744 8758320 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/31653/statm: 1046505 1028256 234 17 0 1045811 0
Current children cumulated CPU time (s) 1597.34
Current children cumulated vsize (KiB) 4186020

[startup+1732.1 s]
/proc/loadavg: 4.65 3.05 2.39 2/178 31742
/proc/meminfo: memFree=13602804/32873648 swapFree=6864/6864
[pid=31653] ppid=31651 vsize=4186020 CPUtime=1597.34 cores=0,2,4,6
/proc/31653/stat : 31653 (Pueblo) S 31651 31653 29082 0 -1 4204032 158894530 0 0 0 141450 18284 0 0 20 0 1 0 317659209 4286484480 1028256 33554432000 134512640 134579096 4288671312 4288669744 8758320 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/31653/statm: 1046505 1028256 234 17 0 1045811 0
Current children cumulated CPU time (s) 1597.34
Current children cumulated vsize (KiB) 4186020

[startup+1733.7 s]
/proc/loadavg: 4.65 3.05 2.39 2/178 31742
/proc/meminfo: memFree=13604540/32873648 swapFree=6864/6864
[pid=31653] ppid=31651 vsize=4186020 CPUtime=1597.34 cores=0,2,4,6
/proc/31653/stat : 31653 (Pueblo) S 31651 31653 29082 0 -1 4204032 158894530 0 0 0 141450 18284 0 0 20 0 1 0 317659209 4286484480 1028256 33554432000 134512640 134579096 4288671312 4288669744 8758320 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/31653/statm: 1046505 1028256 234 17 0 1045811 0
Current children cumulated CPU time (s) 1597.34
Current children cumulated vsize (KiB) 4186020

[startup+1734.1 s]
/proc/loadavg: 4.65 3.05 2.39 2/178 31742
/proc/meminfo: memFree=13604540/32873648 swapFree=6864/6864
[pid=31653] ppid=31651 vsize=4186020 CPUtime=1597.34 cores=0,2,4,6
/proc/31653/stat : 31653 (Pueblo) S 31651 31653 29082 0 -1 4204032 158894530 0 0 0 141450 18284 0 0 20 0 1 0 317659209 4286484480 1028256 33554432000 134512640 134579096 4288671312 4288669744 8758320 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/31653/statm: 1046505 1028256 234 17 0 1045811 0
Current children cumulated CPU time (s) 1597.34
Current children cumulated vsize (KiB) 4186020

[startup+1734.3 s]
/proc/loadavg: 4.65 3.05 2.39 2/178 31742
/proc/meminfo: memFree=13604540/32873648 swapFree=6864/6864
[pid=31653] ppid=31651 vsize=0 CPUtime=1597.44 cores=0,2,4,6
/proc/31653/stat : 31653 (Pueblo) R 31651 31653 29082 0 -1 4204036 158894530 0 0 0 141450 18294 0 0 20 0 1 0 317659209 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/31653/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1597.44
Current children cumulated vsize (KiB) 0

Child ended because it received signal 6 (SIGABRT)
Child dumped core
Real time (s): 1734.33
CPU time (s): 1597.48
CPU user time (s): 1414.51
CPU system time (s): 182.972
CPU usage (%): 92.1096
Max. virtual memory (cumulated for all children) (KiB): 4186020

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1414.51
system time used= 182.972
maximum resident set size= 4113024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 158894530
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= 1022157
involuntary context switches= 1735

runsolver used 2.6076 second user time and 6.86596 second system time

The end

Launcher Data

Begin job on node125 at 2012-06-01 03:48:58
IDJOB=3720900
IDBENCH=90877
IDSOLVER=2305
FILE ID=node125/3720900-1338515337
RUNJOBID= node125-1338506005-29098
PBS_JOBID= 14635766
Free space on /tmp= 70436 MiB

SOLVER NAME= Pueblo 1.4
BENCH NAME= PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_unif_10null20mast_rapportOE1.0_TMAX300_K192_cod2.opb
COMMAND LINE= Pueblo BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3720900-1338515337/watcher-3720900-1338515337 -o /tmp/evaluation-result-3720900-1338515337/solver-3720900-1338515337 -C 1800 -W 1900 -M 15500  Pueblo HOME/instance-3720900-1338515337.opb

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

MD5SUM BENCH= 8d651cc878ba5f8db7c83d3bfed1cb1c
RANDOM SEED=772869788

node125.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.373
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.74
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.373
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.373
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.373
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.90
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.373
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.373
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	: 5438.54
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.373
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.373
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:        26438052 kB
Buffers:          574248 kB
Cached:          4886596 kB
SwapCached:         2312 kB
Active:          2465560 kB
Inactive:        3082536 kB
Active(anon):      78512 kB
Inactive(anon):     9252 kB
Active(file):    2387048 kB
Inactive(file):  3073284 kB
Unevictable:        6864 kB
Mlocked:            6864 kB
SwapTotal:      67108856 kB
SwapFree:       67102520 kB
Dirty:             29916 kB
Writeback:             0 kB
AnonPages:         92336 kB
Mapped:            15212 kB
Shmem:                96 kB
Slab:             750336 kB
SReclaimable:     193996 kB
SUnreclaim:       556340 kB
KernelStack:        1448 kB
PageTables:         4220 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     201776 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     65536 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3720900-1338515337.opb

Free space on /tmp at the end= 66420 MiB
End job on node125 at 2012-06-01 04:17:52