Trace number 3385303

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-par-random (fixed)SAT 1968.54 248.088

General information on the benchmark

Namerandom/large/
unif-k7-r85-v200-c17000-S283489555-036-UNKNOWN.cnf
MD5SUMdd0dfae1a7fca71616878d93d3870a71
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark405.607
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.32/0.47	c INFO: loaded portfolio from HOME/etc/borg-mix+class.random.pickle
0.32/0.47	c INFO: solving HOME/instance-3385303-1305565000.cnf
0.32/0.47	c INFO: computing task features
0.41/0.58	c INFO: computed variable-clause graph statistics
0.41/0.58	c INFO: computed clause balance statistics
1.02/1.16	c INFO: computed variable balance statistics
1.21/1.40	c INFO: computed small-clause counts
1.31/1.40	c INFO: computed Horn-clause counts
1.31/1.42	c INFO: computed variable graph statistics
1.31/1.42	c INFO: collected features for HOME/instance-3385303-1305565000.cnf in 0.95 s
1.31/1.44	c INFO: running gnovelty+2@0 for 97 with 4999 remaining (b = 0.35)
1.31/1.47	c INFO: running gnovelty+2@0 for 97 with 4999 remaining (b = 0.12)
1.40/1.50	c INFO: running adaptg2wsat2009++@0 for 97 with 4998 remaining (b = 0.08)
1.40/1.53	c INFO: running adaptg2wsat2009++@0 for 97 with 4998 remaining (b = 0.06)
1.40/1.56	c INFO: running adaptg2wsat2009++@0 for 97 with 4998 remaining (b = 0.05)
1.40/1.59	c INFO: running gnovelty+2@0 for 97 with 4998 remaining (b = 0.04)
1.51/1.62	c INFO: running FH@0 for 97 with 4998 remaining (b = 0.03)
1.51/1.66	c INFO: running adaptg2wsat2009++@0 for 97 with 4998 remaining (b = 0.03)
801.50/101.73	c INFO: running adaptg2wsat2009++@0 for 97 with 4898 remaining (b = 0.02)
801.50/101.78	c INFO: running FH@0 for 97 with 4898 remaining (b = 0.02)
802.11/101.82	c INFO: running hybridGM3@0 for 194 with 4898 remaining (b = 0.04)
802.11/101.86	c INFO: running gnovelty+2@0 for 97 with 4898 remaining (b = 0.02)
802.39/101.90	c INFO: running hybridGM3@0 for 194 with 4898 remaining (b = 0.03)
802.39/101.95	c INFO: running hybridGM3@0 for 194 with 4898 remaining (b = 0.03)
802.39/101.99	c INFO: running TNM@0 for 1552 with 4898 remaining (b = 0.20)
802.49/102.04	c INFO: running adaptg2wsat2009++@0 for 97 with 4898 remaining (b = 0.01)
1594.01/201.20	c INFO: running FH@0 for 97 with 4799 remaining (b = 0.01)
1600.36/202.00	c INFO: running hybridGM3@0 for 194 with 4798 remaining (b = 0.02)
1600.36/202.06	c INFO: running adaptg2wsat2009++@0 for 97 with 4798 remaining (b = 0.01)
1603.54/202.32	c INFO: running adaptg2wsat2009++@0 for 97 with 4798 remaining (b = 0.01)
1967.71/248.06	s SATISFIABLE
1967.71/248.06	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: 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-3385303-1305565000/watcher-3385303-1305565000 -o /tmp/evaluation-result-3385303-1305565000/solver-3385303-1305565000 -C 40000 -W 5100 -M 31000 python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3385303-1305565000.cnf -seed 584385659 -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: 3.62 0.90 0.30 1/294 15834
/proc/meminfo: memFree=21897900/32951124 swapFree=63485424/67111528
[pid=15834] ppid=15832 vsize=15384 CPUtime=0 cores=0-7
/proc/15834/stat : 15834 (python) R 15832 15834 15751 0 -1 4202496 807 0 0 0 0 0 0 0 23 0 1 0 648915936 15753216 693 33554432000 4194304 5683644 140736491079840 18446744073709551615 220816236176 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/15834/statm: 3846 693 332 364 0 333 0

[startup+0.04617 s]
/proc/loadavg: 3.62 0.90 0.30 1/294 15834
/proc/meminfo: memFree=21897900/32951124 swapFree=63485424/67111528
[pid=15834] ppid=15832 vsize=29792 CPUtime=0.03 cores=0-7
/proc/15834/stat : 15834 (python) R 15832 15834 15751 0 -1 4202496 1402 0 0 0 3 0 0 0 17 0 1 0 648915936 30507008 1246 33554432000 4194304 5683644 140736491079840 18446744073709551615 4288738 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/15834/statm: 7448 1246 443 364 0 818 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 29792

[startup+0.101161 s]
/proc/loadavg: 3.62 0.90 0.30 1/294 15834
/proc/meminfo: memFree=21897900/32951124 swapFree=63485424/67111528
[pid=15834] ppid=15832 vsize=104228 CPUtime=0.07 cores=0-7
/proc/15834/stat : 15834 (python) R 15832 15834 15751 0 -1 4202496 3057 0 0 0 5 2 0 0 17 0 1 0 648915936 106729472 2741 33554432000 4194304 5683644 140736491079840 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/15834/statm: 26056 2740 847 364 0 1804 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 104228

[startup+0.301098 s]
/proc/loadavg: 3.62 0.90 0.30 1/294 15834
/proc/meminfo: memFree=21897900/32951124 swapFree=63485424/67111528
[pid=15834] ppid=15832 vsize=170756 CPUtime=0.24 cores=0-7
/proc/15834/stat : 15834 (python) R 15832 15834 15751 0 -1 4202496 6730 932 1 0 17 7 0 0 18 0 1 0 648915936 174854144 4805 33554432000 4194304 5683644 140736491079840 18446744073709551615 4566804 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/15834/statm: 42689 4805 1336 364 0 3454 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 170756

[startup+0.701038 s]
/proc/loadavg: 3.62 0.90 0.30 1/294 15834
/proc/meminfo: memFree=21897900/32951124 swapFree=63485424/67111528
[pid=15834] ppid=15832 vsize=282588 CPUtime=0.61 cores=0-7
/proc/15834/stat : 15834 (python) R 15832 15834 15751 0 -1 4202496 11327 932 1 0 52 9 0 0 18 0 1 0 648915936 289370112 8058 33554432000 4194304 5683644 140736491079840 18446744073709551615 220828060500 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/15834/statm: 70647 8058 1826 364 0 6571 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 282588

[startup+1.50086 s]
/proc/loadavg: 3.62 0.90 0.30 2/295 15839
/proc/meminfo: memFree=21871604/32951124 swapFree=63485424/67111528
[pid=15834] ppid=15832 vsize=299868 CPUtime=1.4 cores=0-7
/proc/15834/stat : 15834 (python) R 15832 15834 15751 0 -1 4202496 12918 932 1 0 131 9 0 0 22 0 3 0 648915936 307064832 7296 33554432000 4194304 5683644 140736491079840 18446744073709551615 46968258394048 0 0 16781312 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15834/statm: 74967 7296 1878 364 0 10882 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 299868

