Trace number 3321755

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 2473.44 313.296

General information on the benchmark

Namerandom/large/
unif-k7-r85-v150-c12750-S313239685-087-UNKNOWN.cnf
MD5SUMac4ee3ff752a515035c947b106bcabeb
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark4.66229
Satisfiable
(Un)Satisfiability was proved
Number of variables150
Number of clauses12750
Sum of the clauses size89250
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 512750

Solver Data 

0.40/2.66	c INFO: loaded portfolio from HOME/etc/borg-mix+class.random.pickle
0.40/2.66	c INFO: solving HOME/instance-3321755-1307741585.cnf
0.40/2.66	c INFO: computing task features
0.44/2.74	c INFO: computed variable-clause graph statistics
0.44/2.74	c INFO: computed clause balance statistics
0.85/3.20	c INFO: computed variable balance statistics
1.06/3.39	c INFO: computed small-clause counts
1.06/3.39	c INFO: computed Horn-clause counts
1.15/3.40	c INFO: computed variable graph statistics
1.15/3.40	c INFO: collected features for HOME/instance-3321755-1307741585.cnf in 0.74 s
1.15/3.56	c INFO: running gnovelty+2@0 for 97 with 39999 remaining (b = 0.37)
1.15/3.59	c INFO: running gnovelty+2@0 for 97 with 39999 remaining (b = 0.12)
1.22/3.63	c INFO: running adaptg2wsat2009++@0 for 97 with 39999 remaining (b = 0.08)
1.22/3.67	c INFO: running adaptg2wsat2009++@0 for 97 with 39999 remaining (b = 0.06)
1.32/3.71	c INFO: running adaptg2wsat2009++@0 for 97 with 39998 remaining (b = 0.05)
1.32/3.75	c INFO: running gnovelty+2@0 for 97 with 39998 remaining (b = 0.04)
1.32/3.79	c INFO: running FH@0 for 97 with 39998 remaining (b = 0.03)
1.42/3.83	c INFO: running adaptg2wsat2009++@0 for 97 with 39998 remaining (b = 0.03)
800.70/103.73	c INFO: running adaptg2wsat2009++@0 for 97 with 39898 remaining (b = 0.02)
800.70/103.78	c INFO: running FH@0 for 97 with 39898 remaining (b = 0.02)
801.33/103.83	c INFO: running hybridGM3@0 for 194 with 39898 remaining (b = 0.04)
801.33/103.88	c INFO: running gnovelty+2@0 for 97 with 39898 remaining (b = 0.02)
801.77/103.94	c INFO: running hybridGM3@0 for 194 with 39898 remaining (b = 0.03)
801.77/103.99	c INFO: running hybridGM3@0 for 194 with 39898 remaining (b = 0.03)
801.97/104.06	c INFO: running TNM@0 for 1552 with 39898 remaining (b = 0.19)
802.06/104.12	c INFO: running adaptg2wsat2009++@0 for 97 with 39898 remaining (b = 0.01)
1600.20/203.92	c INFO: running adaptg2wsat2009++@0 for 97 with 39798 remaining (b = 0.01)
1600.20/203.98	c INFO: running adaptg2wsat2009++@0 for 97 with 39798 remaining (b = 0.01)
1600.98/204.10	c INFO: running adaptg2wsat2009++@100 for 97 with 39798 remaining (b = 0.01)
1603.34/204.31	c INFO: running FH@0 for 97 with 39798 remaining (b = 0.01)
2361.11/299.28	c INFO: running hybridGM3@99 for 97 with 39703 remaining (b = 0.01)
2368.29/300.17	c INFO: running hybridGM3@99 for 97 with 39702 remaining (b = 0.01)
2376.25/301.10	c INFO: running adaptg2wsat2009++@100 for 97 with 39701 remaining (b = 0.01)
2376.25/301.18	c INFO: running gnovelty+2@0 for 97 with 39701 remaining (b = 0.01)
2377.01/301.29	c INFO: running hybridGM3@0 for 194 with 39701 remaining (b = 0.02)
2401.68/304.38	c INFO: running hybridGM3@100 for 97 with 39698 remaining (b = 0.01)
2403.18/304.50	c INFO: running hybridGM3@0 for 194 with 39698 remaining (b = 0.02)
2472.54/313.27	s SATISFIABLE
2472.54/313.27	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 0

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 988)

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-3321755-1307741585/watcher-3321755-1307741585 -o /tmp/evaluation-result-3321755-1307741585/solver-3321755-1307741585 -C 40000 -W 5100 -M 31000 python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3321755-1307741585.cnf -seed 1088248822 -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: 0.00 0.00 0.00 1/171 28177
/proc/meminfo: memFree=31718624/32951124 swapFree=67063272/67111528
[pid=28177] ppid=28175 vsize=14820 CPUtime=0 cores=0-7
/proc/28177/stat : 28177 (python) S 28175 28177 28147 0 -1 4202496 512 0 0 0 0 0 0 0 22 0 1 0 885756780 15175680 419 33554432000 4194304 5683644 140736894613728 18446744073709551615 232335888229 0 2147483391 4096 0 18446744071699453118 0 0 17 6 0 0 0
/proc/28177/statm: 3705 419 259 364 0 192 0

[startup+0.0181469 s]
/proc/loadavg: 0.00 0.00 0.00 1/171 28177
/proc/meminfo: memFree=31718624/32951124 swapFree=67063272/67111528
[pid=28177] ppid=28175 vsize=15080 CPUtime=0 cores=0-7
/proc/28177/stat : 28177 (python) S 28175 28177 28147 0 -1 4202496 617 0 0 0 0 0 0 0 22 0 1 0 885756780 15441920 513 33554432000 4194304 5683644 140736894613728 18446744073709551615 232335890432 0 2147483391 16781312 2 18446744071699453118 0 0 17 4 0 0 0
/proc/28177/statm: 3770 513 300 364 0 257 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15080

[startup+0.101145 s]
/proc/loadavg: 0.00 0.00 0.00 1/171 28177
/proc/meminfo: memFree=31718624/32951124 swapFree=67063272/67111528
[pid=28177] ppid=28175 vsize=15380 CPUtime=0 cores=0-7
/proc/28177/stat : 28177 (python) S 28175 28177 28147 0 -1 4202496 792 0 0 0 0 0 0 0 22 0 1 0 885756780 15749120 679 33554432000 4194304 5683644 140736894613728 18446744073709551615 232335890432 0 2147483391 16781312 2 18446744071699453118 0 0 17 4 0 0 0
/proc/28177/statm: 3845 679 322 364 0 332 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15380

[startup+0.301099 s]
/proc/loadavg: 0.00 0.00 0.00 1/171 28177
/proc/meminfo: memFree=31718624/32951124 swapFree=67063272/67111528
[pid=28177] ppid=28175 vsize=16244 CPUtime=0 cores=0-7
/proc/28177/stat : 28177 (python) S 28175 28177 28147 0 -1 4202496 1001 0 0 0 0 0 0 0 20 0 1 0 885756780 16633856 873 33554432000 4194304 5683644 140736894613728 18446744073709551615 232335890432 0 2147483391 16781312 2 18446744071699453118 0 0 17 4 0 0 0
/proc/28177/statm: 4061 873 371 364 0 548 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 16244

