Trace number 3321932

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-randomUNSAT 13371.1 1676.79

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v500-c2130-S1762880211-075.UNKNOWN.cnf
MD5SUM57a2cff28dc53061839e3102dd9b3447
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1657.58
Satisfiable
(Un)Satisfiability was proved
Number of variables500
Number of clauses2130
Sum of the clauses size6390
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32130
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

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-3321932-1304369642.cnf
0.32/0.47	c INFO: computing task features
0.32/0.48	c INFO: computed variable-clause graph statistics
0.32/0.48	c INFO: computed clause balance statistics
0.41/0.52	c INFO: computed variable balance statistics
0.41/0.55	c INFO: computed small-clause counts
0.41/0.55	c INFO: computed Horn-clause counts
0.41/0.55	c INFO: computed variable graph statistics
0.41/0.55	c INFO: collected features for HOME/instance-3321932-1304369642.cnf in 0.08 s
0.41/0.59	c INFO: running gnovelty+2@0 for 97 with 39999 remaining (b = 0.57)
0.51/0.62	c INFO: running march_hi@0 for 388 with 39999 remaining (b = 0.34)
0.51/0.66	c INFO: running march_hi@0 for 485 with 39999 remaining (b = 0.34)
0.61/0.70	c INFO: running march_hi@0 for 97 with 39999 remaining (b = 0.10)
0.61/0.74	c INFO: running gnovelty+2@0 for 97 with 39999 remaining (b = 0.07)
0.61/0.78	c INFO: running march_hi@0 for 485 with 39999 remaining (b = 0.25)
0.70/0.82	c INFO: running march_hi@0 for 485 with 39999 remaining (b = 0.23)
0.70/0.86	c INFO: running march_hi@0 for 485 with 39999 remaining (b = 0.20)
795.35/100.95	c INFO: running kcnfs-2006@0 for 582 with 39899 remaining (b = 0.20)
808.90/102.65	c INFO: running march_hi@0 for 97 with 39897 remaining (b = 0.05)
834.43/105.82	c INFO: running march_hi@0 for 582 with 39894 remaining (b = 0.18)
1552.05/195.77	c INFO: running march_hi@101 for 291 with 39804 remaining (b = 0.11)
3135.65/394.11	c INFO: running kcnfs-2006@0 for 582 with 39606 remaining (b = 0.18)
3877.06/487.07	c INFO: running kcnfs-2006@0 for 582 with 39513 remaining (b = 0.16)
3909.76/491.13	c INFO: running adaptg2wsat2009++@0 for 97 with 39509 remaining (b = 0.03)
3921.71/492.64	c INFO: running march_hi@495 for 1649 with 39507 remaining (b = 0.49)
3928.88/493.53	c INFO: running kcnfs-2006@0 for 582 with 39506 remaining (b = 0.16)
3941.61/495.12	c INFO: running march_hi@0 for 291 with 39505 remaining (b = 0.08)
4709.36/591.38	c INFO: running march_hi@0 for 291 with 39409 remaining (b = 0.09)
5457.21/685.07	c INFO: running march_hi@0 for 97 with 39315 remaining (b = 0.03)
5502.73/690.80	c INFO: running march_hi@0 for 97 with 39309 remaining (b = 0.04)
6210.27/779.54	c INFO: running march_hi@583 for 97 with 39220 remaining (b = 0.07)
6234.17/782.50	c INFO: running march_hi@99 for 291 with 39218 remaining (b = 0.11)
6270.06/787.05	c INFO: running march_hi@92 for 97 with 39213 remaining (b = 0.04)
7009.12/879.69	c INFO: running march_hi@98 for 97 with 39120 remaining (b = 0.05)
7038.71/883.39	c INFO: running march_hi@94 for 291 with 39117 remaining (b = 0.13)
7070.57/887.35	c INFO: running march_hi@582 for 97 with 39113 remaining (b = 0.06)
7820.01/981.25	c INFO: running kcnfs-2006@485 for 97 with 39019 remaining (b = 0.09)
7820.73/981.35	c INFO: running march_hi@194 for 194 with 39019 remaining (b = 0.10)
7853.40/985.40	c INFO: running march_hi@1168 for 194 with 39015 remaining (b = 0.13)
8579.69/1076.48	c INFO: running march_hi@192 for 388 with 38924 remaining (b = 0.14)
8587.65/1077.43	c INFO: running march_hi@195 for 194 with 38923 remaining (b = 0.08)
8610.08/1080.27	c INFO: running kcnfs-2006@488 for 97 with 38920 remaining (b = 0.08)
8653.16/1085.70	c INFO: running kcnfs-2006@485 for 97 with 38914 remaining (b = 0.08)
9362.59/1174.58	c INFO: running march_hi@388 for 97 with 38825 remaining (b = 0.04)
9368.98/1175.40	c INFO: running march_hi@291 for 97 with 38825 remaining (b = 0.05)
9370.54/1175.51	c INFO: running kcnfs-2006@101 for 485 with 38825 remaining (b = 0.14)
9396.09/1178.72	c INFO: running march_hi@1263 for 873 with 38821 remaining (b = 0.36)
9413.66/1180.93	c INFO: running march_hi@0 for 388 with 38819 remaining (b = 0.12)
10123.92/1269.97	c INFO: running march_hi@870 for 1358 with 38730 remaining (b = 0.39)
10125.51/1270.18	c INFO: running march_hi@385 for 97 with 38730 remaining (b = 0.05)
10151.00/1273.31	c INFO: running kcnfs-2006@1073 for 291 with 38727 remaining (b = 0.08)
10922.75/1370.07	c INFO: running kcnfs-2006@0 for 582 with 38630 remaining (b = 0.15)
11716.94/1469.57	c INFO: running march_hi@483 for 97 with 38530 remaining (b = 0.03)
12475.05/1564.54	c INFO: running march_hi@782 for 1358 with 38435 remaining (b = 0.35)
12542.13/1572.94	c INFO: running kcnfs-2006@1172 for 194 with 38427 remaining (b = 0.06)
12565.20/1575.86	c INFO: running march_hi@192 for 194 with 38424 remaining (b = 0.07)
13264.34/1663.47	c INFO: running kcnfs-2006@294 for 291 with 38337 remaining (b = 0.12)
13370.41/1676.76	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3321932-1304369642/watcher-3321932-1304369642 -o /tmp/evaluation-result-3321932-1304369642/solver-3321932-1304369642 -C 40000 -W 5100 -M 31000 python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3321932-1304369642.cnf -seed 350712018 -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: 7.81 8.45 8.21 2/257 18263
/proc/meminfo: memFree=23185772/32951132 swapFree=67111356/67111528
[pid=18263] ppid=18261 vsize=15776 CPUtime=0 cores=0-7
/proc/18263/stat : 18263 (python) R 18261 18263 17621 0 -1 4202496 893 0 0 0 0 0 0 0 21 0 1 0 548563854 16154624 774 33554432000 4194304 5683644 140737144975984 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/18263/statm: 3944 774 343 364 0 431 0

[startup+0.0937341 s]
/proc/loadavg: 7.81 8.45 8.21 2/257 18263
/proc/meminfo: memFree=23185772/32951132 swapFree=67111356/67111528
[pid=18263] ppid=18261 vsize=99376 CPUtime=0.07 cores=0-7
/proc/18263/stat : 18263 (python) R 18261 18263 17621 0 -1 4202496 2872 0 0 0 5 2 0 0 22 0 1 0 548563854 101761024 2568 33554432000 4194304 5683644 140737144975984 18446744073709551615 4428865 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/18263/statm: 24844 2568 818 364 0 1695 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 99376