[startup+3.10153 s]
/proc/loadavg: 3.62 0.90 0.30 9/319 15863
/proc/meminfo: memFree=21825500/32951124 swapFree=63485424/67111528
[pid=15834] ppid=15832 vsize=426940 CPUtime=1.57 cores=0-7
/proc/15834/stat : 15834 (python) S 15832 15834 15751 0 -1 4202496 17266 932 1 0 146 11 0 0 20 0 9 0 648915936 437186560 7504 33554432000 4194304 5683644 140736491079840 18446744073709551615 220828063179 0 0 16781312 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15834/statm: 106735 7504 1891 364 0 42632 0
[pid=15840] ppid=15834 vsize=279232 CPUtime=0 cores=0-7
/proc/15840/stat : 15840 (python) S 15834 15834 15751 0 -1 4202560 730 0 0 0 0 0 0 0 18 0 1 0 648916081 285933568 5714 33554432000 4194304 5683644 140736491079840 18446744073709551615 220816256527 0 0 16781312 514 3778739169350615300 0 0 17 1 0 0 0
/proc/15840/statm: 69808 5714 354 364 0 5726 0
[pid=15842] ppid=15840 vsize=1018616 CPUtime=1.64 cores=0-7
/proc/15842/stat : 15842 (gnovelty+2) R 15840 15842 15842 0 -1 4202496 766 0 0 0 164 0 0 0 25 0 1 0 648916081 1043062784 501 33554432000 134512640 135663704 4293928896 18446744073709551615 134525276 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/15842/statm: 254654 501 113 282 0 254370 0
[pid=15843] ppid=15834 vsize=289624 CPUtime=0 cores=0-7
/proc/15843/stat : 15843 (python) S 15834 15834 15751 0 -1 4202560 736 0 0 0 0 0 0 0 18 0 1 0 648916083 296574976 5762 33554432000 4194304 5683644 140736491079840 18446744073709551615 220816256582 0 0 16781312 514 3778735321059918083 0 0 17 1 0 0 0
/proc/15843/statm: 72406 5762 348 364 0 8321 0
[pid=15845] ppid=15843 vsize=1018616 CPUtime=1.61 cores=0-7
/proc/15845/stat : 15845 (gnovelty+2) R 15843 15845 15845 0 -1 4202496 762 0 0 0 161 0 0 0 25 0 1 0 648916084 1043062784 500 33554432000 134512640 135663704 4290833312 18446744073709551615 134524918 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/15845/statm: 254654 500 113 282 0 254370 0
[pid=15846] ppid=15834 vsize=299880 CPUtime=0 cores=0-7
/proc/15846/stat : 15846 (python) S 15834 15834 15751 0 -1 4202560 734 0 0 0 0 0 0 0 18 0 1 0 648916086 307077120 5766 33554432000 4194304 5683644 140736491079840 18446744073709551615 220816256582 0 0 16781312 514 11465480484469866495 0 0 17 1 0 0 0
/proc/15846/statm: 74970 5766 348 364 0 10882 0
[pid=15848] ppid=15846 vsize=418500 CPUtime=1.58 cores=0-7
/proc/15848/stat : 15848 (adaptg2wsat2009) R 15846 15848 15848 0 -1 4202496 1077 0 0 0 158 0 0 0 25 0 1 0 648916087 428544000 809 33554432000 134512640 135107411 4294096032 18446744073709551615 134523300 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/15848/statm: 104625 809 49 146 0 103501 0
[pid=15849] ppid=15834 vsize=310136 CPUtime=0 cores=0-7
/proc/15849/stat : 15849 (python) S 15834 15834 15751 0 -1 4202560 749 0 0 0 0 0 0 0 18 0 1 0 648916089 317579264 5770 33554432000 4194304 5683644 140736491079840 18446744073709551615 220816256582 0 0 16781312 514 11465484332760563711 0 0 17 1 0 0 0
/proc/15849/statm: 77534 5770 348 364 0 13443 0
[pid=15851] ppid=15849 vsize=418500 CPUtime=1.55 cores=0-7
/proc/15851/stat : 15851 (adaptg2wsat2009) R 15849 15851 15851 0 -1 4202496 1072 0 0 0 155 0 0 0 25 0 1 0 648916090 428544000 808 33554432000 134512640 135107411 4294821728 18446744073709551615 134523310 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/15851/statm: 104625 808 49 146 0 103501 0
[pid=15852] ppid=15834 vsize=385928 CPUtime=0 cores=0-7
/proc/15852/stat : 15852 (python) S 15834 15834 15751 0 -1 4202560 722 0 0 0 0 0 0 0 18 0 1 0 648916092 395190272 5947 33554432000 4194304 5683644 140736491079840 18446744073709551615 220816256582 0 0 16781312 514 11465488181051260927 0 0 17 1 0 0 0
/proc/15852/statm: 96482 5947 348 364 0 32388 0
[pid=15854] ppid=15852 vsize=418500 CPUtime=1.5 cores=0-7
/proc/15854/stat : 15854 (adaptg2wsat2009) R 15852 15854 15854 0 -1 4202496 1068 0 0 0 150 0 0 0 25 0 1 0 648916093 428544000 808 33554432000 134512640 135107411 4293228720 18446744073709551615 134523434 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/15854/statm: 104625 808 49 146 0 103501 0
[pid=15855] ppid=15834 vsize=396184 CPUtime=0 cores=0-7
/proc/15855/stat : 15855 (python) S 15834 15834 15751 0 -1 4202560 728 0 0 0 0 0 0 0 18 0 1 0 648916095 405692416 5932 33554432000 4194304 5683644 140736491079840 18446744073709551615 220816256582 0 0 16781312 514 4466428167187300610 0 0 17 1 0 0 0
/proc/15855/statm: 99046 5932 348 364 0 34949 0
[pid=15857] ppid=15855 vsize=1018616 CPUtime=1.48 cores=0-7
/proc/15857/stat : 15857 (gnovelty+2) R 15855 15857 15857 0 -1 4202496 757 0 0 0 148 0 0 0 25 0 1 0 648916096 1043062784 500 33554432000 134512640 135663704 4287740816 18446744073709551615 134525213 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/15857/statm: 254654 500 113 282 0 254370 0
[pid=15858] ppid=15834 vsize=406440 CPUtime=0 cores=0-7
/proc/15858/stat : 15858 (python) S 15834 15834 15751 0 -1 4202560 734 0 0 0 0 0 0 0 18 0 1 0 648916099 416194560 5936 33554432000 4194304 5683644 140736491079840 18446744073709551615 220816256582 0 0 16781312 514 4403912684811059199 0 0 17 1 0 0 0
/proc/15858/statm: 101610 5936 348 364 0 37510 0
[pid=15860] ppid=15858 vsize=246900 CPUtime=1.42 cores=0-7
/proc/15860/stat : 15860 (FH) R 15858 15860 15860 0 -1 4202496 938 0 0 0 142 0 0 0 25 0 1 0 648916100 252825600 678 33554432000 134512640 134936988 4293675888 18446744073709551615 134523529 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/15860/statm: 61725 678 37 104 0 61229 0
[pid=15861] ppid=15834 vsize=416696 CPUtime=0 cores=0-7
/proc/15861/stat : 15861 (python) S 15834 15834 15751 0 -1 4202560 769 0 0 0 0 0 0 0 18 0 1 0 648916102 426696704 5963 33554432000 4194304 5683644 140736491079840 18446744073709551615 220816256582 0 0 16781312 514 2026255073629175807 0 0 17 1 0 0 0
/proc/15861/statm: 104174 5963 354 364 0 40071 0
[pid=15863] ppid=15861 vsize=418500 CPUtime=1.42 cores=0-7
/proc/15863/stat : 15863 (adaptg2wsat2009) R 15861 15863 15863 0 -1 4202496 1072 0 0 0 142 0 0 0 25 0 1 0 648916103 428544000 808 33554432000 134512640 135107411 4293045696 18446744073709551615 134523331 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/15863/statm: 104625 808 49 146 0 103501 0
[pid=15834/tid=15841] ppid=15832 vsize=426940 CPUtime=0 cores=0-7
/proc/15834/task/15841/stat : 15841 (python) S 15832 15834 15751 0 -1 4202560 23 932 0 0 0 0 0 0 21 0 9 0 648916081 437186560 7504 33554432000 4194304 5683644 140736491079840 18446744073709551615 220828060081 0 0 16781312 2 18446604449692430464 0 0 -1 6 0 0 0
[pid=15834/tid=15844] ppid=15832 vsize=426940 CPUtime=0 cores=0-7
/proc/15834/task/15844/stat : 15844 (python) S 15832 15834 15751 0 -1 4202560 25 932 0 0 0 0 0 0 18 0 9 0 648916084 437186560 7504 33554432000 4194304 5683644 140736491079840 18446744073709551615 220828060081 0 0 16781312 2 18446604449692430464 0 0 -1 3 0 0 0
[pid=15834/tid=15847] ppid=15832 vsize=426940 CPUtime=0 cores=0-7
/proc/15834/task/15847/stat : 15847 (python) S 15832 15834 15751 0 -1 4202560 20 932 0 0 0 0 0 0 23 0 9 0 648916087 437186560 7504 33554432000 4194304 5683644 140736491079840 18446744073709551615 220828060081 0 0 16781312 2 18446604449692430464 0 0 -1 6 0 0 0
[pid=15834/tid=15850] ppid=15832 vsize=426940 CPUtime=0 cores=0-7
/proc/15834/task/15850/stat : 15850 (python) S 15832 15834 15751 0 -1 4202560 23 932 0 0 0 0 0 0 18 0 9 0 648916089 437186560 7504 33554432000 4194304 5683644 140736491079840 18446744073709551615 220828060081 0 0 16781312 2 18446604449692430464 0 0 -1 5 0 0 0
[pid=15834/tid=15853] ppid=15832 vsize=426940 CPUtime=0 cores=0-7
/proc/15834/task/15853/stat : 15853 (python) S 15832 15834 15751 0 -1 4202560 92 932 0 0 0 0 0 0 19 0 9 0 648916093 437186560 7504 33554432000 4194304 5683644 140736491079840 18446744073709551615 220828060081 0 0 16781312 2 18446604449692430464 0 0 -1 7 0 0 0
[pid=15834/tid=15856] ppid=15832 vsize=426940 CPUtime=0 cores=0-7
/proc/15834/task/15856/stat : 15856 (python) S 15832 15834 15751 0 -1 4202560 33 932 0 0 0 0 0 0 19 0 9 0 648916096 437186560 7504 33554432000 4194304 5683644 140736491079840 18446744073709551615 220828060081 0 0 16781312 2 18446604449692430464 0 0 -1 7 0 0 0
[pid=15834/tid=15859] ppid=15832 vsize=426940 CPUtime=0 cores=0-7
/proc/15834/task/15859/stat : 15859 (python) S 15832 15834 15751 0 -1 4202560 33 932 0 0 0 0 0 0 20 0 9 0 648916099 437186560 7504 33554432000 4194304 5683644 140736491079840 18446744073709551615 220828060081 0 0 16781312 2 18446604449692430464 0 0 -1 1 0 0 0
[pid=15834/tid=15862] ppid=15832 vsize=426940 CPUtime=0 cores=0-7
/proc/15834/task/15862/stat : 15862 (python) S 15832 15834 15751 0 -1 4202560 34 932 0 0 0 0 0 0 21 0 9 0 648916102 437186560 7504 33554432000 4194304 5683644 140736491079840 18446744073709551615 220828060081 0 0 16781312 2 18446604449692430464 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 13.77
Current children cumulated vsize (KiB) 8187808

