Trace number 3321729

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
borg-sat 11.03.02-randomSAT 5925.01 744.611

General information on the benchmark

Namerandom/large/
unif-k7-r85-v200-c17000-S862393334-098-UNKNOWN.cnf
MD5SUM860d0404ebc2282cbe692f8828f81b2c
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark32.3841
Satisfiable
(Un)Satisfiability was proved
Number of variables200
Number of clauses17000
Sum of the clauses size119000
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 517000

Solver Data 

0.31/0.46	c INFO: loaded portfolio from HOME/etc/borg-mix+class.random.pickle
0.31/0.46	c INFO: solving HOME/instance-3321729-1304366503.cnf
0.31/0.46	c INFO: computing task features
0.40/0.58	c INFO: computed variable-clause graph statistics
0.40/0.58	c INFO: computed clause balance statistics
1.01/1.16	c INFO: computed variable balance statistics
1.30/1.40	c INFO: computed small-clause counts
1.30/1.40	c INFO: computed Horn-clause counts
1.30/1.42	c INFO: computed variable graph statistics
1.30/1.42	c INFO: collected features for HOME/instance-3321729-1304366503.cnf in 0.96 s
1.30/1.46	c INFO: running gnovelty+2@0 for 97 with 39999 remaining (b = 0.36)
1.30/1.49	c INFO: running gnovelty+2@0 for 97 with 39999 remaining (b = 0.12)
1.40/1.53	c INFO: running adaptg2wsat2009++@0 for 97 with 39998 remaining (b = 0.08)
1.40/1.57	c INFO: running adaptg2wsat2009++@0 for 97 with 39998 remaining (b = 0.07)
1.49/1.61	c INFO: running adaptg2wsat2009++@0 for 97 with 39998 remaining (b = 0.05)
1.49/1.65	c INFO: running gnovelty+2@0 for 97 with 39998 remaining (b = 0.04)
1.49/1.69	c INFO: running FH@0 for 97 with 39998 remaining (b = 0.03)
1.58/1.73	c INFO: running adaptg2wsat2009++@0 for 97 with 39998 remaining (b = 0.03)
784.78/99.69	c INFO: running adaptg2wsat2009++@0 for 97 with 39900 remaining (b = 0.02)
793.51/100.72	c INFO: running FH@0 for 97 with 39899 remaining (b = 0.02)
793.51/100.78	c INFO: running hybridGM3@0 for 194 with 39899 remaining (b = 0.04)
801.44/101.74	c INFO: running gnovelty+2@0 for 97 with 39898 remaining (b = 0.02)
802.18/101.82	c INFO: running hybridGM3@0 for 194 with 39898 remaining (b = 0.03)
802.18/101.89	c INFO: running hybridGM3@0 for 194 with 39898 remaining (b = 0.03)
802.76/101.95	c INFO: running TNM@0 for 1552 with 39898 remaining (b = 0.20)
803.17/102.02	c INFO: running adaptg2wsat2009++@0 for 97 with 39898 remaining (b = 0.01)
1584.33/199.92	c INFO: running FH@0 for 97 with 39800 remaining (b = 0.01)
1592.28/200.96	c INFO: running hybridGM3@0 for 194 with 39799 remaining (b = 0.02)
1593.03/201.05	c INFO: running adaptg2wsat2009++@0 for 97 with 39799 remaining (b = 0.01)
1602.58/202.26	c INFO: running adaptg2wsat2009++@0 for 97 with 39798 remaining (b = 0.01)
2360.02/297.21	c INFO: running hybridGM3@100 for 97 with 39703 remaining (b = 0.01)
2360.02/297.29	c INFO: running adaptg2wsat2009++@0 for 97 with 39703 remaining (b = 0.01)
2360.82/297.37	c INFO: running hybridGM3@99 for 97 with 39703 remaining (b = 0.01)
2378.31/299.50	c INFO: running adaptg2wsat2009++@98 for 97 with 39701 remaining (b = 0.01)
2383.10/300.21	c INFO: running gnovelty+2@0 for 97 with 39700 remaining (b = 0.01)
2415.82/304.29	c INFO: running hybridGM3@100 for 97 with 39696 remaining (b = 0.01)
3135.71/394.53	c INFO: running hybridGM3@0 for 194 with 39605 remaining (b = 0.02)
3153.24/396.75	c INFO: running hybridGM3@0 for 194 with 39603 remaining (b = 0.02)
3158.78/397.42	c INFO: running hybridGM3@99 for 97 with 39603 remaining (b = 0.01)
3159.59/397.52	c INFO: running TNM@0 for 1552 with 39603 remaining (b = 0.14)
3160.32/397.63	c INFO: running adaptg2wsat2009++@99 for 97 with 39602 remaining (b = 0.01)
3175.50/399.53	c INFO: running iPAWS@0 for 97 with 39601 remaining (b = 0.01)
3182.72/400.50	c INFO: running hybridGM3@0 for 194 with 39600 remaining (b = 0.02)
3935.05/494.88	c INFO: running FH@0 for 291 with 39505 remaining (b = 0.03)
3965.33/498.67	c INFO: running adaptg2wsat2009++@100 for 97 with 39501 remaining (b = 0.01)
3974.08/499.80	c INFO: running FH@98 for 291 with 39500 remaining (b = 0.02)
4701.73/591.00	c INFO: running hybridGM3@97 for 97 with 39409 remaining (b = 0.01)
4719.22/593.22	c INFO: running iPAWS@0 for 97 with 39407 remaining (b = 0.01)
4740.68/595.93	c INFO: running hybridGM3@0 for 194 with 39404 remaining (b = 0.02)
4789.21/602.05	c INFO: running hybridGM3@97 for 97 with 39398 remaining (b = 0.01)
5507.46/692.26	c INFO: running hybridGM3@293 for 97 with 39308 remaining (b = 0.01)
5517.82/693.52	c INFO: running TNM@0 for 1552 with 39307 remaining (b = 0.11)
5587.84/702.38	c INFO: running adaptg2wsat2009++@99 for 97 with 39298 remaining (b = 0.01)
5923.87/744.59	s SATISFIABLE
5923.87/744.59	v -1 -2 3 4 5 6 7 8 -9 -10 11 -12 -13 14 15 16 -17 -18 -19 20 -21 22 23 -24 25 -26 -27 -28 29 -30 31 32 33 -34 35 36 -37 -38 -39 40 -41 42 -43 -44 -45 46 -47 -48 49 50 -51 52 -53 -54 -55 -56 57 -58 -59 60 61 62 63 -64 -65 66 67 -68 -69 70 71 72 -73 74 -75 76 -77 78 79 -80 81 -82 -83 -84 85 -86 87 -88 -89 90 -91 -92 93 94 95 -96 -97 -98 -99 100 101 102 -103 104 105 106 -107 -108 -109 -110 111 112 113 -114 115 -116 -117 118 119 -120 -121 -122 123 124 125 -126 -127 -128 129 130 131 132 133 134 -135 136 -137 138 139 -140 -141 -142 143 144 145 146 147 148 -149 -150 -151 -152 -153 154 -155 156 157 158 159 -160 -161 -162 163 164 -165 -166 -167 -168 -169 170 171 -172 -173 -174 175 -176 -177 -178 -179 180 -181 182 -183 -184 185 -186 187 188 189 -190 -191 192 193 194 195 -196 197 198 -199 -200 0

Verifier Data 

OK

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-3321729-1304366503/watcher-3321729-1304366503 -o /tmp/evaluation-result-3321729-1304366503/solver-3321729-1304366503 -C 40000 -W 5100 -M 31000 python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3321729-1304366503.cnf -seed 287573855 -budget 40000 -cores 8 

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: 2.53 0.62 1.30 1/219 14979
/proc/meminfo: memFree=19823024/32951124 swapFree=67111364/67111528
[pid=14979] ppid=14977 vsize=15752 CPUtime=0 cores=0-7
/proc/14979/stat : 14979 (python) R 14977 14979 14806 0 -1 4202496 840 0 0 0 0 0 0 0 25 0 1 0 548250764 16130048 723 33554432000 4194304 5683644 140735150894896 18446744073709551615 253640857600 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/14979/statm: 3938 723 334 364 0 425 0

