Trace number 3378408

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
borg-sat 11.03.02-par-random (fixed)? 4780.37 1202.04

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v70-c6230-S1475900283-041.UNKNOWN.cnf
MD5SUMa83cf27d1d664cde32ad2f1a49b00933
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables70
Number of clauses6230
Sum of the clauses size43610
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 56230

Solver Data 

0.37/0.55	c INFO: loaded portfolio from HOME/etc/borg-mix+class.random.pickle
0.37/0.55	c INFO: solving HOME/instance-3378408-1305465324.cnf
0.37/0.55	c INFO: computing task features
0.37/0.59	c INFO: computed variable-clause graph statistics
0.37/0.59	c INFO: computed clause balance statistics
0.65/0.81	c INFO: computed variable balance statistics
0.65/0.89	c INFO: computed small-clause counts
0.65/0.89	c INFO: computed Horn-clause counts
0.75/0.90	c INFO: computed variable graph statistics
0.75/0.90	c INFO: collected features for HOME/instance-3378408-1305465324.cnf in 0.35 s
0.75/0.91	c INFO: running gnovelty+2@0 for 97 with 1199 remaining (b = 0.52)
0.75/0.92	c INFO: running gnovelty+2@0 for 97 with 1199 remaining (b = 0.10)
0.75/0.93	c INFO: running adaptg2wsat2009++@0 for 97 with 1199 remaining (b = 0.05)
0.75/0.94	c INFO: running adaptg2wsat2009++@0 for 97 with 1199 remaining (b = 0.04)
400.23/101.20	c INFO: running adaptg2wsat2009++@0 for 97 with 1099 remaining (b = 0.03)
400.62/101.23	c INFO: running gnovelty+2@0 for 97 with 1099 remaining (b = 0.02)
400.62/101.24	c INFO: running FH@0 for 97 with 1099 remaining (b = 0.02)
412.52/104.24	c INFO: running march_hi@0 for 485 with 1096 remaining (b = 0.09)
800.02/201.48	c INFO: running adaptg2wsat2009++@0 for 97 with 999 remaining (b = 0.02)
800.40/201.52	c INFO: running march_hi@0 for 485 with 999 remaining (b = 0.08)
800.40/201.57	c INFO: running adaptg2wsat2009++@0 for 97 with 998 remaining (b = 0.01)
1187.47/298.85	c INFO: running FH@0 for 97 with 901 remaining (b = 0.01)
1198.99/301.77	c INFO: running march_hi@0 for 388 with 898 remaining (b = 0.06)
1582.47/398.15	c INFO: running hybridGM3@0 for 194 with 802 remaining (b = 0.03)
2349.40/590.96	c INFO: running march_hi@99 for 291 with 609 remaining (b = 0.05)
2364.50/594.72	c INFO: running adaptg2wsat2009++@99 for 97 with 605 remaining (b = 0.01)
2751.58/692.00	c INFO: running gnovelty+2@0 for 97 with 508 remaining (b = 0.01)
2760.32/694.22	c INFO: running march_hi@99 for 388 with 506 remaining (b = 0.06)
2792.92/702.44	c INFO: running march_hi@99 for 388 with 498 remaining (b = 0.06)
3150.48/792.31	c INFO: running march_hi@0 for 408 with 408 remaining (b = 0.05)
3508.43/882.39	c INFO: running march_hi@295 for 97 with 318 remaining (b = 0.03)
3891.84/978.72	c INFO: running march_hi@391 for 97 with 221 remaining (b = 0.02)
4284.00/1077.39	c INFO: running march_hi@489 for 123 with 123 remaining (b = 0.02)
4347.69/1093.40	c INFO: running march_hi@489 for 107 with 107 remaining (b = 0.02)
4349.64/1093.81	c INFO: running march_hi@199 for 106 with 106 remaining (b = 0.01)
4779.96/1202.02	s UNKNOWN

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: UNKNOWN

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3378408-1305465324/watcher-3378408-1305465324 -o /tmp/evaluation-result-3378408-1305465324/solver-3378408-1305465324 -C 4800 -W 1300 -M 15500 python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3378408-1305465324.cnf -seed 873408899 -budget 4800 -cores 4 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.08 0.03 0.72 3/372 5877
/proc/meminfo: memFree=23707040/32951124 swapFree=44485764/67111528
[pid=5877] ppid=5875 vsize=15184 CPUtime=0 cores=0,2,4,6
/proc/5877/stat : 5877 (python) R 5875 5877 5751 0 -1 4202496 712 0 0 0 0 0 0 0 20 0 1 0 658132834 15548416 604 33554432000 4194304 5683644 140733803806816 18446744073709551615 244446943232 0 2147483391 16781312 2 0 0 0 17 4 0 0 0
/proc/5877/statm: 3796 604 319 364 0 283 0

[startup+0.0758561 s]
/proc/loadavg: 0.08 0.03 0.72 3/372 5877
/proc/meminfo: memFree=23707040/32951124 swapFree=44485764/67111528
[pid=5877] ppid=5875 vsize=40972 CPUtime=0.05 cores=0,2,4,6
/proc/5877/stat : 5877 (python) R 5875 5877 5751 0 -1 4202496 1675 0 0 0 4 1 0 0 17 0 1 0 658132834 41955328 1500 33554432000 4194304 5683644 140733803806816 18446744073709551615 244446715973 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/5877/statm: 10243 1502 463 364 0 1026 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 40972

[startup+0.100829 s]
/proc/loadavg: 0.08 0.03 0.72 3/372 5877
/proc/meminfo: memFree=23707040/32951124 swapFree=44485764/67111528
[pid=5877] ppid=5875 vsize=84604 CPUtime=0.06 cores=0,2,4,6
/proc/5877/stat : 5877 (python) S 5875 5877 5751 0 -1 4202496 2408 0 0 0 5 1 0 0 17 0 1 0 658132834 86634496 2136 33554432000 4194304 5683644 140733803806816 18446744073709551615 244446943232 0 2147483391 16781312 2 18446744071699199166 0 0 17 4 0 0 0
/proc/5877/statm: 21151 2136 707 364 0 1368 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 84604

[startup+0.300793 s]
/proc/loadavg: 0.08 0.03 0.72 3/372 5877
/proc/meminfo: memFree=23707040/32951124 swapFree=44485764/67111528
[pid=5877] ppid=5875 vsize=135752 CPUtime=0.21 cores=0,2,4,6
/proc/5877/stat : 5877 (python) R 5875 5877 5751 0 -1 4202496 5969 935 1 0 15 6 0 0 17 0 1 0 658132834 139010048 4152 33554432000 4194304 5683644 140733803806816 18446744073709551615 244446941189 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/5877/statm: 33938 4152 1032 364 0 3124 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 135752

[startup+0.700697 s]
/proc/loadavg: 0.08 0.03 0.72 3/372 5877
/proc/meminfo: memFree=23707040/32951124 swapFree=44485764/67111528
[pid=5877] ppid=5875 vsize=279752 CPUtime=0.55 cores=0,2,4,6
/proc/5877/stat : 5877 (python) R 5875 5877 5751 0 -1 4202496 10030 935 1 0 45 10 0 0 17 0 1 0 658132834 286466048 7323 33554432000 4194304 5683644 140733803806816 18446744073709551615 4415616 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/5877/statm: 69938 7323 1826 364 0 5862 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 279752

