Trace number 3322297

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 7373.82 924.562

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v500-c2130-S670753028-051.UNKNOWN.cnf
MD5SUM540d28f0e1785b746f299d2e1070ed2a
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark917.804
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-3322297-1304380047.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.42/0.52	c INFO: computed variable balance statistics
0.42/0.55	c INFO: computed small-clause counts
0.42/0.55	c INFO: computed Horn-clause counts
0.42/0.55	c INFO: computed variable graph statistics
0.42/0.55	c INFO: collected features for HOME/instance-3322297-1304380047.cnf in 0.08 s
0.42/0.59	c INFO: running gnovelty+2@0 for 97 with 39999 remaining (b = 0.57)
0.51/0.63	c INFO: running march_hi@0 for 388 with 39999 remaining (b = 0.35)
0.51/0.67	c INFO: running march_hi@0 for 388 with 39999 remaining (b = 0.30)
0.61/0.72	c INFO: running march_hi@0 for 97 with 39999 remaining (b = 0.09)
0.61/0.76	c INFO: running gnovelty+2@0 for 97 with 39999 remaining (b = 0.07)
0.71/0.80	c INFO: running march_hi@0 for 485 with 39999 remaining (b = 0.26)
0.71/0.84	c INFO: running march_hi@0 for 485 with 39999 remaining (b = 0.23)
0.71/0.89	c INFO: running march_hi@0 for 388 with 39999 remaining (b = 0.17)
780.02/98.35	c INFO: running march_hi@0 for 97 with 39902 remaining (b = 0.05)
793.67/100.04	c INFO: running march_hi@0 for 388 with 39900 remaining (b = 0.15)
799.21/100.85	c INFO: running kcnfs-2006@0 for 582 with 39899 remaining (b = 0.19)
1589.24/199.70	c INFO: running march_hi@98 for 97 with 39800 remaining (b = 0.04)
2381.71/299.10	c INFO: running march_hi@197 for 194 with 39701 remaining (b = 0.08)
3108.03/390.08	c INFO: running march_hi@0 for 97 with 39610 remaining (b = 0.04)
3118.37/391.30	c INFO: running march_hi@97 for 97 with 39609 remaining (b = 0.04)
3126.35/392.34	c INFO: running march_hi@0 for 97 with 39608 remaining (b = 0.04)
3894.89/488.68	c INFO: running march_hi@388 for 97 with 39511 remaining (b = 0.06)
3902.86/489.61	c INFO: running march_hi@98 for 97 with 39510 remaining (b = 0.04)
3903.66/489.70	c INFO: running march_hi@487 for 97 with 39510 remaining (b = 0.04)
3905.26/490.00	c INFO: running march_hi@0 for 97 with 39510 remaining (b = 0.03)
3915.62/491.25	c INFO: running march_hi@100 for 291 with 39509 remaining (b = 0.12)
3931.52/493.26	c INFO: running march_hi@0 for 291 with 39507 remaining (b = 0.12)
3934.65/493.67	c INFO: running march_hi@587 for 97 with 39506 remaining (b = 0.06)
4663.31/584.94	c INFO: running march_hi@485 for 97 with 39415 remaining (b = 0.05)
4664.98/585.20	c INFO: running march_hi@196 for 194 with 39415 remaining (b = 0.10)
4669.70/585.79	c INFO: running march_hi@975 for 1164 with 39414 remaining (b = 0.45)
4673.76/586.24	c INFO: running march_hi@390 for 97 with 39414 remaining (b = 0.06)
4696.80/589.11	c INFO: running kcnfs-2006@0 for 582 with 39411 remaining (b = 0.20)
5461.34/684.98	c INFO: running march_hi@580 for 97 with 39315 remaining (b = 0.03)
5471.70/686.29	c INFO: running march_hi@485 for 97 with 39314 remaining (b = 0.04)
5551.57/696.23	c INFO: running kcnfs-2006@99 for 485 with 39304 remaining (b = 0.18)
6222.68/780.35	c INFO: running march_hi@0 for 388 with 39220 remaining (b = 0.13)
6233.84/781.71	c INFO: running march_hi@1072 for 1067 with 39218 remaining (b = 0.41)
6251.38/783.92	c INFO: running march_hi@292 for 97 with 39216 remaining (b = 0.06)
6260.14/785.02	c INFO: running march_hi@194 for 194 with 39215 remaining (b = 0.08)
6274.48/786.86	c INFO: running kcnfs-2006@0 for 582 with 39213 remaining (b = 0.17)
6991.96/876.78	c INFO: running adaptg2wsat2009++@0 for 97 with 39123 remaining (b = 0.03)
7373.32/924.54	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-3322297-1304380047/watcher-3322297-1304380047 -o /tmp/evaluation-result-3322297-1304380047/solver-3322297-1304380047 -C 40000 -W 5100 -M 31000 python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3322297-1304380047.cnf -seed 508442859 -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.79 8.13 8.10 2/309 30024
/proc/meminfo: memFree=18294204/32950928 swapFree=67111356/67111528
[pid=30024] ppid=30022 vsize=15904 CPUtime=0 cores=0-7
/proc/30024/stat : 30024 (python) R 30022 30024 29604 0 -1 4202496 944 0 0 0 0 0 0 0 25 0 1 0 628235423 16285696 820 33554432000 4194304 5683644 140733570018880 18446744073709551615 231895488512 0 2147483391 16781312 2 0 0 0 17 2 0 0 0
/proc/30024/statm: 3976 820 357 364 0 463 0

[startup+0.07361 s]
/proc/loadavg: 7.79 8.13 8.10 2/309 30024
/proc/meminfo: memFree=18294204/32950928 swapFree=67111356/67111528
[pid=30024] ppid=30022 vsize=84520 CPUtime=0.05 cores=0-7
/proc/30024/stat : 30024 (python) R 30022 30024 29604 0 -1 4202496 2204 0 0 0 4 1 0 0 25 0 1 0 628235423 86548480 1952 33554432000 4194304 5683644 140733570018880 18446744073709551615 231890527793 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/30024/statm: 21130 1953 576 364 0 1334 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 84520

[startup+0.100611 s]
/proc/loadavg: 7.79 8.13 8.10 2/309 30024
/proc/meminfo: memFree=18294204/32950928 swapFree=67111356/67111528
[pid=30024] ppid=30022 vsize=104228 CPUtime=0.07 cores=0-7
/proc/30024/stat : 30024 (python) R 30022 30024 29604 0 -1 4202496 3063 0 0 0 5 2 0 0 25 0 1 0 628235423 106729472 2745 33554432000 4194304 5683644 140733570018880 18446744073709551615 4620076 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/30024/statm: 26057 2747 847 364 0 1805 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 104228

[startup+0.300635 s]
/proc/loadavg: 7.79 8.13 8.10 2/309 30024
/proc/meminfo: memFree=18294204/32950928 swapFree=67111356/67111528
[pid=30024] ppid=30022 vsize=166548 CPUtime=0.24 cores=0-7
/proc/30024/stat : 30024 (python) R 30022 30024 29604 0 -1 4202496 6682 933 1 0 17 7 0 0 17 0 1 0 628235423 170545152 4773 33554432000 4194304 5683644 140733570018880 18446744073709551615 4620076 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/30024/statm: 41637 4773 1322 364 0 3454 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 166548

[startup+0.700552 s]
/proc/loadavg: 7.79 8.13 8.10 2/309 30024
/proc/meminfo: memFree=18294204/32950928 swapFree=67111356/67111528
[pid=30024] ppid=30022 vsize=309860 CPUtime=0.61 cores=0-7
/proc/30024/stat : 30024 (python) R 30022 30024 29604 0 -1 4202496 11880 933 1 0 50 11 0 0 18 0 4 0 628235423 317296640 7236 33554432000 4194304 5683644 140733570018880 18446744073709551615 231898928927 0 0 16781312 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30024/statm: 77465 7236 1878 364 0 13377 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 309860