[startup+0.100747 s]
/proc/loadavg: 7.81 8.45 8.21 2/257 18263
/proc/meminfo: memFree=23185772/32951132 swapFree=67111356/67111528
[pid=18263] ppid=18261 vsize=104220 CPUtime=0.07 cores=0-7
/proc/18263/stat : 18263 (python) R 18261 18263 17621 0 -1 4202496 3048 0 0 0 5 2 0 0 22 0 1 0 548563854 106721280 2732 33554432000 4194304 5683644 140737144975984 18446744073709551615 274664806400 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/18263/statm: 26055 2732 847 364 0 1803 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 104220

[startup+0.3007 s]
/proc/loadavg: 7.81 8.45 8.21 2/257 18263
/proc/meminfo: memFree=23185772/32951132 swapFree=67111356/67111528
[pid=18263] ppid=18261 vsize=168672 CPUtime=0.23 cores=0-7
/proc/18263/stat : 18263 (python) R 18261 18263 17621 0 -1 4202496 6719 934 1 0 17 6 0 0 17 0 1 0 548563854 172720128 4796 33554432000 4194304 5683644 140737144975984 18446744073709551615 4509181 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/18263/statm: 42168 4797 1331 364 0 3453 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 168672

[startup+0.700635 s]
/proc/loadavg: 7.81 8.45 8.21 2/257 18263
/proc/meminfo: memFree=23185772/32951132 swapFree=67111356/67111528
[pid=18263] ppid=18261 vsize=375480 CPUtime=0.61 cores=0-7
/proc/18263/stat : 18263 (python) R 18261 18263 17621 0 -1 4202496 11975 934 1 0 52 9 0 0 18 0 4 0 548563854 384491520 7242 33554432000 4194304 5683644 140737144975984 18446744073709551615 274668246975 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18263/statm: 93870 7242 1878 364 0 29782 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 375480

[startup+1.50145 s]
/proc/loadavg: 7.81 8.45 8.21 9/282 18292
/proc/meminfo: memFree=23127648/32951132 swapFree=67111356/67111528
[pid=18263] ppid=18261 vsize=426760 CPUtime=0.77 cores=0-7
/proc/18263/stat : 18263 (python) S 18261 18263 17621 0 -1 4202496 15583 934 1 0 67 10 0 0 20 0 9 0 548563854 437002240 7537 33554432000 4194304 5683644 140737144975984 18446744073709551615 274676635083 0 0 16781312 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18263/statm: 106690 7537 1889 364 0 42587 0
[pid=18269] ppid=18263 vsize=278684 CPUtime=0 cores=0-7
/proc/18269/stat : 18269 (python) S 18263 18263 17621 0 -1 4202560 738 0 0 0 0 0 0 0 19 0 1 0 548563913 285372416 5586 33554432000 4194304 5683644 140737144975984 18446744073709551615 274664828431 0 0 16781312 514 3966272422339936255 0 0 17 1 0 0 0
/proc/18269/statm: 69671 5586 354 364 0 5589 0
[pid=18271] ppid=18269 vsize=1017800 CPUtime=0.9 cores=0-7
/proc/18271/stat : 18271 (gnovelty+2) R 18269 18271 18271 0 -1 4202496 441 0 0 0 90 0 0 0 23 0 1 0 548563913 1042227200 178 33554432000 134512640 135663704 4292601920 18446744073709551615 134544268 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/18271/statm: 254450 178 113 282 0 254166 0
[pid=18272] ppid=18263 vsize=289344 CPUtime=0 cores=0-7
/proc/18272/stat : 18272 (python) S 18263 18263 17621 0 -1 4202560 753 0 0 0 0 0 0 0 15 0 1 0 548563917 296288256 5694 33554432000 4194304 5683644 140737144975984 18446744073709551615 274664828486 0 0 16781312 514 5958016020701479169 0 0 17 1 0 0 0
/proc/18272/statm: 72336 5694 348 364 0 8251 0
[pid=18274] ppid=18272 vsize=2352 CPUtime=0.86 cores=0-7
/proc/18274/stat : 18274 (march_hi) R 18272 18274 18274 0 -1 4202496 657 0 0 0 86 0 0 0 23 0 1 0 548563917 2408448 395 33554432000 4194304 4955518 140735534745456 18446744073709551615 4227756 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/18274/statm: 588 395 104 186 0 401 0
[pid=18275] ppid=18263 vsize=364784 CPUtime=0 cores=0-7
/proc/18275/stat : 18275 (python) S 18263 18263 17621 0 -1 4202560 757 0 0 0 0 0 0 0 17 0 1 0 548563920 373538816 5619 33554432000 4194304 5683644 140737144975984 18446744073709551615 274664828486 0 0 16781312 514 5958024816794501378 0 0 17 1 0 0 0
/proc/18275/statm: 91196 5619 348 364 0 27108 0
[pid=18277] ppid=18275 vsize=2352 CPUtime=0.82 cores=0-7
/proc/18277/stat : 18277 (march_hi) R 18275 18277 18277 0 -1 4202496 660 0 0 0 82 0 0 0 25 0 1 0 548563921 2408448 393 33554432000 4194304 4955518 140737112394128 18446744073709551615 4227664 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/18277/statm: 588 393 104 186 0 401 0
[pid=18278] ppid=18263 vsize=375492 CPUtime=0 cores=0-7
/proc/18278/stat : 18278 (python) S 18263 18263 17621 0 -1 4202560 768 0 0 0 0 0 0 0 16 0 1 0 548563924 384503808 5712 33554432000 4194304 5683644 140737144975984 18446744073709551615 274664828486 0 0 16781312 514 5958029214841012481 0 0 17 5 0 0 0
/proc/18278/statm: 93873 5712 348 364 0 29782 0
[pid=18280] ppid=18278 vsize=2352 CPUtime=0.79 cores=0-7
/proc/18280/stat : 18280 (march_hi) R 18278 18280 18280 0 -1 4202496 654 0 0 0 79 0 0 0 22 0 1 0 548563924 2408448 392 33554432000 4194304 4955518 140734439868624 18446744073709551615 4227647 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/18280/statm: 588 392 104 186 0 401 0
[pid=18281] ppid=18263 vsize=385748 CPUtime=0 cores=0-7
/proc/18281/stat : 18281 (python) S 18263 18263 17621 0 -1 4202560 726 0 0 0 0 0 0 0 20 0 1 0 548563928 395005952 5887 33554432000 4194304 5683644 140737144975984 18446744073709551615 274664828486 0 0 16781312 514 3439897723216592895 0 0 17 1 0 0 0
/proc/18281/statm: 96437 5887 348 364 0 32343 0
[pid=18283] ppid=18281 vsize=1017800 CPUtime=0.74 cores=0-7
/proc/18283/stat : 18283 (gnovelty+2) R 18281 18283 18283 0 -1 4202496 432 0 0 0 74 0 0 0 25 0 1 0 548563928 1042227200 178 33554432000 134512640 135663704 4293517536 18446744073709551615 134544183 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/18283/statm: 254450 178 113 282 0 254166 0
[pid=18284] ppid=18263 vsize=396004 CPUtime=0 cores=0-7
/proc/18284/stat : 18284 (python) S 18263 18263 17621 0 -1 4202560 736 0 0 0 0 0 0 0 16 0 1 0 548563932 405508096 5864 33554432000 4194304 5683644 140737144975984 18446744073709551615 274664828486 0 0 16781312 514 10438222438679412993 0 0 17 1 0 0 0
/proc/18284/statm: 99001 5864 348 364 0 34904 0
[pid=18286] ppid=18284 vsize=2352 CPUtime=0.69 cores=0-7
/proc/18286/stat : 18286 (march_hi) R 18284 18286 18286 0 -1 4202496 644 0 0 0 69 0 0 0 24 0 1 0 548563932 2408448 389 33554432000 4194304 4955518 140736139007488 18446744073709551615 4238727 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/18286/statm: 588 389 104 186 0 401 0
[pid=18287] ppid=18263 vsize=406260 CPUtime=0 cores=0-7
/proc/18287/stat : 18287 (python) S 18263 18263 17621 0 -1 4202560 746 0 0 0 0 0 0 0 19 0 1 0 548563936 416010240 5988 33554432000 4194304 5683644 140737144975984 18446744073709551615 274664828486 0 0 16781312 514 2816082379494359297 0 0 17 6 0 0 0
/proc/18287/statm: 101565 5988 348 364 0 37465 0
[pid=18289] ppid=18287 vsize=2352 CPUtime=0.66 cores=0-7
/proc/18289/stat : 18289 (march_hi) R 18287 18289 18289 0 -1 4202496 649 0 0 0 66 0 0 0 25 0 1 0 548563937 2408448 388 33554432000 4194304 4955518 140735527336240 18446744073709551615 4227917 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/18289/statm: 588 388 104 186 0 401 0
[pid=18290] ppid=18263 vsize=416516 CPUtime=0 cores=0-7
/proc/18290/stat : 18290 (python) S 18263 18263 17621 0 -1 4202560 777 0 0 0 0 0 0 0 16 0 1 0 548563940 426512384 5998 33554432000 4194304 5683644 140737144975984 18446744073709551615 274664828486 0 0 16781312 514 10103654244486709508 0 0 17 0 0 0 0
/proc/18290/statm: 104129 5998 354 364 0 40026 0
[pid=18292] ppid=18290 vsize=2352 CPUtime=0.63 cores=0-7
/proc/18292/stat : 18292 (march_hi) R 18290 18292 18292 0 -1 4202496 648 0 0 0 63 0 0 0 22 0 1 0 548563940 2408448 386 33554432000 4194304 4955518 140735282693216 18446744073709551615 4261424 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/18292/statm: 588 386 104 186 0 401 0
[pid=18263/tid=18270] ppid=18261 vsize=426760 CPUtime=0 cores=0-7
/proc/18263/task/18270/stat : 18270 (python) S 18261 18263 17621 0 -1 4202560 26 934 0 0 0 0 0 0 18 0 9 0 548563913 437002240 7537 33554432000 4194304 5683644 140737144975984 18446744073709551615 274676631985 0 0 16781312 2 18446604453750679360 0 0 -1 0 0 0 0
[pid=18263/tid=18273] ppid=18261 vsize=426760 CPUtime=0 cores=0-7
/proc/18263/task/18273/stat : 18273 (python) S 18261 18263 17621 0 -1 4202560 20 934 0 0 0 0 0 0 18 0 9 0 548563917 437002240 7537 33554432000 4194304 5683644 140737144975984 18446744073709551615 274676631985 0 0 16781312 2 18446604453750679360 0 0 -1 3 0 0 0
[pid=18263/tid=18276] ppid=18261 vsize=426760 CPUtime=0 cores=0-7
/proc/18263/task/18276/stat : 18276 (python) S 18261 18263 17621 0 -1 4202560 21 934 0 0 0 0 0 0 20 0 9 0 548563921 437002240 7537 33554432000 4194304 5683644 140737144975984 18446744073709551615 274676631985 0 0 16781312 2 18446604453750679360 0 0 -1 0 0 0 0
[pid=18263/tid=18279] ppid=18261 vsize=426760 CPUtime=0 cores=0-7
/proc/18263/task/18279/stat : 18279 (python) S 18261 18263 17621 0 -1 4202560 22 934 0 0 0 0 0 0 18 0 9 0 548563924 437002240 7537 33554432000 4194304 5683644 140737144975984 18446744073709551615 274676631985 0 0 16781312 2 18446604453750679360 0 0 -1 5 0 0 0
[pid=18263/tid=18282] ppid=18261 vsize=426760 CPUtime=0 cores=0-7
/proc/18263/task/18282/stat : 18282 (python) S 18261 18263 17621 0 -1 4202560 83 934 0 0 0 0 0 0 19 0 9 0 548563928 437002240 7537 33554432000 4194304 5683644 140737144975984 18446744073709551615 274676631985 0 0 16781312 2 18446604453750679360 0 0 -1 0 0 0 0
[pid=18263/tid=18285] ppid=18261 vsize=426760 CPUtime=0 cores=0-7
/proc/18263/task/18285/stat : 18285 (python) S 18261 18263 17621 0 -1 4202560 34 934 0 0 0 0 0 0 21 0 9 0 548563932 437002240 7537 33554432000 4194304 5683644 140737144975984 18446744073709551615 274676631985 0 0 16781312 2 18446604453750679360 0 0 -1 6 0 0 0
[pid=18263/tid=18288] ppid=18261 vsize=426760 CPUtime=0 cores=0-7
/proc/18263/task/18288/stat : 18288 (python) S 18261 18263 17621 0 -1 4202560 31 934 0 0 0 0 0 0 23 0 9 0 548563936 437002240 7537 33554432000 4194304 5683644 140737144975984 18446744073709551615 274676631985 0 0 16781312 2 18446604453750679360 0 0 -1 6 0 0 0
[pid=18263/tid=18291] ppid=18261 vsize=426760 CPUtime=0 cores=0-7
/proc/18263/task/18291/stat : 18291 (python) S 18261 18263 17621 0 -1 4202560 70 934 0 0 0 0 0 0 20 0 9 0 548563940 437002240 7537 33554432000 4194304 5683644 140737144975984 18446744073709551615 274676631985 0 0 16781312 2 18446604453750679360 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.86
Current children cumulated vsize (KiB) 5389304

