Trace number 3293568

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
CryptoMiniSat Strange-Night-1-mt? (TO) 4800.44 1202.18

General information on the benchmark

NameSAT-Race-2010-CNF/hardware-verification/
velev/1dlx_c_iq57_a.cnf
MD5SUM953b9cb99bfd26cff0e1ac65be1241f6
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark630.301
Satisfiable
(Un)Satisfiability was proved
Number of variables569795
Number of clauses8562505
Sum of the clauses size24843745
Maximum clause length186
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 27567948
Number of clauses of size 3724416
Number of clauses of size 49898
Number of clauses of size 560873
Number of clauses of size over 5199369

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3293568-1304181707.cnf'
0.00/0.00	c -- header says num vars:         569795
0.00/0.00	c -- header says num clauses:     8562505
12.90/3.57	c -- clauses added:            0 learnts,      8562505 normals,            0 xors
12.90/3.57	c -- vars added     569795
12.90/3.57	c Parsing time: 10.43 s
12.90/3.57	c  N st     0         0    569795    994556   7567948         0  24843744         0   no data   no data  --
16.51/4.47	c asymm  cl-useful: 76/80/994498 lits-rem:1704 time: 2.66
59.62/15.22	c Flit:   301 Blit:  61462 bXBeca:    0 bXProp:  236 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T: 42.89
62.01/15.85	c Cleaning up after failed var search:     2.47 s 
63.61/16.29	c Replacing      236 vars Replaced   234762 lits Time:     1.70 s 
69.57/17.71	c bin-w-bin subsume rem           56 bins  time:  2.24 s
75.97/19.32	c subs with bin:    75426  lits-rem:     74489  v-fix:    0  time:  6.43 s
89.15/22.60	c Subs w/ non-existent bins:   2711 l-rem:   2534 v-fix:  1044 done:  63977 time: 13.09 s
90.77/23.07	c Removed useless bin:     795  fixed:     0  props:  20.00M  time:  1.76 s
113.90/28.85	c lits-rem:       365  cl-subs:    41630  v-elim:  18051  v-fix:    0  time: 22.99 s
114.70/29.07	c Finding binary XORs  T:     0.89 s  found:    2420
116.30/29.40	c Replacing     2420 vars Replaced    87609 lits Time:     1.32 s 
120.29/30.40	c Finding non-binary XORs:     2.84 s (found:       0, avg size: nan)
120.29/30.40	c Calc default polars -  time:   0.57 s pos:   35512 undec:   83815 neg:  450468
120.29/30.40	c =========================================================================================
120.29/30.40	c types(t): F = full restart, N = normal restart
120.29/30.40	c types(t): S = simplification begin/end, E = solution found
120.29/30.40	c restart types(rt): st = static, dy = dynamic
120.29/30.40	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
120.29/30.40	c  B st     0         0    486084    586312   5360727         0  17349341         0   no data   no data  --
262.12/65.98	c  N dy    13      4173    486084    586312   5362231      2585  17349295    122389      9.94     10.55  --
388.73/97.65	c  N dy    39      8184    486071    586312   5376664      5332  17349289    264794     12.59     22.83  --
514.96/129.21	c  N dy    66     12504    486071    586312   5377575      8700  17349240    455108     15.67     16.51  --
640.01/160.51	c  N dy    93     16540    486071    586312   5380408     11942  17349222    658178     16.97    119.10  --
775.41/194.41	c  N dy   118     20641    486058    586312   5387597      7950  17349222    247223     17.64     36.32  --
912.85/228.85	c  N dy   131     24692    486057    586312   5388269     11284  17349222    437318     17.26     20.13  --
927.60/232.57	c  F st   133     25000    486057    586312   5390520     11524  17349222    450595     17.23      9.43  --
1051.04/263.40	c  N dy   139     30005    486057    585951   5390510     15925  17345549    714328     17.23   no data  --
1051.04/263.41	c  S st   139     30005    486057    585951   5390510     15925  17345549    714328     17.23   no data  --
1064.62/266.88	c  S st   139     30506    486035    585951   5390731     16189  17345543    720001     17.23   no data  --
1065.82/267.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   1.03
1253.15/314.06	c Flit:   378 Blit:     15 bXBeca:    0 bXProp:  759 Bins:   4276 BRemL:      1 BRemN:     61 P: 200.1M T: 186.87
1253.15/314.08	c Cleaning up after failed var search:     0.00 s 
1255.57/314.63	c Replacing      759 vars Replaced    76533 lits Time:     2.06 s 
1260.34/315.83	c bin-w-bin subsume rem         2319 bins  time:  2.56 s
1265.93/317.28	c subs with bin:      417  lits-rem:      6080  v-fix:    0  time:  5.80 s
1281.53/321.17	c Subs w/ non-existent bins:   1925 l-rem:   2861 v-fix:     0 done:  39823 time: 15.56 s
1283.50/321.66	c Removed useless bin:     933  fixed:     0  props:  20.00M  time:  1.95 s
1300.68/325.96	c lits-rem:        80  cl-subs:     1928  v-elim:  11894  v-fix:    0  time: 17.14 s
1303.08/326.55	c asymm  cl-useful: 83/102/567653 lits-rem:6893 time: 2.38
1303.90/326.72	c  N dy   139     30506    472855    567653   5348433     13949  17308745    606149     17.23   no data  --
1323.06/331.52	c Finding binary XORs  T:     0.94 s  found:    2708
1364.60/342.00	c  N dy   163     34605    472754    567168   5357320     17793  17303153    843246     17.74     35.14  --
1471.65/368.79	c  N dy   179     38612    472725    567168   5358953     21572  17303141   1026207     17.58     18.85  --
1543.56/386.77	c  N dy   208     43403    472725    567168   5359122     13400  17303119    351534     18.05     19.13  --
1577.11/395.18	c  S st   219     45759    472725    567168   5359433     15570  17303116    465939     18.19     16.10  --
1597.09/400.10	c  S st   219     46259    472721    567168   5359670     15820  17303116    468575     18.19   no data  --
1597.90/400.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   1.05
1683.37/421.76	c Flit:   127 Blit:     53 bXBeca:    0 bXProp: 1075 Bins:   3933 BRemL:      2 BRemN:      0 P: 200.0M T: 85.42
1683.37/421.79	c Cleaning up after failed var search:     0.00 s 
1685.78/422.39	c Replacing     3783 vars Replaced    90232 lits Time:     2.24 s 
1690.95/423.66	c bin-w-bin subsume rem         1219 bins  time:  2.66 s
1697.75/425.30	c subs with bin:    12490  lits-rem:     23206  v-fix:    0  time:  6.56 s
1722.12/431.46	c Subs w/ non-existent bins:    427 l-rem:    485 v-fix:     0 done:  53772 time: 24.61 s
1726.11/432.49	c Removed useless bin:     499  fixed:     0  props:  20.00M  time:  2.37 s
1752.47/439.04	c lits-rem:     21508  cl-subs:     3646  v-elim:  20466  v-fix:    0  time: 26.12 s
1756.09/439.90	c asymm  cl-useful: 42/409/526274 lits-rem:349 time: 3.42
1756.86/440.10	c  N dy   219     46259    448251    526274   5330903     13303  17398210    382046     18.19   no data  --
1863.12/466.70	c  N dy   226     52054    448251    526274   5330985     18772  17398184    687274     17.37     18.29  --
1865.12/467.25	c Finding binary XORs  T:     1.20 s  found:    1135
1939.41/485.89	c  N dy   259     56120    448153    525219   5338818     22656  17387456    983730     18.30     21.49  --
2019.71/505.91	c  N dy   274     60200    448153    525219   5339079     26519  17387444   1302582     18.01     19.88  --
2108.00/528.09	c  N dy   309     64874    448153    525219   5339220     31019  17387432   1652757     18.73     19.87  --
2199.05/550.85	c  N dy   342     69109    448153    525219   5339486     18553  17387419    599471     18.98     43.34  --
2207.04/552.85	c  S st   345     69390    448153    525219   5339497     18820  17387419    613193     18.99   no data  --
2231.81/559.05	c  S st   345     69891    448148    525219   5339719     19090  17387419    626558     18.99   no data  --
2233.01/559.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   1.21
2351.65/589.02	c Flit:    11 Blit:    473 bXBeca:    0 bXProp: 4327 Bins:   4358 BRemL:      0 BRemN:      0 P: 200.2M T: 118.52
2351.65/589.04	c Cleaning up after failed var search:     0.00 s 
2354.06/589.68	c Replacing     5462 vars Replaced   121071 lits Time:     2.39 s 
2359.23/590.96	c bin-w-bin subsume rem         8896 bins  time:  2.66 s
2366.03/592.60	c subs with bin:     4593  lits-rem:     23216  v-fix:    0  time:  6.54 s
2374.81/594.85	c Subs w/ non-existent bins:   3824 l-rem:   3956 v-fix:     0 done:  56417 time:  8.96 s
2376.81/595.37	c Removed useless bin:       4  fixed:     0  props:  20.00M  time:  1.71 s
2412.36/604.23	c lits-rem:      3523  cl-subs:     5355  v-elim:  54704  v-fix:    0  time: 35.26 s
2415.58/605.05	c asymm  cl-useful: 60/371/481063 lits-rem:1755 time: 3.27
2416.36/605.22	c  N dy   345     69891    387496    481063   5231854     13697  17408334    351723     18.99   no data  --
2417.16/605.47	c Finding binary XORs  T:     0.99 s  found:    3696
2506.64/627.86	c  N dy   355     74384    387342    481063   5234154     17939  17408311    620880     18.68     19.69  --
2559.37/641.08	c  N dy   370     79381    387342    481063   5234477     22705  17408293    895428     18.51     19.79  --
2631.26/659.08	c  N dy   401     84463    387339    481063   5234920     27524  17408261   1203030     18.69     39.40  --
2672.81/669.41	c  F st   424     87501    387339    481063   5234988     30458  17408249   1394329     19.04     17.25  --
2674.42/669.82	c Replacing     3696 vars Replaced    44859 lits Time:     1.07 s 
2739.45/686.17	c  N st   429     90803    383643    480353   5222031     33533  17370404   1619844     19.04   no data  --
2810.15/703.88	c  N dy   458     96818    383642    480353   5222398     20337  17370387    561332     19.16     20.61  --
2887.24/723.19	c  N dy   493    103101    383602    480353   5238656     26340  17370374    953880     19.33     20.51  --
2917.21/730.62	c  S st   509    104836    383243    480353   5255849     27999  17370374   1101356     19.51   no data  --
2941.18/736.61	c  S st   509    105336    383242    480353   5256036     28308  17370370   1104991     19.51   no data  --
2942.39/736.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   1.17
3043.02/762.17	c Flit:    23 Blit:    288 bXBeca:    0 bXProp:   96 Bins:   4515 BRemL:      0 BRemN:      0 P: 200.0M T: 99.89
3043.02/762.19	c Cleaning up after failed var search:     0.00 s 
3045.41/762.74	c Replacing       97 vars Replaced    55145 lits Time:     2.07 s 
3050.20/763.96	c bin-w-bin subsume rem         1369 bins  time:  2.51 s
3056.20/765.40	c subs with bin:     2402  lits-rem:      2579  v-fix:    0  time:  5.76 s
3067.78/768.35	c Subs w/ non-existent bins:    694 l-rem:   1550 v-fix:     0 done:  42370 time: 11.76 s
3069.80/768.81	c Removed useless bin:     184  fixed:     0  props:  20.01M  time:  1.82 s
3107.72/778.38	c lits-rem:      9155  cl-subs:     8973  v-elim:  44545  v-fix:    0  time: 38.12 s
3110.92/779.10	c asymm  cl-useful: 80/405/460743 lits-rem:5446 time: 2.88
3111.32/779.25	c  N dy   509    105336    338285    460733   5151099     20477  17415336    700717     19.51   no data  --
3112.12/779.45	c Finding binary XORs  T:     0.79 s  found:    2123
3221.57/806.84	c  N dy   551    112154    338284    460733   5152591     27010  17415328   1071944     19.70     63.26  --
3312.65/829.61	c  N dy   606    119502    338284    460733   5153404     34082  17415320   1529868     20.20     21.48  --
3408.92/853.79	c  N dy   649    127315    338278    460733   5154018     20973  17415305    537129     20.25     23.20  --
3522.38/882.13	c  N dy   716    135487    338269    460733   5154726     28758  17415292   1044664     20.64     29.15  --
3647.00/913.37	c  N dy   779    144163    338269    460733   5155064     37083  17415274   1606712     20.96     24.60  --
3758.05/941.18	c  N dy   825    153450    337559    460733   5156934     23754  17415260    598004     20.90     23.27  --
3829.17/958.95	c  S st   859    158004    337559    460733   5157060     28143  17415258    880869     21.04   no data  --
3851.54/964.55	c  S st   859    158504    337555    460733   5157445     28448  17415256    886055     21.04   no data  --
3852.73/964.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   1.01

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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-3293568-1304181707/watcher-3293568-1304181707 -o /tmp/evaluation-result-3293568-1304181707/solver-3293568-1304181707 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3293568-1304181707.cnf 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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: 7.70 7.94 7.65 5/180 10064
/proc/meminfo: memFree=29925720/32950928 swapFree=67111464/67111528
[pid=10064] ppid=10062 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/10064/stat : 10064 (strangenight1-m) R 10062 10064 9128 0 -1 4202496 413 0 0 0 0 0 0 0 24 0 4 0 529769584 52465664 353 33554432000 4194304 4650419 140734390282128 18446744073709551615 47695576119218 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10064/statm: 12809 353 303 112 0 7774 0
[pid=10064/tid=10065] ppid=10062 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/10064/task/10065/stat : 10065 (strangenight1-m) R 10062 10064 9128 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 529769584 52465664 353 33554432000 4194304 4650419 140734390282128 18446744073709551615 268272745457 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10064/tid=10066] ppid=10062 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/10064/task/10066/stat : 10066 (strangenight1-m) R 10062 10064 9128 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 529769584 52465664 353 33554432000 4194304 4650419 140734390282128 18446744073709551615 47695576119218 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10064/tid=10067] ppid=10062 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/10064/task/10067/stat : 10067 (strangenight1-m) R 10062 10064 9128 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 529769584 52465664 353 33554432000 4194304 4650419 140734390282128 18446744073709551615 47695576119218 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.036803 s]
/proc/loadavg: 7.70 7.94 7.65 5/180 10064
/proc/meminfo: memFree=29925720/32950928 swapFree=67111464/67111528
[pid=10064] ppid=10062 vsize=353636 CPUtime=0.12 cores=1,3,5,7
/proc/10064/stat : 10064 (strangenight1-m) R 10062 10064 9128 0 -1 4202496 5638 0 0 0 8 4 0 0 18 0 4 0 529769584 362123264 5178 33554432000 4194304 4650419 140734390282128 18446744073709551615 268272794143 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10064/statm: 88409 5219 344 112 0 83374 0
[pid=10064/tid=10065] ppid=10062 vsize=353636 CPUtime=0.02 cores=1,3,5,7
/proc/10064/task/10065/stat : 10065 (strangenight1-m) S 10062 10064 9128 0 -1 4202560 1375 0 0 0 2 0 0 0 18 0 4 0 529769584 362123264 5275 33554432000 4194304 4650419 140734390282128 18446744073709551615 268272794094 0 0 4096 2 18446604454223470656 0 0 -1 7 0 0 0
[pid=10064/tid=10066] ppid=10062 vsize=353636 CPUtime=0.02 cores=1,3,5,7
/proc/10064/task/10066/stat : 10066 (strangenight1-m) S 10062 10064 9128 0 -1 4202560 1306 0 0 0 1 1 0 0 18 0 4 0 529769584 362123264 5353 33554432000 4194304 4650419 140734390282128 18446744073709551615 268272794094 0 0 4096 2 18446604454223470656 0 0 -1 5 0 0 0
[pid=10064/tid=10067] ppid=10062 vsize=353900 CPUtime=0.02 cores=1,3,5,7
/proc/10064/task/10067/stat : 10067 (strangenight1-m) R 10062 10064 9128 0 -1 4202560 1402 0 0 0 1 1 0 0 18 0 4 0 529769584 362393600 5365 33554432000 4194304 4650419 140734390282128 18446744073709551615 268272386248 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 353636

