Trace number 3322013

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 24489.7 3485.17

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v550-c2343-S1663503036-045.UNKNOWN.cnf
MD5SUM8c477af50318fe10cbec1ad215bff97c
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark3292.86
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.68	c INFO: loaded portfolio from HOME/etc/borg-mix+class.random.pickle
0.35/0.68	c INFO: solving HOME/instance-3322013-1304370794.cnf
0.35/0.68	c INFO: computing task features
0.35/0.69	c INFO: computed variable-clause graph statistics
0.35/0.69	c INFO: computed clause balance statistics
0.43/0.73	c INFO: computed variable balance statistics
0.43/0.76	c INFO: computed small-clause counts
0.43/0.76	c INFO: computed Horn-clause counts
0.43/0.77	c INFO: computed variable graph statistics
0.43/0.77	c INFO: collected features for HOME/instance-3322013-1304370794.cnf in 0.09 s
0.53/0.80	c INFO: running gnovelty+2@0 for 97 with 39999 remaining (b = 0.57)
0.53/0.84	c INFO: running march_hi@0 for 388 with 39999 remaining (b = 0.32)
0.53/0.88	c INFO: running march_hi@0 for 388 with 39999 remaining (b = 0.29)
0.63/0.92	c INFO: running march_hi@0 for 97 with 39999 remaining (b = 0.08)
0.63/0.96	c INFO: running gnovelty+2@0 for 97 with 39999 remaining (b = 0.08)
0.63/1.00	c INFO: running march_hi@0 for 679 with 39999 remaining (b = 0.31)
1.32/1.04	c INFO: running march_hi@0 for 679 with 39999 remaining (b = 0.28)
1.32/1.08	c INFO: running march_hi@0 for 679 with 39999 remaining (b = 0.24)
723.35/100.25	c INFO: running kcnfs-2006@0 for 582 with 39900 remaining (b = 0.20)
728.55/101.09	c INFO: running kcnfs-2006@0 for 582 with 39899 remaining (b = 0.18)
885.27/123.48	c INFO: running march_hi@0 for 291 with 39877 remaining (b = 0.12)
2799.41/395.55	c INFO: running march_hi@0 for 291 with 39605 remaining (b = 0.11)
2915.27/412.11	c INFO: running march_hi@0 for 97 with 39588 remaining (b = 0.04)
4158.94/590.39	c INFO: running march_hi@97 for 291 with 39410 remaining (b = 0.13)
4780.76/679.42	c INFO: running march_hi@393 for 97 with 39321 remaining (b = 0.05)
4800.31/682.29	c INFO: running march_hi@388 for 97 with 39318 remaining (b = 0.04)
4810.08/683.66	c INFO: running kcnfs-2006@0 for 582 with 39317 remaining (b = 0.18)
4838.66/687.77	c INFO: running kcnfs-2006@100 for 485 with 39312 remaining (b = 0.15)
4894.46/695.71	c INFO: running march_hi@99 for 291 with 39305 remaining (b = 0.09)
5119.97/728.12	c INFO: running march_hi@0 for 291 with 39272 remaining (b = 0.09)
5521.12/785.61	c INFO: running march_hi@1067 for 1067 with 39215 remaining (b = 0.43)
5631.42/801.45	c INFO: running march_hi@0 for 291 with 39199 remaining (b = 0.11)
6054.33/862.05	c INFO: running march_hi@679 for 97 with 39138 remaining (b = 0.04)
6648.97/947.30	c INFO: running march_hi@389 for 97 with 39053 remaining (b = 0.06)
6951.18/990.57	c INFO: running march_hi@0 for 388 with 39010 remaining (b = 0.14)
7162.68/1020.88	c INFO: running march_hi@973 for 1164 with 38979 remaining (b = 0.40)
7175.86/1022.77	c INFO: running march_hi@99 for 97 with 38977 remaining (b = 0.04)
7302.22/1040.81	c INFO: running march_hi@0 for 388 with 38959 remaining (b = 0.13)
7876.58/1123.14	c INFO: running march_hi@192 for 291 with 38877 remaining (b = 0.10)
7898.88/1126.34	c INFO: running march_hi@586 for 97 with 38874 remaining (b = 0.04)
8593.86/1225.93	c INFO: running kcnfs-2006@97 for 485 with 38774 remaining (b = 0.14)
9665.11/1379.46	c INFO: running adaptg2wsat2009++@0 for 97 with 38621 remaining (b = 0.03)
9818.65/1401.45	c INFO: running march_hi@97 for 291 with 38599 remaining (b = 0.09)
9895.97/1412.50	c INFO: running march_hi@481 for 97 with 38588 remaining (b = 0.03)
9896.66/1412.65	c INFO: running march_hi@781 for 1358 with 38588 remaining (b = 0.38)
10210.71/1457.66	c INFO: running march_hi@100 for 291 with 38543 remaining (b = 0.10)
10406.77/1485.79	c INFO: running kcnfs-2006@0 for 582 with 38514 remaining (b = 0.16)
11044.39/1577.26	c INFO: running march_hi@964 for 1261 with 38423 remaining (b = 0.34)
12327.46/1761.34	c INFO: running kcnfs-2006@684 for 97 with 38239 remaining (b = 0.03)
12540.76/1791.92	c INFO: running march_hi@386 for 97 with 38208 remaining (b = 0.04)
12695.40/1814.11	c INFO: running march_hi@201 for 97 with 38186 remaining (b = 0.06)
13033.44/1862.66	c INFO: running kcnfs-2006@0 for 582 with 38138 remaining (b = 0.16)
13193.03/1885.55	c INFO: running march_hi@0 for 388 with 38115 remaining (b = 0.11)
13600.50/1942.68	c INFO: running march_hi@1165 for 970 with 38058 remaining (b = 0.30)
13645.23/1948.70	c INFO: running march_hi@296 for 97 with 38052 remaining (b = 0.03)
14589.27/2084.08	c INFO: running kcnfs-2006@0 for 582 with 37916 remaining (b = 0.12)
15225.24/2169.57	c INFO: running adaptg2wsat2009++@0 for 97 with 37831 remaining (b = 0.02)
16251.71/2312.03	c INFO: running kcnfs-2006@99 for 485 with 37688 remaining (b = 0.10)
16566.27/2357.19	c INFO: running march_hi@1068 for 1067 with 37643 remaining (b = 0.32)
16807.62/2391.71	c INFO: running march_hi@1261 for 97 with 37609 remaining (b = 0.05)
17461.82/2485.51	c INFO: running march_hi@1354 for 873 with 37515 remaining (b = 0.30)
17844.75/2540.48	c INFO: running kcnfs-2006@93 for 485 with 37460 remaining (b = 0.11)
19515.21/2779.99	c INFO: running kcnfs-2006@978 for 1746 with 37220 remaining (b = 0.37)
19664.20/2799.83	c INFO: running march_hi@1171 for 194 with 37200 remaining (b = 0.07)
20497.64/2919.26	c INFO: running march_hi@1447 for 776 with 37081 remaining (b = 0.28)
20701.90/2948.55	c INFO: running march_hi@1262 for 873 with 37052 remaining (b = 0.29)
21130.69/3010.05	c INFO: running kcnfs-2006@492 for 97 with 36990 remaining (b = 0.07)
21513.50/3064.95	c INFO: running kcnfs-2006@587 for 194 with 36935 remaining (b = 0.05)
21540.66/3068.87	c INFO: running kcnfs-2006@584 for 194 with 36931 remaining (b = 0.05)
22038.20/3135.46	c INFO: running kcnfs-2006@691 for 97 with 36865 remaining (b = 0.03)
22965.47/3268.45	c INFO: running kcnfs-2006@682 for 97 with 36732 remaining (b = 0.03)
23332.23/3321.02	c INFO: running kcnfs-2006@884 for 97 with 36679 remaining (b = 0.03)
23357.30/3324.68	c INFO: running kcnfs-2006@677 for 194 with 36676 remaining (b = 0.05)
23671.77/3369.78	c INFO: running kcnfs-2006@775 for 97 with 36630 remaining (b = 0.03)
24279.04/3456.84	c INFO: running kcnfs-2006@0 for 582 with 36543 remaining (b = 0.14)
24340.38/3465.09	c INFO: running kcnfs-2006@1842 for 194 with 36535 remaining (b = 0.09)
24471.07/3482.52	c INFO: running kcnfs-2006@0 for 582 with 36518 remaining (b = 0.12)
24489.33/3485.14	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-3322013-1304370794/watcher-3322013-1304370794 -o /tmp/evaluation-result-3322013-1304370794/solver-3322013-1304370794 -C 40000 -W 5100 -M 31000 python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3322013-1304370794.cnf -seed 449947506 -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: 8.68 9.36 9.13 2/342 13594
/proc/meminfo: memFree=17589148/32951124 swapFree=67111524/67111528
[pid=13594] ppid=13592 vsize=15780 CPUtime=0 cores=0-7
/proc/13594/stat : 13594 (python) R 13592 13594 12854 0 -1 4202496 896 0 0 0 0 0 0 0 25 0 1 0 529495035 16158720 777 33554432000 4194304 5683644 140734243538320 18446744073709551615 264726403072 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/13594/statm: 3945 777 343 364 0 432 0