[startup+0.0351309 s]
/proc/loadavg: 2.53 0.62 1.30 1/219 14979
/proc/meminfo: memFree=19823024/32951124 swapFree=67111364/67111528
[pid=14979] ppid=14977 vsize=18880 CPUtime=0.02 cores=0-7
/proc/14979/stat : 14979 (python) R 14977 14979 14806 0 -1 4202496 1284 0 0 0 2 0 0 0 25 0 1 0 548250764 19333120 1136 33554432000 4194304 5683644 140735150894896 18446744073709551615 4562900 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/14979/statm: 4720 1136 421 364 0 689 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 18880

[startup+0.101115 s]
/proc/loadavg: 2.53 0.62 1.30 1/219 14979
/proc/meminfo: memFree=19823024/32951124 swapFree=67111364/67111528
[pid=14979] ppid=14977 vsize=104224 CPUtime=0.06 cores=0-7
/proc/14979/stat : 14979 (python) S 14977 14979 14806 0 -1 4202496 3071 0 0 0 5 1 0 0 25 0 1 0 548250764 106725376 2751 33554432000 4194304 5683644 140735150894896 18446744073709551615 253640857600 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/14979/statm: 26056 2751 847 364 0 1804 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 104224

[startup+0.301078 s]
/proc/loadavg: 2.53 0.62 1.30 1/219 14979
/proc/meminfo: memFree=19823024/32951124 swapFree=67111364/67111528
[pid=14979] ppid=14977 vsize=190252 CPUtime=0.22 cores=0-7
/proc/14979/stat : 14979 (python) R 14977 14979 14806 0 -1 4202496 6828 933 1 0 17 5 0 0 17 0 1 0 548250764 194818048 4884 33554432000 4194304 5683644 140735150894896 18446744073709551615 253635939862 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/14979/statm: 47563 4889 1401 364 0 3723 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 190252

[startup+0.70101 s]
/proc/loadavg: 2.53 0.62 1.30 1/219 14979
/proc/meminfo: memFree=19823024/32951124 swapFree=67111364/67111528
[pid=14979] ppid=14977 vsize=282584 CPUtime=0.6 cores=0-7
/proc/14979/stat : 14979 (python) R 14977 14979 14806 0 -1 4202496 11326 933 1 0 52 8 0 0 17 0 1 0 548250764 289366016 8058 33554432000 4194304 5683644 140735150894896 18446744073709551615 47746585890364 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/14979/statm: 70646 8058 1826 364 0 6570 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 282584

[startup+1.50086 s]
/proc/loadavg: 2.53 0.62 1.30 2/220 14984
/proc/meminfo: memFree=19797100/32951124 swapFree=67111364/67111528
[pid=14979] ppid=14977 vsize=299864 CPUtime=1.4 cores=0-7
/proc/14979/stat : 14979 (python) R 14977 14979 14806 0 -1 4202496 12678 933 1 0 132 8 0 0 22 0 3 0 548250764 307060736 7296 33554432000 4194304 5683644 140735150894896 18446744073709551615 253644341469 0 0 16781312 2 18446744073709551615 0 0 17 2 0 0 0
/proc/14979/statm: 74966 7296 1878 364 0 10881 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 299864