[startup+6.30095 s]
/proc/loadavg: 3.97 1.02 0.34 9/319 15863
/proc/meminfo: memFree=21822648/32951124 swapFree=63485424/67111528
[pid=15834] ppid=15832 vsize=426940 CPUtime=1.57 cores=0-7
/proc/15834/stat : 15834 (python) S 15832 15834 15751 0 -1 4202496 17266 932 1 0 146 11 0 0 20 0 9 0 648915936 437186560 7504 33554432000 4194304 5683644 140736491079840 18446744073709551615 220828063179 0 0 16781312 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15834/statm: 106735 7504 1891 364 0 42632 0
[pid=15840] ppid=15834 vsize=279232 CPUtime=0 cores=0-7
/proc/15840/stat : 15840 (python) S 15834 15834 15751 0 -1 4202560 885 0 0 0 0 0 0 0 18 0 1 0 648916081 285933568 5737 33554432000 4194304 5683644 140736491079840 18446744073709551615 220816256527 0 0 16781312 514 3778739169350615300 0 0 17 1 0 0 0
/proc/15840/statm: 69808 5737 377 364 0 5726 0
[pid=15842] ppid=15840 vsize=1018616 CPUtime=4.84 cores=0-7
/proc/15842/stat : 15842 (gnovelty+2) R 15840 15842 15842 0 -1 4202496 766 0 0 0 484 0 0 0 25 0 1 0 648916081 1043062784 501 33554432000 134512640 135663704 4293928896 18446744073709551615 134524894 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/15842/statm: 254654 501 113 282 0 254370 0
[pid=15843] ppid=15834 vsize=289624 CPUtime=0 cores=0-7
/proc/15843/stat : 15843 (python) S 15834 15834 15751 0 -1 4202560 889 0 0 0 0 0 0 0 18 0 1 0 648916083 296574976 5785 33554432000 4194304 5683644 140736491079840 18446744073709551615 220816256582 0 0 16781312 514 3778735321059918083 0 0 17 1 0 0 0
/proc/15843/statm: 72406 5785 371 364 0 8321 0
[pid=15845] ppid=15843 vsize=1018616 CPUtime=4.81 cores=0-7
/proc/15845/stat : 15845 (gnovelty+2) R 15843 15845 15845 0 -1 4202496 762 0 0 0 481 0 0 0 25 0 1 0 648916084 1043062784 500 33554432000 134512640 135663704 4290833312 18446744073709551615 134525278 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/15845/statm: 254654 500 113 282 0 254370 0
[pid=15846] ppid=15834 vsize=299880 CPUtime=0 cores=0-7
/proc/15846/stat : 15846 (python) S 15834 15834 15751 0 -1 4202560 895 0 0 0 0 0 0 0 18 0 1 0 648916086 307077120 5789 33554432000 4194304 5683644 140736491079840 18446744073709551615 220816256582 0 0 16781312 514 11465480484469833986 0 0 17 1 0 0 0
/proc/15846/statm: 74970 5789 371 364 0 10882 0
[pid=15848] ppid=15846 vsize=418636 CPUtime=4.78 cores=0-7
/proc/15848/stat : 15848 (adaptg2wsat2009) R 15846 15848 15848 0 -1 4202496 1224 0 0 0 478 0 0 0 25 0 1 0 648916087 428683264 956 33554432000 134512640 135107411 4294096032 18446744073709551615 134531552 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/15848/statm: 104659 956 59 146 0 103535 0
[pid=15849] ppid=15834 vsize=310136 CPUtime=0 cores=0-7
/proc/15849/stat : 15849 (python) S 15834 15834 15751 0 -1 4202560 928 0 0 0 0 0 0 0 18 0 1 0 648916089 317579264 5792 33554432000 4194304 5683644 140736491079840 18446744073709551615 220816256582 0 0 16781312 514 11465484332760531204 0 0 17 1 0 0 0
/proc/15849/statm: 77534 5792 370 364 0 13443 0
[pid=15851] ppid=15849 vsize=418636 CPUtime=4.75 cores=0-7
/proc/15851/stat : 15851 (adaptg2wsat2009) R 15849 15851 15851 0 -1 4202496 1220 0 0 0 475 0 0 0 25 0 1 0 648916090 428683264 956 33554432000 134512640 135107411 4294821728 18446744073709551615 134531792 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/15851/statm: 104659 956 59 146 0 103535 0
[pid=15852] ppid=15834 vsize=385928 CPUtime=0 cores=0-7
/proc/15852/stat : 15852 (python) S 15834 15834 15751 0 -1 4202560 799 0 0 0 0 0 0 0 18 0 1 0 648916092 395190272 5970 33554432000 4194304 5683644 140736491079840 18446744073709551615 220816256582 0 0 16781312 514 11465488181051228417 0 0 17 1 0 0 0
/proc/15852/statm: 96482 5970 371 364 0 32388 0
[pid=15854] ppid=15852 vsize=418636 CPUtime=4.7 cores=0-7
/proc/15854/stat : 15854 (adaptg2wsat2009) R 15852 15854 15854 0 -1 4202496 1215 0 0 0 470 0 0 0 25 0 1 0 648916093 428683264 955 33554432000 134512640 135107411 4293228720 18446744073709551615 134532088 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/15854/statm: 104659 955 59 146 0 103535 0
[pid=15855] ppid=15834 vsize=396184 CPUtime=0 cores=0-7
/proc/15855/stat : 15855 (python) S 15834 15834 15751 0 -1 4202560 805 0 0 0 0 0 0 0 18 0 1 0 648916095 405692416 5955 33554432000 4194304 5683644 140736491079840 18446744073709551615 220816256582 0 0 16781312 514 4466428167187300610 0 0 17 1 0 0 0
/proc/15855/statm: 99046 5955 371 364 0 34949 0
[pid=15857] ppid=15855 vsize=1018616 CPUtime=4.65 cores=0-7
/proc/15857/stat : 15857 (gnovelty+2) R 15855 15857 15857 0 -1 4202496 757 0 0 0 465 0 0 0 25 0 1 0 648916096 1043062784 500 33554432000 134512640 135663704 4287740816 18446744073709551615 135008448 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/15857/statm: 254654 500 113 282 0 254370 0
[pid=15858] ppid=15834 vsize=406440 CPUtime=0 cores=0-7
/proc/15858/stat : 15858 (python) S 15834 15834 15751 0 -1 4202560 815 0 0 0 0 0 0 0 18 0 1 0 648916099 416194560 5959 33554432000 4194304 5683644 140736491079840 18446744073709551615 220816256582 0 0 16781312 514 4403912684811026689 0 0 17 1 0 0 0
/proc/15858/statm: 101610 5959 371 364 0 37510 0
[pid=15860] ppid=15858 vsize=248652 CPUtime=4.62 cores=0-7
/proc/15860/stat : 15860 (FH) R 15858 15860 15860 0 -1 4202496 1118 0 0 0 462 0 0 0 25 0 1 0 648916100 254619648 856 33554432000 134512640 134936988 4293675888 18446744073709551615 134554064 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/15860/statm: 62163 856 41 104 0 61667 0
[pid=15861] ppid=15834 vsize=416696 CPUtime=0 cores=0-7
/proc/15861/stat : 15861 (python) S 15834 15834 15751 0 -1 4202560 855 0 0 0 0 0 0 0 18 0 1 0 648916102 426696704 5985 33554432000 4194304 5683644 140736491079840 18446744073709551615 220816256582 0 0 16781312 514 2026255073629143298 0 0 17 1 0 0 0
/proc/15861/statm: 104174 5985 376 364 0 40071 0
[pid=15863] ppid=15861 vsize=418636 CPUtime=4.51 cores=0-7
/proc/15863/stat : 15863 (adaptg2wsat2009) R 15861 15863 15863 0 -1 4202496 1219 0 0 0 451 0 0 0 25 0 1 0 648916103 428683264 955 33554432000 134512640 135107411 4293045696 18446744073709551615 134531935 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/15863/statm: 104659 955 59 146 0 103535 0

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