[startup+0.074105 s]
/proc/loadavg: 8.68 9.36 9.13 2/342 13594
/proc/meminfo: memFree=17589148/32951124 swapFree=67111524/67111528
[pid=13594] ppid=13592 vsize=36840 CPUtime=0.04 cores=0-7
/proc/13594/stat : 13594 (python) S 13592 13594 12854 0 -1 4202496 1623 0 0 0 3 1 0 0 25 0 1 0 529495035 37724160 1452 33554432000 4194304 5683644 140734243538320 18446744073709551615 264721481351 0 2147483391 16781312 2 18446744071699207358 0 0 17 6 0 0 0
/proc/13594/statm: 9210 1452 452 364 0 1027 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 36840

[startup+0.101096 s]
/proc/loadavg: 8.68 9.36 9.13 2/342 13594
/proc/meminfo: memFree=17589148/32951124 swapFree=67111524/67111528
[pid=13594] ppid=13592 vsize=85624 CPUtime=0.06 cores=0-7
/proc/13594/stat : 13594 (python) S 13592 13594 12854 0 -1 4202496 2631 0 0 0 4 2 0 0 25 0 1 0 529495035 87678976 2348 33554432000 4194304 5683644 140734243538320 18446744073709551615 264721481351 0 2147483391 16781312 2 18446744071699207358 0 0 17 6 0 0 0
/proc/13594/statm: 21406 2348 713 364 0 1623 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85624

[startup+0.301153 s]
/proc/loadavg: 8.68 9.36 9.13 2/342 13594
/proc/meminfo: memFree=17589148/32951124 swapFree=67111524/67111528
[pid=13594] ppid=13592 vsize=135752 CPUtime=0.19 cores=0-7
/proc/13594/stat : 13594 (python) R 13592 13594 12854 0 -1 4202496 5967 937 1 0 14 5 0 0 17 0 1 0 529495035 139010048 4151 33554432000 4194304 5683644 140734243538320 18446744073709551615 4620076 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/13594/statm: 33938 4151 1032 364 0 3124 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 135752

[startup+0.700981 s]
/proc/loadavg: 8.68 9.36 9.13 2/342 13594
/proc/meminfo: memFree=17589148/32951124 swapFree=67111524/67111528
[pid=13594] ppid=13592 vsize=278448 CPUtime=0.43 cores=0-7
/proc/13594/stat : 13594 (python) R 13592 13594 12854 0 -1 4202496 9336 937 1 0 31 12 0 0 16 0 1 0 529495035 285130752 7003 33554432000 4194304 5683644 140734243538320 18446744073709551615 264726063241 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/13594/statm: 69612 7003 1826 364 0 5536 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 278448

[startup+1.5008 s]
/proc/loadavg: 8.68 9.36 9.13 8/358 13614
/proc/meminfo: memFree=17544380/32951124 swapFree=67111524/67111528
[pid=13594] ppid=13592 vsize=361252 CPUtime=0.81 cores=0-7
/proc/13594/stat : 13594 (python) S 13592 13594 12854 0 -1 4202496 15697 937 1 0 67 14 0 0 25 0 9 0 529495035 369922048 7303 33554432000 4194304 5683644 140734243538320 18446744073709551615 264738231755 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0
/proc/13594/statm: 90313 7303 1889 364 0 26210 0
[pid=13600] ppid=13594 vsize=278744 CPUtime=0 cores=0-7
/proc/13600/stat : 13600 (python) S 13594 13594 12854 0 -1 4202560 734 0 0 0 0 0 0 0 18 0 1 0 529495116 285433856 5592 33554432000 4194304 5683644 140734243538320 18446744073709551615 264726425103 0 0 16781312 514 11242487981484802047 0 0 17 2 0 0 0
/proc/13600/statm: 69686 5592 354 364 0 5604 0
[pid=13602] ppid=13600 vsize=1017800 CPUtime=0.68 cores=0-7
/proc/13602/stat : 13602 (gnovelty+2) R 13600 13602 13602 0 -1 4202496 447 0 0 0 68 0 0 0 21 0 1 0 529495116 1042227200 182 33554432000 134512640 135663704 4286801232 18446744073709551615 134524503 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/13602/statm: 254450 182 113 282 0 254166 0
[pid=13603] ppid=13594 vsize=289372 CPUtime=0 cores=0-7
/proc/13603/stat : 13603 (python) S 13594 13594 12854 0 -1 4202560 751 0 0 0 0 0 0 0 15 0 1 0 529495119 296316928 5700 33554432000 4194304 5683644 140734243538320 18446744073709551615 264726425158 0 0 16781312 514 9407878888383545602 0 0 17 4 0 0 0
/proc/13603/statm: 72343 5700 348 364 0 8258 0
[pid=13605] ppid=13603 vsize=2496 CPUtime=0.64 cores=0-7
/proc/13605/stat : 13605 (march_hi) R 13603 13605 13605 0 -1 4202496 689 0 0 0 64 0 0 0 21 0 1 0 529495120 2555904 427 33554432000 4194304 4955518 140733294419664 18446744073709551615 4238469 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/13605/statm: 624 427 104 186 0 437 0
[pid=13606] ppid=13594 vsize=299276 CPUtime=0 cores=0-7
/proc/13606/stat : 13606 (python) S 13594 13594 12854 0 -1 4202560 754 0 0 0 0 0 0 0 16 0 1 0 529495123 306458624 5623 33554432000 4194304 5683644 140734243538320 18446744073709551615 264726425158 0 0 16781312 514 1564371954155094275 0 0 17 2 0 0 0
/proc/13606/statm: 74819 5623 348 364 0 10731 0
[pid=13608] ppid=13606 vsize=2496 CPUtime=0.59 cores=0-7
/proc/13608/stat : 13608 (march_hi) R 13606 13608 13608 0 -1 4202496 690 0 0 0 59 0 0 0 23 0 1 0 529495123 2555904 425 33554432000 4194304 4955518 140734525681936 18446744073709551615 4209688 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/13608/statm: 624 425 104 186 0 437 0
[pid=13609] ppid=13594 vsize=309984 CPUtime=0 cores=0-7
/proc/13609/stat : 13609 (python) S 13594 13594 12854 0 -1 4202560 759 0 0 0 0 0 0 0 18 0 1 0 529495127 317423616 5716 33554432000 4194304 5683644 140734243538320 18446744073709551615 264726425158 0 0 16781312 514 14136544147913277697 0 0 17 0 0 0 0
/proc/13609/statm: 77496 5716 348 364 0 13405 0
[pid=13611] ppid=13609 vsize=2496 CPUtime=0.56 cores=0-7
/proc/13611/stat : 13611 (march_hi) R 13609 13611 13611 0 -1 4202496 689 0 0 0 56 0 0 0 25 0 1 0 529495127 2555904 425 33554432000 4194304 4955518 140734558543520 18446744073709551615 4227925 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/13611/statm: 624 425 104 186 0 437 0
[pid=13612] ppid=13594 vsize=320240 CPUtime=0 cores=0-7
/proc/13612/stat : 13612 (python) S 13594 13594 12854 0 -1 4202560 759 0 0 0 0 0 0 0 19 0 1 0 529495131 327925760 5720 33554432000 4194304 5683644 140734243538320 18446744073709551615 264726425158 0 0 16781312 514 6918554876284764159 0 0 17 6 0 0 0
/proc/13612/statm: 80060 5720 348 364 0 15966 0
[pid=13614] ppid=13612 vsize=1017800 CPUtime=0.53 cores=0-7
/proc/13614/stat : 13614 (gnovelty+2) R 13612 13614 13614 0 -1 4202496 447 0 0 0 53 0 0 0 22 0 1 0 529495131 1042227200 182 33554432000 134512640 135663704 4293460032 18446744073709551615 134524656 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/13614/statm: 254450 182 113 282 0 254166 0
[pid=13594/tid=13601] ppid=13592 vsize=361252 CPUtime=0 cores=0-7
/proc/13594/task/13601/stat : 13601 (python) S 13592 13594 12854 0 -1 4202560 25 937 0 0 0 0 0 0 18 0 9 0 529495116 369922048 7303 33554432000 4194304 5683644 140734243538320 18446744073709551615 264738228657 0 0 16781312 2 18446604453947926400 0 0 -1 1 0 0 0
[pid=13594/tid=13604] ppid=13592 vsize=361252 CPUtime=0 cores=0-7
/proc/13594/task/13604/stat : 13604 (python) S 13592 13594 12854 0 -1 4202560 22 937 0 0 0 0 0 0 19 0 9 0 529495120 369922048 7303 33554432000 4194304 5683644 140734243538320 18446744073709551615 264738228657 0 0 16781312 2 18446604453947926400 0 0 -1 6 0 0 0
[pid=13594/tid=13607] ppid=13592 vsize=361252 CPUtime=0 cores=0-7
/proc/13594/task/13607/stat : 13607 (python) S 13592 13594 12854 0 -1 4202560 23 937 0 0 0 0 0 0 21 0 9 0 529495123 369922048 7303 33554432000 4194304 5683644 140734243538320 18446744073709551615 264738228657 0 0 16781312 2 18446604453947926400 0 0 -1 0 0 0 0
[pid=13594/tid=13610] ppid=13592 vsize=361252 CPUtime=0 cores=0-7
/proc/13594/task/13610/stat : 13610 (python) S 13592 13594 12854 0 -1 4202560 26 937 0 0 0 0 0 0 23 0 9 0 529495127 369922048 7303 33554432000 4194304 5683644 140734243538320 18446744073709551615 264738228657 0 0 16781312 2 18446604453947926400 0 0 -1 0 0 0 0
[pid=13594/tid=13613] ppid=13592 vsize=361252 CPUtime=0 cores=0-7
/proc/13594/task/13613/stat : 13613 (python) S 13592 13594 12854 0 -1 4202560 27 937 0 0 0 0 0 0 20 0 9 0 529495131 369922048 7303 33554432000 4194304 5683644 140734243538320 18446744073709551615 264738228657 0 0 16781312 2 18446604453947926400 0 0 -1 6 0 0 0
[pid=13594/tid=13616] ppid=13592 vsize=361252 CPUtime=0 cores=0-7
/proc/13594/task/13616/stat : 13616 (python) S 13592 13594 12854 0 -1 4202560 25 937 0 0 0 0 0 0 22 0 9 0 529495135 369922048 7303 33554432000 4194304 5683644 140734243538320 18446744073709551615 264738228657 0 0 16781312 2 18446604453947926400 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.81
Current children cumulated vsize (KiB) 3901956

