Trace number 3322277

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 19809.5 2972.55

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v550-c2343-S1693168158-005.UNKNOWN.cnf
MD5SUMc2b69177f59f5d1d2093247dc6de56f3
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark2349.78
Satisfiable
(Un)Satisfiability was proved
Number of variables550
Number of clauses2343
Sum of the clauses size7029
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32343
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.35/0.63	c INFO: loaded portfolio from HOME/etc/borg-mix+class.random.pickle
0.35/0.63	c INFO: solving HOME/instance-3322277-1304379280.cnf
0.35/0.63	c INFO: computing task features
0.35/0.64	c INFO: computed variable-clause graph statistics
0.35/0.64	c INFO: computed clause balance statistics
0.35/0.68	c INFO: computed variable balance statistics
0.44/0.71	c INFO: computed small-clause counts
0.44/0.71	c INFO: computed Horn-clause counts
0.44/0.71	c INFO: computed variable graph statistics
0.44/0.72	c INFO: collected features for HOME/instance-3322277-1304379280.cnf in 0.08 s
0.44/0.75	c INFO: running gnovelty+2@0 for 97 with 39999 remaining (b = 0.57)
0.44/0.79	c INFO: running march_hi@0 for 388 with 39999 remaining (b = 0.32)
0.54/0.83	c INFO: running march_hi@0 for 388 with 39999 remaining (b = 0.28)
0.54/0.87	c INFO: running march_hi@0 for 97 with 39999 remaining (b = 0.08)
0.63/0.91	c INFO: running gnovelty+2@0 for 97 with 39999 remaining (b = 0.08)
0.63/0.95	c INFO: running march_hi@0 for 679 with 39999 remaining (b = 0.31)
0.63/0.99	c INFO: running march_hi@0 for 679 with 39999 remaining (b = 0.28)
1.53/1.03	c INFO: running march_hi@0 for 485 with 39999 remaining (b = 0.20)
770.16/125.44	c INFO: running kcnfs-2006@0 for 582 with 39875 remaining (b = 0.20)
820.00/133.19	c INFO: running march_hi@0 for 388 with 39867 remaining (b = 0.13)
1056.53/169.59	c INFO: running march_hi@0 for 291 with 39831 remaining (b = 0.11)
2629.51/411.57	c INFO: running march_hi@0 for 97 with 39589 remaining (b = 0.03)
3429.47/534.61	c INFO: running march_hi@94 for 291 with 39466 remaining (b = 0.12)
3749.91/583.85	c INFO: running march_hi@392 for 97 with 39416 remaining (b = 0.05)
3776.61/587.94	c INFO: running kcnfs-2006@0 for 582 with 39412 remaining (b = 0.17)
3954.77/615.32	c INFO: running march_hi@99 for 97 with 39385 remaining (b = 0.03)
4575.79/710.89	c INFO: running march_hi@98 for 291 with 39289 remaining (b = 0.10)
4583.58/712.08	c INFO: running march_hi@0 for 97 with 39288 remaining (b = 0.03)
4643.20/721.30	c INFO: running march_hi@0 for 291 with 39279 remaining (b = 0.11)
4663.29/724.40	c INFO: running march_hi@879 for 97 with 39276 remaining (b = 0.04)
4945.44/770.76	c INFO: running march_hi@781 for 1358 with 39229 remaining (b = 0.45)
5161.44/806.84	c INFO: running march_hi@392 for 97 with 39193 remaining (b = 0.06)
5392.42/845.47	c INFO: running kcnfs-2006@102 for 485 with 39155 remaining (b = 0.17)
5604.13/878.03	c INFO: running march_hi@0 for 291 with 39122 remaining (b = 0.11)
5794.16/907.34	c INFO: running march_hi@386 for 97 with 39093 remaining (b = 0.08)
5907.75/924.90	c INFO: running march_hi@493 for 194 with 39075 remaining (b = 0.08)
6377.90/1003.32	c INFO: running march_hi@484 for 97 with 38997 remaining (b = 0.05)
6403.71/1007.69	c INFO: running march_hi@977 for 388 with 38992 remaining (b = 0.16)
7314.03/1159.68	c INFO: running march_hi@588 for 97 with 38840 remaining (b = 0.05)
7490.18/1189.11	c INFO: running kcnfs-2006@0 for 582 with 38811 remaining (b = 0.18)
7779.51/1237.39	c INFO: running march_hi@95 for 291 with 38763 remaining (b = 0.11)
7781.89/1237.79	c INFO: running march_hi@293 for 97 with 38762 remaining (b = 0.06)
8310.30/1325.99	c INFO: running kcnfs-2006@391 for 194 with 38674 remaining (b = 0.11)
8375.83/1336.08	c INFO: running march_hi@0 for 388 with 38664 remaining (b = 0.12)
8493.71/1354.25	c INFO: running march_hi@879 for 1261 with 38646 remaining (b = 0.39)
8790.47/1400.04	c INFO: running adaptg2wsat2009++@0 for 97 with 38600 remaining (b = 0.03)
9235.79/1471.20	c INFO: running march_hi@1171 for 970 with 38529 remaining (b = 0.34)
9631.59/1530.46	c INFO: running kcnfs-2006@0 for 582 with 38470 remaining (b = 0.16)
9667.92/1535.61	c INFO: running kcnfs-2006@489 for 97 with 38465 remaining (b = 0.08)
10165.59/1606.98	c INFO: running kcnfs-2006@0 for 582 with 38393 remaining (b = 0.14)
10585.07/1667.03	c INFO: running march_hi@0 for 388 with 38333 remaining (b = 0.09)
11061.56/1735.35	c INFO: running march_hi@97 for 291 with 38265 remaining (b = 0.07)
12045.05/1873.00	c INFO: running kcnfs-2006@288 for 388 with 38127 remaining (b = 0.10)
13249.20/2045.81	c INFO: running march_hi@680 for 1455 with 37954 remaining (b = 0.36)
13435.67/2071.27	c INFO: running kcnfs-2006@0 for 582 with 37929 remaining (b = 0.12)
14553.81/2230.83	c INFO: running adaptg2wsat2009++@0 for 97 with 37769 remaining (b = 0.02)
14607.03/2238.48	c INFO: running kcnfs-2006@98 for 485 with 37762 remaining (b = 0.10)
14780.88/2263.12	c INFO: running kcnfs-2006@580 for 97 with 37737 remaining (b = 0.06)
15376.73/2343.22	c INFO: running kcnfs-2006@193 for 485 with 37657 remaining (b = 0.10)
15535.48/2364.46	c INFO: running kcnfs-2006@681 for 97 with 37636 remaining (b = 0.03)
16367.58/2483.86	c INFO: running march_hi@0 for 388 with 37516 remaining (b = 0.08)
16752.11/2539.03	c INFO: running march_hi@876 for 1261 with 37461 remaining (b = 0.33)
17185.52/2601.26	c INFO: running march_hi@1273 for 873 with 37399 remaining (b = 0.32)
18515.07/2792.06	c INFO: running kcnfs-2006@485 for 194 with 37208 remaining (b = 0.07)
18719.99/2821.45	c INFO: running hybridGM3@0 for 97 with 37179 remaining (b = 0.02)
19408.52/2915.06	c INFO: running march_hi@1360 for 776 with 37085 remaining (b = 0.31)
19409.11/2915.18	c INFO: running march_hi@1365 for 776 with 37085 remaining (b = 0.26)
19413.99/2915.85	c INFO: running kcnfs-2006@288 for 388 with 37084 remaining (b = 0.09)
19623.72/2945.91	c INFO: running kcnfs-2006@0 for 582 with 37054 remaining (b = 0.11)
19809.35/2972.52	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-3322277-1304379280/watcher-3322277-1304379280 -o /tmp/evaluation-result-3322277-1304379280/solver-3322277-1304379280 -C 40000 -W 5100 -M 31000 python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3322277-1304379280.cnf -seed 733029968 -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: 10.21 10.02 7.99 3/361 16961
/proc/meminfo: memFree=6837844/32951124 swapFree=61020456/67111528
[pid=16961] ppid=16959 vsize=15784 CPUtime=0 cores=0-7
/proc/16961/stat : 16961 (python) R 16959 16961 15120 0 -1 4202496 934 0 0 0 0 0 0 0 24 0 1 0 628158658 16162816 813 33554432000 4194304 5683644 140736625391936 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/16961/statm: 3946 815 356 364 0 433 0

