Trace number 3394684

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-2-mt (fixed)? (TO) 40001.3 5011.93

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E00N23.cnf
MD5SUM1a1f0dddf727883e0973677dd00e9269
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark3122.96
Satisfiable
(Un)Satisfiability was proved
Number of variables15364
Number of clauses2210893
Sum of the clauses size20370578
Maximum clause length105
Minimum clause length1
Number of clauses of size 128
Number of clauses of size 241189
Number of clauses of size 336730
Number of clauses of size 432798
Number of clauses of size 5188784
Number of clauses of size over 51911364

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 8 threads
0.00/0.02	c This is CryptoMiniSat 3.0.0
0.00/0.02	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.02	c Reading file 'HOME/instance-3394684-1306102938.cnf'
0.00/0.02	c -- header says num vars:          15364
0.00/0.02	c -- header says num clauses:     2210893
9.55/1.32	c -- clauses added:            0 learnts,      2210893 normals,            0 xors
9.55/1.32	c -- vars added      15364
9.55/1.32	c Parsing time:  1.01 s
9.55/1.32	c  N st     0         0     15364   2169520     39444         0  20327211         0   no data   no data
11.93/1.67	c asymm  cl-useful: 0/4577/2168587 lits-rem:0 time: 0.29
68.60/8.74	c Flit:    20 Blit:      0 bXBeca:    0 bXProp:  136 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T:  6.95
90.12/11.45	c Replacing      136 vars Replaced  1510727 lits Time:     2.64 s 
105.47/13.70	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
105.47/13.70	c bin-w-bin subsume rem          706 bins  time:  0.01 s
148.55/19.16	c subs with bin:     6661  lits-rem:       241  v-fix:    0  time:  5.46 s
149.35/19.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2881 time:  0.05 s
149.35/19.26	c Removed useless bin:       0  fixed:     0  props:   3.91M  time:  0.04 s
9218.00/1155.31	c lits-rem:         0  cl-subs:    21348  v-elim:   1112  v-fix:    0  time: 1135.78 s
9218.00/1155.34	c Finding binary XORs  T:     0.03 s  found:       0
9218.80/1155.44	c calculated reachability. Time: 0.01
9219.61/1155.53	c Calc default polars -  time:   0.09 s pos:     430 undec:    2220 neg:   12714
9219.61/1155.53	c =========================================================================================
9219.61/1155.53	c types(t): F = full restart, N = normal restart
9219.61/1155.53	c types(t): S = simplification begin/end, E = solution found
9219.61/1155.53	c restart types(rt): st = static, dy = dynamic
9219.61/1155.53	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
9219.61/1155.53	c  B st     0         0     13144   2141932     34626         0  19740814         0   no data   no data
9238.76/1157.99	c  N dy    20      4199     13137   2141932     34720      4036  19740814    162281      9.09      9.67
9266.70/1161.44	c Finding binary XORs  T:     0.03 s  found:       3
9268.43/1161.64	c  N dy    47      8289     13115   2133520     38743      7949  19693576    329561      9.27     10.76
9295.58/1165.02	c  N dy    71     12382     13115   2133520     38874     11963  19693576    499257      9.47     14.78
9313.14/1167.24	c  N dy    91     16491     13115   2133520     38907     15978  19693576    655897      9.62     10.15
9329.91/1169.39	c  N dy   118     20740     13115   2133520     38936     10452  19693576    228438      9.87     10.47
9350.52/1171.95	c  N dy   144     24820     13115   2133520     39140     14477  19693576    395032      9.97     10.55
9352.12/1172.15	c  F st   146     25002     13115   2133520     39142     14655  19693576    401256      9.97   no data
9352.92/1172.28	c Replacing        3 vars Replaced      526 lits Time:     0.13 s 
9402.41/1178.43	c  N dy   152     30000     13112   2133520     39178     19568  19693566    688349      9.97   no data
9402.41/1178.43	c  S st   152     30000     13112   2133520     39178     19568  19693566    688349      9.97   no data
9410.40/1179.40	c Finding binary XORs  T:     0.03 s  found:       0
9439.94/1183.10	c  S st   152     30502     13112   2133520     39197     20051  19693566    699441      9.97   no data
9440.74/1183.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.12
9582.84/1201.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins: 393644 BRemL: 224489 BRemN:      0 P: 200.0M T: 17.78
9591.63/1202.14	c blocked clauses removed:        0 vars:      0 tried:       13112 T: 0.01 s
9591.63/1202.17	c bin-w-bin subsume rem          559 bins  time:  0.02 s
9713.74/1217.40	c subs with bin:     7965  lits-rem:    146190  v-fix:    0  time: 15.21 s
9715.34/1217.62	c Subs w/ non-existent bins:     23 l-rem:   7965 v-fix:     0 done:    119 time:  0.23 s
9715.34/1217.71	c Removed useless bin:      17  fixed:     0  props:   1.42M  time:  0.05 s
19466.04/2439.14	c lits-rem:         0  cl-subs:    66529  v-elim:     50  v-fix:    0  time: 1221.05 s
19473.22/2440.07	c subs with bin:      182  lits-rem:      8146  v-fix:    0  time:  0.82 s
32816.28/4111.63	c lits-rem:        23  cl-subs:     1768  v-elim:      0  v-fix:    0  time: 1669.88 s
32825.86/4112.87	c asymm  cl-useful: 0/2464/2056102 lits-rem:0 time: 1.23
32826.79/4112.99	c calculated reachability. Time: 0.02
32826.79/4112.99	c  N dy   152     30502     13062   2056102    200765     17587  19008451    905058      9.97   no data
32827.59/4113.05	c Finding binary XORs  T:     0.05 s  found:       0
32871.49/4118.54	c  N dy   177     34535     13061   2056102    200776     21581  19008451   1117911     10.03     18.82
32904.08/4122.68	c Finding binary XORs  T:     0.06 s  found:      21
32910.46/4123.42	c  N dy   208     38541     12977   2045582    631164     24368  18773066   2165000     10.21     10.78
32957.57/4129.40	c  N dy   235     42736     12977   2045582    632931     14661  18773066   1464999     10.25     10.87
32980.72/4132.28	c  S st   245     45753     12977   2045582    632934     17658  18773066   1587968     10.19      8.07
33026.23/4137.91	c  S st   245     46254     12977   2045582    632939     18154  18773066   1602567     10.19   no data
33027.83/4138.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.21
33206.62/4160.52	c Flit:     4 Blit:      0 bXBeca:    0 bXProp:   23 Bins:  20153 BRemL: 213359 BRemN:      0 P: 200.0M T: 22.38
33211.42/4161.14	c Replacing       44 vars Replaced   216037 lits Time:     0.62 s 
33228.18/4163.22	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
33228.18/4163.28	c bin-w-bin subsume rem         3485 bins  time:  0.06 s
33661.78/4217.53	c subs with bin:    29465  lits-rem:      1217  v-fix:    0  time: 54.24 s
33662.42/4217.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    578 time:  0.09 s
33662.42/4217.68	c Removed useless bin:       7  fixed:     0  props:   1.53M  time:  0.06 s

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: 961)

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-3394684-1306102938/watcher-3394684-1306102938 -o /tmp/evaluation-result-3394684-1306102938/solver-3394684-1306102938 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3394684-1306102938.cnf 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.36 0.78 3.32 2/457 29895
/proc/meminfo: memFree=9980896/32950928 swapFree=62427732/67111528
[pid=29895] ppid=29893 vsize=92144 CPUtime=0.08 cores=0-7
/proc/29895/stat : 29895 (strangenight2-m) R 29893 29895 29799 0 -1 4202496 420 0 0 0 8 0 0 0 22 0 8 0 721893984 94355456 360 33554432000 4194304 4580107 140733302670704 18446744073709551615 47174633625522 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29895/statm: 23036 360 302 95 0 18018 0
[pid=29895/tid=29896] ppid=29893 vsize=92144 CPUtime=0.01 cores=0-7
/proc/29895/task/29896/stat : 29896 (strangenight2-m) R 29893 29895 29799 0 -1 4202560 4 0 0 0 1 0 0 0 22 0 8 0 721893984 94355456 360 33554432000 4194304 4580107 140733302670704 18446744073709551615 47174633625113 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29895/tid=29897] ppid=29893 vsize=92144 CPUtime=0.01 cores=0-7
/proc/29895/task/29897/stat : 29897 (strangenight2-m) R 29893 29895 29799 0 -1 4202560 1 0 0 0 1 0 0 0 22 0 8 0 721893984 94355456 360 33554432000 4194304 4580107 140733302670704 18446744073709551615 47174633625107 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29895/tid=29898] ppid=29893 vsize=92144 CPUtime=0 cores=0-7
/proc/29895/task/29898/stat : 29898 (strangenight2-m) R 29893 29895 29799 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 721893984 94355456 360 33554432000 4194304 4580107 140733302670704 18446744073709551615 47174633625522 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29895/tid=29899] ppid=29893 vsize=92144 CPUtime=0.01 cores=0-7
/proc/29895/task/29899/stat : 29899 (strangenight2-m) R 29893 29895 29799 0 -1 4202560 1 0 0 0 1 0 0 0 23 0 8 0 721893984 94355456 360 33554432000 4194304 4580107 140733302670704 18446744073709551615 47174633625113 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29895/tid=29900] ppid=29893 vsize=92144 CPUtime=0.01 cores=0-7
/proc/29895/task/29900/stat : 29900 (strangenight2-m) R 29893 29895 29799 0 -1 4202560 1 0 0 0 1 0 0 0 23 0 8 0 721893984 94355456 360 33554432000 4194304 4580107 140733302670704 18446744073709551615 47174633625107 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29895/tid=29901] ppid=29893 vsize=92144 CPUtime=0 cores=0-7
/proc/29895/task/29901/stat : 29901 (strangenight2-m) R 29893 29895 29799 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 8 0 721893984 94355456 360 33554432000 4194304 4580107 140733302670704 18446744073709551615 47174633625117 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29895/tid=29902] ppid=29893 vsize=92144 CPUtime=0.01 cores=0-7
/proc/29895/task/29902/stat : 29902 (strangenight2-m) R 29893 29895 29799 0 -1 4202560 1 0 0 0 1 0 0 0 23 0 8 0 721893984 94355456 360 33554432000 4194304 4580107 140733302670704 18446744073709551615 47174633625113 0 0 4096 2 0 0 0 -1 6 0 0 0