[startup+3.10152 s]
/proc/loadavg: 2.97 0.75 1.33 9/244 15008
/proc/meminfo: memFree=19748588/32951124 swapFree=67111364/67111528
[pid=14979] ppid=14977 vsize=361956 CPUtime=1.62 cores=0-7
/proc/14979/stat : 14979 (python) S 14977 14979 14806 0 -1 4202496 17706 933 1 0 153 9 0 0 25 0 9 0 548250764 370642944 7456 33554432000 4194304 5683644 140735150894896 18446744073709551615 253652686283 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0
/proc/14979/statm: 90489 7456 1891 364 0 26386 0
[pid=14985] ppid=14979 vsize=279228 CPUtime=0 cores=0-7
/proc/14985/stat : 14985 (python) S 14979 14979 14806 0 -1 4202560 727 0 0 0 0 0 0 0 18 0 1 0 548250910 285929472 5714 33554432000 4194304 5683644 140735150894896 18446744073709551615 253640879631 0 0 16781312 514 4152600885463056644 0 0 17 7 0 0 0
/proc/14985/statm: 69807 5714 354 364 0 5725 0
[pid=14987] ppid=14985 vsize=1018616 CPUtime=1.63 cores=0-7
/proc/14987/stat : 14987 (gnovelty+2) R 14985 14987 14987 0 -1 4202496 764 0 0 0 163 0 0 0 25 0 1 0 548250910 1043062784 501 33554432000 134512640 135663704 4294353760 18446744073709551615 134524534 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/14987/statm: 254654 501 113 282 0 254370 0
[pid=14988] ppid=14979 vsize=289620 CPUtime=0 cores=0-7
/proc/14988/stat : 14988 (python) S 14979 14979 14806 0 -1 4202560 738 0 0 0 0 0 0 0 18 0 1 0 548250913 296570880 5762 33554432000 4194304 5683644 140735150894896 18446744073709551615 253640879686 0 0 16781312 514 4152608582044451075 0 0 17 6 0 0 0
/proc/14988/statm: 72405 5762 348 364 0 8320 0
[pid=14990] ppid=14988 vsize=1018616 CPUtime=1.59 cores=0-7
/proc/14990/stat : 14990 (gnovelty+2) R 14988 14990 14990 0 -1 4202496 762 0 0 0 159 0 0 0 25 0 1 0 548250914 1043062784 501 33554432000 134512640 135663704 4287351040 18446744073709551615 134524548 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/14990/statm: 254654 501 113 282 0 254370 0
[pid=14991] ppid=14979 vsize=299876 CPUtime=0 cores=0-7
/proc/14991/stat : 14991 (python) S 14979 14979 14806 0 -1 4202560 734 0 0 0 0 0 0 0 18 0 1 0 548250917 307073024 5766 33554432000 4194304 5683644 140735150894896 18446744073709551615 253640879686 0 0 16781312 514 6025028780513296383 0 0 17 0 0 0 0
/proc/14991/statm: 74969 5766 348 364 0 10881 0
[pid=14993] ppid=14991 vsize=418500 CPUtime=1.56 cores=0-7
/proc/14993/stat : 14993 (adaptg2wsat2009) R 14991 14993 14993 0 -1 4202496 1076 0 0 0 156 0 0 0 25 0 1 0 548250917 428544000 810 33554432000 134512640 135107411 4292407312 18446744073709551615 134523457 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/14993/statm: 104625 810 49 146 0 103501 0
[pid=14994] ppid=14979 vsize=310264 CPUtime=0 cores=0-7
/proc/14994/stat : 14994 (python) S 14979 14979 14806 0 -1 4202560 749 0 0 0 0 0 0 0 18 0 1 0 548250921 317710336 5787 33554432000 4194304 5683644 140735150894896 18446744073709551615 253640879686 0 0 16781312 514 4338193500429352959 0 0 17 6 0 0 0
/proc/14994/statm: 77566 5787 348 364 0 13475 0
[pid=14996] ppid=14994 vsize=418500 CPUtime=1.51 cores=0-7
/proc/14996/stat : 14996 (adaptg2wsat2009) R 14994 14996 14996 0 -1 4202496 1072 0 0 0 151 0 0 0 25 0 1 0 548250921 428544000 808 33554432000 134512640 135107411 4290431504 18446744073709551615 134523319 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/14996/statm: 104625 808 49 146 0 103501 0
[pid=14997] ppid=14979 vsize=320520 CPUtime=0 cores=0-7
/proc/14997/stat : 14997 (python) S 14979 14979 14806 0 -1 4202560 752 0 0 0 0 0 0 0 18 0 1 0 548250925 328212480 5791 33554432000 4194304 5683644 140735150894896 18446744073709551615 253640879686 0 0 16781312 514 4606975440031055871 0 0 17 0 0 0 0
/proc/14997/statm: 80130 5791 348 364 0 16036 0
[pid=14999] ppid=14997 vsize=418500 CPUtime=1.47 cores=0-7
/proc/14999/stat : 14999 (adaptg2wsat2009) R 14997 14999 14999 0 -1 4202496 1074 0 0 0 147 0 0 0 25 0 1 0 548250925 428544000 808 33554432000 134512640 135107411 4294199728 18446744073709551615 134523455 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/14999/statm: 104625 808 49 146 0 103501 0
[pid=15000] ppid=14979 vsize=331200 CPUtime=0 cores=0-7
/proc/15000/stat : 15000 (python) S 14979 14979 14806 0 -1 4202560 762 0 0 0 0 0 0 0 18 0 1 0 548250929 339148800 5901 33554432000 4194304 5683644 140735150894896 18446744073709551615 253640879686 0 0 16781312 514 4375358367837683969 0 0 17 0 0 0 0
/proc/15000/statm: 82800 5901 347 364 0 18703 0
[pid=15002] ppid=15000 vsize=1018616 CPUtime=1.43 cores=0-7
/proc/15002/stat : 15002 (gnovelty+2) R 15000 15002 15002 0 -1 4202496 765 0 0 0 143 0 0 0 25 0 1 0 548250930 1043062784 501 33554432000 134512640 135663704 4294559824 18446744073709551615 134524548 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/15002/statm: 254654 501 113 282 0 254370 0
[pid=15003] ppid=14979 vsize=341456 CPUtime=0 cores=0-7
/proc/15003/stat : 15003 (python) S 14979 14979 14806 0 -1 4202560 760 0 0 0 0 0 0 0 18 0 1 0 548250933 349650944 5905 33554432000 4194304 5683644 140735150894896 18446744073709551615 253640879686 0 0 16781312 514 4338189652138655743 0 0 17 6 0 0 0
/proc/15003/statm: 85364 5905 347 364 0 21264 0
[pid=15005] ppid=15003 vsize=246900 CPUtime=1.39 cores=0-7
/proc/15005/stat : 15005 (FH) R 15003 15005 15005 0 -1 4202496 942 0 0 0 139 0 0 0 25 0 1 0 548250933 252825600 679 33554432000 134512640 134936988 4293764736 18446744073709551615 134523624 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/15005/statm: 61725 679 37 104 0 61229 0
[pid=15006] ppid=14979 vsize=351712 CPUtime=0 cores=0-7
/proc/15006/stat : 15006 (python) S 14979 14979 14806 0 -1 4202560 795 0 0 0 0 0 0 0 18 0 1 0 548250937 360153088 5915 33554432000 4194304 5683644 140735150894896 18446744073709551615 253640879686 0 0 16781312 514 4281366341459378175 0 0 17 6 0 0 0
/proc/15006/statm: 87928 5915 354 364 0 23825 0
[pid=15008] ppid=15006 vsize=418500 CPUtime=1.35 cores=0-7
/proc/15008/stat : 15008 (adaptg2wsat2009) R 15006 15008 15008 0 -1 4202496 1081 0 0 0 135 0 0 0 25 0 1 0 548250938 428544000 808 33554432000 134512640 135107411 4288564544 18446744073709551615 134523245 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/15008/statm: 104625 808 49 146 0 103501 0
[pid=14979/tid=14986] ppid=14977 vsize=361956 CPUtime=0 cores=0-7
/proc/14979/task/14986/stat : 14986 (python) S 14977 14979 14806 0 -1 4202560 25 933 0 0 0 0 0 0 20 0 9 0 548250910 370642944 7456 33554432000 4194304 5683644 140735150894896 18446744073709551615 253652683185 0 0 16781312 2 18446604453932931136 0 0 -1 3 0 0 0
[pid=14979/tid=14989] ppid=14977 vsize=361956 CPUtime=0 cores=0-7
/proc/14979/task/14989/stat : 14989 (python) S 14977 14979 14806 0 -1 4202560 21 933 0 0 0 0 0 0 22 0 9 0 548250913 370642944 7456 33554432000 4194304 5683644 140735150894896 18446744073709551615 253652683185 0 0 16781312 2 18446604453932931136 0 0 -1 6 0 0 0
[pid=14979/tid=14992] ppid=14977 vsize=361956 CPUtime=0 cores=0-7
/proc/14979/task/14992/stat : 14992 (python) S 14977 14979 14806 0 -1 4202560 19 933 0 0 0 0 0 0 24 0 9 0 548250917 370642944 7456 33554432000 4194304 5683644 140735150894896 18446744073709551615 253652683185 0 0 16781312 2 18446604453932931136 0 0 -1 0 0 0 0
[pid=14979/tid=14995] ppid=14977 vsize=361956 CPUtime=0 cores=0-7
/proc/14979/task/14995/stat : 14995 (python) S 14977 14979 14806 0 -1 4202560 28 933 0 0 0 0 0 0 20 0 9 0 548250921 370642944 7456 33554432000 4194304 5683644 140735150894896 18446744073709551615 253652683185 0 0 16781312 2 18446604453932931136 0 0 -1 2 0 0 0
[pid=14979/tid=14998] ppid=14977 vsize=361956 CPUtime=0 cores=0-7
/proc/14979/task/14998/stat : 14998 (python) S 14977 14979 14806 0 -1 4202560 25 933 0 0 0 0 0 0 20 0 9 0 548250925 370642944 7456 33554432000 4194304 5683644 140735150894896 18446744073709551615 253652683185 0 0 16781312 2 18446604453932931136 0 0 -1 2 0 0 0
[pid=14979/tid=15001] ppid=14977 vsize=361956 CPUtime=0 cores=0-7
/proc/14979/task/15001/stat : 15001 (python) S 14977 14979 14806 0 -1 4202560 26 933 0 0 0 0 0 0 22 0 9 0 548250929 370642944 7456 33554432000 4194304 5683644 140735150894896 18446744073709551615 253652683185 0 0 16781312 2 18446604453932931136 0 0 -1 0 0 0 0
[pid=14979/tid=15004] ppid=14977 vsize=361956 CPUtime=0 cores=0-7
/proc/14979/task/15004/stat : 15004 (python) S 14977 14979 14806 0 -1 4202560 32 933 0 0 0 0 0 0 24 0 9 0 548250933 370642944 7456 33554432000 4194304 5683644 140735150894896 18446744073709551615 253652683185 0 0 16781312 2 18446604453932931136 0 0 -1 0 0 0 0
[pid=14979/tid=15007] ppid=14977 vsize=361956 CPUtime=0 cores=0-7
/proc/14979/task/15007/stat : 15007 (python) S 14977 14979 14806 0 -1 4202560 83 933 0 0 0 0 0 0 25 0 9 0 548250937 370642944 7456 33554432000 4194304 5683644 140735150894896 18446744073709551615 253652683185 0 0 16781312 2 18446604453932931136 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 13.55
Current children cumulated vsize (KiB) 7862580