[startup+0.0761371 s]
/proc/loadavg: 10.21 10.02 7.99 3/361 16961
/proc/meminfo: memFree=6837844/32951124 swapFree=61020456/67111528
[pid=16961] ppid=16959 vsize=45820 CPUtime=0.04 cores=0-7
/proc/16961/stat : 16961 (python) S 16959 16961 15120 0 -1 4202496 1929 0 0 0 4 0 0 0 24 0 1 0 628158658 46919680 1701 33554432000 4194304 5683644 140736625391936 18446744073709551615 224284923904 0 2147483391 16781312 2 18446744071699199166 0 0 17 2 0 0 0
/proc/16961/statm: 11455 1701 470 364 0 1204 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 45820

[startup+0.10113 s]
/proc/loadavg: 10.21 10.02 7.99 3/361 16961
/proc/meminfo: memFree=6837844/32951124 swapFree=61020456/67111528
[pid=16961] ppid=16959 vsize=93964 CPUtime=0.06 cores=0-7
/proc/16961/stat : 16961 (python) S 16959 16961 15120 0 -1 4202496 2696 0 0 0 5 1 0 0 24 0 1 0 628158658 96219136 2407 33554432000 4194304 5683644 140736625391936 18446744073709551615 224284923904 0 2147483391 16781312 2 18446744071699199166 0 0 17 2 0 0 0
/proc/16961/statm: 23491 2407 764 364 0 1623 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 93964

[startup+0.301135 s]
/proc/loadavg: 10.21 10.02 7.99 3/361 16961
/proc/meminfo: memFree=6837844/32951124 swapFree=61020456/67111528
[pid=16961] ppid=16959 vsize=135752 CPUtime=0.18 cores=0-7
/proc/16961/stat : 16961 (python) R 16959 16961 15120 0 -1 4202496 5965 935 1 0 14 4 0 0 17 0 1 0 628158658 139010048 4151 33554432000 4194304 5683644 140736625391936 18446744073709551615 224284921861 0 2147483391 16781312 2 18446744071699199166 0 0 17 2 0 0 0
/proc/16961/statm: 33938 4151 1032 364 0 3124 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 135752

[startup+0.701031 s]
/proc/loadavg: 10.21 10.02 7.99 3/361 16961
/proc/meminfo: memFree=6837844/32951124 swapFree=61020456/67111528
[pid=16961] ppid=16959 vsize=278448 CPUtime=0.44 cores=0-7
/proc/16961/stat : 16961 (python) R 16959 16961 15120 0 -1 4202496 9337 935 1 0 34 10 0 0 16 0 1 0 628158658 285130752 7004 33554432000 4194304 5683644 140736625391936 18446744073709551615 4533082 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/16961/statm: 69612 7004 1827 364 0 5536 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 278448

[startup+1.50086 s]
/proc/loadavg: 10.21 10.02 7.99 11/382 16986
/proc/meminfo: memFree=6781628/32951124 swapFree=61020456/67111528
[pid=16961] ppid=16959 vsize=361320 CPUtime=0.77 cores=0-7
/proc/16961/stat : 16961 (python) S 16959 16961 15120 0 -1 4202496 15803 935 1 0 65 12 0 0 25 0 9 0 628158658 369991680 7294 33554432000 4194304 5683644 140736625391936 18446744073709551615 224296752587 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 0
/proc/16961/statm: 90330 7294 1889 364 0 26227 0
[pid=16967] ppid=16961 vsize=278784 CPUtime=0 cores=0-7
/proc/16967/stat : 16967 (python) S 16961 16961 15120 0 -1 4202560 736 0 0 0 0 0 0 0 18 0 1 0 628158734 285474816 5609 33554432000 4194304 5683644 140736625391936 18446744073709551615 224284945935 0 0 16781312 514 17611106444801736703 0 0 17 7 0 0 0
/proc/16967/statm: 69696 5609 354 364 0 5614 0
[pid=16969] ppid=16967 vsize=1017800 CPUtime=0.51 cores=0-7
/proc/16969/stat : 16969 (gnovelty+2) R 16967 16969 16969 0 -1 4202496 447 0 0 0 51 0 0 0 20 0 1 0 628158734 1042227200 182 33554432000 134512640 135663704 4287747664 18446744073709551615 134544183 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/16969/statm: 254450 182 113 282 0 254166 0
[pid=16970] ppid=16961 vsize=289408 CPUtime=0 cores=0-7
/proc/16970/stat : 16970 (python) S 16961 16961 15120 0 -1 4202560 745 0 0 0 0 0 0 0 15 0 1 0 628158737 296353792 5709 33554432000 4194304 5683644 140736625391936 18446744073709551615 224284945990 0 0 16781312 514 4568074993518215428 0 0 17 7 0 0 0
/proc/16970/statm: 72352 5709 348 364 0 8267 0
[pid=16972] ppid=16970 vsize=2500 CPUtime=0.68 cores=0-7
/proc/16972/stat : 16972 (march_hi) R 16970 16972 16972 0 -1 4202496 693 0 0 0 68 0 0 0 21 0 1 0 628158738 2560000 432 33554432000 4194304 4955518 140734488612704 18446744073709551615 4227800 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/16972/statm: 625 432 104 186 0 438 0
[pid=16973] ppid=16961 vsize=299360 CPUtime=0 cores=0-7
/proc/16973/stat : 16973 (python) S 16961 16961 15120 0 -1 4202560 756 0 0 0 0 0 0 0 16 0 1 0 628158741 306544640 5641 33554432000 4194304 5683644 140736625391936 18446744073709551615 224284945990 0 0 16781312 514 3653382474278338817 0 0 17 6 0 0 0
/proc/16973/statm: 74840 5641 348 364 0 10752 0
[pid=16975] ppid=16973 vsize=2500 CPUtime=0.65 cores=0-7
/proc/16975/stat : 16975 (march_hi) R 16973 16975 16975 0 -1 4202496 698 0 0 0 65 0 0 0 24 0 1 0 628158742 2560000 432 33554432000 4194304 4955518 140734058652880 18446744073709551615 4209733 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/16975/statm: 625 432 104 186 0 438 0
[pid=16976] ppid=16961 vsize=310052 CPUtime=0 cores=0-7
/proc/16976/stat : 16976 (python) S 16961 16961 15120 0 -1 4202560 765 0 0 0 0 0 0 0 15 0 1 0 628158745 317493248 5733 33554432000 4194304 5683644 140736625391936 18446744073709551615 224284945990 0 0 16781312 514 18217139661845790982 0 0 17 2 0 0 0
/proc/16976/statm: 77513 5733 348 364 0 13422 0
[pid=16978] ppid=16976 vsize=2364 CPUtime=0.41 cores=0-7
/proc/16978/stat : 16978 (march_hi) R 16976 16978 16978 0 -1 4202496 660 0 0 0 41 0 0 0 21 0 1 0 628158746 2420736 397 33554432000 4194304 4955518 140735304188240 18446744073709551615 4209794 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/16978/statm: 591 397 104 186 0 404 0
[pid=16979] ppid=16961 vsize=320308 CPUtime=0 cores=0-7
/proc/16979/stat : 16979 (python) S 16961 16961 15120 0 -1 4202560 765 0 0 0 0 0 0 0 20 0 1 0 628158749 327995392 5737 33554432000 4194304 5683644 140736625391936 18446744073709551615 224284945990 0 0 16781312 514 15381010715770879999 0 0 17 4 0 0 0
/proc/16979/statm: 80077 5737 348 364 0 15983 0
[pid=16981] ppid=16979 vsize=1017800 CPUtime=0.21 cores=0-7
/proc/16981/stat : 16981 (gnovelty+2) R 16979 16981 16981 0 -1 4202496 447 0 0 0 21 0 0 0 23 0 1 0 628158750 1042227200 181 33554432000 134512640 135663704 4289920352 18446744073709551615 134525185 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/16981/statm: 254450 181 113 282 0 254166 0
[pid=16982] ppid=16961 vsize=330564 CPUtime=0 cores=0-7
/proc/16982/stat : 16982 (python) S 16961 16961 15120 0 -1 4202560 775 0 0 0 0 0 0 0 20 0 1 0 628158753 338497536 5741 33554432000 4194304 5683644 140736625391936 18446744073709551615 224284945990 0 0 16781312 514 17495578559048024321 0 0 17 2 0 0 0
/proc/16982/statm: 82641 5741 348 364 0 18544 0
[pid=16984] ppid=16982 vsize=2364 CPUtime=0.54 cores=0-7
/proc/16984/stat : 16984 (march_hi) R 16982 16984 16984 0 -1 4202496 665 0 0 0 54 0 0 0 25 0 1 0 628158754 2420736 401 33554432000 4194304 4955518 140735707225920 18446744073709551615 4227664 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/16984/statm: 591 401 104 186 0 404 0
[pid=16985] ppid=16961 vsize=340820 CPUtime=0 cores=0-7
/proc/16985/stat : 16985 (python) S 16961 16961 15120 0 -1 4202560 776 0 0 0 0 0 0 0 21 0 1 0 628158757 348999680 5745 33554432000 4194304 5683644 140736625391936 18446744073709551615 224284945990 0 0 16781312 514 8496572864957219073 0 0 17 4 0 0 0
/proc/16985/statm: 85205 5745 348 364 0 21105 0
[pid=16961/tid=16968] ppid=16959 vsize=361320 CPUtime=0 cores=0-7
/proc/16961/task/16968/stat : 16968 (python) S 16959 16961 15120 0 -1 4202560 28 935 0 0 0 0 0 0 17 0 9 0 628158734 369991680 7294 33554432000 4194304 5683644 140736625391936 18446744073709551615 224296749489 0 0 16781312 2 18446604453207291776 0 0 -1 4 0 0 0
[pid=16961/tid=16971] ppid=16959 vsize=361320 CPUtime=0 cores=0-7
/proc/16961/task/16971/stat : 16971 (python) S 16959 16961 15120 0 -1 4202560 25 935 0 0 0 0 0 0 19 0 9 0 628158738 369991680 7294 33554432000 4194304 5683644 140736625391936 18446744073709551615 224296749489 0 0 16781312 2 18446604453207291776 0 0 -1 4 0 0 0
[pid=16961/tid=16974] ppid=16959 vsize=361320 CPUtime=0 cores=0-7
/proc/16961/task/16974/stat : 16974 (python) S 16959 16961 15120 0 -1 4202560 19 935 0 0 0 0 0 0 21 0 9 0 628158742 369991680 7294 33554432000 4194304 5683644 140736625391936 18446744073709551615 224296749489 0 0 16781312 2 18446604453207291776 0 0 -1 6 0 0 0
[pid=16961/tid=16977] ppid=16959 vsize=361320 CPUtime=0 cores=0-7
/proc/16961/task/16977/stat : 16977 (python) S 16959 16961 15120 0 -1 4202560 18 935 0 0 0 0 0 0 20 0 9 0 628158745 369991680 7294 33554432000 4194304 5683644 140736625391936 18446744073709551615 224296749489 0 0 16781312 2 18446604453207291776 0 0 -1 4 0 0 0
[pid=16961/tid=16980] ppid=16959 vsize=361320 CPUtime=0 cores=0-7
/proc/16961/task/16980/stat : 16980 (python) S 16959 16961 15120 0 -1 4202560 24 935 0 0 0 0 0 0 22 0 9 0 628158749 369991680 7294 33554432000 4194304 5683644 140736625391936 18446744073709551615 224296749489 0 0 16781312 2 18446604453207291776 0 0 -1 4 0 0 0
[pid=16961/tid=16983] ppid=16959 vsize=361320 CPUtime=0 cores=0-7
/proc/16961/task/16983/stat : 16983 (python) S 16959 16961 15120 0 -1 4202560 27 935 0 0 0 0 0 0 24 0 9 0 628158753 369991680 7294 33554432000 4194304 5683644 140736625391936 18446744073709551615 224296749489 0 0 16781312 2 18446604453207291776 0 0 -1 2 0 0 0
[pid=16961/tid=16986] ppid=16959 vsize=361320 CPUtime=0 cores=0-7
/proc/16961/task/16986/stat : 16986 (python) S 16959 16961 15120 0 -1 4202560 24 935 0 0 0 0 0 0 25 0 9 0 628158757 369991680 7294 33554432000 4194304 5683644 140736625391936 18446744073709551615 224296749489 0 0 16781312 2 18446604453207291776 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.77
Current children cumulated vsize (KiB) 4575944