[startup+1.50052 s]
/proc/loadavg: 0.08 0.03 0.72 10/397 5910
/proc/meminfo: memFree=23630548/32951124 swapFree=44485764/67111528
[pid=5877] ppid=5875 vsize=320136 CPUtime=0.8 cores=0,2,4,6
/proc/5877/stat : 5877 (python) S 5875 5877 5751 0 -1 4202496 12884 935 1 0 69 11 0 0 25 0 5 0 658132834 327819264 7249 33554432000 4194304 5683644 140733803806816 18446744073709551615 244458771915 0 0 16781312 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5877/statm: 80034 7249 1883 364 0 15943 0
[pid=5899] ppid=5877 vsize=278752 CPUtime=0 cores=0,2,4,6
/proc/5899/stat : 5899 (python) S 5877 5877 5751 0 -1 4202560 732 0 0 0 0 0 0 0 19 0 1 0 658132925 285442048 5627 33554432000 4194304 5683644 140733803806816 18446744073709551615 244446965263 0 0 16781312 514 6065956726467723263 0 0 17 6 0 0 0
/proc/5899/statm: 69688 5627 354 364 0 5606 0
[pid=5901] ppid=5899 vsize=1018076 CPUtime=0.56 cores=0,2,4,6
/proc/5901/stat : 5901 (gnovelty+2) R 5899 5901 5901 0 -1 4202496 531 0 0 0 56 0 0 0 22 0 1 0 658132926 1042509824 266 33554432000 134512640 135663704 4294496432 18446744073709551615 134524548 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/5901/statm: 254519 266 113 282 0 254235 0
[pid=5902] ppid=5877 vsize=289380 CPUtime=0 cores=0,2,4,6
/proc/5902/stat : 5902 (python) S 5877 5877 5751 0 -1 4202560 736 0 0 0 0 0 0 0 21 0 1 0 658132926 296325120 5702 33554432000 4194304 5683644 140733803806816 18446744073709551615 244446965318 0 0 16781312 514 10900665209572032511 0 0 17 2 0 0 0
/proc/5902/statm: 72345 5702 348 364 0 8260 0
[pid=5904] ppid=5902 vsize=1018076 CPUtime=0.56 cores=0,2,4,6
/proc/5904/stat : 5904 (gnovelty+2) R 5902 5904 5904 0 -1 4202496 529 0 0 0 56 0 0 0 25 0 1 0 658132927 1042509824 266 33554432000 134512640 135663704 4294875952 18446744073709551615 134524534 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/5904/statm: 254519 266 113 282 0 254235 0
[pid=5905] ppid=5877 vsize=299636 CPUtime=0 cores=0,2,4,6
/proc/5905/stat : 5905 (python) S 5877 5877 5751 0 -1 4202560 715 0 0 0 0 0 0 0 24 0 1 0 658132928 306827264 5702 33554432000 4194304 5683644 140733803806816 18446744073709551615 244446965318 0 0 16781312 514 2972950528062914559 0 0 17 0 0 0 0
/proc/5905/statm: 74909 5702 344 364 0 10821 0
[pid=5909] ppid=5905 vsize=416784 CPUtime=0.55 cores=0,2,4,6
/proc/5909/stat : 5909 (adaptg2wsat2009) R 5905 5909 5909 0 -1 4202496 601 0 0 0 55 0 0 0 25 0 1 0 658132929 426786816 340 33554432000 134512640 135107411 4290647632 18446744073709551615 134523424 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/5909/statm: 104196 340 49 146 0 103072 0
[pid=5907] ppid=5877 vsize=309892 CPUtime=0 cores=0,2,4,6
/proc/5907/stat : 5907 (python) S 5877 5877 5751 0 -1 4202560 726 0 0 0 0 0 0 0 25 0 1 0 658132929 317329408 5706 33554432000 4194304 5683644 140733803806816 18446744073709551615 244446965318 0 0 16781312 514 4086053768825667583 0 0 17 0 0 0 0
/proc/5907/statm: 77473 5706 344 364 0 13382 0
[pid=5910] ppid=5907 vsize=416784 CPUtime=0.54 cores=0,2,4,6
/proc/5910/stat : 5910 (adaptg2wsat2009) R 5907 5910 5910 0 -1 4202496 602 0 0 0 54 0 0 0 25 0 1 0 658132929 426786816 340 33554432000 134512640 135107411 4292720224 18446744073709551615 134523426 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/5910/statm: 104196 340 49 146 0 103072 0
[pid=5877/tid=5900] ppid=5875 vsize=320136 CPUtime=0 cores=0,2,4,6
/proc/5877/task/5900/stat : 5900 (python) S 5875 5877 5751 0 -1 4202560 25 935 0 0 0 0 0 0 20 0 5 0 658132926 327819264 7249 33554432000 4194304 5683644 140733803806816 18446744073709551615 244458768817 0 0 16781312 2 18446604450100150464 0 0 -1 0 0 0 0
[pid=5877/tid=5903] ppid=5875 vsize=320136 CPUtime=0 cores=0,2,4,6
/proc/5877/task/5903/stat : 5903 (python) S 5875 5877 5751 0 -1 4202560 22 935 0 0 0 0 0 0 22 0 5 0 658132927 327819264 7249 33554432000 4194304 5683644 140733803806816 18446744073709551615 244458768817 0 0 16781312 2 18446604450100150464 0 0 -1 0 0 0 0
[pid=5877/tid=5906] ppid=5875 vsize=320136 CPUtime=0 cores=0,2,4,6
/proc/5877/task/5906/stat : 5906 (python) S 5875 5877 5751 0 -1 4202560 38 935 0 0 0 0 0 0 24 0 5 0 658132928 327819264 7249 33554432000 4194304 5683644 140733803806816 18446744073709551615 244458768817 0 0 16781312 2 18446604450100150464 0 0 -1 0 0 0 0
[pid=5877/tid=5908] ppid=5875 vsize=320136 CPUtime=0 cores=0,2,4,6
/proc/5877/task/5908/stat : 5908 (python) S 5875 5877 5751 0 -1 4202560 21 935 0 0 0 0 0 0 25 0 5 0 658132929 327819264 7249 33554432000 4194304 5683644 140733803806816 18446744073709551615 244458768817 0 0 16781312 2 18446604450100150464 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 4367516