[startup+0.10487 s]
/proc/loadavg: 7.70 7.94 7.65 5/180 10064
/proc/meminfo: memFree=29925720/32950928 swapFree=67111464/67111528
[pid=10064] ppid=10062 vsize=370340 CPUtime=0.36 cores=1,3,5,7
/proc/10064/stat : 10064 (strangenight1-m) R 10062 10064 9128 0 -1 4202496 15002 0 0 0 22 14 0 0 18 0 4 0 529769584 379228160 12925 33554432000 4194304 4650419 140734390282128 18446744073709551615 268272794143 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10064/statm: 92585 12976 344 112 0 87550 0
[pid=10064/tid=10065] ppid=10062 vsize=370340 CPUtime=0.08 cores=1,3,5,7
/proc/10064/task/10065/stat : 10065 (strangenight1-m) S 10062 10064 9128 0 -1 4202560 3652 0 0 0 6 2 0 0 18 0 4 0 529769584 379228160 13035 33554432000 4194304 4650419 140734390282128 18446744073709551615 268272794094 0 0 4096 2 18446604454223470656 0 0 -1 7 0 0 0
[pid=10064/tid=10066] ppid=10062 vsize=370340 CPUtime=0.09 cores=1,3,5,7
/proc/10064/task/10066/stat : 10066 (strangenight1-m) R 10062 10064 9128 0 -1 4202560 3773 0 0 0 5 4 0 0 18 0 4 0 529769584 379228160 13092 33554432000 4194304 4650419 140734390282128 18446744073709551615 268272794143 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10064/tid=10067] ppid=10062 vsize=370472 CPUtime=0.08 cores=1,3,5,7
/proc/10064/task/10067/stat : 10067 (strangenight1-m) R 10062 10064 9128 0 -1 4202560 3694 0 0 0 5 3 0 0 18 0 4 0 529769584 379363328 13189 33554432000 4194304 4650419 140734390282128 18446744073709551615 268272794143 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 370340

