Trace number 3493594

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
PicoMUS 941UNSAT 147.167 147.165

General information on the benchmark

Nameindustrial/babic/xinetd/
xinetd_vc56703.cnf
MD5SUM09053ffc48c8fbc3352a0ce4d89c2bbb
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1.00185
Satisfiable
(Un)Satisfiability was proved
Number of variables110923
Number of clauses286428
Sum of the clauses size694958
Maximum clause length3
Minimum clause length1
Number of clauses of size 113085
Number of clauses of size 2138156
Number of clauses of size 3135187
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c [picomus] WARNING: no output file given
0.00/0.00	c [picomus] p cnf 110923 286428
0.09/0.16	s UNSATISFIABLE
0.09/0.16	c [picomus] extracted core 1 of size 582 out of 286428 (0%) after 0.2 sec
0.19/0.20	c [picomus] extracted core 2 of size 582 out of 286428 (0%) after 0.2 sec
0.19/0.22	c [picomus] extracted core 3 of size 582 out of 286428 (0%) after 0.2 sec
0.19/0.24	c [picomus] extracted core 4 of size 582 out of 286428 (0%) after 0.2 sec
0.19/0.27	c [picomus] extracted core 5 of size 582 out of 286428 (0%) after 0.3 sec
0.19/0.29	c [picomus] extracted core 6 of size 582 out of 286428 (0%) after 0.3 sec
0.29/0.32	c [picomus] extracted core 7 of size 582 out of 286428 (0%) after 0.3 sec
0.29/0.34	c [picomus] extracted core 8 of size 582 out of 286428 (0%) after 0.3 sec
1.39/1.40	c [picomus] reduction 1 to 582 out of 286428 (0%) after 1.4 sec
147.10/147.15	c [picosat] 584 calls
147.10/147.15	c [picosat] 0 iterations
147.10/147.15	c [picosat] 0 restarts
147.10/147.15	c [picosat] 0 failed literals
147.10/147.15	c [picosat] 13 conflicts
147.10/147.15	c [picosat] 230755782 decisions
147.10/147.15	c [picosat] 593 fixed variables
147.10/147.15	c [picosat] 3206 learned literals
147.10/147.15	c [picosat] 0.0% deleted literals
147.10/147.15	c [picosat] 231091510 propagations
147.10/147.15	c [picosat] 0.3% variables used
147.10/147.15	c [picosat] 124.0 seconds in library
147.10/147.15	c [picosat] 1.9 megaprops/second
147.10/147.15	c [picosat] probing 50.2 seconds 40%
147.10/147.15	c [picosat] 582 simplifications
147.10/147.15	c [picosat] 0 reductions
147.10/147.15	c [picosat] 0.0 MB recycled
147.10/147.15	c [picosat] 28.0 MB maximally allocated
147.10/147.15	c [picomus] found 285846 redundant clauses 100%
147.10/147.15	c [picomus] computed MUS of size 582 out of 286428 (0%)
147.10/147.15	v 13085
147.10/147.15	v 195261
147.10/147.15	v 195263
147.10/147.15	v 195265
147.10/147.15	v 195267
147.10/147.15	v 195269
147.10/147.15	v 195271
147.10/147.15	v 195279
147.10/147.15	v 195281
147.10/147.15	v 195282
147.10/147.15	v 195284
147.10/147.15	v 195285
147.10/147.15	v 195287
147.10/147.15	v 195288
147.10/147.15	v 195290
147.10/147.15	v 195291
147.10/147.15	v 195293
147.10/147.15	v 195294
147.10/147.15	v 195295
147.10/147.15	v 195755
147.10/147.15	v 195758
147.10/147.15	v 195763
147.10/147.15	v 195766
147.10/147.15	v 195771
147.10/147.15	v 195775
147.10/147.15	v 195783
147.10/147.15	v 195801
147.10/147.15	v 195803
147.10/147.15	v 195806
147.10/147.15	v 195809
147.10/147.15	v 195812
147.10/147.15	v 195815
147.10/147.15	v 195817
147.10/147.15	v 195929
147.10/147.15	v 195934
147.10/147.15	v 195937
147.10/147.15	v 195942
147.10/147.15	v 195946
147.10/147.15	v 195961
147.10/147.15	v 195966
147.10/147.15	v 195969
147.10/147.15	v 195974
147.10/147.15	v 195978
147.10/147.15	v 195992
147.10/147.15	v 196014
147.10/147.15	v 196016
147.10/147.15	v 196018
147.10/147.15	v 196363
147.10/147.15	v 196368
147.10/147.15	v 196371
147.10/147.15	v 196376
147.10/147.15	v 196380
147.10/147.15	v 196394
147.10/147.15	v 196416
147.10/147.15	v 196418
147.10/147.15	v 196420
147.10/147.15	v 196628
147.10/147.15	v 196633
147.10/147.15	v 196636
147.10/147.15	v 196641
147.10/147.15	v 196645
147.10/147.15	v 196653
147.10/147.15	v 196654
147.10/147.15	v 196657
147.10/147.15	v 196658
147.10/147.15	v 196660
147.10/147.15	v 196662
147.10/147.15	v 196664
147.10/147.15	v 196666
147.10/147.15	v 196668
147.10/147.15	v 196670
147.10/147.15	v 196672
147.10/147.15	v 196674
147.10/147.15	v 196676
147.10/147.15	v 196678
147.10/147.15	v 196680
147.10/147.15	v 196682
147.10/147.15	v 196684
147.10/147.15	v 196686
147.10/147.15	v 196688
147.10/147.15	v 196690
147.10/147.15	v 196692
147.10/147.15	v 196694
147.10/147.15	v 196696
147.10/147.15	v 196698
147.10/147.15	v 196700
147.10/147.15	v 196702
147.10/147.15	v 196704
147.10/147.15	v 196706
147.10/147.15	v 196708
147.10/147.15	v 196786
147.10/147.15	v 196789
147.10/147.15	v 196791
147.10/147.15	v 196800
147.10/147.15	v 196803
147.10/147.15	v 196804
147.10/147.15	v 196814
147.10/147.15	v 196817
147.10/147.15	v 196818
147.10/147.15	v 196828
147.10/147.15	v 196831
147.10/147.15	v 196832
147.10/147.15	v 196842
147.10/147.15	v 196845
147.10/147.15	v 196846
147.10/147.15	v 196856
147.10/147.15	v 196859
147.10/147.15	v 196860
147.10/147.15	v 196870
147.10/147.15	v 196873
147.10/147.15	v 196874
147.10/147.15	v 196884
147.10/147.15	v 196887
147.10/147.15	v 196888
147.10/147.15	v 196898
147.10/147.15	v 196901
147.10/147.15	v 196902
147.10/147.15	v 196912
147.10/147.15	v 196915
147.10/147.15	v 196916
147.10/147.15	v 196926
147.10/147.15	v 196929
147.10/147.15	v 196930
147.10/147.15	v 196940
147.10/147.15	v 196943
147.10/147.15	v 196944
147.10/147.15	v 196954
147.10/147.15	v 196957
147.10/147.15	v 196958
147.10/147.15	v 196968
147.10/147.15	v 196971
147.10/147.15	v 196972
147.10/147.15	v 196982
147.10/147.15	v 196985
147.10/147.15	v 196986
147.10/147.15	v 196996
147.10/147.15	v 196999
147.10/147.15	v 197000
147.10/147.15	v 197010
147.10/147.15	v 197013
147.10/147.15	v 197014
147.10/147.15	v 197024
147.10/147.15	v 197027
147.10/147.15	v 197028
147.10/147.15	v 197038
147.10/147.15	v 197041
147.10/147.15	v 197042
147.10/147.15	v 197052
147.10/147.15	v 197055
147.10/147.15	v 197056
147.10/147.15	v 197066
147.10/147.15	v 197069
147.10/147.15	v 197070
147.10/147.15	v 197080
147.10/147.15	v 197083
147.10/147.15	v 197084
147.10/147.15	v 197094
147.10/147.15	v 197097
147.10/147.15	v 197098
147.10/147.15	v 197108
147.10/147.15	v 197111
147.10/147.15	v 197112
147.10/147.15	v 197122
147.10/147.15	v 197125
147.10/147.15	v 197126
147.10/147.15	v 197136
147.10/147.15	v 197139
147.10/147.15	v 197140
147.10/147.15	v 197147
147.10/147.15	v 197227
147.10/147.15	v 197230
147.10/147.15	v 197232
147.10/147.15	v 197241
147.10/147.15	v 197244
147.10/147.15	v 197245
147.10/147.15	v 197255
147.10/147.15	v 197258
147.10/147.15	v 197259
147.10/147.15	v 197269
147.10/147.15	v 197272
147.10/147.15	v 197273
147.10/147.15	v 197283
147.10/147.15	v 197286
147.10/147.15	v 197287
147.10/147.15	v 197297
147.10/147.15	v 197300
147.10/147.15	v 197301
147.10/147.15	v 197311
147.10/147.15	v 197314
147.10/147.15	v 197315
147.10/147.15	v 197325
147.10/147.15	v 197328
147.10/147.15	v 197329
147.10/147.15	v 197339
147.10/147.15	v 197342
147.10/147.15	v 197343
147.10/147.15	v 197353
147.10/147.15	v 197356
147.10/147.15	v 197357
147.10/147.15	v 197367
147.10/147.15	v 197370
147.10/147.15	v 197371
147.10/147.15	v 197381
147.10/147.15	v 197384
147.10/147.15	v 197385
147.10/147.15	v 197395
147.10/147.15	v 197398
147.10/147.15	v 197399
147.10/147.15	v 197409
147.10/147.15	v 197412
147.10/147.15	v 197413
147.10/147.15	v 197423
147.10/147.15	v 197426
147.10/147.15	v 197427
147.10/147.15	v 197437
147.10/147.15	v 197440
147.10/147.15	v 197441
147.10/147.15	v 197451
147.10/147.15	v 197454
147.10/147.15	v 197455
147.10/147.15	v 197465
147.10/147.15	v 197468
147.10/147.15	v 197469
147.10/147.15	v 197479
147.10/147.15	v 197482
147.10/147.15	v 197483
147.10/147.15	v 197493
147.10/147.15	v 197496
147.10/147.15	v 197497
147.10/147.15	v 197507
147.10/147.15	v 197510
147.10/147.15	v 197511
147.10/147.15	v 197521
147.10/147.15	v 197524
147.10/147.15	v 197525
147.10/147.15	v 197535
147.10/147.15	v 197538
147.10/147.15	v 197539
147.10/147.15	v 197549
147.10/147.15	v 197552
147.10/147.15	v 197553
147.10/147.15	v 197563
147.10/147.15	v 197566
147.10/147.15	v 197567
147.10/147.15	v 197577
147.10/147.15	v 197580
147.10/147.15	v 197581
147.10/147.15	v 197588
147.10/147.15	v 197668
147.10/147.15	v 197671
147.10/147.15	v 197673
147.10/147.15	v 197682
147.10/147.15	v 197685
147.10/147.15	v 197686
147.10/147.15	v 197696
147.10/147.15	v 197699
147.10/147.15	v 197700
147.10/147.15	v 197710
147.10/147.15	v 197713
147.10/147.15	v 197714
147.10/147.15	v 197724
147.10/147.15	v 197727
147.10/147.15	v 197728
147.10/147.15	v 197738
147.10/147.15	v 197741
147.10/147.15	v 197742
147.10/147.15	v 197752
147.10/147.15	v 197755
147.10/147.15	v 197756
147.10/147.15	v 197766
147.10/147.15	v 197769
147.10/147.15	v 197770
147.10/147.15	v 197780
147.10/147.15	v 197783
147.10/147.15	v 197784
147.10/147.15	v 197794
147.10/147.15	v 197797
147.10/147.15	v 197798
147.10/147.15	v 197808
147.10/147.15	v 197811
147.10/147.15	v 197812
147.10/147.15	v 197822
147.10/147.15	v 197825
147.10/147.15	v 197826
147.10/147.15	v 197836
147.10/147.15	v 197839
147.10/147.15	v 197840
147.10/147.15	v 197850
147.10/147.15	v 197853
147.10/147.15	v 197854
147.10/147.15	v 197864
147.10/147.15	v 197867
147.10/147.15	v 197868
147.10/147.15	v 197878
147.10/147.15	v 197881
147.10/147.15	v 197882
147.10/147.15	v 197892
147.10/147.15	v 197895
147.10/147.15	v 197896
147.10/147.15	v 197906
147.10/147.15	v 197909
147.10/147.15	v 197910
147.10/147.15	v 197920
147.10/147.15	v 197923
147.10/147.15	v 197924
147.10/147.15	v 197934
147.10/147.15	v 197937
147.10/147.15	v 197938
147.10/147.15	v 197948
147.10/147.15	v 197951
147.10/147.15	v 197952
147.10/147.15	v 197962
147.10/147.15	v 197965
147.10/147.15	v 197966
147.10/147.15	v 197976
147.10/147.15	v 197979
147.10/147.15	v 197980
147.10/147.15	v 197990
147.10/147.15	v 197993
147.10/147.15	v 197994
147.10/147.15	v 198004
147.10/147.15	v 198007
147.10/147.15	v 198008
147.10/147.15	v 198018
147.10/147.15	v 198021
147.10/147.15	v 198022
147.10/147.15	v 198029
147.10/147.15	v 198068
147.10/147.15	v 198075
147.10/147.15	v 198080
147.10/147.15	v 198084
147.10/147.15	v 198088
147.10/147.15	v 198094
147.10/147.15	v 198097
147.10/147.15	v 198101
147.10/147.15	v 198106
147.10/147.15	v 198110
147.10/147.15	v 198114
147.10/147.15	v 198120
147.10/147.15	v 198124
147.10/147.15	v 198128
147.10/147.15	v 198134
147.10/147.15	v 198138
147.10/147.15	v 198142
147.10/147.15	v 198148
147.10/147.15	v 198152
147.10/147.15	v 198156
147.10/147.15	v 198162
147.10/147.15	v 198166
147.10/147.15	v 198170
147.10/147.15	v 198176
147.10/147.15	v 198180
147.10/147.15	v 198184
147.10/147.15	v 198190
147.10/147.15	v 198194
147.10/147.15	v 198198
147.10/147.15	v 198204
147.10/147.15	v 198208
147.10/147.15	v 198212
147.10/147.15	v 198218
147.10/147.15	v 198222
147.10/147.15	v 198226
147.10/147.15	v 198232
147.10/147.15	v 198236
147.10/147.15	v 198240
147.10/147.15	v 198246
147.10/147.15	v 198250
147.10/147.15	v 198254
147.10/147.15	v 198260
147.10/147.15	v 198264
147.10/147.15	v 198268
147.10/147.15	v 198274
147.10/147.15	v 198278
147.10/147.15	v 198282
147.10/147.15	v 198288
147.10/147.15	v 198292
147.10/147.15	v 198296
147.10/147.15	v 198302
147.10/147.15	v 198306
147.10/147.15	v 198310
147.10/147.15	v 198316
147.10/147.15	v 198320
147.10/147.15	v 198324
147.10/147.15	v 198330
147.10/147.15	v 198334
147.10/147.15	v 198338
147.10/147.15	v 198344
147.10/147.15	v 198348
147.10/147.15	v 198352
147.10/147.15	v 198358
147.10/147.15	v 198362
147.10/147.15	v 198366
147.10/147.15	v 198372
147.10/147.15	v 198376
147.10/147.15	v 198380
147.10/147.15	v 198386
147.10/147.15	v 198390
147.10/147.15	v 198394
147.10/147.15	v 198400
147.10/147.15	v 198404
147.10/147.15	v 198408
147.10/147.15	v 198414
147.10/147.15	v 198418
147.10/147.15	v 198422
147.10/147.15	v 198428
147.10/147.15	v 198432
147.10/147.15	v 198436
147.10/147.15	v 198442
147.10/147.15	v 198446
147.10/147.15	v 198450
147.10/147.15	v 198456
147.10/147.15	v 198460
147.10/147.15	v 198464
147.10/147.15	v 198471
147.10/147.15	v 213003
147.10/147.15	v 213070
147.10/147.15	v 213072
147.10/147.15	v 213075
147.10/147.15	v 213078
147.10/147.15	v 213081
147.10/147.15	v 213084
147.10/147.15	v 213087
147.10/147.15	v 213090
147.10/147.15	v 213093
147.10/147.15	v 213096
147.10/147.15	v 213099
147.10/147.15	v 213102
147.10/147.15	v 213105
147.10/147.15	v 213108
147.10/147.15	v 213111
147.10/147.15	v 213114
147.10/147.15	v 213117
147.10/147.15	v 213120
147.10/147.15	v 213123
147.10/147.15	v 213126
147.10/147.15	v 213129
147.10/147.15	v 213132
147.10/147.15	v 213135
147.10/147.15	v 213138
147.10/147.15	v 213141
147.10/147.15	v 213144
147.10/147.15	v 213147
147.10/147.15	v 213150
147.10/147.15	v 213153
147.10/147.15	v 213155
147.10/147.15	v 258893
147.10/147.15	v 258987
147.10/147.15	v 258989
147.10/147.15	v 259083
147.10/147.15	v 259084
147.10/147.15	v 259959
147.10/147.15	v 259962
147.10/147.15	v 260055
147.10/147.15	v 260057
147.10/147.15	v 260149
147.10/147.15	v 260152
147.10/147.15	v 261558
147.10/147.15	v 261561
147.10/147.15	v 263158
147.10/147.15	v 263161
147.10/147.15	v 268484
147.10/147.15	v 268487
147.10/147.15	v 268739
147.10/147.15	v 268746
147.10/147.15	v 269443
147.10/147.15	v 269445
147.10/147.15	v 283316
147.10/147.15	v 283318
147.10/147.15	v 283444
147.10/147.15	v 283446
147.10/147.15	v 283447
147.10/147.15	v 283449
147.10/147.15	v 283452
147.10/147.15	v 283455
147.10/147.15	v 283458
147.10/147.15	v 283461
147.10/147.15	v 283464
147.10/147.15	v 283467
147.10/147.15	v 283470
147.10/147.15	v 283473
147.10/147.15	v 283476
147.10/147.15	v 283479
147.10/147.15	v 283482
147.10/147.15	v 283485
147.10/147.15	v 283488
147.10/147.15	v 283491
147.10/147.15	v 283494
147.10/147.15	v 283497
147.10/147.15	v 283500
147.10/147.15	v 283503
147.10/147.15	v 283506
147.10/147.15	v 283509
147.10/147.15	v 283512
147.10/147.15	v 283515
147.10/147.15	v 283518
147.10/147.15	v 283521
147.10/147.15	v 283524
147.10/147.15	v 283527
147.10/147.15	v 283530
147.10/147.15	v 283533
147.10/147.15	v 283536
147.10/147.15	v 283539
147.10/147.15	v 283542
147.10/147.15	v 283545
147.10/147.15	v 283548
147.10/147.15	v 283551
147.10/147.15	v 283554
147.10/147.15	v 283557
147.10/147.15	v 283560
147.10/147.15	v 283563
147.10/147.15	v 283566
147.10/147.15	v 283569
147.10/147.15	v 283572
147.10/147.15	v 283575
147.10/147.15	v 283578
147.10/147.15	v 283581
147.10/147.15	v 283584
147.10/147.15	v 283587
147.10/147.15	v 283590
147.10/147.15	v 283593
147.10/147.15	v 283596
147.10/147.15	v 283599
147.10/147.15	v 283602
147.10/147.15	v 283605
147.10/147.15	v 283608
147.10/147.15	v 283611
147.10/147.15	v 283614
147.10/147.15	v 283617
147.10/147.15	v 283620
147.10/147.15	v 283623
147.10/147.15	v 283626
147.10/147.15	v 283629
147.10/147.15	v 283632
147.10/147.15	v 283634
147.10/147.15	v 283638
147.10/147.15	v 283640
147.10/147.15	v 283643
147.10/147.15	v 283707
147.10/147.15	v 283709
147.10/147.15	v 283712
147.10/147.15	v 283715
147.10/147.15	v 283718
147.10/147.15	v 283721
147.10/147.15	v 283724
147.10/147.15	v 283727
147.10/147.15	v 283730
147.10/147.15	v 283733
147.10/147.15	v 283736
147.10/147.15	v 283739
147.10/147.15	v 283742
147.10/147.15	v 283745
147.10/147.15	v 283748
147.10/147.15	v 283751
147.10/147.15	v 283754
147.10/147.15	v 283757
147.10/147.15	v 283760
147.10/147.15	v 283763
147.10/147.15	v 283766
147.10/147.15	v 283769
147.10/147.15	v 283772
147.10/147.15	v 283775
147.10/147.15	v 283778
147.10/147.15	v 283781
147.10/147.15	v 283784
147.10/147.15	v 283787
147.10/147.15	v 283790
147.10/147.15	v 283793
147.10/147.15	v 283796
147.10/147.15	v 283799
147.10/147.15	v 283801
147.10/147.15	v 283804
147.10/147.15	v 283805
147.10/147.15	v 285983
147.10/147.15	v 285986
147.10/147.15	v 285989
147.10/147.15	v 285991
147.10/147.15	v 285994
147.10/147.15	v 285997
147.10/147.15	v 286000
147.10/147.15	v 286420
147.10/147.15	v 286424
147.10/147.15	v 286427
147.10/147.15	v 0
147.10/147.15	c [picomus] computed 582 irredundant clauses 0%
147.10/147.16	c [picomus] 1 reductions in 147.2 seconds