[startup+3.1016 s]
/proc/loadavg: 10.21 10.02 7.99 11/386 16990
/proc/meminfo: memFree=6774396/32951124 swapFree=61020456/67111528
[pid=16961] ppid=16959 vsize=361320 CPUtime=0.77 cores=0-7
/proc/16961/stat : 16961 (python) S 16959 16961 15120 0 -1 4202496 15803 935 1 0 65 12 0 0 25 0 9 0 628158658 369991680 7294 33554432000 4194304 5683644 140736625391936 18446744073709551615 224296752587 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 0
/proc/16961/statm: 90330 7294 1889 364 0 26227 0
[pid=16967] ppid=16961 vsize=278784 CPUtime=0 cores=0-7
/proc/16967/stat : 16967 (python) S 16961 16961 15120 0 -1 4202560 736 0 0 0 0 0 0 0 18 0 1 0 628158734 285474816 5609 33554432000 4194304 5683644 140736625391936 18446744073709551615 224284945935 0 0 16781312 514 17611106444801704193 0 0 17 7 0 0 0
/proc/16967/statm: 69696 5609 354 364 0 5614 0
[pid=16969] ppid=16967 vsize=1017800 CPUtime=1.31 cores=0-7
/proc/16969/stat : 16969 (gnovelty+2) R 16967 16969 16969 0 -1 4202496 447 0 0 0 131 0 0 0 23 0 1 0 628158734 1042227200 182 33554432000 134512640 135663704 4287747664 18446744073709551615 134544196 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/16969/statm: 254450 182 113 282 0 254166 0
[pid=16970] ppid=16961 vsize=289408 CPUtime=0 cores=0-7
/proc/16970/stat : 16970 (python) S 16961 16961 15120 0 -1 4202560 748 0 0 0 0 0 0 0 15 0 1 0 628158737 296353792 5709 33554432000 4194304 5683644 140736625391936 18446744073709551615 224284945990 0 0 16781312 514 4568074993518215428 0 0 17 7 0 0 0
/proc/16970/statm: 72352 5709 348 364 0 8267 0
[pid=16972] ppid=16970 vsize=2820 CPUtime=2.26 cores=0-7
/proc/16972/stat : 16972 (march_hi) R 16970 16972 16972 0 -1 4202496 749 0 0 0 226 0 0 0 25 0 1 0 628158738 2887680 488 33554432000 4194304 4955518 140734488612704 18446744073709551615 4227951 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/16972/statm: 705 488 104 186 0 518 0
[pid=16973] ppid=16961 vsize=299360 CPUtime=0 cores=0-7
/proc/16973/stat : 16973 (python) S 16961 16961 15120 0 -1 4202560 764 0 0 0 0 0 0 0 15 0 1 0 628158741 306544640 5641 33554432000 4194304 5683644 140736625391936 18446744073709551615 224284945990 0 0 16781312 514 3653382474278338817 0 0 17 6 0 0 0
/proc/16973/statm: 74840 5641 348 364 0 10752 0
[pid=16975] ppid=16973 vsize=2820 CPUtime=2.25 cores=0-7
/proc/16975/stat : 16975 (march_hi) R 16973 16975 16975 0 -1 4202496 756 0 0 0 225 0 0 0 25 0 1 0 628158742 2887680 490 33554432000 4194304 4955518 140734058652880 18446744073709551615 4209733 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/16975/statm: 705 490 104 186 0 518 0
[pid=16976] ppid=16961 vsize=310052 CPUtime=0 cores=0-7
/proc/16976/stat : 16976 (python) S 16961 16961 15120 0 -1 4202560 767 0 0 0 0 0 0 0 15 0 1 0 628158745 317493248 5733 33554432000 4194304 5683644 140736625391936 18446744073709551615 224284945990 0 0 16781312 514 18217139661845790982 0 0 17 2 0 0 0
/proc/16976/statm: 77513 5733 348 364 0 13422 0
[pid=16978] ppid=16976 vsize=2568 CPUtime=1.21 cores=0-7
/proc/16978/stat : 16978 (march_hi) R 16976 16978 16978 0 -1 4202496 716 0 0 0 121 0 0 0 25 0 1 0 628158746 2629632 453 33554432000 4194304 4955518 140735304188240 18446744073709551615 4227651 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/16978/statm: 642 453 104 186 0 455 0
[pid=16979] ppid=16961 vsize=320308 CPUtime=0 cores=0-7
/proc/16979/stat : 16979 (python) S 16961 16961 15120 0 -1 4202560 765 0 0 0 0 0 0 0 18 0 1 0 628158749 327995392 5737 33554432000 4194304 5683644 140736625391936 18446744073709551615 224284945990 0 0 16781312 514 15381010715770847491 0 0 17 4 0 0 0
/proc/16979/statm: 80077 5737 348 364 0 15983 0
[pid=16981] ppid=16979 vsize=1017800 CPUtime=1.01 cores=0-7
/proc/16981/stat : 16981 (gnovelty+2) R 16979 16981 16981 0 -1 4202496 447 0 0 0 101 0 0 0 25 0 1 0 628158750 1042227200 181 33554432000 134512640 135663704 4289920352 18446744073709551615 134525347 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/16981/statm: 254450 181 113 282 0 254166 0
[pid=16982] ppid=16961 vsize=330564 CPUtime=0 cores=0-7
/proc/16982/stat : 16982 (python) S 16961 16961 15120 0 -1 4202560 782 0 0 0 0 0 0 0 15 0 1 0 628158753 338497536 5741 33554432000 4194304 5683644 140736625391936 18446744073709551615 224284945990 0 0 16781312 514 17495578559048024321 0 0 17 2 0 0 0
/proc/16982/statm: 82641 5741 348 364 0 18544 0
[pid=16984] ppid=16982 vsize=2668 CPUtime=1.53 cores=0-7
/proc/16984/stat : 16984 (march_hi) R 16982 16984 16984 0 -1 4202496 727 0 0 0 153 0 0 0 25 0 1 0 628158754 2732032 463 33554432000 4194304 4955518 140735707225920 18446744073709551615 4224672 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/16984/statm: 667 463 104 186 0 480 0
[pid=16985] ppid=16961 vsize=340820 CPUtime=0 cores=0-7
/proc/16985/stat : 16985 (python) S 16961 16961 15120 0 -1 4202560 779 0 0 0 0 0 0 0 15 0 1 0 628158757 348999680 5745 33554432000 4194304 5683644 140736625391936 18446744073709551615 224284945990 0 0 16781312 514 8496572864957219073 0 0 17 4 0 0 0
/proc/16985/statm: 85205 5745 348 364 0 21105 0
[pid=16987] ppid=16985 vsize=2668 CPUtime=1.59 cores=0-7
/proc/16987/stat : 16987 (march_hi) R 16985 16987 16987 0 -1 4202496 734 0 0 0 159 0 0 0 25 0 1 0 628158759 2732032 467 33554432000 4194304 4955518 140734089687280 18446744073709551615 4346359 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/16987/statm: 667 467 104 186 0 480 0
[pid=16988] ppid=16961 vsize=351076 CPUtime=0 cores=0-7
/proc/16988/stat : 16988 (python) S 16961 16961 15120 0 -1 4202560 819 0 0 0 0 0 0 0 15 0 1 0 628158762 359501824 5755 33554432000 4194304 5683644 140736625391936 18446744073709551615 224284945990 0 0 16781312 514 10859693283152462082 0 0 17 4 0 0 0
/proc/16988/statm: 87769 5755 354 364 0 23666 0
[pid=16990] ppid=16988 vsize=2820 CPUtime=2.05 cores=0-7
/proc/16990/stat : 16990 (march_hi) R 16988 16990 16990 0 -1 4202496 752 0 0 0 205 0 0 0 25 0 1 0 628158762 2887680 482 33554432000 4194304 4955518 140734540626096 18446744073709551615 4286689 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/16990/statm: 705 482 104 186 0 518 0
[pid=16961/tid=16968] ppid=16959 vsize=361320 CPUtime=0 cores=0-7
/proc/16961/task/16968/stat : 16968 (python) S 16959 16961 15120 0 -1 4202560 28 935 0 0 0 0 0 0 17 0 9 0 628158734 369991680 7294 33554432000 4194304 5683644 140736625391936 18446744073709551615 224296749489 0 0 16781312 2 18446604453207291776 0 0 -1 4 0 0 0
[pid=16961/tid=16971] ppid=16959 vsize=361320 CPUtime=0 cores=0-7
/proc/16961/task/16971/stat : 16971 (python) S 16959 16961 15120 0 -1 4202560 25 935 0 0 0 0 0 0 19 0 9 0 628158738 369991680 7294 33554432000 4194304 5683644 140736625391936 18446744073709551615 224296749489 0 0 16781312 2 18446604453207291776 0 0 -1 4 0 0 0
[pid=16961/tid=16974] ppid=16959 vsize=361320 CPUtime=0 cores=0-7
/proc/16961/task/16974/stat : 16974 (python) S 16959 16961 15120 0 -1 4202560 19 935 0 0 0 0 0 0 21 0 9 0 628158742 369991680 7294 33554432000 4194304 5683644 140736625391936 18446744073709551615 224296749489 0 0 16781312 2 18446604453207291776 0 0 -1 6 0 0 0
[pid=16961/tid=16977] ppid=16959 vsize=361320 CPUtime=0 cores=0-7
/proc/16961/task/16977/stat : 16977 (python) S 16959 16961 15120 0 -1 4202560 18 935 0 0 0 0 0 0 20 0 9 0 628158745 369991680 7294 33554432000 4194304 5683644 140736625391936 18446744073709551615 224296749489 0 0 16781312 2 18446604453207291776 0 0 -1 4 0 0 0
[pid=16961/tid=16980] ppid=16959 vsize=361320 CPUtime=0 cores=0-7
/proc/16961/task/16980/stat : 16980 (python) S 16959 16961 15120 0 -1 4202560 24 935 0 0 0 0 0 0 22 0 9 0 628158749 369991680 7294 33554432000 4194304 5683644 140736625391936 18446744073709551615 224296749489 0 0 16781312 2 18446604453207291776 0 0 -1 4 0 0 0
[pid=16961/tid=16983] ppid=16959 vsize=361320 CPUtime=0 cores=0-7
/proc/16961/task/16983/stat : 16983 (python) S 16959 16961 15120 0 -1 4202560 27 935 0 0 0 0 0 0 24 0 9 0 628158753 369991680 7294 33554432000 4194304 5683644 140736625391936 18446744073709551615 224296749489 0 0 16781312 2 18446604453207291776 0 0 -1 2 0 0 0
[pid=16961/tid=16986] ppid=16959 vsize=361320 CPUtime=0 cores=0-7
/proc/16961/task/16986/stat : 16986 (python) S 16959 16961 15120 0 -1 4202560 24 935 0 0 0 0 0 0 25 0 9 0 628158757 369991680 7294 33554432000 4194304 5683644 140736625391936 18446744073709551615 224296749489 0 0 16781312 2 18446604453207291776 0 0 -1 4 0 0 0
[pid=16961/tid=16989] ppid=16959 vsize=361320 CPUtime=0 cores=0-7
/proc/16961/task/16989/stat : 16989 (python) S 16959 16961 15120 0 -1 4202560 29 935 0 0 0 0 0 0 25 0 9 0 628158762 369991680 7294 33554432000 4194304 5683644 140736625391936 18446744073709551615 224296749489 0 0 16781312 2 18446604453207291776 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 13.98
Current children cumulated vsize (KiB) 4933656