[startup+1.50134 s]
/proc/loadavg: 7.79 8.13 8.10 9/334 30053
/proc/meminfo: memFree=18234484/32950928 swapFree=67111356/67111528
[pid=30024] ppid=30022 vsize=426832 CPUtime=0.79 cores=0-7
/proc/30024/stat : 30024 (python) S 30022 30024 29604 0 -1 4202496 15707 933 1 0 67 12 0 0 19 0 9 0 628235423 437075968 7291 33554432000 4194304 5683644 140733570018880 18446744073709551615 231907317195 0 0 16781312 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30024/statm: 106708 7291 1889 364 0 42605 0
[pid=30030] ppid=30024 vsize=278700 CPUtime=0 cores=0-7
/proc/30030/stat : 30030 (python) S 30024 30024 29604 0 -1 4202560 735 0 0 0 0 0 0 0 18 0 1 0 628235482 285388800 5582 33554432000 4194304 5683644 140733570018880 18446744073709551615 231895510543 0 0 16781312 514 18233077632646250495 0 0 17 2 0 0 0
/proc/30030/statm: 69675 5582 354 364 0 5593 0
[pid=30032] ppid=30030 vsize=1017800 CPUtime=0.9 cores=0-7
/proc/30032/stat : 30032 (gnovelty+2) R 30030 30032 30032 0 -1 4202496 442 0 0 0 90 0 0 0 21 0 1 0 628235482 1042227200 177 33554432000 134512640 135663704 4294161520 18446744073709551615 134547327 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/30032/statm: 254450 177 113 282 0 254166 0
[pid=30033] ppid=30024 vsize=289360 CPUtime=0 cores=0-7
/proc/30033/stat : 30033 (python) S 30024 30024 29604 0 -1 4202560 749 0 0 0 0 0 0 0 15 0 1 0 628235487 296304640 5698 33554432000 4194304 5683644 140733570018880 18446744073709551615 231895510598 0 0 16781312 514 553458973345284356 0 0 17 4 0 0 0
/proc/30033/statm: 72340 5698 348 364 0 8255 0
[pid=30035] ppid=30033 vsize=2472 CPUtime=0.85 cores=0-7
/proc/30035/stat : 30035 (march_hi) R 30033 30035 30035 0 -1 4202496 658 0 0 0 85 0 0 0 25 0 1 0 628235487 2531328 397 33554432000 4194304 4955518 140735392286176 18446744073709551615 4298062 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/30035/statm: 618 397 104 186 0 431 0
[pid=30036] ppid=30024 vsize=299616 CPUtime=0 cores=0-7
/proc/30036/stat : 30036 (python) S 30024 30024 29604 0 -1 4202560 762 0 0 0 0 0 0 0 15 0 1 0 628235491 306806784 5702 33554432000 4194304 5683644 140733570018880 18446744073709551615 231895510598 0 0 16781312 514 3576297913078219009 0 0 17 2 0 0 0
/proc/30036/statm: 74904 5702 348 364 0 10816 0
[pid=30038] ppid=30036 vsize=2328 CPUtime=0.81 cores=0-7
/proc/30038/stat : 30038 (march_hi) R 30036 30038 30038 0 -1 4202496 649 0 0 0 81 0 0 0 22 0 1 0 628235491 2383872 388 33554432000 4194304 4955518 140733681810400 18446744073709551615 4227664 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/30038/statm: 582 388 104 186 0 395 0
[pid=30039] ppid=30024 vsize=309872 CPUtime=0 cores=0-7
/proc/30039/stat : 30039 (python) S 30024 30024 29604 0 -1 4202560 761 0 0 0 0 0 0 0 15 0 1 0 628235495 317308928 5706 33554432000 4194304 5683644 140733570018880 18446744073709551615 231895510598 0 0 16781312 514 17365853779156500738 0 0 17 1 0 0 0
/proc/30039/statm: 77468 5706 348 364 0 13377 0
[pid=30041] ppid=30039 vsize=2328 CPUtime=0.77 cores=0-7
/proc/30041/stat : 30041 (march_hi) R 30039 30041 30041 0 -1 4202496 646 0 0 0 77 0 0 0 22 0 1 0 628235496 2383872 386 33554432000 4194304 4955518 140736291639120 18446744073709551615 4227679 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/30041/statm: 582 386 104 186 0 395 0
[pid=30042] ppid=30024 vsize=320128 CPUtime=0 cores=0-7
/proc/30042/stat : 30042 (python) S 30024 30024 29604 0 -1 4202560 758 0 0 0 0 0 0 0 19 0 1 0 628235499 327811072 5718 33554432000 4194304 5683644 140733570018880 18446744073709551615 231895510598 0 0 16781312 514 3093682952106672127 0 0 17 1 0 0 0
/proc/30042/statm: 80032 5718 348 364 0 15938 0
[pid=30044] ppid=30042 vsize=1017800 CPUtime=0.72 cores=0-7
/proc/30044/stat : 30044 (gnovelty+2) R 30042 30044 30044 0 -1 4202496 441 0 0 0 72 0 0 0 23 0 1 0 628235500 1042227200 177 33554432000 134512640 135663704 4288646560 18446744073709551615 134525691 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/30044/statm: 254450 177 113 282 0 254166 0
[pid=30045] ppid=30024 vsize=330384 CPUtime=0 cores=0-7
/proc/30045/stat : 30045 (python) S 30024 30024 29604 0 -1 4202560 773 0 0 0 0 0 0 0 16 0 1 0 628235504 338313216 5722 33554432000 4194304 5683644 140733570018880 18446744073709551615 231895510598 0 0 16781312 514 8176663359786025217 0 0 17 1 0 0 0
/proc/30045/statm: 82596 5722 348 364 0 18499 0
[pid=30047] ppid=30045 vsize=2328 CPUtime=0.67 cores=0-7
/proc/30047/stat : 30047 (march_hi) R 30045 30047 30047 0 -1 4202496 646 0 0 0 67 0 0 0 22 0 1 0 628235504 2383872 383 33554432000 4194304 4955518 140735960648256 18446744073709551615 4227502 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/30047/statm: 582 383 104 186 0 395 0
[pid=30048] ppid=30024 vsize=406332 CPUtime=0 cores=0-7
/proc/30048/stat : 30048 (python) S 30024 30024 29604 0 -1 4202560 787 0 0 0 0 0 0 0 15 0 1 0 628235508 416083968 5742 33554432000 4194304 5683644 140733570018880 18446744073709551615 231895510598 0 0 16781312 514 10583890137173688579 0 0 17 1 0 0 0
/proc/30048/statm: 101583 5742 348 364 0 37483 0
[pid=30050] ppid=30048 vsize=2328 CPUtime=0.59 cores=0-7
/proc/30050/stat : 30050 (march_hi) R 30048 30050 30050 0 -1 4202496 646 0 0 0 59 0 0 0 22 0 1 0 628235510 2383872 380 33554432000 4194304 4955518 140735934335520 18446744073709551615 4209730 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/30050/statm: 582 380 104 186 0 395 0
[pid=30051] ppid=30024 vsize=416588 CPUtime=0 cores=0-7
/proc/30051/stat : 30051 (python) S 30024 30024 29604 0 -1 4202560 816 0 0 0 0 0 0 0 17 0 1 0 628235512 426586112 5752 33554432000 4194304 5683644 140733570018880 18446744073709551615 231895510598 0 0 16781312 514 9092772050002477315 0 0 17 1 0 0 0
/proc/30051/statm: 104147 5752 354 364 0 40044 0
[pid=30053] ppid=30051 vsize=2328 CPUtime=0.57 cores=0-7
/proc/30053/stat : 30053 (march_hi) R 30051 30053 30053 0 -1 4202496 649 0 0 0 57 0 0 0 23 0 1 0 628235514 2383872 380 33554432000 4194304 4955518 140734335981856 18446744073709551615 4224656 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/30053/statm: 582 380 104 186 0 395 0
[pid=30024/tid=30031] ppid=30022 vsize=426832 CPUtime=0 cores=0-7
/proc/30024/task/30031/stat : 30031 (python) S 30022 30024 29604 0 -1 4202560 26 933 0 0 0 0 0 0 18 0 9 0 628235482 437075968 7291 33554432000 4194304 5683644 140733570018880 18446744073709551615 231907314097 0 0 16781312 2 18446604453906826240 0 0 -1 1 0 0 0
[pid=30024/tid=30034] ppid=30022 vsize=426832 CPUtime=0 cores=0-7
/proc/30024/task/30034/stat : 30034 (python) S 30022 30024 29604 0 -1 4202560 22 933 0 0 0 0 0 0 21 0 9 0 628235487 437075968 7291 33554432000 4194304 5683644 140733570018880 18446744073709551615 231907314097 0 0 16781312 2 18446604453906826240 0 0 -1 2 0 0 0
[pid=30024/tid=30037] ppid=30022 vsize=426832 CPUtime=0 cores=0-7
/proc/30024/task/30037/stat : 30037 (python) S 30022 30024 29604 0 -1 4202560 26 933 0 0 0 0 0 0 20 0 9 0 628235491 437075968 7291 33554432000 4194304 5683644 140733570018880 18446744073709551615 231907314097 0 0 16781312 2 18446604453906826240 0 0 -1 4 0 0 0
[pid=30024/tid=30040] ppid=30022 vsize=426832 CPUtime=0 cores=0-7
/proc/30024/task/30040/stat : 30040 (python) S 30022 30024 29604 0 -1 4202560 23 933 0 0 0 0 0 0 20 0 9 0 628235495 437075968 7291 33554432000 4194304 5683644 140733570018880 18446744073709551615 231907314097 0 0 16781312 2 18446604453906826240 0 0 -1 4 0 0 0
[pid=30024/tid=30043] ppid=30022 vsize=426832 CPUtime=0 cores=0-7
/proc/30024/task/30043/stat : 30043 (python) S 30022 30024 29604 0 -1 4202560 23 933 0 0 0 0 0 0 19 0 9 0 628235500 437075968 7291 33554432000 4194304 5683644 140733570018880 18446744073709551615 231907314097 0 0 16781312 2 18446604453906826240 0 0 -1 4 0 0 0
[pid=30024/tid=30046] ppid=30022 vsize=426832 CPUtime=0 cores=0-7
/proc/30024/task/30046/stat : 30046 (python) S 30022 30024 29604 0 -1 4202560 21 933 0 0 0 0 0 0 18 0 9 0 628235504 437075968 7291 33554432000 4194304 5683644 140733570018880 18446744073709551615 231907314097 0 0 16781312 2 18446604453906826240 0 0 -1 7 0 0 0
[pid=30024/tid=30049] ppid=30022 vsize=426832 CPUtime=0 cores=0-7
/proc/30024/task/30049/stat : 30049 (python) S 30022 30024 29604 0 -1 4202560 24 933 0 0 0 0 0 0 19 0 9 0 628235508 437075968 7291 33554432000 4194304 5683644 140733570018880 18446744073709551615 231907314097 0 0 16781312 2 18446604453906826240 0 0 -1 0 0 0 0
[pid=30024/tid=30052] ppid=30022 vsize=426832 CPUtime=0 cores=0-7
/proc/30024/task/30052/stat : 30052 (python) S 30022 30024 29604 0 -1 4202560 77 933 0 0 0 0 0 0 20 0 9 0 628235512 437075968 7291 33554432000 4194304 5683644 140733570018880 18446744073709551615 231907314097 0 0 16781312 2 18446604453906826240 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.67
Current children cumulated vsize (KiB) 5127524