Verifier Data 

OK	582

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 988)

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-3493594-1307800712/watcher-3493594-1307800712 -o /tmp/evaluation-result-3493594-1307800712/solver-3493594-1307800712 -C 1800 -W 1850 -M 7680 picomus HOME/instance-3493594-1307800712.cnf 

running on 2 cores: 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): 1850 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.59 2.61 2.85 1/171 24439
/proc/meminfo: memFree=31563884/32950928 swapFree=67050648/67111528
[pid=24439] ppid=24437 vsize=4548 CPUtime=0 cores=5,7
/proc/24439/stat : 24439 (picomus) R 24437 24439 23549 0 -1 4202496 316 0 0 0 0 0 0 0 25 0 1 0 891669938 4657152 271 33554432000 134512640 135072097 4292655696 18446744073709551615 134705502 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24439/statm: 1137 273 53 137 0 998 0

[startup+0.0275241 s]
/proc/loadavg: 1.59 2.61 2.85 1/171 24439
/proc/meminfo: memFree=31563884/32950928 swapFree=67050648/67111528
[pid=24439] ppid=24437 vsize=5868 CPUtime=0.02 cores=5,7
/proc/24439/stat : 24439 (picomus) R 24437 24439 23549 0 -1 4202496 847 0 0 0 2 0 0 0 25 0 1 0 891669938 6008832 802 33554432000 134512640 135072097 4292655696 18446744073709551615 134684699 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24439/statm: 1467 802 53 137 0 1328 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5868