[startup+6.30106 s]

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

/proc/17078/statm: 124499 6004 408 364 0 60372 0
[pid=17080] ppid=17078 vsize=182448 CPUtime=1221.16 cores=0-7
/proc/17080/stat : 17080 (kcnfs-2006) R 17078 17080 17080 0 -1 4202496 618 0 0 0 122116 0 0 0 25 0 1 0 628319357 186826752 349 33554432000 134512640 135163436 4294491872 18446744073709551615 134632195 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/17080/statm: 45612 349 77 159 0 45452 0
[pid=17078/tid=17106] ppid=16961 vsize=497996 CPUtime=0 cores=0-7
/proc/17078/task/17106/stat : 17106 (python) S 16961 16961 15120 0 -1 4202560 92 0 0 0 0 0 0 0 18 0 2 0 628381734 509947904 6004 33554432000 4194304 5683644 140736625391936 18446744073709551615 224296749489 0 0 16781312 514 18446604445474173120 0 0 -1 1 0 0 0
[pid=17083] ppid=16961 vsize=509180 CPUtime=1.24 cores=0-7
/proc/17083/stat : 17083 (python) S 16961 16961 15120 0 -1 4202560 1223 0 0 0 67 57 0 0 17 0 2 0 628325362 521400320 6170 33554432000 4194304 5683644 140736625391936 18446744073709551615 224296752587 0 0 16781312 514 18446744073709551615 0 0 17 3 0 0 0
/proc/17083/statm: 127295 6170 402 364 0 63165 0
[pid=17085] ppid=17083 vsize=58388 CPUtime=391.45 cores=0-7
/proc/17085/stat : 17085 (march_hi) T 17083 17085 17085 0 -1 4202496 12998 0 0 0 39143 2 0 0 25 0 1 0 628325362 59789312 12722 33554432000 4194304 4955518 140736030007360 18446744073709551615 4227597 0 0 16781312 0 18446744071562691360 0 0 17 5 0 0 0
/proc/17085/statm: 14597 12722 104 186 0 14410 0
[pid=17083/tid=17098] ppid=16961 vsize=509180 CPUtime=0 cores=0-7
/proc/17083/task/17098/stat : 17098 (python) S 16961 16961 15120 0 -1 4202560 49 0 0 0 0 0 0 0 17 0 2 0 628365779 521400320 6170 33554432000 4194304 5683644 140736625391936 18446744073709551615 224296749489 0 0 16781312 514 18446604453880899520 0 0 -1 3 0 0 0
[pid=17099] ppid=16961 vsize=519580 CPUtime=2.13 cores=0-7
/proc/17099/stat : 17099 (python) S 16961 16961 15120 0 -1 4202560 1237 0 0 0 107 106 0 0 19 0 2 0 628365786 532049920 6237 33554432000 4194304 5683644 140736625391936 18446744073709551615 224296752587 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/17099/statm: 129895 6237 402 364 0 65762 0
[pid=17101] ppid=17099 vsize=182448 CPUtime=583.07 cores=0-7
/proc/17101/stat : 17101 (kcnfs-2006) T 17099 17101 17101 0 -1 4202496 623 0 0 0 58307 0 0 0 25 0 1 0 628365786 186826752 348 33554432000 134512640 135163436 4287906320 18446744073709551615 134587617 0 0 16781312 0 18446744071562691360 0 0 17 1 0 0 0
/proc/17101/statm: 45612 348 77 159 0 45452 0
[pid=17099/tid=17131] ppid=16961 vsize=519580 CPUtime=0 cores=0-7
/proc/17099/task/17131/stat : 17131 (python) S 16961 16961 15120 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 2 0 628440796 532049920 6237 33554432000 4194304 5683644 140736625391936 18446744073709551615 224296749489 0 0 16781312 514 18446604440321914944 0 0 -1 1 0 0 0
[pid=17107] ppid=16961 vsize=529764 CPUtime=0.32 cores=0-7
/proc/17107/stat : 17107 (python) S 16961 16961 15120 0 -1 4202560 1221 0 0 0 17 15 0 0 19 0 2 0 628381741 542478336 6202 33554432000 4194304 5683644 140736625391936 18446744073709551615 224296752587 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/17107/statm: 132441 6202 401 364 0 68305 0
[pid=17109] ppid=17107 vsize=416136 CPUtime=101.55 cores=0-7
/proc/17109/stat : 17109 (adaptg2wsat2009) T 17107 17109 17109 0 -1 4202496 478 0 0 0 10155 0 0 0 25 0 1 0 628381742 426123264 201 33554432000 134512640 135107411 4288103872 18446744073709551615 134531709 0 0 16781312 0 18446744071562691360 0 0 17 6 0 0 0
/proc/17109/statm: 104034 201 59 146 0 102910 0
[pid=17107/tid=17115] ppid=16961 vsize=529764 CPUtime=0 cores=0-7
/proc/17107/task/17115/stat : 17115 (python) S 16961 16961 15120 0 -1 4202560 50 0 0 0 0 0 0 0 19 0 2 0 628392973 542478336 6202 33554432000 4194304 5683644 140736625391936 18446744073709551615 224296749489 0 0 16781312 514 18446604448347449344 0 0 -1 1 0 0 0
[pid=17120] ppid=16961 vsize=540556 CPUtime=1.5 cores=0-7
/proc/17120/stat : 17120 (python) S 16961 16961 15120 0 -1 4202560 1261 0 0 0 79 71 0 0 15 0 2 0 628407044 553529344 6355 33554432000 4194304 5683644 140736625391936 18446744073709551615 224284945990 0 0 16781312 514 18446744073709551615 0 0 17 5 0 0 0
/proc/17120/statm: 135139 6355 402 364 0 71000 0
[pid=17122] ppid=17120 vsize=78032 CPUtime=438.53 cores=0-7
/proc/17122/stat : 17122 (march_hi) R 17120 17122 17122 0 -1 4202496 14355 0 0 0 43851 2 0 0 25 0 1 0 628407044 79904768 14078 33554432000 4194304 4955518 140734716135904 18446744073709551615 4238462 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/17122/statm: 19508 14078 104 186 0 19321 0
[pid=17120/tid=17139] ppid=16961 vsize=540556 CPUtime=0 cores=0-7
/proc/17120/task/17139/stat : 17139 (python) S 16961 16961 15120 0 -1 4202560 50 0 0 0 0 0 0 0 16 0 2 0 628450157 553529344 6355 33554432000 4194304 5683644 140736625391936 18446744073709551615 224296749489 0 0 16781312 514 18446604443181044672 0 0 -1 5 0 0 0
[pid=17132] ppid=16961 vsize=550996 CPUtime=0.35 cores=0-7
/proc/17132/stat : 17132 (python) S 16961 16961 15120 0 -1 4202560 1249 0 0 0 20 15 0 0 19 0 2 0 628440803 564219904 6399 33554432000 4194304 5683644 140736625391936 18446744073709551615 224296752587 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/17132/statm: 137749 6399 401 364 0 73607 0
[pid=17134] ppid=17132 vsize=268420 CPUtime=99.02 cores=0-7
/proc/17134/stat : 17134 (hybridGM3) T 17132 17134 17134 0 -1 4202496 4821 0 0 0 9902 0 0 0 25 0 1 0 628440806 274862080 4543 33554432000 134512640 135204385 4294822832 18446744073709551615 134537294 0 0 16781312 0 18446744071562691360 0 0 17 7 0 0 0
/proc/17134/statm: 67105 4543 64 169 0 66935 0
[pid=17132/tid=17140] ppid=16961 vsize=550996 CPUtime=0 cores=0-7
/proc/17132/task/17140/stat : 17140 (python) S 16961 16961 15120 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 628453242 564219904 6399 33554432000 4194304 5683644 140736625391936 18446744073709551615 224296749489 0 0 16781312 514 18446604443181045568 0 0 -1 0 0 0 0
[pid=17141] ppid=16961 vsize=561252 CPUtime=0.07 cores=0-7
/proc/17141/stat : 17141 (python) S 16961 16961 15120 0 -1 4202560 1095 0 0 0 4 3 0 0 18 0 1 0 628453250 574722048 6381 33554432000 4194304 5683644 140736625391936 18446744073709551615 224284945990 0 0 16781312 514 8715960614775652609 0 0 17 1 0 0 0
/proc/17141/statm: 140313 6381 378 364 0 76168 0
[pid=17143] ppid=17141 vsize=182444 CPUtime=22.37 cores=0-7
/proc/17143/stat : 17143 (kcnfs-2006) R 17141 17143 17143 0 -1 4202496 646 0 0 0 2237 0 0 0 25 0 1 0 628453250 186822656 347 33554432000 134512640 135163436 4293383360 18446744073709551615 134564590 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/17143/statm: 45611 347 77 159 0 45451 0
[pid=16961/tid=16968] ppid=16959 vsize=571496 CPUtime=0 cores=0-7
/proc/16961/task/16968/stat : 16968 (python) S 16959 16961 15120 0 -1 4202560 28 935 0 0 0 0 0 0 17 0 23 0 628158734 585211904 7925 33554432000 4194304 5683644 140736625391936 18446744073709551615 224296749489 0 0 16781312 2 18446604453207291776 0 0 -1 4 0 0 0
[pid=16961/tid=16971] ppid=16959 vsize=571496 CPUtime=0 cores=0-7
/proc/16961/task/16971/stat : 16971 (python) S 16959 16961 15120 0 -1 4202560 33 935 0 0 0 0 0 0 18 0 23 0 628158738 585211904 7925 33554432000 4194304 5683644 140736625391936 18446744073709551615 224296749489 0 0 16781312 2 18446604453207291776 0 0 -1 4 0 0 0
[pid=16961/tid=16974] ppid=16959 vsize=571496 CPUtime=0 cores=0-7
/proc/16961/task/16974/stat : 16974 (python) S 16959 16961 15120 0 -1 4202560 33 935 0 0 0 0 0 0 18 0 23 0 628158742 585211904 7925 33554432000 4194304 5683644 140736625391936 18446744073709551615 224296749489 0 0 16781312 2 18446604453207291776 0 0 -1 4 0 0 0
[pid=16961/tid=16977] ppid=16959 vsize=571496 CPUtime=0 cores=0-7
/proc/16961/task/16977/stat : 16977 (python) S 16959 16961 15120 0 -1 4202560 41 935 0 0 0 0 0 0 18 0 23 0 628158745 585211904 7925 33554432000 4194304 5683644 140736625391936 18446744073709551615 224296749489 0 0 16781312 2 18446604453207291776 0 0 -1 4 0 0 0
[pid=16961/tid=16980] ppid=16959 vsize=571496 CPUtime=0 cores=0-7
/proc/16961/task/16980/stat : 16980 (python) S 16959 16961 15120 0 -1 4202560 24 935 0 0 0 0 0 0 22 0 23 0 628158749 585211904 7925 33554432000 4194304 5683644 140736625391936 18446744073709551615 224296749489 0 0 16781312 2 18446604453207291776 0 0 -1 4 0 0 0
[pid=16961/tid=16983] ppid=16959 vsize=571496 CPUtime=0 cores=0-7
/proc/16961/task/16983/stat : 16983 (python) S 16959 16961 15120 0 -1 4202560 45 935 0 0 0 0 0 0 18 0 23 0 628158753 585211904 7925 33554432000 4194304 5683644 140736625391936 18446744073709551615 224296749489 0 0 16781312 2 18446604453207291776 0 0 -1 2 0 0 0
[pid=16961/tid=16986] ppid=16959 vsize=571496 CPUtime=0 cores=0-7
/proc/16961/task/16986/stat : 16986 (python) S 16959 16961 15120 0 -1 4202560 31 935 0 0 0 0 0 0 18 0 23 0 628158757 585211904 7925 33554432000 4194304 5683644 140736625391936 18446744073709551615 224296749489 0 0 16781312 2 18446604453207291776 0 0 -1 4 0 0 0
[pid=16961/tid=16989] ppid=16959 vsize=571496 CPUtime=0 cores=0-7
/proc/16961/task/16989/stat : 16989 (python) S 16959 16961 15120 0 -1 4202560 40 935 0 0 0 0 0 0 18 0 23 0 628158762 585211904 7925 33554432000 4194304 5683644 140736625391936 18446744073709551615 224296749489 0 0 16781312 2 18446604453207291776 0 0 -1 4 0 0 0
[pid=16961/tid=16995] ppid=16959 vsize=571496 CPUtime=0 cores=0-7
/proc/16961/task/16995/stat : 16995 (python) S 16959 16961 15120 0 -1 4202560 25 935 0 0 0 0 0 0 18 0 23 0 628171203 585211904 7925 33554432000 4194304 5683644 140736625391936 18446744073709551615 224296749489 0 0 16781312 2 18446604453207291776 0 0 -1 3 0 0 0
[pid=16961/tid=17001] ppid=16959 vsize=571496 CPUtime=0 cores=0-7
/proc/16961/task/17001/stat : 17001 (python) S 16959 16961 15120 0 -1 4202560 36 935 0 0 0 0 0 0 18 0 23 0 628171977 585211904 7925 33554432000 4194304 5683644 140736625391936 18446744073709551615 224296749489 0 0 16781312 2 18446604453207291776 0 0 -1 3 0 0 0
[pid=16961/tid=17022] ppid=16959 vsize=571496 CPUtime=0 cores=0-7
/proc/16961/task/17022/stat : 17022 (python) S 16959 16961 15120 0 -1 4202560 94 935 0 0 0 0 0 0 18 0 23 0 628217453 585211904 7925 33554432000 4194304 5683644 140736625391936 18446744073709551615 224296749489 0 0 16781312 2 18446604453207291776 0 0 -1 4 0 0 0
[pid=16961/tid=17046] ppid=16959 vsize=571496 CPUtime=0 cores=0-7
/proc/16961/task/17046/stat : 17046 (python) S 16959 16961 15120 0 -1 4202560 58 935 0 0 0 0 0 0 18 0 23 0 628277569 585211904 7925 33554432000 4194304 5683644 140736625391936 18446744073709551615 224296749489 0 0 16781312 2 18446604453207291776 0 0 -1 3 0 0 0
[pid=16961/tid=17054] ppid=16959 vsize=571496 CPUtime=0 cores=0-7
/proc/16961/task/17054/stat : 17054 (python) S 16959 16961 15120 0 -1 4202560 35 935 0 0 0 0 0 0 18 0 23 0 628292266 585211904 7925 33554432000 4194304 5683644 140736625391936 18446744073709551615 224296749489 0 0 16781312 2 18446604453207291776 0 0 -1 4 0 0 0
[pid=16961/tid=17057] ppid=16959 vsize=571496 CPUtime=0 cores=0-7
/proc/16961/task/17057/stat : 17057 (python) S 16959 16961 15120 0 -1 4202560 31 935 0 0 0 0 0 0 19 0 23 0 628298663 585211904 7925 33554432000 4194304 5683644 140736625391936 18446744073709551615 224296749489 0 0 16781312 2 18446604453207291776 0 0 -1 3 0 0 0
[pid=16961/tid=17065] ppid=16959 vsize=571496 CPUtime=0 cores=0-7
/proc/16961/task/17065/stat : 17065 (python) S 16959 16961 15120 0 -1 4202560 108 935 0 0 0 0 0 0 18 0 23 0 628311705 585211904 7925 33554432000 4194304 5683644 140736625391936 18446744073709551615 224296749489 0 0 16781312 2 18446604453207291776 0 0 -1 4 0 0 0
[pid=16961/tid=17079] ppid=16959 vsize=571496 CPUtime=0 cores=0-7
/proc/16961/task/17079/stat : 17079 (python) S 16959 16961 15120 0 -1 4202560 40 935 0 0 0 0 0 0 18 0 23 0 628319357 585211904 7925 33554432000 4194304 5683644 140736625391936 18446744073709551615 224296749489 0 0 16781312 2 18446604453207291776 0 0 -1 4 0 0 0
[pid=16961/tid=17084] ppid=16959 vsize=571496 CPUtime=0 cores=0-7
/proc/16961/task/17084/stat : 17084 (python) S 16959 16961 15120 0 -1 4202560 26 935 0 0 0 0 0 0 19 0 23 0 628325362 585211904 7925 33554432000 4194304 5683644 140736625391936 18446744073709551615 224296749489 0 0 16781312 2 18446604453207291776 0 0 -1 4 0 0 0
[pid=16961/tid=17100] ppid=16959 vsize=571496 CPUtime=0 cores=0-7
/proc/16961/task/17100/stat : 17100 (python) S 16959 16961 15120 0 -1 4202560 29 935 0 0 0 0 0 0 19 0 23 0 628365786 585211904 7925 33554432000 4194304 5683644 140736625391936 18446744073709551615 224296749489 0 0 16781312 2 18446604453207291776 0 0 -1 4 0 0 0
[pid=16961/tid=17108] ppid=16959 vsize=571496 CPUtime=0 cores=0-7
/proc/16961/task/17108/stat : 17108 (python) S 16959 16961 15120 0 -1 4202560 28 935 0 0 0 0 0 0 19 0 23 0 628381741 585211904 7925 33554432000 4194304 5683644 140736625391936 18446744073709551615 224296749489 0 0 16781312 2 18446604453207291776 0 0 -1 4 0 0 0
[pid=16961/tid=17121] ppid=16959 vsize=571496 CPUtime=0 cores=0-7
/proc/16961/task/17121/stat : 17121 (python) S 16959 16961 15120 0 -1 4202560 30 935 0 0 0 0 0 0 18 0 23 0 628407044 585211904 7925 33554432000 4194304 5683644 140736625391936 18446744073709551615 224296749489 0 0 16781312 2 18446604453207291776 0 0 -1 4 0 0 0
[pid=16961/tid=17133] ppid=16959 vsize=571496 CPUtime=0 cores=0-7
/proc/16961/task/17133/stat : 17133 (python) S 16959 16961 15120 0 -1 4202560 29 935 0 0 0 0 0 0 20 0 23 0 628440803 585211904 7925 33554432000 4194304 5683644 140736625391936 18446744073709551615 224296749489 0 0 16781312 2 18446604453207291776 0 0 -1 4 0 0 0
[pid=16961/tid=17142] ppid=16959 vsize=571496 CPUtime=0 cores=0-7
/proc/16961/task/17142/stat : 17142 (python) S 16959 16961 15120 0 -1 4202560 27 935 0 0 0 0 0 0 19 0 23 0 628453250 585211904 7925 33554432000 4194304 5683644 140736625391936 18446744073709551615 224296749489 0 0 16781312 2 18446604453207291776 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 19807.7
Current children cumulated vsize (KiB) 16303888