[startup+0.300711 s]
/proc/loadavg: 7.70 7.94 7.65 5/180 10064
/proc/meminfo: memFree=29925720/32950928 swapFree=67111464/67111528
[pid=10064] ppid=10062 vsize=399740 CPUtime=1.05 cores=1,3,5,7
/proc/10064/stat : 10064 (strangenight1-m) R 10062 10064 9128 0 -1 4202496 39076 0 0 0 70 35 0 0 18 0 4 0 529769584 409333760 34767 33554432000 4194304 4650419 140734390282128 18446744073709551615 268272794094 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10064/statm: 99935 34838 344 112 0 94900 0
[pid=10064/tid=10065] ppid=10062 vsize=399740 CPUtime=0.26 cores=1,3,5,7
/proc/10064/task/10065/stat : 10065 (strangenight1-m) S 10062 10064 9128 0 -1 4202560 9448 0 0 0 18 8 0 0 18 0 4 0 529769584 409333760 34884 33554432000 4194304 4650419 140734390282128 18446744073709551615 268272794094 0 0 4096 2 18446604454223470656 0 0 -1 7 0 0 0
[pid=10064/tid=10066] ppid=10062 vsize=399740 CPUtime=0.26 cores=1,3,5,7
/proc/10064/task/10066/stat : 10066 (strangenight1-m) R 10062 10064 9128 0 -1 4202560 9658 0 0 0 17 9 0 0 18 0 4 0 529769584 409333760 34958 33554432000 4194304 4650419 140734390282128 18446744073709551615 268272354168 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10064/tid=10067] ppid=10062 vsize=399740 CPUtime=0.25 cores=1,3,5,7
/proc/10064/task/10067/stat : 10067 (strangenight1-m) R 10062 10064 9128 0 -1 4202560 9757 0 0 0 17 8 0 0 18 0 4 0 529769584 409333760 35024 33554432000 4194304 4650419 140734390282128 18446744073709551615 268272347892 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.05
Current children cumulated vsize (KiB) 399740