[startup+0.701027 s]
/proc/loadavg: 0.00 0.00 0.00 1/171 28177
/proc/meminfo: memFree=31718624/32951124 swapFree=67063272/67111528
[pid=28177] ppid=28175 vsize=30116 CPUtime=0.04 cores=0-7
/proc/28177/stat : 28177 (python) S 28175 28177 28147 0 -1 4202496 1511 0 0 0 3 1 0 0 16 0 1 0 885756780 30838784 1348 33554432000 4194304 5683644 140736894613728 18446744073709551615 232335890432 0 2147483391 16781312 2 18446744071699453118 0 0 17 4 0 0 0
/proc/28177/statm: 7529 1348 443 364 0 899 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 30116

[startup+1.5009 s]
/proc/loadavg: 0.08 0.02 0.01 1/172 28178
/proc/meminfo: memFree=31710800/32951124 swapFree=67063272/67111528
[pid=28177] ppid=28175 vsize=135752 CPUtime=0.22 cores=0-7
/proc/28177/stat : 28177 (python) S 28175 28177 28147 0 -1 4202496 5959 937 1 0 15 7 0 0 16 0 1 0 885756780 139010048 4151 33554432000 4194304 5683644 140736894613728 18446744073709551615 232335888389 0 2147483391 16781312 2 18446744071699453118 0 0 17 4 0 0 0
/proc/28177/statm: 33938 4151 1032 364 0 3124 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 135752

[startup+3.10059 s]
/proc/loadavg: 0.08 0.02 0.01 1/172 28182
/proc/meminfo: memFree=31697780/32951124 swapFree=67063272/67111528
[pid=28177] ppid=28175 vsize=281500 CPUtime=0.85 cores=0-7
/proc/28177/stat : 28177 (python) R 28175 28177 28147 0 -1 4202496 10828 937 1 0 73 12 0 0 16 0 1 0 885756780 288256000 7770 33554432000 4194304 5683644 140736894613728 18446744073709551615 4528277 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/28177/statm: 70375 7770 1826 364 0 6299 0
Current children cumulated CPU time (s) 0.85
Current children cumulated vsize (KiB) 281500
heavy processes:

[startup+6.30098 s]
/proc/loadavg: 0.08 0.02 0.01 9/196 28206
/proc/meminfo: memFree=31645512/32951124 swapFree=67063272/67111528
[pid=28177] ppid=28175 vsize=361628 CPUtime=1.45 cores=0-7
/proc/28177/stat : 28177 (python) S 28175 28177 28147 0 -1 4202496 17301 937 1 0 131 14 0 0 21 0 9 0 885756780 370307072 7373 33554432000 4194304 5683644 140736894613728 18446744073709551615 232347719115 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28177/statm: 90407 7373 1891 364 0 26304 0
[pid=28183] ppid=28177 vsize=278984 CPUtime=0 cores=0-7
/proc/28183/stat : 28183 (python) S 28177 28177 28147 0 -1 4202560 741 0 0 0 0 0 0 0 15 0 1 0 885757136 285679616 5669 33554432000 4194304 5683644 140736894613728 18446744073709551615 232335912463 0 0 16781312 514 4611483162826998019 0 0 17 1 0 0 0
/proc/28183/statm: 69746 5669 354 364 0 5664 0
[pid=28185] ppid=28183 vsize=1018364 CPUtime=2.72 cores=0-7
/proc/28185/stat : 28185 (gnovelty+2) R 28183 28185 28185 0 -1 4202496 674 0 0 0 272 0 0 0 23 0 1 0 885757136 1042804736 409 33554432000 134512640 135663704 4293711120 18446744073709551615 134525302 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/28185/statm: 254591 409 113 282 0 254307 0
[pid=28186] ppid=28177 vsize=289848 CPUtime=0 cores=0-7
/proc/28186/stat : 28186 (python) S 28177 28177 28147 0 -1 4202560 741 0 0 0 0 0 0 0 18 0 1 0 885757140 296804352 5802 33554432000 4194304 5683644 140736894613728 18446744073709551615 232335912518 0 0 16781312 514 3990021873499865348 0 0 17 0 0 0 0
/proc/28186/statm: 72462 5802 348 364 0 8377 0
[pid=28188] ppid=28186 vsize=1018364 CPUtime=2.69 cores=0-7
/proc/28188/stat : 28188 (gnovelty+2) R 28186 28188 28188 0 -1 4202496 673 0 0 0 269 0 0 0 25 0 1 0 885757140 1042804736 409 33554432000 134512640 135663704 4294309904 18446744073709551615 134524918 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/28188/statm: 254591 409 113 282 0 254307 0
[pid=28189] ppid=28177 vsize=300104 CPUtime=0 cores=0-7
/proc/28189/stat : 28189 (python) S 28177 28177 28147 0 -1 4202560 736 0 0 0 0 0 0 0 18 0 1 0 885757143 307306496 5806 33554432000 4194304 5683644 140736894613728 18446744073709551615 232335912518 0 0 16781312 514 3990025721790562564 0 0 17 4 0 0 0
/proc/28189/statm: 75026 5806 348 364 0 10938 0
[pid=28191] ppid=28189 vsize=417976 CPUtime=2.64 cores=0-7
/proc/28191/stat : 28191 (adaptg2wsat2009) R 28189 28191 28191 0 -1 4202496 1003 0 0 0 264 0 0 0 25 0 1 0 885757144 428007424 736 33554432000 134512640 135107411 4288515920 18446744073709551615 134531928 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/28191/statm: 104494 736 59 146 0 103370 0
[pid=28192] ppid=28177 vsize=310360 CPUtime=0 cores=0-7
/proc/28192/stat : 28192 (python) S 28177 28177 28147 0 -1 4202560 746 0 0 0 0 0 0 0 18 0 1 0 885757147 317808640 5810 33554432000 4194304 5683644 140736894613728 18446744073709551615 232335912518 0 0 16781312 514 3975694412356223234 0 0 17 6 0 0 0
/proc/28192/statm: 77590 5810 348 364 0 13499 0
[pid=28194] ppid=28192 vsize=417976 CPUtime=2.62 cores=0-7
/proc/28194/stat : 28194 (adaptg2wsat2009) R 28192 28194 28194 0 -1 4202496 999 0 0 0 262 0 0 0 25 0 1 0 885757148 428007424 737 33554432000 134512640 135107411 4290121680 18446744073709551615 134539376 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/28194/statm: 104494 737 59 146 0 103370 0
[pid=28195] ppid=28177 vsize=320616 CPUtime=0 cores=0-7
/proc/28195/stat : 28195 (python) S 28177 28177 28147 0 -1 4202560 752 0 0 0 0 0 0 0 18 0 1 0 885757151 328310784 5814 33554432000 4194304 5683644 140736894613728 18446744073709551615 232335912518 0 0 16781312 514 3861463125689598212 0 0 17 6 0 0 0
/proc/28195/statm: 80154 5814 348 364 0 16060 0
[pid=28197] ppid=28195 vsize=417976 CPUtime=2.57 cores=0-7
/proc/28197/stat : 28197 (adaptg2wsat2009) R 28195 28197 28197 0 -1 4202496 1002 0 0 0 257 0 0 0 25 0 1 0 885757152 428007424 736 33554432000 134512640 135107411 4293108192 18446744073709551615 134539292 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/28197/statm: 104494 736 59 146 0 103370 0
[pid=28198] ppid=28177 vsize=330872 CPUtime=0 cores=0-7
/proc/28198/stat : 28198 (python) S 28177 28177 28147 0 -1 4202560 772 0 0 0 0 0 0 0 18 0 1 0 885757155 338812928 5818 33554432000 4194304 5683644 140736894613728 18446744073709551615 232335912518 0 0 16781312 514 3966293313060831492 0 0 17 6 0 0 0
/proc/28198/statm: 82718 5818 348 364 0 18621 0
[pid=28200] ppid=28198 vsize=1018364 CPUtime=2.54 cores=0-7
/proc/28200/stat : 28200 (gnovelty+2) R 28198 28200 28200 0 -1 4202496 676 0 0 0 254 0 0 0 25 0 1 0 885757156 1042804736 409 33554432000 134512640 135663704 4289259376 18446744073709551615 134545619 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/28200/statm: 254591 409 113 282 0 254307 0
[pid=28201] ppid=28177 vsize=341128 CPUtime=0 cores=0-7
/proc/28201/stat : 28201 (python) S 28177 28177 28147 0 -1 4202560 767 0 0 0 0 0 0 0 18 0 1 0 885757159 349315072 5822 33554432000 4194304 5683644 140736894613728 18446744073709551615 232335912518 0 0 16781312 514 4092288824388845828 0 0 17 0 0 0 0
/proc/28201/statm: 85282 5822 348 364 0 21182 0
[pid=28203] ppid=28201 vsize=247992 CPUtime=2.49 cores=0-7
/proc/28203/stat : 28203 (FH) R 28201 28203 28203 0 -1 4202496 930 0 0 0 249 0 0 0 25 0 1 0 885757160 253943808 659 33554432000 134512640 134936988 4288177792 18446744073709551615 134553304 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/28203/statm: 61998 659 41 104 0 61502 0
[pid=28204] ppid=28177 vsize=351384 CPUtime=0 cores=0-7
/proc/28204/stat : 28204 (python) S 28177 28177 28147 0 -1 4202560 796 0 0 0 0 0 0 0 18 0 1 0 885757163 359817216 5832 33554432000 4194304 5683644 140736894613728 18446744073709551615 232335912518 0 0 16781312 514 9390946684193702148 0 0 17 6 0 0 0
/proc/28204/statm: 87846 5832 354 364 0 23743 0
[pid=28206] ppid=28204 vsize=417976 CPUtime=2.39 cores=0-7
/proc/28206/stat : 28206 (adaptg2wsat2009) R 28204 28206 28206 0 -1 4202496 1007 0 0 0 239 0 0 0 25 0 1 0 885757164 428007424 735 33554432000 134512640 135107411 4289928864 18446744073709551615 134532306 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/28206/statm: 104494 735 59 146 0 103370 0
[pid=28177/tid=28184] ppid=28175 vsize=361628 CPUtime=0 cores=0-7
/proc/28177/task/28184/stat : 28184 (python) S 28175 28177 28147 0 -1 4202560 27 937 0 0 0 0 0 0 16 0 9 0 885757136 370307072 7373 33554432000 4194304 5683644 140736894613728 18446744073709551615 232347716017 0 0 16781312 2 18446604453811759296 0 0 -1 2 0 0 0
[pid=28177/tid=28187] ppid=28175 vsize=361628 CPUtime=0 cores=0-7
/proc/28177/task/28187/stat : 28187 (python) S 28175 28177 28147 0 -1 4202560 24 937 0 0 0 0 0 0 18 0 9 0 885757140 370307072 7373 33554432000 4194304 5683644 140736894613728 18446744073709551615 232347716017 0 0 16781312 2 18446604453811759296 0 0 -1 2 0 0 0
[pid=28177/tid=28190] ppid=28175 vsize=361628 CPUtime=0 cores=0-7
/proc/28177/task/28190/stat : 28190 (python) S 28175 28177 28147 0 -1 4202560 26 937 0 0 0 0 0 0 20 0 9 0 885757144 370307072 7373 33554432000 4194304 5683644 140736894613728 18446744073709551615 232347716017 0 0 16781312 2 18446604453811759296 0 0 -1 4 0 0 0
[pid=28177/tid=28193] ppid=28175 vsize=361628 CPUtime=0 cores=0-7
/proc/28177/task/28193/stat : 28193 (python) S 28175 28177 28147 0 -1 4202560 26 937 0 0 0 0 0 0 22 0 9 0 885757148 370307072 7373 33554432000 4194304 5683644 140736894613728 18446744073709551615 232347716017 0 0 16781312 2 18446604453811759296 0 0 -1 4 0 0 0
[pid=28177/tid=28196] ppid=28175 vsize=361628 CPUtime=0 cores=0-7
/proc/28177/task/28196/stat : 28196 (python) S 28175 28177 28147 0 -1 4202560 25 937 0 0 0 0 0 0 18 0 9 0 885757152 370307072 7373 33554432000 4194304 5683644 140736894613728 18446744073709551615 232347716017 0 0 16781312 2 18446604453811759296 0 0 -1 6 0 0 0
[pid=28177/tid=28199] ppid=28175 vsize=361628 CPUtime=0 cores=0-7
/proc/28177/task/28199/stat : 28199 (python) S 28175 28177 28147 0 -1 4202560 23 937 0 0 0 0 0 0 18 0 9 0 885757156 370307072 7373 33554432000 4194304 5683644 140736894613728 18446744073709551615 232347716017 0 0 16781312 2 18446604453811759296 0 0 -1 6 0 0 0
[pid=28177/tid=28202] ppid=28175 vsize=361628 CPUtime=0 cores=0-7
/proc/28177/task/28202/stat : 28202 (python) S 28175 28177 28147 0 -1 4202560 25 937 0 0 0 0 0 0 20 0 9 0 885757160 370307072 7373 33554432000 4194304 5683644 140736894613728 18446744073709551615 232347716017 0 0 16781312 2 18446604453811759296 0 0 -1 6 0 0 0
[pid=28177/tid=28205] ppid=28175 vsize=361628 CPUtime=0 cores=0-7
/proc/28177/task/28205/stat : 28205 (python) S 28175 28177 28147 0 -1 4202560 84 937 0 0 0 0 0 0 23 0 9 0 885757164 370307072 7373 33554432000 4194304 5683644 140736894613728 18446744073709551615 232347716017 0 0 16781312 2 18446604453811759296 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 22.11
Current children cumulated vsize (KiB) 7859912