[startup+0.100516 s]
/proc/loadavg: 1.59 2.61 2.85 1/171 24439
/proc/meminfo: memFree=31563884/32950928 swapFree=67050648/67111528
[pid=24439] ppid=24437 vsize=17260 CPUtime=0.09 cores=5,7
/proc/24439/stat : 24439 (picomus) R 24437 24439 23549 0 -1 4202496 4178 0 0 0 9 0 0 0 25 0 1 0 891669938 17674240 4069 33554432000 134512640 135072097 4292655696 18446744073709551615 134684699 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24439/statm: 4315 4070 61 137 0 4176 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17260

[startup+0.300479 s]
/proc/loadavg: 1.59 2.61 2.85 1/171 24439
/proc/meminfo: memFree=31563884/32950928 swapFree=67050648/67111528
[pid=24439] ppid=24437 vsize=11788 CPUtime=0.29 cores=5,7
/proc/24439/stat : 24439 (picomus) R 24437 24439 23549 0 -1 4202496 15471 0 0 0 27 2 0 0 25 0 1 0 891669938 12070912 2811 33554432000 134512640 135072097 4292655696 18446744073709551615 134700015 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24439/statm: 2947 2813 70 137 0 2808 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11788

[startup+0.700409 s]
/proc/loadavg: 1.59 2.61 2.85 1/171 24439
/proc/meminfo: memFree=31563884/32950928 swapFree=67050648/67111528
[pid=24439] ppid=24437 vsize=36236 CPUtime=0.69 cores=5,7
/proc/24439/stat : 24439 (picomus) R 24437 24439 23549 0 -1 4202496 25228 0 0 0 66 3 0 0 25 0 1 0 891669938 37105664 7865 33554432000 134512640 135072097 4292655696 18446744073709551615 134536664 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24439/statm: 9059 7865 75 137 0 8920 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 36236