[startup+0.70488 s]
/proc/loadavg: 7.70 7.94 7.65 5/180 10064
/proc/meminfo: memFree=29925720/32950928 swapFree=67111464/67111528
[pid=10064] ppid=10062 vsize=628348 CPUtime=2.57 cores=1,3,5,7
/proc/10064/stat : 10064 (strangenight1-m) R 10062 10064 9128 0 -1 4202496 96864 0 0 0 186 71 0 0 18 0 4 0 529769584 643428352 79839 33554432000 4194304 4650419 140734390282128 18446744073709551615 268272385803 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10064/statm: 157087 80052 344 112 0 152052 0
[pid=10064/tid=10065] ppid=10062 vsize=628348 CPUtime=0.65 cores=1,3,5,7
/proc/10064/task/10065/stat : 10065 (strangenight1-m) S 10062 10064 9128 0 -1 4202560 24303 0 0 0 48 17 0 0 18 0 4 0 529769584 643428352 80171 33554432000 4194304 4650419 140734390282128 18446744073709551615 268272794094 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10064/tid=10066] ppid=10062 vsize=628348 CPUtime=0.63 cores=1,3,5,7
/proc/10064/task/10066/stat : 10066 (strangenight1-m) R 10062 10064 9128 0 -1 4202560 23692 0 0 0 45 18 0 0 18 0 4 0 529769584 643428352 80310 33554432000 4194304 4650419 140734390282128 18446744073709551615 268272794143 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10064/tid=10067] ppid=10062 vsize=628348 CPUtime=0.64 cores=1,3,5,7
/proc/10064/task/10067/stat : 10067 (strangenight1-m) R 10062 10064 9128 0 -1 4202560 24478 0 0 0 47 17 0 0 18 0 4 0 529769584 643428352 80360 33554432000 4194304 4650419 140734390282128 18446744073709551615 268272350241 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.57
Current children cumulated vsize (KiB) 628348

[startup+1.5005 s]
/proc/loadavg: 7.70 7.94 7.65 7/184 10068
/proc/meminfo: memFree=29464532/32950928 swapFree=67111464/67111528
[pid=10064] ppid=10062 vsize=1055388 CPUtime=5.5 cores=1,3,5,7
/proc/10064/stat : 10064 (strangenight1-m) R 10062 10064 9128 0 -1 4202496 202599 0 0 0 420 130 0 0 18 0 4 0 529769584 1080717312 168383 33554432000 4194304 4650419 140734390282128 18446744073709551615 4545933 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/10064/statm: 263847 168384 344 112 0 258812 0
[pid=10064/tid=10065] ppid=10062 vsize=1055388 CPUtime=1.37 cores=1,3,5,7
/proc/10064/task/10065/stat : 10065 (strangenight1-m) R 10062 10064 9128 0 -1 4202560 51059 0 0 0 106 31 0 0 18 0 4 0 529769584 1080717312 168384 33554432000 4194304 4650419 140734390282128 18446744073709551615 268272794143 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10064/tid=10066] ppid=10062 vsize=1055388 CPUtime=1.36 cores=1,3,5,7
/proc/10064/task/10066/stat : 10066 (strangenight1-m) R 10062 10064 9128 0 -1 4202560 50531 0 0 0 104 32 0 0 18 0 4 0 529769584 1080717312 168385 33554432000 4194304 4650419 140734390282128 18446744073709551615 4373800 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10064/tid=10067] ppid=10062 vsize=1055388 CPUtime=1.36 cores=1,3,5,7
/proc/10064/task/10067/stat : 10067 (strangenight1-m) R 10062 10064 9128 0 -1 4202560 51074 0 0 0 104 32 0 0 18 0 4 0 529769584 1080717312 168385 33554432000 4194304 4650419 140734390282128 18446744073709551615 4373800 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.5
Current children cumulated vsize (KiB) 1055388

[startup+3.10021 s]
/proc/loadavg: 7.70 7.94 7.65 8/184 10068
/proc/meminfo: memFree=28976220/32950928 swapFree=67111464/67111528
[pid=10064] ppid=10062 vsize=2091296 CPUtime=11.33 cores=1,3,5,7
/proc/10064/stat : 10064 (strangenight1-m) R 10062 10064 9128 0 -1 4202496 415753 0 0 0 896 237 0 0 17 0 4 0 529769584 2141487104 347072 33554432000 4194304 4650419 140734390282128 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10064/statm: 522824 347073 344 112 0 517789 0
[pid=10064/tid=10065] ppid=10062 vsize=2091296 CPUtime=2.84 cores=1,3,5,7
/proc/10064/task/10065/stat : 10065 (strangenight1-m) R 10062 10064 9128 0 -1 4202560 104611 0 0 0 225 59 0 0 17 0 4 0 529769584 2141487104 347077 33554432000 4194304 4650419 140734390282128 18446744073709551615 268272794143 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10064/tid=10066] ppid=10062 vsize=2091296 CPUtime=2.82 cores=1,3,5,7
/proc/10064/task/10066/stat : 10066 (strangenight1-m) R 10062 10064 9128 0 -1 4202560 103198 0 0 0 222 60 0 0 18 0 4 0 529769584 2141487104 347077 33554432000 4194304 4650419 140734390282128 18446744073709551615 268272794143 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10064/tid=10067] ppid=10062 vsize=2091296 CPUtime=2.83 cores=1,3,5,7
/proc/10064/task/10067/stat : 10067 (strangenight1-m) R 10062 10064 9128 0 -1 4202560 105797 0 0 0 224 59 0 0 18 0 4 0 529769584 2141487104 347081 33554432000 4194304 4650419 140734390282128 18446744073709551615 4305813 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 11.33
Current children cumulated vsize (KiB) 2091296

[startup+6.30065 s]
/proc/loadavg: 7.96 7.99 7.66 11/184 10068
/proc/meminfo: memFree=28227264/32950928 swapFree=67111464/67111528
[pid=10064] ppid=10062 vsize=2355864 CPUtime=24.07 cores=1,3,5,7
/proc/10064/stat : 10064 (strangenight1-m) R 10062 10064 9128 0 -1 4202496 522071 0 0 0 2132 275 0 0 22 0 4 0 529769584 2412404736 414562 33554432000 4194304 4650419 140734390282128 18446744073709551615 4370329 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10064/statm: 588966 414562 373 112 0 583931 0
[pid=10064/tid=10065] ppid=10062 vsize=2355864 CPUtime=6.02 cores=1,3,5,7
/proc/10064/task/10065/stat : 10065 (strangenight1-m) R 10062 10064 9128 0 -1 4202560 135714 0 0 0 534 68 0 0 18 0 4 0 529769584 2412404736 414562 33554432000 4194304 4650419 140734390282128 18446744073709551615 4370329 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10064/tid=10066] ppid=10062 vsize=2355864 CPUtime=6.01 cores=1,3,5,7
/proc/10064/task/10066/stat : 10066 (strangenight1-m) R 10062 10064 9128 0 -1 4202560 134079 0 0 0 531 70 0 0 22 0 4 0 529769584 2412404736 414562 33554432000 4194304 4650419 140734390282128 18446744073709551615 4370264 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10064/tid=10067] ppid=10062 vsize=2355864 CPUtime=6 cores=1,3,5,7
/proc/10064/task/10067/stat : 10067 (strangenight1-m) R 10062 10064 9128 0 -1 4202560 118996 0 0 0 534 66 0 0 23 0 4 0 529769584 2412404736 414562 33554432000 4194304 4650419 140734390282128 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 24.07
Current children cumulated vsize (KiB) 2355864