[startup+6.30094 s]
/proc/loadavg: 2.97 0.75 1.33 9/244 15008
/proc/meminfo: memFree=19744744/32951124 swapFree=67111364/67111528
[pid=14979] ppid=14977 vsize=361956 CPUtime=1.62 cores=0-7
/proc/14979/stat : 14979 (python) S 14977 14979 14806 0 -1 4202496 17706 933 1 0 153 9 0 0 25 0 9 0 548250764 370642944 7456 33554432000 4194304 5683644 140735150894896 18446744073709551615 253652686283 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0
/proc/14979/statm: 90489 7456 1891 364 0 26386 0
[pid=14985] ppid=14979 vsize=279228 CPUtime=0 cores=0-7
/proc/14985/stat : 14985 (python) S 14979 14979 14806 0 -1 4202560 880 0 0 0 0 0 0 0 18 0 1 0 548250910 285929472 5737 33554432000 4194304 5683644 140735150894896 18446744073709551615 253640879631 0 0 16781312 514 4152600885463056644 0 0 17 7 0 0 0
/proc/14985/statm: 69807 5737 377 364 0 5725 0
[pid=14987] ppid=14985 vsize=1018616 CPUtime=4.83 cores=0-7
/proc/14987/stat : 14987 (gnovelty+2) R 14985 14987 14987 0 -1 4202496 764 0 0 0 483 0 0 0 25 0 1 0 548250910 1043062784 501 33554432000 134512640 135663704 4294353760 18446744073709551615 134525361 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/14987/statm: 254654 501 113 282 0 254370 0
[pid=14988] ppid=14979 vsize=289620 CPUtime=0 cores=0-7
/proc/14988/stat : 14988 (python) S 14979 14979 14806 0 -1 4202560 898 0 0 0 0 0 0 0 18 0 1 0 548250913 296570880 5785 33554432000 4194304 5683644 140735150894896 18446744073709551615 253640879686 0 0 16781312 514 4152608582044451075 0 0 17 6 0 0 0
/proc/14988/statm: 72405 5785 371 364 0 8320 0
[pid=14990] ppid=14988 vsize=1018616 CPUtime=4.79 cores=0-7
/proc/14990/stat : 14990 (gnovelty+2) R 14988 14990 14990 0 -1 4202496 762 0 0 0 479 0 0 0 25 0 1 0 548250914 1043062784 501 33554432000 134512640 135663704 4287351040 18446744073709551615 134524882 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/14990/statm: 254654 501 113 282 0 254370 0
[pid=14991] ppid=14979 vsize=299876 CPUtime=0 cores=0-7
/proc/14991/stat : 14991 (python) S 14979 14979 14806 0 -1 4202560 888 0 0 0 0 0 0 0 18 0 1 0 548250917 307073024 5788 33554432000 4194304 5683644 140735150894896 18446744073709551615 253640879686 0 0 16781312 514 6025028780513263876 0 0 17 0 0 0 0
/proc/14991/statm: 74969 5788 370 364 0 10881 0
[pid=14993] ppid=14991 vsize=418636 CPUtime=4.76 cores=0-7
/proc/14993/stat : 14993 (adaptg2wsat2009) R 14991 14993 14993 0 -1 4202496 1223 0 0 0 476 0 0 0 25 0 1 0 548250917 428683264 957 33554432000 134512640 135107411 4292407312 18446744073709551615 134532352 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/14993/statm: 104659 957 59 146 0 103535 0
[pid=14994] ppid=14979 vsize=310264 CPUtime=0 cores=0-7
/proc/14994/stat : 14994 (python) S 14979 14979 14806 0 -1 4202560 927 0 0 0 0 0 0 0 18 0 1 0 548250921 317710336 5810 33554432000 4194304 5683644 140735150894896 18446744073709551615 253640879686 0 0 16781312 514 4338193500429320452 0 0 17 6 0 0 0
/proc/14994/statm: 77566 5810 371 364 0 13475 0
[pid=14996] ppid=14994 vsize=418636 CPUtime=4.68 cores=0-7
/proc/14996/stat : 14996 (adaptg2wsat2009) R 14994 14996 14996 0 -1 4202496 1218 0 0 0 468 0 0 0 25 0 1 0 548250921 428683264 954 33554432000 134512640 135107411 4290431504 18446744073709551615 134532349 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/14996/statm: 104659 954 59 146 0 103535 0
[pid=14997] ppid=14979 vsize=320520 CPUtime=0 cores=0-7
/proc/14997/stat : 14997 (python) S 14979 14979 14806 0 -1 4202560 929 0 0 0 0 0 0 0 18 0 1 0 548250925 328212480 5813 33554432000 4194304 5683644 140735150894896 18446744073709551615 253640879686 0 0 16781312 514 4606975440031023364 0 0 17 0 0 0 0
/proc/14997/statm: 80130 5813 370 364 0 16036 0
[pid=14999] ppid=14997 vsize=418636 CPUtime=4.67 cores=0-7
/proc/14999/stat : 14999 (adaptg2wsat2009) R 14997 14999 14999 0 -1 4202496 1221 0 0 0 467 0 0 0 25 0 1 0 548250925 428683264 955 33554432000 134512640 135107411 4294199728 18446744073709551615 134531830 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/14999/statm: 104659 955 59 146 0 103535 0
[pid=15000] ppid=14979 vsize=331200 CPUtime=0 cores=0-7
/proc/15000/stat : 15000 (python) S 14979 14979 14806 0 -1 4202560 947 0 0 0 0 0 0 0 18 0 1 0 548250929 339148800 5924 33554432000 4194304 5683644 140735150894896 18446744073709551615 253640879686 0 0 16781312 514 4375358367837683969 0 0 17 0 0 0 0
/proc/15000/statm: 82800 5924 370 364 0 18703 0
[pid=15002] ppid=15000 vsize=1018616 CPUtime=4.63 cores=0-7
/proc/15002/stat : 15002 (gnovelty+2) R 15000 15002 15002 0 -1 4202496 765 0 0 0 463 0 0 0 25 0 1 0 548250930 1043062784 501 33554432000 134512640 135663704 4294559824 18446744073709551615 134524534 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/15002/statm: 254654 501 113 282 0 254370 0
[pid=15003] ppid=14979 vsize=341456 CPUtime=0 cores=0-7
/proc/15003/stat : 15003 (python) S 14979 14979 14806 0 -1 4202560 954 0 0 0 0 0 0 0 18 0 1 0 548250933 349650944 5928 33554432000 4194304 5683644 140735150894896 18446744073709551615 253640879686 0 0 16781312 514 4338189652138623235 0 0 17 6 0 0 0
/proc/15003/statm: 85364 5928 370 364 0 21264 0
[pid=15005] ppid=15003 vsize=248656 CPUtime=4.56 cores=0-7
/proc/15005/stat : 15005 (FH) R 15003 15005 15005 0 -1 4202496 1122 0 0 0 456 0 0 0 25 0 1 0 548250933 254623744 857 33554432000 134512640 134936988 4293764736 18446744073709551615 134547184 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/15005/statm: 62164 857 41 104 0 61668 0
[pid=15006] ppid=14979 vsize=351712 CPUtime=0 cores=0-7
/proc/15006/stat : 15006 (python) S 14979 14979 14806 0 -1 4202560 978 0 0 0 0 0 0 0 18 0 1 0 548250937 360153088 5938 33554432000 4194304 5683644 140735150894896 18446744073709551615 253640879686 0 0 16781312 514 4281366341459345668 0 0 17 6 0 0 0
/proc/15006/statm: 87928 5938 377 364 0 23825 0
[pid=15008] ppid=15006 vsize=418636 CPUtime=4.51 cores=0-7
/proc/15008/stat : 15008 (adaptg2wsat2009) R 15006 15008 15008 0 -1 4202496 1228 0 0 0 451 0 0 0 25 0 1 0 548250938 428683264 955 33554432000 134512640 135107411 4288564544 18446744073709551615 134531806 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/15008/statm: 104659 955 59 146 0 103535 0

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