[startup+1.50028 s]
/proc/loadavg: 1.59 2.61 2.85 2/172 24440
/proc/meminfo: memFree=31532784/32950928 swapFree=67050648/67111528
[pid=24439] ppid=24437 vsize=38532 CPUtime=1.49 cores=5,7
/proc/24439/stat : 24439 (picomus) R 24437 24439 23549 0 -1 4202496 25575 0 0 0 146 3 0 0 25 0 1 0 891669938 39456768 8212 33554432000 134512640 135072097 4292655696 18446744073709551615 134520114 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24439/statm: 9633 8212 77 137 0 9494 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 38532

[startup+3.10101 s]
/proc/loadavg: 1.59 2.61 2.85 2/172 24440
/proc/meminfo: memFree=31530676/32950928 swapFree=67050648/67111528
[pid=24439] ppid=24437 vsize=38532 CPUtime=3.09 cores=5,7
/proc/24439/stat : 24439 (picomus) R 24437 24439 23549 0 -1 4202496 25664 0 0 0 306 3 0 0 25 0 1 0 891669938 39456768 8301 33554432000 134512640 135072097 4292655696 18446744073709551615 134567990 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24439/statm: 9633 8301 77 137 0 9494 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 38532

[startup+6.30047 s]
/proc/loadavg: 1.55 2.58 2.84 2/172 24440
/proc/meminfo: memFree=31530436/32950928 swapFree=67050648/67111528
[pid=24439] ppid=24437 vsize=38532 CPUtime=6.29 cores=5,7
/proc/24439/stat : 24439 (picomus) R 24437 24439 23549 0 -1 4202496 25664 0 0 0 626 3 0 0 25 0 1 0 891669938 39456768 8301 33554432000 134512640 135072097 4292655696 18446744073709551615 134548980 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24439/statm: 9633 8301 77 137 0 9494 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 38532