[startup+12.7008 s]
/proc/loadavg: 1.30 0.28 0.09 9/196 28206
/proc/meminfo: memFree=31641952/32951124 swapFree=67063272/67111528
[pid=28177] ppid=28175 vsize=361628 CPUtime=1.45 cores=0-7
/proc/28177/stat : 28177 (python) S 28175 28177 28147 0 -1 4202496 17301 937 1 0 131 14 0 0 21 0 9 0 885756780 370307072 7373 33554432000 4194304 5683644 140736894613728 18446744073709551615 232347719115 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28177/statm: 90407 7373 1891 364 0 26304 0
[pid=28183] ppid=28177 vsize=278984 CPUtime=0 cores=0-7
/proc/28183/stat : 28183 (python) S 28177 28177 28147 0 -1 4202560 896 0 0 0 0 0 0 0 15 0 1 0 885757136 285679616 5692 33554432000 4194304 5683644 140736894613728 18446744073709551615 232335912463 0 0 16781312 514 4611483162826998019 0 0 17 1 0 0 0
/proc/28183/statm: 69746 5692 377 364 0 5664 0
[pid=28185] ppid=28183 vsize=1018364 CPUtime=9.12 cores=0-7
/proc/28185/stat : 28185 (gnovelty+2) R 28183 28185 28185 0 -1 4202496 674 0 0 0 912 0 0 0 25 0 1 0 885757136 1042804736 409 33554432000 134512640 135663704 4293711120 18446744073709551615 134544252 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/28185/statm: 254591 409 113 282 0 254307 0
[pid=28186] ppid=28177 vsize=289848 CPUtime=0 cores=0-7
/proc/28186/stat : 28186 (python) S 28177 28177 28147 0 -1 4202560 897 0 0 0 0 0 0 0 18 0 1 0 885757140 296804352 5825 33554432000 4194304 5683644 140736894613728 18446744073709551615 232335912518 0 0 16781312 514 3990021873499865348 0 0 17 0 0 0 0
/proc/28186/statm: 72462 5825 371 364 0 8377 0
[pid=28188] ppid=28186 vsize=1018364 CPUtime=9.09 cores=0-7
/proc/28188/stat : 28188 (gnovelty+2) R 28186 28188 28188 0 -1 4202496 673 0 0 0 909 0 0 0 25 0 1 0 885757140 1042804736 409 33554432000 134512640 135663704 4294309904 18446744073709551615 134524894 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/28188/statm: 254591 409 113 282 0 254307 0
[pid=28189] ppid=28177 vsize=300104 CPUtime=0 cores=0-7
/proc/28189/stat : 28189 (python) S 28177 28177 28147 0 -1 4202560 906 0 0 0 0 0 0 0 18 0 1 0 885757143 307306496 5829 33554432000 4194304 5683644 140736894613728 18446744073709551615 232335912518 0 0 16781312 514 3990025721790562564 0 0 17 4 0 0 0
/proc/28189/statm: 75026 5829 371 364 0 10938 0
[pid=28191] ppid=28189 vsize=417976 CPUtime=9.01 cores=0-7
/proc/28191/stat : 28191 (adaptg2wsat2009) R 28189 28191 28191 0 -1 4202496 1003 0 0 0 901 0 0 0 25 0 1 0 885757144 428007424 736 33554432000 134512640 135107411 4288515920 18446744073709551615 134532140 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/28191/statm: 104494 736 59 146 0 103370 0
[pid=28192] ppid=28177 vsize=310360 CPUtime=0 cores=0-7
/proc/28192/stat : 28192 (python) S 28177 28177 28147 0 -1 4202560 921 0 0 0 0 0 0 0 18 0 1 0 885757147 317808640 5833 33554432000 4194304 5683644 140736894613728 18446744073709551615 232335912518 0 0 16781312 514 3975694412356223234 0 0 17 6 0 0 0
/proc/28192/statm: 77590 5833 371 364 0 13499 0
[pid=28194] ppid=28192 vsize=417976 CPUtime=9.01 cores=0-7
/proc/28194/stat : 28194 (adaptg2wsat2009) R 28192 28194 28194 0 -1 4202496 999 0 0 0 901 0 0 0 25 0 1 0 885757148 428007424 737 33554432000 134512640 135107411 4290121680 18446744073709551615 134532277 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/28194/statm: 104494 737 59 146 0 103370 0
[pid=28195] ppid=28177 vsize=320616 CPUtime=0 cores=0-7
/proc/28195/stat : 28195 (python) S 28177 28177 28147 0 -1 4202560 939 0 0 0 0 0 0 0 18 0 1 0 885757151 328310784 5837 33554432000 4194304 5683644 140736894613728 18446744073709551615 232335912518 0 0 16781312 514 3861463125689598212 0 0 17 6 0 0 0
/proc/28195/statm: 80154 5837 371 364 0 16060 0
[pid=28197] ppid=28195 vsize=417976 CPUtime=8.97 cores=0-7
/proc/28197/stat : 28197 (adaptg2wsat2009) R 28195 28197 28197 0 -1 4202496 1002 0 0 0 897 0 0 0 25 0 1 0 885757152 428007424 736 33554432000 134512640 135107411 4293108192 18446744073709551615 134532349 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/28197/statm: 104494 736 59 146 0 103370 0
[pid=28198] ppid=28177 vsize=330872 CPUtime=0 cores=0-7
/proc/28198/stat : 28198 (python) S 28177 28177 28147 0 -1 4202560 958 0 0 0 0 0 0 0 18 0 1 0 885757155 338812928 5841 33554432000 4194304 5683644 140736894613728 18446744073709551615 232335912518 0 0 16781312 514 3966293313060831492 0 0 17 6 0 0 0
/proc/28198/statm: 82718 5841 371 364 0 18621 0
[pid=28200] ppid=28198 vsize=1018364 CPUtime=8.92 cores=0-7
/proc/28200/stat : 28200 (gnovelty+2) R 28198 28200 28200 0 -1 4202496 676 0 0 0 892 0 0 0 25 0 1 0 885757156 1042804736 409 33554432000 134512640 135663704 4289259376 18446744073709551615 134525309 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/28200/statm: 254591 409 113 282 0 254307 0
[pid=28201] ppid=28177 vsize=341128 CPUtime=0 cores=0-7
/proc/28201/stat : 28201 (python) S 28177 28177 28147 0 -1 4202560 953 0 0 0 0 0 0 0 18 0 1 0 885757159 349315072 5844 33554432000 4194304 5683644 140736894613728 18446744073709551615 232335912518 0 0 16781312 514 4092288824388845828 0 0 17 0 0 0 0

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