[startup+0.121383 s]
/proc/loadavg: 1.36 0.78 3.32 2/457 29895
/proc/meminfo: memFree=9980896/32950928 swapFree=62427732/67111528
[pid=29895] ppid=29893 vsize=493584 CPUtime=0.81 cores=0-7
/proc/29895/stat : 29895 (strangenight2-m) D 29893 29895 29799 0 -1 4202496 17833 0 0 0 69 12 0 0 18 0 8 0 721893984 505430016 17712 33554432000 4194304 4580107 140733302670704 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/29895/statm: 123456 18386 337 95 0 118438 0
[pid=29895/tid=29896] ppid=29893 vsize=493824 CPUtime=0.1 cores=0-7
/proc/29895/task/29896/stat : 29896 (strangenight2-m) R 29893 29895 29799 0 -1 4202560 2112 0 0 0 9 1 0 0 18 0 8 0 721893984 505675776 18386 33554432000 4194304 4580107 140733302670704 18446744073709551615 4487387 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29895/tid=29897] ppid=29893 vsize=493824 CPUtime=0.09 cores=0-7
/proc/29895/task/29897/stat : 29897 (strangenight2-m) R 29893 29895 29799 0 -1 4202560 2339 0 0 0 9 0 0 0 18 0 8 0 721893984 505675776 18386 33554432000 4194304 4580107 140733302670704 18446744073709551615 4252592 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29895/tid=29898] ppid=29893 vsize=493984 CPUtime=0.08 cores=0-7
/proc/29895/task/29898/stat : 29898 (strangenight2-m) R 29893 29895 29799 0 -1 4202560 2218 0 0 0 7 1 0 0 18 0 8 0 721893984 505839616 18469 33554432000 4194304 4580107 140733302670704 18446744073709551615 4252992 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29895/tid=29899] ppid=29893 vsize=494304 CPUtime=0.1 cores=0-7
/proc/29895/task/29899/stat : 29899 (strangenight2-m) D 29893 29895 29799 0 -1 4202560 2394 0 0 0 9 1 0 0 18 0 8 0 721893984 506167296 18646 33554432000 4194304 4580107 140733302670704 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29895/tid=29900] ppid=29893 vsize=494464 CPUtime=0.1 cores=0-7
/proc/29895/task/29900/stat : 29900 (strangenight2-m) R 29893 29895 29799 0 -1 4202560 2210 0 0 0 9 1 0 0 18 0 8 0 721893984 506331136 18654 33554432000 4194304 4580107 140733302670704 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29895/tid=29901] ppid=29893 vsize=495028 CPUtime=0.1 cores=0-7
/proc/29895/task/29901/stat : 29901 (strangenight2-m) D 29893 29895 29799 0 -1 4202560 2437 0 0 0 9 1 0 0 18 0 8 0 721893984 506908672 18661 33554432000 4194304 4580107 140733302670704 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29895/tid=29902] ppid=29893 vsize=494704 CPUtime=0.11 cores=0-7
/proc/29895/task/29902/stat : 29902 (strangenight2-m) D 29893 29895 29799 0 -1 4202560 2315 0 0 0 9 2 0 0 18 0 8 0 721893984 506576896 18669 33554432000 4194304 4580107 140733302670704 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.81
Current children cumulated vsize (KiB) 493584

