Trace number 3385248

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
borg-sat 11.03.02-par-random (fixed)? (MO) 10270.8 1296.02

General information on the benchmark

Namerandom/large/
unif-k7-r85-v400-c34000-S832901479-042-UNKNOWN.cnf
MD5SUMa5a87dc48ba0573fb8f2b8721bafcab2
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of clauses34000
Sum of the clauses size238000
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 534000

Solver Data 

0.40/3.51	c INFO: loaded portfolio from HOME/etc/borg-mix+class.random.pickle
0.40/3.51	c INFO: solving HOME/instance-3385248-1305564962.cnf
0.40/3.51	c INFO: computing task features
0.60/3.74	c INFO: computed variable-clause graph statistics
0.60/3.75	c INFO: computed clause balance statistics
1.89/5.00	c INFO: computed variable balance statistics
2.40/5.55	c INFO: computed small-clause counts
2.40/5.55	c INFO: computed Horn-clause counts
2.40/5.60	c INFO: computed variable graph statistics
2.40/5.60	c INFO: collected features for HOME/instance-3385248-1305564962.cnf in 2.08 s
2.51/5.63	c INFO: running gnovelty+2@0 for 97 with 4997 remaining (b = 0.38)
2.51/5.66	c INFO: running gnovelty+2@0 for 97 with 4997 remaining (b = 0.13)
2.51/5.70	c INFO: running adaptg2wsat2009++@0 for 97 with 4997 remaining (b = 0.08)
2.59/5.73	c INFO: running adaptg2wsat2009++@0 for 97 with 4997 remaining (b = 0.07)
2.59/5.76	c INFO: running adaptg2wsat2009++@0 for 97 with 4997 remaining (b = 0.05)
2.59/5.80	c INFO: running gnovelty+2@0 for 97 with 4997 remaining (b = 0.04)
2.69/5.83	c INFO: running FH@0 for 97 with 4997 remaining (b = 0.03)
2.69/5.87	c INFO: running adaptg2wsat2009++@0 for 97 with 4997 remaining (b = 0.03)
802.96/106.05	c INFO: running adaptg2wsat2009++@0 for 97 with 4897 remaining (b = 0.02)
802.96/106.09	c INFO: running FH@0 for 97 with 4897 remaining (b = 0.02)
803.60/106.13	c INFO: running hybridGM3@0 for 194 with 4897 remaining (b = 0.04)
803.60/106.19	c INFO: running gnovelty+2@0 for 97 with 4897 remaining (b = 0.02)
804.01/106.24	c INFO: running hybridGM3@0 for 194 with 4897 remaining (b = 0.03)
804.01/106.28	c INFO: running adaptg2wsat2009++@0 for 97 with 4897 remaining (b = 0.01)
804.14/106.33	c INFO: running hybridGM3@0 for 194 with 4897 remaining (b = 0.03)
804.14/106.38	c INFO: running hybridGM3@0 for 194 with 4897 remaining (b = 0.02)
1602.74/206.43	c INFO: running TNM@0 for 1552 with 4797 remaining (b = 0.18)
1602.74/206.48	c INFO: running FH@0 for 97 with 4797 remaining (b = 0.01)
1604.05/206.65	c INFO: running adaptg2wsat2009++@0 for 97 with 4796 remaining (b = 0.01)
1604.62/206.70	c INFO: running adaptg2wsat2009++@0 for 97 with 4796 remaining (b = 0.01)
2371.17/302.90	c INFO: running hybridGM3@98 for 97 with 4700 remaining (b = 0.01)
2371.96/303.04	c INFO: running hybridGM3@100 for 97 with 4700 remaining (b = 0.01)
2372.72/303.18	c INFO: running hybridGM3@97 for 97 with 4700 remaining (b = 0.01)
2379.88/304.04	c INFO: running adaptg2wsat2009++@0 for 97 with 4699 remaining (b = 0.01)
2402.17/306.90	c INFO: running adaptg2wsat2009++@100 for 97 with 4696 remaining (b = 0.01)
2420.51/309.14	c INFO: running hybridGM3@99 for 97 with 4694 remaining (b = 0.01)
2428.37/310.11	c INFO: running hybridGM3@0 for 194 with 4693 remaining (b = 0.02)
3130.14/398.27	c INFO: running hybridGM3@294 for 97 with 4605 remaining (b = 0.01)
3155.55/401.43	c INFO: running hybridGM3@0 for 194 with 4602 remaining (b = 0.02)
3177.83/404.29	c INFO: running TNM@0 for 1552 with 4599 remaining (b = 0.14)
3179.30/404.44	c INFO: running hybridGM3@296 for 97 with 4599 remaining (b = 0.01)
3180.01/404.53	c INFO: running adaptg2wsat2009++@100 for 97 with 4599 remaining (b = 0.01)
3180.01/404.59	c INFO: running iPAWS@0 for 97 with 4598 remaining (b = 0.01)
3937.59/499.67	c INFO: running hybridGM3@392 for 97 with 4503 remaining (b = 0.01)
3939.16/499.82	c INFO: running gnovelty+2@0 for 97 with 4503 remaining (b = 0.01)
3955.87/501.93	c INFO: running hybridGM3@390 for 97 with 4501 remaining (b = 0.01)
3986.14/505.77	c INFO: running FH@0 for 291 with 4497 remaining (b = 0.02)
3995.60/506.93	c INFO: running hybridGM3@94 for 97 with 4496 remaining (b = 0.01)
4721.78/598.24	c INFO: running hybridGM3@97 for 97 with 4405 remaining (b = 0.01)
4730.51/599.30	c INFO: running adaptg2wsat2009++@300 for 291 with 4404 remaining (b = 0.02)
4738.45/600.37	c INFO: running FH@100 for 291 with 4403 remaining (b = 0.02)
4744.01/601.07	c INFO: running iPAWS@0 for 97 with 4402 remaining (b = 0.01)
4794.19/607.35	c INFO: running hybridGM3@291 for 97 with 4396 remaining (b = 0.01)
5528.44/699.64	c INFO: running hybridGM3@0 for 194 with 4303 remaining (b = 0.01)
5542.68/701.48	c INFO: running TNM@0 for 1552 with 4302 remaining (b = 0.11)
5600.75/708.76	c INFO: running hybridGM3@388 for 194 with 4294 remaining (b = 0.02)
6293.66/795.81	c INFO: running FH@194 for 194 with 4207 remaining (b = 0.01)
7031.12/888.51	c INFO: running adaptg2wsat2009++@99 for 97 with 4115 remaining (b = 0.01)
7037.48/889.35	c INFO: running adaptg2wsat2009++@398 for 194 with 4114 remaining (b = 0.02)
7086.04/895.49	c INFO: running hybridGM3@99 for 97 with 4108 remaining (b = 0.01)
7206.91/910.61	c INFO: running FH@0 for 97 with 4092 remaining (b = 0.01)
7805.93/985.92	c INFO: running adaptg2wsat2009++@389 for 194 with 4017 remaining (b = 0.01)
7866.37/993.53	c INFO: running NCVWr@0 for 485 with 4010 remaining (b = 0.03)
7892.60/996.90	c INFO: running hybridGM3@291 for 194 with 4006 remaining (b = 0.02)
8005.71/1011.04	c INFO: running gnovelty+2@0 for 97 with 3992 remaining (b = 0.01)
8610.12/1087.08	c INFO: running hybridGM3@0 for 194 with 3916 remaining (b = 0.01)
8804.98/1111.53	c INFO: running FH@197 for 194 with 3892 remaining (b = 0.01)
9378.50/1183.67	c INFO: running iPAWS@0 for 97 with 3819 remaining (b = 0.01)
9458.08/1193.66	c INFO: running hybridGM3@391 for 97 with 3809 remaining (b = 0.01)
10176.08/1283.93	c INFO: running hybridGM3@99 for 97 with 3719 remaining (b = 0.01)
10176.87/1284.10	c INFO: running hybridGM3@0 for 194 with 3719 remaining (b = 0.01)
10264.24/1295.08	c INFO: running hybridGM3@0 for 194 with 3708 remaining (b = 0.01)
10270.78/1295.95	c INFO: running TNM@0 for 1552 with 3707 remaining (b = 0.08)

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3385248-1305564962/watcher-3385248-1305564962 -o /tmp/evaluation-result-3385248-1305564962/solver-3385248-1305564962 -C 40000 -W 5100 -M 31000 python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3385248-1305564962.cnf -seed 1352173723 -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: 0.00 0.00 0.00 2/426 9062
/proc/meminfo: memFree=14819648/32951124 swapFree=67111348/67111528
[pid=9062] ppid=9060 vsize=15380 CPUtime=0 cores=0-7
/proc/9062/stat : 9062 (python) R 9060 9062 9036 0 -1 4202496 790 0 0 0 0 0 0 0 20 0 1 0 668093981 15749120 679 33554432000 4194304 5683644 140735687797280 18446744073709551615 212687673344 0 2147483391 16781312 2 0 0 0 17 4 0 0 0
/proc/9062/statm: 3845 679 322 364 0 332 0