/proc/15029/task/15068/stat : 15068 (python) S 14979 14979 14806 0 -1 4202560 47 0 0 0 0 0 0 0 18 0 2 0 548281185 479772672 6090 33554432000 4194304 5683644 140735150894896 18446744073709551615 253652683185 0 0 16781312 514 18446604453931310080 0 0 -1 7 0 0 0
[pid=15034] ppid=14979 vsize=478784 CPUtime=0.5 cores=0-7
/proc/15034/stat : 15034 (python) S 14979 14979 14806 0 -1 4202560 1233 0 0 0 26 24 0 0 18 0 2 0 548260953 490274816 6094 33554432000 4194304 5683644 140735150894896 18446744073709551615 253652686283 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/15034/statm: 119696 6094 400 364 0 55575 0
[pid=15037] ppid=15034 vsize=268424 CPUtime=292.65 cores=0-7
/proc/15037/stat : 15037 (hybridGM3) T 15034 15037 15037 0 -1 4202496 5171 0 0 0 29264 1 0 0 25 0 1 0 548260955 274866176 4897 33554432000 134512640 135204385 4289324832 18446744073709551615 134538264 0 0 16781312 0 18446744071562691360 0 0 17 7 0 0 0
/proc/15037/statm: 67106 4897 63 169 0 66936 0
[pid=15034/tid=15063] ppid=14979 vsize=478784 CPUtime=0 cores=0-7
/proc/15034/task/15063/stat : 15063 (python) S 14979 14979 14806 0 -1 4202560 47 0 0 0 0 0 0 0 18 0 2 0 548280494 490274816 6094 33554432000 4194304 5683644 140735150894896 18446744073709551615 253652683185 0 0 16781312 514 18446604453891430592 0 0 -1 1 0 0 0
[pid=15038] ppid=14979 vsize=489040 CPUtime=1.15 cores=0-7
/proc/15038/stat : 15038 (python) S 14979 14979 14806 0 -1 4202560 1098 0 0 0 59 56 0 0 18 0 1 0 548260960 500776960 6075 33554432000 4194304 5683644 140735150894896 18446744073709551615 253640879686 0 0 16781312 514 16759371957073314051 0 0 17 1 0 0 0
/proc/15038/statm: 122260 6075 378 364 0 58136 0
[pid=15040] ppid=15038 vsize=457128 CPUtime=639.38 cores=0-7
/proc/15040/stat : 15040 (TNM) R 15038 15040 15040 0 -1 4202496 1116 0 0 0 63938 0 0 0 25 0 1 0 548260960 468099072 836 33554432000 134512640 135008748 4291730800 18446744073709551615 134529195 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/15040/statm: 114282 836 46 122 0 113182 0
[pid=15041] ppid=14979 vsize=499296 CPUtime=0.35 cores=0-7
/proc/15041/stat : 15041 (python) S 14979 14979 14806 0 -1 4202560 1223 0 0 0 19 16 0 0 18 0 2 0 548260966 511279104 6127 33554432000 4194304 5683644 140735150894896 18446744073709551615 253652686283 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/15041/statm: 124824 6127 408 364 0 60697 0
[pid=15043] ppid=15041 vsize=418636 CPUtime=196.35 cores=0-7
/proc/15043/stat : 15043 (adaptg2wsat2009) T 15041 15043 15043 0 -1 4202496 1235 0 0 0 19635 0 0 0 25 0 1 0 548260966 428683264 956 33554432000 134512640 135107411 4290708880 18446744073709551615 134539270 0 0 16781312 0 18446744071562691360 0 0 17 5 0 0 0
/proc/15043/statm: 104659 956 59 146 0 103535 0
[pid=15041/tid=15058] ppid=14979 vsize=499296 CPUtime=0 cores=0-7
/proc/15041/task/15058/stat : 15058 (python) S 14979 14979 14806 0 -1 4202560 46 0 0 0 0 0 0 0 18 0 2 0 548270984 511279104 6127 33554432000 4194304 5683644 140735150894896 18446744073709551615 253652683185 0 0 16781312 514 18446604453952492608 0 0 -1 5 0 0 0
[pid=15050] ppid=14979 vsize=509552 CPUtime=0.18 cores=0-7
/proc/15050/stat : 15050 (python) S 14979 14979 14806 0 -1 4202560 1213 0 0 0 9 9 0 0 19 0 2 0 548270757 521781248 6127 33554432000 4194304 5683644 140735150894896 18446744073709551615 253652686283 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/15050/statm: 127388 6127 402 364 0 63258 0
[pid=15052] ppid=15050 vsize=248648 CPUtime=100.18 cores=0-7
/proc/15052/stat : 15052 (FH) T 15050 15052 15052 0 -1 4202496 1138 0 0 0 10018 0 0 0 25 0 1 0 548270757 254615552 856 33554432000 134512640 134936988 4290089296 18446744073709551615 134552321 0 0 16781312 0 18446744071562691360 0 0 17 3 0 0 0
/proc/15052/statm: 62162 856 41 104 0 61666 0
[pid=15050/tid=15064] ppid=14979 vsize=509552 CPUtime=0 cores=0-7
/proc/15050/task/15064/stat : 15064 (python) S 14979 14979 14806 0 -1 4202560 59 0 0 0 0 0 0 0 19 0 2 0 548280778 521781248 6127 33554432000 4194304 5683644 140735150894896 18446744073709551615 253652683185 0 0 16781312 514 18446604446119747776 0 0 -1 3 0 0 0
[pid=15054] ppid=14979 vsize=519808 CPUtime=0.53 cores=0-7
/proc/15054/stat : 15054 (python) S 14979 14979 14806 0 -1 4202560 1186 0 0 0 24 29 0 0 18 0 2 0 548270860 532283392 6216 33554432000 4194304 5683644 140735150894896 18446744073709551615 253652686283 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/15054/statm: 129952 6216 401 364 0 65819 0
[pid=15057] ppid=15054 vsize=268424 CPUtime=296.56 cores=0-7
/proc/15057/stat : 15057 (hybridGM3) T 15054 15057 15057 0 -1 4202496 5165 0 0 0 29655 1 0 0 25 0 1 0 548270861 274866176 4896 33554432000 134512640 135204385 4288159968 18446744073709551615 134545458 0 0 16781312 0 18446744071562691360 0 0 17 3 0 0 0
/proc/15057/statm: 67106 4896 63 169 0 66936 0
[pid=15054/tid=15077] ppid=14979 vsize=519808 CPUtime=0 cores=0-7
/proc/15054/task/15077/stat : 15077 (python) S 14979 14979 14806 0 -1 4202560 171 0 0 0 0 0 0 0 18 0 2 0 548290498 532283392 6216 33554432000 4194304 5683644 140735150894896 18446744073709551615 253652683185 0 0 16781312 514 18446604445725571776 0 0 -1 0 0 0 0
[pid=15065] ppid=14979 vsize=530064 CPUtime=0.18 cores=0-7
/proc/15065/stat : 15065 (python) S 14979 14979 14806 0 -1 4202560 1133 0 0 0 11 7 0 0 18 0 2 0 548280785 542785536 6238 33554432000 4194304 5683644 140735150894896 18446744073709551615 253652686283 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/15065/statm: 132516 6238 401 364 0 68380 0
[pid=15067] ppid=15065 vsize=1018616 CPUtime=100 cores=0-7
/proc/15067/stat : 15067 (gnovelty+2) T 15065 15067 15067 0 -1 4202496 776 0 0 0 10000 0 0 0 25 0 1 0 548280785 1043062784 501 33554432000 134512640 135663704 4292874384 18446744073709551615 134525715 0 0 16781312 0 18446744071562691360 0 0 17 4 0 0 0
/proc/15067/statm: 254654 501 113 282 0 254370 0
[pid=15065/tid=15085] ppid=14979 vsize=530064 CPUtime=0 cores=0-7
/proc/15065/task/15085/stat : 15085 (python) S 14979 14979 14806 0 -1 4202560 105 0 0 0 0 0 0 0 18 0 2 0 548290805 542785536 6238 33554432000 4194304 5683644 140735150894896 18446744073709551615 253652683185 0 0 16781312 514 18446604453909524736 0 0 -1 1 0 0 0
[pid=15071] ppid=14979 vsize=540320 CPUtime=0.64 cores=0-7
/proc/15071/stat : 15071 (python) S 14979 14979 14806 0 -1 4202560 1143 0 0 0 35 29 0 0 18 0 2 0 548290217 553287680 6360 33554432000 4194304 5683644 140735150894896 18446744073709551615 253640879686 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/15071/statm: 135080 6360 402 364 0 70941 0
[pid=15073] ppid=15071 vsize=268424 CPUtime=348.46 cores=0-7
/proc/15073/stat : 15073 (hybridGM3) R 15071 15073 15073 0 -1 4202496 5169 0 0 0 34845 1 0 0 25 0 1 0 548290218 274866176 4897 33554432000 134512640 135204385 4289923392 18446744073709551615 134538034 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/15073/statm: 67106 4897 63 169 0 66936 0
[pid=15071/tid=15094] ppid=14979 vsize=540320 CPUtime=0 cores=0-7
/proc/15071/task/15094/stat : 15094 (python) S 14979 14979 14806 0 -1 4202560 100 0 0 0 0 0 0 0 18 0 2 0 548309856 553287680 6360 33554432000 4194304 5683644 140735150894896 18446744073709551615 253652683185 0 0 16781312 514 18446604453904140224 0 0 -1 6 0 0 0
[pid=15074] ppid=14979 vsize=550576 CPUtime=0.35 cores=0-7
/proc/15074/stat : 15074 (python) S 14979 14979 14806 0 -1 4202560 1151 0 0 0 17 18 0 0 19 0 2 0 548290439 563789824 6365 33554432000 4194304 5683644 140735150894896 18446744073709551615 253652686283 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/15074/statm: 137644 6365 401 364 0 73502 0
[pid=15076] ppid=15074 vsize=268424 CPUtime=196.36 cores=0-7
/proc/15076/stat : 15076 (hybridGM3) T 15074 15076 15076 0 -1 4202496 5170 0 0 0 19636 0 0 0 25 0 1 0 548290439 274866176 4896 33554432000 134512640 135204385 4286984368 18446744073709551615 134660132 0 0 16781312 0 18446744071562691360 0 0 17 0 0 0 0
/proc/15076/statm: 67106 4896 63 169 0 66936 0
[pid=15074/tid=15095] ppid=14979 vsize=550576 CPUtime=0 cores=0-7
/proc/15074/task/15095/stat : 15095 (python) S 14979 14979 14806 0 -1 4202560 100 0 0 0 0 0 0 0 19 0 2 0 548310077 563789824 6365 33554432000 4194304 5683644 140735150894896 18446744073709551615 253652683185 0 0 16781312 514 18446604453922755840 0 0 -1 6 0 0 0
[pid=15078] ppid=14979 vsize=560832 CPUtime=0.63 cores=0-7
/proc/15078/stat : 15078 (python) S 14979 14979 14806 0 -1 4202560 971 0 0 0 32 31 0 0 18 0 1 0 548290516 574291968 6350 33554432000 4194304 5683644 140735150894896 18446744073709551615 253640879686 0 0 16781312 514 16759371957073314049 0 0 17 6 0 0 0
/proc/15078/statm: 140208 6350 378 364 0 76063 0
[pid=15080] ppid=15078 vsize=457128 CPUtime=344.1 cores=0-7
/proc/15080/stat : 15080 (TNM) R 15078 15080 15080 0 -1 4202496 1121 0 0 0 34410 0 0 0 25 0 1 0 548290517 468099072 838 33554432000 134512640 135008748 4294066464 18446744073709551615 134529448 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/15080/statm: 114282 838 46 122 0 113182 0
[pid=15081] ppid=14979 vsize=571088 CPUtime=0.18 cores=0-7
/proc/15081/stat : 15081 (python) S 14979 14979 14806 0 -1 4202560 1184 0 0 0 9 9 0 0 19 0 2 0 548290717 584794112 6388 33554432000 4194304 5683644 140735150894896 18446744073709551615 253652686283 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/15081/statm: 142772 6388 407 364 0 78624 0
[pid=15083] ppid=15081 vsize=335996 CPUtime=100.17 cores=0-7
/proc/15083/stat : 15083 (iPAWS) T 15081 15083 15083 0 -1 4202496 1598 0 0 0 10017 0 0 0 25 0 1 0 548290717 344059904 1319 33554432000 134512640 135114423 4290841936 18446744073709551615 134515504 0 0 16781312 0 18446744071562691360 0 0 17 4 0 0 0
/proc/15083/statm: 83999 1319 59 147 0 83851 0
[pid=15081/tid=15091] ppid=14979 vsize=571088 CPUtime=0 cores=0-7
/proc/15081/task/15091/stat : 15091 (python) S 14979 14979 14806 0 -1 4202560 96 0 0 0 0 0 0 0 19 0 2 0 548300735 584794112 6388 33554432000 4194304 5683644 140735150894896 18446744073709551615 253652683185 0 0 16781312 514 18446604453932932032 0 0 -1 6 0 0 0
[pid=15086] ppid=14979 vsize=581344 CPUtime=0.56 cores=0-7
/proc/15086/stat : 15086 (python) S 14979 14979 14806 0 -1 4202560 1204 0 0 0 30 26 0 0 18 0 2 0 548290814 595296256 6455 33554432000 4194304 5683644 140735150894896 18446744073709551615 253652686283 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/15086/statm: 145336 6455 408 364 0 81185 0
[pid=15088] ppid=15086 vsize=268420 CPUtime=296.92 cores=0-7
/proc/15088/stat : 15088 (hybridGM3) T 15086 15088 15088 0 -1 4202496 5176 0 0 0 29691 1 0 0 25 0 1 0 548290814 274862080 4895 33554432000 134512640 135204385 4293435712 18446744073709551615 134538375 0 0 16781312 0 18446744071562691360 0 0 17 0 0 0 0
/proc/15088/statm: 67105 4895 63 169 0 66935 0
[pid=15086/tid=15103] ppid=14979 vsize=581344 CPUtime=0 cores=0-7
/proc/15086/task/15103/stat : 15103 (python) S 14979 14979 14806 0 -1 4202560 94 0 0 0 0 0 0 0 18 0 2 0 548310959 595296256 6455 33554432000 4194304 5683644 140735150894896 18446744073709551615 253652683185 0 0 16781312 514 18446604453891429696 0 0 -1 7 0 0 0
[pid=15096] ppid=14979 vsize=591992 CPUtime=0.19 cores=0-7
/proc/15096/stat : 15096 (python) S 14979 14979 14806 0 -1 4202560 1248 0 0 0 10 9 0 0 19 0 2 0 548310086 606199808 6381 33554432000 4194304 5683644 140735150894896 18446744073709551615 253652686283 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/15096/statm: 147998 6381 401 364 0 83844 0
[pid=15098] ppid=15096 vsize=335996 CPUtime=100.15 cores=0-7
/proc/15098/stat : 15098 (iPAWS) T 15096 15098 15098 0 -1 4202496 1601 0 0 0 10015 0 0 0 25 0 1 0 548310088 344059904 1319 33554432000 134512640 135114423 4290093504 18446744073709551615 134516632 0 0 16781312 0 18446744071562691360 0 0 17 5 0 0 0
/proc/15098/statm: 83999 1319 59 147 0 83851 0
[pid=15096/tid=15106] ppid=14979 vsize=591992 CPUtime=0 cores=0-7
/proc/15096/task/15106/stat : 15106 (python) S 14979 14979 14806 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 548320107 606199808 6381 33554432000 4194304 5683644 140735150894896 18446744073709551615 253652683185 0 0 16781312 514 18446604442868130816 0 0 -1 1 0 0 0
[pid=15100] ppid=14979 vsize=602388 CPUtime=0.27 cores=0-7
/proc/15100/stat : 15100 (python) S 14979 14979 14806 0 -1 4202560 1091 0 0 0 15 12 0 0 18 0 1 0 548310357 616845312 6404 33554432000 4194304 5683644 140735150894896 18446744073709551615 253640879686 0 0 16781312 514 16759371957073314050 0 0 17 1 0 0 0
/proc/15100/statm: 150597 6404 372 364 0 86440 0
[pid=15102] ppid=15100 vsize=268424 CPUtime=143.2 cores=0-7
/proc/15102/stat : 15102 (hybridGM3) R 15100 15102 15102 0 -1 4202496 5182 0 0 0 14320 0 0 0 25 0 1 0 548310358 274866176 4896 33554432000 134512640 135204385 4293451376 18446744073709551615 134538034 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/15102/statm: 67106 4896 63 169 0 66936 0
[pid=15107] ppid=14979 vsize=613168 CPUtime=0.08 cores=0-7
/proc/15107/stat : 15107 (python) S 14979 14979 14806 0 -1 4202560 1091 0 0 0 5 3 0 0 18 0 1 0 548320116 627884032 6524 33554432000 4194304 5683644 140735150894896 18446744073709551615 253640879686 0 0 16781312 514 15786612029747331330 0 0 17 6 0 0 0
/proc/15107/statm: 153292 6524 371 364 0 89132 0
[pid=15109] ppid=15107 vsize=457132 CPUtime=50.89 cores=0-7
/proc/15109/stat : 15109 (TNM) R 15107 15109 15109 0 -1 4202496 1124 0 0 0 5089 0 0 0 25 0 1 0 548320117 468103168 838 33554432000 134512640 135008748 4293498464 18446744073709551615 134529483 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/15109/statm: 114283 838 46 122 0 113183 0
[pid=14979/tid=14986] ppid=14977 vsize=623412 CPUtime=0 cores=0-7
/proc/14979/task/14986/stat : 14986 (python) S 14977 14979 14806 0 -1 4202560 25 933 0 0 0 0 0 0 20 0 28 0 548250910 638373888 8195 33554432000 4194304 5683644 140735150894896 18446744073709551615 253652683185 0 0 16781312 2 18446604453932931136 0 0 -1 3 0 0 0
[pid=14979/tid=14989] ppid=14977 vsize=623412 CPUtime=0 cores=0-7
/proc/14979/task/14989/stat : 14989 (python) S 14977 14979 14806 0 -1 4202560 21 933 0 0 0 0 0 0 22 0 28 0 548250913 638373888 8195 33554432000 4194304 5683644 140735150894896 18446744073709551615 253652683185 0 0 16781312 2 18446604453932931136 0 0 -1 6 0 0 0
[pid=14979/tid=14992] ppid=14977 vsize=623412 CPUtime=0 cores=0-7
/proc/14979/task/14992/stat : 14992 (python) S 14977 14979 14806 0 -1 4202560 25 933 0 0 0 0 0 0 18 0 28 0 548250917 638373888 8195 33554432000 4194304 5683644 140735150894896 18446744073709551615 253652683185 0 0 16781312 2 18446604453932931136 0 0 -1 0 0 0 0
[pid=14979/tid=14995] ppid=14977 vsize=623412 CPUtime=0 cores=0-7
/proc/14979/task/14995/stat : 14995 (python) S 14977 14979 14806 0 -1 4202560 41 933 0 0 0 0 0 0 18 0 28 0 548250921 638373888 8195 33554432000 4194304 5683644 140735150894896 18446744073709551615 253652683185 0 0 16781312 2 18446604453932931136 0 0 -1 2 0 0 0
[pid=14979/tid=14998] ppid=14977 vsize=623412 CPUtime=0 cores=0-7
/proc/14979/task/14998/stat : 14998 (python) S 14977 14979 14806 0 -1 4202560 29 933 0 0 0 0 0 0 18 0 28 0 548250925 638373888 8195 33554432000 4194304 5683644 140735150894896 18446744073709551615 253652683185 0 0 16781312 2 18446604453932931136 0 0 -1 2 0 0 0
[pid=14979/tid=15001] ppid=14977 vsize=623412 CPUtime=0 cores=0-7
/proc/14979/task/15001/stat : 15001 (python) S 14977 14979 14806 0 -1 4202560 26 933 0 0 0 0 0 0 22 0 28 0 548250929 638373888 8195 33554432000 4194304 5683644 140735150894896 18446744073709551615 253652683185 0 0 16781312 2 18446604453932931136 0 0 -1 0 0 0 0
[pid=14979/tid=15004] ppid=14977 vsize=623412 CPUtime=0 cores=0-7
/proc/14979/task/15004/stat : 15004 (python) S 14977 14979 14806 0 -1 4202560 38 933 0 0 0 0 0 0 18 0 28 0 548250933 638373888 8195 33554432000 4194304 5683644 140735150894896 18446744073709551615 253652683185 0 0 16781312 2 18446604453932931136 0 0 -1 0 0 0 0
[pid=14979/tid=15007] ppid=14977 vsize=623412 CPUtime=0 cores=0-7
/proc/14979/task/15007/stat : 15007 (python) S 14977 14979 14806 0 -1 4202560 88 933 0 0 0 0 0 0 18 0 28 0 548250937 638373888 8195 33554432000 4194304 5683644 140735150894896 18446744073709551615 253652683185 0 0 16781312 2 18446604453932931136 0 0 -1 6 0 0 0
[pid=14979/tid=15014] ppid=14977 vsize=623412 CPUtime=0 cores=0-7
/proc/14979/task/15014/stat : 15014 (python) S 14977 14979 14806 0 -1 4202560 42 933 0 0 0 0 0 0 18 0 28 0 548260733 638373888 8195 33554432000 4194304 5683644 140735150894896 18446744073709551615 253652683185 0 0 16781312 2 18446604453932931136 0 0 -1 1 0 0 0
[pid=14979/tid=15018] ppid=14977 vsize=623412 CPUtime=0 cores=0-7
/proc/14979/task/15018/stat : 15018 (python) S 14977 14979 14806 0 -1 4202560 110 933 0 0 0 0 0 0 18 0 28 0 548260836 638373888 8195 33554432000 4194304 5683644 140735150894896 18446744073709551615 253652683185 0 0 16781312 2 18446604453932931136 0 0 -1 6 0 0 0
[pid=14979/tid=15022] ppid=14977 vsize=623412 CPUtime=0 cores=0-7
/proc/14979/task/15022/stat : 15022 (python) S 14977 14979 14806 0 -1 4202560 38 933 0 0 0 0 0 0 18 0 28 0 548260842 638373888 8195 33554432000 4194304 5683644 140735150894896 18446744073709551615 253652683185 0 0 16781312 2 18446604453932931136 0 0 -1 6 0 0 0
[pid=14979/tid=15026] ppid=14977 vsize=623412 CPUtime=0 cores=0-7
/proc/14979/task/15026/stat : 15026 (python) S 14977 14979 14806 0 -1 4202560 35 933 0 0 0 0 0 0 20 0 28 0 548260938 638373888 8195 33554432000 4194304 5683644 140735150894896 18446744073709551615 253652683185 0 0 16781312 2 18446604453932931136 0 0 -1 6 0 0 0
[pid=14979/tid=15030] ppid=14977 vsize=623412 CPUtime=0 cores=0-7
/proc/14979/task/15030/stat : 15030 (python) S 14977 14979 14806 0 -1 4202560 37 933 0 0 0 0 0 0 18 0 28 0 548260946 638373888 8195 33554432000 4194304 5683644 140735150894896 18446744073709551615 253652683185 0 0 16781312 2 18446604453932931136 0 0 -1 6 0 0 0
[pid=14979/tid=15035] ppid=14977 vsize=623412 CPUtime=0 cores=0-7
/proc/14979/task/15035/stat : 15035 (python) S 14977 14979 14806 0 -1 4202560 34 933 0 0 0 0 0 0 18 0 28 0 548260954 638373888 8195 33554432000 4194304 5683644 140735150894896 18446744073709551615 253652683185 0 0 16781312 2 18446604453932931136 0 0 -1 6 0 0 0
[pid=14979/tid=15039] ppid=14977 vsize=623412 CPUtime=0 cores=0-7
/proc/14979/task/15039/stat : 15039 (python) S 14977 14979 14806 0 -1 4202560 23 933 0 0 0 0 0 0 24 0 28 0 548260960 638373888 8195 33554432000 4194304 5683644 140735150894896 18446744073709551615 253652683185 0 0 16781312 2 18446604453932931136 0 0 -1 2 0 0 0
[pid=14979/tid=15042] ppid=14977 vsize=623412 CPUtime=0 cores=0-7
/proc/14979/task/15042/stat : 15042 (python) S 14977 14979 14806 0 -1 4202560 29 933 0 0 0 0 0 0 18 0 28 0 548260966 638373888 8195 33554432000 4194304 5683644 140735150894896 18446744073709551615 253652683185 0 0 16781312 2 18446604453932931136 0 0 -1 6 0 0 0
[pid=14979/tid=15051] ppid=14977 vsize=623412 CPUtime=0 cores=0-7
/proc/14979/task/15051/stat : 15051 (python) S 14977 14979 14806 0 -1 4202560 28 933 0 0 0 0 0 0 20 0 28 0 548270757 638373888 8195 33554432000 4194304 5683644 140735150894896 18446744073709551615 253652683185 0 0 16781312 2 18446604453932931136 0 0 -1 1 0 0 0
[pid=14979/tid=15055] ppid=14977 vsize=623412 CPUtime=0 cores=0-7
/proc/14979/task/15055/stat : 15055 (python) S 14977 14979 14806 0 -1 4202560 135 933 0 0 0 0 0 0 18 0 28 0 548270860 638373888 8195 33554432000 4194304 5683644 140735150894896 18446744073709551615 253652683185 0 0 16781312 2 18446604453932931136 0 0 -1 3 0 0 0
[pid=14979/tid=15066] ppid=14977 vsize=623412 CPUtime=0 cores=0-7
/proc/14979/task/15066/stat : 15066 (python) S 14977 14979 14806 0 -1 4202560 48 933 0 0 0 0 0 0 20 0 28 0 548280785 638373888 8195 33554432000 4194304 5683644 140735150894896 18446744073709551615 253652683185 0 0 16781312 2 18446604453932931136 0 0 -1 6 0 0 0
[pid=14979/tid=15072] ppid=14977 vsize=623412 CPUtime=0 cores=0-7
/proc/14979/task/15072/stat : 15072 (python) S 14977 14979 14806 0 -1 4202560 50 933 0 0 0 0 0 0 18 0 28 0 548290217 638373888 8195 33554432000 4194304 5683644 140735150894896 18446744073709551615 253652683185 0 0 16781312 2 18446604453932931136 0 0 -1 6 0 0 0
[pid=14979/tid=15075] ppid=14977 vsize=623412 CPUtime=0 cores=0-7
/proc/14979/task/15075/stat : 15075 (python) S 14977 14979 14806 0 -1 4202560 36 933 0 0 0 0 0 0 20 0 28 0 548290439 638373888 8195 33554432000 4194304 5683644 140735150894896 18446744073709551615 253652683185 0 0 16781312 2 18446604453932931136 0 0 -1 6 0 0 0
[pid=14979/tid=15079] ppid=14977 vsize=623412 CPUtime=0 cores=0-7
/proc/14979/task/15079/stat : 15079 (python) S 14977 14979 14806 0 -1 4202560 38 933 0 0 0 0 0 0 20 0 28 0 548290517 638373888 8195 33554432000 4194304 5683644 140735150894896 18446744073709551615 253652683185 0 0 16781312 2 18446604453932931136 0 0 -1 6 0 0 0
[pid=14979/tid=15082] ppid=14977 vsize=623412 CPUtime=0 cores=0-7
/proc/14979/task/15082/stat : 15082 (python) S 14977 14979 14806 0 -1 4202560 36 933 0 0 0 0 0 0 20 0 28 0 548290717 638373888 8195 33554432000 4194304 5683644 140735150894896 18446744073709551615 253652683185 0 0 16781312 2 18446604453932931136 0 0 -1 6 0 0 0
[pid=14979/tid=15087] ppid=14977 vsize=623412 CPUtime=0 cores=0-7
/proc/14979/task/15087/stat : 15087 (python) S 14977 14979 14806 0 -1 4202560 37 933 0 0 0 0 0 0 18 0 28 0 548290814 638373888 8195 33554432000 4194304 5683644 140735150894896 18446744073709551615 253652683185 0 0 16781312 2 18446604453932931136 0 0 -1 6 0 0 0
[pid=14979/tid=15097] ppid=14977 vsize=623412 CPUtime=0 cores=0-7
/proc/14979/task/15097/stat : 15097 (python) S 14977 14979 14806 0 -1 4202560 27 933 0 0 0 0 0 0 19 0 28 0 548310086 638373888 8195 33554432000 4194304 5683644 140735150894896 18446744073709551615 253652683185 0 0 16781312 2 18446604453932931136 0 0 -1 6 0 0 0
[pid=14979/tid=15101] ppid=14977 vsize=623412 CPUtime=0 cores=0-7
/proc/14979/task/15101/stat : 15101 (python) S 14977 14979 14806 0 -1 4202560 27 933 0 0 0 0 0 0 19 0 28 0 548310357 638373888 8195 33554432000 4194304 5683644 140735150894896 18446744073709551615 253652683185 0 0 16781312 2 18446604453932931136 0 0 -1 6 0 0 0
[pid=14979/tid=15108] ppid=14977 vsize=623412 CPUtime=0 cores=0-7
/proc/14979/task/15108/stat : 15108 (python) S 14977 14979 14806 0 -1 4202560 30 933 0 0 0 0 0 0 20 0 28 0 548320116 638373888 8195 33554432000 4194304 5683644 140735150894896 18446744073709551615 253652683185 0 0 16781312 2 18446604453932931136 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5923.87
Current children cumulated vsize (KiB) 25577496