[startup+12.7005 s]
/proc/loadavg: 7.97 7.99 7.67 10/184 10068
/proc/meminfo: memFree=28228420/32950928 swapFree=67111464/67111528
[pid=10064] ppid=10062 vsize=2356268 CPUtime=49.63 cores=1,3,5,7
/proc/10064/stat : 10064 (strangenight1-m) R 10062 10064 9128 0 -1 4202496 523036 0 0 0 4687 276 0 0 25 0 4 0 529769584 2412818432 415527 33554432000 4194304 4650419 140734390282128 18446744073709551615 4369394 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10064/statm: 589067 415527 373 112 0 584032 0
[pid=10064/tid=10065] ppid=10062 vsize=2356268 CPUtime=12.42 cores=1,3,5,7
/proc/10064/task/10065/stat : 10065 (strangenight1-m) R 10062 10064 9128 0 -1 4202560 135868 0 0 0 1174 68 0 0 25 0 4 0 529769584 2412818432 415527 33554432000 4194304 4650419 140734390282128 18446744073709551615 4369394 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10064/tid=10066] ppid=10062 vsize=2356268 CPUtime=12.42 cores=1,3,5,7
/proc/10064/task/10066/stat : 10066 (strangenight1-m) R 10062 10064 9128 0 -1 4202560 134359 0 0 0 1171 71 0 0 25 0 4 0 529769584 2412818432 415527 33554432000 4194304 4650419 140734390282128 18446744073709551615 4370329 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10064/tid=10067] ppid=10062 vsize=2356268 CPUtime=12.36 cores=1,3,5,7
/proc/10064/task/10067/stat : 10067 (strangenight1-m) R 10062 10064 9128 0 -1 4202560 119331 0 0 0 1170 66 0 0 25 0 4 0 529769584 2412818432 415527 33554432000 4194304 4650419 140734390282128 18446744073709551615 4364631 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 49.63
Current children cumulated vsize (KiB) 2356268

[startup+25.5002 s]
/proc/loadavg: 7.97 7.99 7.67 10/184 10068
/proc/meminfo: memFree=27487472/32950928 swapFree=67111464/67111528
[pid=10064] ppid=10062 vsize=3010660 CPUtime=100.73 cores=1,3,5,7
/proc/10064/stat : 10064 (strangenight1-m) R 10062 10064 9128 0 -1 4202496 674036 0 0 0 9767 306 0 0 25 0 4 0 529769584 3082915840 565402 33554432000 4194304 4650419 140734390282128 18446744073709551615 4440593 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10064/statm: 752665 565402 393 112 0 747630 0
[pid=10064/tid=10065] ppid=10062 vsize=3010660 CPUtime=25.21 cores=1,3,5,7
/proc/10064/task/10065/stat : 10065 (strangenight1-m) R 10062 10064 9128 0 -1 4202560 184450 0 0 0 2442 79 0 0 25 0 4 0 529769584 3082915840 565402 33554432000 4194304 4650419 140734390282128 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10064/tid=10066] ppid=10062 vsize=3010660 CPUtime=25.2 cores=1,3,5,7
/proc/10064/task/10066/stat : 10066 (strangenight1-m) R 10062 10064 9128 0 -1 4202560 186191 0 0 0 2441 79 0 0 25 0 4 0 529769584 3082915840 565403 33554432000 4194304 4650419 140734390282128 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10064/tid=10067] ppid=10062 vsize=3010660 CPUtime=25.08 cores=1,3,5,7
/proc/10064/task/10067/stat : 10067 (strangenight1-m) R 10062 10064 9128 0 -1 4202560 119478 0 0 0 2442 66 0 0 25 0 4 0 529769584 3082915840 565403 33554432000 4194304 4650419 140734390282128 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 100.73
Current children cumulated vsize (KiB) 3010660

[startup+51.1007 s]
/proc/loadavg: 7.98 7.99 7.68 10/184 10069
/proc/meminfo: memFree=27374080/32950928 swapFree=67111464/67111528
[pid=10064] ppid=10062 vsize=3095276 CPUtime=202.98 cores=1,3,5,7
/proc/10064/stat : 10064 (strangenight1-m) R 10062 10064 9128 0 -1 4202496 728099 0 0 0 19984 314 0 0 25 0 4 0 529769584 3169562624 593336 33554432000 4194304 4650419 140734390282128 18446744073709551615 4364883 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10064/statm: 773819 593336 392 112 0 768784 0
[pid=10064/tid=10065] ppid=10062 vsize=3095276 CPUtime=50.81 cores=1,3,5,7
/proc/10064/task/10065/stat : 10065 (strangenight1-m) R 10062 10064 9128 0 -1 4202560 203679 0 0 0 5000 81 0 0 25 0 4 0 529769584 3169562624 593336 33554432000 4194304 4650419 140734390282128 18446744073709551615 4365477 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10064/tid=10066] ppid=10062 vsize=3095276 CPUtime=50.81 cores=1,3,5,7
/proc/10064/task/10066/stat : 10066 (strangenight1-m) R 10062 10064 9128 0 -1 4202560 198239 0 0 0 4999 82 0 0 25 0 4 0 529769584 3169562624 593336 33554432000 4194304 4650419 140734390282128 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10064/tid=10067] ppid=10062 vsize=3095276 CPUtime=50.54 cores=1,3,5,7
/proc/10064/task/10067/stat : 10067 (strangenight1-m) R 10062 10064 9128 0 -1 4202560 126382 0 0 0 4987 67 0 0 25 0 4 0 529769584 3169562624 593336 33554432000 4194304 4650419 140734390282128 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 202.98
Current children cumulated vsize (KiB) 3095276

[startup+102.307 s]
/proc/loadavg: 8.03 8.00 7.70 10/184 10070
/proc/meminfo: memFree=27204792/32950928 swapFree=67111464/67111528
[pid=10064] ppid=10062 vsize=3095276 CPUtime=407.52 cores=1,3,5,7
/proc/10064/stat : 10064 (strangenight1-m) R 10062 10064 9128 0 -1 4202496 729203 0 0 0 40438 314 0 0 25 0 4 0 529769584 3169562624 594440 33554432000 4194304 4650419 140734390282128 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10064/statm: 773819 594440 392 112 0 768784 0
[pid=10064/tid=10065] ppid=10062 vsize=3095276 CPUtime=102.02 cores=1,3,5,7
/proc/10064/task/10065/stat : 10065 (strangenight1-m) R 10062 10064 9128 0 -1 4202560 203997 0 0 0 10121 81 0 0 25 0 4 0 529769584 3169562624 594440 33554432000 4194304 4650419 140734390282128 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10064/tid=10066] ppid=10062 vsize=3095276 CPUtime=102.02 cores=1,3,5,7
/proc/10064/task/10066/stat : 10066 (strangenight1-m) R 10062 10064 9128 0 -1 4202560 198366 0 0 0 10120 82 0 0 25 0 4 0 529769584 3169562624 594440 33554432000 4194304 4650419 140734390282128 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10064/tid=10067] ppid=10062 vsize=3095276 CPUtime=101.46 cores=1,3,5,7
/proc/10064/task/10067/stat : 10067 (strangenight1-m) R 10062 10064 9128 0 -1 4202560 126831 0 0 0 10079 67 0 0 25 0 4 0 529769584 3169562624 594440 33554432000 4194304 4650419 140734390282128 18446744073709551615 4363337 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 407.52
Current children cumulated vsize (KiB) 3095276

[startup+162.301 s]

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