[startup+3.10149 s]
/proc/loadavg: 8.68 9.36 9.13 11/367 13623
/proc/meminfo: memFree=17525708/32951124 swapFree=67111524/67111528
[pid=13594] ppid=13592 vsize=361252 CPUtime=0.81 cores=0-7
/proc/13594/stat : 13594 (python) S 13592 13594 12854 0 -1 4202496 15697 937 1 0 67 14 0 0 25 0 9 0 529495035 369922048 7303 33554432000 4194304 5683644 140734243538320 18446744073709551615 264738231755 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0
/proc/13594/statm: 90313 7303 1889 364 0 26210 0
[pid=13600] ppid=13594 vsize=278744 CPUtime=0 cores=0-7
/proc/13600/stat : 13600 (python) S 13594 13594 12854 0 -1 4202560 734 0 0 0 0 0 0 0 18 0 1 0 529495116 285433856 5592 33554432000 4194304 5683644 140734243538320 18446744073709551615 264726425103 0 0 16781312 514 11242487981484769539 0 0 17 2 0 0 0
/proc/13600/statm: 69686 5592 354 364 0 5604 0
[pid=13602] ppid=13600 vsize=1017800 CPUtime=2.28 cores=0-7
/proc/13602/stat : 13602 (gnovelty+2) R 13600 13602 13602 0 -1 4202496 447 0 0 0 228 0 0 0 25 0 1 0 529495116 1042227200 182 33554432000 134512640 135663704 4286801232 18446744073709551615 134545583 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/13602/statm: 254450 182 113 282 0 254166 0
[pid=13603] ppid=13594 vsize=289372 CPUtime=0 cores=0-7
/proc/13603/stat : 13603 (python) S 13594 13594 12854 0 -1 4202560 758 0 0 0 0 0 0 0 15 0 1 0 529495119 296316928 5700 33554432000 4194304 5683644 140734243538320 18446744073709551615 264726425158 0 0 16781312 514 9407878888383545602 0 0 17 4 0 0 0
/proc/13603/statm: 72343 5700 348 364 0 8258 0
[pid=13605] ppid=13603 vsize=2816 CPUtime=2.24 cores=0-7
/proc/13605/stat : 13605 (march_hi) R 13603 13605 13605 0 -1 4202496 749 0 0 0 224 0 0 0 25 0 1 0 529495120 2883584 487 33554432000 4194304 4955518 140733294419664 18446744073709551615 4224648 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/13605/statm: 704 487 104 186 0 517 0
[pid=13606] ppid=13594 vsize=299276 CPUtime=0 cores=0-7
/proc/13606/stat : 13606 (python) S 13594 13594 12854 0 -1 4202560 758 0 0 0 0 0 0 0 15 0 1 0 529495123 306458624 5623 33554432000 4194304 5683644 140734243538320 18446744073709551615 264726425158 0 0 16781312 514 1564371954155094275 0 0 17 2 0 0 0
/proc/13606/statm: 74819 5623 348 364 0 10731 0
[pid=13608] ppid=13606 vsize=2816 CPUtime=2.18 cores=0-7
/proc/13608/stat : 13608 (march_hi) R 13606 13608 13608 0 -1 4202496 750 0 0 0 218 0 0 0 25 0 1 0 529495123 2883584 485 33554432000 4194304 4955518 140734525681936 18446744073709551615 4209692 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/13608/statm: 704 485 104 186 0 517 0
[pid=13609] ppid=13594 vsize=309984 CPUtime=0 cores=0-7
/proc/13609/stat : 13609 (python) S 13594 13594 12854 0 -1 4202560 773 0 0 0 0 0 0 0 15 0 1 0 529495127 317423616 5716 33554432000 4194304 5683644 140734243538320 18446744073709551615 264726425158 0 0 16781312 514 14136544147913277697 0 0 17 0 0 0 0
/proc/13609/statm: 77496 5716 348 364 0 13405 0
[pid=13611] ppid=13609 vsize=2816 CPUtime=2.16 cores=0-7
/proc/13611/stat : 13611 (march_hi) R 13609 13611 13611 0 -1 4202496 750 0 0 0 216 0 0 0 25 0 1 0 529495127 2883584 486 33554432000 4194304 4955518 140734558543520 18446744073709551615 4227756 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/13611/statm: 704 486 104 186 0 517 0
[pid=13612] ppid=13594 vsize=320240 CPUtime=0 cores=0-7
/proc/13612/stat : 13612 (python) S 13594 13594 12854 0 -1 4202560 759 0 0 0 0 0 0 0 18 0 1 0 529495131 327925760 5720 33554432000 4194304 5683644 140734243538320 18446744073709551615 264726425158 0 0 16781312 514 6918554876284731652 0 0 17 6 0 0 0
/proc/13612/statm: 80060 5720 348 364 0 15966 0
[pid=13614] ppid=13612 vsize=1017800 CPUtime=2.13 cores=0-7
/proc/13614/stat : 13614 (gnovelty+2) R 13612 13614 13614 0 -1 4202496 447 0 0 0 213 0 0 0 25 0 1 0 529495131 1042227200 182 33554432000 134512640 135663704 4293460032 18446744073709551615 134545631 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/13614/statm: 254450 182 113 282 0 254166 0
[pid=13615] ppid=13594 vsize=330496 CPUtime=0 cores=0-7
/proc/13615/stat : 13615 (python) S 13594 13594 12854 0 -1 4202560 771 0 0 0 0 0 0 0 15 0 1 0 529495135 338427904 5724 33554432000 4194304 5683644 140734243538320 18446744073709551615 264726425158 0 0 16781312 514 1225159422846664963 0 0 17 0 0 0 0
/proc/13615/statm: 82624 5724 348 364 0 18527 0
[pid=13617] ppid=13615 vsize=2816 CPUtime=2.08 cores=0-7
/proc/13617/stat : 13617 (march_hi) R 13615 13617 13617 0 -1 4202496 748 0 0 0 208 0 0 0 25 0 1 0 529495135 2883584 482 33554432000 4194304 4955518 140735992371872 18446744073709551615 4209643 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/13617/statm: 704 482 104 186 0 517 0
[pid=13618] ppid=13594 vsize=340752 CPUtime=0 cores=0-7
/proc/13618/stat : 13618 (python) S 13594 13594 12854 0 -1 4202560 786 0 0 0 0 0 0 0 15 0 1 0 529495139 348930048 5737 33554432000 4194304 5683644 140734243538320 18446744073709551615 264726425158 0 0 16781312 514 867840134052020483 0 0 17 6 0 0 0
/proc/13618/statm: 85188 5737 348 364 0 21088 0
[pid=13620] ppid=13618 vsize=2564 CPUtime=1.01 cores=0-7
/proc/13620/stat : 13620 (march_hi) R 13618 13620 13620 0 -1 4202496 708 0 0 0 101 0 0 0 25 0 1 0 529495141 2625536 442 33554432000 4194304 4955518 140734137395040 18446744073709551615 4238419 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/13620/statm: 641 442 104 186 0 454 0
[pid=13621] ppid=13594 vsize=351008 CPUtime=0 cores=0-7
/proc/13621/stat : 13621 (python) S 13594 13594 12854 0 -1 4202560 811 0 0 0 0 0 0 0 15 0 1 0 529495143 359432192 5764 33554432000 4194304 5683644 140734243538320 18446744073709551615 264726425158 0 0 16781312 514 853880734425776386 0 0 17 6 0 0 0
/proc/13621/statm: 87752 5764 354 364 0 23649 0
[pid=13623] ppid=13621 vsize=2816 CPUtime=2 cores=0-7
/proc/13623/stat : 13623 (march_hi) R 13621 13623 13623 0 -1 4202496 753 0 0 0 200 0 0 0 25 0 1 0 529495144 2883584 479 33554432000 4194304 4955518 140734820913312 18446744073709551615 4224656 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/13623/statm: 704 479 104 186 0 517 0
[pid=13594/tid=13601] ppid=13592 vsize=361252 CPUtime=0 cores=0-7
/proc/13594/task/13601/stat : 13601 (python) S 13592 13594 12854 0 -1 4202560 25 937 0 0 0 0 0 0 18 0 9 0 529495116 369922048 7303 33554432000 4194304 5683644 140734243538320 18446744073709551615 264738228657 0 0 16781312 2 18446604453947926400 0 0 -1 1 0 0 0
[pid=13594/tid=13604] ppid=13592 vsize=361252 CPUtime=0 cores=0-7
/proc/13594/task/13604/stat : 13604 (python) S 13592 13594 12854 0 -1 4202560 22 937 0 0 0 0 0 0 19 0 9 0 529495120 369922048 7303 33554432000 4194304 5683644 140734243538320 18446744073709551615 264738228657 0 0 16781312 2 18446604453947926400 0 0 -1 6 0 0 0
[pid=13594/tid=13607] ppid=13592 vsize=361252 CPUtime=0 cores=0-7
/proc/13594/task/13607/stat : 13607 (python) S 13592 13594 12854 0 -1 4202560 23 937 0 0 0 0 0 0 21 0 9 0 529495123 369922048 7303 33554432000 4194304 5683644 140734243538320 18446744073709551615 264738228657 0 0 16781312 2 18446604453947926400 0 0 -1 0 0 0 0
[pid=13594/tid=13610] ppid=13592 vsize=361252 CPUtime=0 cores=0-7
/proc/13594/task/13610/stat : 13610 (python) S 13592 13594 12854 0 -1 4202560 26 937 0 0 0 0 0 0 23 0 9 0 529495127 369922048 7303 33554432000 4194304 5683644 140734243538320 18446744073709551615 264738228657 0 0 16781312 2 18446604453947926400 0 0 -1 0 0 0 0
[pid=13594/tid=13613] ppid=13592 vsize=361252 CPUtime=0 cores=0-7
/proc/13594/task/13613/stat : 13613 (python) S 13592 13594 12854 0 -1 4202560 27 937 0 0 0 0 0 0 20 0 9 0 529495131 369922048 7303 33554432000 4194304 5683644 140734243538320 18446744073709551615 264738228657 0 0 16781312 2 18446604453947926400 0 0 -1 6 0 0 0
[pid=13594/tid=13616] ppid=13592 vsize=361252 CPUtime=0 cores=0-7
/proc/13594/task/13616/stat : 13616 (python) S 13592 13594 12854 0 -1 4202560 25 937 0 0 0 0 0 0 22 0 9 0 529495135 369922048 7303 33554432000 4194304 5683644 140734243538320 18446744073709551615 264738228657 0 0 16781312 2 18446604453947926400 0 0 -1 0 0 0 0
[pid=13594/tid=13619] ppid=13592 vsize=361252 CPUtime=0 cores=0-7
/proc/13594/task/13619/stat : 13619 (python) S 13592 13594 12854 0 -1 4202560 25 937 0 0 0 0 0 0 24 0 9 0 529495139 369922048 7303 33554432000 4194304 5683644 140734243538320 18446744073709551615 264738228657 0 0 16781312 2 18446604453947926400 0 0 -1 6 0 0 0
[pid=13594/tid=13622] ppid=13592 vsize=361252 CPUtime=0 cores=0-7
/proc/13594/task/13622/stat : 13622 (python) S 13592 13594 12854 0 -1 4202560 29 937 0 0 0 0 0 0 25 0 9 0 529495143 369922048 7303 33554432000 4194304 5683644 140734243538320 18446744073709551615 264738228657 0 0 16781312 2 18446604453947926400 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 16.89
Current children cumulated vsize (KiB) 4933368