[startup+3.10117 s]
/proc/loadavg: 7.81 8.45 8.21 9/282 18292
/proc/meminfo: memFree=23124796/32951132 swapFree=67111356/67111528
[pid=18263] ppid=18261 vsize=426760 CPUtime=0.77 cores=0-7
/proc/18263/stat : 18263 (python) S 18261 18263 17621 0 -1 4202496 15583 934 1 0 67 10 0 0 20 0 9 0 548563854 437002240 7537 33554432000 4194304 5683644 140737144975984 18446744073709551615 274676635083 0 0 16781312 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18263/statm: 106690 7537 1889 364 0 42587 0
[pid=18269] ppid=18263 vsize=278684 CPUtime=0 cores=0-7
/proc/18269/stat : 18269 (python) S 18263 18263 17621 0 -1 4202560 738 0 0 0 0 0 0 0 18 0 1 0 548563913 285372416 5586 33554432000 4194304 5683644 140737144975984 18446744073709551615 274664828431 0 0 16781312 514 3966272422339903747 0 0 17 1 0 0 0
/proc/18269/statm: 69671 5586 354 364 0 5589 0
[pid=18271] ppid=18269 vsize=1017800 CPUtime=2.49 cores=0-7
/proc/18271/stat : 18271 (gnovelty+2) R 18269 18271 18271 0 -1 4202496 441 0 0 0 249 0 0 0 25 0 1 0 548563913 1042227200 178 33554432000 134512640 135663704 4292601920 18446744073709551615 134545786 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/18271/statm: 254450 178 113 282 0 254166 0
[pid=18272] ppid=18263 vsize=289344 CPUtime=0 cores=0-7
/proc/18272/stat : 18272 (python) S 18263 18263 17621 0 -1 4202560 758 0 0 0 0 0 0 0 15 0 1 0 548563917 296288256 5694 33554432000 4194304 5683644 140737144975984 18446744073709551615 274664828486 0 0 16781312 514 5958016020701479169 0 0 17 1 0 0 0
/proc/18272/statm: 72336 5694 348 364 0 8251 0
[pid=18274] ppid=18272 vsize=2984 CPUtime=2.46 cores=0-7
/proc/18274/stat : 18274 (march_hi) R 18272 18274 18274 0 -1 4202496 783 0 0 0 246 0 0 0 25 0 1 0 548563917 3055616 521 33554432000 4194304 4955518 140735534745456 18446744073709551615 4224707 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/18274/statm: 746 521 104 186 0 559 0
[pid=18275] ppid=18263 vsize=364784 CPUtime=0 cores=0-7
/proc/18275/stat : 18275 (python) S 18263 18263 17621 0 -1 4202560 759 0 0 0 0 0 0 0 15 0 1 0 548563920 373538816 5619 33554432000 4194304 5683644 140737144975984 18446744073709551615 274664828486 0 0 16781312 514 5958024816794501378 0 0 17 1 0 0 0
/proc/18275/statm: 91196 5619 348 364 0 27108 0
[pid=18277] ppid=18275 vsize=2984 CPUtime=2.31 cores=0-7
/proc/18277/stat : 18277 (march_hi) R 18275 18277 18277 0 -1 4202496 779 0 0 0 231 0 0 0 25 0 1 0 548563921 3055616 512 33554432000 4194304 4955518 140737112394128 18446744073709551615 4263553 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/18277/statm: 746 512 104 186 0 559 0
[pid=18278] ppid=18263 vsize=375492 CPUtime=0 cores=0-7
/proc/18278/stat : 18278 (python) S 18263 18263 17621 0 -1 4202560 775 0 0 0 0 0 0 0 15 0 1 0 548563924 384503808 5712 33554432000 4194304 5683644 140737144975984 18446744073709551615 274664828486 0 0 16781312 514 5958029214841012481 0 0 17 5 0 0 0
/proc/18278/statm: 93873 5712 348 364 0 29782 0
[pid=18280] ppid=18278 vsize=2984 CPUtime=2.38 cores=0-7
/proc/18280/stat : 18280 (march_hi) R 18278 18280 18280 0 -1 4202496 779 0 0 0 238 0 0 0 25 0 1 0 548563924 3055616 517 33554432000 4194304 4955518 140734439868624 18446744073709551615 4224619 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/18280/statm: 746 517 104 186 0 559 0
[pid=18281] ppid=18263 vsize=385748 CPUtime=0 cores=0-7
/proc/18281/stat : 18281 (python) S 18263 18263 17621 0 -1 4202560 726 0 0 0 0 0 0 0 18 0 1 0 548563928 395005952 5887 33554432000 4194304 5683644 140737144975984 18446744073709551615 274664828486 0 0 16781312 514 3439897723216560386 0 0 17 1 0 0 0
/proc/18281/statm: 96437 5887 348 364 0 32343 0
[pid=18283] ppid=18281 vsize=1017800 CPUtime=2.33 cores=0-7
/proc/18283/stat : 18283 (gnovelty+2) R 18281 18283 18283 0 -1 4202496 432 0 0 0 233 0 0 0 25 0 1 0 548563928 1042227200 178 33554432000 134512640 135663704 4293517536 18446744073709551615 134545776 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/18283/statm: 254450 178 113 282 0 254166 0
[pid=18284] ppid=18263 vsize=396004 CPUtime=0 cores=0-7
/proc/18284/stat : 18284 (python) S 18263 18263 17621 0 -1 4202560 736 0 0 0 0 0 0 0 15 0 1 0 548563932 405508096 5864 33554432000 4194304 5683644 140737144975984 18446744073709551615 274664828486 0 0 16781312 514 10438222438679412993 0 0 17 1 0 0 0
/proc/18284/statm: 99001 5864 348 364 0 34904 0
[pid=18286] ppid=18284 vsize=2984 CPUtime=2.29 cores=0-7
/proc/18286/stat : 18286 (march_hi) R 18284 18286 18286 0 -1 4202496 769 0 0 0 229 0 0 0 25 0 1 0 548563932 3055616 514 33554432000 4194304 4955518 140736139007488 18446744073709551615 4209675 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/18286/statm: 746 514 104 186 0 559 0
[pid=18287] ppid=18263 vsize=406260 CPUtime=0 cores=0-7
/proc/18287/stat : 18287 (python) S 18263 18263 17621 0 -1 4202560 747 0 0 0 0 0 0 0 15 0 1 0 548563936 416010240 5988 33554432000 4194304 5683644 140737144975984 18446744073709551615 274664828486 0 0 16781312 514 2816082379494359297 0 0 17 6 0 0 0
/proc/18287/statm: 101565 5988 348 364 0 37465 0
[pid=18289] ppid=18287 vsize=2984 CPUtime=2.26 cores=0-7
/proc/18289/stat : 18289 (march_hi) R 18287 18289 18289 0 -1 4202496 773 0 0 0 226 0 0 0 25 0 1 0 548563937 3055616 512 33554432000 4194304 4955518 140735527336240 18446744073709551615 4209624 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/18289/statm: 746 512 104 186 0 559 0
[pid=18290] ppid=18263 vsize=416516 CPUtime=0 cores=0-7
/proc/18290/stat : 18290 (python) S 18263 18263 17621 0 -1 4202560 779 0 0 0 0 0 0 0 15 0 1 0 548563940 426512384 5998 33554432000 4194304 5683644 140737144975984 18446744073709551615 274664828486 0 0 16781312 514 10103654244486709508 0 0 17 0 0 0 0
/proc/18290/statm: 104129 5998 354 364 0 40026 0
[pid=18292] ppid=18290 vsize=2984 CPUtime=2.23 cores=0-7
/proc/18292/stat : 18292 (march_hi) R 18290 18292 18292 0 -1 4202496 773 0 0 0 223 0 0 0 25 0 1 0 548563940 3055616 511 33554432000 4194304 4955518 140735282693216 18446744073709551615 4224646 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/18292/statm: 746 511 104 186 0 559 0
[pid=18263/tid=18270] ppid=18261 vsize=426760 CPUtime=0 cores=0-7
/proc/18263/task/18270/stat : 18270 (python) S 18261 18263 17621 0 -1 4202560 26 934 0 0 0 0 0 0 18 0 9 0 548563913 437002240 7537 33554432000 4194304 5683644 140737144975984 18446744073709551615 274676631985 0 0 16781312 2 18446604453750679360 0 0 -1 0 0 0 0
[pid=18263/tid=18273] ppid=18261 vsize=426760 CPUtime=0 cores=0-7
/proc/18263/task/18273/stat : 18273 (python) S 18261 18263 17621 0 -1 4202560 20 934 0 0 0 0 0 0 18 0 9 0 548563917 437002240 7537 33554432000 4194304 5683644 140737144975984 18446744073709551615 274676631985 0 0 16781312 2 18446604453750679360 0 0 -1 3 0 0 0
[pid=18263/tid=18276] ppid=18261 vsize=426760 CPUtime=0 cores=0-7
/proc/18263/task/18276/stat : 18276 (python) S 18261 18263 17621 0 -1 4202560 21 934 0 0 0 0 0 0 20 0 9 0 548563921 437002240 7537 33554432000 4194304 5683644 140737144975984 18446744073709551615 274676631985 0 0 16781312 2 18446604453750679360 0 0 -1 0 0 0 0
[pid=18263/tid=18279] ppid=18261 vsize=426760 CPUtime=0 cores=0-7
/proc/18263/task/18279/stat : 18279 (python) S 18261 18263 17621 0 -1 4202560 22 934 0 0 0 0 0 0 18 0 9 0 548563924 437002240 7537 33554432000 4194304 5683644 140737144975984 18446744073709551615 274676631985 0 0 16781312 2 18446604453750679360 0 0 -1 5 0 0 0
[pid=18263/tid=18282] ppid=18261 vsize=426760 CPUtime=0 cores=0-7

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