Current children cumulated CPU time (s) 2564.58
Current children cumulated vsize (KiB) 3883276

[startup+702.301 s]
/proc/loadavg: 6.66 7.66 7.73 7/184 10086
/proc/meminfo: memFree=25820288/32950928 swapFree=67111464/67111528
[pid=10064] ppid=10062 vsize=3987328 CPUtime=2804.15 cores=1,3,5,7
/proc/10064/stat : 10064 (strangenight1-m) R 10062 10064 9128 0 -1 4202496 3621168 0 0 0 279654 761 0 0 25 0 4 0 529769584 4083023872 823964 33554432000 4194304 4650419 140734390282128 18446744073709551615 4368084 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/10064/statm: 996832 823964 395 112 0 991797 0
[pid=10064/tid=10065] ppid=10062 vsize=3987328 CPUtime=702.01 cores=1,3,5,7
/proc/10064/task/10065/stat : 10065 (strangenight1-m) R 10062 10064 9128 0 -1 4202560 1520050 0 0 0 69937 264 0 0 25 0 4 0 529769584 4083023872 823964 33554432000 4194304 4650419 140734390282128 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10064/tid=10066] ppid=10062 vsize=3987328 CPUtime=702.01 cores=1,3,5,7
/proc/10064/task/10066/stat : 10066 (strangenight1-m) R 10062 10064 9128 0 -1 4202560 1148795 0 0 0 69961 240 0 0 25 0 4 0 529769584 4083023872 823964 33554432000 4194304 4650419 140734390282128 18446744073709551615 4420838 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10064/tid=10067] ppid=10062 vsize=3987328 CPUtime=699.2 cores=1,3,5,7
/proc/10064/task/10067/stat : 10067 (strangenight1-m) R 10062 10064 9128 0 -1 4202560 467574 0 0 0 69798 122 0 0 25 0 4 0 529769584 4083023872 823964 33554432000 4194304 4650419 140734390282128 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2804.15
Current children cumulated vsize (KiB) 3987328

[startup+762.306 s]
/proc/loadavg: 5.11 7.04 7.52 5/175 10105
/proc/meminfo: memFree=26943576/32950928 swapFree=67111464/67111528
[pid=10064] ppid=10062 vsize=4063440 CPUtime=3043.83 cores=1,3,5,7
/proc/10064/stat : 10064 (strangenight1-m) R 10062 10064 9128 0 -1 4202496 4406184 0 0 0 303511 872 0 0 25 0 4 0 529769584 4160962560 834289 33554432000 4194304 4650419 140734390282128 18446744073709551615 4224463 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/10064/statm: 1015860 834289 395 112 0 1010825 0
[pid=10064/tid=10065] ppid=10062 vsize=4063440 CPUtime=762.02 cores=1,3,5,7
/proc/10064/task/10065/stat : 10065 (strangenight1-m) R 10062 10064 9128 0 -1 4202560 2285549 0 0 0 75835 367 0 0 25 0 4 0 529769584 4160962560 834289 33554432000 4194304 4650419 140734390282128 18446744073709551615 268272356354 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10064/tid=10066] ppid=10062 vsize=4063440 CPUtime=762.02 cores=1,3,5,7
/proc/10064/task/10066/stat : 10066 (strangenight1-m) R 10062 10064 9128 0 -1 4202560 1158483 0 0 0 75957 245 0 0 25 0 4 0 529769584 4160962560 834289 33554432000 4194304 4650419 140734390282128 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10064/tid=10067] ppid=10062 vsize=4063440 CPUtime=759.2 cores=1,3,5,7
/proc/10064/task/10067/stat : 10067 (strangenight1-m) R 10062 10064 9128 0 -1 4202560 469935 0 0 0 75797 123 0 0 25 0 4 0 529769584 4160962560 834289 33554432000 4194304 4650419 140734390282128 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3043.83
Current children cumulated vsize (KiB) 4063440

[startup+822.3 s]
/proc/loadavg: 4.45 6.50 7.30 5/175 10107
/proc/meminfo: memFree=26889064/32950928 swapFree=67111464/67111528
[pid=10064] ppid=10062 vsize=4142976 CPUtime=3283.48 cores=1,3,5,7
/proc/10064/stat : 10064 (strangenight1-m) R 10062 10064 9128 0 -1 4202496 4475273 0 0 0 327460 888 0 0 25 0 4 0 529769584 4242407424 848293 33554432000 4194304 4650419 140734390282128 18446744073709551615 4364941 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/10064/statm: 1035744 848293 395 112 0 1030709 0
[pid=10064/tid=10065] ppid=10062 vsize=4142976 CPUtime=822.01 cores=1,3,5,7
/proc/10064/task/10065/stat : 10065 (strangenight1-m) R 10062 10064 9128 0 -1 4202560 2289359 0 0 0 81832 369 0 0 25 0 4 0 529769584 4242407424 848293 33554432000 4194304 4650419 140734390282128 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10064/tid=10066] ppid=10062 vsize=4142976 CPUtime=822.01 cores=1,3,5,7
/proc/10064/task/10066/stat : 10066 (strangenight1-m) R 10062 10064 9128 0 -1 4202560 1168399 0 0 0 81954 247 0 0 25 0 4 0 529769584 4242407424 848293 33554432000 4194304 4650419 140734390282128 18446744073709551615 4363335 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10064/tid=10067] ppid=10062 vsize=4142976 CPUtime=819.2 cores=1,3,5,7
/proc/10064/task/10067/stat : 10067 (strangenight1-m) R 10062 10064 9128 0 -1 4202560 475278 0 0 0 81795 125 0 0 25 0 4 0 529769584 4242407424 848293 33554432000 4194304 4650419 140734390282128 18446744073709551615 4363680 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3283.48
Current children cumulated vsize (KiB) 4142976

[startup+882.301 s]
/proc/loadavg: 4.20 6.06 7.09 5/175 10108
/proc/meminfo: memFree=26605536/32950928 swapFree=67111464/67111528
[pid=10064] ppid=10062 vsize=4510880 CPUtime=3523.16 cores=1,3,5,7
/proc/10064/stat : 10064 (strangenight1-m) R 10062 10064 9128 0 -1 4202496 4569462 0 0 0 351411 905 0 0 25 0 4 0 529769584 4619141120 920056 33554432000 4194304 4650419 140734390282128 18446744073709551615 4304183 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/10064/statm: 1127720 920056 395 112 0 1122685 0
[pid=10064/tid=10065] ppid=10062 vsize=4510880 CPUtime=882.02 cores=1,3,5,7
/proc/10064/task/10065/stat : 10065 (strangenight1-m) R 10062 10064 9128 0 -1 4202560 2307486 0 0 0 87830 372 0 0 25 0 4 0 529769584 4619141120 920056 33554432000 4194304 4650419 140734390282128 18446744073709551615 4236872 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10064/tid=10066] ppid=10062 vsize=4510880 CPUtime=882.01 cores=1,3,5,7
/proc/10064/task/10066/stat : 10066 (strangenight1-m) R 10062 10064 9128 0 -1 4202560 1170183 0 0 0 87953 248 0 0 25 0 4 0 529769584 4619141120 920056 33554432000 4194304 4650419 140734390282128 18446744073709551615 4310650 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10064/tid=10067] ppid=10062 vsize=4510880 CPUtime=879.2 cores=1,3,5,7
/proc/10064/task/10067/stat : 10067 (strangenight1-m) R 10062 10064 9128 0 -1 4202560 537518 0 0 0 87784 136 0 0 25 0 4 0 529769584 4619141120 920056 33554432000 4194304 4650419 140734390282128 18446744073709551615 4370329 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3523.16
Current children cumulated vsize (KiB) 4510880