[startup+3.10118 s]
/proc/loadavg: 0.47 0.11 0.75 6/385 5942
/proc/meminfo: memFree=23646888/32951124 swapFree=44485764/67111528
[pid=5877] ppid=5875 vsize=320136 CPUtime=0.8 cores=0,2,4,6
/proc/5877/stat : 5877 (python) S 5875 5877 5751 0 -1 4202496 12884 935 1 0 69 11 0 0 25 0 5 0 658132834 327819264 7249 33554432000 4194304 5683644 140733803806816 18446744073709551615 244458771915 0 0 16781312 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5877/statm: 80034 7249 1883 364 0 15943 0
[pid=5899] ppid=5877 vsize=278752 CPUtime=0 cores=0,2,4,6
/proc/5899/stat : 5899 (python) S 5877 5877 5751 0 -1 4202560 732 0 0 0 0 0 0 0 18 0 1 0 658132925 285442048 5627 33554432000 4194304 5683644 140733803806816 18446744073709551615 244446965263 0 0 16781312 514 6065956726467690754 0 0 17 6 0 0 0
/proc/5899/statm: 69688 5627 354 364 0 5606 0
[pid=5901] ppid=5899 vsize=1018076 CPUtime=2.15 cores=0,2,4,6
/proc/5901/stat : 5901 (gnovelty+2) R 5899 5901 5901 0 -1 4202496 531 0 0 0 215 0 0 0 25 0 1 0 658132926 1042509824 266 33554432000 134512640 135663704 4294496432 18446744073709551615 134524711 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/5901/statm: 254519 266 113 282 0 254235 0
[pid=5902] ppid=5877 vsize=289380 CPUtime=0 cores=0,2,4,6
/proc/5902/stat : 5902 (python) S 5877 5877 5751 0 -1 4202560 736 0 0 0 0 0 0 0 18 0 1 0 658132926 296325120 5702 33554432000 4194304 5683644 140733803806816 18446744073709551615 244446965318 0 0 16781312 514 10900665209572000004 0 0 17 2 0 0 0
/proc/5902/statm: 72345 5702 348 364 0 8260 0
[pid=5904] ppid=5902 vsize=1018076 CPUtime=2.16 cores=0,2,4,6
/proc/5904/stat : 5904 (gnovelty+2) R 5902 5904 5904 0 -1 4202496 529 0 0 0 216 0 0 0 25 0 1 0 658132927 1042509824 266 33554432000 134512640 135663704 4294875952 18446744073709551615 134525276 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/5904/statm: 254519 266 113 282 0 254235 0
[pid=5905] ppid=5877 vsize=299636 CPUtime=0 cores=0,2,4,6
/proc/5905/stat : 5905 (python) S 5877 5877 5751 0 -1 4202560 733 0 0 0 0 0 0 0 18 0 1 0 658132928 306827264 5706 33554432000 4194304 5683644 140733803806816 18446744073709551615 244446965318 0 0 16781312 514 2972950528062882052 0 0 17 0 0 0 0
/proc/5905/statm: 74909 5706 348 364 0 10821 0
[pid=5909] ppid=5905 vsize=416920 CPUtime=2.15 cores=0,2,4,6
/proc/5909/stat : 5909 (adaptg2wsat2009) R 5905 5909 5909 0 -1 4202496 668 0 0 0 215 0 0 0 25 0 1 0 658132929 426926080 407 33554432000 134512640 135107411 4290647632 18446744073709551615 134531935 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/5909/statm: 104230 407 59 146 0 103106 0
[pid=5907] ppid=5877 vsize=309892 CPUtime=0 cores=0,2,4,6
/proc/5907/stat : 5907 (python) S 5877 5877 5751 0 -1 4202560 744 0 0 0 0 0 0 0 18 0 1 0 658132929 317329408 5710 33554432000 4194304 5683644 140733803806816 18446744073709551615 244446965318 0 0 16781312 514 4086053768825635075 0 0 17 0 0 0 0
/proc/5907/statm: 77473 5710 348 364 0 13382 0
[pid=5910] ppid=5907 vsize=416920 CPUtime=2.15 cores=0,2,4,6
/proc/5910/stat : 5910 (adaptg2wsat2009) R 5907 5910 5910 0 -1 4202496 668 0 0 0 215 0 0 0 25 0 1 0 658132929 426926080 406 33554432000 134512640 135107411 4292720224 18446744073709551615 134531246 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/5910/statm: 104230 406 59 146 0 103106 0
[pid=5877/tid=5900] ppid=5875 vsize=320136 CPUtime=0 cores=0,2,4,6
/proc/5877/task/5900/stat : 5900 (python) S 5875 5877 5751 0 -1 4202560 25 935 0 0 0 0 0 0 20 0 5 0 658132926 327819264 7249 33554432000 4194304 5683644 140733803806816 18446744073709551615 244458768817 0 0 16781312 2 18446604450100150464 0 0 -1 0 0 0 0
[pid=5877/tid=5903] ppid=5875 vsize=320136 CPUtime=0 cores=0,2,4,6
/proc/5877/task/5903/stat : 5903 (python) S 5875 5877 5751 0 -1 4202560 22 935 0 0 0 0 0 0 22 0 5 0 658132927 327819264 7249 33554432000 4194304 5683644 140733803806816 18446744073709551615 244458768817 0 0 16781312 2 18446604450100150464 0 0 -1 0 0 0 0
[pid=5877/tid=5906] ppid=5875 vsize=320136 CPUtime=0 cores=0,2,4,6
/proc/5877/task/5906/stat : 5906 (python) S 5875 5877 5751 0 -1 4202560 38 935 0 0 0 0 0 0 24 0 5 0 658132928 327819264 7249 33554432000 4194304 5683644 140733803806816 18446744073709551615 244458768817 0 0 16781312 2 18446604450100150464 0 0 -1 0 0 0 0
[pid=5877/tid=5908] ppid=5875 vsize=320136 CPUtime=0 cores=0,2,4,6
/proc/5877/task/5908/stat : 5908 (python) S 5875 5877 5751 0 -1 4202560 21 935 0 0 0 0 0 0 25 0 5 0 658132929 327819264 7249 33554432000 4194304 5683644 140733803806816 18446744073709551615 244458768817 0 0 16781312 2 18446604450100150464 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 9.41
Current children cumulated vsize (KiB) 4367788