[startup+3.10104 s]
/proc/loadavg: 7.80 8.13 8.10 9/334 30053
/proc/meminfo: memFree=18232128/32950928 swapFree=67111356/67111528
[pid=30024] ppid=30022 vsize=426832 CPUtime=0.79 cores=0-7
/proc/30024/stat : 30024 (python) S 30022 30024 29604 0 -1 4202496 15707 933 1 0 67 12 0 0 19 0 9 0 628235423 437075968 7291 33554432000 4194304 5683644 140733570018880 18446744073709551615 231907317195 0 0 16781312 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30024/statm: 106708 7291 1889 364 0 42605 0
[pid=30030] ppid=30024 vsize=278700 CPUtime=0 cores=0-7
/proc/30030/stat : 30030 (python) S 30024 30024 29604 0 -1 4202560 735 0 0 0 0 0 0 0 18 0 1 0 628235482 285388800 5582 33554432000 4194304 5683644 140733570018880 18446744073709551615 231895510543 0 0 16781312 514 18233077632646217987 0 0 17 2 0 0 0
/proc/30030/statm: 69675 5582 354 364 0 5593 0
[pid=30032] ppid=30030 vsize=1017800 CPUtime=2.5 cores=0-7
/proc/30032/stat : 30032 (gnovelty+2) R 30030 30032 30032 0 -1 4202496 442 0 0 0 250 0 0 0 25 0 1 0 628235482 1042227200 177 33554432000 134512640 135663704 4294161520 18446744073709551615 134544303 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/30032/statm: 254450 177 113 282 0 254166 0
[pid=30033] ppid=30024 vsize=289360 CPUtime=0 cores=0-7
/proc/30033/stat : 30033 (python) S 30024 30024 29604 0 -1 4202560 750 0 0 0 0 0 0 0 15 0 1 0 628235487 296304640 5698 33554432000 4194304 5683644 140733570018880 18446744073709551615 231895510598 0 0 16781312 514 553458973345284356 0 0 17 4 0 0 0
/proc/30033/statm: 72340 5698 348 364 0 8255 0
[pid=30035] ppid=30033 vsize=2928 CPUtime=2.45 cores=0-7
/proc/30035/stat : 30035 (march_hi) R 30033 30035 30035 0 -1 4202496 781 0 0 0 245 0 0 0 25 0 1 0 628235487 2998272 520 33554432000 4194304 4955518 140735392286176 18446744073709551615 4227752 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/30035/statm: 732 520 104 186 0 545 0
[pid=30036] ppid=30024 vsize=299616 CPUtime=0 cores=0-7
/proc/30036/stat : 30036 (python) S 30024 30024 29604 0 -1 4202560 764 0 0 0 0 0 0 0 15 0 1 0 628235491 306806784 5702 33554432000 4194304 5683644 140733570018880 18446744073709551615 231895510598 0 0 16781312 514 3576297913078219009 0 0 17 2 0 0 0
/proc/30036/statm: 74904 5702 348 364 0 10816 0
[pid=30038] ppid=30036 vsize=2928 CPUtime=2.41 cores=0-7
/proc/30038/stat : 30038 (march_hi) R 30036 30038 30038 0 -1 4202496 779 0 0 0 241 0 0 0 25 0 1 0 628235491 2998272 518 33554432000 4194304 4955518 140733681810400 18446744073709551615 4206496 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/30038/statm: 732 518 104 186 0 545 0
[pid=30039] ppid=30024 vsize=309872 CPUtime=0 cores=0-7
/proc/30039/stat : 30039 (python) S 30024 30024 29604 0 -1 4202560 764 0 0 0 0 0 0 0 15 0 1 0 628235495 317308928 5706 33554432000 4194304 5683644 140733570018880 18446744073709551615 231895510598 0 0 16781312 514 17365853779156500738 0 0 17 1 0 0 0
/proc/30039/statm: 77468 5706 348 364 0 13377 0
[pid=30041] ppid=30039 vsize=2928 CPUtime=2.37 cores=0-7
/proc/30041/stat : 30041 (march_hi) R 30039 30041 30041 0 -1 4202496 775 0 0 0 237 0 0 0 25 0 1 0 628235496 2998272 515 33554432000 4194304 4955518 140736291639120 18446744073709551615 4286784 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/30041/statm: 732 515 104 186 0 545 0
[pid=30042] ppid=30024 vsize=320128 CPUtime=0 cores=0-7
/proc/30042/stat : 30042 (python) S 30024 30024 29604 0 -1 4202560 758 0 0 0 0 0 0 0 18 0 1 0 628235499 327811072 5718 33554432000 4194304 5683644 140733570018880 18446744073709551615 231895510598 0 0 16781312 514 3093682952106639618 0 0 17 1 0 0 0
/proc/30042/statm: 80032 5718 348 364 0 15938 0
[pid=30044] ppid=30042 vsize=1017800 CPUtime=2.32 cores=0-7
/proc/30044/stat : 30044 (gnovelty+2) R 30042 30044 30044 0 -1 4202496 441 0 0 0 232 0 0 0 25 0 1 0 628235500 1042227200 177 33554432000 134512640 135663704 4288646560 18446744073709551615 134545631 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/30044/statm: 254450 177 113 282 0 254166 0
[pid=30045] ppid=30024 vsize=330384 CPUtime=0 cores=0-7
/proc/30045/stat : 30045 (python) S 30024 30024 29604 0 -1 4202560 778 0 0 0 0 0 0 0 15 0 1 0 628235504 338313216 5722 33554432000 4194304 5683644 140733570018880 18446744073709551615 231895510598 0 0 16781312 514 8176663359786025217 0 0 17 1 0 0 0
/proc/30045/statm: 82596 5722 348 364 0 18499 0
[pid=30047] ppid=30045 vsize=2928 CPUtime=2.26 cores=0-7
/proc/30047/stat : 30047 (march_hi) R 30045 30047 30047 0 -1 4202496 773 0 0 0 226 0 0 0 25 0 1 0 628235504 2998272 510 33554432000 4194304 4955518 140735960648256 18446744073709551615 4290341 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/30047/statm: 732 510 104 186 0 545 0
[pid=30048] ppid=30024 vsize=406332 CPUtime=0 cores=0-7
/proc/30048/stat : 30048 (python) S 30024 30024 29604 0 -1 4202560 792 0 0 0 0 0 0 0 15 0 1 0 628235508 416083968 5742 33554432000 4194304 5683644 140733570018880 18446744073709551615 231895510598 0 0 16781312 514 10583890137173688579 0 0 17 1 0 0 0
/proc/30048/statm: 101583 5742 348 364 0 37483 0
[pid=30050] ppid=30048 vsize=2928 CPUtime=2.19 cores=0-7
/proc/30050/stat : 30050 (march_hi) R 30048 30050 30050 0 -1 4202496 775 0 0 0 219 0 0 0 25 0 1 0 628235510 2998272 509 33554432000 4194304 4955518 140735934335520 18446744073709551615 4209664 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/30050/statm: 732 509 104 186 0 545 0
[pid=30051] ppid=30024 vsize=416588 CPUtime=0 cores=0-7
/proc/30051/stat : 30051 (python) S 30024 30024 29604 0 -1 4202560 821 0 0 0 0 0 0 0 15 0 1 0 628235512 426586112 5752 33554432000 4194304 5683644 140733570018880 18446744073709551615 231895510598 0 0 16781312 514 9092772050002477315 0 0 17 1 0 0 0
/proc/30051/statm: 104147 5752 354 364 0 40044 0
[pid=30053] ppid=30051 vsize=2928 CPUtime=2.17 cores=0-7
/proc/30053/stat : 30053 (march_hi) R 30051 30053 30053 0 -1 4202496 777 0 0 0 217 0 0 0 25 0 1 0 628235514 2998272 508 33554432000 4194304 4955518 140734335981856 18446744073709551615 4261452 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/30053/statm: 732 508 104 186 0 545 0
[pid=30024/tid=30031] ppid=30022 vsize=426832 CPUtime=0 cores=0-7
/proc/30024/task/30031/stat : 30031 (python) S 30022 30024 29604 0 -1 4202560 26 933 0 0 0 0 0 0 18 0 9 0 628235482 437075968 7291 33554432000 4194304 5683644 140733570018880 18446744073709551615 231907314097 0 0 16781312 2 18446604453906826240 0 0 -1 1 0 0 0
[pid=30024/tid=30034] ppid=30022 vsize=426832 CPUtime=0 cores=0-7
/proc/30024/task/30034/stat : 30034 (python) S 30022 30024 29604 0 -1 4202560 22 933 0 0 0 0 0 0 21 0 9 0 628235487 437075968 7291 33554432000 4194304 5683644 140733570018880 18446744073709551615 231907314097 0 0 16781312 2 18446604453906826240 0 0 -1 2 0 0 0
[pid=30024/tid=30037] ppid=30022 vsize=426832 CPUtime=0 cores=0-7
/proc/30024/task/30037/stat : 30037 (python) S 30022 30024 29604 0 -1 4202560 26 933 0 0 0 0 0 0 20 0 9 0 628235491 437075968 7291 33554432000 4194304 5683644 140733570018880 18446744073709551615 231907314097 0 0 16781312 2 18446604453906826240 0 0 -1 4 0 0 0
[pid=30024/tid=30040] ppid=30022 vsize=426832 CPUtime=0 cores=0-7
/proc/30024/task/30040/stat : 30040 (python) S 30022 30024 29604 0 -1 4202560 23 933 0 0 0 0 0 0 20 0 9 0 628235495 437075968 7291 33554432000 4194304 5683644 140733570018880 18446744073709551615 231907314097 0 0 16781312 2 18446604453906826240 0 0 -1 4 0 0 0
[pid=30024/tid=30043] ppid=30022 vsize=426832 CPUtime=0 cores=0-7

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