[startup+12.7004 s]
/proc/loadavg: 1.50 2.56 2.83 2/172 24440
/proc/meminfo: memFree=31530684/32950928 swapFree=67050648/67111528
[pid=24439] ppid=24437 vsize=38532 CPUtime=12.69 cores=5,7
/proc/24439/stat : 24439 (picomus) R 24437 24439 23549 0 -1 4202496 25664 0 0 0 1266 3 0 0 25 0 1 0 891669938 39456768 8301 33554432000 134512640 135072097 4292655696 18446744073709551615 134518179 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24439/statm: 9633 8301 77 137 0 9494 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 38532

[startup+25.5002 s]
/proc/loadavg: 1.39 2.48 2.80 2/172 24441
/proc/meminfo: memFree=31530692/32950928 swapFree=67050648/67111528
[pid=24439] ppid=24437 vsize=38532 CPUtime=25.49 cores=5,7
/proc/24439/stat : 24439 (picomus) R 24437 24439 23549 0 -1 4202496 25664 0 0 0 2546 3 0 0 25 0 1 0 891669938 39456768 8301 33554432000 134512640 135072097 4292655696 18446744073709551615 134584047 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24439/statm: 9633 8301 77 137 0 9494 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 38532

[startup+51.1009 s]
/proc/loadavg: 1.26 2.36 2.75 2/172 24442
/proc/meminfo: memFree=31530700/32950928 swapFree=67050648/67111528
[pid=24439] ppid=24437 vsize=38532 CPUtime=51.09 cores=5,7
/proc/24439/stat : 24439 (picomus) R 24437 24439 23549 0 -1 4202496 25664 0 0 0 5106 3 0 0 25 0 1 0 891669938 39456768 8301 33554432000 134512640 135072097 4292655696 18446744073709551615 134584035 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24439/statm: 9633 8301 77 137 0 9494 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 38532

