Trace number 424345

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, and are wall clock time (not CPU 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
KCNFS 2004SAT 3957.58 3959.02

General information on the benchmark

Namerandom/2+p/p0.9/v990/
unif2p-p0.9-v990-c3583-S218623752-19-SAT.cnf
MD5SUM202e2057dc8114964b5b3ec133b76d59
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.060989
Satisfiable
(Un)Satisfiability was proved
Number of variables990
Number of clauses3582
Sum of the clauses size10388
Maximum clause length3
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2358
Number of clauses of size 33224
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data (download as text)

0.00/0.00	
0.00/0.01	c Computed by /tmp/evaluation/424345-1177799573/kcnfs-2004   V. 03/02/12
0.00/0.01	c Input file : '/tmp/evaluation/424345-1177799573/instance-424345-1177799573.cnf'
3957.55/3959.02	c [990 variables, 3582 clauses, ratio 3.62, mean occ 5, 3-SAT]
3957.55/3959.02	s SATISFIABLE
3957.55/3959.02	v   -98   222   223  -283   742
3957.55/3959.02	v   752   966   968   596  -883
3957.55/3959.02	v  -414   -77   945  -813  -822
3957.55/3959.02	v   653    50   665   -25  -628
3957.55/3959.02	v   758    83  -311    28   178
3957.55/3959.02	v  -661  -986   -67  -263    31
3957.55/3959.02	v   933  -761  -587   239   244
3957.55/3959.02	v   238   696   -53  -659  -295
3957.55/3959.02	v  -748   828  -198  -233  -700
3957.55/3959.02	v  -637    93   919  -579  -591
3957.55/3959.02	v  -467  -934  -786  -364   336
3957.55/3959.02	v  -320   260    96  -245   615
3957.55/3959.02	v   -72  -208   688  -925  -459
3957.55/3959.02	v  -175   368    37   641  -881
3957.55/3959.02	v   957   196  -750   889  -524
3957.55/3959.02	v  -355   843  -882  -866  -539
3957.55/3959.02	v  -592  -965   142  -827  -220
3957.55/3959.02	v  -819   598  -760  -979  -197
3957.55/3959.02	v   351  -930  -900  -418  -171
3957.55/3959.02	v  -590    19  -344  -634   275
3957.55/3959.02	v   195  -961   411  -120   -87
3957.55/3959.02	v   610    -8  -572  -744   307
3957.55/3959.02	v  -622   -10   187     3   188
3957.55/3959.02	v   708   642  -258  -326   683
3957.55/3959.02	v   444   802   217   289  -781
3957.55/3959.02	v  -383  -594   976   479   705
3957.55/3959.02	v   111  -308   632   -29  -469
3957.55/3959.02	v   218  -393   518  -530  -738
3957.55/3959.02	v   376  -139   547   210   607
3957.55/3959.02	v  -410   273   747   706  -350
3957.55/3959.02	v  -850   183   456  -395   272
3957.55/3959.02	v  -190   709  -970  -609   361
3957.55/3959.02	v  -390  -702   859  -102   898
3957.55/3959.02	v   963   333  -491  -427   917
3957.55/3959.02	v   304   363   136  -398   601
3957.55/3959.02	v  -949  -621   357   831  -655
3957.55/3959.02	v    66   629  -153   536  -145
3957.55/3959.02	v  -186  -490   794   837  -559
3957.55/3959.02	v  -682   765  -423   903  -783
3957.55/3959.02	v   571  -215   115  -297  -473
3957.55/3959.02	v   476   918   771   302    84
3957.55/3959.02	v  -135  -864   868  -132   811
3957.55/3959.02	v   -42   -23   735  -884  -237
3957.55/3959.02	v  -805   483   562  -644  -578
3957.55/3959.02	v   464   612   521   858  -841
3957.55/3959.02	v  -117    -7   955  -956   907
3957.55/3959.02	v   252   550   566   -68   298
3957.55/3959.02	v   103   558    15    55   686
3957.55/3959.02	v  -577   885  -804   778   636
3957.55/3959.02	v  -173   606  -497     5  -216
3957.55/3959.02	v  -300  -817   749   251   369
3957.55/3959.02	v   967   586  -148   416  -144
3957.55/3959.02	v  -482   520  -692   915   131
3957.55/3959.02	v   -32  -720   984  -181  -741
3957.55/3959.02	v  -489   597   296  -762   879
3957.55/3959.02	v  -477  -475  -767   426  -533
3957.55/3959.02	v   428    76   339   626  -846
3957.55/3959.02	v   227  -789   471   603   561
3957.55/3959.02	v   719  -226     6  -857   -12
3957.55/3959.02	v    30   327   -47  -647   588
3957.55/3959.02	v    61  -569   651   654   209
3957.55/3959.02	v   -79  -176   240   281   936
3957.55/3959.02	v   342   425   431  -474   640
3957.55/3959.02	v  -920  -358    59  -855  -946
3957.55/3959.02	v  -388   544  -777  -848   163
3957.55/3959.02	v   684  -902   164   534   405
3957.55/3959.02	v   454   442  -729   964     4
3957.55/3959.02	v   515   703   -36  -291    69
3957.55/3959.02	v  -403    70  -261   316  -795
3957.55/3959.02	v   381  -928  -470  -391   648
3957.55/3959.02	v   835   715  -522   472   -20
3957.55/3959.02	v   754  -582  -892  -104   969
3957.55/3959.02	v  -152  -791   382  -769    73
3957.55/3959.02	v  -397   -40   353   978  -605
3957.55/3959.02	v  -826  -617  -212   412   265
3957.55/3959.02	v   462   973  -667   668   563
3957.55/3959.02	v  -177  -943  -179   329  -439
3957.55/3959.02	v  -808  -168   809   224   595
3957.55/3959.02	v   -94    49  -359   123  -847
3957.55/3959.02	v  -938   958  -756    80  -685
3957.55/3959.02	v   420  -493  -485  -739   494
3957.55/3959.02	v  -486  -575   318  -974  -745
3957.55/3959.02	v  -519   876   513  -545  -249
3957.55/3959.02	v   670  -154  -669  -466  -897
3957.55/3959.02	v   331  -141  -972   611   671
3957.55/3959.02	v    90   437   341  -639   378
3957.55/3959.02	v  -236    58  -816  -695  -780
3957.55/3959.02	v  -821   867  -555  -503  -323
3957.55/3959.02	v    74   200  -322  -833   875
3957.55/3959.02	v  -643  -953  -560   375   -86
3957.55/3959.02	v   380   271  -602   800  -274
3957.55/3959.02	v   313  -309   429   880   913
3957.55/3959.02	v  -232   914   160   589   100
3957.55/3959.02	v  -422   757  -863  -707   891
3957.55/3959.02	v    75  -332  -312   409  -242
3957.55/3959.02	v   764  -834  -285   246    51
3957.55/3959.02	v  -365   840    27   782  -150
3957.55/3959.02	v   825  -799  -971   374  -290
3957.55/3959.02	v  -372  -759   406   -56   -88
3957.55/3959.02	v   646   481  -506  -942  -960
3957.55/3959.02	v  -404   280  -504   516   836
3957.55/3959.02	v  -793   235  -346  -488  -229
3957.55/3959.02	v  -830   -48    11   221   990
3957.55/3959.02	v   -39  -774   -38   937    57
3957.55/3959.02	v   127  -599  -865  -199  -740
3957.55/3959.02	v    97   165   248  -716  -335
3957.55/3959.02	v  -718  -887   162   935  -947
3957.55/3959.02	v   730  -710   259  -511  -650
3957.55/3959.02	v  -324  -574   362   -43  -314
3957.55/3959.02	v  -354   421   676  -657  -440
3957.55/3959.02	v  -796   736  -772   282  -130
3957.55/3959.02	v  -691  -987   593  -337   352
3957.55/3959.02	v  -941   952   157   616   548
3957.55/3959.02	v   184  -890   -91  -172  -714
3957.55/3959.02	v  -349   389  -182   460  -873
3957.55/3959.02	v   734  -325  -167   921  -407
3957.55/3959.02	v  -538   727  -962  -360  -394
3957.55/3959.02	v  -581   635   924  -790   854
3957.55/3959.02	v  -701   711   126   379   303
3957.55/3959.02	v   988  -517   -65   733  -690
3957.55/3959.02	v   371  -662   552   101   203
3957.55/3959.02	v  -689  -620  -723   678   191
3957.55/3959.02	v  -192   -44   278   495  -585
3957.55/3959.02	v  -461  -219  -922  -906   528
3957.55/3959.02	v   125   743   321  -732   401
3957.55/3959.02	v  -554   455  -279   983   600
3957.55/3959.02	v  -243   292   116   -89   343
3957.55/3959.02	v  -161   905  -526   677   663
3957.55/3959.02	v   156  -443   -16   573  -673
3957.55/3959.02	v   367   675   -85   449  -901
3957.55/3959.02	v   788  -618   441  -213   384
3957.55/3959.02	v   680   -13   149   812   818
3957.55/3959.02	v    78   633   666  -166  -109
3957.55/3959.02	v  -725   399   262   334  -541
3957.55/3959.02	v  -146  -755  -893   400   317
3957.55/3959.02	v    82   128    54  -451  -205
3957.55/3959.02	v   713  -625   231  -980  -687
3957.55/3959.02	v  -502   206   623   583  -345
3957.55/3959.02	v  -564  -185    71   447   -45
3957.55/3959.02	v  -468   -35  -498   525  -888
3957.55/3959.02	v   699   284   932   264   904
3957.55/3959.02	v    63   549  -656  -402   523
3957.55/3959.02	v   672   155  -773  -806   877
3957.55/3959.02	v   546   849   310   478  -392
3957.55/3959.02	v   -41   107   776  -869  -899
3957.55/3959.02	v  -726  -950   721  -627  -737
3957.55/3959.02	v   638   438  -257   114  -820
3957.55/3959.02	v   981  -201   537   286  -450
3957.55/3959.02	v  -681  -540   894   270  -500
3957.55/3959.02	v   492  -377   694   -52   815
3957.55/3959.02	v   807   852   214   415   553
3957.55/3959.02	v   753  -306  -435  -509   814
3957.55/3959.02	v   944  -463   293   432  -948
3957.55/3959.02	v   856   803  -652  -458   113
3957.55/3959.02	v  -613   266  -436   373  -658
3957.55/3959.02	v   348   499   445  -542  -785
3957.55/3959.02	v  -140   501   842  -624  -775
3957.55/3959.02	v  -446   630   -64  -424  -356
3957.55/3959.02	v  -529   940   255   -62   614
3957.55/3959.02	v   -46   551  -910   112   448
3957.55/3959.02	v  -137  -106   194    -2   -60
3957.55/3959.02	v    95  -844   619  -480  -315
3957.55/3959.02	v   396   430   792   408   -92
3957.55/3959.02	v   896   -17   -14  -147   838
3957.55/3959.02	v  -277  -874   254  -159  -768
3957.55/3959.02	v   434  -189   386   989   433
3957.55/3959.02	v  -895   276  -328  -193  -465
3957.55/3959.02	v     1   839   -24   338     9
3957.55/3959.02	v   508   697  -728   631    18
3957.55/3959.02	v  -138   143  -568   169    99
3957.55/3959.02	v  -105   110  -118  -121   122
3957.55/3959.02	v   124   158  -170   174   180
3957.55/3959.02	v   207   211   228   230   250
3957.55/3959.02	v   253  -256   267   269   287
3957.55/3959.02	v   288   294   305  -330   340
3957.55/3959.02	v  -954  -370   387   417   419
3957.55/3959.02	v  -452   453  -457  -484   496
3957.55/3959.02	v   505   507   527  -531   535
3957.55/3959.02	v  -543   556   557   565   567
3957.55/3959.02	v  -570  -576  -951   608  -645
3957.55/3959.02	v  -660  -664  -679  -693  -698
3957.55/3959.02	v   704  -712   717   724   746
3957.55/3959.02	v   763   766  -770  -779   787
3957.55/3959.02	v  -797  -798   810   823  -824
3957.55/3959.02	v  -829   845   851   853   860
3957.55/3959.02	v  -861  -862  -871   872   878
3957.55/3959.02	v   908   909   911   923   926
3957.55/3959.02	v   927   929   931   959   975
3957.55/3959.02	v  -977  -982   985  -347  -731
3957.55/3959.02	v  -580  -649   133   886  -129
3957.55/3959.02	v   241   870   784   939   584
3957.55/3959.02	v   319  -916  -202   -34   -21
3957.55/3959.02	v    22   -26    33    81  -108
3957.55/3959.02	v   119  -134   151  -204   225
3957.55/3959.02	v   234   247   268   301  -366
3957.55/3959.02	v  -385  -413   487  -510   512
3957.55/3959.02	v  -514   532   604   674   722
3957.55/3959.02	v   751   801   832   912     0
3957.55/3959.02	c Computation time    : 3958.070 seconds
3957.55/3959.02	c Execution time      : 3958.070 seconds
3957.55/3959.02	c Size of search tree : 3585379 nodes
3957.55/3959.02

Verifier Data (download as text)

OK

Watcher Data (download as text)

runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node42/watcher-424345-1177799573 -o ROOT/results/node42/solver-424345-1177799573 -C 5000 -W 7500 -M 1800 --output-limit 1,15 --use-pty /tmp/evaluation/424345-1177799573/kcnfs-2004 /tmp/evaluation/424345-1177799573/instance-424345-1177799573.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 7500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Using a pseudo terminal to collect output from the solver
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 30479
/proc/meminfo: memFree=1609288/2055920 swapFree=4147484/4192956
[pid=30479] ppid=30477 vsize=16116 CPUtime=0
/proc/30479/stat : 30479 (kcnfs-2004) R 30477 30479 30188 0 -1 0 117 0 0 0 0 0 0 0 18 0 1 0 227869217 16502784 98 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134614467 0 0 4096 0 0 0 0 17 1 0 0
/proc/30479/statm: 4029 98 38 107 0 3918 0

[startup+0.0264341 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 30479
/proc/meminfo: memFree=1609288/2055920 swapFree=4147484/4192956
[pid=30479] ppid=30477 vsize=17220 CPUtime=0.02
/proc/30479/stat : 30479 (kcnfs-2004) R 30477 30479 30188 0 -1 0 488 0 0 0 2 0 0 0 18 0 1 0 227869217 17633280 468 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134544707 0 0 4096 0 0 0 0 17 1 0 0
/proc/30479/statm: 4305 468 59 107 0 4194 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 17220

[startup+0.101448 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 30479
/proc/meminfo: memFree=1609288/2055920 swapFree=4147484/4192956
[pid=30479] ppid=30477 vsize=17220 CPUtime=0.09
/proc/30479/stat : 30479 (kcnfs-2004) R 30477 30479 30188 0 -1 0 500 0 0 0 9 0 0 0 18 0 1 0 227869217 17633280 480 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134529176 0 0 4096 0 0 0 0 17 1 0 0
/proc/30479/statm: 4305 480 61 107 0 4194 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17220

[startup+0.301486 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 30479
/proc/meminfo: memFree=1609288/2055920 swapFree=4147484/4192956
[pid=30479] ppid=30477 vsize=17220 CPUtime=0.29
/proc/30479/stat : 30479 (kcnfs-2004) R 30477 30479 30188 0 -1 0 500 0 0 0 29 0 0 0 19 0 1 0 227869217 17633280 480 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134529144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30479/statm: 4305 480 61 107 0 4194 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17220

[startup+0.701562 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 30479
/proc/meminfo: memFree=1609288/2055920 swapFree=4147484/4192956
[pid=30479] ppid=30477 vsize=17220 CPUtime=0.69
/proc/30479/stat : 30479 (kcnfs-2004) R 30477 30479 30188 0 -1 0 500 0 0 0 69 0 0 0 23 0 1 0 227869217 17633280 480 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134528195 0 0 4096 0 0 0 0 17 1 0 0
/proc/30479/statm: 4305 480 61 107 0 4194 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17220

[startup+1.50172 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 30480
/proc/meminfo: memFree=1607680/2055920 swapFree=4147484/4192956
[pid=30479] ppid=30477 vsize=17220 CPUtime=1.49
/proc/30479/stat : 30479 (kcnfs-2004) R 30477 30479 30188 0 -1 0 501 0 0 0 149 0 0 0 25 0 1 0 227869217 17633280 481 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134531284 0 0 4096 0 0 0 0 17 1 0 0
/proc/30479/statm: 4305 481 61 107 0 4194 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17220

[startup+3.10202 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 30480
/proc/meminfo: memFree=1607488/2055920 swapFree=4147484/4192956
[pid=30479] ppid=30477 vsize=17220 CPUtime=3.09
/proc/30479/stat : 30479 (kcnfs-2004) R 30477 30479 30188 0 -1 0 501 0 0 0 309 0 0 0 25 0 1 0 227869217 17633280 481 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134531271 0 0 4096 0 0 0 0 17 1 0 0
/proc/30479/statm: 4305 481 61 107 0 4194 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17220

[startup+6.30163 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 30480
/proc/meminfo: memFree=1607360/2055920 swapFree=4147484/4192956
[pid=30479] ppid=30477 vsize=17220 CPUtime=6.29
/proc/30479/stat : 30479 (kcnfs-2004) R 30477 30479 30188 0 -1 0 501 0 0 0 629 0 0 0 25 0 1 0 227869217 17633280 481 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134533169 0 0 4096 0 0 0 0 17 1 0 0
/proc/30479/statm: 4305 481 61 107 0 4194 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17220

[startup+12.7018 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 30480
/proc/meminfo: memFree=1607296/2055920 swapFree=4147484/4192956
[pid=30479] ppid=30477 vsize=17220 CPUtime=12.69
/proc/30479/stat : 30479 (kcnfs-2004) R 30477 30479 30188 0 -1 0 501 0 0 0 1269 0 0 0 25 0 1 0 227869217 17633280 481 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134531230 0 0 4096 0 0 0 0 17 1 0 0
/proc/30479/statm: 4305 481 61 107 0 4194 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17220

[startup+25.5013 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 30480
/proc/meminfo: memFree=1607296/2055920 swapFree=4147484/4192956
[pid=30479] ppid=30477 vsize=17220 CPUtime=25.48
/proc/30479/stat : 30479 (kcnfs-2004) R 30477 30479 30188 0 -1 0 501 0 0 0 2548 0 0 0 25 0 1 0 227869217 17633280 481 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134529420 0 0 4096 0 0 0 0 17 1 0 0
/proc/30479/statm: 4305 481 61 107 0 4194 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 17220

[startup+51.1012 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 30480
/proc/meminfo: memFree=1607296/2055920 swapFree=4147484/4192956
[pid=30479] ppid=30477 vsize=17220 CPUtime=51.07
/proc/30479/stat : 30479 (kcnfs-2004) R 30477 30479 30188 0 -1 0 501 0 0 0 5107 0 0 0 25 0 1 0 227869217 17633280 481 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134529231 0 0 4096 0 0 0 0 17 1 0 0
/proc/30479/statm: 4305 481 61 107 0 4194 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 17220

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 30480
/proc/meminfo: memFree=1607360/2055920 swapFree=4147484/4192956
[pid=30479] ppid=30477 vsize=17220 CPUtime=102.26
/proc/30479/stat : 30479 (kcnfs-2004) R 30477 30479 30188 0 -1 0 501 0 0 0 10226 0 0 0 25 0 1 0 227869217 17633280 481 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134542797 0 0 4096 0 0 0 0 17 1 0 0
/proc/30479/statm: 4305 481 61 107 0 4194 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 17220

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 30480
/proc/meminfo: memFree=1607360/2055920 swapFree=4147484/4192956
[pid=30479] ppid=30477 vsize=17220 CPUtime=162.23
/proc/30479/stat : 30479 (kcnfs-2004) R 30477 30479 30188 0 -1 0 501 0 0 0 16223 0 0 0 25 0 1 0 227869217 17633280 481 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134528795 0 0 4096 0 0 0 0 17 1 0 0
/proc/30479/statm: 4305 481 61 107 0 4194 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 17220

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 30480
/proc/meminfo: memFree=1607296/2055920 swapFree=4147484/4192956
[pid=30479] ppid=30477 vsize=17220 CPUtime=222.22
/proc/30479/stat : 30479 (kcnfs-2004) R 30477 30479 30188 0 -1 0 501 0 0 0 22221 1 0 0 25 0 1 0 227869217 17633280 481 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134536839 0 0 4096 0 0 0 0 17 1 0 0
/proc/30479/statm: 4305 481 61 107 0 4194 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 17220

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 30480
/proc/meminfo: memFree=1607296/2055920 swapFree=4147484/4192956
[pid=30479] ppid=30477 vsize=17220 CPUtime=282.2
/proc/30479/stat : 30479 (kcnfs-2004) R 30477 30479 30188 0 -1 0 501 0 0 0 28219 1 0 0 25 0 1 0 227869217 17633280 481 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134577660 0 0 4096 0 0 0 0 17 1 0 0
/proc/30479/statm: 4305 481 61 107 0 4194 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 17220

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 30480
/proc/meminfo: memFree=1607232/2055920 swapFree=4147484/4192956
[pid=30479] ppid=30477 vsize=17220 CPUtime=342.18
/proc/30479/stat : 30479 (kcnfs-2004) R 30477 30479 30188 0 -1 0 501 0 0 0 34217 1 0 0 25 0 1 0 227869217 17633280 481 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134567875 0 0 4096 0 0 0 0 17 1 0 0
/proc/30479/statm: 4305 481 61 107 0 4194 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 17220

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 30480
/proc/meminfo: memFree=1607232/2055920 swapFree=4147484/4192956
[pid=30479] ppid=30477 vsize=17220 CPUtime=402.15
/proc/30479/stat : 30479 (kcnfs-2004) R 30477 30479 30188 0 -1 0 501 0 0 0 40214 1 0 0 25 0 1 0 227869217 17633280 481 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134577625 0 0 4096 0 0 0 0 17 1 0 0
/proc/30479/statm: 4305 481 61 107 0 4194 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 17220

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 30480
/proc/meminfo: memFree=1607232/2055920 swapFree=4147484/4192956
[pid=30479] ppid=30477 vsize=17220 CPUtime=462.13
/proc/30479/stat : 30479 (kcnfs-2004) R 30477 30479 30188 0 -1 0 501 0 0 0 46212 1 0 0 25 0 1 0 227869217 17633280 481 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134542813 0 0 4096 0 0 0 0 17 1 0 0
/proc/30479/statm: 4305 481 61 107 0 4194 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 17220

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 30482
/proc/meminfo: memFree=1607232/2055920 swapFree=4147484/4192956
[pid=30479] ppid=30477 vsize=17220 CPUtime=522.11
/proc/30479/stat : 30479 (kcnfs-2004) R 30477 30479 30188 0 -1 0 501 0 0 0 52210 1 0 0 25 0 1 0 227869217 17633280 481 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134529063 0 0 4096 0 0 0 0 17 1 0 0
/proc/30479/statm: 4305 481 61 107 0 4194 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 17220

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 30482
/proc/meminfo: memFree=1607232/2055920 swapFree=4147484/4192956
[pid=30479] ppid=30477 vsize=17220 CPUtime=582.09
/proc/30479/stat : 30479 (kcnfs-2004) R 30477 30479 30188 0 -1 0 501 0 0 0 58208 1 0 0 25 0 1 0 227869217 17633280 481 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134565750 0 0 4096 0 0 0 0 17 1 0 0
/proc/30479/statm: 4305 481 61 107 0 4194 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 17220

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 30482
/proc/meminfo: memFree=1607232/2055920 swapFree=4147484/4192956
[pid=30479] ppid=30477 vsize=17220 CPUtime=642.08
/proc/30479/stat : 30479 (kcnfs-2004) R 30477 30479 30188 0 -1 0 501 0 0 0 64206 2 0 0 25 0 1 0 227869217 17633280 481 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134528812 0 0 4096 0 0 0 0 17 1 0 0
/proc/30479/statm: 4305 481 61 107 0 4194 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 17220

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

/proc/meminfo: memFree=1607168/2055920 swapFree=4147484/4192956
[pid=30479] ppid=30477 vsize=17220 CPUtime=3281.08
/proc/30479/stat : 30479 (kcnfs-2004) R 30477 30479 30188 0 -1 0 501 0 0 0 328100 8 0 0 25 0 1 0 227869217 17633280 481 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134531507 0 0 4096 0 0 0 0 17 1 0 0
/proc/30479/statm: 4305 481 61 107 0 4194 0
Current children cumulated CPU time (s) 3281.08
Current children cumulated vsize (KiB) 17220

[startup+3342.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30680
/proc/meminfo: memFree=1607168/2055920 swapFree=4147484/4192956
[pid=30479] ppid=30477 vsize=17220 CPUtime=3341.07
/proc/30479/stat : 30479 (kcnfs-2004) R 30477 30479 30188 0 -1 0 501 0 0 0 334098 9 0 0 25 0 1 0 227869217 17633280 481 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134577583 0 0 4096 0 0 0 0 17 1 0 0
/proc/30479/statm: 4305 481 61 107 0 4194 0
Current children cumulated CPU time (s) 3341.07
Current children cumulated vsize (KiB) 17220

[startup+3402.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30680
/proc/meminfo: memFree=1607168/2055920 swapFree=4147484/4192956
[pid=30479] ppid=30477 vsize=17220 CPUtime=3401.05
/proc/30479/stat : 30479 (kcnfs-2004) R 30477 30479 30188 0 -1 0 501 0 0 0 340096 9 0 0 25 0 1 0 227869217 17633280 481 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134528237 0 0 4096 0 0 0 0 17 1 0 0
/proc/30479/statm: 4305 481 61 107 0 4194 0
Current children cumulated CPU time (s) 3401.05
Current children cumulated vsize (KiB) 17220

[startup+3462.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30680
/proc/meminfo: memFree=1607168/2055920 swapFree=4147484/4192956
[pid=30479] ppid=30477 vsize=17220 CPUtime=3461.02
/proc/30479/stat : 30479 (kcnfs-2004) R 30477 30479 30188 0 -1 0 501 0 0 0 346093 9 0 0 25 0 1 0 227869217 17633280 481 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134530103 0 0 4096 0 0 0 0 17 1 0 0
/proc/30479/statm: 4305 481 61 107 0 4194 0
Current children cumulated CPU time (s) 3461.02
Current children cumulated vsize (KiB) 17220

[startup+3522.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30680
/proc/meminfo: memFree=1607168/2055920 swapFree=4147484/4192956
[pid=30479] ppid=30477 vsize=17220 CPUtime=3521
/proc/30479/stat : 30479 (kcnfs-2004) R 30477 30479 30188 0 -1 0 501 0 0 0 352091 9 0 0 25 0 1 0 227869217 17633280 481 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134541583 0 0 4096 0 0 0 0 17 1 0 0
/proc/30479/statm: 4305 481 61 107 0 4194 0
Current children cumulated CPU time (s) 3521
Current children cumulated vsize (KiB) 17220

[startup+3582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30680
/proc/meminfo: memFree=1607168/2055920 swapFree=4147484/4192956
[pid=30479] ppid=30477 vsize=17220 CPUtime=3580.98
/proc/30479/stat : 30479 (kcnfs-2004) R 30477 30479 30188 0 -1 0 501 0 0 0 358089 9 0 0 25 0 1 0 227869217 17633280 481 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134528651 0 0 4096 0 0 0 0 17 1 0 0
/proc/30479/statm: 4305 481 61 107 0 4194 0
Current children cumulated CPU time (s) 3580.98
Current children cumulated vsize (KiB) 17220

[startup+3642.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30680
/proc/meminfo: memFree=1607168/2055920 swapFree=4147484/4192956
[pid=30479] ppid=30477 vsize=17220 CPUtime=3640.95
/proc/30479/stat : 30479 (kcnfs-2004) R 30477 30479 30188 0 -1 0 501 0 0 0 364086 9 0 0 25 0 1 0 227869217 17633280 481 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134528812 0 0 4096 0 0 0 0 17 1 0 0
/proc/30479/statm: 4305 481 61 107 0 4194 0
Current children cumulated CPU time (s) 3640.95
Current children cumulated vsize (KiB) 17220

[startup+3702.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30680
/proc/meminfo: memFree=1607168/2055920 swapFree=4147484/4192956
[pid=30479] ppid=30477 vsize=17220 CPUtime=3700.93
/proc/30479/stat : 30479 (kcnfs-2004) R 30477 30479 30188 0 -1 0 501 0 0 0 370084 9 0 0 25 0 1 0 227869217 17633280 481 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134563390 0 0 4096 0 0 0 0 17 1 0 0
/proc/30479/statm: 4305 481 61 107 0 4194 0
Current children cumulated CPU time (s) 3700.93
Current children cumulated vsize (KiB) 17220

[startup+3762.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30680
/proc/meminfo: memFree=1607168/2055920 swapFree=4147484/4192956
[pid=30479] ppid=30477 vsize=17220 CPUtime=3760.92
/proc/30479/stat : 30479 (kcnfs-2004) R 30477 30479 30188 0 -1 0 501 0 0 0 376082 10 0 0 25 0 1 0 227869217 17633280 481 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134531224 0 0 4096 0 0 0 0 17 1 0 0
/proc/30479/statm: 4305 481 61 107 0 4194 0
Current children cumulated CPU time (s) 3760.92
Current children cumulated vsize (KiB) 17220

[startup+3822.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30680
/proc/meminfo: memFree=1607168/2055920 swapFree=4147484/4192956
[pid=30479] ppid=30477 vsize=17220 CPUtime=3820.9
/proc/30479/stat : 30479 (kcnfs-2004) R 30477 30479 30188 0 -1 0 501 0 0 0 382080 10 0 0 25 0 1 0 227869217 17633280 481 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134577717 0 0 4096 0 0 0 0 17 1 0 0
/proc/30479/statm: 4305 481 61 107 0 4194 0
Current children cumulated CPU time (s) 3820.9
Current children cumulated vsize (KiB) 17220

[startup+3882.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30680
/proc/meminfo: memFree=1607168/2055920 swapFree=4147484/4192956
[pid=30479] ppid=30477 vsize=17220 CPUtime=3880.88
/proc/30479/stat : 30479 (kcnfs-2004) R 30477 30479 30188 0 -1 0 501 0 0 0 388078 10 0 0 25 0 1 0 227869217 17633280 481 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134528147 0 0 4096 0 0 0 0 17 1 0 0
/proc/30479/statm: 4305 481 61 107 0 4194 0
Current children cumulated CPU time (s) 3880.88
Current children cumulated vsize (KiB) 17220

[startup+3942.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30680
/proc/meminfo: memFree=1607168/2055920 swapFree=4147484/4192956
[pid=30479] ppid=30477 vsize=17220 CPUtime=3940.86
/proc/30479/stat : 30479 (kcnfs-2004) R 30477 30479 30188 0 -1 0 501 0 0 0 394076 10 0 0 25 0 1 0 227869217 17633280 481 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134529288 0 0 4096 0 0 0 0 17 1 0 0
/proc/30479/statm: 4305 481 61 107 0 4194 0
Current children cumulated CPU time (s) 3940.86
Current children cumulated vsize (KiB) 17220

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

[startup+3948.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30680
/proc/meminfo: memFree=1607168/2055920 swapFree=4147484/4192956
[pid=30479] ppid=30477 vsize=17220 CPUtime=3947.25
/proc/30479/stat : 30479 (kcnfs-2004) R 30477 30479 30188 0 -1 0 501 0 0 0 394715 10 0 0 25 0 1 0 227869217 17633280 481 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134577583 0 0 4096 0 0 0 0 17 1 0 0
/proc/30479/statm: 4305 481 61 107 0 4194 0
Current children cumulated CPU time (s) 3947.25
Current children cumulated vsize (KiB) 17220

[startup+3955.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30680
/proc/meminfo: memFree=1607168/2055920 swapFree=4147484/4192956
[pid=30479] ppid=30477 vsize=17220 CPUtime=3953.65
/proc/30479/stat : 30479 (kcnfs-2004) R 30477 30479 30188 0 -1 0 501 0 0 0 395355 10 0 0 25 0 1 0 227869217 17633280 481 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134528309 0 0 4096 0 0 0 0 17 1 0 0
/proc/30479/statm: 4305 481 61 107 0 4194 0
Current children cumulated CPU time (s) 3953.65
Current children cumulated vsize (KiB) 17220

[startup+3956.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30680
/proc/meminfo: memFree=1607168/2055920 swapFree=4147484/4192956
[pid=30479] ppid=30477 vsize=17220 CPUtime=3955.25
/proc/30479/stat : 30479 (kcnfs-2004) R 30477 30479 30188 0 -1 0 501 0 0 0 395515 10 0 0 25 0 1 0 227869217 17633280 481 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134531433 0 0 4096 0 0 0 0 17 1 0 0
/proc/30479/statm: 4305 481 61 107 0 4194 0
Current children cumulated CPU time (s) 3955.25
Current children cumulated vsize (KiB) 17220

[startup+3958.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30680
/proc/meminfo: memFree=1607168/2055920 swapFree=4147484/4192956
[pid=30479] ppid=30477 vsize=17220 CPUtime=3956.85
/proc/30479/stat : 30479 (kcnfs-2004) R 30477 30479 30188 0 -1 0 501 0 0 0 395675 10 0 0 25 0 1 0 227869217 17633280 481 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134578171 0 0 4096 0 0 0 0 17 1 0 0
/proc/30479/statm: 4305 481 61 107 0 4194 0
Current children cumulated CPU time (s) 3956.85
Current children cumulated vsize (KiB) 17220

[startup+3958.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30680
/proc/meminfo: memFree=1607168/2055920 swapFree=4147484/4192956
[pid=30479] ppid=30477 vsize=17220 CPUtime=3957.25
/proc/30479/stat : 30479 (kcnfs-2004) R 30477 30479 30188 0 -1 0 501 0 0 0 395715 10 0 0 25 0 1 0 227869217 17633280 481 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134530883 0 0 4096 0 0 0 0 17 1 0 0
/proc/30479/statm: 4305 481 61 107 0 4194 0
Current children cumulated CPU time (s) 3957.25
Current children cumulated vsize (KiB) 17220

[startup+3958.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30680
/proc/meminfo: memFree=1607168/2055920 swapFree=4147484/4192956
[pid=30479] ppid=30477 vsize=17220 CPUtime=3957.45
/proc/30479/stat : 30479 (kcnfs-2004) R 30477 30479 30188 0 -1 0 501 0 0 0 395735 10 0 0 25 0 1 0 227869217 17633280 481 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134531286 0 0 4096 0 0 0 0 17 1 0 0
/proc/30479/statm: 4305 481 61 107 0 4194 0
Current children cumulated CPU time (s) 3957.45
Current children cumulated vsize (KiB) 17220

[startup+3959 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30680
/proc/meminfo: memFree=1607168/2055920 swapFree=4147484/4192956
[pid=30479] ppid=30477 vsize=17220 CPUtime=3957.55
/proc/30479/stat : 30479 (kcnfs-2004) R 30477 30479 30188 0 -1 0 501 0 0 0 395745 10 0 0 25 0 1 0 227869217 17633280 481 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134531230 0 0 4096 0 0 0 0 17 1 0 0
/proc/30479/statm: 4305 481 61 107 0 4194 0
Current children cumulated CPU time (s) 3957.55
Current children cumulated vsize (KiB) 17220

Child status: 10
Real time (s): 3959.02
CPU time (s): 3957.58
CPU user time (s): 3957.47
CPU system time (s): 0.106983
CPU usage (%): 99.9635
Max. virtual memory (cumulated for all children) (KiB): 17220

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3957.47
system time used= 0.106983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 504
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= 8
involuntary context switches= 78842

runsolver used 3.03954 second user time and 8.5567 second system time

The end

Launcher Data (download as text)

Begin job on node42 on Sat Apr 28 22:32:53 UTC 2007

IDJOB= 424345
IDBENCH= 20258
IDSOLVER= 194
FILE ID= node42/424345-1177799573

PBS_JOBID= 4715804

Free space on /tmp= 66545 MiB

SOLVER NAME= KCNFS 2004
BENCH NAME= HOME/pub/bench/SAT07/random/2+p/p0.9/v990/unif2p-p0.9-v990-c3583-S218623752-19-SAT.cnf
COMMAND LINE= /tmp/evaluation/424345-1177799573/kcnfs-2004 /tmp/evaluation/424345-1177799573/instance-424345-1177799573.cnf            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node42/watcher-424345-1177799573 -o ROOT/results/node42/solver-424345-1177799573 -C 5000 -W 7500 -M 1800 --output-limit 1,15 --use-pty /tmp/evaluation/424345-1177799573/kcnfs-2004 /tmp/evaluation/424345-1177799573/instance-424345-1177799573.cnf            

META MD5SUM SOLVER= d41d8cd98f00b204e9800998ecf8427e
MD5SUM BENCH=  202e2057dc8114964b5b3ec133b76d59

RANDOM SEED= 271422061

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

Linux node42.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.277
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.277
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1609760 kB
Buffers:         43988 kB
Cached:         309308 kB
SwapCached:      14652 kB
Active:         227796 kB
Inactive:       149256 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1609760 kB
SwapTotal:     4192956 kB
SwapFree:      4147484 kB
Dirty:            3268 kB
Writeback:           0 kB
Mapped:          30680 kB
Slab:            54416 kB
Committed_AS:  3652712 kB
PageTables:       1912 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66545 MiB

End job on node42 on Sat Apr 28 23:38:53 UTC 2007