[startup+0.244526 s]
/proc/loadavg: 1.36 0.78 3.32 2/457 29895
/proc/meminfo: memFree=9980896/32950928 swapFree=62427732/67111528
[pid=29895] ppid=29893 vsize=846192 CPUtime=1.7 cores=0-7
/proc/29895/stat : 29895 (strangenight2-m) S 29893 29895 29799 0 -1 4202496 43938 0 0 0 146 24 0 0 17 0 8 0 721893984 866500608 42486 33554432000 4194304 4580107 140733302670704 18446744073709551615 248089803246 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/29895/statm: 211548 42538 338 95 0 206530 0
[pid=29895/tid=29896] ppid=29893 vsize=846192 CPUtime=0.21 cores=0-7
/proc/29895/task/29896/stat : 29896 (strangenight2-m) S 29893 29895 29799 0 -1 4202560 4889 0 0 0 18 3 0 0 17 0 8 0 721893984 866500608 42551 33554432000 4194304 4580107 140733302670704 18446744073709551615 248089803246 0 0 4096 2 18446604460764451840 0 0 -1 0 0 0 0
[pid=29895/tid=29897] ppid=29893 vsize=846192 CPUtime=0.2 cores=0-7
/proc/29895/task/29897/stat : 29897 (strangenight2-m) S 29893 29895 29799 0 -1 4202560 5719 0 0 0 18 2 0 0 17 0 8 0 721893984 866500608 42560 33554432000 4194304 4580107 140733302670704 18446744073709551615 248089803246 0 0 4096 2 18446604460764451840 0 0 -1 4 0 0 0
[pid=29895/tid=29898] ppid=29893 vsize=846192 CPUtime=0.19 cores=0-7
/proc/29895/task/29898/stat : 29898 (strangenight2-m) S 29893 29895 29799 0 -1 4202560 5671 0 0 0 16 3 0 0 17 0 8 0 721893984 866500608 42577 33554432000 4194304 4580107 140733302670704 18446744073709551615 248089803246 0 0 4096 2 18446604460764451840 0 0 -1 5 0 0 0
[pid=29895/tid=29899] ppid=29893 vsize=846192 CPUtime=0.21 cores=0-7
/proc/29895/task/29899/stat : 29899 (strangenight2-m) R 29893 29895 29799 0 -1 4202560 5802 0 0 0 18 3 0 0 17 0 8 0 721893984 866500608 42595 33554432000 4194304 4580107 140733302670704 18446744073709551615 248089395303 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29895/tid=29900] ppid=29893 vsize=846192 CPUtime=0.21 cores=0-7
/proc/29895/task/29900/stat : 29900 (strangenight2-m) S 29893 29895 29799 0 -1 4202560 4702 0 0 0 19 2 0 0 17 0 8 0 721893984 866500608 42602 33554432000 4194304 4580107 140733302670704 18446744073709551615 248089803246 0 0 4096 2 18446604460764451840 0 0 -1 3 0 0 0
[pid=29895/tid=29901] ppid=29893 vsize=846192 CPUtime=0.21 cores=0-7
/proc/29895/task/29901/stat : 29901 (strangenight2-m) R 29893 29895 29799 0 -1 4202560 5852 0 0 0 19 2 0 0 17 0 8 0 721893984 866500608 42618 33554432000 4194304 4580107 140733302670704 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29895/tid=29902] ppid=29893 vsize=846192 CPUtime=0.21 cores=0-7
/proc/29895/task/29902/stat : 29902 (strangenight2-m) S 29893 29895 29799 0 -1 4202560 5390 0 0 0 18 3 0 0 17 0 8 0 721893984 866500608 42625 33554432000 4194304 4580107 140733302670704 18446744073709551615 248089803246 0 0 4096 2 18446604460764451840 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.7
Current children cumulated vsize (KiB) 846192

[startup+0.301629 s]
/proc/loadavg: 1.36 0.78 3.32 2/457 29895
/proc/meminfo: memFree=9980896/32950928 swapFree=62427732/67111528
[pid=29895] ppid=29893 vsize=862820 CPUtime=2.02 cores=0-7
/proc/29895/stat : 29895 (strangenight2-m) D 29893 29895 29799 0 -1 4202496 52950 0 0 0 164 38 0 0 17 0 8 0 721893984 883527680 51470 33554432000 4194304 4580107 140733302670704 18446744073709551615 248089359393 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/29895/statm: 215705 51470 338 95 0 210687 0
[pid=29895/tid=29896] ppid=29893 vsize=862820 CPUtime=0.25 cores=0-7
/proc/29895/task/29896/stat : 29896 (strangenight2-m) D 29893 29895 29799 0 -1 4202560 6045 0 0 0 21 4 0 0 17 0 8 0 721893984 883527680 51470 33554432000 4194304 4580107 140733302670704 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29895/tid=29897] ppid=29893 vsize=862820 CPUtime=0.24 cores=0-7
/proc/29895/task/29897/stat : 29897 (strangenight2-m) D 29893 29895 29799 0 -1 4202560 6838 0 0 0 20 4 0 0 17 0 8 0 721893984 883527680 51470 33554432000 4194304 4580107 140733302670704 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29895/tid=29898] ppid=29893 vsize=863540 CPUtime=0.22 cores=0-7
/proc/29895/task/29898/stat : 29898 (strangenight2-m) D 29893 29895 29799 0 -1 4202560 6860 0 0 0 18 4 0 0 17 0 8 0 721893984 884264960 51578 33554432000 4194304 4580107 140733302670704 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29895/tid=29899] ppid=29893 vsize=863540 CPUtime=0.25 cores=0-7
/proc/29895/task/29899/stat : 29899 (strangenight2-m) D 29893 29895 29799 0 -1 4202560 7033 0 0 0 20 5 0 0 17 0 8 0 721893984 884264960 51594 33554432000 4194304 4580107 140733302670704 18446744073709551615 4489504 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29895/tid=29900] ppid=29893 vsize=863540 CPUtime=0.25 cores=0-7
/proc/29895/task/29900/stat : 29900 (strangenight2-m) R 29893 29895 29799 0 -1 4202560 5829 0 0 0 21 4 0 0 17 0 8 0 721893984 884264960 51602 33554432000 4194304 4580107 140733302670704 18446744073709551615 248089803246 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29895/tid=29901] ppid=29893 vsize=863540 CPUtime=0.25 cores=0-7
/proc/29895/task/29901/stat : 29901 (strangenight2-m) D 29893 29895 29799 0 -1 4202560 6785 0 0 0 21 4 0 0 17 0 8 0 721893984 884264960 51602 33554432000 4194304 4580107 140733302670704 18446744073709551615 248089359393 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29895/tid=29902] ppid=29893 vsize=863540 CPUtime=0.25 cores=0-7
/proc/29895/task/29902/stat : 29902 (strangenight2-m) S 29893 29895 29799 0 -1 4202560 6496 0 0 0 20 5 0 0 17 0 8 0 721893984 884264960 51611 33554432000 4194304 4580107 140733302670704 18446744073709551615 248089803246 0 0 4096 2 18446604460764451840 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.02
Current children cumulated vsize (KiB) 862820