[startup+942.301 s]
/proc/loadavg: 4.07 5.68 6.90 5/175 10110
/proc/meminfo: memFree=26498588/32950928 swapFree=67111464/67111528
[pid=10064] ppid=10062 vsize=4598232 CPUtime=3762.85 cores=1,3,5,7
/proc/10064/stat : 10064 (strangenight1-m) R 10062 10064 9128 0 -1 4202496 4603333 0 0 0 375370 915 0 0 25 0 4 0 529769584 4708589568 945532 33554432000 4194304 4650419 140734390282128 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/10064/statm: 1149558 945532 395 112 0 1144523 0
[pid=10064/tid=10065] ppid=10062 vsize=4598232 CPUtime=942.02 cores=1,3,5,7
/proc/10064/task/10065/stat : 10065 (strangenight1-m) R 10062 10064 9128 0 -1 4202560 2321735 0 0 0 93828 374 0 0 25 0 4 0 529769584 4708589568 945532 33554432000 4194304 4650419 140734390282128 18446744073709551615 4230695 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10064/tid=10066] ppid=10062 vsize=4598232 CPUtime=942.02 cores=1,3,5,7
/proc/10064/task/10066/stat : 10066 (strangenight1-m) R 10062 10064 9128 0 -1 4202560 1171701 0 0 0 93953 249 0 0 25 0 4 0 529769584 4708589568 945532 33554432000 4194304 4650419 140734390282128 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10064/tid=10067] ppid=10062 vsize=4598232 CPUtime=939.2 cores=1,3,5,7
/proc/10064/task/10067/stat : 10067 (strangenight1-m) R 10062 10064 9128 0 -1 4202560 554469 0 0 0 93778 142 0 0 25 0 4 0 529769584 4708589568 945532 33554432000 4194304 4650419 140734390282128 18446744073709551615 4365477 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3762.85
Current children cumulated vsize (KiB) 4598232

[startup+1002.3 s]
/proc/loadavg: 4.02 5.37 6.71 5/175 10111
/proc/meminfo: memFree=26433180/32950928 swapFree=67111464/67111528
[pid=10064] ppid=10062 vsize=4653736 CPUtime=4002.53 cores=1,3,5,7
/proc/10064/stat : 10064 (strangenight1-m) R 10062 10064 9128 0 -1 4202496 4654302 0 0 0 399324 929 0 0 25 0 4 0 529769584 4765425664 962255 33554432000 4194304 4650419 140734390282128 18446744073709551615 4230553 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/10064/statm: 1163434 962255 395 112 0 1158399 0
[pid=10064/tid=10065] ppid=10062 vsize=4653736 CPUtime=1002.02 cores=1,3,5,7
/proc/10064/task/10065/stat : 10065 (strangenight1-m) R 10062 10064 9128 0 -1 4202560 2330489 0 0 0 99823 379 0 0 25 0 4 0 529769584 4765425664 962255 33554432000 4194304 4650419 140734390282128 18446744073709551615 268272350241 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10064/tid=10066] ppid=10062 vsize=4653736 CPUtime=1002.02 cores=1,3,5,7
/proc/10064/task/10066/stat : 10066 (strangenight1-m) R 10062 10064 9128 0 -1 4202560 1183406 0 0 0 99951 251 0 0 25 0 4 0 529769584 4765425664 962255 33554432000 4194304 4650419 140734390282128 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10064/tid=10067] ppid=10062 vsize=4653736 CPUtime=999.2 cores=1,3,5,7
/proc/10064/task/10067/stat : 10067 (strangenight1-m) R 10062 10064 9128 0 -1 4202560 567392 0 0 0 99775 145 0 0 25 0 4 0 529769584 4765425664 962255 33554432000 4194304 4650419 140734390282128 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4002.53
Current children cumulated vsize (KiB) 4653736

[startup+1062.3 s]
/proc/loadavg: 4.01 5.12 6.54 5/175 10113
/proc/meminfo: memFree=26379064/32950928 swapFree=67111464/67111528
[pid=10064] ppid=10062 vsize=4655620 CPUtime=4242.19 cores=1,3,5,7
/proc/10064/stat : 10064 (strangenight1-m) R 10062 10064 9128 0 -1 4202496 4678865 0 0 0 423281 938 0 0 25 0 4 0 529769584 4767354880 970204 33554432000 4194304 4650419 140734390282128 18446744073709551615 4230573 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/10064/statm: 1163905 970204 395 112 0 1158870 0
[pid=10064/tid=10065] ppid=10062 vsize=4655620 CPUtime=1062.03 cores=1,3,5,7
/proc/10064/task/10065/stat : 10065 (strangenight1-m) R 10062 10064 9128 0 -1 4202560 2343282 0 0 0 105818 385 0 0 25 0 4 0 529769584 4767354880 970204 33554432000 4194304 4650419 140734390282128 18446744073709551615 4363762 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10064/tid=10066] ppid=10062 vsize=4655620 CPUtime=1062 cores=1,3,5,7
/proc/10064/task/10066/stat : 10066 (strangenight1-m) R 10062 10064 9128 0 -1 4202560 1187734 0 0 0 105948 252 0 0 25 0 4 0 529769584 4767354880 970204 33554432000 4194304 4650419 140734390282128 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10064/tid=10067] ppid=10062 vsize=4655620 CPUtime=1059.2 cores=1,3,5,7
/proc/10064/task/10067/stat : 10067 (strangenight1-m) R 10062 10064 9128 0 -1 4202560 569129 0 0 0 105774 146 0 0 25 0 4 0 529769584 4767354880 970204 33554432000 4194304 4650419 140734390282128 18446744073709551615 4303973 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4242.19
Current children cumulated vsize (KiB) 4655620