[startup+6.30059 s]
/proc/loadavg: 0.47 0.11 0.75 9/397 5954
/proc/meminfo: memFree=23622776/32951124 swapFree=44485764/67111528
[pid=5877] ppid=5875 vsize=320136 CPUtime=0.8 cores=0,2,4,6
/proc/5877/stat : 5877 (python) S 5875 5877 5751 0 -1 4202496 12884 935 1 0 69 11 0 0 25 0 5 0 658132834 327819264 7249 33554432000 4194304 5683644 140733803806816 18446744073709551615 244458771915 0 0 16781312 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5877/statm: 80034 7249 1883 364 0 15943 0
[pid=5899] ppid=5877 vsize=278752 CPUtime=0.01 cores=0,2,4,6
/proc/5899/stat : 5899 (python) S 5877 5877 5751 0 -1 4202560 891 0 0 0 1 0 0 0 18 0 1 0 658132925 285442048 5650 33554432000 4194304 5683644 140733803806816 18446744073709551615 244446965263 0 0 16781312 514 6065956726467690754 0 0 17 6 0 0 0
/proc/5899/statm: 69688 5650 377 364 0 5606 0
[pid=5901] ppid=5899 vsize=1018076 CPUtime=5.3 cores=0,2,4,6
/proc/5901/stat : 5901 (gnovelty+2) R 5899 5901 5901 0 -1 4202496 531 0 0 0 530 0 0 0 25 0 1 0 658132926 1042509824 266 33554432000 134512640 135663704 4294496432 18446744073709551615 134524918 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/5901/statm: 254519 266 113 282 0 254235 0
[pid=5902] ppid=5877 vsize=289380 CPUtime=0 cores=0,2,4,6
/proc/5902/stat : 5902 (python) S 5877 5877 5751 0 -1 4202560 905 0 0 0 0 0 0 0 18 0 1 0 658132926 296325120 5725 33554432000 4194304 5683644 140733803806816 18446744073709551615 244446965318 0 0 16781312 514 10900665209572000004 0 0 17 2 0 0 0
/proc/5902/statm: 72345 5725 371 364 0 8260 0
[pid=5904] ppid=5902 vsize=1018076 CPUtime=5.34 cores=0,2,4,6
/proc/5904/stat : 5904 (gnovelty+2) R 5902 5904 5904 0 -1 4202496 529 0 0 0 534 0 0 0 25 0 1 0 658132927 1042509824 266 33554432000 134512640 135663704 4294875952 18446744073709551615 134525224 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/5904/statm: 254519 266 113 282 0 254235 0
[pid=5905] ppid=5877 vsize=299636 CPUtime=0 cores=0,2,4,6
/proc/5905/stat : 5905 (python) S 5877 5877 5751 0 -1 4202560 901 0 0 0 0 0 0 0 18 0 1 0 658132928 306827264 5728 33554432000 4194304 5683644 140733803806816 18446744073709551615 244446965318 0 0 16781312 514 2972950528062882052 0 0 17 0 0 0 0
/proc/5905/statm: 74909 5728 370 364 0 10821 0
[pid=5909] ppid=5905 vsize=416920 CPUtime=5.34 cores=0,2,4,6
/proc/5909/stat : 5909 (adaptg2wsat2009) R 5905 5909 5909 0 -1 4202496 668 0 0 0 534 0 0 0 25 0 1 0 658132929 426926080 407 33554432000 134512640 135107411 4290647632 18446744073709551615 134531935 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/5909/statm: 104230 407 59 146 0 103106 0
[pid=5907] ppid=5877 vsize=309892 CPUtime=0.01 cores=0,2,4,6
/proc/5907/stat : 5907 (python) S 5877 5877 5751 0 -1 4202560 910 0 0 0 0 1 0 0 18 0 1 0 658132929 317329408 5733 33554432000 4194304 5683644 140733803806816 18446744073709551615 244446965318 0 0 16781312 514 4086053768825635075 0 0 17 0 0 0 0
/proc/5907/statm: 77473 5733 371 364 0 13382 0
[pid=5910] ppid=5907 vsize=416920 CPUtime=5.31 cores=0,2,4,6
/proc/5910/stat : 5910 (adaptg2wsat2009) R 5907 5910 5910 0 -1 4202496 668 0 0 0 531 0 0 0 25 0 1 0 658132929 426926080 406 33554432000 134512640 135107411 4292720224 18446744073709551615 134531709 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/5910/statm: 104230 406 59 146 0 103106 0
[pid=5877/tid=5900] ppid=5875 vsize=320136 CPUtime=0 cores=0,2,4,6
/proc/5877/task/5900/stat : 5900 (python) S 5875 5877 5751 0 -1 4202560 25 935 0 0 0 0 0 0 20 0 5 0 658132926 327819264 7249 33554432000 4194304 5683644 140733803806816 18446744073709551615 244458768817 0 0 16781312 2 18446604450100150464 0 0 -1 0 0 0 0
[pid=5877/tid=5903] ppid=5875 vsize=320136 CPUtime=0 cores=0,2,4,6
/proc/5877/task/5903/stat : 5903 (python) S 5875 5877 5751 0 -1 4202560 22 935 0 0 0 0 0 0 22 0 5 0 658132927 327819264 7249 33554432000 4194304 5683644 140733803806816 18446744073709551615 244458768817 0 0 16781312 2 18446604450100150464 0 0 -1 0 0 0 0
[pid=5877/tid=5906] ppid=5875 vsize=320136 CPUtime=0 cores=0,2,4,6
/proc/5877/task/5906/stat : 5906 (python) S 5875 5877 5751 0 -1 4202560 38 935 0 0 0 0 0 0 24 0 5 0 658132928 327819264 7249 33554432000 4194304 5683644 140733803806816 18446744073709551615 244458768817 0 0 16781312 2 18446604450100150464 0 0 -1 0 0 0 0
[pid=5877/tid=5908] ppid=5875 vsize=320136 CPUtime=0 cores=0,2,4,6
/proc/5877/task/5908/stat : 5908 (python) S 5875 5877 5751 0 -1 4202560 21 935 0 0 0 0 0 0 25 0 5 0 658132929 327819264 7249 33554432000 4194304 5683644 140733803806816 18446744073709551615 244458768817 0 0 16781312 2 18446604450100150464 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 22.11
Current children cumulated vsize (KiB) 4367788

[startup+12.7014 s]
/proc/loadavg: 1.63 0.37 0.82 9/397 5954
/proc/meminfo: memFree=23619460/32951124 swapFree=44485764/67111528
[pid=5877] ppid=5875 vsize=320136 CPUtime=0.8 cores=0,2,4,6
/proc/5877/stat : 5877 (python) S 5875 5877 5751 0 -1 4202496 12884 935 1 0 69 11 0 0 25 0 5 0 658132834 327819264 7249 33554432000 4194304 5683644 140733803806816 18446744073709551615 244458771915 0 0 16781312 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5877/statm: 80034 7249 1883 364 0 15943 0
[pid=5899] ppid=5877 vsize=278752 CPUtime=0.03 cores=0,2,4,6
/proc/5899/stat : 5899 (python) S 5877 5877 5751 0 -1 4202560 894 0 0 0 2 1 0 0 18 0 1 0 658132925 285442048 5650 33554432000 4194304 5683644 140733803806816 18446744073709551615 244446965263 0 0 16781312 514 2889199898446496002 0 0 17 6 0 0 0
/proc/5899/statm: 69688 5650 377 364 0 5606 0
[pid=5901] ppid=5899 vsize=1018076 CPUtime=11.6 cores=0,2,4,6
/proc/5901/stat : 5901 (gnovelty+2) R 5899 5901 5901 0 -1 4202496 531 0 0 0 1160 0 0 0 25 0 1 0 658132926 1042509824 266 33554432000 134512640 135663704 4294496432 18446744073709551615 134525302 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/5901/statm: 254519 266 113 282 0 254235 0
[pid=5902] ppid=5877 vsize=289380 CPUtime=0.02 cores=0,2,4,6

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

/proc/5877/task/5990/stat : 5990 (python) S 5875 5877 5751 0 -1 4202560 37 935 0 0 0 0 0 0 18 0 16 0 658152986 444096512 7509 33554432000 4194304 5683644 140733803806816 18446744073709551615 244458768817 0 0 16781312 2 18446604450100150464 0 0 -1 4 0 0 0
[pid=5877/tid=5997] ppid=5875 vsize=433688 CPUtime=0 cores=0,2,4,6
/proc/5877/task/5997/stat : 5997 (python) S 5875 5877 5751 0 -1 4202560 28 935 0 0 0 0 0 0 20 0 16 0 658162720 444096512 7509 33554432000 4194304 5683644 140733803806816 18446744073709551615 244458768817 0 0 16781312 2 18446604450100150464 0 0 -1 4 0 0 0
[pid=5877/tid=6001] ppid=5875 vsize=433688 CPUtime=0 cores=0,2,4,6
/proc/5877/task/6001/stat : 6001 (python) S 5875 5877 5751 0 -1 4202560 34 935 0 0 0 0 0 0 18 0 16 0 658163012 444096512 7509 33554432000 4194304 5683644 140733803806816 18446744073709551615 244458768817 0 0 16781312 2 18446604450100150464 0 0 -1 4 0 0 0
[pid=5877/tid=6007] ppid=5875 vsize=433688 CPUtime=0 cores=0,2,4,6
/proc/5877/task/6007/stat : 6007 (python) S 5875 5877 5751 0 -1 4202560 25 935 0 0 0 0 0 0 20 0 16 0 658172650 444096512 7509 33554432000 4194304 5683644 140733803806816 18446744073709551615 244458768817 0 0 16781312 2 18446604450100150464 0 0 -1 4 0 0 0
[pid=5877/tid=6025] ppid=5875 vsize=433688 CPUtime=0 cores=0,2,4,6
/proc/5877/task/6025/stat : 6025 (python) S 5875 5877 5751 0 -1 4202560 31 935 0 0 0 0 0 0 20 0 16 0 658202035 444096512 7509 33554432000 4194304 5683644 140733803806816 18446744073709551615 244458768817 0 0 16781312 2 18446604450100150464 0 0 -1 4 0 0 0
[pid=5877/tid=6039] ppid=5875 vsize=433688 CPUtime=0 cores=0,2,4,6
/proc/5877/task/6039/stat : 6039 (python) S 5875 5877 5751 0 -1 4202560 30 935 0 0 0 0 0 0 20 0 16 0 658212066 444096512 7509 33554432000 4194304 5683644 140733803806816 18446744073709551615 244458768817 0 0 16781312 2 18446604450100150464 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4779.57
Current children cumulated vsize (KiB) 12243288