[startup+102.306 s]
/proc/loadavg: 1.11 2.15 2.65 2/172 24443
/proc/meminfo: memFree=31530672/32950928 swapFree=67050648/67111528
[pid=24439] ppid=24437 vsize=38532 CPUtime=102.3 cores=5,7
/proc/24439/stat : 24439 (picomus) R 24437 24439 23549 0 -1 4202496 25664 0 0 0 10226 4 0 0 25 0 1 0 891669938 39456768 8301 33554432000 134512640 135072097 4292655696 18446744073709551615 134518236 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24439/statm: 9633 8301 77 137 0 9494 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 38532

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

[startup+127.901 s]
/proc/loadavg: 1.13 2.07 2.61 2/172 24444
/proc/meminfo: memFree=31530652/32950928 swapFree=67050648/67111528
[pid=24439] ppid=24437 vsize=38532 CPUtime=127.9 cores=5,7
/proc/24439/stat : 24439 (picomus) R 24437 24439 23549 0 -1 4202496 25664 0 0 0 12786 4 0 0 25 0 1 0 891669938 39456768 8301 33554432000 134512640 135072097 4292655696 18446744073709551615 134549003 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24439/statm: 9633 8301 77 137 0 9494 0
Current children cumulated CPU time (s) 127.9
Current children cumulated vsize (KiB) 38532