[pid=15840] ppid=15834 vsize=289476 CPUtime=0.21 cores=0-7
/proc/15840/stat : 15840 (python) S 15834 15834 15751 0 -1 4202560 1080 0 0 0 11 10 0 0 18 0 2 0 648916081 296423424 5775 33554432000 4194304 5683644 140736491079840 18446744073709551615 220828063179 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/15840/statm: 72369 5775 410 364 0 8287 0
[pid=15842] ppid=15840 vsize=1018616 CPUtime=100.23 cores=0-7
/proc/15842/stat : 15842 (gnovelty+2) T 15840 15842 15842 0 -1 4202496 766 0 0 0 10023 0 0 0 25 0 1 0 648916081 1043062784 501 33554432000 134512640 135663704 4293928896 18446744073709551615 134525224 0 0 16781312 0 18446744071562691360 0 0 17 4 0 0 0
/proc/15842/statm: 254654 501 113 282 0 254370 0
[pid=15840/tid=15866] ppid=15834 vsize=289476 CPUtime=0 cores=0-7
/proc/15840/task/15866/stat : 15866 (python) S 15834 15834 15751 0 -1 4202560 52 0 0 0 0 0 0 0 19 0 2 0 648926105 296423424 5775 33554432000 4194304 5683644 140736491079840 18446744073709551615 220828060081 0 0 16781312 514 18446604445202564928 0 0 -1 4 0 0 0
[pid=15843] ppid=15834 vsize=289624 CPUtime=0.22 cores=0-7
/proc/15843/stat : 15843 (python) S 15834 15834 15751 0 -1 4202560 1069 0 0 0 11 11 0 0 18 0 2 0 648916083 296574976 5815 33554432000 4194304 5683644 140736491079840 18446744073709551615 220828063179 0 0 16781312 514 18446744073709551615 0 0 17 5 0 0 0
/proc/15843/statm: 72406 5815 400 364 0 8321 0
[pid=15845] ppid=15843 vsize=1018616 CPUtime=100.24 cores=0-7
/proc/15845/stat : 15845 (gnovelty+2) T 15843 15845 15845 0 -1 4202496 762 0 0 0 10024 0 0 0 25 0 1 0 648916084 1043062784 500 33554432000 134512640 135663704 4290833312 18446744073709551615 134525276 0 0 16781312 0 18446744071562691360 0 0 17 3 0 0 0
/proc/15845/statm: 254654 500 113 282 0 254370 0
[pid=15843/tid=15870] ppid=15834 vsize=289624 CPUtime=0 cores=0-7
/proc/15843/task/15870/stat : 15870 (python) S 15834 15834 15751 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 648926109 296574976 5815 33554432000 4194304 5683644 140736491079840 18446744073709551615 220828060081 0 0 16781312 514 18446604445202564032 0 0 -1 5 0 0 0
[pid=15846] ppid=15834 vsize=299880 CPUtime=0.32 cores=0-7
/proc/15846/stat : 15846 (python) S 15834 15834 15751 0 -1 4202560 1110 0 0 0 15 17 0 0 18 0 2 0 648916086 307077120 5819 33554432000 4194304 5683644 140736491079840 18446744073709551615 220816256582 0 0 16781312 514 18446744073709551615 0 0 17 3 0 0 0
/proc/15846/statm: 74970 5819 400 364 0 10882 0
[pid=15848] ppid=15846 vsize=418636 CPUtime=145.57 cores=0-7
/proc/15848/stat : 15848 (adaptg2wsat2009) R 15846 15848 15848 0 -1 4202496 1224 0 0 0 14557 0 0 0 25 0 1 0 648916087 428683264 956 33554432000 134512640 135107411 4294096032 18446744073709551615 134531781 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/15848/statm: 104659 956 59 146 0 103535 0
[pid=15846/tid=15872] ppid=15834 vsize=299880 CPUtime=0 cores=0-7
/proc/15846/task/15872/stat : 15872 (python) S 15834 15834 15751 0 -1 4202560 50 0 0 0 0 0 0 0 19 0 2 0 648926111 307077120 5819 33554432000 4194304 5683644 140736491079840 18446744073709551615 220828060081 0 0 16781312 514 18446604446992273856 0 0 -1 3 0 0 0
[pid=15849] ppid=15834 vsize=310136 CPUtime=0.32 cores=0-7
/proc/15849/stat : 15849 (python) S 15834 15834 15751 0 -1 4202560 1131 0 0 0 16 16 0 0 18 0 2 0 648916089 317579264 5823 33554432000 4194304 5683644 140736491079840 18446744073709551615 220816256582 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/15849/statm: 77534 5823 400 364 0 13443 0
[pid=15851] ppid=15849 vsize=418636 CPUtime=146.14 cores=0-7
/proc/15851/stat : 15851 (adaptg2wsat2009) R 15849 15851 15851 0 -1 4202496 1220 0 0 0 14614 0 0 0 25 0 1 0 648916090 428683264 956 33554432000 134512640 135107411 4294821728 18446744073709551615 134532107 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/15851/statm: 104659 956 59 146 0 103535 0
[pid=15849/tid=15871] ppid=15834 vsize=310136 CPUtime=0 cores=0-7
/proc/15849/task/15871/stat : 15871 (python) S 15834 15834 15751 0 -1 4202560 45 0 0 0 0 0 0 0 19 0 2 0 648926111 317579264 5823 33554432000 4194304 5683644 140736491079840 18446744073709551615 220828060081 0 0 16781312 514 18446604446992274752 0 0 -1 1 0 0 0
[pid=15852] ppid=15834 vsize=385928 CPUtime=0.21 cores=0-7
/proc/15852/stat : 15852 (python) S 15834 15834 15751 0 -1 4202560 1032 0 0 0 11 10 0 0 18 0 2 0 648916092 395190272 6000 33554432000 4194304 5683644 140736491079840 18446744073709551615 220828063179 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/15852/statm: 96482 6000 400 364 0 32388 0
[pid=15854] ppid=15852 vsize=418636 CPUtime=100.17 cores=0-7
/proc/15854/stat : 15854 (adaptg2wsat2009) T 15852 15854 15854 0 -1 4202496 1215 0 0 0 10017 0 0 0 25 0 1 0 648916093 428683264 955 33554432000 134512640 135107411 4293228720 18446744073709551615 134531428 0 0 16781312 0 18446744071562691360 0 0 17 6 0 0 0
/proc/15854/statm: 104659 955 59 146 0 103535 0
[pid=15852/tid=15873] ppid=15834 vsize=385928 CPUtime=0 cores=0-7
/proc/15852/task/15873/stat : 15873 (python) S 15834 15834 15751 0 -1 4202560 124 0 0 0 0 0 0 0 19 0 2 0 648926114 395190272 6000 33554432000 4194304 5683644 140736491079840 18446744073709551615 220828060081 0 0 16781312 514 18446604446992275648 0 0 -1 0 0 0 0
[pid=15855] ppid=15834 vsize=396184 CPUtime=0.21 cores=0-7
/proc/15855/stat : 15855 (python) S 15834 15834 15751 0 -1 4202560 981 0 0 0 12 9 0 0 18 0 2 0 648916095 405692416 5985 33554432000 4194304 5683644 140736491079840 18446744073709551615 220828063179 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/15855/statm: 99046 5985 400 364 0 34949 0
[pid=15857] ppid=15855 vsize=1018616 CPUtime=99.22 cores=0-7
/proc/15857/stat : 15857 (gnovelty+2) T 15855 15857 15857 0 -1 4202496 757 0 0 0 9922 0 0 0 25 0 1 0 648916096 1043062784 500 33554432000 134512640 135663704 4287740816 18446744073709551615 134524509 0 0 16781312 0 18446744071562691360 0 0 17 7 0 0 0
/proc/15857/statm: 254654 500 113 282 0 254370 0
[pid=15855/tid=15879] ppid=15834 vsize=396184 CPUtime=0 cores=0-7
/proc/15855/task/15879/stat : 15879 (python) S 15834 15834 15751 0 -1 4202560 69 0 0 0 0 0 0 0 19 0 2 0 648926119 405692416 5985 33554432000 4194304 5683644 140736491079840 18446744073709551615 220828060081 0 0 16781312 514 18446604453952614592 0 0 -1 1 0 0 0
[pid=15858] ppid=15834 vsize=406440 CPUtime=0.21 cores=0-7
/proc/15858/stat : 15858 (python) S 15834 15834 15751 0 -1 4202560 1033 0 0 0 10 11 0 0 19 0 2 0 648916099 416194560 5995 33554432000 4194304 5683644 140736491079840 18446744073709551615 220828063179 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/15858/statm: 101610 5995 406 364 0 37510 0
[pid=15860] ppid=15858 vsize=248652 CPUtime=100.15 cores=0-7
/proc/15860/stat : 15860 (FH) T 15858 15860 15860 0 -1 4202496 1118 0 0 0 10015 0 0 0 25 0 1 0 648916100 254619648 856 33554432000 134512640 134936988 4293675888 18446744073709551615 134552375 0 0 16781312 0 18446744071562691360 0 0 17 7 0 0 0
/proc/15860/statm: 62163 856 41 104 0 61667 0
[pid=15858/tid=15880] ppid=15834 vsize=406440 CPUtime=0 cores=0-7
/proc/15858/task/15880/stat : 15880 (python) S 15834 15834 15751 0 -1 4202560 112 0 0 0 0 0 0 0 19 0 2 0 648926121 416194560 5995 33554432000 4194304 5683644 140736491079840 18446744073709551615 220828060081 0 0 16781312 514 18446604453938059072 0 0 -1 7 0 0 0
[pid=15861] ppid=15834 vsize=416696 CPUtime=0.21 cores=0-7
/proc/15861/stat : 15861 (python) S 15834 15834 15751 0 -1 4202560 1045 0 0 0 10 11 0 0 18 0 2 0 648916102 426696704 6016 33554432000 4194304 5683644 140736491079840 18446744073709551615 220828063179 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/15861/statm: 104174 6016 406 364 0 40071 0
[pid=15863] ppid=15861 vsize=418636 CPUtime=98.51 cores=0-7
/proc/15863/stat : 15863 (adaptg2wsat2009) T 15861 15863 15863 0 -1 4202496 1219 0 0 0 9851 0 0 0 25 0 1 0 648916103 428683264 955 33554432000 134512640 135107411 4293045696 18446744073709551615 134531428 0 0 16781312 0 18446744071562691360 0 0 17 4 0 0 0
/proc/15863/statm: 104659 955 59 146 0 103535 0
[pid=15861/tid=15884] ppid=15834 vsize=416696 CPUtime=0 cores=0-7
/proc/15861/task/15884/stat : 15884 (python) S 15834 15834 15751 0 -1 4202560 80 0 0 0 0 0 0 0 19 0 2 0 648926124 426696704 6016 33554432000 4194304 5683644 140736491079840 18446744073709551615 220828060081 0 0 16781312 514 18446604449089500224 0 0 -1 1 0 0 0
[pid=15867] ppid=15834 vsize=426952 CPUtime=0.23 cores=0-7
/proc/15867/stat : 15867 (python) S 15834 15834 15751 0 -1 4202560 1021 0 0 0 12 11 0 0 19 0 2 0 648926109 437198848 5997 33554432000 4194304 5683644 140736491079840 18446744073709551615 220828063179 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/15867/statm: 106738 5997 400 364 0 42632 0
[pid=15869] ppid=15867 vsize=418636 CPUtime=100.22 cores=0-7
/proc/15869/stat : 15869 (adaptg2wsat2009) T 15867 15869 15869 0 -1 4202496 1222 0 0 0 10022 0 0 0 25 0 1 0 648926109 428683264 956 33554432000 134512640 135107411 4293985296 18446744073709551615 134531246 0 0 16781312 0 18446744071562691360 0 0 17 5 0 0 0
/proc/15869/statm: 104659 956 59 146 0 103535 0
[pid=15867/tid=15905] ppid=15834 vsize=426952 CPUtime=0 cores=0-7
/proc/15867/task/15905/stat : 15905 (python) S 15834 15834 15751 0 -1 4202560 81 0 0 0 0 0 0 0 19 0 2 0 648936132 437198848 5997 33554432000 4194304 5683644 140736491079840 18446744073709551615 220828060081 0 0 16781312 514 18446604466332690496 0 0 -1 5 0 0 0
[pid=15874] ppid=15834 vsize=437208 CPUtime=0.23 cores=0-7
/proc/15874/stat : 15874 (python) S 15834 15834 15751 0 -1 4202560 1025 0 0 0 11 12 0 0 19 0 2 0 648926114 447700992 6121 33554432000 4194304 5683644 140736491079840 18446744073709551615 220828063179 0 0 16781312 514 18446744073709551615 0 0 17 2 0 0 0
/proc/15874/statm: 109302 6121 400 364 0 45193 0
[pid=15876] ppid=15874 vsize=248652 CPUtime=99.98 cores=0-7
/proc/15876/stat : 15876 (FH) T 15874 15876 15876 0 -1 4202496 1124 0 0 0 9998 0 0 0 25 0 1 0 648926114 254619648 858 33554432000 134512640 134936988 4288983296 18446744073709551615 134552326 0 0 16781312 0 18446744071562691360 0 0 17 2 0 0 0
/proc/15876/statm: 62163 858 41 104 0 61667 0
[pid=15874/tid=15907] ppid=15834 vsize=437208 CPUtime=0 cores=0-7
/proc/15874/task/15907/stat : 15907 (python) S 15834 15834 15751 0 -1 4202560 77 0 0 0 0 0 0 0 19 0 2 0 648936137 447700992 6121 33554432000 4194304 5683644 140736491079840 18446744073709551615 220828060081 0 0 16781312 514 18446604451281016000 0 0 -1 1 0 0 0
[pid=15877] ppid=15834 vsize=447464 CPUtime=0.33 cores=0-7
/proc/15877/stat : 15877 (python) S 15834 15834 15751 0 -1 4202560 854 0 0 0 16 17 0 0 18 0 1 0 648926118 458203136 6009 33554432000 4194304 5683644 140736491079840 18446744073709551615 220816256582 0 0 16781312 514 12728861396809253123 0 0 17 6 0 0 0
/proc/15877/statm: 111866 6009 371 364 0 47754 0
[pid=15881] ppid=15877 vsize=268424 CPUtime=146.01 cores=0-7
/proc/15881/stat : 15881 (hybridGM3) R 15877 15881 15881 0 -1 4202496 5165 0 0 0 14601 0 0 0 25 0 1 0 648926121 274866176 4897 33554432000 134512640 135204385 4292135392 18446744073709551615 134538355 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/15881/statm: 67106 4897 63 169 0 66936 0
[pid=15882] ppid=15834 vsize=457720 CPUtime=0.23 cores=0-7
/proc/15882/stat : 15882 (python) S 15834 15834 15751 0 -1 4202560 1044 0 0 0 12 11 0 0 19 0 2 0 648926122 468705280 6047 33554432000 4194304 5683644 140736491079840 18446744073709551615 220828063179 0 0 16781312 514 18446744073709551615 0 0 17 7 0 0 0
/proc/15882/statm: 114430 6047 400 364 0 50315 0
[pid=15885] ppid=15882 vsize=1018616 CPUtime=97.04 cores=0-7
/proc/15885/stat : 15885 (gnovelty+2) T 15882 15885 15885 0 -1 4202496 769 0 0 0 9704 0 0 0 25 0 1 0 648926124 1043062784 500 33554432000 134512640 135663704 4289826208 18446744073709551615 134524503 0 0 16781312 0 18446744071562691360 0 0 17 7 0 0 0
/proc/15885/statm: 254654 500 113 282 0 254370 0
[pid=15882/tid=15901] ppid=15834 vsize=457720 CPUtime=0 cores=0-7
/proc/15882/task/15901/stat : 15901 (python) S 15834 15834 15751 0 -1 4202560 79 0 0 0 0 0 0 0 19 0 2 0 648936051 468705280 6047 33554432000 4194304 5683644 140736491079840 18446744073709551615 220828060081 0 0 16781312 514 18446604453918016640 0 0 -1 0 0 0 0
[pid=15886] ppid=15834 vsize=467976 CPUtime=0.33 cores=0-7
/proc/15886/stat : 15886 (python) S 15834 15834 15751 0 -1 4202560 874 0 0 0 17 16 0 0 18 0 1 0 648926126 479207424 6075 33554432000 4194304 5683644 140736491079840 18446744073709551615 220816256582 0 0 16781312 514 12728861396809253122 0 0 17 4 0 0 0
/proc/15886/statm: 116994 6075 371 364 0 52876 0
[pid=15888] ppid=15886 vsize=268420 CPUtime=145.62 cores=0-7
/proc/15888/stat : 15888 (hybridGM3) R 15886 15888 15888 0 -1 4202496 5162 0 0 0 14562 0 0 0 25 0 1 0 648926127 274862080 4895 33554432000 134512640 135204385 4289617376 18446744073709551615 134537891 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/15888/statm: 67105 4895 63 169 0 66935 0
[pid=15889] ppid=15834 vsize=478232 CPUtime=0.32 cores=0-7
/proc/15889/stat : 15889 (python) S 15834 15834 15751 0 -1 4202560 878 0 0 0 18 14 0 0 18 0 1 0 648926131 489709568 6104 33554432000 4194304 5683644 140736491079840 18446744073709551615 220816256582 0 0 16781312 514 12728861396809253122 0 0 17 4 0 0 0
/proc/15889/statm: 119558 6104 371 364 0 55437 0
[pid=15891] ppid=15889 vsize=268424 CPUtime=145.36 cores=0-7
/proc/15891/stat : 15891 (hybridGM3) R 15889 15891 15891 0 -1 4202496 5165 0 0 0 14536 0 0 0 25 0 1 0 648926132 274866176 4896 33554432000 134512640 135204385 4291281040 18446744073709551615 134538475 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/15891/statm: 67106 4896 63 169 0 66936 0
[pid=15892] ppid=15834 vsize=488488 CPUtime=0.32 cores=0-7
/proc/15892/stat : 15892 (python) S 15834 15834 15751 0 -1 4202560 954 0 0 0 16 16 0 0 18 0 1 0 648926136 500211712 6106 33554432000 4194304 5683644 140736491079840 18446744073709551615 220816256582 0 0 16781312 514 18446744073709519106 0 0 17 1 0 0 0
/proc/15892/statm: 122122 6106 379 364 0 57998 0
[pid=15894] ppid=15892 vsize=457128 CPUtime=145.74 cores=0-7
/proc/15894/stat : 15894 (TNM) R 15892 15894 15894 0 -1 4202496 1110 0 0 0 14574 0 0 0 25 0 1 0 648926137 468099072 838 33554432000 134512640 135008748 4293042112 18446744073709551615 134528974 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/15894/statm: 114282 838 46 122 0 113182 0
[pid=15895] ppid=15834 vsize=498744 CPUtime=0.24 cores=0-7
/proc/15895/stat : 15895 (python) S 15834 15834 15751 0 -1 4202560 1132 0 0 0 12 12 0 0 19 0 2 0 648926140 510713856 6174 33554432000 4194304 5683644 140736491079840 18446744073709551615 220828063179 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/15895/statm: 124686 6174 408 364 0 60559 0
[pid=15897] ppid=15895 vsize=418636 CPUtime=99.7 cores=0-7
/proc/15897/stat : 15897 (adaptg2wsat2009) T 15895 15897 15897 0 -1 4202496 1229 0 0 0 9970 0 0 0 25 0 1 0 648926141 428683264 955 33554432000 134512640 135107411 4291398672 18446744073709551615 134532224 0 0 16781312 0 18446744071562691360 0 0 17 7 0 0 0
/proc/15897/statm: 104659 955 59 146 0 103535 0
[pid=15895/tid=15910] ppid=15834 vsize=498744 CPUtime=0 cores=0-7
/proc/15895/task/15910/stat : 15910 (python) S 15834 15834 15751 0 -1 4202560 77 0 0 0 0 0 0 0 19 0 2 0 648936163 510713856 6174 33554432000 4194304 5683644 140736491079840 18446744073709551615 220828060081 0 0 16781312 514 18446604441325486336 0 0 -1 7 0 0 0
[pid=15902] ppid=15834 vsize=509000 CPUtime=0.11 cores=0-7
/proc/15902/stat : 15902 (python) S 15834 15834 15751 0 -1 4202560 915 0 0 0 5 6 0 0 18 0 1 0 648936056 521216000 6123 33554432000 4194304 5683644 140736491079840 18446744073709551615 220816256582 0 0 16781312 514 12728861396809253123 0 0 17 6 0 0 0
/proc/15902/statm: 127250 6123 374 364 0 63120 0
[pid=15904] ppid=15902 vsize=248652 CPUtime=45.39 cores=0-7
/proc/15904/stat : 15904 (FH) R 15902 15904 15904 0 -1 4202496 1135 0 0 0 4539 0 0 0 25 0 1 0 648936056 254619648 857 33554432000 134512640 134936988 4293894144 18446744073709551615 134554603 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/15904/statm: 62163 857 41 104 0 61667 0
[pid=15906] ppid=15834 vsize=519256 CPUtime=0.09 cores=0-7
/proc/15906/stat : 15906 (python) S 15834 15834 15751 0 -1 4202560 923 0 0 0 5 4 0 0 18 0 1 0 648936137 531718144 6159 33554432000 4194304 5683644 140736491079840 18446744073709551615 220816256582 0 0 16781312 514 12728861396809253121 0 0 17 6 0 0 0
/proc/15906/statm: 129814 6159 373 364 0 65681 0
[pid=15909] ppid=15906 vsize=268424 CPUtime=45.98 cores=0-7
/proc/15909/stat : 15909 (hybridGM3) R 15906 15909 15909 0 -1 4202496 5167 0 0 0 4598 0 0 0 25 0 1 0 648936137 274866176 4896 33554432000 134512640 135204385 4289225392 18446744073709551615 134538355 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/15909/statm: 67106 4896 63 169 0 66936 0
[pid=15834/tid=15841] ppid=15832 vsize=529500 CPUtime=0 cores=0-7
/proc/15834/task/15841/stat : 15841 (python) S 15832 15834 15751 0 -1 4202560 23 932 0 0 0 0 0 0 21 0 19 0 648916081 542208000 7716 33554432000 4194304 5683644 140736491079840 18446744073709551615 220828060081 0 0 16781312 2 18446604449692430464 0 0 -1 6 0 0 0
[pid=15834/tid=15844] ppid=15832 vsize=529500 CPUtime=0 cores=0-7
/proc/15834/task/15844/stat : 15844 (python) S 15832 15834 15751 0 -1 4202560 25 932 0 0 0 0 0 0 18 0 19 0 648916084 542208000 7716 33554432000 4194304 5683644 140736491079840 18446744073709551615 220828060081 0 0 16781312 2 18446604449692430464 0 0 -1 3 0 0 0
[pid=15834/tid=15847] ppid=15832 vsize=529500 CPUtime=0 cores=0-7
/proc/15834/task/15847/stat : 15847 (python) S 15832 15834 15751 0 -1 4202560 26 932 0 0 0 0 0 0 18 0 19 0 648916087 542208000 7716 33554432000 4194304 5683644 140736491079840 18446744073709551615 220828060081 0 0 16781312 2 18446604449692430464 0 0 -1 6 0 0 0
[pid=15834/tid=15850] ppid=15832 vsize=529500 CPUtime=0 cores=0-7
/proc/15834/task/15850/stat : 15850 (python) S 15832 15834 15751 0 -1 4202560 31 932 0 0 0 0 0 0 18 0 19 0 648916089 542208000 7716 33554432000 4194304 5683644 140736491079840 18446744073709551615 220828060081 0 0 16781312 2 18446604449692430464 0 0 -1 5 0 0 0
[pid=15834/tid=15853] ppid=15832 vsize=529500 CPUtime=0 cores=0-7
/proc/15834/task/15853/stat : 15853 (python) S 15832 15834 15751 0 -1 4202560 92 932 0 0 0 0 0 0 19 0 19 0 648916093 542208000 7716 33554432000 4194304 5683644 140736491079840 18446744073709551615 220828060081 0 0 16781312 2 18446604449692430464 0 0 -1 7 0 0 0
[pid=15834/tid=15856] ppid=15832 vsize=529500 CPUtime=0 cores=0-7
/proc/15834/task/15856/stat : 15856 (python) S 15832 15834 15751 0 -1 4202560 33 932 0 0 0 0 0 0 19 0 19 0 648916096 542208000 7716 33554432000 4194304 5683644 140736491079840 18446744073709551615 220828060081 0 0 16781312 2 18446604449692430464 0 0 -1 7 0 0 0
[pid=15834/tid=15859] ppid=15832 vsize=529500 CPUtime=0 cores=0-7
/proc/15834/task/15859/stat : 15859 (python) S 15832 15834 15751 0 -1 4202560 33 932 0 0 0 0 0 0 20 0 19 0 648916099 542208000 7716 33554432000 4194304 5683644 140736491079840 18446744073709551615 220828060081 0 0 16781312 2 18446604449692430464 0 0 -1 1 0 0 0
[pid=15834/tid=15862] ppid=15832 vsize=529500 CPUtime=0 cores=0-7
/proc/15834/task/15862/stat : 15862 (python) S 15832 15834 15751 0 -1 4202560 34 932 0 0 0 0 0 0 21 0 19 0 648916102 542208000 7716 33554432000 4194304 5683644 140736491079840 18446744073709551615 220828060081 0 0 16781312 2 18446604449692430464 0 0 -1 1 0 0 0
[pid=15834/tid=15868] ppid=15832 vsize=529500 CPUtime=0 cores=0-7
/proc/15834/task/15868/stat : 15868 (python) S 15832 15834 15751 0 -1 4202560 38 932 0 0 0 0 0 0 20 0 19 0 648926109 542208000 7716 33554432000 4194304 5683644 140736491079840 18446744073709551615 220828060081 0 0 16781312 2 18446604449692430464 0 0 -1 2 0 0 0
[pid=15834/tid=15875] ppid=15832 vsize=529500 CPUtime=0 cores=0-7
/proc/15834/task/15875/stat : 15875 (python) S 15832 15834 15751 0 -1 4202560 32 932 0 0 0 0 0 0 20 0 19 0 648926114 542208000 7716 33554432000 4194304 5683644 140736491079840 18446744073709551615 220828060081 0 0 16781312 2 18446604449692430464 0 0 -1 2 0 0 0
[pid=15834/tid=15878] ppid=15832 vsize=529500 CPUtime=0 cores=0-7
/proc/15834/task/15878/stat : 15878 (python) S 15832 15834 15751 0 -1 4202560 32 932 0 0 0 0 0 0 22 0 19 0 648926118 542208000 7716 33554432000 4194304 5683644 140736491079840 18446744073709551615 220828060081 0 0 16781312 2 18446604449692430464 0 0 -1 1 0 0 0
[pid=15834/tid=15883] ppid=15832 vsize=529500 CPUtime=0 cores=0-7
/proc/15834/task/15883/stat : 15883 (python) S 15832 15834 15751 0 -1 4202560 33 932 0 0 0 0 0 0 23 0 19 0 648926122 542208000 7716 33554432000 4194304 5683644 140736491079840 18446744073709551615 220828060081 0 0 16781312 2 18446604449692430464 0 0 -1 4 0 0 0
[pid=15834/tid=15887] ppid=15832 vsize=529500 CPUtime=0 cores=0-7
/proc/15834/task/15887/stat : 15887 (python) S 15832 15834 15751 0 -1 4202560 32 932 0 0 0 0 0 0 18 0 19 0 648926126 542208000 7716 33554432000 4194304 5683644 140736491079840 18446744073709551615 220828060081 0 0 16781312 2 18446604449692430464 0 0 -1 4 0 0 0
[pid=15834/tid=15890] ppid=15832 vsize=529500 CPUtime=0 cores=0-7
/proc/15834/task/15890/stat : 15890 (python) S 15832 15834 15751 0 -1 4202560 35 932 0 0 0 0 0 0 20 0 19 0 648926131 542208000 7716 33554432000 4194304 5683644 140736491079840 18446744073709551615 220828060081 0 0 16781312 2 18446604449692430464 0 0 -1 4 0 0 0
[pid=15834/tid=15893] ppid=15832 vsize=529500 CPUtime=0 cores=0-7
/proc/15834/task/15893/stat : 15893 (python) S 15832 15834 15751 0 -1 4202560 31 932 0 0 0 0 0 0 19 0 19 0 648926136 542208000 7716 33554432000 4194304 5683644 140736491079840 18446744073709551615 220828060081 0 0 16781312 2 18446604449692430464 0 0 -1 6 0 0 0
[pid=15834/tid=15896] ppid=15832 vsize=529500 CPUtime=0 cores=0-7
/proc/15834/task/15896/stat : 15896 (python) S 15832 15834 15751 0 -1 4202560 35 932 0 0 0 0 0 0 21 0 19 0 648926141 542208000 7716 33554432000 4194304 5683644 140736491079840 18446744073709551615 220828060081 0 0 16781312 2 18446604449692430464 0 0 -1 6 0 0 0
[pid=15834/tid=15903] ppid=15832 vsize=529500 CPUtime=0 cores=0-7
/proc/15834/task/15903/stat : 15903 (python) S 15832 15834 15751 0 -1 4202560 32 932 0 0 0 0 0 0 20 0 19 0 648936056 542208000 7716 33554432000 4194304 5683644 140736491079840 18446744073709551615 220828060081 0 0 16781312 2 18446604449692430464 0 0 -1 6 0 0 0
[pid=15834/tid=15908] ppid=15832 vsize=529500 CPUtime=0 cores=0-7
/proc/15834/task/15908/stat : 15908 (python) S 15832 15834 15751 0 -1 4202560 29 932 0 0 0 0 0 0 20 0 19 0 648936137 542208000 7716 33554432000 4194304 5683644 140736491079840 18446744073709551615 220828060081 0 0 16781312 2 18446604449692430464 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1967.71
Current children cumulated vsize (KiB) 16917960