[startup+0.700428 s]
/proc/loadavg: 1.36 0.78 3.32 2/457 29895
/proc/meminfo: memFree=9980896/32950928 swapFree=62427732/67111528
[pid=29895] ppid=29893 vsize=1889992 CPUtime=4.88 cores=0-7
/proc/29895/stat : 29895 (strangenight2-m) R 29893 29895 29799 0 -1 4202496 168773 0 0 0 415 73 0 0 18 0 8 0 721893984 1935351808 167044 33554432000 4194304 4580107 140733302670704 18446744073709551615 4511000 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/29895/statm: 472498 167054 338 95 0 467480 0
[pid=29895/tid=29896] ppid=29893 vsize=1889992 CPUtime=0.61 cores=0-7
/proc/29895/task/29896/stat : 29896 (strangenight2-m) R 29893 29895 29799 0 -1 4202560 18065 0 0 0 54 7 0 0 18 0 8 0 721893984 1935351808 167057 33554432000 4194304 4580107 140733302670704 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29895/tid=29897] ppid=29893 vsize=1889992 CPUtime=0.6 cores=0-7
/proc/29895/task/29897/stat : 29897 (strangenight2-m) R 29893 29895 29799 0 -1 4202560 22778 0 0 0 51 9 0 0 18 0 8 0 721893984 1935351808 167063 33554432000 4194304 4580107 140733302670704 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29895/tid=29898] ppid=29893 vsize=1889992 CPUtime=0.58 cores=0-7
/proc/29895/task/29898/stat : 29898 (strangenight2-m) R 29893 29895 29799 0 -1 4202560 21896 0 0 0 49 9 0 0 18 0 8 0 721893984 1935351808 167068 33554432000 4194304 4580107 140733302670704 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29895/tid=29899] ppid=29893 vsize=1889992 CPUtime=0.6 cores=0-7
/proc/29895/task/29899/stat : 29899 (strangenight2-m) R 29893 29895 29799 0 -1 4202560 22273 0 0 0 51 9 0 0 18 0 8 0 721893984 1935351808 167073 33554432000 4194304 4580107 140733302670704 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29895/tid=29900] ppid=29893 vsize=1889992 CPUtime=0.6 cores=0-7
/proc/29895/task/29900/stat : 29900 (strangenight2-m) R 29893 29895 29799 0 -1 4202560 17282 0 0 0 53 7 0 0 18 0 8 0 721893984 1935351808 167079 33554432000 4194304 4580107 140733302670704 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29895/tid=29901] ppid=29893 vsize=1889992 CPUtime=0.61 cores=0-7
/proc/29895/task/29901/stat : 29901 (strangenight2-m) R 29893 29895 29799 0 -1 4202560 22255 0 0 0 52 9 0 0 18 0 8 0 721893984 1935351808 167081 33554432000 4194304 4580107 140733302670704 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29895/tid=29902] ppid=29893 vsize=1889992 CPUtime=0.6 cores=0-7
/proc/29895/task/29902/stat : 29902 (strangenight2-m) R 29893 29895 29799 0 -1 4202560 21943 0 0 0 50 10 0 0 18 0 8 0 721893984 1935351808 167088 33554432000 4194304 4580107 140733302670704 18446744073709551615 4487413 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.88
Current children cumulated vsize (KiB) 1889992

[startup+1.50129 s]
/proc/loadavg: 1.36 0.78 3.32 9/465 29903
/proc/meminfo: memFree=8816096/32950928 swapFree=62427732/67111528
[pid=29895] ppid=29893 vsize=2452884 CPUtime=11.14 cores=0-7
/proc/29895/stat : 29895 (strangenight2-m) R 29893 29895 29799 0 -1 4202496 368940 0 0 0 996 118 0 0 19 0 8 0 721893984 2511753216 367153 33554432000 4194304 4580107 140733302670704 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/29895/statm: 613221 367153 359 95 0 608203 0
[pid=29895/tid=29896] ppid=29893 vsize=2452884 CPUtime=1.4 cores=0-7
/proc/29895/task/29896/stat : 29896 (strangenight2-m) R 29893 29895 29799 0 -1 4202560 44526 0 0 0 126 14 0 0 19 0 8 0 721893984 2511753216 367153 33554432000 4194304 4580107 140733302670704 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29895/tid=29897] ppid=29893 vsize=2452884 CPUtime=1.39 cores=0-7
/proc/29895/task/29897/stat : 29897 (strangenight2-m) R 29893 29895 29799 0 -1 4202560 47943 0 0 0 124 15 0 0 19 0 8 0 721893984 2511753216 367155 33554432000 4194304 4580107 140733302670704 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29895/tid=29898] ppid=29893 vsize=2452884 CPUtime=1.36 cores=0-7
/proc/29895/task/29898/stat : 29898 (strangenight2-m) R 29893 29895 29799 0 -1 4202560 47922 0 0 0 122 14 0 0 19 0 8 0 721893984 2511753216 367155 33554432000 4194304 4580107 140733302670704 18446744073709551615 4294620 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29895/tid=29899] ppid=29893 vsize=2452884 CPUtime=1.39 cores=0-7
/proc/29895/task/29899/stat : 29899 (strangenight2-m) R 29893 29895 29799 0 -1 4202560 46331 0 0 0 124 15 0 0 19 0 8 0 721893984 2511753216 367155 33554432000 4194304 4580107 140733302670704 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29895/tid=29900] ppid=29893 vsize=2452884 CPUtime=1.39 cores=0-7
/proc/29895/task/29900/stat : 29900 (strangenight2-m) R 29893 29895 29799 0 -1 4202560 43763 0 0 0 127 12 0 0 19 0 8 0 721893984 2511753216 367155 33554432000 4194304 4580107 140733302670704 18446744073709551615 4294620 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29895/tid=29901] ppid=29893 vsize=2452884 CPUtime=1.39 cores=0-7
/proc/29895/task/29901/stat : 29901 (strangenight2-m) R 29893 29895 29799 0 -1 4202560 46779 0 0 0 124 15 0 0 18 0 8 0 721893984 2511753216 367155 33554432000 4194304 4580107 140733302670704 18446744073709551615 4294620 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29895/tid=29902] ppid=29893 vsize=2452884 CPUtime=1.39 cores=0-7
/proc/29895/task/29902/stat : 29902 (strangenight2-m) R 29893 29895 29799 0 -1 4202560 45482 0 0 0 124 15 0 0 19 0 8 0 721893984 2511753216 367155 33554432000 4194304 4580107 140733302670704 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 11.14
Current children cumulated vsize (KiB) 2452884

[startup+3.10101 s]
/proc/loadavg: 1.36 0.78 3.32 9/465 29903
/proc/meminfo: memFree=8403424/32950928 swapFree=62427732/67111528
[pid=29895] ppid=29893 vsize=2563260 CPUtime=23.89 cores=0-7
/proc/29895/stat : 29895 (strangenight2-m) R 29893 29895 29799 0 -1 4202496 412565 0 0 0 2262 127 0 0 22 0 8 0 721893984 2624778240 410777 33554432000 4194304 4580107 140733302670704 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/29895/statm: 640815 410777 360 95 0 635797 0
[pid=29895/tid=29896] ppid=29893 vsize=2563260 CPUtime=2.99 cores=0-7
/proc/29895/task/29896/stat : 29896 (strangenight2-m) R 29893 29895 29799 0 -1 4202560 50692 0 0 0 284 15 0 0 22 0 8 0 721893984 2624778240 410777 33554432000 4194304 4580107 140733302670704 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29895/tid=29897] ppid=29893 vsize=2563260 CPUtime=2.98 cores=0-7
/proc/29895/task/29897/stat : 29897 (strangenight2-m) R 29893 29895 29799 0 -1 4202560 53123 0 0 0 282 16 0 0 22 0 8 0 721893984 2624778240 410777 33554432000 4194304 4580107 140733302670704 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29895/tid=29898] ppid=29893 vsize=2563260 CPUtime=2.96 cores=0-7
/proc/29895/task/29898/stat : 29898 (strangenight2-m) R 29893 29895 29799 0 -1 4202560 53330 0 0 0 281 15 0 0 22 0 8 0 721893984 2624778240 410777 33554432000 4194304 4580107 140733302670704 18446744073709551615 4294468 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29895/tid=29899] ppid=29893 vsize=2563260 CPUtime=2.99 cores=0-7
/proc/29895/task/29899/stat : 29899 (strangenight2-m) R 29893 29895 29799 0 -1 4202560 50878 0 0 0 283 16 0 0 22 0 8 0 721893984 2624778240 410777 33554432000 4194304 4580107 140733302670704 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29895/tid=29900] ppid=29893 vsize=2563260 CPUtime=2.99 cores=0-7
/proc/29895/task/29900/stat : 29900 (strangenight2-m) R 29893 29895 29799 0 -1 4202560 51956 0 0 0 285 14 0 0 22 0 8 0 721893984 2624778240 410777 33554432000 4194304 4580107 140733302670704 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29895/tid=29901] ppid=29893 vsize=2563260 CPUtime=2.99 cores=0-7
/proc/29895/task/29901/stat : 29901 (strangenight2-m) R 29893 29895 29799 0 -1 4202560 51280 0 0 0 283 16 0 0 21 0 8 0 721893984 2624778240 410777 33554432000 4194304 4580107 140733302670704 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29895/tid=29902] ppid=29893 vsize=2563260 CPUtime=2.98 cores=0-7
/proc/29895/task/29902/stat : 29902 (strangenight2-m) R 29893 29895 29799 0 -1 4202560 49429 0 0 0 282 16 0 0 22 0 8 0 721893984 2624778240 410777 33554432000 4194304 4580107 140733302670704 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 23.89
Current children cumulated vsize (KiB) 2563260