[startup+744.604 s]
/proc/loadavg: 8.63 7.68 5.11 2/220 15111
/proc/meminfo: memFree=19789012/32951124 swapFree=67111364/67111528
[pid=14979] ppid=14977 vsize=0 CPUtime=5924.99 cores=0-7
/proc/14979/stat : 14979 (python) Z 14977 14979 14806 0 -1 4202524 48272 95360 1 0 404 16 591542 537 17 0 1 0 548250764 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 4 0 0 0
/proc/14979/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 5924.99
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 744.611
CPU time (s): 5925.01
CPU user time (s): 5919.47
CPU system time (s): 5.54016
CPU usage (%): 795.718
Max. virtual memory (cumulated for all children) (KiB): 25577500

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5919.47
system time used= 5.54016
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 143632
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8880
involuntary context switches= 37142

runsolver used 6.15906 second user time and 13.111 second system time

The end

Launcher Data 

Begin job on node106 at 2011-05-02 22:01:44
IDJOB=3321729
IDBENCH=82507
IDSOLVER=1712
FILE ID=node106/3321729-1304366503
RUNJOBID= node106-1304366468-14820
PBS_JOBID= 13181764
Free space on /tmp= 73436 MiB

SOLVER NAME= borg-sat 11.03.02-random
BENCH NAME= SAT11/random/large/unif-k7-r85-v200-c17000-S862393334-098-UNKNOWN.cnf
COMMAND LINE= python DIR/solve DIR/etc/borg-mix+class.random.pickle BENCHNAME -seed RANDOMSEED -budget TIMEOUT -cores NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3321729-1304366503/watcher-3321729-1304366503 -o /tmp/evaluation-result-3321729-1304366503/solver-3321729-1304366503 -C 40000 -W 5100 -M 31000  python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3321729-1304366503.cnf -seed 287573855 -budget 40000 -cores 8

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

MD5SUM BENCH= 860d0404ebc2282cbe692f8828f81b2c
RANDOM SEED=287573855

node106.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.830
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.66
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.830
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.20
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.830
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.830
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.830
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.830
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.830
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.830
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:     32951124 kB
MemFree:      19823304 kB
Buffers:        321452 kB
Cached:        3593460 kB
SwapCached:         88 kB
Active:       10247248 kB
Inactive:      2622028 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      19823304 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:           33012 kB
Writeback:          20 kB
AnonPages:     8955164 kB
Mapped:          23056 kB
Slab:           169356 kB
PageTables:      25848 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 10339600 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= 73404 MiB
End job on node106 at 2011-05-02 22:14:08