[startup+6.30189 s]
/proc/loadavg: 8.70 9.36 9.13 10/367 13623
/proc/meminfo: memFree=17523616/32951124 swapFree=67111524/67111528
[pid=13594] ppid=13592 vsize=361252 CPUtime=0.81 cores=0-7
/proc/13594/stat : 13594 (python) S 13592 13594 12854 0 -1 4202496 15697 937 1 0 67 14 0 0 25 0 9 0 529495035 369922048 7303 33554432000 4194304 5683644 140734243538320 18446744073709551615 264738231755 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0
/proc/13594/statm: 90313 7303 1889 364 0 26210 0
[pid=13600] ppid=13594 vsize=278744 CPUtime=0 cores=0-7
/proc/13600/stat : 13600 (python) S 13594 13594 12854 0 -1 4202560 893 0 0 0 0 0 0 0 18 0 1 0 529495116 285433856 5615 33554432000 4194304 5683644 140734243538320 18446744073709551615 264726425103 0 0 16781312 514 11242487981484769539 0 0 17 2 0 0 0
/proc/13600/statm: 69686 5615 377 364 0 5604 0
[pid=13602] ppid=13600 vsize=1017800 CPUtime=5.48 cores=0-7
/proc/13602/stat : 13602 (gnovelty+2) R 13600 13602 13602 0 -1 4202496 447 0 0 0 548 0 0 0 25 0 1 0 529495116 1042227200 182 33554432000 134512640 135663704 4286801232 18446744073709551615 134524843 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/13602/statm: 254450 182 113 282 0 254166 0

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