[startup+6.30044 s]
/proc/loadavg: 1.97 0.92 3.35 9/465 29903
/proc/meminfo: memFree=8295308/32950928 swapFree=62427732/67111528
[pid=29895] ppid=29893 vsize=2572528 CPUtime=49.43 cores=0-7
/proc/29895/stat : 29895 (strangenight2-m) R 29893 29895 29799 0 -1 4202496 425305 0 0 0 4810 133 0 0 25 0 8 0 721893984 2634268672 423517 33554432000 4194304 4580107 140733302670704 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/29895/statm: 643132 423518 361 95 0 638114 0
[pid=29895/tid=29896] ppid=29893 vsize=2572528 CPUtime=6.19 cores=0-7
/proc/29895/task/29896/stat : 29896 (strangenight2-m) R 29893 29895 29799 0 -1 4202560 52202 0 0 0 603 16 0 0 25 0 8 0 721893984 2634268672 423518 33554432000 4194304 4580107 140733302670704 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29895/tid=29897] ppid=29893 vsize=2572528 CPUtime=6.18 cores=0-7
/proc/29895/task/29897/stat : 29897 (strangenight2-m) R 29893 29895 29799 0 -1 4202560 54885 0 0 0 602 16 0 0 25 0 8 0 721893984 2634268672 423518 33554432000 4194304 4580107 140733302670704 18446744073709551615 4294620 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29895/tid=29898] ppid=29893 vsize=2572528 CPUtime=6.16 cores=0-7
/proc/29895/task/29898/stat : 29898 (strangenight2-m) R 29893 29895 29799 0 -1 4202560 54832 0 0 0 600 16 0 0 25 0 8 0 721893984 2634268672 423518 33554432000 4194304 4580107 140733302670704 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29895/tid=29899] ppid=29893 vsize=2572528 CPUtime=6.19 cores=0-7
/proc/29895/task/29899/stat : 29899 (strangenight2-m) R 29893 29895 29799 0 -1 4202560 52284 0 0 0 603 16 0 0 25 0 8 0 721893984 2634268672 423526 33554432000 4194304 4580107 140733302670704 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29895/tid=29900] ppid=29893 vsize=2572528 CPUtime=6.18 cores=0-7
/proc/29895/task/29900/stat : 29900 (strangenight2-m) R 29893 29895 29799 0 -1 4202560 53751 0 0 0 603 15 0 0 25 0 8 0 721893984 2634268672 423531 33554432000 4194304 4580107 140733302670704 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29895/tid=29901] ppid=29893 vsize=2572528 CPUtime=6.18 cores=0-7
/proc/29895/task/29901/stat : 29901 (strangenight2-m) R 29893 29895 29799 0 -1 4202560 52893 0 0 0 601 17 0 0 25 0 8 0 721893984 2634268672 423531 33554432000 4194304 4580107 140733302670704 18446744073709551615 4294620 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29895/tid=29902] ppid=29893 vsize=2572528 CPUtime=6.18 cores=0-7
/proc/29895/task/29902/stat : 29902 (strangenight2-m) R 29893 29895 29799 0 -1 4202560 50977 0 0 0 602 16 0 0 25 0 8 0 721893984 2634268672 423532 33554432000 4194304 4580107 140733302670704 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 6 0 0 0

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

[pid=29895/tid=29898] ppid=29893 vsize=7560336 CPUtime=4661.82 cores=0-7
/proc/29895/task/29898/stat : 29898 (strangenight2-m) R 29893 29895 29799 0 -1 4202560 307413 0 0 0 466100 82 0 0 25 0 8 0 721893984 7741784064 1603377 33554432000 4194304 4580107 140733302670704 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29895/tid=29899] ppid=29893 vsize=7560336 CPUtime=4582.28 cores=0-7
/proc/29895/task/29899/stat : 29899 (strangenight2-m) R 29893 29895 29799 0 -1 4202560 322164 0 0 0 458132 96 0 0 25 0 8 0 721893984 7741784064 1603377 33554432000 4194304 4580107 140733302670704 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29895/tid=29900] ppid=29893 vsize=7560336 CPUtime=4661.69 cores=0-7
/proc/29895/task/29900/stat : 29900 (strangenight2-m) R 29893 29895 29799 0 -1 4202560 273917 0 0 0 466085 84 0 0 25 0 8 0 721893984 7741784064 1603377 33554432000 4194304 4580107 140733302670704 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29895/tid=29901] ppid=29893 vsize=7560336 CPUtime=4661.74 cores=0-7
/proc/29895/task/29901/stat : 29901 (strangenight2-m) R 29893 29895 29799 0 -1 4202560 329356 0 0 0 466066 108 0 0 25 0 8 0 721893984 7741784064 1603377 33554432000 4194304 4580107 140733302670704 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29895/tid=29902] ppid=29893 vsize=7560336 CPUtime=4661.84 cores=0-7
/proc/29895/task/29902/stat : 29902 (strangenight2-m) R 29893 29895 29799 0 -1 4202560 266488 0 0 0 466096 88 0 0 25 0 8 0 721893984 7741784064 1603377 33554432000 4194304 4580107 140733302670704 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 37212.4
Current children cumulated vsize (KiB) 7560336