[startup+1202 s]
/proc/loadavg: 8.38 8.06 6.11 6/427 6073
/proc/meminfo: memFree=23560804/32951124 swapFree=44485764/67111528
[pid=5877] ppid=5875 vsize=433688 CPUtime=1.03 cores=0,2,4,6
/proc/5877/stat : 5877 (python) R 5875 5877 5751 0 -1 4202496 23617 935 1 0 90 13 0 0 18 0 16 0 658132834 444096512 7512 33554432000 4194304 5683644 140733803806816 18446744073709551615 47081931396476 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5877/statm: 108422 7512 1906 364 0 44298 0
[pid=5899] ppid=5877 vsize=288996 CPUtime=0.28 cores=0,2,4,6
/proc/5899/stat : 5899 (python) S 5877 5877 5751 0 -1 4202560 1174 0 0 0 14 14 0 0 19 0 2 0 658132925 295931904 5694 33554432000 4194304 5683644 140733803806816 18446744073709551615 244458771915 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/5899/statm: 72249 5694 416 364 0 8167 0
[pid=5901] ppid=5899 vsize=1018076 CPUtime=101.84 cores=0,2,4,6
/proc/5901/stat : 5901 (gnovelty+2) T 5899 5901 5901 0 -1 4202496 531 0 0 0 10184 0 0 0 25 0 1 0 658132926 1042509824 266 33554432000 134512640 135663704 4294496432 18446744073709551615 134544196 0 0 16781312 0 18446744071562691360 0 0 17 4 0 0 0
/proc/5901/statm: 254519 266 113 282 0 254235 0
[pid=5899/tid=5978] ppid=5877 vsize=288996 CPUtime=0 cores=0,2,4,6
/proc/5899/task/5978/stat : 5978 (python) S 5877 5877 5751 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 658143257 295931904 5694 33554432000 4194304 5683644 140733803806816 18446744073709551615 244458768817 0 0 16781312 514 18446604450030066560 0 0 -1 6 0 0 0
[pid=5902] ppid=5877 vsize=289380 CPUtime=0.27 cores=0,2,4,6
/proc/5902/stat : 5902 (python) S 5877 5877 5751 0 -1 4202560 1093 0 0 0 14 13 0 0 19 0 2 0 658132926 296325120 5755 33554432000 4194304 5683644 140733803806816 18446744073709551615 244458771915 0 0 16781312 514 18446744073709551615 0 0 17 2 0 0 0
/proc/5902/statm: 72345 5755 400 364 0 8260 0
[pid=5904] ppid=5902 vsize=1018076 CPUtime=99.97 cores=0,2,4,6
/proc/5904/stat : 5904 (gnovelty+2) T 5902 5904 5904 0 -1 4202496 529 0 0 0 9997 0 0 0 25 0 1 0 658132927 1042509824 266 33554432000 134512640 135663704 4294875952 18446744073709551615 134524548 0 0 16781312 0 18446744071562691360 0 0 17 2 0 0 0
/proc/5904/statm: 254519 266 113 282 0 254235 0
[pid=5902/tid=5961] ppid=5877 vsize=289380 CPUtime=0 cores=0,2,4,6
/proc/5902/task/5961/stat : 5961 (python) S 5877 5877 5751 0 -1 4202560 45 0 0 0 0 0 0 0 19 0 2 0 658142954 296325120 5755 33554432000 4194304 5683644 140733803806816 18446744073709551615 244458768817 0 0 16781312 514 18446604442565800256 0 0 -1 2 0 0 0
[pid=5905] ppid=5877 vsize=299636 CPUtime=0.55 cores=0,2,4,6
/proc/5905/stat : 5905 (python) S 5877 5877 5751 0 -1 4202560 1126 0 0 0 29 26 0 0 18 0 2 0 658132928 306827264 5759 33554432000 4194304 5683644 140733803806816 18446744073709551615 244458771915 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/5905/statm: 74909 5759 400 364 0 10821 0
[pid=5909] ppid=5905 vsize=416920 CPUtime=196.66 cores=0,2,4,6
/proc/5909/stat : 5909 (adaptg2wsat2009) T 5905 5909 5909 0 -1 4202496 668 0 0 0 19665 1 0 0 25 0 1 0 658132929 426926080 407 33554432000 134512640 135107411 4290647632 18446744073709551615 134531928 0 0 16781312 0 18446744071562691360 0 0 17 4 0 0 0
/proc/5909/statm: 104230 407 59 146 0 103106 0
[pid=5905/tid=5965] ppid=5877 vsize=299636 CPUtime=0 cores=0,2,4,6
/proc/5905/task/5965/stat : 5965 (python) S 5877 5877 5751 0 -1 4202560 48 0 0 0 0 0 0 0 18 0 2 0 658142955 306827264 5759 33554432000 4194304 5683644 140733803806816 18446744073709551615 244458768817 0 0 16781312 514 18446604453604887232 0 0 -1 0 0 0 0
[pid=5907] ppid=5877 vsize=309892 CPUtime=0.56 cores=0,2,4,6
/proc/5907/stat : 5907 (python) S 5877 5877 5751 0 -1 4202560 1129 0 0 0 30 26 0 0 18 0 2 0 658132929 317329408 5763 33554432000 4194304 5683644 140733803806816 18446744073709551615 244458771915 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/5907/statm: 77473 5763 400 364 0 13382 0
[pid=5910] ppid=5907 vsize=416920 CPUtime=196.42 cores=0,2,4,6
/proc/5910/stat : 5910 (adaptg2wsat2009) T 5907 5910 5910 0 -1 4202496 668 0 0 0 19641 1 0 0 25 0 1 0 658132929 426926080 406 33554432000 134512640 135107411 4292720224 18446744073709551615 134531239 0 0 16781312 0 18446744071562691360 0 0 17 0 0 0 0
/proc/5910/statm: 104230 406 59 146 0 103106 0
[pid=5907/tid=5966] ppid=5877 vsize=309892 CPUtime=0 cores=0,2,4,6
/proc/5907/task/5966/stat : 5966 (python) S 5877 5877 5751 0 -1 4202560 46 0 0 0 0 0 0 0 18 0 2 0 658142957 317329408 5763 33554432000 4194304 5683644 140733803806816 18446744073709551615 244458768817 0 0 16781312 514 18446604440979149888 0 0 -1 0 0 0 0
[pid=5962] ppid=5877 vsize=320148 CPUtime=0.28 cores=0,2,4,6
/proc/5962/stat : 5962 (python) S 5877 5877 5751 0 -1 4202560 1104 0 0 0 15 13 0 0 19 0 2 0 658142955 327831552 5776 33554432000 4194304 5683644 140733803806816 18446744073709551615 244458771915 0 0 16781312 514 18446744073709551615 0 0 17 2 0 0 0
/proc/5962/statm: 80037 5776 400 364 0 15943 0
[pid=5964] ppid=5962 vsize=416920 CPUtime=99.98 cores=0,2,4,6
/proc/5964/stat : 5964 (adaptg2wsat2009) T 5962 5964 5964 0 -1 4202496 668 0 0 0 9998 0 0 0 25 0 1 0 658142955 426926080 407 33554432000 134512640 135107411 4292745280 18446744073709551615 134531380 0 0 16781312 0 18446744071562691360 0 0 17 2 0 0 0
/proc/5964/statm: 104230 407 59 146 0 103106 0
[pid=5962/tid=5984] ppid=5877 vsize=320148 CPUtime=0 cores=0,2,4,6
/proc/5962/task/5984/stat : 5984 (python) S 5877 5877 5751 0 -1 4202560 50 0 0 0 0 0 0 0 19 0 2 0 658152982 327831552 5776 33554432000 4194304 5683644 140733803806816 18446744073709551615 244458768817 0 0 16781312 514 18446604453882608448 0 0 -1 2 0 0 0
[pid=5967] ppid=5877 vsize=330176 CPUtime=0.27 cores=0,2,4,6
/proc/5967/stat : 5967 (python) S 5877 5877 5751 0 -1 4202560 1103 0 0 0 16 11 0 0 19 0 2 0 658142957 338100224 5698 33554432000 4194304 5683644 140733803806816 18446744073709551615 244458771915 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/5967/statm: 82544 5698 400 364 0 18447 0
[pid=5969] ppid=5967 vsize=1018076 CPUtime=99.99 cores=0,2,4,6
/proc/5969/stat : 5969 (gnovelty+2) T 5967 5969 5969 0 -1 4202496 525 0 0 0 9999 0 0 0 25 0 1 0 658142958 1042509824 267 33554432000 134512640 135663704 4294041456 18446744073709551615 134525444 0 0 16781312 0 18446744071562691360 0 0 17 0 0 0 0
/proc/5969/statm: 254519 267 113 282 0 254235 0
[pid=5967/tid=5988] ppid=5877 vsize=330176 CPUtime=0 cores=0,2,4,6
/proc/5967/task/5988/stat : 5988 (python) S 5877 5877 5751 0 -1 4202560 49 0 0 0 0 0 0 0 19 0 2 0 658152985 338100224 5698 33554432000 4194304 5683644 140733803806816 18446744073709551615 244458768817 0 0 16781312 514 18446604453795933120 0 0 -1 0 0 0 0
[pid=5970] ppid=5877 vsize=340972 CPUtime=0.28 cores=0,2,4,6
/proc/5970/stat : 5970 (python) S 5877 5877 5751 0 -1 4202560 1102 0 0 0 15 13 0 0 18 0 2 0 658142959 349155328 5837 33554432000 4194304 5683644 140733803806816 18446744073709551615 244458771915 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/5970/statm: 85243 5837 400 364 0 21143 0
[pid=5972] ppid=5970 vsize=247068 CPUtime=99 cores=0,2,4,6
/proc/5972/stat : 5972 (FH) T 5970 5972 5972 0 -1 4202496 624 0 0 0 9900 0 0 0 25 0 1 0 658142959 252997632 365 33554432000 134512640 134936988 4288301696 18446744073709551615 134552321 0 0 16781312 0 18446744071562691360 0 0 17 6 0 0 0
/proc/5972/statm: 61767 365 41 104 0 61271 0
[pid=5970/tid=5992] ppid=5877 vsize=340972 CPUtime=0 cores=0,2,4,6
/proc/5970/task/5992/stat : 5992 (python) S 5877 5877 5751 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 658152990 349155328 5837 33554432000 4194304 5683644 140733803806816 18446744073709551615 244458768817 0 0 16781312 514 18446604445964560256 0 0 -1 6 0 0 0
[pid=5979] ppid=5877 vsize=351228 CPUtime=3.29 cores=0,2,4,6
/proc/5979/stat : 5979 (python) S 5877 5877 5751 0 -1 4202560 1213 0 0 0 163 166 0 0 15 0 2 0 658143258 359657472 5847 33554432000 4194304 5683644 140733803806816 18446744073709551615 244446965318 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/5979/statm: 87807 5847 406 364 0 23704 0
[pid=5981] ppid=5979 vsize=8028 CPUtime=1095.5 cores=0,2,4,6
/proc/5981/stat : 5981 (march_hi) R 5979 5981 5981 0 -1 4202496 2606 0 0 0 109548 2 0 0 25 0 1 0 658143259 8220672 1573 33554432000 4194304 4955518 140735551951344 18446744073709551615 4297472 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/5981/statm: 2007 1573 106 186 0 1820 0
[pid=5979/tid=6016] ppid=5877 vsize=351228 CPUtime=0 cores=0,2,4,6
/proc/5979/task/6016/stat : 6016 (python) S 5877 5877 5751 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 2 0 658191929 359657472 5847 33554432000 4194304 5683644 140733803806816 18446744073709551615 244458768817 0 0 16781312 514 18446604443714300928 0 0 -1 4 0 0 0
[pid=5985] ppid=5877 vsize=361484 CPUtime=0.28 cores=0,2,4,6
/proc/5985/stat : 5985 (python) S 5877 5877 5751 0 -1 4202560 1145 0 0 0 16 12 0 0 19 0 2 0 658152983 370159616 5866 33554432000 4194304 5683644 140733803806816 18446744073709551615 244458771915 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/5985/statm: 90371 5866 406 364 0 26265 0
[pid=5987] ppid=5985 vsize=416920 CPUtime=99.97 cores=0,2,4,6
/proc/5987/stat : 5987 (adaptg2wsat2009) T 5985 5987 5987 0 -1 4202496 678 0 0 0 9996 1 0 0 25 0 1 0 658152984 426926080 407 33554432000 134512640 135107411 4292994608 18446744073709551615 134531817 0 0 16781312 0 18446744071562691360 0 0 17 0 0 0 0
/proc/5987/statm: 104230 407 59 146 0 103106 0
[pid=5985/tid=5999] ppid=5877 vsize=361484 CPUtime=0 cores=0,2,4,6
/proc/5985/task/5999/stat : 5999 (python) S 5877 5877 5751 0 -1 4202560 50 0 0 0 0 0 0 0 19 0 2 0 658163011 370159616 5866 33554432000 4194304 5683644 140733803806816 18446744073709551615 244458768817 0 0 16781312 514 18446604450650827520 0 0 -1 0 0 0 0
[pid=5989] ppid=5877 vsize=371740 CPUtime=3.07 cores=0,2,4,6
/proc/5989/stat : 5989 (python) S 5877 5877 5751 0 -1 4202560 1189 0 0 0 166 141 0 0 15 0 2 0 658152986 380661760 5864 33554432000 4194304 5683644 140733803806816 18446744073709551615 244446965318 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/5989/statm: 92935 5864 400 364 0 28826 0
[pid=5991] ppid=5989 vsize=8028 CPUtime=983.75 cores=0,2,4,6
/proc/5991/stat : 5991 (march_hi) R 5989 5991 5991 0 -1 4202496 2490 0 0 0 98374 1 0 0 25 0 1 0 658152987 8220672 1459 33554432000 4194304 4955518 140735141008128 18446744073709551615 4237810 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/5991/statm: 2007 1459 106 186 0 1820 0
[pid=5989/tid=6027] ppid=5877 vsize=371740 CPUtime=0 cores=0,2,4,6
/proc/5989/task/6027/stat : 6027 (python) S 5877 5877 5751 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 2 0 658202256 380661760 5864 33554432000 4194304 5683644 140733803806816 18446744073709551615 244458768817 0 0 16781312 514 18446604449321386304 0 0 -1 0 0 0 0
[pid=5996] ppid=5877 vsize=382192 CPUtime=0.28 cores=0,2,4,6
/proc/5996/stat : 5996 (python) S 5877 5877 5751 0 -1 4202560 1116 0 0 0 15 13 0 0 19 0 2 0 658162719 391364608 5902 33554432000 4194304 5683644 140733803806816 18446744073709551615 244458771915 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/5996/statm: 95548 5902 400 364 0 31436 0
[pid=5998] ppid=5996 vsize=247068 CPUtime=99.23 cores=0,2,4,6
/proc/5998/stat : 5998 (FH) T 5996 5998 5998 0 -1 4202496 630 0 0 0 9923 0 0 0 25 0 1 0 658162720 252997632 366 33554432000 134512640 134936988 4288742144 18446744073709551615 134554227 0 0 16781312 0 18446744071562691360 0 0 17 0 0 0 0
/proc/5998/statm: 61767 366 41 104 0 61271 0
[pid=5996/tid=6005] ppid=5877 vsize=382192 CPUtime=0 cores=0,2,4,6
/proc/5996/task/6005/stat : 6005 (python) S 5877 5877 5751 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 658172649 391364608 5902 33554432000 4194304 5683644 140733803806816 18446744073709551615 244458768817 0 0 16781312 514 18446604440784728512 0 0 -1 0 0 0 0
[pid=6000] ppid=5877 vsize=392448 CPUtime=2.76 cores=0,2,4,6
/proc/6000/stat : 6000 (python) S 5877 5877 5751 0 -1 4202560 1201 0 0 0 146 130 0 0 15 0 2 0 658163012 401866752 5915 33554432000 4194304 5683644 140733803806816 18446744073709551615 244458771915 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/6000/statm: 98112 5915 409 364 0 33997 0
[pid=6002] ppid=6000 vsize=8028 CPUtime=887.85 cores=0,2,4,6
/proc/6002/stat : 6002 (march_hi) T 6000 6002 6002 0 -1 4202496 2402 0 0 0 88781 4 0 0 25 0 1 0 658163012 8220672 1370 33554432000 4194304 4955518 140734510022912 18446744073709551615 4237810 0 0 16781312 0 18446744071562691360 0 0 17 4 0 0 0
/proc/6002/statm: 2007 1370 106 186 0 1820 0
[pid=6000/tid=6029] ppid=5877 vsize=392448 CPUtime=0 cores=0,2,4,6
/proc/6000/task/6029/stat : 6029 (python) S 5877 5877 5751 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 2 0 658203077 401866752 5915 33554432000 4194304 5683644 140733803806816 18446744073709551615 244458768817 0 0 16781312 514 18446604440784731200 0 0 -1 0 0 0 0
[pid=6006] ppid=5877 vsize=402912 CPUtime=0.56 cores=0,2,4,6
/proc/6006/stat : 6006 (python) S 5877 5877 5751 0 -1 4202560 1169 0 0 0 29 27 0 0 19 0 2 0 658172650 412581888 5962 33554432000 4194304 5683644 140733803806816 18446744073709551615 244458771915 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/6006/statm: 100728 5962 400 364 0 36610 0
[pid=6008] ppid=6006 vsize=268428 CPUtime=195.38 cores=0,2,4,6
/proc/6008/stat : 6008 (hybridGM3) T 6006 6008 6008 0 -1 4202496 4897 0 0 0 19538 0 0 0 25 0 1 0 658172650 274870272 4630 33554432000 134512640 135204385 4290566208 18446744073709551615 134536996 0 0 16781312 0 18446744071562691360 0 0 17 2 0 0 0
/proc/6008/statm: 67107 4630 64 169 0 66937 0
[pid=6006/tid=6017] ppid=5877 vsize=402912 CPUtime=0 cores=0,2,4,6
/proc/6006/task/6017/stat : 6017 (python) S 5877 5877 5751 0 -1 4202560 50 0 0 0 0 0 0 0 19 0 2 0 658192305 412581888 5962 33554432000 4194304 5683644 140733803806816 18446744073709551615 244458768817 0 0 16781312 514 18446604453985323712 0 0 -1 4 0 0 0
[pid=6024] ppid=5877 vsize=413168 CPUtime=0.3 cores=0,2,4,6
/proc/6024/stat : 6024 (python) S 5877 5877 5751 0 -1 4202560 1150 0 0 0 17 13 0 0 19 0 2 0 658202035 423084032 5966 33554432000 4194304 5683644 140733803806816 18446744073709551615 244458771915 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/6024/statm: 103292 5966 400 364 0 39171 0
[pid=6026] ppid=6024 vsize=1018076 CPUtime=99.98 cores=0,2,4,6
/proc/6026/stat : 6026 (gnovelty+2) T 6024 6026 6026 0 -1 4202496 539 0 0 0 9998 0 0 0 25 0 1 0 658202035 1042509824 266 33554432000 134512640 135663704 4289846352 18446744073709551615 134525224 0 0 16781312 0 18446744071562691360 0 0 17 0 0 0 0
/proc/6026/statm: 254519 266 113 282 0 254235 0
[pid=6024/tid=6037] ppid=5877 vsize=413168 CPUtime=0 cores=0,2,4,6
/proc/6024/task/6037/stat : 6037 (python) S 5877 5877 5751 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 658212065 423084032 5966 33554432000 4194304 5683644 140733803806816 18446744073709551615 244458768817 0 0 16781312 514 18446604453856447488 0 0 -1 0 0 0 0
[pid=6038] ppid=5877 vsize=423444 CPUtime=1.26 cores=0,2,4,6
/proc/6038/stat : 6038 (python) S 5877 5877 5751 0 -1 4202560 1101 0 0 0 66 60 0 0 15 0 1 0 658212066 433606656 5952 33554432000 4194304 5683644 140733803806816 18446744073709551615 244446965318 0 0 16781312 514 2889199898446496002 0 0 17 4 0 0 0
/proc/6038/statm: 105861 5952 378 364 0 41737 0
[pid=6040] ppid=6038 vsize=5152 CPUtime=409.12 cores=0,2,4,6
/proc/6040/stat : 6040 (march_hi) R 6038 6040 6040 0 -1 4202496 1937 0 0 0 40911 1 0 0 25 0 1 0 658212066 5275648 897 33554432000 4194304 4955518 140736591091920 18446744073709551615 4208667 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/6040/statm: 1288 897 106 186 0 1101 0
[pid=5877/tid=5900] ppid=5875 vsize=433688 CPUtime=0 cores=0,2,4,6
/proc/5877/task/5900/stat : 5900 (python) S 5875 5877 5751 0 -1 4202560 25 935 0 0 0 0 0 0 20 0 16 0 658132926 444096512 7512 33554432000 4194304 5683644 140733803806816 18446744073709551615 244458768817 0 0 16781312 2 18446604450100150464 0 0 -1 0 0 0 0
[pid=5877/tid=5903] ppid=5875 vsize=433688 CPUtime=0 cores=0,2,4,6
/proc/5877/task/5903/stat : 5903 (python) S 5875 5877 5751 0 -1 4202560 22 935 0 0 0 0 0 0 22 0 16 0 658132927 444096512 7512 33554432000 4194304 5683644 140733803806816 18446744073709551615 244458768817 0 0 16781312 2 18446604450100150464 0 0 -1 0 0 0 0
[pid=5877/tid=5906] ppid=5875 vsize=433688 CPUtime=0 cores=0,2,4,6
/proc/5877/task/5906/stat : 5906 (python) S 5875 5877 5751 0 -1 4202560 42 935 0 0 0 0 0 0 18 0 16 0 658132928 444096512 7512 33554432000 4194304 5683644 140733803806816 18446744073709551615 244458768817 0 0 16781312 2 18446604450100150464 0 0 -1 0 0 0 0
[pid=5877/tid=5908] ppid=5875 vsize=433688 CPUtime=0 cores=0,2,4,6
/proc/5877/task/5908/stat : 5908 (python) S 5875 5877 5751 0 -1 4202560 27 935 0 0 0 0 0 0 18 0 16 0 658132929 444096512 7512 33554432000 4194304 5683644 140733803806816 18446744073709551615 244458768817 0 0 16781312 2 18446604450100150464 0 0 -1 0 0 0 0
[pid=5877/tid=5963] ppid=5875 vsize=433688 CPUtime=0 cores=0,2,4,6
/proc/5877/task/5963/stat : 5963 (python) S 5875 5877 5751 0 -1 4202560 25 935 0 0 0 0 0 0 20 0 16 0 658142955 444096512 7512 33554432000 4194304 5683644 140733803806816 18446744073709551615 244458768817 0 0 16781312 2 18446604450100150464 0 0 -1 0 0 0 0
[pid=5877/tid=5968] ppid=5875 vsize=433688 CPUtime=0 cores=0,2,4,6
/proc/5877/task/5968/stat : 5968 (python) S 5875 5877 5751 0 -1 4202560 25 935 0 0 0 0 0 0 22 0 16 0 658142958 444096512 7512 33554432000 4194304 5683644 140733803806816 18446744073709551615 244458768817 0 0 16781312 2 18446604450100150464 0 0 -1 4 0 0 0
[pid=5877/tid=5971] ppid=5875 vsize=433688 CPUtime=0 cores=0,2,4,6
/proc/5877/task/5971/stat : 5971 (python) S 5875 5877 5751 0 -1 4202560 27 935 0 0 0 0 0 0 24 0 16 0 658142959 444096512 7512 33554432000 4194304 5683644 140733803806816 18446744073709551615 244458768817 0 0 16781312 2 18446604450100150464 0 0 -1 4 0 0 0
[pid=5877/tid=5980] ppid=5875 vsize=433688 CPUtime=0 cores=0,2,4,6
/proc/5877/task/5980/stat : 5980 (python) S 5875 5877 5751 0 -1 4202560 34 935 0 0 0 0 0 0 18 0 16 0 658143259 444096512 7512 33554432000 4194304 5683644 140733803806816 18446744073709551615 244458768817 0 0 16781312 2 18446604450100150464 0 0 -1 4 0 0 0
[pid=5877/tid=5986] ppid=5875 vsize=433688 CPUtime=0 cores=0,2,4,6
/proc/5877/task/5986/stat : 5986 (python) S 5875 5877 5751 0 -1 4202560 22 935 0 0 0 0 0 0 20 0 16 0 658152983 444096512 7512 33554432000 4194304 5683644 140733803806816 18446744073709551615 244458768817 0 0 16781312 2 18446604450100150464 0 0 -1 4 0 0 0
[pid=5877/tid=5990] ppid=5875 vsize=433688 CPUtime=0 cores=0,2,4,6
/proc/5877/task/5990/stat : 5990 (python) S 5875 5877 5751 0 -1 4202560 37 935 0 0 0 0 0 0 18 0 16 0 658152986 444096512 7512 33554432000 4194304 5683644 140733803806816 18446744073709551615 244458768817 0 0 16781312 2 18446604450100150464 0 0 -1 4 0 0 0
[pid=5877/tid=5997] ppid=5875 vsize=433688 CPUtime=0 cores=0,2,4,6
/proc/5877/task/5997/stat : 5997 (python) S 5875 5877 5751 0 -1 4202560 28 935 0 0 0 0 0 0 20 0 16 0 658162720 444096512 7512 33554432000 4194304 5683644 140733803806816 18446744073709551615 244458768817 0 0 16781312 2 18446604450100150464 0 0 -1 4 0 0 0
[pid=5877/tid=6001] ppid=5875 vsize=433688 CPUtime=0 cores=0,2,4,6
/proc/5877/task/6001/stat : 6001 (python) S 5875 5877 5751 0 -1 4202560 34 935 0 0 0 0 0 0 18 0 16 0 658163012 444096512 7512 33554432000 4194304 5683644 140733803806816 18446744073709551615 244458768817 0 0 16781312 2 18446604450100150464 0 0 -1 4 0 0 0
[pid=5877/tid=6007] ppid=5875 vsize=433688 CPUtime=0 cores=0,2,4,6
/proc/5877/task/6007/stat : 6007 (python) S 5875 5877 5751 0 -1 4202560 25 935 0 0 0 0 0 0 20 0 16 0 658172650 444096512 7512 33554432000 4194304 5683644 140733803806816 18446744073709551615 244458768817 0 0 16781312 2 18446604450100150464 0 0 -1 4 0 0 0
[pid=5877/tid=6025] ppid=5875 vsize=433688 CPUtime=0 cores=0,2,4,6
/proc/5877/task/6025/stat : 6025 (python) S 5875 5877 5751 0 -1 4202560 31 935 0 0 0 0 0 0 20 0 16 0 658202035 444096512 7512 33554432000 4194304 5683644 140733803806816 18446744073709551615 244458768817 0 0 16781312 2 18446604450100150464 0 0 -1 4 0 0 0
[pid=5877/tid=6039] ppid=5875 vsize=433688 CPUtime=0 cores=0,2,4,6
/proc/5877/task/6039/stat : 6039 (python) S 5875 5877 5751 0 -1 4202560 30 935 0 0 0 0 0 0 20 0 16 0 658212066 444096512 7512 33554432000 4194304 5683644 140733803806816 18446744073709551615 244458768817 0 0 16781312 2 18446604450100150464 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4779.96
Current children cumulated vsize (KiB) 12243288