[pid=28186/tid=28211] ppid=28177 vsize=289848 CPUtime=0 cores=0-7
/proc/28186/task/28211/stat : 28211 (python) S 28177 28177 28147 0 -1 4202560 45 0 0 0 0 0 0 0 19 0 2 0 885767153 296804352 5855 33554432000 4194304 5683644 140736894613728 18446744073709551615 232347716017 0 0 16781312 514 18446604453841692608 0 0 -1 5 0 0 0
[pid=28189] ppid=28177 vsize=365640 CPUtime=0.25 cores=0-7
/proc/28189/stat : 28189 (python) S 28177 28177 28147 0 -1 4202560 1105 0 0 0 14 11 0 0 18 0 2 0 885757143 374415360 5865 33554432000 4194304 5683644 140736894613728 18446744073709551615 232347719115 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/28189/statm: 91410 5865 400 364 0 27322 0
[pid=28191] ppid=28189 vsize=417976 CPUtime=198.14 cores=0-7
/proc/28191/stat : 28191 (adaptg2wsat2009) T 28189 28191 28191 0 -1 4202496 1003 0 0 0 19814 0 0 0 25 0 1 0 885757144 428007424 736 33554432000 134512640 135107411 4288515920 18446744073709551615 134531401 0 0 16781312 0 18446744071562691360 0 0 17 7 0 0 0
/proc/28191/statm: 104494 736 59 146 0 103370 0
[pid=28189/tid=28215] ppid=28177 vsize=365640 CPUtime=0 cores=0-7
/proc/28189/task/28215/stat : 28215 (python) S 28177 28177 28147 0 -1 4202560 47 0 0 0 0 0 0 0 18 0 2 0 885767154 374415360 5865 33554432000 4194304 5683644 140736894613728 18446744073709551615 232347716017 0 0 16781312 514 18446604453841693504 0 0 -1 7 0 0 0
[pid=28192] ppid=28177 vsize=310360 CPUtime=0.25 cores=0-7
/proc/28192/stat : 28192 (python) S 28177 28177 28147 0 -1 4202560 1147 0 0 0 14 11 0 0 18 0 2 0 885757147 317808640 5863 33554432000 4194304 5683644 140736894613728 18446744073709551615 232347719115 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/28192/statm: 77590 5863 400 364 0 13499 0
[pid=28194] ppid=28192 vsize=417976 CPUtime=196.96 cores=0-7
/proc/28194/stat : 28194 (adaptg2wsat2009) T 28192 28194 28194 0 -1 4202496 999 0 0 0 19696 0 0 0 25 0 1 0 885757148 428007424 737 33554432000 134512640 135107411 4290121680 18446744073709551615 134531392 0 0 16781312 0 18446744071562691360 0 0 17 4 0 0 0
/proc/28194/statm: 104494 737 59 146 0 103370 0
[pid=28192/tid=28216] ppid=28177 vsize=310360 CPUtime=0 cores=0-7
/proc/28192/task/28216/stat : 28216 (python) S 28177 28177 28147 0 -1 4202560 49 0 0 0 0 0 0 0 18 0 2 0 885767158 317808640 5863 33554432000 4194304 5683644 140736894613728 18446744073709551615 232347716017 0 0 16781312 514 18446604453838356736 0 0 -1 7 0 0 0
[pid=28195] ppid=28177 vsize=386152 CPUtime=0.25 cores=0-7
/proc/28195/stat : 28195 (python) S 28177 28177 28147 0 -1 4202560 1133 0 0 0 14 11 0 0 18 0 2 0 885757151 395419648 5873 33554432000 4194304 5683644 140736894613728 18446744073709551615 232347719115 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/28195/statm: 96538 5873 400 364 0 32444 0
[pid=28197] ppid=28195 vsize=417976 CPUtime=197.11 cores=0-7
/proc/28197/stat : 28197 (adaptg2wsat2009) T 28195 28197 28197 0 -1 4202496 1002 0 0 0 19711 0 0 0 25 0 1 0 885757152 428007424 736 33554432000 134512640 135107411 4293108192 18446744073709551615 134531246 0 0 16781312 0 18446744071562691360 0 0 17 3 0 0 0
/proc/28197/statm: 104494 736 59 146 0 103370 0
[pid=28195/tid=28220] ppid=28177 vsize=386152 CPUtime=0 cores=0-7
/proc/28195/task/28220/stat : 28220 (python) S 28177 28177 28147 0 -1 4202560 50 0 0 0 0 0 0 0 18 0 2 0 885767162 395419648 5873 33554432000 4194304 5683644 140736894613728 18446744073709551615 232347716017 0 0 16781312 514 18446604453811760192 0 0 -1 3 0 0 0
[pid=28198] ppid=28177 vsize=330872 CPUtime=0.11 cores=0-7
/proc/28198/stat : 28198 (python) S 28177 28177 28147 0 -1 4202560 1136 0 0 0 5 6 0 0 19 0 2 0 885757155 338812928 5871 33554432000 4194304 5683644 140736894613728 18446744073709551615 232347719115 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/28198/statm: 82718 5871 400 364 0 18621 0
[pid=28200] ppid=28198 vsize=1018364 CPUtime=99.88 cores=0-7
/proc/28200/stat : 28200 (gnovelty+2) T 28198 28200 28200 0 -1 4202496 676 0 0 0 9988 0 0 0 25 0 1 0 885757156 1042804736 409 33554432000 134512640 135663704 4289259376 18446744073709551615 134524897 0 0 16781312 0 18446744071562691360 0 0 17 3 0 0 0
/proc/28200/statm: 254591 409 113 282 0 254307 0
[pid=28198/tid=28224] ppid=28177 vsize=330872 CPUtime=0 cores=0-7
/proc/28198/task/28224/stat : 28224 (python) S 28177 28177 28147 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 885767168 338812928 5871 33554432000 4194304 5683644 140736894613728 18446744073709551615 232347716017 0 0 16781312 514 18446604453836167872 0 0 -1 3 0 0 0
[pid=28201] ppid=28177 vsize=341128 CPUtime=0.11 cores=0-7
/proc/28201/stat : 28201 (python) S 28177 28177 28147 0 -1 4202560 1188 0 0 0 6 5 0 0 19 0 2 0 885757159 349315072 5881 33554432000 4194304 5683644 140736894613728 18446744073709551615 232347719115 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/28201/statm: 85282 5881 406 364 0 21182 0
[pid=28203] ppid=28201 vsize=247992 CPUtime=100.09 cores=0-7
/proc/28203/stat : 28203 (FH) T 28201 28203 28203 0 -1 4202496 930 0 0 0 10009 0 0 0 25 0 1 0 885757160 253943808 659 33554432000 134512640 134936988 4288177792 18446744073709551615 134553422 0 0 16781312 0 18446744071562691360 0 0 17 2 0 0 0
/proc/28203/statm: 61998 659 41 104 0 61502 0
[pid=28201/tid=28228] ppid=28177 vsize=341128 CPUtime=0 cores=0-7
/proc/28201/task/28228/stat : 28228 (python) S 28177 28177 28147 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 885767171 349315072 5881 33554432000 4194304 5683644 140736894613728 18446744073709551615 232347716017 0 0 16781312 514 18446604453865503488 0 0 -1 3 0 0 0
[pid=28204] ppid=28177 vsize=351384 CPUtime=0.25 cores=0-7
/proc/28204/stat : 28204 (python) S 28177 28177 28147 0 -1 4202560 1202 0 0 0 15 10 0 0 18 0 2 0 885757163 359817216 5885 33554432000 4194304 5683644 140736894613728 18446744073709551615 232347719115 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/28204/statm: 87846 5885 406 364 0 23743 0
[pid=28206] ppid=28204 vsize=417976 CPUtime=196.74 cores=0-7
/proc/28206/stat : 28206 (adaptg2wsat2009) T 28204 28206 28206 0 -1 4202496 1007 0 0 0 19674 0 0 0 25 0 1 0 885757164 428007424 735 33554432000 134512640 135107411 4289928864 18446744073709551615 134532135 0 0 16781312 0 18446744071562691360 0 0 17 1 0 0 0
/proc/28206/statm: 104494 735 59 146 0 103370 0
[pid=28204/tid=28234] ppid=28177 vsize=351384 CPUtime=0 cores=0-7
/proc/28204/task/28234/stat : 28234 (python) S 28177 28177 28147 0 -1 4202560 48 0 0 0 0 0 0 0 18 0 2 0 885767181 359817216 5885 33554432000 4194304 5683644 140736894613728 18446744073709551615 232347716017 0 0 16781312 514 18446604442214291520 0 0 -1 1 0 0 0
[pid=28212] ppid=28177 vsize=427176 CPUtime=0.15 cores=0-7
/proc/28212/stat : 28212 (python) S 28177 28177 28147 0 -1 4202560 1175 0 0 0 8 7 0 0 18 0 2 0 885767154 437428224 5889 33554432000 4194304 5683644 140736894613728 18446744073709551615 232335912518 0 0 16781312 514 18446744073709551615 0 0 17 5 0 0 0
/proc/28212/statm: 106794 5889 400 364 0 42688 0
[pid=28214] ppid=28212 vsize=417976 CPUtime=112.05 cores=0-7
/proc/28214/stat : 28214 (adaptg2wsat2009) R 28212 28214 28214 0 -1 4202496 1009 0 0 0 11205 0 0 0 25 0 1 0 885767154 428007424 735 33554432000 134512640 135107411 4289576000 18446744073709551615 134532384 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/28214/statm: 104494 735 59 146 0 103370 0
[pid=28212/tid=28241] ppid=28177 vsize=427176 CPUtime=0 cores=0-7
/proc/28212/task/28241/stat : 28241 (python) S 28177 28177 28147 0 -1 4202560 50 0 0 0 0 0 0 0 19 0 2 0 885777166 437428224 5889 33554432000 4194304 5683644 140736894613728 18446744073709551615 232347716017 0 0 16781312 514 18446604453985334208 0 0 -1 0 0 0 0
[pid=28217] ppid=28177 vsize=437432 CPUtime=0.12 cores=0-7
/proc/28217/stat : 28217 (python) S 28177 28177 28147 0 -1 4202560 1075 0 0 0 7 5 0 0 19 0 2 0 885767159 447930368 6060 33554432000 4194304 5683644 140736894613728 18446744073709551615 232347719115 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/28217/statm: 109358 6060 400 364 0 45249 0
[pid=28219] ppid=28217 vsize=247988 CPUtime=99.99 cores=0-7
/proc/28219/stat : 28219 (FH) T 28217 28219 28219 0 -1 4202496 922 0 0 0 9999 0 0 0 25 0 1 0 885767159 253939712 658 33554432000 134512640 134936988 4286914992 18446744073709551615 134553480 0 0 16781312 0 18446744071562691360 0 0 17 4 0 0 0
/proc/28219/statm: 61997 658 41 104 0 61501 0
[pid=28217/tid=28242] ppid=28177 vsize=437432 CPUtime=0 cores=0-7
/proc/28217/task/28242/stat : 28242 (python) S 28177 28177 28147 0 -1 4202560 134 0 0 0 0 0 0 0 19 0 2 0 885777172 447930368 6060 33554432000 4194304 5683644 140736894613728 18446744073709551615 232347716017 0 0 16781312 514 18446604453828797504 0 0 -1 4 0 0 0
[pid=28221] ppid=28177 vsize=447688 CPUtime=0.28 cores=0-7
/proc/28221/stat : 28221 (python) S 28177 28177 28147 0 -1 4202560 1035 0 0 0 16 12 0 0 18 0 2 0 885767164 458432512 6069 33554432000 4194304 5683644 140736894613728 18446744073709551615 232335912518 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/28221/statm: 111922 6069 400 364 0 47810 0
[pid=28223] ppid=28221 vsize=268428 CPUtime=208.73 cores=0-7
/proc/28223/stat : 28223 (hybridGM3) R 28221 28223 28223 0 -1 4202496 5052 0 0 0 20873 0 0 0 25 0 1 0 885767164 274870272 4788 33554432000 134512640 135204385 4287428896 18446744073709551615 134537939 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/28223/statm: 67107 4788 63 169 0 66937 0
[pid=28221/tid=28251] ppid=28177 vsize=447688 CPUtime=0 cores=0-7
/proc/28221/task/28251/stat : 28251 (python) S 28177 28177 28147 0 -1 4202560 75 0 0 0 0 0 0 0 19 0 2 0 885786791 458432512 6069 33554432000 4194304 5683644 140736894613728 18446744073709551615 232347716017 0 0 16781312 514 18446604453865500800 0 0 -1 5 0 0 0
[pid=28225] ppid=28177 vsize=457944 CPUtime=0.12 cores=0-7
/proc/28225/stat : 28225 (python) S 28177 28177 28147 0 -1 4202560 1034 0 0 0 6 6 0 0 19 0 2 0 885767169 468934656 6052 33554432000 4194304 5683644 140736894613728 18446744073709551615 232347719115 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/28225/statm: 114486 6052 400 364 0 50371 0
[pid=28227] ppid=28225 vsize=1018364 CPUtime=100.14 cores=0-7
/proc/28227/stat : 28227 (gnovelty+2) T 28225 28227 28227 0 -1 4202496 673 0 0 0 10014 0 0 0 25 0 1 0 885767169 1042804736 408 33554432000 134512640 135663704 4294942368 18446744073709551615 134524551 0 0 16781312 0 18446744071562691360 0 0 17 2 0 0 0
/proc/28227/statm: 254591 408 113 282 0 254307 0
[pid=28225/tid=28243] ppid=28177 vsize=457944 CPUtime=0 cores=0-7
/proc/28225/task/28243/stat : 28243 (python) S 28177 28177 28147 0 -1 4202560 74 0 0 0 0 0 0 0 19 0 2 0 885777184 468934656 6052 33554432000 4194304 5683644 140736894613728 18446744073709551615 232347716017 0 0 16781312 514 18446604446320970816 0 0 -1 0 0 0 0
[pid=28229] ppid=28177 vsize=468200 CPUtime=0.28 cores=0-7
/proc/28229/stat : 28229 (python) S 28177 28177 28147 0 -1 4202560 1188 0 0 0 15 13 0 0 18 0 2 0 885767174 479436800 6007 33554432000 4194304 5683644 140736894613728 18446744073709551615 232335912518 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/28229/statm: 117050 6007 400 364 0 52932 0
[pid=28231] ppid=28229 vsize=268428 CPUtime=209.14 cores=0-7
/proc/28231/stat : 28231 (hybridGM3) R 28229 28231 28231 0 -1 4202496 5058 0 0 0 20914 0 0 0 25 0 1 0 885767174 274870272 4788 33554432000 134512640 135204385 4291614656 18446744073709551615 134538034 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/28231/statm: 67107 4788 63 169 0 66937 0
[pid=28229/tid=28250] ppid=28177 vsize=468200 CPUtime=0 cores=0-7
/proc/28229/task/28250/stat : 28250 (python) S 28177 28177 28147 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 885786702 479436800 6007 33554432000 4194304 5683644 140736894613728 18446744073709551615 232347716017 0 0 16781312 514 18446604453858327424 0 0 -1 6 0 0 0
[pid=28232] ppid=28177 vsize=478456 CPUtime=0.27 cores=0-7
/proc/28232/stat : 28232 (python) S 28177 28177 28147 0 -1 4202560 1233 0 0 0 17 10 0 0 18 0 2 0 885767180 489938944 6011 33554432000 4194304 5683644 140736894613728 18446744073709551615 232335912518 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/28232/statm: 119614 6011 400 364 0 55493 0
[pid=28235] ppid=28232 vsize=268424 CPUtime=207.4 cores=0-7
/proc/28235/stat : 28235 (hybridGM3) R 28232 28235 28235 0 -1 4202496 5063 0 0 0 20740 0 0 0 25 0 1 0 885767181 274866176 4788 33554432000 134512640 135204385 4291212992 18446744073709551615 134537792 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/28235/statm: 67106 4788 63 169 0 66936 0
[pid=28232/tid=28258] ppid=28177 vsize=478456 CPUtime=0 cores=0-7
/proc/28232/task/28258/stat : 28258 (python) S 28177 28177 28147 0 -1 4202560 59 0 0 0 0 0 0 0 19 0 2 0 885787211 489938944 6011 33554432000 4194304 5683644 140736894613728 18446744073709551615 232347716017 0 0 16781312 514 18446604446320968128 0 0 -1 7 0 0 0
[pid=28236] ppid=28177 vsize=488712 CPUtime=0.27 cores=0-7
/proc/28236/stat : 28236 (python) S 28177 28177 28147 0 -1 4202560 1095 0 0 0 15 12 0 0 18 0 1 0 885767186 500441088 6020 33554432000 4194304 5683644 140736894613728 18446744073709551615 232335912518 0 0 16781312 514 6658554456881201410 0 0 17 0 0 0 0
/proc/28236/statm: 122178 6020 379 364 0 58054 0
[pid=28238] ppid=28236 vsize=456468 CPUtime=208.7 cores=0-7
/proc/28238/stat : 28238 (TNM) R 28236 28238 28238 0 -1 4202496 923 0 0 0 20870 0 0 0 25 0 1 0 885767186 467423232 643 33554432000 134512640 135008748 4289742736 18446744073709551615 134528976 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/28238/statm: 114117 643 46 122 0 113017 0
[pid=28244] ppid=28177 vsize=499652 CPUtime=0.13 cores=0-7
/proc/28244/stat : 28244 (python) S 28177 28177 28147 0 -1 4202560 1233 0 0 0 7 6 0 0 19 0 2 0 885777211 511643648 6198 33554432000 4194304 5683644 140736894613728 18446744073709551615 232347719115 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/28244/statm: 124913 6198 407 364 0 60786 0
[pid=28246] ppid=28244 vsize=247996 CPUtime=99.35 cores=0-7
/proc/28246/stat : 28246 (FH) T 28244 28246 28246 0 -1 4202496 939 0 0 0 9935 0 0 0 25 0 1 0 885777212 253947904 658 33554432000 134512640 134936988 4291173168 18446744073709551615 134554594 0 0 16781312 0 18446744071562691360 0 0 17 2 0 0 0
/proc/28246/statm: 61999 658 41 104 0 61503 0
[pid=28244/tid=28259] ppid=28177 vsize=499652 CPUtime=0 cores=0-7
/proc/28244/task/28259/stat : 28259 (python) S 28177 28177 28147 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 885787224 511643648 6198 33554432000 4194304 5683644 140736894613728 18446744073709551615 232347716017 0 0 16781312 514 18446604453838972096 0 0 -1 2 0 0 0
[pid=28252] ppid=28177 vsize=509908 CPUtime=0.97 cores=0-7
/proc/28252/stat : 28252 (python) S 28177 28177 28147 0 -1 4202560 1043 0 0 0 83 14 0 0 18 0 1 0 885786898 522145792 6166 33554432000 4194304 5683644 140736894613728 18446744073709551615 232347722559 0 0 16781312 514 0 0 0 17 1 0 0 0
/proc/28252/statm: 127477 6166 372 364 0 63347 0
[pid=28254] ppid=28252 vsize=0 CPUtime=11.02 cores=0-7
/proc/28254/stat : 28254 (gnovelty+2) R 28252 28254 28254 0 -1 4202500 692 0 0 0 1102 0 0 0 25 0 1 0 885786898 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 1 0 0 0
/proc/28254/statm: 0 0 0 0 0 0 0
[pid=28255] ppid=28177 vsize=520164 CPUtime=0.01 cores=0-7
/proc/28255/stat : 28255 (python) S 28177 28177 28147 0 -1 4202560 1047 0 0 0 1 0 0 0 18 0 1 0 885786909 532647936 6169 33554432000 4194304 5683644 140736894613728 18446744073709551615 232335912518 0 0 16781312 514 6658554456881201410 0 0 17 6 0 0 0
/proc/28255/statm: 130041 6169 372 364 0 65908 0
[pid=28257] ppid=28255 vsize=268424 CPUtime=11.63 cores=0-7
/proc/28257/stat : 28257 (hybridGM3) R 28255 28257 28257 0 -1 4202496 5067 0 0 0 1163 0 0 0 25 0 1 0 885786911 274866176 4787 33554432000 134512640 135204385 4287972080 18446744073709551615 134537785 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/28257/statm: 67106 4787 63 169 0 66936 0
[pid=28260] ppid=28177 vsize=530420 CPUtime=0 cores=0-7
/proc/28260/stat : 28260 (python) S 28177 28177 28147 0 -1 4202560 1077 0 0 0 0 0 0 0 18 0 1 0 885787231 543150080 6174 33554432000 4194304 5683644 140736894613728 18446744073709551615 232335912518 0 0 16781312 514 3845129055825264898 0 0 17 6 0 0 0
/proc/28260/statm: 132605 6174 373 364 0 68469 0
[pid=28262] ppid=28260 vsize=268420 CPUtime=8.62 cores=0-7
/proc/28262/stat : 28262 (hybridGM3) R 28260 28262 28262 0 -1 4202496 5072 0 0 0 862 0 0 0 25 0 1 0 885787231 274862080 4786 33554432000 134512640 135204385 4292133056 18446744073709551615 134538041 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/28262/statm: 67105 4786 63 169 0 66935 0
[pid=28177/tid=28184] ppid=28175 vsize=540664 CPUtime=0 cores=0-7
/proc/28177/task/28184/stat : 28184 (python) S 28175 28177 28147 0 -1 4202560 27 937 0 0 0 0 0 0 16 0 20 0 885757136 553639936 7719 33554432000 4194304 5683644 140736894613728 18446744073709551615 232347716017 0 0 16781312 2 18446604453811759296 0 0 -1 2 0 0 0
[pid=28177/tid=28187] ppid=28175 vsize=540664 CPUtime=0 cores=0-7
/proc/28177/task/28187/stat : 28187 (python) S 28175 28177 28147 0 -1 4202560 24 937 0 0 0 0 0 0 18 0 20 0 885757140 553639936 7719 33554432000 4194304 5683644 140736894613728 18446744073709551615 232347716017 0 0 16781312 2 18446604453811759296 0 0 -1 2 0 0 0
[pid=28177/tid=28190] ppid=28175 vsize=540664 CPUtime=0 cores=0-7
/proc/28177/task/28190/stat : 28190 (python) S 28175 28177 28147 0 -1 4202560 30 937 0 0 0 0 0 0 18 0 20 0 885757144 553639936 7719 33554432000 4194304 5683644 140736894613728 18446744073709551615 232347716017 0 0 16781312 2 18446604453811759296 0 0 -1 4 0 0 0
[pid=28177/tid=28193] ppid=28175 vsize=540664 CPUtime=0 cores=0-7
/proc/28177/task/28193/stat : 28193 (python) S 28175 28177 28147 0 -1 4202560 32 937 0 0 0 0 0 0 18 0 20 0 885757148 553639936 7719 33554432000 4194304 5683644 140736894613728 18446744073709551615 232347716017 0 0 16781312 2 18446604453811759296 0 0 -1 4 0 0 0
[pid=28177/tid=28196] ppid=28175 vsize=540664 CPUtime=0 cores=0-7
/proc/28177/task/28196/stat : 28196 (python) S 28175 28177 28147 0 -1 4202560 29 937 0 0 0 0 0 0 18 0 20 0 885757152 553639936 7719 33554432000 4194304 5683644 140736894613728 18446744073709551615 232347716017 0 0 16781312 2 18446604453811759296 0 0 -1 6 0 0 0
[pid=28177/tid=28199] ppid=28175 vsize=540664 CPUtime=0 cores=0-7
/proc/28177/task/28199/stat : 28199 (python) S 28175 28177 28147 0 -1 4202560 23 937 0 0 0 0 0 0 18 0 20 0 885757156 553639936 7719 33554432000 4194304 5683644 140736894613728 18446744073709551615 232347716017 0 0 16781312 2 18446604453811759296 0 0 -1 6 0 0 0
[pid=28177/tid=28202] ppid=28175 vsize=540664 CPUtime=0 cores=0-7
/proc/28177/task/28202/stat : 28202 (python) S 28175 28177 28147 0 -1 4202560 25 937 0 0 0 0 0 0 20 0 20 0 885757160 553639936 7719 33554432000 4194304 5683644 140736894613728 18446744073709551615 232347716017 0 0 16781312 2 18446604453811759296 0 0 -1 6 0 0 0
[pid=28177/tid=28205] ppid=28175 vsize=540664 CPUtime=0 cores=0-7
/proc/28177/task/28205/stat : 28205 (python) S 28175 28177 28147 0 -1 4202560 88 937 0 0 0 0 0 0 18 0 20 0 885757164 553639936 7719 33554432000 4194304 5683644 140736894613728 18446744073709551615 232347716017 0 0 16781312 2 18446604453811759296 0 0 -1 6 0 0 0
[pid=28177/tid=28213] ppid=28175 vsize=540664 CPUtime=0 cores=0-7
/proc/28177/task/28213/stat : 28213 (python) S 28175 28177 28147 0 -1 4202560 35 937 0 0 0 0 0 0 18 0 20 0 885767154 553639936 7719 33554432000 4194304 5683644 140736894613728 18446744073709551615 232347716017 0 0 16781312 2 18446604453811759296 0 0 -1 1 0 0 0
[pid=28177/tid=28218] ppid=28175 vsize=540664 CPUtime=0 cores=0-7
/proc/28177/task/28218/stat : 28218 (python) S 28175 28177 28147 0 -1 4202560 99 937 0 0 0 0 0 0 21 0 20 0 885767159 553639936 7719 33554432000 4194304 5683644 140736894613728 18446744073709551615 232347716017 0 0 16781312 2 18446604453811759296 0 0 -1 6 0 0 0
[pid=28177/tid=28222] ppid=28175 vsize=540664 CPUtime=0 cores=0-7
/proc/28177/task/28222/stat : 28222 (python) S 28175 28177 28147 0 -1 4202560 35 937 0 0 0 0 0 0 18 0 20 0 885767164 553639936 7719 33554432000 4194304 5683644 140736894613728 18446744073709551615 232347716017 0 0 16781312 2 18446604453811759296 0 0 -1 4 0 0 0
[pid=28177/tid=28226] ppid=28175 vsize=540664 CPUtime=0 cores=0-7
/proc/28177/task/28226/stat : 28226 (python) S 28175 28177 28147 0 -1 4202560 31 937 0 0 0 0 0 0 25 0 20 0 885767169 553639936 7719 33554432000 4194304 5683644 140736894613728 18446744073709551615 232347716017 0 0 16781312 2 18446604453811759296 0 0 -1 0 0 0 0
[pid=28177/tid=28230] ppid=28175 vsize=540664 CPUtime=0 cores=0-7
/proc/28177/task/28230/stat : 28230 (python) S 28175 28177 28147 0 -1 4202560 25 937 0 0 0 0 0 0 18 0 20 0 885767174 553639936 7719 33554432000 4194304 5683644 140736894613728 18446744073709551615 232347716017 0 0 16781312 2 18446604453811759296 0 0 -1 6 0 0 0
[pid=28177/tid=28233] ppid=28175 vsize=540664 CPUtime=0 cores=0-7
/proc/28177/task/28233/stat : 28233 (python) S 28175 28177 28147 0 -1 4202560 32 937 0 0 0 0 0 0 18 0 20 0 885767180 553639936 7719 33554432000 4194304 5683644 140736894613728 18446744073709551615 232347716017 0 0 16781312 2 18446604453811759296 0 0 -1 6 0 0 0
[pid=28177/tid=28237] ppid=28175 vsize=540664 CPUtime=0 cores=0-7
/proc/28177/task/28237/stat : 28237 (python) S 28175 28177 28147 0 -1 4202560 24 937 0 0 0 0 0 0 25 0 20 0 885767186 553639936 7719 33554432000 4194304 5683644 140736894613728 18446744073709551615 232347716017 0 0 16781312 2 18446604453811759296 0 0 -1 0 0 0 0
[pid=28177/tid=28245] ppid=28175 vsize=540664 CPUtime=0 cores=0-7
/proc/28177/task/28245/stat : 28245 (python) S 28175 28177 28147 0 -1 4202560 28 937 0 0 0 0 0 0 20 0 20 0 885777212 553639936 7719 33554432000 4194304 5683644 140736894613728 18446744073709551615 232347716017 0 0 16781312 2 18446604453811759296 0 0 -1 6 0 0 0
[pid=28177/tid=28253] ppid=28175 vsize=540664 CPUtime=0 cores=0-7
/proc/28177/task/28253/stat : 28253 (python) S 28175 28177 28147 0 -1 4202560 26 937 0 0 0 0 0 0 19 0 20 0 885786898 553639936 7719 33554432000 4194304 5683644 140736894613728 18446744073709551615 232347716017 0 0 16781312 2 18446604453811759296 0 0 -1 6 0 0 0
[pid=28177/tid=28256] ppid=28175 vsize=540664 CPUtime=0 cores=0-7
/proc/28177/task/28256/stat : 28256 (python) S 28175 28177 28147 0 -1 4202560 26 937 0 0 0 0 0 0 20 0 20 0 885786910 553639936 7719 33554432000 4194304 5683644 140736894613728 18446744073709551615 232347716017 0 0 16781312 2 18446604453811759296 0 0 -1 6 0 0 0
[pid=28177/tid=28261] ppid=28175 vsize=540664 CPUtime=0 cores=0-7
/proc/28177/task/28261/stat : 28261 (python) S 28175 28177 28147 0 -1 4202560 29 937 0 0 0 0 0 0 20 0 20 0 885787231 553639936 7719 33554432000 4194304 5683644 140736894613728 18446744073709551615 232347716017 0 0 16781312 2 18446604453811759296 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2472.54
Current children cumulated vsize (KiB) 17176932