[startup+4722.3 s]
/proc/loadavg: 8.05 8.05 8.00 9/465 30041
/proc/meminfo: memFree=3556716/32950928 swapFree=62427732/67111528
[pid=29895] ppid=29893 vsize=7560336 CPUtime=37691.5 cores=0-7
/proc/29895/stat : 29895 (strangenight2-m) R 29893 29895 29799 0 -1 4202496 2293795 0 0 0 3768407 742 0 0 25 0 8 0 721893984 7741784064 1603377 33554432000 4194304 4580107 140733302670704 18446744073709551615 4451684 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29895/statm: 1890084 1603377 377 95 0 1885066 0
[pid=29895/tid=29896] ppid=29893 vsize=7560336 CPUtime=4720.64 cores=0-7
/proc/29895/task/29896/stat : 29896 (strangenight2-m) R 29893 29895 29799 0 -1 4202560 252405 0 0 0 471969 95 0 0 25 0 8 0 721893984 7741784064 1603377 33554432000 4194304 4580107 140733302670704 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29895/tid=29897] ppid=29893 vsize=7560336 CPUtime=4721.56 cores=0-7
/proc/29895/task/29897/stat : 29897 (strangenight2-m) R 29893 29895 29799 0 -1 4202560 284506 0 0 0 472061 95 0 0 25 0 8 0 721893984 7741784064 1603377 33554432000 4194304 4580107 140733302670704 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29895/tid=29898] ppid=29893 vsize=7560336 CPUtime=4721.84 cores=0-7
/proc/29895/task/29898/stat : 29898 (strangenight2-m) R 29893 29895 29799 0 -1 4202560 307413 0 0 0 472102 82 0 0 25 0 8 0 721893984 7741784064 1603377 33554432000 4194304 4580107 140733302670704 18446744073709551615 4451678 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29895/tid=29899] ppid=29893 vsize=7560336 CPUtime=4641.26 cores=0-7
/proc/29895/task/29899/stat : 29899 (strangenight2-m) R 29893 29895 29799 0 -1 4202560 322164 0 0 0 464030 96 0 0 25 0 8 0 721893984 7741784064 1603377 33554432000 4194304 4580107 140733302670704 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29895/tid=29900] ppid=29893 vsize=7560336 CPUtime=4721.71 cores=0-7
/proc/29895/task/29900/stat : 29900 (strangenight2-m) R 29893 29895 29799 0 -1 4202560 273917 0 0 0 472087 84 0 0 25 0 8 0 721893984 7741784064 1603377 33554432000 4194304 4580107 140733302670704 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29895/tid=29901] ppid=29893 vsize=7560336 CPUtime=4721.76 cores=0-7
/proc/29895/task/29901/stat : 29901 (strangenight2-m) R 29893 29895 29799 0 -1 4202560 329356 0 0 0 472068 108 0 0 25 0 8 0 721893984 7741784064 1603377 33554432000 4194304 4580107 140733302670704 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29895/tid=29902] ppid=29893 vsize=7560336 CPUtime=4721.86 cores=0-7
/proc/29895/task/29902/stat : 29902 (strangenight2-m) R 29893 29895 29799 0 -1 4202560 266488 0 0 0 472098 88 0 0 25 0 8 0 721893984 7741784064 1603377 33554432000 4194304 4580107 140733302670704 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 37691.5
Current children cumulated vsize (KiB) 7560336

[startup+4782.3 s]
/proc/loadavg: 8.02 8.04 8.00 9/465 30042
/proc/meminfo: memFree=3556552/32950928 swapFree=62427732/67111528
[pid=29895] ppid=29893 vsize=7560336 CPUtime=38170.3 cores=0-7
/proc/29895/stat : 29895 (strangenight2-m) R 29893 29895 29799 0 -1 4202496 2293795 0 0 0 3816287 742 0 0 25 0 8 0 721893984 7741784064 1603377 33554432000 4194304 4580107 140733302670704 18446744073709551615 4451684 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29895/statm: 1890084 1603377 377 95 0 1885066 0
[pid=29895/tid=29896] ppid=29893 vsize=7560336 CPUtime=4780.62 cores=0-7
/proc/29895/task/29896/stat : 29896 (strangenight2-m) R 29893 29895 29799 0 -1 4202560 252405 0 0 0 477967 95 0 0 25 0 8 0 721893984 7741784064 1603377 33554432000 4194304 4580107 140733302670704 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29895/tid=29897] ppid=29893 vsize=7560336 CPUtime=4781.54 cores=0-7
/proc/29895/task/29897/stat : 29897 (strangenight2-m) R 29893 29895 29799 0 -1 4202560 284506 0 0 0 478059 95 0 0 25 0 8 0 721893984 7741784064 1603377 33554432000 4194304 4580107 140733302670704 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29895/tid=29898] ppid=29893 vsize=7560336 CPUtime=4781.82 cores=0-7
/proc/29895/task/29898/stat : 29898 (strangenight2-m) R 29893 29895 29799 0 -1 4202560 307413 0 0 0 478100 82 0 0 25 0 8 0 721893984 7741784064 1603377 33554432000 4194304 4580107 140733302670704 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29895/tid=29899] ppid=29893 vsize=7560336 CPUtime=4700.22 cores=0-7
/proc/29895/task/29899/stat : 29899 (strangenight2-m) R 29893 29895 29799 0 -1 4202560 322164 0 0 0 469926 96 0 0 25 0 8 0 721893984 7741784064 1603377 33554432000 4194304 4580107 140733302670704 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29895/tid=29900] ppid=29893 vsize=7560336 CPUtime=4781.7 cores=0-7
/proc/29895/task/29900/stat : 29900 (strangenight2-m) R 29893 29895 29799 0 -1 4202560 273917 0 0 0 478086 84 0 0 25 0 8 0 721893984 7741784064 1603377 33554432000 4194304 4580107 140733302670704 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29895/tid=29901] ppid=29893 vsize=7560336 CPUtime=4781.74 cores=0-7
/proc/29895/task/29901/stat : 29901 (strangenight2-m) R 29893 29895 29799 0 -1 4202560 329356 0 0 0 478066 108 0 0 25 0 8 0 721893984 7741784064 1603377 33554432000 4194304 4580107 140733302670704 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29895/tid=29902] ppid=29893 vsize=7560336 CPUtime=4781.84 cores=0-7
/proc/29895/task/29902/stat : 29902 (strangenight2-m) R 29893 29895 29799 0 -1 4202560 266488 0 0 0 478096 88 0 0 25 0 8 0 721893984 7741784064 1603377 33554432000 4194304 4580107 140733302670704 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 38170.3
Current children cumulated vsize (KiB) 7560336