/proc/30065/stat : 30065 (kcnfs-2006) R 30063 30065 30065 0 -1 4202496 600 0 0 0 81465 2 0 0 25 0 1 0 628245508 186826752 330 33554432000 134512640 135163436 4294336304 18446744073709551615 134569074 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/30065/statm: 45612 330 77 159 0 45452 0
[pid=30063/tid=30091] ppid=30024 vsize=437176 CPUtime=0 cores=0-7
/proc/30063/task/30091/stat : 30091 (python) S 30024 30024 29604 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 628305041 447668224 5844 33554432000 4194304 5683644 140733570018880 18446744073709551615 231907314097 0 0 16781312 514 18446604453745687488 0 0 -1 3 0 0 0
[pid=30085] ppid=30024 vsize=447492 CPUtime=0.78 cores=0-7
/proc/30085/stat : 30085 (python) S 30024 30024 29604 0 -1 4202560 1044 0 0 0 43 35 0 0 18 0 1 0 628294334 458231808 5815 33554432000 4194304 5683644 140733570018880 18446744073709551615 231895510598 0 0 16781312 514 14782362089401843972 0 0 17 0 0 0 0
/proc/30085/statm: 111873 5815 371 364 0 47761 0
[pid=30087] ppid=30085 vsize=182452 CPUtime=334 cores=0-7
/proc/30087/stat : 30087 (kcnfs-2006) R 30085 30087 30087 0 -1 4202496 600 0 0 0 33400 0 0 0 25 0 1 0 628294335 186830848 330 33554432000 134512640 135163436 4290632032 18446744073709551615 134559186 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/30087/statm: 45613 330 77 159 0 45453 0
[pid=30094] ppid=30024 vsize=457916 CPUtime=0.37 cores=0-7
/proc/30094/stat : 30094 (python) S 30024 30024 29604 0 -1 4202560 1033 0 0 0 21 16 0 0 15 0 1 0 628313458 468905984 5861 33554432000 4194304 5683644 140733570018880 18446744073709551615 231895510598 0 0 16781312 514 14782362089401843969 0 0 17 3 0 0 0
/proc/30094/statm: 114479 5861 371 364 0 50364 0
[pid=30096] ppid=30094 vsize=27388 CPUtime=143.46 cores=0-7
/proc/30096/stat : 30096 (march_hi) R 30094 30096 30096 0 -1 4202496 5557 0 0 0 14346 0 0 0 25 0 1 0 628313459 28045312 5283 33554432000 4194304 4955518 140734038944736 18446744073709551615 4286693 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/30096/statm: 6847 5283 104 186 0 6660 0
[pid=30097] ppid=30024 vsize=468172 CPUtime=0.31 cores=0-7
/proc/30097/stat : 30097 (python) S 30024 30024 29604 0 -1 4202560 1028 0 0 0 17 14 0 0 18 0 1 0 628314110 479408128 5893 33554432000 4194304 5683644 140733570018880 18446744073709551615 231895510598 0 0 16781312 514 14782362089401843975 0 0 17 3 0 0 0
/proc/30097/statm: 117043 5893 371 364 0 52925 0
[pid=30099] ppid=30097 vsize=182448 CPUtime=136.22 cores=0-7
/proc/30099/stat : 30099 (kcnfs-2006) R 30097 30099 30099 0 -1 4202496 599 0 0 0 13619 3 0 0 25 0 1 0 628314110 186826752 331 33554432000 134512640 135163436 4290607888 18446744073709551615 134569577 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/30099/statm: 45612 331 77 159 0 45452 0
[pid=30112] ppid=30024 vsize=478428 CPUtime=0.11 cores=0-7
/proc/30112/stat : 30112 (python) S 30024 30024 29604 0 -1 4202560 1005 0 0 0 6 5 0 0 18 0 1 0 628323102 489910272 5897 33554432000 4194304 5683644 140733570018880 18446744073709551615 231895510598 0 0 16781312 514 14782362089401843973 0 0 17 3 0 0 0
/proc/30112/statm: 119607 5897 371 364 0 55486 0
[pid=30114] ppid=30112 vsize=416128 CPUtime=47.15 cores=0-7
/proc/30114/stat : 30114 (adaptg2wsat2009) R 30112 30114 30114 0 -1 4202496 464 0 0 0 4715 0 0 0 25 0 1 0 628323102 426115072 191 33554432000 134512640 135107411 4291979648 18446744073709551615 134531604 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/30114/statm: 104032 191 59 146 0 102908 0
[pid=30024/tid=30031] ppid=30022 vsize=488672 CPUtime=0 cores=0-7
/proc/30024/task/30031/stat : 30031 (python) S 30022 30024 29604 0 -1 4202560 26 933 0 0 0 0 0 0 18 0 15 0 628235482 500400128 7432 33554432000 4194304 5683644 140733570018880 18446744073709551615 231907314097 0 0 16781312 2 18446604453906826240 0 0 -1 1 0 0 0
[pid=30024/tid=30034] ppid=30022 vsize=488672 CPUtime=0 cores=0-7
/proc/30024/task/30034/stat : 30034 (python) S 30022 30024 29604 0 -1 4202560 28 933 0 0 0 0 0 0 18 0 15 0 628235487 500400128 7432 33554432000 4194304 5683644 140733570018880 18446744073709551615 231907314097 0 0 16781312 2 18446604453906826240 0 0 -1 2 0 0 0
[pid=30024/tid=30037] ppid=30022 vsize=488672 CPUtime=0 cores=0-7
/proc/30024/task/30037/stat : 30037 (python) S 30022 30024 29604 0 -1 4202560 36 933 0 0 0 0 0 0 18 0 15 0 628235491 500400128 7432 33554432000 4194304 5683644 140733570018880 18446744073709551615 231907314097 0 0 16781312 2 18446604453906826240 0 0 -1 4 0 0 0
[pid=30024/tid=30040] ppid=30022 vsize=488672 CPUtime=0 cores=0-7
/proc/30024/task/30040/stat : 30040 (python) S 30022 30024 29604 0 -1 4202560 30 933 0 0 0 0 0 0 18 0 15 0 628235495 500400128 7432 33554432000 4194304 5683644 140733570018880 18446744073709551615 231907314097 0 0 16781312 2 18446604453906826240 0 0 -1 4 0 0 0
[pid=30024/tid=30043] ppid=30022 vsize=488672 CPUtime=0 cores=0-7
/proc/30024/task/30043/stat : 30043 (python) S 30022 30024 29604 0 -1 4202560 23 933 0 0 0 0 0 0 19 0 15 0 628235500 500400128 7432 33554432000 4194304 5683644 140733570018880 18446744073709551615 231907314097 0 0 16781312 2 18446604453906826240 0 0 -1 4 0 0 0
[pid=30024/tid=30046] ppid=30022 vsize=488672 CPUtime=0 cores=0-7
/proc/30024/task/30046/stat : 30046 (python) S 30022 30024 29604 0 -1 4202560 29 933 0 0 0 0 0 0 18 0 15 0 628235504 500400128 7432 33554432000 4194304 5683644 140733570018880 18446744073709551615 231907314097 0 0 16781312 2 18446604453906826240 0 0 -1 7 0 0 0
[pid=30024/tid=30049] ppid=30022 vsize=488672 CPUtime=0 cores=0-7
/proc/30024/task/30049/stat : 30049 (python) S 30022 30024 29604 0 -1 4202560 33 933 0 0 0 0 0 0 18 0 15 0 628235508 500400128 7432 33554432000 4194304 5683644 140733570018880 18446744073709551615 231907314097 0 0 16781312 2 18446604453906826240 0 0 -1 0 0 0 0
[pid=30024/tid=30052] ppid=30022 vsize=488672 CPUtime=0 cores=0-7
/proc/30024/task/30052/stat : 30052 (python) S 30022 30024 29604 0 -1 4202560 80 933 0 0 0 0 0 0 18 0 15 0 628235512 500400128 7432 33554432000 4194304 5683644 140733570018880 18446744073709551615 231907314097 0 0 16781312 2 18446604453906826240 0 0 -1 1 0 0 0
[pid=30024/tid=30060] ppid=30022 vsize=488672 CPUtime=0 cores=0-7
/proc/30024/task/30060/stat : 30060 (python) S 30022 30024 29604 0 -1 4202560 31 933 0 0 0 0 0 0 18 0 15 0 628245428 500400128 7432 33554432000 4194304 5683644 140733570018880 18446744073709551615 231907314097 0 0 16781312 2 18446604453906826240 0 0 -1 0 0 0 0
[pid=30024/tid=30064] ppid=30022 vsize=488672 CPUtime=0 cores=0-7
/proc/30024/task/30064/stat : 30064 (python) S 30022 30024 29604 0 -1 4202560 31 933 0 0 0 0 0 0 18 0 15 0 628245508 500400128 7432 33554432000 4194304 5683644 140733570018880 18446744073709551615 231907314097 0 0 16781312 2 18446604453906826240 0 0 -1 0 0 0 0
[pid=30024/tid=30086] ppid=30022 vsize=488672 CPUtime=0 cores=0-7
/proc/30024/task/30086/stat : 30086 (python) S 30022 30024 29604 0 -1 4202560 30 933 0 0 0 0 0 0 20 0 15 0 628294334 500400128 7432 33554432000 4194304 5683644 140733570018880 18446744073709551615 231907314097 0 0 16781312 2 18446604453906826240 0 0 -1 0 0 0 0
[pid=30024/tid=30095] ppid=30022 vsize=488672 CPUtime=0 cores=0-7
/proc/30024/task/30095/stat : 30095 (python) S 30022 30024 29604 0 -1 4202560 29 933 0 0 0 0 0 0 18 0 15 0 628313458 500400128 7432 33554432000 4194304 5683644 140733570018880 18446744073709551615 231907314097 0 0 16781312 2 18446604453906826240 0 0 -1 1 0 0 0
[pid=30024/tid=30098] ppid=30022 vsize=488672 CPUtime=0 cores=0-7
/proc/30024/task/30098/stat : 30098 (python) S 30022 30024 29604 0 -1 4202560 32 933 0 0 0 0 0 0 20 0 15 0 628314110 500400128 7432 33554432000 4194304 5683644 140733570018880 18446744073709551615 231907314097 0 0 16781312 2 18446604453906826240 0 0 -1 3 0 0 0
[pid=30024/tid=30113] ppid=30022 vsize=488672 CPUtime=0 cores=0-7
/proc/30024/task/30113/stat : 30113 (python) S 30022 30024 29604 0 -1 4202560 29 933 0 0 0 0 0 0 20 0 15 0 628323102 500400128 7432 33554432000 4194304 5683644 140733570018880 18446744073709551615 231907314097 0 0 16781312 2 18446604453906826240 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 7371.7
Current children cumulated vsize (KiB) 9970880