[startup+0.116022 s]
/proc/loadavg: 0.00 0.00 0.00 2/426 9062
/proc/meminfo: memFree=14819648/32951124 swapFree=67111348/67111528
[pid=9062] ppid=9060 vsize=18880 CPUtime=0.01 cores=0-7
/proc/9062/stat : 9062 (python) S 9060 9062 9036 0 -1 4202496 1233 0 0 0 1 0 0 0 20 0 1 0 668093981 19333120 1091 33554432000 4194304 5683644 140735687797280 18446744073709551615 212687673344 0 2147483391 16781312 2 18446744071699199166 0 0 17 4 0 0 0
/proc/9062/statm: 4720 1091 421 364 0 689 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 18880

[startup+0.201007 s]
/proc/loadavg: 0.00 0.00 0.00 2/426 9062
/proc/meminfo: memFree=14819648/32951124 swapFree=67111348/67111528
[pid=9062] ppid=9060 vsize=21100 CPUtime=0.02 cores=0-7
/proc/9062/stat : 9062 (python) S 9060 9062 9036 0 -1 4202496 1313 0 0 0 2 0 0 0 19 0 1 0 668093981 21606400 1165 33554432000 4194304 5683644 140735687797280 18446744073709551615 212687673344 0 2147483391 16781312 2 18446744071699199166 0 0 17 4 0 0 0
/proc/9062/statm: 5275 1165 428 364 0 722 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 21100

[startup+0.300998 s]
/proc/loadavg: 0.00 0.00 0.00 2/426 9062
/proc/meminfo: memFree=14819648/32951124 swapFree=67111348/67111528
[pid=9062] ppid=9060 vsize=36508 CPUtime=0.04 cores=0-7
/proc/9062/stat : 9062 (python) S 9060 9062 9036 0 -1 4202496 1575 0 0 0 3 1 0 0 18 0 1 0 668093981 37384192 1411 33554432000 4194304 5683644 140735687797280 18446744073709551615 212687673344 0 2147483391 16781312 2 18446744071699199166 0 0 17 4 0 0 0
/proc/9062/statm: 9127 1411 452 364 0 944 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 36508

[startup+0.700925 s]
/proc/loadavg: 0.00 0.00 0.00 2/426 9062
/proc/meminfo: memFree=14819648/32951124 swapFree=67111348/67111528
[pid=9062] ppid=9060 vsize=102008 CPUtime=0.07 cores=0-7
/proc/9062/stat : 9062 (python) R 9060 9062 9036 0 -1 4202496 3003 0 0 0 5 2 0 0 15 0 1 0 668093981 104456192 2697 33554432000 4194304 5683644 140735687797280 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/9062/statm: 25502 2700 841 364 0 1802 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 102008

[startup+1.50078 s]
/proc/loadavg: 0.00 0.00 0.00 1/427 9063
/proc/meminfo: memFree=14807736/32951124 swapFree=67111348/67111528
[pid=9062] ppid=9060 vsize=135748 CPUtime=0.18 cores=0-7
/proc/9062/stat : 9062 (python) S 9060 9062 9036 0 -1 4202496 5958 932 1 0 13 5 0 0 15 0 1 0 668093981 139005952 4151 33554432000 4194304 5683644 140735687797280 18446744073709551615 212687671301 0 2147483391 16781312 2 18446744071699199166 0 0 17 4 0 0 0
/proc/9062/statm: 33937 4151 1032 364 0 3123 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 135748

[startup+3.10048 s]
/proc/loadavg: 0.00 0.00 0.00 1/427 9067
/proc/meminfo: memFree=14805256/32951124 swapFree=67111348/67111528
[pid=9062] ppid=9060 vsize=202004 CPUtime=0.3 cores=0-7
/proc/9062/stat : 9062 (python) S 9060 9062 9036 0 -1 4202496 7221 932 1 0 21 9 0 0 15 0 1 0 668093981 206852096 5254 33554432000 4194304 5683644 140735687797280 18446744073709551615 212687673344 0 2147483391 16781312 2 18446744071699199166 0 0 17 4 0 0 0
/proc/9062/statm: 50501 5254 1490 364 0 4010 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 202004
heavy processes:

[startup+6.30085 s]
/proc/loadavg: 0.00 0.00 0.00 2/427 9068
/proc/meminfo: memFree=14786044/32951124 swapFree=67111348/67111528
[pid=9062] ppid=9060 vsize=364460 CPUtime=2.76 cores=0-7
/proc/9062/stat : 9062 (python) S 9060 9062 9036 0 -1 4202496 20299 932 1 0 261 15 0 0 19 0 9 0 668093981 373207040 8082 33554432000 4194304 5683644 140735687797280 18446744073709551615 212699502027 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0
/proc/9062/statm: 91115 8082 1891 364 0 27012 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 364460
heavy processes:

[startup+12.7017 s]
/proc/loadavg: 0.71 0.15 0.05 9/451 9092
/proc/meminfo: memFree=14713544/32951124 swapFree=67111348/67111528
[pid=9062] ppid=9060 vsize=364460 CPUtime=2.76 cores=0-7
/proc/9062/stat : 9062 (python) S 9060 9062 9036 0 -1 4202496 20299 932 1 0 261 15 0 0 19 0 9 0 668093981 373207040 8082 33554432000 4194304 5683644 140735687797280 18446744073709551615 212699502027 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0
/proc/9062/statm: 91115 8082 1891 364 0 27012 0
[pid=9069] ppid=9062 vsize=282300 CPUtime=0.01 cores=0-7
/proc/9069/stat : 9069 (python) S 9062 9062 9036 0 -1 4202560 894 0 0 0 1 0 0 0 18 0 1 0 668094545 289075200 6352 33554432000 4194304 5683644 140735687797280 18446744073709551615 212687695375 0 0 16781312 514 3602959420784345347 0 0 17 1 0 0 0
/proc/9069/statm: 70575 6352 378 364 0 6493 0
[pid=9071] ppid=9069 vsize=1020188 CPUtime=7.05 cores=0-7
/proc/9071/stat : 9071 (gnovelty+2) R 9069 9071 9071 0 -1 4202496 1142 0 0 0 705 0 0 0 25 0 1 0 668094545 1044672512 877 33554432000 134512640 135663704 4294361680 18446744073709551615 134545631 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/9071/statm: 255047 877 113 282 0 254763 0
[pid=9072] ppid=9062 vsize=293164 CPUtime=0.02 cores=0-7
/proc/9072/stat : 9072 (python) S 9062 9062 9036 0 -1 4202560 912 0 0 0 1 1 0 0 18 0 1 0 668094548 300199936 6401 33554432000 4194304 5683644 140735687797280 18446744073709551615 212687695430 0 0 16781312 514 3602951724202950916 0 0 17 4 0 0 0
/proc/9072/statm: 73291 6401 372 364 0 9206 0
[pid=9074] ppid=9072 vsize=1020188 CPUtime=7.02 cores=0-7
/proc/9074/stat : 9074 (gnovelty+2) R 9072 9074 9074 0 -1 4202496 1139 0 0 0 702 0 0 0 25 0 1 0 668094548 1044672512 876 33554432000 134512640 135663704 4288527984 18446744073709551615 134545646 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/9074/statm: 255047 876 113 282 0 254763 0
[pid=9075] ppid=9062 vsize=302936 CPUtime=0.01 cores=0-7
/proc/9075/stat : 9075 (python) S 9062 9062 9036 0 -1 4202560 915 0 0 0 0 1 0 0 18 0 1 0 668094551 310206464 6537 33554432000 4194304 5683644 140735687797280 18446744073709551615 212687695430 0 0 16781312 514 14238624181825536257 0 0 17 0 0 0 0
/proc/9075/statm: 75734 6537 369 364 0 11646 0
[pid=9077] ppid=9075 vsize=421804 CPUtime=6.99 cores=0-7
/proc/9077/stat : 9077 (adaptg2wsat2009) R 9075 9077 9077 0 -1 4202496 2136 0 0 0 699 0 0 0 25 0 1 0 668094552 431927296 1871 33554432000 134512640 135107411 4293655328 18446744073709551615 134532416 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/9077/statm: 105451 1871 59 146 0 104327 0
[pid=9078] ppid=9062 vsize=313192 CPUtime=0.02 cores=0-7
/proc/9078/stat : 9078 (python) S 9062 9062 9036 0 -1 4202560 940 0 0 0 1 1 0 0 18 0 1 0 668094554 320708608 6542 33554432000 4194304 5683644 140735687797280 18446744073709551615 212687695430 0 0 16781312 514 3545058863587754243 0 0 17 0 0 0 0
/proc/9078/statm: 78298 6542 370 364 0 14207 0
[pid=9080] ppid=9078 vsize=421804 CPUtime=6.84 cores=0-7
/proc/9080/stat : 9080 (adaptg2wsat2009) R 9078 9080 9080 0 -1 4202496 2137 0 0 0 684 0 0 0 25 0 1 0 668094555 431927296 1872 33554432000 134512640 135107411 4292530640 18446744073709551615 134531942 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/9080/statm: 105451 1872 59 146 0 104327 0
[pid=9081] ppid=9062 vsize=323448 CPUtime=0.01 cores=0-7
/proc/9081/stat : 9081 (python) S 9062 9062 9036 0 -1 4202560 936 0 0 0 0 1 0 0 18 0 1 0 668094558 331210752 6546 33554432000 4194304 5683644 140735687797280 18446744073709551615 212687695430 0 0 16781312 514 7280425593462554883 0 0 17 6 0 0 0
/proc/9081/statm: 80862 6546 370 364 0 16768 0
[pid=9083] ppid=9081 vsize=421804 CPUtime=6.9 cores=0-7
/proc/9083/stat : 9083 (adaptg2wsat2009) R 9081 9083 9083 0 -1 4202496 2138 0 0 0 690 0 0 0 25 0 1 0 668094558 431927296 1872 33554432000 134512640 135107411 4294178368 18446744073709551615 134532135 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/9083/statm: 105451 1872 59 146 0 104327 0
[pid=9084] ppid=9062 vsize=333704 CPUtime=0.01 cores=0-7
/proc/9084/stat : 9084 (python) S 9062 9062 9036 0 -1 4202560 949 0 0 0 1 0 0 0 18 0 1 0 668094561 341712896 6550 33554432000 4194304 5683644 140735687797280 18446744073709551615 212687695430 0 0 16781312 514 4390521457818435843 0 0 17 6 0 0 0
/proc/9084/statm: 83426 6550 370 364 0 19329 0
[pid=9086] ppid=9084 vsize=1020188 CPUtime=6.87 cores=0-7
/proc/9086/stat : 9086 (gnovelty+2) R 9084 9086 9086 0 -1 4202496 1142 0 0 0 687 0 0 0 25 0 1 0 668094562 1044672512 876 33554432000 134512640 135663704 4289576192 18446744073709551615 134525255 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/9086/statm: 255047 876 113 282 0 254763 0
[pid=9087] ppid=9062 vsize=343960 CPUtime=0.01 cores=0-7
/proc/9087/stat : 9087 (python) S 9062 9062 9036 0 -1 4202560 967 0 0 0 1 0 0 0 18 0 1 0 668094565 352215040 6554 33554432000 4194304 5683644 140735687797280 18446744073709551615 212687695430 0 0 16781312 514 10411848728141857026 0 0 17 6 0 0 0
/proc/9087/statm: 85990 6554 370 364 0 21890 0
[pid=9089] ppid=9087 vsize=251288 CPUtime=6.75 cores=0-7
/proc/9089/stat : 9089 (FH) R 9087 9089 9089 0 -1 4202496 1960 0 0 0 675 0 0 0 25 0 1 0 668094565 257318912 1693 33554432000 134512640 134936988 4291878992 18446744073709551615 134554990 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/9089/statm: 62822 1693 41 104 0 62326 0
[pid=9090] ppid=9062 vsize=354408 CPUtime=0.01 cores=0-7
/proc/9090/stat : 9090 (python) S 9062 9062 9036 0 -1 4202560 1013 0 0 0 0 1 0 0 18 0 1 0 668094568 362913792 6566 33554432000 4194304 5683644 140735687797280 18446744073709551615 212687695430 0 0 16781312 514 10411860273013948673 0 0 17 0 0 0 0
/proc/9090/statm: 88602 6566 378 364 0 24499 0
[pid=9092] ppid=9090 vsize=421804 CPUtime=6.76 cores=0-7
/proc/9092/stat : 9092 (adaptg2wsat2009) R 9090 9092 9092 0 -1 4202496 2145 0 0 0 676 0 0 0 25 0 1 0 668094568 431927296 1873 33554432000 134512640 135107411 4292723520 18446744073709551615 134532128 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/9092/statm: 105451 1873 59 146 0 104327 0
[pid=9062/tid=9070] ppid=9060 vsize=364460 CPUtime=0 cores=0-7
/proc/9062/task/9070/stat : 9070 (python) S 9060 9062 9036 0 -1 4202560 26 932 0 0 0 0 0 0 19 0 9 0 668094545 373207040 8082 33554432000 4194304 5683644 140735687797280 18446744073709551615 212699498929 0 0 16781312 2 18446604450135869376 0 0 -1 6 0 0 0
[pid=9062/tid=9073] ppid=9060 vsize=364460 CPUtime=0 cores=0-7
/proc/9062/task/9073/stat : 9073 (python) S 9060 9062 9036 0 -1 4202560 25 932 0 0 0 0 0 0 21 0 9 0 668094548 373207040 8082 33554432000 4194304 5683644 140735687797280 18446744073709551615 212699498929 0 0 16781312 2 18446604450135869376 0 0 -1 6 0 0 0
[pid=9062/tid=9076] ppid=9060 vsize=364460 CPUtime=0 cores=0-7
/proc/9062/task/9076/stat : 9076 (python) S 9060 9062 9036 0 -1 4202560 25 932 0 0 0 0 0 0 23 0 9 0 668094551 373207040 8082 33554432000 4194304 5683644 140735687797280 18446744073709551615 212699498929 0 0 16781312 2 18446604450135869376 0 0 -1 6 0 0 0
[pid=9062/tid=9079] ppid=9060 vsize=364460 CPUtime=0 cores=0-7
/proc/9062/task/9079/stat : 9079 (python) S 9060 9062 9036 0 -1 4202560 24 932 0 0 0 0 0 0 25 0 9 0 668094555 373207040 8082 33554432000 4194304 5683644 140735687797280 18446744073709551615 212699498929 0 0 16781312 2 18446604450135869376 0 0 -1 0 0 0 0
[pid=9062/tid=9082] ppid=9060 vsize=364460 CPUtime=0 cores=0-7
/proc/9062/task/9082/stat : 9082 (python) S 9060 9062 9036 0 -1 4202560 24 932 0 0 0 0 0 0 18 0 9 0 668094558 373207040 8082 33554432000 4194304 5683644 140735687797280 18446744073709551615 212699498929 0 0 16781312 2 18446604450135869376 0 0 -1 6 0 0 0
[pid=9062/tid=9085] ppid=9060 vsize=364460 CPUtime=0 cores=0-7
/proc/9062/task/9085/stat : 9085 (python) S 9060 9062 9036 0 -1 4202560 20 932 0 0 0 0 0 0 17 0 9 0 668094561 373207040 8082 33554432000 4194304 5683644 140735687797280 18446744073709551615 212699498929 0 0 16781312 2 18446604450135869376 0 0 -1 6 0 0 0
[pid=9062/tid=9088] ppid=9060 vsize=364460 CPUtime=0 cores=0-7
/proc/9062/task/9088/stat : 9088 (python) S 9060 9062 9036 0 -1 4202560 24 932 0 0 0 0 0 0 24 0 9 0 668094565 373207040 8082 33554432000 4194304 5683644 140735687797280 18446744073709551615 212699498929 0 0 16781312 2 18446604450135869376 0 0 -1 6 0 0 0
[pid=9062/tid=9091] ppid=9060 vsize=364460 CPUtime=0 cores=0-7
/proc/9062/task/9091/stat : 9091 (python) S 9060 9062 9036 0 -1 4202560 28 932 0 0 0 0 0 0 18 0 9 0 668094568 373207040 8082 33554432000 4194304 5683644 140735687797280 18446744073709551615 212699498929 0 0 16781312 2 18446604450135869376 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 58.04
Current children cumulated vsize (KiB) 7910640