[startup+4842.32 s]
/proc/loadavg: 8.05 8.05 8.00 9/465 30044
/proc/meminfo: memFree=3556616/32950928 swapFree=62427732/67111528
[pid=29895] ppid=29893 vsize=7560336 CPUtime=38649.4 cores=0-7
/proc/29895/stat : 29895 (strangenight2-m) R 29893 29895 29799 0 -1 4202496 2293795 0 0 0 3864197 742 0 0 25 0 8 0 721893984 7741784064 1603377 33554432000 4194304 4580107 140733302670704 18446744073709551615 4451684 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29895/statm: 1890084 1603377 377 95 0 1885066 0
[pid=29895/tid=29896] ppid=29893 vsize=7560336 CPUtime=4840.64 cores=0-7
/proc/29895/task/29896/stat : 29896 (strangenight2-m) R 29893 29895 29799 0 -1 4202560 252405 0 0 0 483969 95 0 0 25 0 8 0 721893984 7741784064 1603377 33554432000 4194304 4580107 140733302670704 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29895/tid=29897] ppid=29893 vsize=7560336 CPUtime=4841.56 cores=0-7
/proc/29895/task/29897/stat : 29897 (strangenight2-m) R 29893 29895 29799 0 -1 4202560 284506 0 0 0 484061 95 0 0 25 0 8 0 721893984 7741784064 1603377 33554432000 4194304 4580107 140733302670704 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29895/tid=29898] ppid=29893 vsize=7560336 CPUtime=4841.84 cores=0-7
/proc/29895/task/29898/stat : 29898 (strangenight2-m) R 29893 29895 29799 0 -1 4202560 307413 0 0 0 484102 82 0 0 25 0 8 0 721893984 7741784064 1603377 33554432000 4194304 4580107 140733302670704 18446744073709551615 4451900 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29895/tid=29899] ppid=29893 vsize=7560336 CPUtime=4759.19 cores=0-7
/proc/29895/task/29899/stat : 29899 (strangenight2-m) R 29893 29895 29799 0 -1 4202560 322164 0 0 0 475823 96 0 0 25 0 8 0 721893984 7741784064 1603377 33554432000 4194304 4580107 140733302670704 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29895/tid=29900] ppid=29893 vsize=7560336 CPUtime=4841.72 cores=0-7
/proc/29895/task/29900/stat : 29900 (strangenight2-m) R 29893 29895 29799 0 -1 4202560 273917 0 0 0 484088 84 0 0 25 0 8 0 721893984 7741784064 1603377 33554432000 4194304 4580107 140733302670704 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29895/tid=29901] ppid=29893 vsize=7560336 CPUtime=4841.76 cores=0-7
/proc/29895/task/29901/stat : 29901 (strangenight2-m) R 29893 29895 29799 0 -1 4202560 329356 0 0 0 484068 108 0 0 25 0 8 0 721893984 7741784064 1603377 33554432000 4194304 4580107 140733302670704 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29895/tid=29902] ppid=29893 vsize=7560336 CPUtime=4841.86 cores=0-7
/proc/29895/task/29902/stat : 29902 (strangenight2-m) R 29893 29895 29799 0 -1 4202560 266488 0 0 0 484098 88 0 0 25 0 8 0 721893984 7741784064 1603377 33554432000 4194304 4580107 140733302670704 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 38649.4
Current children cumulated vsize (KiB) 7560336

[startup+4902.3 s]
/proc/loadavg: 8.02 8.04 8.00 10/465 30045
/proc/meminfo: memFree=3556580/32950928 swapFree=62427732/67111528
[pid=29895] ppid=29893 vsize=7560336 CPUtime=39128.2 cores=0-7
/proc/29895/stat : 29895 (strangenight2-m) R 29893 29895 29799 0 -1 4202496 2293795 0 0 0 3912079 742 0 0 25 0 8 0 721893984 7741784064 1603377 33554432000 4194304 4580107 140733302670704 18446744073709551615 4451663 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29895/statm: 1890084 1603377 377 95 0 1885066 0
[pid=29895/tid=29896] ppid=29893 vsize=7560336 CPUtime=4900.62 cores=0-7
/proc/29895/task/29896/stat : 29896 (strangenight2-m) R 29893 29895 29799 0 -1 4202560 252405 0 0 0 489967 95 0 0 25 0 8 0 721893984 7741784064 1603377 33554432000 4194304 4580107 140733302670704 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29895/tid=29897] ppid=29893 vsize=7560336 CPUtime=4901.55 cores=0-7
/proc/29895/task/29897/stat : 29897 (strangenight2-m) R 29893 29895 29799 0 -1 4202560 284506 0 0 0 490060 95 0 0 25 0 8 0 721893984 7741784064 1603377 33554432000 4194304 4580107 140733302670704 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29895/tid=29898] ppid=29893 vsize=7560336 CPUtime=4901.82 cores=0-7
/proc/29895/task/29898/stat : 29898 (strangenight2-m) R 29893 29895 29799 0 -1 4202560 307413 0 0 0 490100 82 0 0 25 0 8 0 721893984 7741784064 1603377 33554432000 4194304 4580107 140733302670704 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29895/tid=29899] ppid=29893 vsize=7560336 CPUtime=4818.15 cores=0-7
/proc/29895/task/29899/stat : 29899 (strangenight2-m) R 29893 29895 29799 0 -1 4202560 322164 0 0 0 481719 96 0 0 25 0 8 0 721893984 7741784064 1603377 33554432000 4194304 4580107 140733302670704 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29895/tid=29900] ppid=29893 vsize=7560336 CPUtime=4901.7 cores=0-7
/proc/29895/task/29900/stat : 29900 (strangenight2-m) R 29893 29895 29799 0 -1 4202560 273917 0 0 0 490086 84 0 0 25 0 8 0 721893984 7741784064 1603377 33554432000 4194304 4580107 140733302670704 18446744073709551615 4451678 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29895/tid=29901] ppid=29893 vsize=7560336 CPUtime=4901.74 cores=0-7
/proc/29895/task/29901/stat : 29901 (strangenight2-m) R 29893 29895 29799 0 -1 4202560 329356 0 0 0 490066 108 0 0 25 0 8 0 721893984 7741784064 1603377 33554432000 4194304 4580107 140733302670704 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29895/tid=29902] ppid=29893 vsize=7560336 CPUtime=4901.85 cores=0-7
/proc/29895/task/29902/stat : 29902 (strangenight2-m) R 29893 29895 29799 0 -1 4202560 266488 0 0 0 490097 88 0 0 25 0 8 0 721893984 7741784064 1603377 33554432000 4194304 4580107 140733302670704 18446744073709551615 4415779 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 39128.2
Current children cumulated vsize (KiB) 7560336