[startup+924.502 s]
/proc/loadavg: 8.05 8.08 8.08 9/362 30115
/proc/meminfo: memFree=17527564/32950928 swapFree=67111356/67111528
[pid=30024] ppid=30022 vsize=488672 CPUtime=787.91 cores=0-7
/proc/30024/stat : 30024 (python) S 30022 30024 29604 0 -1 4202496 21969 23365 1 0 205 14 78478 94 17 0 15 0 628235423 500400128 7432 33554432000 4194304 5683644 140733570018880 18446744073709551615 231907320639 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30024/statm: 122168 7432 1902 364 0 58047 0
[pid=30033] ppid=30024 vsize=289360 CPUtime=1.97 cores=0-7
/proc/30033/stat : 30033 (python) S 30024 30024 29604 0 -1 4202560 1141 0 0 0 107 90 0 0 16 0 2 0 628235487 296304640 5751 33554432000 4194304 5683644 140733570018880 18446744073709551615 231907320639 0 0 16781824 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30033/statm: 72340 5751 400 364 0 8255 0
[pid=30035] ppid=30033 vsize=0 CPUtime=778.47 cores=0-7
/proc/30035/stat : 30035 (march_hi) R 30033 30035 30035 0 -1 4203524 23064 0 0 0 77842 5 0 0 18 0 1 0 628235487 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 4 0 0 0
/proc/30035/statm: 0 0 0 0 0 0 0
[pid=30033/tid=30074] ppid=30024 vsize=289360 CPUtime=0 cores=0-7
/proc/30033/task/30074/stat : 30074 (python) S 30024 30024 29604 0 -1 4202560 45 0 0 0 0 0 0 0 15 0 2 0 628274427 296304640 5751 33554432000 4194304 5683644 140733570018880 18446744073709551615 231907314097 0 0 16781824 2 18446604448567976064 0 0 -1 5 0 0 0
[pid=30036] ppid=30024 vsize=365152 CPUtime=2.19 cores=0-7
/proc/30036/stat : 30036 (python) S 30024 30024 29604 0 -1 4202560 1163 0 0 0 113 106 0 0 15 0 2 0 628235491 373915648 5757 33554432000 4194304 5683644 140733570018880 18446744073709551615 231907317195 0 0 16781312 514 18446744073709551615 0 0 17 2 0 0 0
/proc/30036/statm: 91288 5757 400 364 0 27200 0
[pid=30038] ppid=30036 vsize=120820 CPUtime=873.69 cores=0-7
/proc/30038/stat : 30038 (march_hi) T 30036 30038 30038 0 -1 4202496 25263 0 0 0 87363 6 0 0 25 0 1 0 628235491 123719680 25002 33554432000 4194304 4955518 140733681810400 18446744073709551615 4286720 0 0 16781312 0 18446744071562691360 0 0 17 5 0 0 0
/proc/30038/statm: 30205 25002 104 186 0 30018 0
[pid=30036/tid=30076] ppid=30024 vsize=365152 CPUtime=0 cores=0-7
/proc/30036/task/30076/stat : 30076 (python) S 30024 30024 29604 0 -1 4202560 43 0 0 0 0 0 0 0 15 0 2 0 628274653 373915648 5757 33554432000 4194304 5683644 140733570018880 18446744073709551615 231907314097 0 0 16781312 514 18446604448310066176 0 0 -1 1 0 0 0
[pid=30045] ppid=30024 vsize=395920 CPUtime=2.34 cores=0-7
/proc/30045/stat : 30045 (python) S 30024 30024 29604 0 -1 4202560 1180 0 0 0 123 111 0 0 15 0 2 0 628235504 405422080 5777 33554432000 4194304 5683644 140733570018880 18446744073709551615 231895510598 0 0 16781312 514 18446744073709551615 0 0 17 5 0 0 0
/proc/30045/statm: 98980 5777 400 364 0 34883 0
[pid=30047] ppid=30045 vsize=120820 CPUtime=919.5 cores=0-7
/proc/30047/stat : 30047 (march_hi) R 30045 30047 30047 0 -1 4202496 26237 0 0 0 91945 5 0 0 25 0 1 0 628235504 123719680 25974 33554432000 4194304 4955518 140735960648256 18446744073709551615 4227747 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/30047/statm: 30205 25974 104 186 0 30018 0
[pid=30045/tid=30081] ppid=30024 vsize=395920 CPUtime=0 cores=0-7
/proc/30045/task/30081/stat : 30081 (python) S 30024 30024 29604 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 2 0 628284745 405422080 5777 33554432000 4194304 5683644 140733570018880 18446744073709551615 231907314097 0 0 16781312 514 18446604453632996544 0 0 -1 0 0 0 0
[pid=30048] ppid=30024 vsize=0 CPUtime=923.77 cores=0-7
/proc/30048/stat : 30048 (python) Z 30024 30024 29604 0 -1 4202588 1313 26367 0 0 131 102 92138 6 16 0 1 0 628235508 0 0 33554432000 0 0 0 0 0 0 0 16781824 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30048/statm: 0 0 0 0 0 0 0
[pid=30051] ppid=30024 vsize=416588 CPUtime=2.34 cores=0-7
/proc/30051/stat : 30051 (python) S 30024 30024 29604 0 -1 4202560 1247 0 0 0 130 104 0 0 15 0 2 0 628235512 426586112 5807 33554432000 4194304 5683644 140733570018880 18446744073709551615 231895510598 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/30051/statm: 104147 5807 407 364 0 40044 0
[pid=30053] ppid=30051 vsize=120820 CPUtime=914.58 cores=0-7
/proc/30053/stat : 30053 (march_hi) R 30051 30053 30053 0 -1 4202496 26241 0 0 0 91452 6 0 0 25 0 1 0 628235514 123719680 25972 33554432000 4194304 4955518 140734335981856 18446744073709551615 4209727 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/30053/statm: 30205 25972 104 186 0 30018 0
[pid=30051/tid=30075] ppid=30024 vsize=416588 CPUtime=0 cores=0-7
/proc/30051/task/30075/stat : 30075 (python) S 30024 30024 29604 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 2 0 628274549 426586112 5807 33554432000 4194304 5683644 140733570018880 18446744073709551615 231907314097 0 0 16781312 514 18446604442146462720 0 0 -1 4 0 0 0
[pid=30059] ppid=30024 vsize=426920 CPUtime=1.72 cores=0-7
/proc/30059/stat : 30059 (python) S 30024 30024 29604 0 -1 4202560 1199 0 0 0 92 80 0 0 16 0 2 0 628245427 437166080 5823 33554432000 4194304 5683644 140733570018880 18446744073709551615 231907317195 0 0 16781312 514 18446744073709551615 0 0 17 3 0 0 0
/proc/30059/statm: 106730 5823 400 364 0 42624 0
[pid=30061] ppid=30059 vsize=120820 CPUtime=684.88 cores=0-7
/proc/30061/stat : 30061 (march_hi) T 30059 30061 30061 0 -1 4202496 20704 0 0 0 68484 4 0 0 25 0 1 0 628245428 123719680 20436 33554432000 4194304 4955518 140736324815184 18446744073709551615 4224672 0 0 16781312 0 18446744071562691360 0 0 17 1 0 0 0
/proc/30061/statm: 30205 20436 104 186 0 30018 0
[pid=30059/tid=30080] ppid=30024 vsize=426920 CPUtime=0 cores=0-7
/proc/30059/task/30080/stat : 30080 (python) S 30024 30024 29604 0 -1 4202560 44 0 0 0 0 0 0 0 15 0 2 0 628284543 437166080 5823 33554432000 4194304 5683644 140733570018880 18446744073709551615 231907314097 0 0 16781312 514 18446604453745684800 0 0 -1 0 0 0 0
[pid=30063] ppid=30024 vsize=437176 CPUtime=1.92 cores=0-7
/proc/30063/stat : 30063 (python) S 30024 30024 29604 0 -1 4202560 1194 0 0 0 109 83 0 0 18 0 2 0 628245508 447668224 5844 33554432000 4194304 5683644 140733570018880 18446744073709551615 231895510598 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/30063/statm: 109294 5844 400 364 0 45185 0
[pid=30065] ppid=30063 vsize=182448 CPUtime=814.86 cores=0-7
/proc/30065/stat : 30065 (kcnfs-2006) R 30063 30065 30065 0 -1 4202496 600 0 0 0 81484 2 0 0 25 0 1 0 628245508 186826752 330 33554432000 134512640 135163436 4294336304 18446744073709551615 134675179 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/30065/statm: 45612 330 77 159 0 45452 0
[pid=30063/tid=30091] ppid=30024 vsize=437176 CPUtime=0 cores=0-7
/proc/30063/task/30091/stat : 30091 (python) S 30024 30024 29604 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 628305041 447668224 5844 33554432000 4194304 5683644 140733570018880 18446744073709551615 231907314097 0 0 16781312 514 18446604453745687488 0 0 -1 3 0 0 0
[pid=30085] ppid=30024 vsize=447492 CPUtime=0.78 cores=0-7
/proc/30085/stat : 30085 (python) S 30024 30024 29604 0 -1 4202560 1044 0 0 0 43 35 0 0 18 0 1 0 628294334 458231808 5815 33554432000 4194304 5683644 140733570018880 18446744073709551615 231895510598 0 0 16781312 514 14782362089401843972 0 0 17 0 0 0 0
/proc/30085/statm: 111873 5815 371 364 0 47761 0
[pid=30087] ppid=30085 vsize=182452 CPUtime=334.19 cores=0-7
/proc/30087/stat : 30087 (kcnfs-2006) R 30085 30087 30087 0 -1 4202496 600 0 0 0 33419 0 0 0 25 0 1 0 628294335 186830848 330 33554432000 134512640 135163436 4290632032 18446744073709551615 134572031 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/30087/statm: 45613 330 77 159 0 45453 0
[pid=30094] ppid=30024 vsize=457916 CPUtime=0.37 cores=0-7
/proc/30094/stat : 30094 (python) S 30024 30024 29604 0 -1 4202560 1033 0 0 0 21 16 0 0 15 0 1 0 628313458 468905984 5861 33554432000 4194304 5683644 140733570018880 18446744073709551615 231895510598 0 0 16781312 514 14782362089401843969 0 0 17 3 0 0 0
/proc/30094/statm: 114479 5861 371 364 0 50364 0
[pid=30096] ppid=30094 vsize=27388 CPUtime=143.66 cores=0-7
/proc/30096/stat : 30096 (march_hi) R 30094 30096 30096 0 -1 4202496 5562 0 0 0 14366 0 0 0 25 0 1 0 628313459 28045312 5288 33554432000 4194304 4955518 140734038944736 18446744073709551615 4286637 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/30096/statm: 6847 5288 104 186 0 6660 0
[pid=30097] ppid=30024 vsize=468172 CPUtime=0.31 cores=0-7
/proc/30097/stat : 30097 (python) S 30024 30024 29604 0 -1 4202560 1028 0 0 0 17 14 0 0 18 0 1 0 628314110 479408128 5893 33554432000 4194304 5683644 140733570018880 18446744073709551615 231895510598 0 0 16781312 514 14782362089401843975 0 0 17 3 0 0 0
/proc/30097/statm: 117043 5893 371 364 0 52925 0
[pid=30099] ppid=30097 vsize=182448 CPUtime=136.41 cores=0-7
/proc/30099/stat : 30099 (kcnfs-2006) R 30097 30099 30099 0 -1 4202496 599 0 0 0 13638 3 0 0 25 0 1 0 628314110 186826752 331 33554432000 134512640 135163436 4290607888 18446744073709551615 134594318 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/30099/statm: 45612 331 77 159 0 45452 0
[pid=30112] ppid=30024 vsize=478428 CPUtime=0.11 cores=0-7
/proc/30112/stat : 30112 (python) S 30024 30024 29604 0 -1 4202560 1005 0 0 0 6 5 0 0 18 0 1 0 628323102 489910272 5897 33554432000 4194304 5683644 140733570018880 18446744073709551615 231895510598 0 0 16781312 514 14782362089401843973 0 0 17 3 0 0 0
/proc/30112/statm: 119607 5897 371 364 0 55486 0
[pid=30114] ppid=30112 vsize=416128 CPUtime=47.35 cores=0-7
/proc/30114/stat : 30114 (adaptg2wsat2009) R 30112 30114 30114 0 -1 4202496 464 0 0 0 4735 0 0 0 25 0 1 0 628323102 426115072 191 33554432000 134512640 135107411 4291979648 18446744073709551615 134532347 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/30114/statm: 104032 191 59 146 0 102908 0
[pid=30024/tid=30031] ppid=30022 vsize=488672 CPUtime=785.72 cores=0-7
/proc/30024/task/30031/stat : 30031 (python) S 30022 30024 29604 0 -1 4202560 26 23365 0 0 0 0 78478 94 18 0 15 0 628235482 500400128 7432 33554432000 4194304 5683644 140733570018880 18446744073709551615 231907314097 0 0 16781312 2 18446604453906826240 0 0 -1 1 0 0 0
[pid=30024/tid=30034] ppid=30022 vsize=488672 CPUtime=785.72 cores=0-7
/proc/30024/task/30034/stat : 30034 (python) S 30022 30024 29604 0 -1 4202560 28 23365 0 0 0 0 78478 94 18 0 15 0 628235487 500400128 7432 33554432000 4194304 5683644 140733570018880 18446744073709551615 231907314097 0 0 16781312 2 18446604453906826240 0 0 -1 2 0 0 0
[pid=30024/tid=30037] ppid=30022 vsize=488672 CPUtime=785.72 cores=0-7
/proc/30024/task/30037/stat : 30037 (python) S 30022 30024 29604 0 -1 4202560 36 23365 0 0 0 0 78478 94 18 0 15 0 628235491 500400128 7432 33554432000 4194304 5683644 140733570018880 18446744073709551615 231907314097 0 0 16781312 2 18446604453906826240 0 0 -1 4 0 0 0
[pid=30024/tid=30040] ppid=30022 vsize=488672 CPUtime=785.72 cores=0-7
/proc/30024/task/30040/stat : 30040 (python) S 30022 30024 29604 0 -1 4202560 30 23365 0 0 0 0 78478 94 18 0 15 0 628235495 500400128 7432 33554432000 4194304 5683644 140733570018880 18446744073709551615 231907314097 0 0 16781312 2 18446604453906826240 0 0 -1 4 0 0 0
[pid=30024/tid=30043] ppid=30022 vsize=488672 CPUtime=785.72 cores=0-7
/proc/30024/task/30043/stat : 30043 (python) S 30022 30024 29604 0 -1 4202560 23 23365 0 0 0 0 78478 94 19 0 15 0 628235500 500400128 7432 33554432000 4194304 5683644 140733570018880 18446744073709551615 231907314097 0 0 16781312 2 18446604453906826240 0 0 -1 4 0 0 0
[pid=30024/tid=30046] ppid=30022 vsize=488672 CPUtime=785.72 cores=0-7
/proc/30024/task/30046/stat : 30046 (python) S 30022 30024 29604 0 -1 4202560 29 23365 0 0 0 0 78478 94 18 0 15 0 628235504 500400128 7432 33554432000 4194304 5683644 140733570018880 18446744073709551615 231907314097 0 0 16781312 2 18446604453906826240 0 0 -1 7 0 0 0
[pid=30024/tid=30049] ppid=30022 vsize=488672 CPUtime=785.72 cores=0-7
/proc/30024/task/30049/stat : 30049 (python) S 30022 30024 29604 0 -1 4202560 33 23365 0 0 0 0 78478 94 18 0 15 0 628235508 500400128 7432 33554432000 4194304 5683644 140733570018880 18446744073709551615 231907314097 0 0 16781312 2 18446604453906826240 0 0 -1 0 0 0 0
[pid=30024/tid=30052] ppid=30022 vsize=488672 CPUtime=785.72 cores=0-7
/proc/30024/task/30052/stat : 30052 (python) S 30022 30024 29604 0 -1 4202560 80 23365 0 0 0 0 78478 94 18 0 15 0 628235512 500400128 7432 33554432000 4194304 5683644 140733570018880 18446744073709551615 231907314097 0 0 16781312 2 18446604453906826240 0 0 -1 1 0 0 0
[pid=30024/tid=30060] ppid=30022 vsize=488672 CPUtime=785.72 cores=0-7
/proc/30024/task/30060/stat : 30060 (python) S 30022 30024 29604 0 -1 4202560 31 23365 0 0 0 0 78478 94 18 0 15 0 628245428 500400128 7432 33554432000 4194304 5683644 140733570018880 18446744073709551615 231907314097 0 0 16781312 2 18446604453906826240 0 0 -1 0 0 0 0
[pid=30024/tid=30064] ppid=30022 vsize=488672 CPUtime=785.72 cores=0-7
/proc/30024/task/30064/stat : 30064 (python) S 30022 30024 29604 0 -1 4202560 31 23365 0 0 0 0 78478 94 18 0 15 0 628245508 500400128 7432 33554432000 4194304 5683644 140733570018880 18446744073709551615 231907314097 0 0 16781312 2 18446604453906826240 0 0 -1 0 0 0 0
[pid=30024/tid=30086] ppid=30022 vsize=488672 CPUtime=785.72 cores=0-7
/proc/30024/task/30086/stat : 30086 (python) S 30022 30024 29604 0 -1 4202560 30 23365 0 0 0 0 78478 94 20 0 15 0 628294334 500400128 7432 33554432000 4194304 5683644 140733570018880 18446744073709551615 231907314097 0 0 16781312 2 18446604453906826240 0 0 -1 0 0 0 0
[pid=30024/tid=30095] ppid=30022 vsize=488672 CPUtime=785.72 cores=0-7
/proc/30024/task/30095/stat : 30095 (python) S 30022 30024 29604 0 -1 4202560 29 23365 0 0 0 0 78478 94 18 0 15 0 628313458 500400128 7432 33554432000 4194304 5683644 140733570018880 18446744073709551615 231907314097 0 0 16781312 2 18446604453906826240 0 0 -1 1 0 0 0
[pid=30024/tid=30098] ppid=30022 vsize=488672 CPUtime=785.72 cores=0-7
/proc/30024/task/30098/stat : 30098 (python) S 30022 30024 29604 0 -1 4202560 32 23365 0 0 0 0 78478 94 20 0 15 0 628314110 500400128 7432 33554432000 4194304 5683644 140733570018880 18446744073709551615 231907314097 0 0 16781312 2 18446604453906826240 0 0 -1 3 0 0 0
[pid=30024/tid=30113] ppid=30022 vsize=488672 CPUtime=785.72 cores=0-7
/proc/30024/task/30113/stat : 30113 (python) S 30022 30024 29604 0 -1 4202560 29 23365 0 0 0 0 78478 94 20 0 15 0 628323102 500400128 7432 33554432000 4194304 5683644 140733570018880 18446744073709551615 231907314097 0 0 16781312 2 18446604453906826240 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 7373.32
Current children cumulated vsize (KiB) 6145940