/proc/13717/statm: 49764 42120 104 186 0 49577 0
[pid=13715/tid=13738] ppid=13594 vsize=509408 CPUtime=0 cores=0-7
/proc/13715/task/13738/stat : 13738 (python) S 13594 13594 12854 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 2 0 529730747 521633792 5978 33554432000 4194304 5683644 140734243538320 18446744073709551615 264738228657 0 0 16781312 514 18446604445824822208 0 0 -1 1 0 0 0
[pid=13723] ppid=13594 vsize=519664 CPUtime=2.99 cores=0-7
/proc/13723/stat : 13723 (python) S 13594 13594 12854 0 -1 4202560 1220 0 0 0 163 136 0 0 18 0 2 0 529703443 532135936 6005 33554432000 4194304 5683644 140734243538320 18446744073709551615 264726425158 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/13723/statm: 129916 6005 401 364 0 65783 0
[pid=13725] ppid=13723 vsize=182448 CPUtime=990.61 cores=0-7
/proc/13725/stat : 13725 (kcnfs-2006) R 13723 13725 13725 0 -1 4202496 620 0 0 0 99061 0 0 0 25 0 1 0 529703444 186826752 349 33554432000 134512640 135163436 4291854192 18446744073709551615 134564251 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/13725/statm: 45612 349 77 159 0 45452 0
[pid=13723/tid=13752] ppid=13594 vsize=519664 CPUtime=0 cores=0-7
/proc/13723/task/13752/stat : 13752 (python) S 13594 13594 12854 0 -1 4202560 49 0 0 0 0 0 0 0 18 0 2 0 529773027 532135936 6005 33554432000 4194304 5683644 140734243538320 18446744073709551615 264738228657 0 0 16781312 514 18446604443773044928 0 0 -1 0 0 0 0
[pid=13729] ppid=13594 vsize=464384 CPUtime=0.39 cores=0-7
/proc/13729/stat : 13729 (python) S 13594 13594 12854 0 -1 4202560 1204 0 0 0 22 17 0 0 19 0 2 0 529711993 475529216 6001 33554432000 4194304 5683644 140734243538320 18446744073709551615 264738231755 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/13729/statm: 116096 6001 401 364 0 51960 0
[pid=13731] ppid=13729 vsize=416132 CPUtime=101.05 cores=0-7
/proc/13731/stat : 13731 (adaptg2wsat2009) T 13729 13731 13731 0 -1 4202496 479 0 0 0 10105 0 0 0 25 0 1 0 529711993 426119168 202 33554432000 134512640 135107411 4286931264 18446744073709551615 134535275 0 0 16781312 0 18446744071562691360 0 0 17 1 0 0 0
/proc/13731/statm: 104033 202 59 146 0 102909 0
[pid=13729/tid=13736] ppid=13594 vsize=464384 CPUtime=0 cores=0-7
/proc/13729/task/13736/stat : 13736 (python) S 13594 13594 12854 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 529726230 475529216 6001 33554432000 4194304 5683644 140734243538320 18446744073709551615 264738228657 0 0 16781312 514 18446604443773044032 0 0 -1 1 0 0 0
[pid=13780] ppid=13594 vsize=475040 CPUtime=0.05 cores=0-7
/proc/13780/stat : 13780 (python) S 13594 13594 12854 0 -1 4202560 1036 0 0 0 2 3 0 0 18 0 1 0 529840720 486440960 6068 33554432000 4194304 5683644 140734243538320 18446744073709551615 264726425158 0 0 16781312 514 9131206574168047877 0 0 17 1 0 0 0
/proc/13780/statm: 118760 6068 373 364 0 54621 0
[pid=13782] ppid=13780 vsize=182452 CPUtime=14.83 cores=0-7
/proc/13782/stat : 13782 (kcnfs-2006) R 13780 13782 13782 0 -1 4202496 621 0 0 0 1483 0 0 0 25 0 1 0 529840720 186830848 349 33554432000 134512640 135163436 4294214032 18446744073709551615 134583776 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/13782/statm: 45613 349 77 159 0 45453 0
[pid=13783] ppid=13594 vsize=485660 CPUtime=0 cores=0-7
/proc/13783/stat : 13783 (python) S 13594 13594 12854 0 -1 4202560 874 0 0 0 0 0 0 0 18 0 1 0 529843287 497315840 6130 33554432000 4194304 5683644 140734243538320 18446744073709551615 264726425158 0 0 16781312 514 11135717430968418566 0 0 17 0 0 0 0
/proc/13783/statm: 121415 6130 349 364 0 57273 0
[pid=13785] ppid=13783 vsize=182448 CPUtime=1.11 cores=0-7
/proc/13785/stat : 13785 (kcnfs-2006) R 13783 13785 13785 0 -1 4202496 624 0 0 0 111 0 0 0 25 0 1 0 529843287 186826752 349 33554432000 134512640 135163436 4290662208 18446744073709551615 134572257 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/13785/statm: 45612 349 77 159 0 45452 0
[pid=13594/tid=13601] ppid=13592 vsize=495904 CPUtime=0 cores=0-7
/proc/13594/task/13601/stat : 13601 (python) S 13592 13594 12854 0 -1 4202560 25 937 0 0 0 0 0 0 18 0 22 0 529495116 507805696 7701 33554432000 4194304 5683644 140734243538320 18446744073709551615 264738228657 0 0 16781312 2 18446604453947926400 0 0 -1 1 0 0 0
[pid=13594/tid=13604] ppid=13592 vsize=495904 CPUtime=0 cores=0-7
/proc/13594/task/13604/stat : 13604 (python) S 13592 13594 12854 0 -1 4202560 39 937 0 0 0 0 0 0 18 0 22 0 529495120 507805696 7701 33554432000 4194304 5683644 140734243538320 18446744073709551615 264738228657 0 0 16781312 2 18446604453947926400 0 0 -1 6 0 0 0
[pid=13594/tid=13607] ppid=13592 vsize=495904 CPUtime=0 cores=0-7
/proc/13594/task/13607/stat : 13607 (python) S 13592 13594 12854 0 -1 4202560 31 937 0 0 0 0 0 0 18 0 22 0 529495123 507805696 7701 33554432000 4194304 5683644 140734243538320 18446744073709551615 264738228657 0 0 16781312 2 18446604453947926400 0 0 -1 0 0 0 0
[pid=13594/tid=13610] ppid=13592 vsize=495904 CPUtime=0 cores=0-7
/proc/13594/task/13610/stat : 13610 (python) S 13592 13594 12854 0 -1 4202560 48 937 0 0 0 0 0 0 18 0 22 0 529495127 507805696 7701 33554432000 4194304 5683644 140734243538320 18446744073709551615 264738228657 0 0 16781312 2 18446604453947926400 0 0 -1 0 0 0 0
[pid=13594/tid=13613] ppid=13592 vsize=495904 CPUtime=0 cores=0-7
/proc/13594/task/13613/stat : 13613 (python) S 13592 13594 12854 0 -1 4202560 27 937 0 0 0 0 0 0 20 0 22 0 529495131 507805696 7701 33554432000 4194304 5683644 140734243538320 18446744073709551615 264738228657 0 0 16781312 2 18446604453947926400 0 0 -1 6 0 0 0
[pid=13594/tid=13616] ppid=13592 vsize=495904 CPUtime=0 cores=0-7
/proc/13594/task/13616/stat : 13616 (python) S 13592 13594 12854 0 -1 4202560 49 937 0 0 0 0 0 0 18 0 22 0 529495135 507805696 7701 33554432000 4194304 5683644 140734243538320 18446744073709551615 264738228657 0 0 16781312 2 18446604453947926400 0 0 -1 0 0 0 0
[pid=13594/tid=13619] ppid=13592 vsize=495904 CPUtime=0 cores=0-7
/proc/13594/task/13619/stat : 13619 (python) S 13592 13594 12854 0 -1 4202560 35 937 0 0 0 0 0 0 18 0 22 0 529495139 507805696 7701 33554432000 4194304 5683644 140734243538320 18446744073709551615 264738228657 0 0 16781312 2 18446604453947926400 0 0 -1 6 0 0 0
[pid=13594/tid=13622] ppid=13592 vsize=495904 CPUtime=0 cores=0-7
/proc/13594/task/13622/stat : 13622 (python) S 13592 13594 12854 0 -1 4202560 44 937 0 0 0 0 0 0 18 0 22 0 529495143 507805696 7701 33554432000 4194304 5683644 140734243538320 18446744073709551615 264738228657 0 0 16781312 2 18446604453947926400 0 0 -1 6 0 0 0
[pid=13594/tid=13628] ppid=13592 vsize=495904 CPUtime=0 cores=0-7
/proc/13594/task/13628/stat : 13628 (python) S 13592 13594 12854 0 -1 4202560 34 937 0 0 0 0 0 0 18 0 22 0 529505061 507805696 7701 33554432000 4194304 5683644 140734243538320 18446744073709551615 264738228657 0 0 16781312 2 18446604453947926400 0 0 -1 6 0 0 0
[pid=13594/tid=13632] ppid=13592 vsize=495904 CPUtime=0 cores=0-7
/proc/13594/task/13632/stat : 13632 (python) S 13592 13594 12854 0 -1 4202560 38 937 0 0 0 0 0 0 18 0 22 0 529505145 507805696 7701 33554432000 4194304 5683644 140734243538320 18446744073709551615 264738228657 0 0 16781312 2 18446604453947926400 0 0 -1 6 0 0 0
[pid=13594/tid=13655] ppid=13592 vsize=495904 CPUtime=0 cores=0-7
/proc/13594/task/13655/stat : 13655 (python) S 13592 13594 12854 0 -1 4202560 34 937 0 0 0 0 0 0 18 0 22 0 529563401 507805696 7701 33554432000 4194304 5683644 140734243538320 18446744073709551615 264738228657 0 0 16781312 2 18446604453947926400 0 0 -1 6 0 0 0
[pid=13594/tid=13673] ppid=13592 vsize=495904 CPUtime=0 cores=0-7
/proc/13594/task/13673/stat : 13673 (python) S 13592 13594 12854 0 -1 4202560 43 937 0 0 0 0 0 0 18 0 22 0 529594093 507805696 7701 33554432000 4194304 5683644 140734243538320 18446744073709551615 264738228657 0 0 16781312 2 18446604453947926400 0 0 -1 0 0 0 0
[pid=13594/tid=13677] ppid=13592 vsize=495904 CPUtime=0 cores=0-7
/proc/13594/task/13677/stat : 13677 (python) S 13592 13594 12854 0 -1 4202560 46 937 0 0 0 0 0 0 18 0 22 0 529599117 507805696 7701 33554432000 4194304 5683644 140734243538320 18446744073709551615 264738228657 0 0 16781312 2 18446604453947926400 0 0 -1 0 0 0 0
[pid=13594/tid=13690] ppid=13592 vsize=495904 CPUtime=0 cores=0-7
/proc/13594/task/13690/stat : 13690 (python) S 13592 13594 12854 0 -1 4202560 29 937 0 0 0 0 0 0 20 0 22 0 529632981 507805696 7701 33554432000 4194304 5683644 140734243538320 18446744073709551615 264738228657 0 0 16781312 2 18446604453947926400 0 0 -1 0 0 0 0
[pid=13594/tid=13699] ppid=13592 vsize=495904 CPUtime=0 cores=0-7
/proc/13594/task/13699/stat : 13699 (python) S 13592 13594 12854 0 -1 4202560 35 937 0 0 0 0 0 0 18 0 22 0 529643615 507805696 7701 33554432000 4194304 5683644 140734243538320 18446744073709551615 264738228657 0 0 16781312 2 18446604453947926400 0 0 -1 1 0 0 0
[pid=13594/tid=13712] ppid=13592 vsize=495904 CPUtime=0 cores=0-7
/proc/13594/task/13712/stat : 13712 (python) S 13592 13594 12854 0 -1 4202560 32 937 0 0 0 0 0 0 18 0 22 0 529681301 507805696 7701 33554432000 4194304 5683644 140734243538320 18446744073709551615 264738228657 0 0 16781312 2 18446604453947926400 0 0 -1 6 0 0 0
[pid=13594/tid=13716] ppid=13592 vsize=495904 CPUtime=0 cores=0-7
/proc/13594/task/13716/stat : 13716 (python) S 13592 13594 12854 0 -1 4202560 30 937 0 0 0 0 0 0 18 0 22 0 529683591 507805696 7701 33554432000 4194304 5683644 140734243538320 18446744073709551615 264738228657 0 0 16781312 2 18446604453947926400 0 0 -1 6 0 0 0
[pid=13594/tid=13724] ppid=13592 vsize=495904 CPUtime=0 cores=0-7
/proc/13594/task/13724/stat : 13724 (python) S 13592 13594 12854 0 -1 4202560 29 937 0 0 0 0 0 0 18 0 22 0 529703443 507805696 7701 33554432000 4194304 5683644 140734243538320 18446744073709551615 264738228657 0 0 16781312 2 18446604453947926400 0 0 -1 6 0 0 0
[pid=13594/tid=13730] ppid=13592 vsize=495904 CPUtime=0 cores=0-7
/proc/13594/task/13730/stat : 13730 (python) S 13592 13594 12854 0 -1 4202560 28 937 0 0 0 0 0 0 19 0 22 0 529711993 507805696 7701 33554432000 4194304 5683644 140734243538320 18446744073709551615 264738228657 0 0 16781312 2 18446604453947926400 0 0 -1 6 0 0 0
[pid=13594/tid=13781] ppid=13592 vsize=495904 CPUtime=0 cores=0-7
/proc/13594/task/13781/stat : 13781 (python) S 13592 13594 12854 0 -1 4202560 32 937 0 0 0 0 0 0 20 0 22 0 529840720 507805696 7701 33554432000 4194304 5683644 140734243538320 18446744073709551615 264738228657 0 0 16781312 2 18446604453947926400 0 0 -1 1 0 0 0
[pid=13594/tid=13784] ppid=13592 vsize=495904 CPUtime=0 cores=0-7
/proc/13594/task/13784/stat : 13784 (python) S 13592 13594 12854 0 -1 4202560 32 937 0 0 0 0 0 0 19 0 22 0 529843287 507805696 7701 33554432000 4194304 5683644 140734243538320 18446744073709551615 264738228657 0 0 16781312 2 18446604453947926400 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 24486.4
Current children cumulated vsize (KiB) 15340148