[startup+4962.3 s]
/proc/loadavg: 8.04 8.04 8.00 9/465 30047
/proc/meminfo: memFree=3581588/32950928 swapFree=62427732/67111528
[pid=29895] ppid=29893 vsize=7523424 CPUtime=39607.2 cores=0-7
/proc/29895/stat : 29895 (strangenight2-m) R 29893 29895 29799 0 -1 4202496 2295571 0 0 0 3959973 743 0 0 25 0 8 0 721893984 7703986176 1597306 33554432000 4194304 4580107 140733302670704 18446744073709551615 4451663 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29895/statm: 1880856 1597306 377 95 0 1875838 0
[pid=29895/tid=29896] ppid=29893 vsize=7523424 CPUtime=4960.62 cores=0-7
/proc/29895/task/29896/stat : 29896 (strangenight2-m) R 29893 29895 29799 0 -1 4202560 252405 0 0 0 495967 95 0 0 25 0 8 0 721893984 7703986176 1597306 33554432000 4194304 4580107 140733302670704 18446744073709551615 4451672 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29895/tid=29897] ppid=29893 vsize=7523424 CPUtime=4961.55 cores=0-7
/proc/29895/task/29897/stat : 29897 (strangenight2-m) R 29893 29895 29799 0 -1 4202560 284506 0 0 0 496060 95 0 0 25 0 8 0 721893984 7703986176 1597306 33554432000 4194304 4580107 140733302670704 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29895/tid=29898] ppid=29893 vsize=7523424 CPUtime=4961.82 cores=0-7
/proc/29895/task/29898/stat : 29898 (strangenight2-m) R 29893 29895 29799 0 -1 4202560 307413 0 0 0 496100 82 0 0 25 0 8 0 721893984 7703986176 1597306 33554432000 4194304 4580107 140733302670704 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29895/tid=29899] ppid=29893 vsize=7523424 CPUtime=4877.11 cores=0-7
/proc/29895/task/29899/stat : 29899 (strangenight2-m) R 29893 29895 29799 0 -1 4202560 322164 0 0 0 487615 96 0 0 25 0 8 0 721893984 7703986176 1597306 33554432000 4194304 4580107 140733302670704 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29895/tid=29900] ppid=29893 vsize=7523424 CPUtime=4961.7 cores=0-7
/proc/29895/task/29900/stat : 29900 (strangenight2-m) R 29893 29895 29799 0 -1 4202560 273917 0 0 0 496086 84 0 0 25 0 8 0 721893984 7703986176 1597306 33554432000 4194304 4580107 140733302670704 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29895/tid=29901] ppid=29893 vsize=7523424 CPUtime=4961.74 cores=0-7
/proc/29895/task/29901/stat : 29901 (strangenight2-m) R 29893 29895 29799 0 -1 4202560 329356 0 0 0 496066 108 0 0 25 0 8 0 721893984 7703986176 1597306 33554432000 4194304 4580107 140733302670704 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29895/tid=29902] ppid=29893 vsize=7523424 CPUtime=4961.86 cores=0-7
/proc/29895/task/29902/stat : 29902 (strangenight2-m) R 29893 29895 29799 0 -1 4202560 268264 0 0 0 496096 90 0 0 25 0 8 0 721893984 7703986176 1597306 33554432000 4194304 4580107 140733302670704 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 39607.2
Current children cumulated vsize (KiB) 7523424



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5011.6 s]
/proc/loadavg: 8.05 8.05 8.00 10/465 30048
/proc/meminfo: memFree=3574228/32950928 swapFree=62427732/67111528
[pid=29895] ppid=29893 vsize=7523424 CPUtime=40001 cores=0-7
/proc/29895/stat : 29895 (strangenight2-m) R 29893 29895 29799 0 -1 4202496 2297324 0 0 0 3999353 745 0 0 25 0 8 0 721893984 7703986176 1599059 33554432000 4194304 4580107 140733302670704 18446744073709551615 4451684 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29895/statm: 1880856 1599059 377 95 0 1875838 0
[pid=29895/tid=29896] ppid=29893 vsize=7523424 CPUtime=5009.96 cores=0-7
/proc/29895/task/29896/stat : 29896 (strangenight2-m) R 29893 29895 29799 0 -1 4202560 252405 0 0 0 500901 95 0 0 25 0 8 0 721893984 7703986176 1599059 33554432000 4194304 4580107 140733302670704 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29895/tid=29897] ppid=29893 vsize=7523424 CPUtime=5010.89 cores=0-7
/proc/29895/task/29897/stat : 29897 (strangenight2-m) R 29893 29895 29799 0 -1 4202560 284506 0 0 0 500994 95 0 0 25 0 8 0 721893984 7703986176 1599059 33554432000 4194304 4580107 140733302670704 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29895/tid=29898] ppid=29893 vsize=7523424 CPUtime=5011.16 cores=0-7
/proc/29895/task/29898/stat : 29898 (strangenight2-m) R 29893 29895 29799 0 -1 4202560 307413 0 0 0 501034 82 0 0 25 0 8 0 721893984 7703986176 1599059 33554432000 4194304 4580107 140733302670704 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29895/tid=29899] ppid=29893 vsize=7523424 CPUtime=4925.57 cores=0-7
/proc/29895/task/29899/stat : 29899 (strangenight2-m) R 29893 29895 29799 0 -1 4202560 322164 0 0 0 492461 96 0 0 25 0 8 0 721893984 7703986176 1599059 33554432000 4194304 4580107 140733302670704 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29895/tid=29900] ppid=29893 vsize=7523424 CPUtime=5011.04 cores=0-7
/proc/29895/task/29900/stat : 29900 (strangenight2-m) R 29893 29895 29799 0 -1 4202560 273917 0 0 0 501020 84 0 0 25 0 8 0 721893984 7703986176 1599059 33554432000 4194304 4580107 140733302670704 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29895/tid=29901] ppid=29893 vsize=7523424 CPUtime=5011.08 cores=0-7
/proc/29895/task/29901/stat : 29901 (strangenight2-m) R 29893 29895 29799 0 -1 4202560 329356 0 0 0 501000 108 0 0 25 0 8 0 721893984 7703986176 1599059 33554432000 4194304 4580107 140733302670704 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29895/tid=29902] ppid=29893 vsize=7523424 CPUtime=5011.19 cores=0-7
/proc/29895/task/29902/stat : 29902 (strangenight2-m) R 29893 29895 29799 0 -1 4202560 270017 0 0 0 501028 91 0 0 25 0 8 0 721893984 7703986176 1599059 33554432000 4194304 4580107 140733302670704 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 40001
Current children cumulated vsize (KiB) 7523424

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

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

[startup+5011.9 s]
/proc/loadavg: 8.05 8.05 8.00 10/465 30048
/proc/meminfo: memFree=3574228/32950928 swapFree=62427732/67111528
[pid=29895] ppid=29893 vsize=0 CPUtime=40001.3 cores=0-7
/proc/29895/stat : 29895 (strangenight2-m) Z 29893 29895 29799 0 -1 4203548 2297324 0 0 0 3999357 770 0 0 25 0 2 0 721893984 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29895/statm: 0 0 0 0 0 0 0
[pid=29895/tid=29899] ppid=29893 vsize=0 CPUtime=4925.83 cores=0-7
/proc/29895/task/29899/stat : 29899 (strangenight2-m) R 29893 29895 29799 0 -1 4203588 322164 0 0 0 492462 121 0 0 25 0 2 0 721893984 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 40001.3
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 5011.93
CPU time (s): 40001.3
CPU user time (s): 39993.6
CPU system time (s): 7.73482
CPU usage (%): 798.122
Max. virtual memory (cumulated for all children) (KiB): 7830056

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39993.6
system time used= 7.73482
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2297324
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= 98027
involuntary context switches= 193873

runsolver used 21.0588 second user time and 64.9861 second system time

The end

Launcher Data 

Begin job on node123 at 2011-05-23 00:22:22
IDJOB=3394684
IDBENCH=83466
IDSOLVER=1878
FILE ID=node123/3394684-1306102938
RUNJOBID= node123-1306102930-29814
PBS_JOBID= 13388002
Free space on /tmp= 73012 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E00N23.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3394684-1306102938/watcher-3394684-1306102938 -o /tmp/evaluation-result-3394684-1306102938/solver-3394684-1306102938 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3394684-1306102938.cnf

TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 1a1f0dddf727883e0973677dd00e9269
RANDOM SEED=822813248

node123.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.838
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.67
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.838
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	: 5226.15
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.838
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.838
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.82
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.838
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.74
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.838
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.80
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.838
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.74
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.838
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:       9981300 kB
Buffers:        185344 kB
Cached:        3690468 kB
SwapCached:      76116 kB
Active:        8301016 kB
Inactive:     14396332 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:       9981300 kB
SwapTotal:    67111528 kB
SwapFree:     62427732 kB
Dirty:          119768 kB
Writeback:           0 kB
AnonPages:    18753804 kB
Mapped:          31008 kB
Slab:           124816 kB
PageTables:      77864 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 133349180 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= 73008 MiB
End job on node123 at 2011-05-23 01:45:56