Child status: 0
Real time (s): 313.296
CPU time (s): 2473.44
CPU user time (s): 2471.55
CPU system time (s): 1.89371
CPU usage (%): 789.49
Max. virtual memory (cumulated for all children) (KiB): 18195296

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2471.55
system time used= 1.89371
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 92901
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= 6410
involuntary context switches= 25301

runsolver used 1.13683 second user time and 2.79957 second system time

The end

Launcher Data 

Begin job on node132 at 2011-06-10 23:33:05
IDJOB=3321755
IDBENCH=82533
IDSOLVER=1712
FILE ID=node132/3321755-1307741585
RUNJOBID= node132-1307741585-28161
PBS_JOBID= 13550771
Free space on /tmp= 74100 MiB

SOLVER NAME= borg-sat 11.03.02-random
BENCH NAME= SAT11/random/large/unif-k7-r85-v150-c12750-S313239685-087-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-3321755-1307741585/watcher-3321755-1307741585 -o /tmp/evaluation-result-3321755-1307741585/solver-3321755-1307741585 -C 40000 -W 5100 -M 31000  python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3321755-1307741585.cnf -seed 1088248822 -budget 40000 -cores 8

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

MD5SUM BENCH= ac4ee3ff752a515035c947b106bcabeb
RANDOM SEED=1088248822

node132.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.833
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.833
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.74
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.833
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.76
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.833
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.833
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.77
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.833
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.67
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.833
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.833
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:      31720732 kB
Buffers:        220892 kB
Cached:         785232 kB
SwapCached:       9968 kB
Active:         492984 kB
Inactive:       530408 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31720732 kB
SwapTotal:    67111528 kB
SwapFree:     67063272 kB
Dirty:           32244 kB
Writeback:           4 kB
AnonPages:       15564 kB
Mapped:           8784 kB
Slab:           142508 kB
PageTables:       3812 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   156896 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74068 MiB
End job on node132 at 2011-06-10 23:38:20