Child status: 0
Real time (s): 248.088
CPU time (s): 1968.54
CPU user time (s): 1966.05
CPU system time (s): 2.49162
CPU usage (%): 793.484
Max. virtual memory (cumulated for all children) (KiB): 16917964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1966.05
system time used= 2.49162
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86711
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= 4481
involuntary context switches= 9653

runsolver used 1.3138 second user time and 3.06853 second system time

The end

Launcher Data 

Begin job on node147 at 2011-05-16 18:56:40
IDJOB=3385303
IDBENCH=82568
IDSOLVER=1870
FILE ID=node147/3385303-1305565000
RUNJOBID= node147-1305564960-15765
PBS_JOBID= 13350103
Free space on /tmp= 73160 MiB

SOLVER NAME= borg-sat 11.03.02-par-random (fixed)
BENCH NAME= SAT11/random/large/unif-k7-r85-v200-c17000-S283489555-036-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-3385303-1305565000/watcher-3385303-1305565000 -o /tmp/evaluation-result-3385303-1305565000/solver-3385303-1305565000 -C 40000 -W 5100 -M 31000  python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3385303-1305565000.cnf -seed 584385659 -budget 40000 -cores 8

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

MD5SUM BENCH= dd0dfae1a7fca71616878d93d3870a71
RANDOM SEED=584385659

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.836
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.82
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.836
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.75
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.836
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.82
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.836
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.76
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.836
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.836
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      21898056 kB
Buffers:        324800 kB
Cached:        5475700 kB
SwapCached:      13132 kB
Active:        4349692 kB
Inactive:      6450216 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21898056 kB
SwapTotal:    67111528 kB
SwapFree:     63485424 kB
Dirty:           32504 kB
Writeback:           0 kB
AnonPages:     4994940 kB
Mapped:          17096 kB
Slab:           152384 kB
PageTables:      33448 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 52918000 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= 73128 MiB
End job on node147 at 2011-05-16 19:00:48