[pid=18263/tid=18369] ppid=18261 vsize=508808 CPUtime=0 cores=0-7
/proc/18263/task/18369/stat : 18369 (python) S 18261 18263 17621 0 -1 4202560 62 934 0 0 0 0 0 0 18 0 17 0 548681948 521019392 7573 33554432000 4194304 5683644 140737144975984 18446744073709551615 274676631985 0 0 16781312 2 18446604453750679360 0 0 -1 0 0 0 0
[pid=18263/tid=18378] ppid=18261 vsize=508808 CPUtime=0 cores=0-7
/proc/18263/task/18378/stat : 18378 (python) S 18261 18263 17621 0 -1 4202560 40 934 0 0 0 0 0 0 20 0 17 0 548700862 521019392 7573 33554432000 4194304 5683644 140737144975984 18446744073709551615 274676631985 0 0 16781312 2 18446604453750679360 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 13367.3
Current children cumulated vsize (KiB) 12105544

[startup+1676.7 s]
/proc/loadavg: 8.14 8.12 8.12 9/321 18388
/proc/meminfo: memFree=22002452/32951132 swapFree=67111356/67111528
[pid=18263] ppid=18261 vsize=508808 CPUtime=3.08 cores=0-7
/proc/18263/stat : 18263 (python) S 18261 18263 17621 0 -1 4202496 32805 934 1 0 295 13 0 0 18 0 17 0 548563854 521019392 7573 33554432000 4194304 5683644 140737144975984 18446744073709551615 274676635083 0 0 16781312 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18263/statm: 127202 7573 1906 364 0 63075 0
[pid=18269] ppid=18263 vsize=288928 CPUtime=0.19 cores=0-7
/proc/18269/stat : 18269 (python) S 18263 18263 17621 0 -1 4202560 1088 0 0 0 9 10 0 0 19 0 2 0 548563913 295862272 5647 33554432000 4194304 5683644 140737144975984 18446744073709551615 274676635083 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/18269/statm: 72232 5647 410 364 0 8150 0
[pid=18271] ppid=18269 vsize=1017800 CPUtime=102.02 cores=0-7
/proc/18271/stat : 18271 (gnovelty+2) T 18269 18271 18271 0 -1 4202496 441 0 0 0 10174 28 0 0 25 0 1 0 548563913 1042227200 178 33554432000 134512640 135663704 4292601920 18446744073709551615 134544252 0 0 16781312 0 18446744071562691360 0 0 17 2 0 0 0
/proc/18271/statm: 254450 178 113 282 0 254166 0
[pid=18269/tid=18301] ppid=18263 vsize=288928 CPUtime=0 cores=0-7
/proc/18269/task/18301/stat : 18301 (python) S 18263 18263 17621 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 548574432 295862272 5647 33554432000 4194304 5683644 140737144975984 18446744073709551615 274676631985 0 0 16781312 514 18446604453836163008 0 0 -1 2 0 0 0
[pid=18272] ppid=18263 vsize=354880 CPUtime=2.67 cores=0-7
/proc/18272/stat : 18272 (python) S 18263 18263 17621 0 -1 4202560 1143 0 0 0 142 125 0 0 15 0 2 0 548563917 363397120 5754 33554432000 4194304 5683644 140737144975984 18446744073709551615 274676635083 0 0 16781312 514 18446744073709551615 0 0 17 3 0 0 0
/proc/18272/statm: 88720 5754 400 364 0 24635 0
[pid=18274] ppid=18272 vsize=194776 CPUtime=1262.2 cores=0-7
/proc/18274/stat : 18274 (march_hi) T 18272 18274 18274 0 -1 4202496 37390 0 0 0 126211 9 0 0 25 0 1 0 548563917 199450624 37128 33554432000 4194304 4955518 140735534745456 18446744073709551615 4209667 0 0 16781312 0 18446744071562691360 0 0 17 6 0 0 0
/proc/18274/statm: 48694 37128 104 186 0 48507 0
[pid=18272/tid=18313] ppid=18263 vsize=354880 CPUtime=0 cores=0-7
/proc/18272/task/18313/stat : 18313 (python) S 18263 18263 17621 0 -1 4202560 45 0 0 0 0 0 0 0 15 0 2 0 548603261 363397120 5754 33554432000 4194304 5683644 140737144975984 18446744073709551615 274676631985 0 0 16781312 514 18446604451862297600 0 0 -1 2 0 0 0
[pid=18275] ppid=18263 vsize=364784 CPUtime=2.07 cores=0-7
/proc/18275/stat : 18275 (python) S 18263 18263 17621 0 -1 4202560 1170 0 0 0 113 94 0 0 15 0 2 0 548563920 373538816 5673 33554432000 4194304 5683644 140737144975984 18446744073709551615 274676635083 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/18275/statm: 91196 5673 401 364 0 27108 0
[pid=18277] ppid=18275 vsize=164992 CPUtime=975.27 cores=0-7
/proc/18277/stat : 18277 (march_hi) T 18275 18277 18277 0 -1 4202496 30002 0 0 0 97511 16 0 0 25 0 1 0 548563921 168951808 29735 33554432000 4194304 4955518 140737112394128 18446744073709551615 4224651 0 0 16781312 0 18446744071562691360 0 0 17 6 0 0 0
/proc/18277/statm: 41248 29735 104 186 0 41061 0
[pid=18275/tid=18336] ppid=18263 vsize=364784 CPUtime=0 cores=0-7
/proc/18275/task/18336/stat : 18336 (python) S 18263 18263 17621 0 -1 4202560 45 0 0 0 0 0 0 0 15 0 2 0 548613202 373538816 5673 33554432000 4194304 5683644 140737144975984 18446744073709551615 274676631985 0 0 16781312 514 18446604453753766208 0 0 -1 4 0 0 0
[pid=18278] ppid=18263 vsize=375492 CPUtime=1673.76 cores=0-7
/proc/18278/stat : 18278 (python) R 18263 18263 17621 0 -1 4202560 1250 47078 0 0 186 169 167004 17 16 0 2 0 548563924 384503808 5770 33554432000 4194304 5683644 140737144975984 18446744073709551615 274676632431 0 0 16781824 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18278/statm: 93873 5770 405 364 0 29782 0
[pid=18278/tid=18300] ppid=18263 vsize=375492 CPUtime=1670.21 cores=0-7
/proc/18278/task/18300/stat : 18300 (python) R 18263 18263 17621 0 -1 4202560 49 47078 0 0 0 0 167004 17 15 0 2 0 548574115 384503808 5771 33554432000 4194304 5683644 140737144975984 18446744073709551615 274676632431 0 0 16781824 2 0 0 0 -1 0 0 0 0
[pid=18281] ppid=18263 vsize=385748 CPUtime=0.18 cores=0-7
/proc/18281/stat : 18281 (python) R 18263 18263 17621 0 -1 4202560 1021 0 0 0 9 9 0 0 18 0 2 0 548563928 395005952 5940 33554432000 4194304 5683644 140737144975984 18446744073709551615 274676635083 0 0 16781312 514 18446744073709551615 0 0 17 7 0 0 0
/proc/18281/statm: 96437 5940 400 364 0 32343 0
[pid=18283] ppid=18281 vsize=1017800 CPUtime=99.34 cores=0-7
/proc/18283/stat : 18283 (gnovelty+2) T 18281 18283 18283 0 -1 4202496 432 0 0 0 9934 0 0 0 25 0 1 0 548563928 1042227200 178 33554432000 134512640 135663704 4293517536 18446744073709551615 134545793 0 0 16781312 0 18446744071562691360 0 0 17 7 0 0 0
/proc/18283/statm: 254450 178 113 282 0 254166 0
[pid=18281/tid=18296] ppid=18263 vsize=385748 CPUtime=0 cores=0-7
/proc/18281/task/18296/stat : 18296 (python) S 18263 18263 17621 0 -1 4202560 113 0 0 0 0 0 0 0 19 0 2 0 548573946 395005952 5940 33554432000 4194304 5683644 140737144975984 18446744073709551615 274676631985 0 0 16781312 514 18446604453713606848 0 0 -1 1 0 0 0
[pid=18284] ppid=18263 vsize=396004 CPUtime=2.29 cores=0-7
/proc/18284/stat : 18284 (python) S 18263 18263 17621 0 -1 4202560 998 0 0 0 123 106 0 0 15 0 2 0 548563932 405508096 5917 33554432000 4194304 5683644 140737144975984 18446744073709551615 274664828486 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/18284/statm: 99001 5917 400 364 0 34904 0
[pid=18286] ppid=18284 vsize=194776 CPUtime=1089.31 cores=0-7
/proc/18286/stat : 18286 (march_hi) R 18284 18286 18286 0 -1 4202496 33059 0 0 0 108923 8 0 0 25 0 1 0 548563932 199450624 32804 33554432000 4194304 4955518 140736139007488 18446744073709551615 4314111 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/18286/statm: 48694 32804 104 186 0 48507 0
[pid=18284/tid=18332] ppid=18263 vsize=396004 CPUtime=0 cores=0-7
/proc/18284/task/18332/stat : 18332 (python) S 18263 18263 17621 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 2 0 548612961 405508096 5917 33554432000 4194304 5683644 140737144975984 18446744073709551615 274676631985 0 0 16781312 514 18446604453724467264 0 0 -1 1 0 0 0
[pid=18287] ppid=18263 vsize=406260 CPUtime=3.29 cores=0-7
/proc/18287/stat : 18287 (python) S 18263 18263 17621 0 -1 4202560 1053 0 0 0 176 153 0 0 15 0 2 0 548563936 416010240 6047 33554432000 4194304 5683644 140737144975984 18446744073709551615 274664828486 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/18287/statm: 101565 6047 406 364 0 37465 0
[pid=18289] ppid=18287 vsize=261076 CPUtime=1567.72 cores=0-7
/proc/18289/stat : 18289 (march_hi) R 18287 18289 18289 0 -1 4202496 44985 0 0 0 156759 13 0 0 25 0 1 0 548563937 267341824 44724 33554432000 4194304 4955518 140735527336240 18446744073709551615 4285464 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/18289/statm: 65269 44725 104 186 0 65082 0
[pid=18287/tid=18328] ppid=18263 vsize=406260 CPUtime=0 cores=0-7
/proc/18287/task/18328/stat : 18328 (python) S 18263 18263 17621 0 -1 4202560 117 0 0 0 0 0 0 0 15 0 2 0 548612556 416010240 6047 33554432000 4194304 5683644 140737144975984 18446744073709551615 274676631985 0 0 16781312 514 18446604441973532736 0 0 -1 6 0 0 0
[pid=18290] ppid=18263 vsize=416516 CPUtime=2.28 cores=0-7
/proc/18290/stat : 18290 (python) S 18263 18263 17621 0 -1 4202560 1062 0 0 0 120 108 0 0 15 0 2 0 548563940 426512384 6052 33554432000 4194304 5683644 140737144975984 18446744073709551615 274664828486 0 0 16781312 514 18446744073709551615 0 0 17 2 0 0 0
/proc/18290/statm: 104129 6052 407 364 0 40026 0
[pid=18292] ppid=18290 vsize=194776 CPUtime=1084.44 cores=0-7
/proc/18292/stat : 18292 (march_hi) R 18290 18292 18292 0 -1 4202496 32902 0 0 0 108435 9 0 0 25 0 1 0 548563940 199450624 32640 33554432000 4194304 4955518 140735282693216 18446744073709551615 4224648 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/18292/statm: 48694 32640 104 186 0 48507 0
[pid=18290/tid=18340] ppid=18263 vsize=416516 CPUtime=0 cores=0-7
/proc/18290/task/18340/stat : 18340 (python) S 18263 18263 17621 0 -1 4202560 76 0 0 0 0 0 0 0 15 0 2 0 548613360 426512384 6052 33554432000 4194304 5683644 140737144975984 18446744073709551615 274676631985 0 0 16781312 514 18446604448408369216 0 0 -1 7 0 0 0
[pid=18297] ppid=18263 vsize=426772 CPUtime=2.12 cores=0-7
/proc/18297/stat : 18297 (python) S 18263 18263 17621 0 -1 4202560 1024 0 0 0 116 96 0 0 18 0 2 0 548573950 437014528 5912 33554432000 4194304 5683644 140737144975984 18446744073709551615 274664828486 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/18297/statm: 106693 5912 400 364 0 42587 0
[pid=18299] ppid=18297 vsize=182448 CPUtime=1082.8 cores=0-7
/proc/18299/stat : 18299 (kcnfs-2006) R 18297 18299 18299 0 -1 4202496 589 0 0 0 108280 0 0 0 25 0 1 0 548573950 186826752 329 33554432000 134512640 135163436 4287764496 18446744073709551615 134625190 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/18299/statm: 45612 329 77 159 0 45452 0
[pid=18297/tid=18347] ppid=18263 vsize=426772 CPUtime=0 cores=0-7
/proc/18297/task/18347/stat : 18347 (python) S 18263 18263 17621 0 -1 4202560 79 0 0 0 0 0 0 0 18 0 2 0 548632355 437014528 5912 33554432000 4194304 5683644 140737144975984 18446744073709551615 274676631985 0 0 16781312 514 18446604445891908544 0 0 -1 5 0 0 0
[pid=18302] ppid=18263 vsize=437028 CPUtime=2.26 cores=0-7
/proc/18302/stat : 18302 (python) S 18263 18263 17621 0 -1 4202560 1038 0 0 0 123 103 0 0 16 0 2 0 548574437 447516672 5955 33554432000 4194304 5683644 140737144975984 18446744073709551615 274676635083 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/18302/statm: 109257 5955 400 364 0 45148 0
[pid=18304] ppid=18302 vsize=194776 CPUtime=1072.55 cores=0-7
/proc/18304/stat : 18304 (march_hi) T 18302 18304 18304 0 -1 4202496 32497 0 0 0 107230 25 0 0 25 0 1 0 548574437 199450624 32235 33554432000 4194304 4955518 140736450720720 18446744073709551615 4209688 0 0 16781312 0 18446744071562691360 0 0 17 2 0 0 0
/proc/18304/statm: 48694 32235 104 186 0 48507 0
[pid=18302/tid=18348] ppid=18263 vsize=437028 CPUtime=0 cores=0-7
/proc/18302/task/18348/stat : 18348 (python) S 18263 18263 17621 0 -1 4202560 76 0 0 0 0 0 0 0 15 0 2 0 548632928 447516672 5955 33554432000 4194304 5683644 140737144975984 18446744073709551615 274676631985 0 0 16781312 514 18446604451862296704 0 0 -1 0 0 0 0
[pid=18314] ppid=18263 vsize=447284 CPUtime=1.35 cores=0-7
/proc/18314/stat : 18314 (python) S 18263 18263 17621 0 -1 4202560 1038 0 0 0 78 57 0 0 18 0 2 0 548603266 458018816 5959 33554432000 4194304 5683644 140737144975984 18446744073709551615 274676635083 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/18314/statm: 111821 5959 400 364 0 47709 0
[pid=18316] ppid=18314 vsize=182452 CPUtime=680.34 cores=0-7
/proc/18316/stat : 18316 (kcnfs-2006) T 18314 18316 18316 0 -1 4202496 590 0 0 0 68032 2 0 0 25 0 1 0 548603266 186830848 329 33554432000 134512640 135163436 4291525824 18446744073709551615 134569589 0 0 16781312 0 18446744071562691360 0 0 17 3 0 0 0
/proc/18316/statm: 45613 329 77 159 0 45453 0
[pid=18314/tid=18360] ppid=18263 vsize=447284 CPUtime=0 cores=0-7
/proc/18314/task/18360/stat : 18360 (python) S 18263 18263 17621 0 -1 4202560 79 0 0 0 0 0 0 0 18 0 2 0 548661973 458018816 5959 33554432000 4194304 5683644 140737144975984 18446744073709551615 274676631985 0 0 16781312 514 18446604440346820928 0 0 -1 6 0 0 0
[pid=18329] ppid=18263 vsize=457540 CPUtime=2.19 cores=0-7
/proc/18329/stat : 18329 (python) S 18263 18263 17621 0 -1 4202560 1049 0 0 0 118 101 0 0 18 0 2 0 548612561 468520960 6083 33554432000 4194304 5683644 140737144975984 18446744073709551615 274664828486 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/18329/statm: 114385 6083 400 364 0 50270 0
[pid=18331] ppid=18329 vsize=182444 CPUtime=1078.58 cores=0-7
/proc/18331/stat : 18331 (kcnfs-2006) R 18329 18331 18331 0 -1 4202496 592 0 0 0 107844 14 0 0 25 0 1 0 548612561 186822656 327 33554432000 134512640 135163436 4292605136 18446744073709551615 134564837 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/18331/statm: 45611 327 77 159 0 45451 0
[pid=18329/tid=18364] ppid=18263 vsize=457540 CPUtime=0 cores=0-7
/proc/18329/task/18364/stat : 18364 (python) S 18263 18263 17621 0 -1 4202560 75 0 0 0 0 0 0 0 18 0 2 0 548671876 468520960 6083 33554432000 4194304 5683644 140737144975984 18446744073709551615 274676631985 0 0 16781312 514 18446604450818957504 0 0 -1 7 0 0 0
[pid=18333] ppid=18263 vsize=467796 CPUtime=0.19 cores=0-7
/proc/18333/stat : 18333 (python) S 18263 18263 17621 0 -1 4202560 1047 0 0 0 10 9 0 0 19 0 2 0 548612967 479023104 6018 33554432000 4194304 5683644 140737144975984 18446744073709551615 274676635083 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/18333/statm: 116949 6018 400 364 0 52831 0
[pid=18335] ppid=18333 vsize=416128 CPUtime=98.36 cores=0-7
/proc/18335/stat : 18335 (adaptg2wsat2009) T 18333 18335 18335 0 -1 4202496 462 0 0 0 9836 0 0 0 25 0 1 0 548612968 426115072 192 33554432000 134512640 135107411 4294817904 18446744073709551615 134531239 0 0 16781312 0 18446744071562691360 0 0 17 7 0 0 0
/proc/18335/statm: 104032 192 59 146 0 102908 0
[pid=18333/tid=18344] ppid=18263 vsize=467796 CPUtime=0 cores=0-7
/proc/18333/task/18344/stat : 18344 (python) S 18263 18263 17621 0 -1 4202560 77 0 0 0 0 0 0 0 19 0 2 0 548622987 479023104 6018 33554432000 4194304 5683644 140737144975984 18446744073709551615 274676631985 0 0 16781312 514 18446604450818958400 0 0 -1 1 0 0 0
[pid=18337] ppid=18263 vsize=478052 CPUtime=1.37 cores=0-7
/proc/18337/stat : 18337 (python) S 18263 18263 17621 0 -1 4202560 1072 0 0 0 78 59 0 0 18 0 2 0 548613208 489525248 6022 33554432000 4194304 5683644 140737144975984 18446744073709551615 274676635083 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/18337/statm: 119513 6022 400 364 0 55392 0
[pid=18339] ppid=18337 vsize=182448 CPUtime=679.66 cores=0-7
/proc/18339/stat : 18339 (kcnfs-2006) T 18337 18339 18339 0 -1 4202496 596 0 0 0 67963 3 0 0 25 0 1 0 548613208 186826752 330 33554432000 134512640 135163436 4292726384 18446744073709551615 134581792 0 0 16781312 0 18446744071562691360 0 0 17 4 0 0 0
/proc/18339/statm: 45612 330 77 159 0 45452 0
[pid=18337/tid=18365] ppid=18263 vsize=478052 CPUtime=0 cores=0-7
/proc/18337/task/18365/stat : 18365 (python) S 18263 18263 17621 0 -1 4202560 84 0 0 0 0 0 0 0 18 0 2 0 548672418 489525248 6022 33554432000 4194304 5683644 140737144975984 18446744073709551615 274676631985 0 0 16781312 514 18446604448408367424 0 0 -1 1 0 0 0
[pid=18368] ppid=18263 vsize=488308 CPUtime=1.06 cores=0-7
/proc/18368/stat : 18368 (python) S 18263 18263 17621 0 -1 4202560 1220 0 0 0 61 45 0 0 15 0 2 0 548681948 500027392 6033 33554432000 4194304 5683644 140737144975984 18446744073709551615 274664828486 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/18368/statm: 122077 6033 407 364 0 57953 0
[pid=18370] ppid=18368 vsize=76428 CPUtime=491.88 cores=0-7
/proc/18370/stat : 18370 (march_hi) R 18368 18370 18370 0 -1 4202496 16451 0 0 0 49178 10 0 0 25 0 1 0 548681948 78262272 16183 33554432000 4194304 4955518 140737307671040 18446744073709551615 4286637 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/18370/statm: 19107 16183 104 186 0 18920 0
[pid=18368/tid=18385] ppid=18263 vsize=488308 CPUtime=0 cores=0-7
/proc/18368/task/18385/stat : 18385 (python) S 18263 18263 17621 0 -1 4202560 101 0 0 0 0 0 0 0 16 0 2 0 548721433 500027392 6033 33554432000 4194304 5683644 140737144975984 18446744073709551615 274676631985 0 0 16781312 514 18446604440278877184 0 0 -1 0 0 0 0
[pid=18377] ppid=18263 vsize=498564 CPUtime=0.6 cores=0-7
/proc/18377/stat : 18377 (python) S 18263 18263 17621 0 -1 4202560 971 0 0 0 33 27 0 0 18 0 1 0 548700862 510529536 6041 33554432000 4194304 5683644 140737144975984 18446744073709551615 274664828486 0 0 16781312 514 18446744073709519107 0 0 17 0 0 0 0
/proc/18377/statm: 124641 6041 380 364 0 60514 0
[pid=18379] ppid=18377 vsize=182452 CPUtime=304.99 cores=0-7
/proc/18379/stat : 18379 (kcnfs-2006) R 18377 18379 18379 0 -1 4202496 598 0 0 0 30494 5 0 0 25 0 1 0 548700862 186830848 329 33554432000 134512640 135163436 4286912336 18446744073709551615 134564260 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/18379/statm: 45613 329 77 159 0 45453 0
[pid=18263/tid=18270] ppid=18261 vsize=508808 CPUtime=0 cores=0-7
/proc/18263/task/18270/stat : 18270 (python) S 18261 18263 17621 0 -1 4202560 26 934 0 0 0 0 0 0 18 0 17 0 548563913 521019392 7573 33554432000 4194304 5683644 140737144975984 18446744073709551615 274676631985 0 0 16781312 2 18446604453750679360 0 0 -1 0 0 0 0
[pid=18263/tid=18273] ppid=18261 vsize=508808 CPUtime=0 cores=0-7
/proc/18263/task/18273/stat : 18273 (python) S 18261 18263 17621 0 -1 4202560 32 934 0 0 0 0 0 0 15 0 17 0 548563917 521019392 7573 33554432000 4194304 5683644 140737144975984 18446744073709551615 274676631985 0 0 16781312 2 18446604453750679360 0 0 -1 3 0 0 0
[pid=18263/tid=18276] ppid=18261 vsize=508808 CPUtime=0 cores=0-7
/proc/18263/task/18276/stat : 18276 (python) S 18261 18263 17621 0 -1 4202560 28 934 0 0 0 0 0 0 18 0 17 0 548563921 521019392 7573 33554432000 4194304 5683644 140737144975984 18446744073709551615 274676631985 0 0 16781312 2 18446604453750679360 0 0 -1 0 0 0 0
[pid=18263/tid=18279] ppid=18261 vsize=508808 CPUtime=0 cores=0-7
/proc/18263/task/18279/stat : 18279 (python) S 18261 18263 17621 0 -1 4202560 44 934 0 0 0 0 0 0 18 0 17 0 548563924 521019392 7573 33554432000 4194304 5683644 140737144975984 18446744073709551615 274676631985 0 0 16781312 2 18446604453750679360 0 0 -1 5 0 0 0
[pid=18263/tid=18282] ppid=18261 vsize=508808 CPUtime=0 cores=0-7
/proc/18263/task/18282/stat : 18282 (python) S 18261 18263 17621 0 -1 4202560 83 934 0 0 0 0 0 0 19 0 17 0 548563928 521019392 7573 33554432000 4194304 5683644 140737144975984 18446744073709551615 274676631985 0 0 16781312 2 18446604453750679360 0 0 -1 0 0 0 0
[pid=18263/tid=18285] ppid=18261 vsize=508808 CPUtime=0 cores=0-7
/proc/18263/task/18285/stat : 18285 (python) S 18261 18263 17621 0 -1 4202560 48 934 0 0 0 0 0 0 18 0 17 0 548563932 521019392 7573 33554432000 4194304 5683644 140737144975984 18446744073709551615 274676631985 0 0 16781312 2 18446604453750679360 0 0 -1 6 0 0 0
[pid=18263/tid=18288] ppid=18261 vsize=508808 CPUtime=0 cores=0-7
/proc/18263/task/18288/stat : 18288 (python) S 18261 18263 17621 0 -1 4202560 43 934 0 0 0 0 0 0 18 0 17 0 548563936 521019392 7573 33554432000 4194304 5683644 140737144975984 18446744073709551615 274676631985 0 0 16781312 2 18446604453750679360 0 0 -1 6 0 0 0
[pid=18263/tid=18291] ppid=18261 vsize=508808 CPUtime=0 cores=0-7
/proc/18263/task/18291/stat : 18291 (python) S 18261 18263 17621 0 -1 4202560 81 934 0 0 0 0 0 0 18 0 17 0 548563940 521019392 7573 33554432000 4194304 5683644 140737144975984 18446744073709551615 274676631985 0 0 16781312 2 18446604453750679360 0 0 -1 0 0 0 0
[pid=18263/tid=18298] ppid=18261 vsize=508808 CPUtime=0 cores=0-7
/proc/18263/task/18298/stat : 18298 (python) S 18261 18263 17621 0 -1 4202560 47 934 0 0 0 0 0 0 18 0 17 0 548573950 521019392 7573 33554432000 4194304 5683644 140737144975984 18446744073709551615 274676631985 0 0 16781312 2 18446604453750679360 0 0 -1 0 0 0 0
[pid=18263/tid=18303] ppid=18261 vsize=508808 CPUtime=0 cores=0-7
/proc/18263/task/18303/stat : 18303 (python) S 18261 18263 17621 0 -1 4202560 45 934 0 0 0 0 0 0 18 0 17 0 548574437 521019392 7573 33554432000 4194304 5683644 140737144975984 18446744073709551615 274676631985 0 0 16781312 2 18446604453750679360 0 0 -1 0 0 0 0
[pid=18263/tid=18315] ppid=18261 vsize=508808 CPUtime=0 cores=0-7
/proc/18263/task/18315/stat : 18315 (python) S 18261 18263 17621 0 -1 4202560 42 934 0 0 0 0 0 0 18 0 17 0 548603266 521019392 7573 33554432000 4194304 5683644 140737144975984 18446744073709551615 274676631985 0 0 16781312 2 18446604453750679360 0 0 -1 1 0 0 0
[pid=18263/tid=18330] ppid=18261 vsize=508808 CPUtime=0 cores=0-7
/proc/18263/task/18330/stat : 18330 (python) S 18261 18263 17621 0 -1 4202560 47 934 0 0 0 0 0 0 18 0 17 0 548612561 521019392 7573 33554432000 4194304 5683644 140737144975984 18446744073709551615 274676631985 0 0 16781312 2 18446604453750679360 0 0 -1 1 0 0 0
[pid=18263/tid=18334] ppid=18261 vsize=508808 CPUtime=0 cores=0-7
/proc/18263/task/18334/stat : 18334 (python) S 18261 18263 17621 0 -1 4202560 34 934 0 0 0 0 0 0 19 0 17 0 548612967 521019392 7573 33554432000 4194304 5683644 140737144975984 18446744073709551615 274676631985 0 0 16781312 2 18446604453750679360 0 0 -1 0 0 0 0
[pid=18263/tid=18338] ppid=18261 vsize=508808 CPUtime=0 cores=0-7
/proc/18263/task/18338/stat : 18338 (python) S 18261 18263 17621 0 -1 4202560 37 934 0 0 0 0 0 0 18 0 17 0 548613208 521019392 7573 33554432000 4194304 5683644 140737144975984 18446744073709551615 274676631985 0 0 16781312 2 18446604453750679360 0 0 -1 0 0 0 0
[pid=18263/tid=18369] ppid=18261 vsize=508808 CPUtime=0 cores=0-7
/proc/18263/task/18369/stat : 18369 (python) S 18261 18263 17621 0 -1 4202560 62 934 0 0 0 0 0 0 18 0 17 0 548681948 521019392 7573 33554432000 4194304 5683644 140737144975984 18446744073709551615 274676631985 0 0 16781312 2 18446604453750679360 0 0 -1 0 0 0 0
[pid=18263/tid=18378] ppid=18261 vsize=508808 CPUtime=0 cores=0-7
/proc/18263/task/18378/stat : 18378 (python) S 18261 18263 17621 0 -1 4202560 40 934 0 0 0 0 0 0 20 0 17 0 548700862 521019392 7573 33554432000 4194304 5683644 140737144975984 18446744073709551615 274676631985 0 0 16781312 2 18446604453750679360 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 13370.4
Current children cumulated vsize (KiB) 11844336