[startup+2972.5 s]
/proc/loadavg: 9.19 9.11 9.20 10/448 17143
/proc/meminfo: memFree=5231640/32951124 swapFree=61020456/67111528
[pid=16961] ppid=16959 vsize=571496 CPUtime=13534.9 cores=0-7
/proc/16961/stat : 16961 (python) S 16959 16961 15120 0 -1 4202496 34210 237199 1 0 364 17 1350787 2325 17 0 23 0 628158658 585211904 7925 33554432000 4194304 5683644 140736625391936 18446744073709551615 224296756031 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0
/proc/16961/statm: 142874 7925 1918 364 0 78729 0
[pid=16982] ppid=16961 vsize=0 CPUtime=2378.57 cores=0-7
/proc/16982/stat : 16982 (python) Z 16961 16961 15120 0 -1 4202588 1264 62383 0 0 469 414 236957 17 16 0 1 0 628158753 0 0 33554432000 0 0 0 0 0 0 0 16781824 2 18446744073709551615 0 0 17 7 0 0 0
/proc/16982/statm: 0 0 0 0 0 0 0
[pid=16988] ppid=16961 vsize=351076 CPUtime=8.82 cores=0-7
/proc/16988/stat : 16988 (python) S 16961 16961 15120 0 -1 4202560 1236 0 0 0 466 416 0 0 15 0 2 0 628158762 359501824 5809 33554432000 4194304 5683644 140736625391936 18446744073709551615 224284945990 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/16988/statm: 87769 5809 407 364 0 23666 0
[pid=16990] ppid=16988 vsize=267252 CPUtime=2354.29 cores=0-7
/proc/16990/stat : 16990 (march_hi) R 16988 16990 16990 0 -1 4202496 62153 0 0 0 235413 16 0 0 25 0 1 0 628158762 273666048 61883 33554432000 4194304 4955518 140734540626096 18446744073709551615 4286525 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/16990/statm: 66813 61883 104 186 0 66626 0
[pid=16988/tid=17020] ppid=16961 vsize=351076 CPUtime=0 cores=0-7
/proc/16988/task/17020/stat : 17020 (python) S 16961 16961 15120 0 -1 4202560 50 0 0 0 0 0 0 0 16 0 2 0 628217448 359501824 5809 33554432000 4194304 5683644 140736625391936 18446744073709551615 224296749489 0 0 16781312 514 18446604451146195328 0 0 -1 4 0 0 0
[pid=17000] ppid=16961 vsize=437124 CPUtime=5.05 cores=0-7
/proc/17000/stat : 17000 (python) S 16961 16961 15120 0 -1 4202560 1202 0 0 0 270 235 0 0 15 0 2 0 628171977 447614976 5831 33554432000 4194304 5683644 140736625391936 18446744073709551615 224296756031 0 0 16781824 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17000/statm: 109281 5831 400 364 0 45172 0
[pid=17002] ppid=17000 vsize=0 CPUtime=1527.69 cores=0-7
/proc/17002/stat : 17002 (march_hi) R 17000 17002 17002 0 -1 4203524 43317 0 0 0 152752 17 0 0 25 0 1 0 628171977 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 4 0 0 0
/proc/17002/statm: 0 0 0 0 0 0 0
[pid=17000/tid=17024] ppid=16961 vsize=437124 CPUtime=0 cores=0-7
/proc/17000/task/17024/stat : 17024 (python) S 16961 16961 15120 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 2 0 628220186 447614976 5831 33554432000 4194304 5683644 140736625391936 18446744073709551615 224296749489 0 0 16781824 2 18446604441245204672 0 0 -1 1 0 0 0
[pid=16961/tid=16968] ppid=16959 vsize=571496 CPUtime=13531.1 cores=0-7
/proc/16961/task/16968/stat : 16968 (python) S 16959 16961 15120 0 -1 4202560 28 237199 0 0 0 0 1350787 2325 17 0 23 0 628158734 585211904 7925 33554432000 4194304 5683644 140736625391936 18446744073709551615 224296749489 0 0 16781312 2 18446604453207291776 0 0 -1 4 0 0 0
[pid=16961/tid=16971] ppid=16959 vsize=571496 CPUtime=13531.1 cores=0-7
/proc/16961/task/16971/stat : 16971 (python) S 16959 16961 15120 0 -1 4202560 33 237199 0 0 0 0 1350787 2325 18 0 23 0 628158738 585211904 7925 33554432000 4194304 5683644 140736625391936 18446744073709551615 224296749489 0 0 16781312 2 18446604453207291776 0 0 -1 4 0 0 0
[pid=16961/tid=16974] ppid=16959 vsize=571496 CPUtime=13531.1 cores=0-7
/proc/16961/task/16974/stat : 16974 (python) S 16959 16961 15120 0 -1 4202560 33 237199 0 0 0 0 1350787 2325 18 0 23 0 628158742 585211904 7925 33554432000 4194304 5683644 140736625391936 18446744073709551615 224296749489 0 0 16781312 2 18446604453207291776 0 0 -1 4 0 0 0
[pid=16961/tid=16977] ppid=16959 vsize=571496 CPUtime=13531.1 cores=0-7
/proc/16961/task/16977/stat : 16977 (python) S 16959 16961 15120 0 -1 4202560 41 237199 0 0 0 0 1350787 2325 18 0 23 0 628158745 585211904 7925 33554432000 4194304 5683644 140736625391936 18446744073709551615 224296749489 0 0 16781312 2 18446604453207291776 0 0 -1 4 0 0 0
[pid=16961/tid=16980] ppid=16959 vsize=571496 CPUtime=13531.1 cores=0-7
/proc/16961/task/16980/stat : 16980 (python) S 16959 16961 15120 0 -1 4202560 24 237199 0 0 0 0 1350787 2325 22 0 23 0 628158749 585211904 7925 33554432000 4194304 5683644 140736625391936 18446744073709551615 224296749489 0 0 16781312 2 18446604453207291776 0 0 -1 4 0 0 0
[pid=16961/tid=16983] ppid=16959 vsize=571496 CPUtime=13531.1 cores=0-7
/proc/16961/task/16983/stat : 16983 (python) S 16959 16961 15120 0 -1 4202560 45 237199 0 0 0 0 1350787 2325 18 0 23 0 628158753 585211904 7925 33554432000 4194304 5683644 140736625391936 18446744073709551615 224296749489 0 0 16781312 2 18446604453207291776 0 0 -1 2 0 0 0
[pid=16961/tid=16986] ppid=16959 vsize=571496 CPUtime=13531.1 cores=0-7
/proc/16961/task/16986/stat : 16986 (python) S 16959 16961 15120 0 -1 4202560 31 237199 0 0 0 0 1350787 2325 18 0 23 0 628158757 585211904 7925 33554432000 4194304 5683644 140736625391936 18446744073709551615 224296749489 0 0 16781312 2 18446604453207291776 0 0 -1 4 0 0 0
[pid=16961/tid=16989] ppid=16959 vsize=571496 CPUtime=13531.1 cores=0-7
/proc/16961/task/16989/stat : 16989 (python) S 16959 16961 15120 0 -1 4202560 40 237199 0 0 0 0 1350787 2325 18 0 23 0 628158762 585211904 7925 33554432000 4194304 5683644 140736625391936 18446744073709551615 224296749489 0 0 16781312 2 18446604453207291776 0 0 -1 4 0 0 0
[pid=16961/tid=16995] ppid=16959 vsize=571496 CPUtime=13531.1 cores=0-7
/proc/16961/task/16995/stat : 16995 (python) S 16959 16961 15120 0 -1 4202560 25 237199 0 0 0 0 1350787 2325 18 0 23 0 628171203 585211904 7925 33554432000 4194304 5683644 140736625391936 18446744073709551615 224296749489 0 0 16781312 2 18446604453207291776 0 0 -1 3 0 0 0
[pid=16961/tid=17001] ppid=16959 vsize=571496 CPUtime=13531.1 cores=0-7
/proc/16961/task/17001/stat : 17001 (python) S 16959 16961 15120 0 -1 4202560 36 237199 0 0 0 0 1350787 2325 18 0 23 0 628171977 585211904 7925 33554432000 4194304 5683644 140736625391936 18446744073709551615 224296749489 0 0 16781312 2 18446604453207291776 0 0 -1 3 0 0 0
[pid=16961/tid=17022] ppid=16959 vsize=571496 CPUtime=13531.1 cores=0-7
/proc/16961/task/17022/stat : 17022 (python) S 16959 16961 15120 0 -1 4202560 94 237199 0 0 0 0 1350787 2325 18 0 23 0 628217453 585211904 7925 33554432000 4194304 5683644 140736625391936 18446744073709551615 224296749489 0 0 16781312 2 18446604453207291776 0 0 -1 4 0 0 0
[pid=16961/tid=17046] ppid=16959 vsize=571496 CPUtime=13531.1 cores=0-7
/proc/16961/task/17046/stat : 17046 (python) S 16959 16961 15120 0 -1 4202560 58 237199 0 0 0 0 1350787 2325 18 0 23 0 628277569 585211904 7925 33554432000 4194304 5683644 140736625391936 18446744073709551615 224296749489 0 0 16781312 2 18446604453207291776 0 0 -1 3 0 0 0
[pid=16961/tid=17054] ppid=16959 vsize=571496 CPUtime=13531.1 cores=0-7
/proc/16961/task/17054/stat : 17054 (python) S 16959 16961 15120 0 -1 4202560 35 237199 0 0 0 0 1350787 2325 18 0 23 0 628292266 585211904 7925 33554432000 4194304 5683644 140736625391936 18446744073709551615 224296749489 0 0 16781312 2 18446604453207291776 0 0 -1 4 0 0 0
[pid=16961/tid=17057] ppid=16959 vsize=571496 CPUtime=13531.1 cores=0-7
/proc/16961/task/17057/stat : 17057 (python) S 16959 16961 15120 0 -1 4202560 31 237199 0 0 0 0 1350787 2325 19 0 23 0 628298663 585211904 7925 33554432000 4194304 5683644 140736625391936 18446744073709551615 224296749489 0 0 16781312 2 18446604453207291776 0 0 -1 3 0 0 0
[pid=16961/tid=17065] ppid=16959 vsize=571496 CPUtime=13531.1 cores=0-7
/proc/16961/task/17065/stat : 17065 (python) S 16959 16961 15120 0 -1 4202560 108 237199 0 0 0 0 1350787 2325 18 0 23 0 628311705 585211904 7925 33554432000 4194304 5683644 140736625391936 18446744073709551615 224296749489 0 0 16781312 2 18446604453207291776 0 0 -1 4 0 0 0
[pid=16961/tid=17079] ppid=16959 vsize=571496 CPUtime=13531.1 cores=0-7
/proc/16961/task/17079/stat : 17079 (python) S 16959 16961 15120 0 -1 4202560 40 237199 0 0 0 0 1350787 2325 18 0 23 0 628319357 585211904 7925 33554432000 4194304 5683644 140736625391936 18446744073709551615 224296749489 0 0 16781312 2 18446604453207291776 0 0 -1 4 0 0 0
[pid=16961/tid=17084] ppid=16959 vsize=571496 CPUtime=13531.1 cores=0-7
/proc/16961/task/17084/stat : 17084 (python) S 16959 16961 15120 0 -1 4202560 26 237199 0 0 0 0 1350787 2325 19 0 23 0 628325362 585211904 7925 33554432000 4194304 5683644 140736625391936 18446744073709551615 224296749489 0 0 16781312 2 18446604453207291776 0 0 -1 4 0 0 0
[pid=16961/tid=17100] ppid=16959 vsize=571496 CPUtime=13531.1 cores=0-7
/proc/16961/task/17100/stat : 17100 (python) S 16959 16961 15120 0 -1 4202560 29 237199 0 0 0 0 1350787 2325 19 0 23 0 628365786 585211904 7925 33554432000 4194304 5683644 140736625391936 18446744073709551615 224296749489 0 0 16781312 2 18446604453207291776 0 0 -1 4 0 0 0
[pid=16961/tid=17108] ppid=16959 vsize=571496 CPUtime=13531.1 cores=0-7
/proc/16961/task/17108/stat : 17108 (python) S 16959 16961 15120 0 -1 4202560 28 237199 0 0 0 0 1350787 2325 19 0 23 0 628381741 585211904 7925 33554432000 4194304 5683644 140736625391936 18446744073709551615 224296749489 0 0 16781312 2 18446604453207291776 0 0 -1 4 0 0 0
[pid=16961/tid=17121] ppid=16959 vsize=571496 CPUtime=13531.1 cores=0-7
/proc/16961/task/17121/stat : 17121 (python) S 16959 16961 15120 0 -1 4202560 30 237199 0 0 0 0 1350787 2325 18 0 23 0 628407044 585211904 7925 33554432000 4194304 5683644 140736625391936 18446744073709551615 224296749489 0 0 16781312 2 18446604453207291776 0 0 -1 4 0 0 0
[pid=16961/tid=17133] ppid=16959 vsize=571496 CPUtime=13531.1 cores=0-7
/proc/16961/task/17133/stat : 17133 (python) S 16959 16961 15120 0 -1 4202560 29 237199 0 0 0 0 1350787 2325 20 0 23 0 628440803 585211904 7925 33554432000 4194304 5683644 140736625391936 18446744073709551615 224296749489 0 0 16781312 2 18446604453207291776 0 0 -1 4 0 0 0
[pid=16961/tid=17142] ppid=16959 vsize=571496 CPUtime=13531.1 cores=0-7
/proc/16961/task/17142/stat : 17142 (python) S 16959 16961 15120 0 -1 4202560 27 237199 0 0 0 0 1350787 2325 19 0 23 0 628453250 585211904 7925 33554432000 4194304 5683644 140736625391936 18446744073709551615 224296749489 0 0 16781312 2 18446604453207291776 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 19809.3
Current children cumulated vsize (KiB) 1626948