[startup+25.5014 s]
/proc/loadavg: 1.83 0.41 0.13 9/451 9092
/proc/meminfo: memFree=14713500/32951124 swapFree=67111348/67111528
[pid=9062] ppid=9060 vsize=364460 CPUtime=2.76 cores=0-7
/proc/9062/stat : 9062 (python) S 9060 9062 9036 0 -1 4202496 20299 932 1 0 261 15 0 0 19 0 9 0 668093981 373207040 8082 33554432000 4194304 5683644 140735687797280 18446744073709551615 212699502027 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0
/proc/9062/statm: 91115 8082 1891 364 0 27012 0
[pid=9069] ppid=9062 vsize=282300 CPUtime=0.05 cores=0-7
/proc/9069/stat : 9069 (python) S 9062 9062 9036 0 -1 4202560 901 0 0 0 2 3 0 0 18 0 1 0 668094545 289075200 6352 33554432000 4194304 5683644 140735687797280 18446744073709551615 212687695375 0 0 16781312 514 7619334105510936835 0 0 17 1 0 0 0
/proc/9069/statm: 70575 6352 378 364 0 6493 0
[pid=9071] ppid=9069 vsize=1020188 CPUtime=19.85 cores=0-7
/proc/9071/stat : 9071 (gnovelty+2) R 9069 9071 9071 0 -1 4202496 1142 0 0 0 1985 0 0 0 25 0 1 0 668094545 1044672512 877 33554432000 134512640 135663704 4294361680 18446744073709551615 134524897 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/9071/statm: 255047 877 113 282 0 254763 0
[pid=9072] ppid=9062 vsize=293164 CPUtime=0.05 cores=0-7
/proc/9072/stat : 9072 (python) S 9062 9062 9036 0 -1 4202560 918 0 0 0 3 2 0 0 18 0 1 0 668094548 300199936 6401 33554432000 4194304 5683644 140735687797280 18446744073709551615 212687695430 0 0 16781312 514 7619334105510936836 0 0 17 4 0 0 0
/proc/9072/statm: 73291 6401 372 364 0 9206 0
[pid=9074] ppid=9072 vsize=1020188 CPUtime=19.82 cores=0-7
/proc/9074/stat : 9074 (gnovelty+2) R 9072 9074 9074 0 -1 4202496 1139 0 0 0 1982 0 0 0 25 0 1 0 668094548 1044672512 876 33554432000 134512640 135663704 4288527984 18446744073709551615 134525213 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/9074/statm: 255047 876 113 282 0 254763 0
[pid=9075] ppid=9062 vsize=302936 CPUtime=0.05 cores=0-7
/proc/9075/stat : 9075 (python) S 9062 9062 9036 0 -1 4202560 918 0 0 0 3 2 0 0 18 0 1 0 668094551 310206464 6538 33554432000 4194304 5683644 140735687797280 18446744073709551615 212687695430 0 0 16781312 514 7619334105510936833 0 0 17 0 0 0 0
/proc/9075/statm: 75734 6538 370 364 0 11646 0
[pid=9077] ppid=9075 vsize=421804 CPUtime=19.79 cores=0-7
/proc/9077/stat : 9077 (adaptg2wsat2009) R 9075 9077 9077 0 -1 4202496 2136 0 0 0 1979 0 0 0 25 0 1 0 668094552 431927296 1871 33554432000 134512640 135107411 4293655328 18446744073709551615 134532349 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/9077/statm: 105451 1871 59 146 0 104327 0
[pid=9078] ppid=9062 vsize=313192 CPUtime=0.05 cores=0-7
/proc/9078/stat : 9078 (python) S 9062 9062 9036 0 -1 4202560 945 0 0 0 2 3 0 0 18 0 1 0 668094554 320708608 6542 33554432000 4194304 5683644 140735687797280 18446744073709551615 212687695430 0 0 16781312 514 7619334105510936835 0 0 17 0 0 0 0
/proc/9078/statm: 78298 6542 370 364 0 14207 0
[pid=9080] ppid=9078 vsize=421804 CPUtime=19.43 cores=0-7
/proc/9080/stat : 9080 (adaptg2wsat2009) R 9078 9080 9080 0 -1 4202496 2137 0 0 0 1943 0 0 0 25 0 1 0 668094555 431927296 1872 33554432000 134512640 135107411 4292530640 18446744073709551615 134532349 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/9080/statm: 105451 1872 59 146 0 104327 0
[pid=9081] ppid=9062 vsize=323448 CPUtime=0.05 cores=0-7
/proc/9081/stat : 9081 (python) S 9062 9062 9036 0 -1 4202560 941 0 0 0 3 2 0 0 18 0 1 0 668094558 331210752 6546 33554432000 4194304 5683644 140735687797280 18446744073709551615 212687695430 0 0 16781312 514 7619334105510936835 0 0 17 6 0 0 0
/proc/9081/statm: 80862 6546 370 364 0 16768 0
[pid=9083] ppid=9081 vsize=421804 CPUtime=19.66 cores=0-7

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