[startup+140.701 s]
/proc/loadavg: 1.10 2.02 2.59 2/172 24444
/proc/meminfo: memFree=31530652/32950928 swapFree=67050648/67111528
[pid=24439] ppid=24437 vsize=38532 CPUtime=140.7 cores=5,7
/proc/24439/stat : 24439 (picomus) R 24437 24439 23549 0 -1 4202496 25664 0 0 0 14066 4 0 0 25 0 1 0 891669938 39456768 8301 33554432000 134512640 135072097 4292655696 18446744073709551615 134566793 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24439/statm: 9633 8301 77 137 0 9494 0
Current children cumulated CPU time (s) 140.7
Current children cumulated vsize (KiB) 38532

[startup+143.9 s]
/proc/loadavg: 1.10 2.02 2.59 2/172 24444
/proc/meminfo: memFree=31530652/32950928 swapFree=67050648/67111528
[pid=24439] ppid=24437 vsize=38532 CPUtime=143.9 cores=5,7
/proc/24439/stat : 24439 (picomus) R 24437 24439 23549 0 -1 4202496 25664 0 0 0 14386 4 0 0 25 0 1 0 891669938 39456768 8301 33554432000 134512640 135072097 4292655696 18446744073709551615 134548955 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24439/statm: 9633 8301 77 137 0 9494 0
Current children cumulated CPU time (s) 143.9
Current children cumulated vsize (KiB) 38532