Child status: 0
Real time (s): 1202.04
CPU time (s): 4780.37
CPU user time (s): 4773.17
CPU system time (s): 7.2009
CPU usage (%): 397.687
Max. virtual memory (cumulated for all children) (KiB): 12243288

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4773.17
system time used= 7.2009
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66614
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= 10547
involuntary context switches= 27444

runsolver used 7.8648 second user time and 17.0054 second system time

The end

Launcher Data 

Begin job on node105 at 2011-05-15 15:15:24
IDJOB=3378408
IDBENCH=82817
IDSOLVER=1859
FILE ID=node105/3378408-1305465324
RUNJOBID= node105-1305465320-5769
PBS_JOBID= 13325059
Free space on /tmp= 73568 MiB

SOLVER NAME= borg-sat 11.03.02-par-random (fixed)
BENCH NAME= SAT11/random/medium/unif-k7-r89-v70-c6230-S1475900283-041.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-3378408-1305465324/watcher-3378408-1305465324 -o /tmp/evaluation-result-3378408-1305465324/solver-3378408-1305465324 -C 4800 -W 1300 -M 15500  python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3378408-1305465324.cnf -seed 873408899 -budget 4800 -cores 4

TIME LIMIT= 4800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= a83cf27d1d664cde32ad2f1a49b00933
RANDOM SEED=873408899

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

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
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.825
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	: 5410.70
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.825
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.74
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.825
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.825
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:      23707444 kB
Buffers:        306856 kB
Cached:        6814824 kB
SwapCached:      39656 kB
Active:        1623880 kB
Inactive:      7336600 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      23707444 kB
SwapTotal:    67111528 kB
SwapFree:     44485764 kB
Dirty:           63864 kB
Writeback:           0 kB
AnonPages:     1806116 kB
Mapped:          16748 kB
Slab:           143112 kB
PageTables:      72444 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 91349608 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73548 MiB
End job on node105 at 2011-05-15 15:35:26