[startup+1122.3 s]
/proc/loadavg: 4.00 4.91 6.38 5/175 10115
/proc/meminfo: memFree=26336732/32950928 swapFree=67111464/67111528
[pid=10064] ppid=10062 vsize=4707016 CPUtime=4481.84 cores=1,3,5,7
/proc/10064/stat : 10064 (strangenight1-m) R 10062 10064 9128 0 -1 4202496 4872462 0 0 0 447215 969 0 0 25 0 4 0 529769584 4819984384 986134 33554432000 4194304 4650419 140734390282128 18446744073709551615 4230695 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/10064/statm: 1176754 986134 395 112 0 1171719 0
[pid=10064/tid=10065] ppid=10062 vsize=4707016 CPUtime=1122.02 cores=1,3,5,7
/proc/10064/task/10065/stat : 10065 (strangenight1-m) R 10062 10064 9128 0 -1 4202560 2344447 0 0 0 111816 386 0 0 25 0 4 0 529769584 4819984384 986134 33554432000 4194304 4650419 140734390282128 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10064/tid=10066] ppid=10062 vsize=4707016 CPUtime=1122.01 cores=1,3,5,7
/proc/10064/task/10066/stat : 10066 (strangenight1-m) R 10062 10064 9128 0 -1 4202560 1366036 0 0 0 111921 280 0 0 25 0 4 0 529769584 4819984384 986134 33554432000 4194304 4650419 140734390282128 18446744073709551615 4419144 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10064/tid=10067] ppid=10062 vsize=4707016 CPUtime=1119.19 cores=1,3,5,7
/proc/10064/task/10067/stat : 10067 (strangenight1-m) R 10062 10064 9128 0 -1 4202560 571395 0 0 0 111772 147 0 0 25 0 4 0 529769584 4819984384 986134 33554432000 4194304 4650419 140734390282128 18446744073709551615 4363738 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4481.84
Current children cumulated vsize (KiB) 4707016

[startup+1182.3 s]
/proc/loadavg: 4.00 4.74 6.23 5/175 10125
/proc/meminfo: memFree=26262516/32950928 swapFree=67111464/67111528
[pid=10064] ppid=10062 vsize=4772552 CPUtime=4721.53 cores=1,3,5,7
/proc/10064/stat : 10064 (strangenight1-m) R 10062 10064 9128 0 -1 4202496 4893088 0 0 0 471177 976 0 0 25 0 4 0 529769584 4887093248 1004475 33554432000 4194304 4650419 140734390282128 18446744073709551615 4230804 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/10064/statm: 1193138 1004475 395 112 0 1188103 0
[pid=10064/tid=10065] ppid=10062 vsize=4772552 CPUtime=1182.02 cores=1,3,5,7
/proc/10064/task/10065/stat : 10065 (strangenight1-m) R 10062 10064 9128 0 -1 4202560 2345690 0 0 0 117815 387 0 0 25 0 4 0 529769584 4887093248 1004475 33554432000 4194304 4650419 140734390282128 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10064/tid=10066] ppid=10062 vsize=4772552 CPUtime=1182.01 cores=1,3,5,7
/proc/10064/task/10066/stat : 10066 (strangenight1-m) R 10062 10064 9128 0 -1 4202560 1367480 0 0 0 117920 281 0 0 25 0 4 0 529769584 4887093248 1004475 33554432000 4194304 4650419 140734390282128 18446744073709551615 4303973 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10064/tid=10067] ppid=10062 vsize=4772552 CPUtime=1179.2 cores=1,3,5,7
/proc/10064/task/10067/stat : 10067 (strangenight1-m) R 10062 10064 9128 0 -1 4202560 573298 0 0 0 117771 149 0 0 25 0 4 0 529769584 4887093248 1004475 33554432000 4194304 4650419 140734390282128 18446744073709551615 4363762 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4721.53
Current children cumulated vsize (KiB) 4772552



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202 s]
/proc/loadavg: 4.00 4.69 6.18 5/175 10126
/proc/meminfo: memFree=26256640/32950928 swapFree=67111464/67111528
[pid=10064] ppid=10062 vsize=4772552 CPUtime=4800.24 cores=1,3,5,7
/proc/10064/stat : 10064 (strangenight1-m) R 10062 10064 9128 0 -1 4202496 4894473 0 0 0 479047 977 0 0 25 0 4 0 529769584 4887093248 1005860 33554432000 4194304 4650419 140734390282128 18446744073709551615 4230548 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/10064/statm: 1193138 1005860 395 112 0 1188103 0
[pid=10064/tid=10065] ppid=10062 vsize=4772552 CPUtime=1201.73 cores=1,3,5,7
/proc/10064/task/10065/stat : 10065 (strangenight1-m) R 10062 10064 9128 0 -1 4202560 2346067 0 0 0 119785 388 0 0 25 0 4 0 529769584 4887093248 1005860 33554432000 4194304 4650419 140734390282128 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10064/tid=10066] ppid=10062 vsize=4772552 CPUtime=1201.71 cores=1,3,5,7
/proc/10064/task/10066/stat : 10066 (strangenight1-m) R 10062 10064 9128 0 -1 4202560 1368079 0 0 0 119890 281 0 0 25 0 4 0 529769584 4887093248 1005860 33554432000 4194304 4650419 140734390282128 18446744073709551615 4304183 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10064/tid=10067] ppid=10062 vsize=4772552 CPUtime=1198.91 cores=1,3,5,7
/proc/10064/task/10067/stat : 10067 (strangenight1-m) R 10062 10064 9128 0 -1 4202560 573707 0 0 0 119742 149 0 0 25 0 4 0 529769584 4887093248 1005860 33554432000 4194304 4650419 140734390282128 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.24
Current children cumulated vsize (KiB) 4772552

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

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

[startup+1202.11 s]
/proc/loadavg: 4.00 4.69 6.18 5/175 10126
/proc/meminfo: memFree=26256640/32950928 swapFree=67111464/67111528
[pid=10064] ppid=10062 vsize=0 CPUtime=4800.36 cores=1,3,5,7
/proc/10064/stat : 10064 (strangenight1-m) R 10062 10064 9128 0 -1 4203524 4894473 0 0 0 479049 987 0 0 25 0 1 0 529769584 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10064/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 4800.36
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.18
CPU time (s): 4800.44
CPU user time (s): 4790.49
CPU system time (s): 9.94049
CPU usage (%): 399.311
Max. virtual memory (cumulated for all children) (KiB): 4820832

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4790.49
system time used= 9.94049
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4894473
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= 218273
involuntary context switches= 26959

runsolver used 1.84372 second user time and 4.71228 second system time

The end

Launcher Data 

Begin job on node122 at 2011-04-30 18:41:48
IDJOB=3293568
IDBENCH=88159
IDSOLVER=1588
FILE ID=node122/3293568-1304181707
RUNJOBID= node122-1304180481-9770
PBS_JOBID= 13172421
Free space on /tmp= 73148 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT-Race-2010-CNF/hardware-verification/velev/1dlx_c_iq57_a.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3293568-1304181707/watcher-3293568-1304181707 -o /tmp/evaluation-result-3293568-1304181707/solver-3293568-1304181707 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3293568-1304181707.cnf

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

MD5SUM BENCH= 953b9cb99bfd26cff0e1ac65be1241f6
RANDOM SEED=797344642

node122.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.820
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.64
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.820
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.820
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.75
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.820
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.83
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.820
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.75
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.820
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.820
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.75
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.820
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.97
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      29921040 kB
Buffers:        341640 kB
Cached:        1921872 kB
SwapCached:         64 kB
Active:         924412 kB
Inactive:      1755456 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29921040 kB
SwapTotal:    67111528 kB
SwapFree:     67111464 kB
Dirty:          210208 kB
Writeback:           0 kB
AnonPages:      416328 kB
Mapped:          15724 kB
Slab:           284576 kB
PageTables:       5540 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   783532 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= 73152 MiB
End job on node122 at 2011-04-30 19:01:52