[startup+145.501 s]
/proc/loadavg: 1.10 2.00 2.58 2/172 24444
/proc/meminfo: memFree=31530652/32950928 swapFree=67050648/67111528
[pid=24439] ppid=24437 vsize=38532 CPUtime=145.5 cores=5,7
/proc/24439/stat : 24439 (picomus) R 24437 24439 23549 0 -1 4202496 25664 0 0 0 14546 4 0 0 25 0 1 0 891669938 39456768 8301 33554432000 134512640 135072097 4292655696 18446744073709551615 134584039 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24439/statm: 9633 8301 77 137 0 9494 0
Current children cumulated CPU time (s) 145.5
Current children cumulated vsize (KiB) 38532

[startup+146.306 s]
/proc/loadavg: 1.10 2.00 2.58 2/172 24444
/proc/meminfo: memFree=31530652/32950928 swapFree=67050648/67111528
[pid=24439] ppid=24437 vsize=38532 CPUtime=146.3 cores=5,7
/proc/24439/stat : 24439 (picomus) R 24437 24439 23549 0 -1 4202496 25664 0 0 0 14626 4 0 0 25 0 1 0 891669938 39456768 8301 33554432000 134512640 135072097 4292655696 18446744073709551615 134583507 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24439/statm: 9633 8301 77 137 0 9494 0
Current children cumulated CPU time (s) 146.3
Current children cumulated vsize (KiB) 38532

[startup+146.701 s]
/proc/loadavg: 1.10 2.00 2.58 2/172 24444
/proc/meminfo: memFree=31530652/32950928 swapFree=67050648/67111528
[pid=24439] ppid=24437 vsize=38532 CPUtime=146.7 cores=5,7
/proc/24439/stat : 24439 (picomus) R 24437 24439 23549 0 -1 4202496 25664 0 0 0 14666 4 0 0 25 0 1 0 891669938 39456768 8301 33554432000 134512640 135072097 4292655696 18446744073709551615 134562113 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24439/statm: 9633 8301 77 137 0 9494 0
Current children cumulated CPU time (s) 146.7
Current children cumulated vsize (KiB) 38532

[startup+147.101 s]
/proc/loadavg: 1.10 2.00 2.58 2/172 24444
/proc/meminfo: memFree=31530652/32950928 swapFree=67050648/67111528
[pid=24439] ppid=24437 vsize=38532 CPUtime=147.1 cores=5,7
/proc/24439/stat : 24439 (picomus) R 24437 24439 23549 0 -1 4202496 25664 0 0 0 14706 4 0 0 25 0 1 0 891669938 39456768 8301 33554432000 134512640 135072097 4292655696 18446744073709551615 134584017 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24439/statm: 9633 8301 77 137 0 9494 0
Current children cumulated CPU time (s) 147.1
Current children cumulated vsize (KiB) 38532

Child status: 20
Real time (s): 147.165
CPU time (s): 147.167
CPU user time (s): 147.124
CPU system time (s): 0.042993
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 38532

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 147.124
system time used= 0.042993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25665
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= 4
involuntary context switches= 253

runsolver used 0.176973 second user time and 0.495924 second system time

The end

Launcher Data 

Begin job on node126 at 2011-06-11 15:58:32
IDJOB=3493594
IDBENCH=20516
IDSOLVER=1974
FILE ID=node126/3493594-1307800712
RUNJOBID= node126-1307798837-24069
PBS_JOBID= 13551024
Free space on /tmp= 74164 MiB

SOLVER NAME= PicoMUS 941
BENCH NAME= SAT07/industrial/babic/xinetd/xinetd_vc56703.cnf
COMMAND LINE= picomus BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3493594-1307800712/watcher-3493594-1307800712 -o /tmp/evaluation-result-3493594-1307800712/solver-3493594-1307800712 -C 1800 -W 1850 -M 7680  picomus HOME/instance-3493594-1307800712.cnf

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= 09053ffc48c8fbc3352a0ce4d89c2bbb
RANDOM SEED=691166016

node126.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.783
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.783
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.783
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.783
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.783
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.80
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.783
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.783
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.783
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      31564436 kB
Buffers:        293504 kB
Cached:         874152 kB
SwapCached:      14888 kB
Active:         485620 kB
Inactive:       701504 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31564436 kB
SwapTotal:    67111528 kB
SwapFree:     67050648 kB
Dirty:            5448 kB
Writeback:           0 kB
AnonPages:       17196 kB
Mapped:           8892 kB
Slab:           133840 kB
PageTables:       4008 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   193004 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74164 MiB
End job on node126 at 2011-06-11 16:01:00