[pid=9168] ppid=9062 vsize=563620 CPUtime=0.35 cores=0-7
/proc/9168/stat : 9168 (python) S 9062 9062 9036 0 -1 4202560 1191 0 0 0 20 15 0 0 19 0 2 0 668134441 577146880 7040 33554432000 4194304 5683644 140735687797280 18446744073709551615 212699502027 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/9168/statm: 140905 7040 407 364 0 76760 0
[pid=9170] ppid=9168 vsize=335996 CPUtime=97.16 cores=0-7
/proc/9170/stat : 9170 (iPAWS) T 9168 9170 9170 0 -1 4202496 2028 0 0 0 9716 0 0 0 25 0 1 0 668134441 344059904 1749 33554432000 134512640 135114423 4287646288 18446744073709551615 134516295 0 0 16781312 0 18446744071562691360 0 0 17 7 0 0 0
/proc/9170/statm: 83999 1749 59 147 0 83851 0
[pid=9168/tid=9180] ppid=9062 vsize=563620 CPUtime=0 cores=0-7
/proc/9168/task/9180/stat : 9180 (python) S 9062 9062 9036 0 -1 4202560 95 0 0 0 0 0 0 0 19 0 2 0 668144553 577146880 7040 33554432000 4194304 5683644 140735687797280 18446744073709551615 212699498929 0 0 16781312 514 18446604457581495232 0 0 -1 1 0 0 0
[pid=9176] ppid=9062 vsize=573876 CPUtime=0.35 cores=0-7
/proc/9176/stat : 9176 (python) S 9062 9062 9036 0 -1 4202560 1190 0 0 0 17 18 0 0 19 0 2 0 668143963 587649024 7033 33554432000 4194304 5683644 140735687797280 18446744073709551615 212699502027 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/9176/statm: 143469 7033 407 364 0 79321 0
[pid=9178] ppid=9176 vsize=1020188 CPUtime=99.41 cores=0-7
/proc/9178/stat : 9178 (gnovelty+2) T 9176 9178 9178 0 -1 4202496 1162 0 0 0 9941 0 0 0 25 0 1 0 668143964 1044672512 877 33554432000 134512640 135663704 4287952496 18446744073709551615 134525255 0 0 16781312 0 18446744071562691360 0 0 17 5 0 0 0
/proc/9178/statm: 255047 877 113 282 0 254763 0
[pid=9176/tid=9185] ppid=9062 vsize=573876 CPUtime=0 cores=0-7
/proc/9176/task/9185/stat : 9185 (python) S 9062 9062 9036 0 -1 4202560 89 0 0 0 0 0 0 0 19 0 2 0 668153906 587649024 7033 33554432000 4194304 5683644 140735687797280 18446744073709551615 212699498929 0 0 16781312 514 18446604465690725184 0 0 -1 5 0 0 0
[pid=9186] ppid=9062 vsize=584132 CPUtime=0.36 cores=0-7
/proc/9186/stat : 9186 (python) S 9062 9062 9036 0 -1 4202560 1203 0 0 0 18 18 0 0 19 0 2 0 668154088 598151168 7083 33554432000 4194304 5683644 140735687797280 18446744073709551615 212699502027 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/9186/statm: 146033 7083 406 364 0 81882 0
[pid=9188] ppid=9186 vsize=335996 CPUtime=99.6 cores=0-7
/proc/9188/stat : 9188 (iPAWS) T 9186 9188 9188 0 -1 4202496 2032 0 0 0 9960 0 0 0 25 0 1 0 668154089 344059904 1751 33554432000 134512640 135114423 4288339760 18446744073709551615 134514774 0 0 16781312 0 18446744071562691360 0 0 17 6 0 0 0
/proc/9188/statm: 83999 1751 59 147 0 83851 0
[pid=9186/tid=9195] ppid=9062 vsize=584132 CPUtime=0 cores=0-7
/proc/9186/task/9195/stat : 9195 (python) S 9062 9062 9036 0 -1 4202560 94 0 0 0 0 0 0 0 19 0 2 0 668164123 598151168 7083 33554432000 4194304 5683644 140735687797280 18446744073709551615 212699498929 0 0 16781312 514 18446604466911455424 0 0 -1 1 0 0 0
[pid=9192] ppid=9062 vsize=594904 CPUtime=2.17 cores=0-7
/proc/9192/stat : 9192 (python) S 9062 9062 9036 0 -1 4202560 1289 0 0 0 108 109 0 0 18 0 2 0 668163946 609181696 7036 33554432000 4194304 5683644 140735687797280 18446744073709551615 212699502027 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/9192/statm: 148726 7036 401 364 0 84572 0
[pid=9194] ppid=9192 vsize=268424 CPUtime=587.71 cores=0-7
/proc/9194/stat : 9194 (hybridGM3) T 9192 9194 9194 0 -1 4202496 5668 0 0 0 58771 0 0 0 25 0 1 0 668163946 274866176 5378 33554432000 134512640 135204385 4289630752 18446744073709551615 134538264 0 0 16781312 0 18446744071562691360 0 0 17 2 0 0 0
/proc/9194/statm: 67106 5378 63 169 0 66936 0
[pid=9192/tid=9204] ppid=9062 vsize=594904 CPUtime=0 cores=0-7
/proc/9192/task/9204/stat : 9204 (python) S 9062 9062 9036 0 -1 4202560 46 0 0 0 0 0 0 0 18 0 2 0 668183525 609181696 7036 33554432000 4194304 5683644 140735687797280 18446744073709551615 212699498929 0 0 16781312 514 18446604455479797888 0 0 -1 1 0 0 0
[pid=9196] ppid=9062 vsize=604644 CPUtime=2.12 cores=0-7
/proc/9196/stat : 9196 (python) S 9062 9062 9036 0 -1 4202560 970 0 0 0 113 99 0 0 18 0 1 0 668164129 619155456 7060 33554432000 4194304 5683644 140735687797280 18446744073709551615 212687695430 0 0 16781312 514 7619334105510936837 0 0 17 0 0 0 0
/proc/9196/statm: 151161 7060 372 364 0 87004 0
[pid=9198] ppid=9196 vsize=459768 CPUtime=590.84 cores=0-7
/proc/9198/stat : 9198 (TNM) R 9196 9198 9198 0 -1 4202496 1941 0 0 0 59079 5 0 0 25 0 1 0 668164130 470802432 1657 33554432000 134512640 135008748 4287440976 18446744073709551615 134528967 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/9198/statm: 114942 1657 46 122 0 113842 0
[pid=9206] ppid=9062 vsize=614900 CPUtime=0.37 cores=0-7
/proc/9206/stat : 9206 (python) S 9062 9062 9036 0 -1 4202560 1187 0 0 0 17 20 0 0 19 0 2 0 668185043 629657600 7115 33554432000 4194304 5683644 140735687797280 18446744073709551615 212699502027 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/9206/statm: 153725 7115 400 364 0 89565 0
[pid=9208] ppid=9206 vsize=251292 CPUtime=99.99 cores=0-7
/proc/9208/stat : 9208 (FH) T 9206 9208 9208 0 -1 4202496 1978 0 0 0 9999 0 0 0 25 0 1 0 668185043 257323008 1694 33554432000 134512640 134936988 4288775440 18446744073709551615 134552368 0 0 16781312 0 18446744071562691360 0 0 17 6 0 0 0
/proc/9208/statm: 62823 1694 41 104 0 62327 0
[pid=9206/tid=9214] ppid=9062 vsize=614900 CPUtime=0 cores=0-7
/proc/9206/task/9214/stat : 9214 (python) S 9062 9062 9036 0 -1 4202560 97 0 0 0 0 0 0 0 19 0 2 0 668195080 629657600 7115 33554432000 4194304 5683644 140735687797280 18446744073709551615 212699498929 0 0 16781312 514 18446604463762814976 0 0 -1 6 0 0 0
[pid=9211] ppid=9062 vsize=625156 CPUtime=1.09 cores=0-7
/proc/9211/stat : 9211 (python) S 9062 9062 9036 0 -1 4202560 998 0 0 0 57 52 0 0 18 0 1 0 668193334 640159744 7127 33554432000 4194304 5683644 140735687797280 18446744073709551615 212687695430 0 0 16781312 514 7619334105510936838 0 0 17 1 0 0 0
/proc/9211/statm: 156289 7127 373 364 0 92126 0
[pid=9213] ppid=9211 vsize=421344 CPUtime=288.42 cores=0-7
/proc/9213/stat : 9213 (NCVWr) R 9211 9213 9213 0 -1 4202496 1996 0 0 0 28841 1 0 0 25 0 1 0 668193335 431456256 1713 33554432000 134512640 135113558 4292101536 18446744073709551615 134531127 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/9213/statm: 105336 1713 58 147 0 104211 0
[pid=9215] ppid=9062 vsize=635412 CPUtime=0.37 cores=0-7
/proc/9215/stat : 9215 (python) S 9062 9062 9036 0 -1 4202560 1236 0 0 0 18 19 0 0 19 0 2 0 668195086 650661888 7168 33554432000 4194304 5683644 140735687797280 18446744073709551615 212699502027 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/9215/statm: 158853 7168 406 364 0 94687 0
[pid=9217] ppid=9215 vsize=1020188 CPUtime=99.5 cores=0-7
/proc/9217/stat : 9217 (gnovelty+2) T 9215 9217 9217 0 -1 4202496 1174 0 0 0 9950 0 0 0 25 0 1 0 668195086 1044672512 877 33554432000 134512640 135663704 4290119056 18446744073709551615 134525276 0 0 16781312 0 18446744071562691360 0 0 17 2 0 0 0
/proc/9217/statm: 255047 877 113 282 0 254763 0
[pid=9215/tid=9224] ppid=9062 vsize=635412 CPUtime=0 cores=0-7
/proc/9215/task/9224/stat : 9224 (python) S 9062 9062 9036 0 -1 4202560 96 0 0 0 0 0 0 0 19 0 2 0 668205128 650661888 7168 33554432000 4194304 5683644 140735687797280 18446744073709551615 212699498929 0 0 16781312 514 18446604469316630656 0 0 -1 2 0 0 0
[pid=9220] ppid=9062 vsize=645668 CPUtime=0.76 cores=0-7
/proc/9220/stat : 9220 (python) S 9062 9062 9036 0 -1 4202560 1244 0 0 0 40 36 0 0 18 0 2 0 668202690 661164032 7258 33554432000 4194304 5683644 140735687797280 18446744073709551615 212687695430 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/9220/statm: 161417 7258 407 364 0 97248 0
[pid=9222] ppid=9220 vsize=268420 CPUtime=207.62 cores=0-7
/proc/9222/stat : 9222 (hybridGM3) R 9220 9222 9222 0 -1 4202496 5665 0 0 0 20762 0 0 0 25 0 1 0 668202690 274862080 5377 33554432000 134512640 135204385 4287722624 18446744073709551615 134537704 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/9222/statm: 67105 5377 63 169 0 66935 0
[pid=9220/tid=9233] ppid=9062 vsize=645668 CPUtime=0 cores=0-7
/proc/9220/task/9233/stat : 9233 (python) S 9062 9062 9036 0 -1 4202560 94 0 0 0 0 0 0 0 19 0 2 0 668222369 661164032 7258 33554432000 4194304 5683644 140735687797280 18446744073709551615 212699498929 0 0 16781312 514 18446604470354284608 0 0 -1 2 0 0 0
[pid=9227] ppid=9062 vsize=655924 CPUtime=0.37 cores=0-7
/proc/9227/stat : 9227 (python) S 9062 9062 9036 0 -1 4202560 1254 0 0 0 18 19 0 0 19 0 2 0 668212349 671666176 7244 33554432000 4194304 5683644 140735687797280 18446744073709551615 212699502027 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/9227/statm: 163981 7244 406 364 0 99809 0
[pid=9229] ppid=9227 vsize=335996 CPUtime=100.15 cores=0-7
/proc/9229/stat : 9229 (iPAWS) T 9227 9229 9229 0 -1 4202496 2036 0 0 0 10015 0 0 0 25 0 1 0 668212349 344059904 1749 33554432000 134512640 135114423 4290727504 18446744073709551615 134547175 0 0 16781312 0 18446744071562691360 0 0 17 6 0 0 0
/proc/9229/statm: 83999 1749 59 147 0 83851 0
[pid=9227/tid=9234] ppid=9062 vsize=655924 CPUtime=0 cores=0-7
/proc/9227/task/9234/stat : 9234 (python) S 9062 9062 9036 0 -1 4202560 95 0 0 0 0 0 0 0 19 0 2 0 668222385 671666176 7244 33554432000 4194304 5683644 140735687797280 18446744073709551615 212699498929 0 0 16781312 514 18446604460503588992 0 0 -1 6 0 0 0
[pid=9235] ppid=9062 vsize=666180 CPUtime=0.04 cores=0-7
/proc/9235/stat : 9235 (python) S 9062 9062 9036 0 -1 4202560 1055 0 0 0 2 2 0 0 18 0 1 0 668222391 682168320 7253 33554432000 4194304 5683644 140735687797280 18446744073709551615 212687695430 0 0 16781312 514 7619334105510936839 0 0 17 1 0 0 0
/proc/9235/statm: 166545 7253 378 364 0 102370 0
[pid=9237] ppid=9235 vsize=268424 CPUtime=11.49 cores=0-7
/proc/9237/stat : 9237 (hybridGM3) R 9235 9237 9237 0 -1 4202496 5667 0 0 0 1149 0 0 0 25 0 1 0 668222392 274866176 5377 33554432000 134512640 135204385 4293573504 18446744073709551615 134538257 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/9237/statm: 67106 5377 63 169 0 66936 0
[pid=9238] ppid=9062 vsize=676436 CPUtime=0 cores=0-7
/proc/9238/stat : 9238 (python) S 9062 9062 9036 0 -1 4202560 968 0 0 0 0 0 0 0 19 0 1 0 668223489 692670464 7298 33554432000 4194304 5683644 140735687797280 18446744073709551615 212687695430 0 0 16781312 514 450220054177382399 0 0 17 1 0 0 0
/proc/9238/statm: 169109 7298 356 364 0 104931 0
[pid=9240] ppid=9238 vsize=268420 CPUtime=0.73 cores=0-7
/proc/9240/stat : 9240 (hybridGM3) R 9238 9240 9240 0 -1 4202496 5671 0 0 0 73 0 0 0 22 0 1 0 668223490 274862080 5377 33554432000 134512640 135204385 4287968352 18446744073709551615 134537776 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/9240/statm: 67105 5377 63 169 0 66935 0
[pid=9062/tid=9070] ppid=9060 vsize=686680 CPUtime=0 cores=0-7
/proc/9062/task/9070/stat : 9070 (python) S 9060 9062 9036 0 -1 4202560 26 932 0 0 0 0 0 0 19 0 34 0 668094545 703160320 8888 33554432000 4194304 5683644 140735687797280 18446744073709551615 212699498929 0 0 16781312 2 18446604450135869376 0 0 -1 6 0 0 0
[pid=9062/tid=9073] ppid=9060 vsize=686680 CPUtime=0 cores=0-7
/proc/9062/task/9073/stat : 9073 (python) S 9060 9062 9036 0 -1 4202560 25 932 0 0 0 0 0 0 21 0 34 0 668094548 703160320 8888 33554432000 4194304 5683644 140735687797280 18446744073709551615 212699498929 0 0 16781312 2 18446604450135869376 0 0 -1 6 0 0 0
[pid=9062/tid=9076] ppid=9060 vsize=686680 CPUtime=0 cores=0-7
/proc/9062/task/9076/stat : 9076 (python) S 9060 9062 9036 0 -1 4202560 29 932 0 0 0 0 0 0 18 0 34 0 668094551 703160320 8888 33554432000 4194304 5683644 140735687797280 18446744073709551615 212699498929 0 0 16781312 2 18446604450135869376 0 0 -1 6 0 0 0
[pid=9062/tid=9079] ppid=9060 vsize=686680 CPUtime=0 cores=0-7
/proc/9062/task/9079/stat : 9079 (python) S 9060 9062 9036 0 -1 4202560 29 932 0 0 0 0 0 0 18 0 34 0 668094555 703160320 8888 33554432000 4194304 5683644 140735687797280 18446744073709551615 212699498929 0 0 16781312 2 18446604450135869376 0 0 -1 0 0 0 0
[pid=9062/tid=9082] ppid=9060 vsize=686680 CPUtime=0 cores=0-7
/proc/9062/task/9082/stat : 9082 (python) S 9060 9062 9036 0 -1 4202560 29 932 0 0 0 0 0 0 18 0 34 0 668094558 703160320 8888 33554432000 4194304 5683644 140735687797280 18446744073709551615 212699498929 0 0 16781312 2 18446604450135869376 0 0 -1 6 0 0 0
[pid=9062/tid=9085] ppid=9060 vsize=686680 CPUtime=0 cores=0-7
/proc/9062/task/9085/stat : 9085 (python) S 9060 9062 9036 0 -1 4202560 20 932 0 0 0 0 0 0 17 0 34 0 668094561 703160320 8888 33554432000 4194304 5683644 140735687797280 18446744073709551615 212699498929 0 0 16781312 2 18446604450135869376 0 0 -1 6 0 0 0
[pid=9062/tid=9088] ppid=9060 vsize=686680 CPUtime=0 cores=0-7
/proc/9062/task/9088/stat : 9088 (python) S 9060 9062 9036 0 -1 4202560 35 932 0 0 0 0 0 0 18 0 34 0 668094565 703160320 8888 33554432000 4194304 5683644 140735687797280 18446744073709551615 212699498929 0 0 16781312 2 18446604450135869376 0 0 -1 6 0 0 0
[pid=9062/tid=9091] ppid=9060 vsize=686680 CPUtime=0 cores=0-7
/proc/9062/task/9091/stat : 9091 (python) S 9060 9062 9036 0 -1 4202560 40 932 0 0 0 0 0 0 18 0 34 0 668094568 703160320 8888 33554432000 4194304 5683644 140735687797280 18446744073709551615 212699498929 0 0 16781312 2 18446604450135869376 0 0 -1 0 0 0 0
[pid=9062/tid=9100] ppid=9060 vsize=686680 CPUtime=0 cores=0-7
/proc/9062/task/9100/stat : 9100 (python) S 9060 9062 9036 0 -1 4202560 39 932 0 0 0 0 0 0 15 0 34 0 668104586 703160320 8888 33554432000 4194304 5683644 140735687797280 18446744073709551615 212699498929 0 0 16781312 2 18446604450135869376 0 0 -1 1 0 0 0
[pid=9062/tid=9103] ppid=9060 vsize=686680 CPUtime=0 cores=0-7
/proc/9062/task/9103/stat : 9103 (python) S 9060 9062 9036 0 -1 4202560 107 932 0 0 0 0 0 0 18 0 34 0 668104590 703160320 8888 33554432000 4194304 5683644 140735687797280 18446744073709551615 212699498929 0 0 16781312 2 18446604450135869376 0 0 -1 6 0 0 0
[pid=9062/tid=9107] ppid=9060 vsize=686680 CPUtime=0 cores=0-7
/proc/9062/task/9107/stat : 9107 (python) S 9060 9062 9036 0 -1 4202560 46 932 0 0 0 0 0 0 18 0 34 0 668104594 703160320 8888 33554432000 4194304 5683644 140735687797280 18446744073709551615 212699498929 0 0 16781312 2 18446604450135869376 0 0 -1 0 0 0 0
[pid=9062/tid=9112] ppid=9060 vsize=686680 CPUtime=0 cores=0-7
/proc/9062/task/9112/stat : 9112 (python) S 9060 9062 9036 0 -1 4202560 33 932 0 0 0 0 0 0 22 0 34 0 668104601 703160320 8888 33554432000 4194304 5683644 140735687797280 18446744073709551615 212699498929 0 0 16781312 2 18446604450135869376 0 0 -1 2 0 0 0
[pid=9062/tid=9116] ppid=9060 vsize=686680 CPUtime=0 cores=0-7
/proc/9062/task/9116/stat : 9116 (python) S 9060 9062 9036 0 -1 4202560 43 932 0 0 0 0 0 0 18 0 34 0 668104605 703160320 8888 33554432000 4194304 5683644 140735687797280 18446744073709551615 212699498929 0 0 16781312 2 18446604450135869376 0 0 -1 0 0 0 0
[pid=9062/tid=9119] ppid=9060 vsize=686680 CPUtime=0 cores=0-7
/proc/9062/task/9119/stat : 9119 (python) S 9060 9062 9036 0 -1 4202560 42 932 0 0 0 0 0 0 18 0 34 0 668104610 703160320 8888 33554432000 4194304 5683644 140735687797280 18446744073709551615 212699498929 0 0 16781312 2 18446604450135869376 0 0 -1 4 0 0 0
[pid=9062/tid=9122] ppid=9060 vsize=686680 CPUtime=0 cores=0-7
/proc/9062/task/9122/stat : 9122 (python) S 9060 9062 9036 0 -1 4202560 28 932 0 0 0 0 0 0 18 0 34 0 668104615 703160320 8888 33554432000 4194304 5683644 140735687797280 18446744073709551615 212699498929 0 0 16781312 2 18446604450135869376 0 0 -1 0 0 0 0
[pid=9062/tid=9125] ppid=9060 vsize=686680 CPUtime=0 cores=0-7
/proc/9062/task/9125/stat : 9125 (python) S 9060 9062 9036 0 -1 4202560 34 932 0 0 0 0 0 0 18 0 34 0 668104620 703160320 8888 33554432000 4194304 5683644 140735687797280 18446744073709551615 212699498929 0 0 16781312 2 18446604450135869376 0 0 -1 4 0 0 0
[pid=9062/tid=9133] ppid=9060 vsize=686680 CPUtime=0 cores=0-7
/proc/9062/task/9133/stat : 9133 (python) S 9060 9062 9036 0 -1 4202560 36 932 0 0 0 0 0 0 19 0 34 0 668114625 703160320 8888 33554432000 4194304 5683644 140735687797280 18446744073709551615 212699498929 0 0 16781312 2 18446604450135869376 0 0 -1 4 0 0 0
[pid=9062/tid=9135] ppid=9060 vsize=686680 CPUtime=0 cores=0-7
/proc/9062/task/9135/stat : 9135 (python) S 9060 9062 9036 0 -1 4202560 19 932 0 0 0 0 0 0 18 0 34 0 668114630 703160320 8888 33554432000 4194304 5683644 140735687797280 18446744073709551615 212699498929 0 0 16781312 2 18446604450135869376 0 0 -1 1 0 0 0
[pid=9062/tid=9158] ppid=9060 vsize=686680 CPUtime=0 cores=0-7
/proc/9062/task/9158/stat : 9158 (python) S 9060 9062 9036 0 -1 4202560 47 932 0 0 0 0 0 0 18 0 34 0 668124993 703160320 8888 33554432000 4194304 5683644 140735687797280 18446744073709551615 212699498929 0 0 16781312 2 18446604450135869376 0 0 -1 1 0 0 0
[pid=9062/tid=9163] ppid=9060 vsize=686680 CPUtime=0 cores=0-7
/proc/9062/task/9163/stat : 9163 (python) S 9060 9062 9036 0 -1 4202560 139 932 0 0 0 0 0 0 18 0 34 0 668134124 703160320 8888 33554432000 4194304 5683644 140735687797280 18446744073709551615 212699498929 0 0 16781312 2 18446604450135869376 0 0 -1 1 0 0 0
[pid=9062/tid=9166] ppid=9060 vsize=686680 CPUtime=0 cores=0-7
/proc/9062/task/9166/stat : 9166 (python) S 9060 9062 9036 0 -1 4202560 37 932 0 0 0 0 0 0 20 0 34 0 668134411 703160320 8888 33554432000 4194304 5683644 140735687797280 18446744073709551615 212699498929 0 0 16781312 2 18446604450135869376 0 0 -1 6 0 0 0
[pid=9062/tid=9169] ppid=9060 vsize=686680 CPUtime=0 cores=0-7
/proc/9062/task/9169/stat : 9169 (python) S 9060 9062 9036 0 -1 4202560 40 932 0 0 0 0 0 0 21 0 34 0 668134441 703160320 8888 33554432000 4194304 5683644 140735687797280 18446744073709551615 212699498929 0 0 16781312 2 18446604450135869376 0 0 -1 1 0 0 0
[pid=9062/tid=9177] ppid=9060 vsize=686680 CPUtime=0 cores=0-7
/proc/9062/task/9177/stat : 9177 (python) S 9060 9062 9036 0 -1 4202560 35 932 0 0 0 0 0 0 20 0 34 0 668143963 703160320 8888 33554432000 4194304 5683644 140735687797280 18446744073709551615 212699498929 0 0 16781312 2 18446604450135869376 0 0 -1 0 0 0 0
[pid=9062/tid=9187] ppid=9060 vsize=686680 CPUtime=0 cores=0-7
/proc/9062/task/9187/stat : 9187 (python) S 9060 9062 9036 0 -1 4202560 42 932 0 0 0 0 0 0 20 0 34 0 668154089 703160320 8888 33554432000 4194304 5683644 140735687797280 18446744073709551615 212699498929 0 0 16781312 2 18446604450135869376 0 0 -1 0 0 0 0
[pid=9062/tid=9193] ppid=9060 vsize=686680 CPUtime=0 cores=0-7
/proc/9062/task/9193/stat : 9193 (python) S 9060 9062 9036 0 -1 4202560 47 932 0 0 0 0 0 0 18 0 34 0 668163946 703160320 8888 33554432000 4194304 5683644 140735687797280 18446744073709551615 212699498929 0 0 16781312 2 18446604450135869376 0 0 -1 0 0 0 0
[pid=9062/tid=9197] ppid=9060 vsize=686680 CPUtime=0 cores=0-7
/proc/9062/task/9197/stat : 9197 (python) S 9060 9062 9036 0 -1 4202560 146 932 0 0 0 0 0 0 19 0 34 0 668164130 703160320 8888 33554432000 4194304 5683644 140735687797280 18446744073709551615 212699498929 0 0 16781312 2 18446604450135869376 0 0 -1 1 0 0 0
[pid=9062/tid=9207] ppid=9060 vsize=686680 CPUtime=0 cores=0-7
/proc/9062/task/9207/stat : 9207 (python) S 9060 9062 9036 0 -1 4202560 45 932 0 0 0 0 0 0 20 0 34 0 668185043 703160320 8888 33554432000 4194304 5683644 140735687797280 18446744073709551615 212699498929 0 0 16781312 2 18446604450135869376 0 0 -1 0 0 0 0
[pid=9062/tid=9212] ppid=9060 vsize=686680 CPUtime=0 cores=0-7
/proc/9062/task/9212/stat : 9212 (python) S 9060 9062 9036 0 -1 4202560 36 932 0 0 0 0 0 0 20 0 34 0 668193334 703160320 8888 33554432000 4194304 5683644 140735687797280 18446744073709551615 212699498929 0 0 16781312 2 18446604450135869376 0 0 -1 0 0 0 0
[pid=9062/tid=9216] ppid=9060 vsize=686680 CPUtime=0 cores=0-7
/proc/9062/task/9216/stat : 9216 (python) S 9060 9062 9036 0 -1 4202560 36 932 0 0 0 0 0 0 20 0 34 0 668195086 703160320 8888 33554432000 4194304 5683644 140735687797280 18446744073709551615 212699498929 0 0 16781312 2 18446604450135869376 0 0 -1 1 0 0 0
[pid=9062/tid=9221] ppid=9060 vsize=686680 CPUtime=0 cores=0-7
/proc/9062/task/9221/stat : 9221 (python) S 9060 9062 9036 0 -1 4202560 41 932 0 0 0 0 0 0 18 0 34 0 668202690 703160320 8888 33554432000 4194304 5683644 140735687797280 18446744073709551615 212699498929 0 0 16781312 2 18446604450135869376 0 0 -1 0 0 0 0
[pid=9062/tid=9228] ppid=9060 vsize=686680 CPUtime=0 cores=0-7
/proc/9062/task/9228/stat : 9228 (python) S 9060 9062 9036 0 -1 4202560 39 932 0 0 0 0 0 0 20 0 34 0 668212349 703160320 8888 33554432000 4194304 5683644 140735687797280 18446744073709551615 212699498929 0 0 16781312 2 18446604450135869376 0 0 -1 0 0 0 0
[pid=9062/tid=9236] ppid=9060 vsize=686680 CPUtime=0 cores=0-7
/proc/9062/task/9236/stat : 9236 (python) S 9060 9062 9036 0 -1 4202560 40 932 0 0 0 0 0 0 20 0 34 0 668222392 703160320 8888 33554432000 4194304 5683644 140735687797280 18446744073709551615 212699498929 0 0 16781312 2 18446604450135869376 0 0 -1 0 0 0 0
[pid=9062/tid=9239] ppid=9060 vsize=686680 CPUtime=0 cores=0-7
/proc/9062/task/9239/stat : 9239 (python) S 9060 9062 9036 0 -1 4202560 33 932 0 0 0 0 0 0 20 0 34 0 668223490 703160320 8888 33554432000 4194304 5683644 140735687797280 18446744073709551615 212699498929 0 0 16781312 2 18446604450135869376 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 10270.8
Current children cumulated vsize (KiB) 32164308

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 9062 and gives
#  childrusage.ru_utime.tv_sec=2567
#  childrusage.ru_utime.tv_usec=5755
#  childrusage.ru_stime.tv_sec=14
#  childrusage.ru_stime.tv_usec=273830
# CPU time returned by wait4() is 2581.28
# while last known CPU time is 10270.8
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1296.02
CPU time (s): 10270.8
CPU user time (s): 10252.4
CPU system time (s): 18.39
CPU usage (%): 792.487
Max. virtual memory (cumulated for all children) (KiB): 32164308

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2567.01
system time used= 14.2738
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85901
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= 17416
involuntary context switches= 15351