[startup+3485.1 s]
/proc/loadavg: 9.08 9.17 9.11 11/425 13785
/proc/meminfo: memFree=15949344/32951124 swapFree=67111524/67111528
[pid=13594] ppid=13592 vsize=495904 CPUtime=12467.2 cores=0-7
/proc/13594/stat : 13594 (python) S 13592 13594 12854 0 -1 4202496 29704 243680 1 0 423 19 1244298 1985 17 0 22 0 529495035 507805696 7701 33554432000 4194304 5683644 140734243538320 18446744073709551615 264738235199 0 0 16781312 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13594/statm: 123976 7701 1916 364 0 59834 0
[pid=13603] ppid=13594 vsize=0 CPUtime=3325.37 cores=0-7
/proc/13603/stat : 13603 (python) Z 13594 13594 12854 0 -1 4202588 1239 85660 0 0 701 487 331320 29 18 0 1 0 529495119 0 0 33554432000 0 0 0 0 0 0 0 16781824 2 18446744073709551615 0 0 17 6 0 0 0
/proc/13603/statm: 0 0 0 0 0 0 0
[pid=13609] ppid=13594 vsize=375520 CPUtime=9.43 cores=0-7
/proc/13609/stat : 13609 (python) S 13594 13594 12854 0 -1 4202560 1188 0 0 0 506 437 0 0 15 0 2 0 529495127 384532480 5771 33554432000 4194304 5683644 140734243538320 18446744073709551615 264726425158 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/13609/statm: 93880 5771 400 364 0 29789 0
[pid=13611] ppid=13609 vsize=364936 CPUtime=2694.42 cores=0-7
/proc/13611/stat : 13611 (march_hi) R 13609 13611 13611 0 -1 4202496 72283 0 0 0 269410 32 0 0 25 0 1 0 529495127 373694464 72019 33554432000 4194304 4955518 140734558543520 18446744073709551615 4209701 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/13611/statm: 91234 72019 104 186 0 91047 0
[pid=13609/tid=13635] ppid=13594 vsize=375520 CPUtime=0 cores=0-7
/proc/13609/task/13635/stat : 13635 (python) S 13594 13594 12854 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 2 0 529507379 384532480 5771 33554432000 4194304 5683644 140734243538320 18446744073709551615 264738228657 0 0 16781312 514 18446604453939091456 0 0 -1 1 0 0 0
[pid=13615] ppid=13594 vsize=330496 CPUtime=9.58 cores=0-7
/proc/13615/stat : 13615 (python) S 13594 13594 12854 0 -1 4202560 1186 0 0 0 509 449 0 0 15 0 2 0 529495135 338427904 5777 33554432000 4194304 5683644 140734243538320 18446744073709551615 264726425158 0 0 16781312 514 18446744073709551615 0 0 17 3 0 0 0
/proc/13615/statm: 82624 5777 400 364 0 18527 0
[pid=13617] ppid=13615 vsize=428680 CPUtime=3207.94 cores=0-7
/proc/13617/stat : 13617 (march_hi) R 13615 13617 13617 0 -1 4202496 83505 0 0 0 320768 26 0 0 25 0 1 0 529495135 438968320 83239 33554432000 4194304 4955518 140735992371872 18446744073709551615 4224693 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/13617/statm: 107170 83239 104 186 0 106983 0
[pid=13615/tid=13658] ppid=13594 vsize=330496 CPUtime=0 cores=0-7
/proc/13615/task/13658/stat : 13658 (python) S 13594 13594 12854 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 2 0 529564601 338427904 5777 33554432000 4194304 5683644 140734243538320 18446744073709551615 264738228657 0 0 16781312 514 18446604445824821312 0 0 -1 2 0 0 0
[pid=13631] ppid=13594 vsize=437208 CPUtime=5.67 cores=0-7
/proc/13631/stat : 13631 (python) S 13594 13594 12854 0 -1 4202560 1175 0 0 0 294 273 0 0 18 0 2 0 529505145 447700992 5833 33554432000 4194304 5683644 140734243538320 18446744073709551615 264726425158 0 0 16781312 514 18446744073709551615 0 0 17 2 0 0 0
/proc/13631/statm: 109302 5833 400 364 0 45193 0
[pid=13633] ppid=13631 vsize=182452 CPUtime=1759.23 cores=0-7
/proc/13633/stat : 13633 (kcnfs-2006) R 13631 13633 13633 0 -1 4202496 613 0 0 0 175921 2 0 0 25 0 1 0 529505145 186830848 349 33554432000 134512640 135163436 4291256640 18446744073709551615 134620053 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/13633/statm: 45613 349 77 159 0 45453 0
[pid=13631/tid=13668] ppid=13594 vsize=437208 CPUtime=0 cores=0-7
/proc/13631/task/13668/stat : 13668 (python) S 13594 13594 12854 0 -1 4202560 50 0 0 0 0 0 0 0 18 0 2 0 529581236 447700992 5833 33554432000 4194304 5683644 140734243538320 18446744073709551615 264738228657 0 0 16781312 514 18446604447397303296 0 0 -1 0 0 0 0
[pid=13723] ppid=13594 vsize=519664 CPUtime=2.99 cores=0-7
/proc/13723/stat : 13723 (python) S 13594 13594 12854 0 -1 4202560 1220 0 0 0 163 136 0 0 18 0 2 0 529703443 532135936 6005 33554432000 4194304 5683644 140734243538320 18446744073709551615 264726425158 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/13723/statm: 129916 6005 401 364 0 65783 0
[pid=13725] ppid=13723 vsize=182448 CPUtime=990.87 cores=0-7
/proc/13725/stat : 13725 (kcnfs-2006) R 13723 13725 13725 0 -1 4202496 620 0 0 0 99087 0 0 0 25 0 1 0 529703444 186826752 349 33554432000 134512640 135163436 4291854192 18446744073709551615 134625190 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/13725/statm: 45612 349 77 159 0 45452 0
[pid=13723/tid=13752] ppid=13594 vsize=519664 CPUtime=0 cores=0-7
/proc/13723/task/13752/stat : 13752 (python) S 13594 13594 12854 0 -1 4202560 49 0 0 0 0 0 0 0 18 0 2 0 529773027 532135936 6005 33554432000 4194304 5683644 140734243538320 18446744073709551615 264738228657 0 0 16781312 514 18446604443773044928 0 0 -1 0 0 0 0
[pid=13780] ppid=13594 vsize=0 CPUtime=15.28 cores=0-7
/proc/13780/stat : 13780 (python) R 13594 13594 12854 0 -1 4202564 1089 621 0 0 3 4 1521 0 16 0 1 0 529840720 0 0 33554432000 0 0 0 0 0 0 0 16781824 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13780/statm: 0 0 0 0 0 0 0
[pid=13783] ppid=13594 vsize=485660 CPUtime=0 cores=0-7
/proc/13783/stat : 13783 (python) S 13594 13594 12854 0 -1 4202560 874 0 0 0 0 0 0 0 18 0 1 0 529843287 497315840 6130 33554432000 4194304 5683644 140734243538320 18446744073709551615 264726425158 0 0 16781312 514 11135717430968418566 0 0 17 0 0 0 0
/proc/13783/statm: 121415 6130 349 364 0 57273 0
[pid=13785] ppid=13783 vsize=182448 CPUtime=1.3 cores=0-7
/proc/13785/stat : 13785 (kcnfs-2006) R 13783 13785 13785 0 -1 4202496 624 0 0 0 130 0 0 0 25 0 1 0 529843287 186826752 349 33554432000 134512640 135163436 4290662208 18446744073709551615 134572201 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/13785/statm: 45612 349 77 159 0 45452 0
[pid=13594/tid=13601] ppid=13592 vsize=495904 CPUtime=12462.8 cores=0-7
/proc/13594/task/13601/stat : 13601 (python) S 13592 13594 12854 0 -1 4202560 25 243680 0 0 0 0 1244298 1985 18 0 22 0 529495116 507805696 7701 33554432000 4194304 5683644 140734243538320 18446744073709551615 264738228657 0 0 16781312 2 18446604453947926400 0 0 -1 1 0 0 0
[pid=13594/tid=13604] ppid=13592 vsize=495904 CPUtime=12462.8 cores=0-7
/proc/13594/task/13604/stat : 13604 (python) S 13592 13594 12854 0 -1 4202560 39 243680 0 0 0 0 1244298 1985 18 0 22 0 529495120 507805696 7701 33554432000 4194304 5683644 140734243538320 18446744073709551615 264738228657 0 0 16781312 2 18446604453947926400 0 0 -1 6 0 0 0
[pid=13594/tid=13607] ppid=13592 vsize=495904 CPUtime=12462.8 cores=0-7
/proc/13594/task/13607/stat : 13607 (python) S 13592 13594 12854 0 -1 4202560 31 243680 0 0 0 0 1244298 1985 18 0 22 0 529495123 507805696 7701 33554432000 4194304 5683644 140734243538320 18446744073709551615 264738228657 0 0 16781312 2 18446604453947926400 0 0 -1 0 0 0 0
[pid=13594/tid=13610] ppid=13592 vsize=495904 CPUtime=12462.8 cores=0-7
/proc/13594/task/13610/stat : 13610 (python) S 13592 13594 12854 0 -1 4202560 48 243680 0 0 0 0 1244298 1985 18 0 22 0 529495127 507805696 7701 33554432000 4194304 5683644 140734243538320 18446744073709551615 264738228657 0 0 16781312 2 18446604453947926400 0 0 -1 0 0 0 0
[pid=13594/tid=13613] ppid=13592 vsize=495904 CPUtime=12462.8 cores=0-7
/proc/13594/task/13613/stat : 13613 (python) S 13592 13594 12854 0 -1 4202560 27 243680 0 0 0 0 1244298 1985 20 0 22 0 529495131 507805696 7701 33554432000 4194304 5683644 140734243538320 18446744073709551615 264738228657 0 0 16781312 2 18446604453947926400 0 0 -1 6 0 0 0
[pid=13594/tid=13616] ppid=13592 vsize=495904 CPUtime=12462.8 cores=0-7
/proc/13594/task/13616/stat : 13616 (python) S 13592 13594 12854 0 -1 4202560 49 243680 0 0 0 0 1244298 1985 18 0 22 0 529495135 507805696 7701 33554432000 4194304 5683644 140734243538320 18446744073709551615 264738228657 0 0 16781312 2 18446604453947926400 0 0 -1 0 0 0 0
[pid=13594/tid=13619] ppid=13592 vsize=495904 CPUtime=12462.8 cores=0-7
/proc/13594/task/13619/stat : 13619 (python) S 13592 13594 12854 0 -1 4202560 35 243680 0 0 0 0 1244298 1985 18 0 22 0 529495139 507805696 7701 33554432000 4194304 5683644 140734243538320 18446744073709551615 264738228657 0 0 16781312 2 18446604453947926400 0 0 -1 6 0 0 0
[pid=13594/tid=13622] ppid=13592 vsize=495904 CPUtime=12462.8 cores=0-7
/proc/13594/task/13622/stat : 13622 (python) S 13592 13594 12854 0 -1 4202560 44 243680 0 0 0 0 1244298 1985 18 0 22 0 529495143 507805696 7701 33554432000 4194304 5683644 140734243538320 18446744073709551615 264738228657 0 0 16781312 2 18446604453947926400 0 0 -1 6 0 0 0
[pid=13594/tid=13628] ppid=13592 vsize=495904 CPUtime=12462.8 cores=0-7
/proc/13594/task/13628/stat : 13628 (python) S 13592 13594 12854 0 -1 4202560 34 243680 0 0 0 0 1244298 1985 18 0 22 0 529505061 507805696 7701 33554432000 4194304 5683644 140734243538320 18446744073709551615 264738228657 0 0 16781312 2 18446604453947926400 0 0 -1 6 0 0 0
[pid=13594/tid=13632] ppid=13592 vsize=495904 CPUtime=12462.8 cores=0-7
/proc/13594/task/13632/stat : 13632 (python) S 13592 13594 12854 0 -1 4202560 38 243680 0 0 0 0 1244298 1985 18 0 22 0 529505145 507805696 7701 33554432000 4194304 5683644 140734243538320 18446744073709551615 264738228657 0 0 16781312 2 18446604453947926400 0 0 -1 6 0 0 0
[pid=13594/tid=13655] ppid=13592 vsize=495904 CPUtime=12462.8 cores=0-7
/proc/13594/task/13655/stat : 13655 (python) S 13592 13594 12854 0 -1 4202560 34 243680 0 0 0 0 1244298 1985 18 0 22 0 529563401 507805696 7701 33554432000 4194304 5683644 140734243538320 18446744073709551615 264738228657 0 0 16781312 2 18446604453947926400 0 0 -1 6 0 0 0
[pid=13594/tid=13673] ppid=13592 vsize=495904 CPUtime=12462.8 cores=0-7
/proc/13594/task/13673/stat : 13673 (python) S 13592 13594 12854 0 -1 4202560 43 243680 0 0 0 0 1244298 1985 18 0 22 0 529594093 507805696 7701 33554432000 4194304 5683644 140734243538320 18446744073709551615 264738228657 0 0 16781312 2 18446604453947926400 0 0 -1 0 0 0 0
[pid=13594/tid=13677] ppid=13592 vsize=495904 CPUtime=12462.8 cores=0-7
/proc/13594/task/13677/stat : 13677 (python) S 13592 13594 12854 0 -1 4202560 46 243680 0 0 0 0 1244298 1985 18 0 22 0 529599117 507805696 7701 33554432000 4194304 5683644 140734243538320 18446744073709551615 264738228657 0 0 16781312 2 18446604453947926400 0 0 -1 0 0 0 0
[pid=13594/tid=13690] ppid=13592 vsize=495904 CPUtime=12462.8 cores=0-7
/proc/13594/task/13690/stat : 13690 (python) S 13592 13594 12854 0 -1 4202560 29 243680 0 0 0 0 1244298 1985 20 0 22 0 529632981 507805696 7701 33554432000 4194304 5683644 140734243538320 18446744073709551615 264738228657 0 0 16781312 2 18446604453947926400 0 0 -1 0 0 0 0
[pid=13594/tid=13699] ppid=13592 vsize=495904 CPUtime=12462.8 cores=0-7
/proc/13594/task/13699/stat : 13699 (python) S 13592 13594 12854 0 -1 4202560 35 243680 0 0 0 0 1244298 1985 18 0 22 0 529643615 507805696 7701 33554432000 4194304 5683644 140734243538320 18446744073709551615 264738228657 0 0 16781312 2 18446604453947926400 0 0 -1 1 0 0 0
[pid=13594/tid=13712] ppid=13592 vsize=495904 CPUtime=12462.8 cores=0-7
/proc/13594/task/13712/stat : 13712 (python) S 13592 13594 12854 0 -1 4202560 32 243680 0 0 0 0 1244298 1985 18 0 22 0 529681301 507805696 7701 33554432000 4194304 5683644 140734243538320 18446744073709551615 264738228657 0 0 16781312 2 18446604453947926400 0 0 -1 6 0 0 0
[pid=13594/tid=13716] ppid=13592 vsize=495904 CPUtime=12462.8 cores=0-7
/proc/13594/task/13716/stat : 13716 (python) S 13592 13594 12854 0 -1 4202560 30 243680 0 0 0 0 1244298 1985 18 0 22 0 529683591 507805696 7701 33554432000 4194304 5683644 140734243538320 18446744073709551615 264738228657 0 0 16781312 2 18446604453947926400 0 0 -1 6 0 0 0
[pid=13594/tid=13724] ppid=13592 vsize=495904 CPUtime=12462.8 cores=0-7
/proc/13594/task/13724/stat : 13724 (python) S 13592 13594 12854 0 -1 4202560 29 243680 0 0 0 0 1244298 1985 18 0 22 0 529703443 507805696 7701 33554432000 4194304 5683644 140734243538320 18446744073709551615 264738228657 0 0 16781312 2 18446604453947926400 0 0 -1 6 0 0 0
[pid=13594/tid=13730] ppid=13592 vsize=495904 CPUtime=12462.8 cores=0-7
/proc/13594/task/13730/stat : 13730 (python) S 13592 13594 12854 0 -1 4202560 28 243680 0 0 0 0 1244298 1985 19 0 22 0 529711993 507805696 7701 33554432000 4194304 5683644 140734243538320 18446744073709551615 264738228657 0 0 16781312 2 18446604453947926400 0 0 -1 6 0 0 0
[pid=13594/tid=13781] ppid=13592 vsize=495904 CPUtime=12478.1 cores=0-7
/proc/13594/task/13781/stat : 13781 (python) S 13592 13594 12854 0 -1 4202560 32 245390 0 0 0 0 1245823 1991 20 0 22 0 529840720 507805696 7701 33554432000 4194304 5683644 140734243538320 18446744073709551615 264738228657 0 0 16781312 2 18446604453947926400 0 0 -1 1 0 0 0
[pid=13594/tid=13784] ppid=13592 vsize=495904 CPUtime=12478.1 cores=0-7
/proc/13594/task/13784/stat : 13784 (python) S 13592 13594 12854 0 -1 4202560 32 245390 0 0 0 0 1245823 1991 19 0 22 0 529843287 507805696 7701 33554432000 4194304 5683644 140734243538320 18446744073709551615 264738228657 0 0 16781312 2 18446604453947926400 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 24489.3
Current children cumulated vsize (KiB) 3985416