Child status: 0
Real time (s): 1676.79
CPU time (s): 13371.1
CPU user time (s): 13356.5
CPU system time (s): 14.6758
CPU usage (%): 797.426
Max. virtual memory (cumulated for all children) (KiB): 12105548

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13356.5
system time used= 14.6758
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 334286
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= 18708
involuntary context switches= 75403

runsolver used 9.64653 second user time and 19.542 second system time

The end

Launcher Data 

Begin job on node131 at 2011-05-02 22:54:02
IDJOB=3321932
IDBENCH=82710
IDSOLVER=1712
FILE ID=node131/3321932-1304369642
RUNJOBID= node131-1304366465-17635
PBS_JOBID= 13181740
Free space on /tmp= 72848 MiB

SOLVER NAME= borg-sat 11.03.02-random
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v500-c2130-S1762880211-075.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-3321932-1304369642/watcher-3321932-1304369642 -o /tmp/evaluation-result-3321932-1304369642/solver-3321932-1304369642 -C 40000 -W 5100 -M 31000  python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3321932-1304369642.cnf -seed 350712018 -budget 40000 -cores 8

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

MD5SUM BENCH= 57a2cff28dc53061839e3102dd9b3447
RANDOM SEED=350712018

node131.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      23186176 kB
Buffers:        316572 kB
Cached:        2103932 kB
SwapCached:        168 kB
Active:        7432948 kB
Inactive:      1977652 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      23186176 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:           32324 kB
Writeback:          24 kB
AnonPages:     6990624 kB
Mapped:          26560 kB
Slab:           264572 kB
PageTables:      24172 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS: 19727180 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 72816 MiB
End job on node131 at 2011-05-02 23:21:59