runsolver used 14.8037 second user time and 35.2066 second system time

The end

Launcher Data 

Begin job on node139 at 2011-05-16 18:56:02
IDJOB=3385248
IDBENCH=82513
IDSOLVER=1870
FILE ID=node139/3385248-1305564962
RUNJOBID= node139-1305564961-9050
PBS_JOBID= 13350111
Free space on /tmp= 73316 MiB

SOLVER NAME= borg-sat 11.03.02-par-random (fixed)
BENCH NAME= SAT11/random/large/unif-k7-r85-v400-c34000-S832901479-042-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-3385248-1305564962/watcher-3385248-1305564962 -o /tmp/evaluation-result-3385248-1305564962/solver-3385248-1305564962 -C 40000 -W 5100 -M 31000  python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3385248-1305564962.cnf -seed 1352173723 -budget 40000 -cores 8

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

MD5SUM BENCH= a5a87dc48ba0573fb8f2b8721bafcab2
RANDOM SEED=1352173723

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      14819952 kB
Buffers:        340292 kB
Cached:        3322360 kB
SwapCached:          0 kB
Active:       15594304 kB
Inactive:      2202184 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      14819952 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:           32644 kB
Writeback:           0 kB
AnonPages:    14134148 kB
Mapped:          33660 kB
Slab:           207580 kB
PageTables:      58480 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 104418300 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= 73284 MiB
End job on node139 at 2011-05-16 19:17:41