Child status: 0
Real time (s): 3485.17
CPU time (s): 24489.7
CPU user time (s): 24450.7
CPU system time (s): 38.9291
CPU usage (%): 702.682
Max. virtual memory (cumulated for all children) (KiB): 15340148

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 24450.7
system time used= 38.9291
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 529911
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= 37699
involuntary context switches= 172346

runsolver used 30.0654 second user time and 62.2235 second system time

The end

Launcher Data 

Begin job on node141 at 2011-05-02 23:13:14
IDJOB=3322013
IDBENCH=82791
IDSOLVER=1712
FILE ID=node141/3322013-1304370794
RUNJOBID= node141-1304366465-12868
PBS_JOBID= 13181732
Free space on /tmp= 72852 MiB

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

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

MD5SUM BENCH= 8c477af50318fe10cbec1ad215bff97c
RANDOM SEED=449947506

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      17589304 kB
Buffers:       1433560 kB
Cached:        9028092 kB
SwapCached:          4 kB
Active:        7767640 kB
Inactive:      6970916 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      17589304 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           31904 kB
Writeback:           0 kB
AnonPages:     4276428 kB
Mapped:          25372 kB
Slab:           520772 kB
PageTables:      33576 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 77446448 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= 72820 MiB
End job on node141 at 2011-05-03 00:11:19