Child status: 0
Real time (s): 924.562
CPU time (s): 7373.82
CPU user time (s): 7364.73
CPU system time (s): 9.09562
CPU usage (%): 797.547
Max. virtual memory (cumulated for all children) (KiB): 9970880

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7364.73
system time used= 9.09562
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 218361
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= 12517
involuntary context switches= 41800

runsolver used 4.92425 second user time and 12.0302 second system time

The end

Launcher Data 

Begin job on node114 at 2011-05-03 01:47:27
IDJOB=3322297
IDBENCH=83075
IDSOLVER=1712
FILE ID=node114/3322297-1304380047
RUNJOBID= node114-1304375018-29618
PBS_JOBID= 13181781
Free space on /tmp= 73668 MiB

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

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

MD5SUM BENCH= 540d28f0e1785b746f299d2e1070ed2a
RANDOM SEED=508442859

node114.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.848
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.69
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.848
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.848
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.74
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.848
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.73
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.848
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.75
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.848
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.848
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.74
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.848
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:     32950928 kB
MemFree:      18294608 kB
Buffers:       1163376 kB
Cached:        2558164 kB
SwapCached:        168 kB
Active:       10873548 kB
Inactive:      3225664 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      18294608 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:           32592 kB
Writeback:           0 kB
AnonPages:    10377908 kB
Mapped:          27416 kB
Slab:           451140 kB
PageTables:      36648 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 52427996 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= 73636 MiB
End job on node114 at 2011-05-03 02:02:52