Child status: 0
Real time (s): 2972.55
CPU time (s): 19809.5
CPU user time (s): 19774.8
CPU system time (s): 34.6457
CPU usage (%): 666.413
Max. virtual memory (cumulated for all children) (KiB): 16303892

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19774.8
system time used= 34.6457
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 447473
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= 33762
involuntary context switches= 151776

runsolver used 24.2373 second user time and 52.683 second system time

The end

Launcher Data 

Begin job on node118 at 2011-05-03 01:34:40
IDJOB=3322277
IDBENCH=83055
IDSOLVER=1712
FILE ID=node118/3322277-1304379280
RUNJOBID= node118-1304366467-15134
PBS_JOBID= 13181753
Free space on /tmp= 73236 MiB

SOLVER NAME= borg-sat 11.03.02-random
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v550-c2343-S1693168158-005.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-3322277-1304379280/watcher-3322277-1304379280 -o /tmp/evaluation-result-3322277-1304379280/solver-3322277-1304379280 -C 40000 -W 5100 -M 31000  python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3322277-1304379280.cnf -seed 733029968 -budget 40000 -cores 8

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

MD5SUM BENCH= c2b69177f59f5d1d2093247dc6de56f3
RANDOM SEED=733029968

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       6838248 kB
Buffers:         24056 kB
Cached:         216632 kB
SwapCached:      96740 kB
Active:       12826628 kB
Inactive:     13043824 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       6838248 kB
SwapTotal:    67111528 kB
SwapFree:     61020456 kB
Dirty:           31876 kB
Writeback:           0 kB
AnonPages:    25545112 kB
Mapped:          17520 kB
Slab:            80724 kB
PageTables:      89760 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 89514572 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= 73204 MiB
End job on node118 at 2011-05-03 02:24:13