Trace number 3385300

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) 13347.4 1685.33

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v40000-c168000-S845438593-067-UNKNOWN.cnf
MD5SUM3b06c2c5c22c8501e021c8b11d20bcd0
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark92.7189
Satisfiable
(Un)Satisfiability was proved
Number of variables40000
Number of clauses168000
Sum of the clauses size504000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3168000
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.32/0.47	c INFO: loaded portfolio from HOME/etc/borg-mix+class.random.pickle
0.32/0.47	c INFO: solving HOME/instance-3385300-1305564990.cnf
0.32/0.47	c INFO: computing task features
0.92/1.06	c INFO: computed variable-clause graph statistics
0.92/1.08	c INFO: computed clause balance statistics
3.90/4.02	c INFO: computed variable balance statistics
6.20/6.33	c INFO: computed small-clause counts
6.20/6.35	c INFO: computed Horn-clause counts
8.20/8.36	c INFO: computed variable graph statistics
8.20/8.36	c INFO: collected features for HOME/instance-3385300-1305564990.cnf in 7.87 s
8.20/8.39	c INFO: running hybridGM3@0 for 97 with 4992 remaining (b = 0.35)
8.31/8.42	c INFO: running hybridGM3@0 for 97 with 4992 remaining (b = 0.21)
8.31/8.45	c INFO: running hybridGM3@0 for 97 with 4992 remaining (b = 0.14)
8.31/8.48	c INFO: running hybridGM3@0 for 97 with 4992 remaining (b = 0.10)
8.40/8.52	c INFO: running hybridGM3@0 for 97 with 4991 remaining (b = 0.07)
8.40/8.55	c INFO: running hybridGM3@0 for 194 with 4991 remaining (b = 0.10)
8.40/8.58	c INFO: running hybridGM3@0 for 194 with 4991 remaining (b = 0.08)
8.50/8.62	c INFO: running hybridGM3@0 for 194 with 4991 remaining (b = 0.06)
811.34/109.15	c INFO: running hybridGM3@0 for 97 with 4891 remaining (b = 0.03)
811.34/109.18	c INFO: running hybridGM3@0 for 97 with 4891 remaining (b = 0.03)
812.12/109.21	c INFO: running hybridGM3@0 for 97 with 4891 remaining (b = 0.03)
812.12/109.28	c INFO: running hybridGM3@0 for 97 with 4891 remaining (b = 0.03)
812.12/109.30	c INFO: running hybridGM3@0 for 97 with 4891 remaining (b = 0.03)
1571.43/204.48	c INFO: running hybridGM3@100 for 97 with 4796 remaining (b = 0.03)
1572.34/204.52	c INFO: running hybridGM3@100 for 97 with 4795 remaining (b = 0.03)
1572.34/204.55	c INFO: running TNM@0 for 97 with 4795 remaining (b = 0.03)
1572.34/204.59	c INFO: running hybridGM3@100 for 97 with 4795 remaining (b = 0.02)
1579.27/205.61	c INFO: running hybridGM3@99 for 97 with 4794 remaining (b = 0.02)
1581.10/205.66	c INFO: running hybridGM3@0 for 97 with 4794 remaining (b = 0.02)
1581.10/205.69	c INFO: running hybridGM3@100 for 97 with 4794 remaining (b = 0.02)
1620.80/210.65	c INFO: running hybridGM3@0 for 97 with 4789 remaining (b = 0.02)
2332.20/299.85	c INFO: running hybridGM3@95 for 97 with 4700 remaining (b = 0.02)
2380.18/305.86	c INFO: running hybridGM3@0 for 194 with 4694 remaining (b = 0.04)
2380.82/305.95	c INFO: running hybridGM3@296 for 97 with 4694 remaining (b = 0.02)
2380.82/305.98	c INFO: running hybridGM3@293 for 97 with 4694 remaining (b = 0.02)
2389.56/307.01	c INFO: running TNM@0 for 97 with 4693 remaining (b = 0.02)
2389.56/307.05	c INFO: running hybridGM3@0 for 194 with 4693 remaining (b = 0.03)
2396.76/308.01	c INFO: running hybridGM3@95 for 97 with 4692 remaining (b = 0.02)
2412.58/309.96	c INFO: running TNM@0 for 97 with 4690 remaining (b = 0.01)
3108.81/397.22	c INFO: running TNM@0 for 97 with 4603 remaining (b = 0.01)
3141.49/401.31	c INFO: running hybridGM3@396 for 97 with 4599 remaining (b = 0.01)
3141.49/401.35	c INFO: running hybridGM3@393 for 97 with 4599 remaining (b = 0.01)
3190.03/407.43	c INFO: running TNM@0 for 97 with 4593 remaining (b = 0.01)
3205.15/409.38	c INFO: running TNM@0 for 97 with 4591 remaining (b = 0.01)
3213.22/410.35	c INFO: running TNM@0 for 97 with 4590 remaining (b = 0.01)
3900.50/496.67	c INFO: running TNM@0 for 97 with 4503 remaining (b = 0.01)
3908.42/497.62	c INFO: running TNM@0 for 2037 with 4502 remaining (b = 0.19)
3949.16/502.73	c INFO: running hybridGM3@0 for 194 with 4497 remaining (b = 0.02)
3951.18/503.05	c INFO: running hybridGM3@100 for 97 with 4497 remaining (b = 0.01)
3960.97/504.23	c INFO: running hybridGM3@97 for 97 with 4496 remaining (b = 0.01)
3981.69/506.86	c INFO: running hybridGM3@0 for 194 with 4493 remaining (b = 0.02)
4004.77/509.78	c INFO: running hybridGM3@0 for 194 with 4490 remaining (b = 0.02)
4037.35/513.87	c INFO: running adaptg2wsat2009++@0 for 194 with 4486 remaining (b = 0.02)
4700.17/597.11	c INFO: running hybridGM3@0 for 194 with 4403 remaining (b = 0.01)
4710.59/598.43	c INFO: running hybridGM3@297 for 194 with 4402 remaining (b = 0.02)
4767.76/605.64	c INFO: running TNM@0 for 97 with 4394 remaining (b = 0.01)
5517.88/699.98	c INFO: running TNM@0 for 97 with 4300 remaining (b = 0.01)
5543.31/703.17	c INFO: running hybridGM3@99 for 97 with 4297 remaining (b = 0.01)
5574.32/707.04	c INFO: running hybridGM3@99 for 97 with 4293 remaining (b = 0.01)
5587.04/708.66	c INFO: running adaptg2wsat2009++@100 for 97 with 4291 remaining (b = 0.01)
5598.97/710.14	c INFO: running adaptg2wsat2009++@0 for 194 with 4290 remaining (b = 0.01)
6283.11/796.17	c INFO: running hybridGM3@397 for 97 with 4204 remaining (b = 0.01)
6293.55/797.44	c INFO: running hybridGM3@95 for 97 with 4203 remaining (b = 0.01)
6309.34/799.44	c INFO: running TNM@0 for 97 with 4201 remaining (b = 0.01)
6326.83/801.61	c INFO: running hybridGM3@296 for 194 with 4198 remaining (b = 0.01)
6381.01/808.45	c INFO: running hybridGM3@293 for 194 with 4192 remaining (b = 0.01)
6393.60/810.07	c INFO: running TNM@196 for 1843 with 4190 remaining (b = 0.11)
7044.35/891.86	c INFO: running hybridGM3@0 for 194 with 4108 remaining (b = 0.01)
7089.78/897.59	c INFO: running adaptg2wsat2009++@0 for 194 with 4102 remaining (b = 0.01)
7108.07/899.86	c INFO: running FH@0 for 97 with 4100 remaining (b = 0.00)
7163.51/906.89	c INFO: running hybridGM3@195 for 291 with 4093 remaining (b = 0.01)
7905.63/1000.30	c INFO: running hybridGM3@195 for 291 with 4000 remaining (b = 0.01)
7923.11/1002.42	c INFO: running hybridGM3@393 for 97 with 3998 remaining (b = 0.01)
7953.28/1006.21	c INFO: running hybridGM3@394 for 97 with 3994 remaining (b = 0.01)
8611.27/1089.07	c INFO: running hybridGM3@96 for 97 with 3911 remaining (b = 0.01)
8645.43/1093.42	c INFO: running adaptg2wsat2009++@100 for 97 with 3907 remaining (b = 0.00)
8696.95/1099.90	c INFO: running hybridGM3@196 for 291 with 3900 remaining (b = 0.01)
8711.24/1101.61	c INFO: running hybridGM3@199 for 291 with 3898 remaining (b = 0.01)
9416.77/1190.49	c INFO: running hybridGM3@291 for 194 with 3810 remaining (b = 0.01)
9451.75/1194.83	c INFO: running adaptg2wsat2009++@0 for 194 with 3805 remaining (b = 0.01)
9516.08/1203.00	c INFO: running hybridGM3@295 for 194 with 3797 remaining (b = 0.01)
10258.98/1296.41	c INFO: running hybridGM3@389 for 97 with 3704 remaining (b = 0.01)
10940.68/1382.22	c INFO: running hybridGM3@392 for 97 with 3618 remaining (b = 0.01)
11001.83/1389.99	c INFO: running TNM@196 for 1843 with 3610 remaining (b = 0.08)
11014.65/1391.60	c INFO: running adaptg2wsat2009++@296 for 291 with 3608 remaining (b = 0.01)
11015.34/1391.69	c INFO: running hybridGM3@300 for 194 with 3608 remaining (b = 0.01)
11016.13/1391.80	c INFO: running hybridGM3@195 for 291 with 3608 remaining (b = 0.01)
11040.07/1394.73	c INFO: running hybridGM3@0 for 194 with 3605 remaining (b = 0.01)
11698.57/1477.62	c INFO: running NCVWr@0 for 485 with 3522 remaining (b = 0.02)
12586.97/1589.44	c INFO: running hybridGM3@394 for 97 with 3411 remaining (b = 0.01)
12606.68/1591.95	c INFO: running hybridGM3@94 for 97 with 3408 remaining (b = 0.00)
13321.08/1681.89	c INFO: running hybridGM3@385 for 194 with 3318 remaining (b = 0.01)
13344.80/1684.83	c INFO: running FH@0 for 97 with 3315 remaining (b = 0.00)
13347.41/1685.32	c INFO: running FH@195 for 194 with 3315 remaining (b = 0.01)
13347.41/1685.32	Traceback (most recent call last):
13347.41/1685.32	  File "HOME/solve", line 33, in <module>
13347.41/1685.32	    plac.call(main)
13347.41/1685.32	  File "/home/evaluation/evaluation/tools64/lib/python2.7/site-packages/plac-0.8.1-py2.7.egg/plac_core.py", line 311, in call

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-3385300-1305564990/watcher-3385300-1305564990 -o /tmp/evaluation-result-3385300-1305564990/solver-3385300-1305564990 -C 40000 -W 5100 -M 31000 python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3385300-1305564990.cnf -seed 1978747136 -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: 2.79 0.66 0.22 2/418 32460
/proc/meminfo: memFree=13061808/32951124 swapFree=65586204/67111528
[pid=32460] ppid=32458 vsize=16240 CPUtime=0 cores=0-7
/proc/32460/stat : 32460 (python) R 32458 32460 32378 0 -1 4202496 1041 0 0 0 0 0 0 0 17 0 1 0 746729729 16629760 914 33554432000 4194304 5683644 140735425939152 18446744073709551615 5187280 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/32460/statm: 4060 914 381 364 0 547 0

[startup+0.059062 s]
/proc/loadavg: 2.79 0.66 0.22 2/418 32460
/proc/meminfo: memFree=13061808/32951124 swapFree=65586204/67111528
[pid=32460] ppid=32458 vsize=36836 CPUtime=0.04 cores=0-7
/proc/32460/stat : 32460 (python) R 32458 32460 32378 0 -1 4202496 1621 0 0 0 3 1 0 0 17 0 1 0 746729729 37720064 1452 33554432000 4194304 5683644 140735425939152 18446744073709551615 216735176704 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/32460/statm: 9209 1452 452 364 0 1026 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 36836

[startup+0.101033 s]
/proc/loadavg: 2.79 0.66 0.22 2/418 32460
/proc/meminfo: memFree=13061808/32951124 swapFree=65586204/67111528
[pid=32460] ppid=32458 vsize=104224 CPUtime=0.07 cores=0-7
/proc/32460/stat : 32460 (python) R 32458 32460 32378 0 -1 4202496 3052 0 0 0 5 2 0 0 17 0 1 0 746729729 106725376 2737 33554432000 4194304 5683644 140735425939152 18446744073709551615 4994444 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/32460/statm: 26055 2740 847 364 0 1803 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 104224

[startup+0.301002 s]
/proc/loadavg: 2.79 0.66 0.22 2/418 32460
/proc/meminfo: memFree=13061808/32951124 swapFree=65586204/67111528
[pid=32460] ppid=32458 vsize=168672 CPUtime=0.23 cores=0-7
/proc/32460/stat : 32460 (python) S 32458 32460 32378 0 -1 4202496 6718 934 1 0 17 6 0 0 18 0 1 0 746729729 172720128 4797 33554432000 4194304 5683644 140735425939152 18446744073709551615 216735176704 0 2147483391 16781312 2 18446744071699199166 0 0 17 2 0 0 0
/proc/32460/statm: 42168 4797 1331 364 0 3453 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 168672

[startup+0.700928 s]
/proc/loadavg: 2.79 0.66 0.22 2/418 32460
/proc/meminfo: memFree=13061808/32951124 swapFree=65586204/67111528
[pid=32460] ppid=32458 vsize=295760 CPUtime=0.61 cores=0-7
/proc/32460/stat : 32460 (python) R 32458 32460 32378 0 -1 4202496 13517 934 1 0 52 9 0 0 18 0 1 0 746729729 302858240 11202 33554432000 4194304 5683644 140735425939152 18446744073709551615 5007426 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/32460/statm: 73940 11202 1761 364 0 9864 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 295760

[startup+1.50079 s]
/proc/loadavg: 2.79 0.66 0.22 2/419 32465
/proc/meminfo: memFree=13018896/32951124 swapFree=65586204/67111528
[pid=32460] ppid=32458 vsize=317988 CPUtime=1.4 cores=0-7
/proc/32460/stat : 32460 (python) R 32458 32460 32378 0 -1 4202496 23795 934 1 0 130 10 0 0 20 0 1 0 746729729 325619712 16882 33554432000 4194304 5683644 140735425939152 18446744073709551615 5005930 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/32460/statm: 79497 16882 1826 364 0 15421 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 317988

[startup+3.10052 s]
/proc/loadavg: 2.79 0.66 0.22 2/419 32465
/proc/meminfo: memFree=13000080/32951124 swapFree=65586204/67111528
[pid=32460] ppid=32458 vsize=317988 CPUtime=3 cores=0-7
/proc/32460/stat : 32460 (python) R 32458 32460 32378 0 -1 4202496 23795 934 1 0 290 10 0 0 25 0 1 0 746729729 325619712 16882 33554432000 4194304 5683644 140735425939152 18446744073709551615 216734838187 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/32460/statm: 79497 16882 1826 364 0 15421 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 317988

[startup+6.30095 s]
/proc/loadavg: 2.65 0.66 0.22 2/419 32465
/proc/meminfo: memFree=12999972/32951124 swapFree=65586204/67111528
[pid=32460] ppid=32458 vsize=317988 CPUtime=6.2 cores=0-7
/proc/32460/stat : 32460 (python) R 32458 32460 32378 0 -1 4202496 23796 934 1 0 610 10 0 0 25 0 1 0 746729729 325619712 16883 33554432000 4194304 5683644 140735425939152 18446744073709551615 47799055261745 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/32460/statm: 79497 16883 1827 364 0 15421 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 317988

[startup+12.7018 s]
/proc/loadavg: 2.52 0.67 0.22 9/443 32489
/proc/meminfo: memFree=12704184/32951124 swapFree=65586204/67111528
[pid=32460] ppid=32458 vsize=396920 CPUtime=8.52 cores=0-7
/proc/32460/stat : 32460 (python) S 32458 32460 32378 0 -1 4202496 30257 934 1 0 839 13 0 0 20 0 9 0 746729729 406446080 16195 33554432000 4194304 5683644 140735425939152 18446744073709551615 216747005387 0 0 16781312 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32460/statm: 99230 16195 1889 364 0 35127 0
[pid=32466] ppid=32460 vsize=314884 CPUtime=0 cores=0-7
/proc/32466/stat : 32466 (python) S 32460 32460 32378 0 -1 4202560 735 0 0 0 0 0 0 0 15 0 1 0 746730569 322441216 14627 33554432000 4194304 5683644 140735425939152 18446744073709551615 216735198735 0 0 16781312 514 15255956936152023297 0 0 17 1 0 0 0
/proc/32466/statm: 78721 14627 353 364 0 14639 0
[pid=32468] ppid=32466 vsize=276240 CPUtime=4.29 cores=0-7
/proc/32468/stat : 32468 (hybridGM3) R 32466 32468 32468 0 -1 4202496 8561 0 0 0 428 1 0 0 25 0 1 0 746730569 282869760 8299 33554432000 134512640 135204385 4287389968 18446744073709551615 134537510 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/32468/statm: 69060 8299 64 169 0 68890 0
[pid=32469] ppid=32460 vsize=325140 CPUtime=0 cores=0-7
/proc/32469/stat : 32469 (python) S 32460 32460 32378 0 -1 4202560 737 0 0 0 0 0 0 0 15 0 1 0 746730572 332943360 14625 33554432000 4194304 5683644 140735425939152 18446744073709551615 216735198790 0 0 16781312 514 9314917379278340353 0 0 17 6 0 0 0
/proc/32469/statm: 81285 14625 347 364 0 17200 0
[pid=32471] ppid=32469 vsize=276236 CPUtime=4.26 cores=0-7
/proc/32471/stat : 32471 (hybridGM3) R 32469 32471 32471 0 -1 4202496 8573 0 0 0 425 1 0 0 25 0 1 0 746730572 282865664 8308 33554432000 134512640 135204385 4290573056 18446744073709551615 134546144 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/32471/statm: 69059 8308 64 169 0 68889 0
[pid=32472] ppid=32460 vsize=335396 CPUtime=0 cores=0-7
/proc/32472/stat : 32472 (python) S 32460 32460 32378 0 -1 4202560 741 0 0 0 0 0 0 0 15 0 1 0 746730575 343445504 14629 33554432000 4194304 5683644 140735425939152 18446744073709551615 216735198790 0 0 16781312 514 5557068110516683010 0 0 17 6 0 0 0
/proc/32472/statm: 83849 14629 347 364 0 19761 0
[pid=32474] ppid=32472 vsize=276244 CPUtime=4.23 cores=0-7
/proc/32474/stat : 32474 (hybridGM3) R 32472 32474 32474 0 -1 4202496 8561 0 0 0 422 1 0 0 25 0 1 0 746730575 282873856 8299 33554432000 134512640 135204385 4290648464 18446744073709551615 134537167 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/32474/statm: 69061 8299 64 169 0 68891 0
[pid=32475] ppid=32460 vsize=345652 CPUtime=0 cores=0-7
/proc/32475/stat : 32475 (python) S 32460 32460 32378 0 -1 4202560 758 0 0 0 0 0 0 0 15 0 1 0 746730578 353947648 14633 33554432000 4194304 5683644 140735425939152 18446744073709551615 216735198790 0 0 16781312 514 10485668564441202947 0 0 17 4 0 0 0
/proc/32475/statm: 86413 14633 347 364 0 22322 0
[pid=32477] ppid=32475 vsize=276240 CPUtime=4.13 cores=0-7
/proc/32477/stat : 32477 (hybridGM3) R 32475 32477 32477 0 -1 4202496 8563 0 0 0 412 1 0 0 25 0 1 0 746730579 282869760 8301 33554432000 134512640 135204385 4290244400 18446744073709551615 134537297 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/32477/statm: 69060 8301 64 169 0 68890 0
[pid=32478] ppid=32460 vsize=355908 CPUtime=0 cores=0-7
/proc/32478/stat : 32478 (python) S 32460 32460 32378 0 -1 4202560 758 0 0 0 0 0 0 0 15 0 1 0 746730581 364449792 14637 33554432000 4194304 5683644 140735425939152 18446744073709551615 216735198790 0 0 16781312 514 16761527004158722306 0 0 17 6 0 0 0
/proc/32478/statm: 88977 14637 347 364 0 24883 0
[pid=32480] ppid=32478 vsize=276240 CPUtime=4.17 cores=0-7
/proc/32480/stat : 32480 (hybridGM3) R 32478 32480 32480 0 -1 4202496 8561 0 0 0 416 1 0 0 25 0 1 0 746730582 282869760 8298 33554432000 134512640 135204385 4290492000 18446744073709551615 134547471 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/32480/statm: 69060 8298 64 169 0 68890 0
[pid=32481] ppid=32460 vsize=366164 CPUtime=0 cores=0-7
/proc/32481/stat : 32481 (python) S 32460 32460 32378 0 -1 4202560 764 0 0 0 0 0 0 0 15 0 1 0 746730585 374951936 14641 33554432000 4194304 5683644 140735425939152 18446744073709551615 216735198790 0 0 16781312 514 7774514782903697667 0 0 17 2 0 0 0
/proc/32481/statm: 91541 14641 347 364 0 27444 0
[pid=32483] ppid=32481 vsize=276244 CPUtime=4.13 cores=0-7
/proc/32483/stat : 32483 (hybridGM3) R 32481 32483 32483 0 -1 4202496 8566 0 0 0 412 1 0 0 25 0 1 0 746730585 282873856 8300 33554432000 134512640 135204385 4289345760 18446744073709551615 134536605 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/32483/statm: 69061 8300 64 169 0 68891 0
[pid=32484] ppid=32460 vsize=376420 CPUtime=0 cores=0-7
/proc/32484/stat : 32484 (python) S 32460 32460 32378 0 -1 4202560 776 0 0 0 0 0 0 0 15 0 1 0 746730588 385454080 14645 33554432000 4194304 5683644 140735425939152 18446744073709551615 216735198790 0 0 16781312 514 7774527977043230979 0 0 17 6 0 0 0
/proc/32484/statm: 94105 14645 347 364 0 30005 0
[pid=32486] ppid=32484 vsize=276244 CPUtime=4.04 cores=0-7
/proc/32486/stat : 32486 (hybridGM3) R 32484 32486 32486 0 -1 4202496 8570 0 0 0 403 1 0 0 25 0 1 0 746730588 282873856 8299 33554432000 134512640 135204385 4294358352 18446744073709551615 134536646 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/32486/statm: 69061 8299 64 169 0 68891 0
[pid=32487] ppid=32460 vsize=386676 CPUtime=0 cores=0-7
/proc/32487/stat : 32487 (python) S 32460 32460 32378 0 -1 4202560 810 0 0 0 0 0 0 0 15 0 1 0 746730591 395956224 14655 33554432000 4194304 5683644 140735425939152 18446744073709551615 216735198790 0 0 16781312 514 1092136108071813378 0 0 17 2 0 0 0
/proc/32487/statm: 96669 14655 353 364 0 32566 0
[pid=32489] ppid=32487 vsize=276240 CPUtime=4.06 cores=0-7
/proc/32489/stat : 32489 (hybridGM3) R 32487 32489 32489 0 -1 4202496 8571 0 0 0 405 1 0 0 25 0 1 0 746730592 282869760 8299 33554432000 134512640 135204385 4289193024 18446744073709551615 134537403 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/32489/statm: 69060 8299 64 169 0 68890 0
[pid=32460/tid=32467] ppid=32458 vsize=396920 CPUtime=0 cores=0-7
/proc/32460/task/32467/stat : 32467 (python) S 32458 32460 32378 0 -1 4202560 25 934 0 0 0 0 0 0 25 0 9 0 746730569 406446080 16195 33554432000 4194304 5683644 140735425939152 18446744073709551615 216747002289 0 0 16781312 2 18446604443947235328 0 0 -1 6 0 0 0
[pid=32460/tid=32470] ppid=32458 vsize=396920 CPUtime=0 cores=0-7
/proc/32460/task/32470/stat : 32470 (python) S 32458 32460 32378 0 -1 4202560 21 934 0 0 0 0 0 0 25 0 9 0 746730572 406446080 16195 33554432000 4194304 5683644 140735425939152 18446744073709551615 216747002289 0 0 16781312 2 18446604443947235328 0 0 -1 0 0 0 0
[pid=32460/tid=32473] ppid=32458 vsize=396920 CPUtime=0 cores=0-7
/proc/32460/task/32473/stat : 32473 (python) S 32458 32460 32378 0 -1 4202560 25 934 0 0 0 0 0 0 20 0 9 0 746730575 406446080 16195 33554432000 4194304 5683644 140735425939152 18446744073709551615 216747002289 0 0 16781312 2 18446604443947235328 0 0 -1 0 0 0 0
[pid=32460/tid=32476] ppid=32458 vsize=396920 CPUtime=0 cores=0-7
/proc/32460/task/32476/stat : 32476 (python) S 32458 32460 32378 0 -1 4202560 22 934 0 0 0 0 0 0 20 0 9 0 746730578 406446080 16195 33554432000 4194304 5683644 140735425939152 18446744073709551615 216747002289 0 0 16781312 2 18446604443947235328 0 0 -1 4 0 0 0
[pid=32460/tid=32479] ppid=32458 vsize=396920 CPUtime=0 cores=0-7
/proc/32460/task/32479/stat : 32479 (python) S 32458 32460 32378 0 -1 4202560 23 934 0 0 0 0 0 0 20 0 9 0 746730582 406446080 16195 33554432000 4194304 5683644 140735425939152 18446744073709551615 216747002289 0 0 16781312 2 18446604443947235328 0 0 -1 4 0 0 0
[pid=32460/tid=32482] ppid=32458 vsize=396920 CPUtime=0 cores=0-7
/proc/32460/task/32482/stat : 32482 (python) S 32458 32460 32378 0 -1 4202560 23 934 0 0 0 0 0 0 20 0 9 0 746730585 406446080 16195 33554432000 4194304 5683644 140735425939152 18446744073709551615 216747002289 0 0 16781312 2 18446604443947235328 0 0 -1 4 0 0 0
[pid=32460/tid=32485] ppid=32458 vsize=396920 CPUtime=0 cores=0-7
/proc/32460/task/32485/stat : 32485 (python) S 32458 32460 32378 0 -1 4202560 27 934 0 0 0 0 0 0 20 0 9 0 746730588 406446080 16195 33554432000 4194304 5683644 140735425939152 18446744073709551615 216747002289 0 0 16781312 2 18446604443947235328 0 0 -1 6 0 0 0
[pid=32460/tid=32488] ppid=32458 vsize=396920 CPUtime=0 cores=0-7
/proc/32460/task/32488/stat : 32488 (python) S 32458 32460 32378 0 -1 4202560 30 934 0 0 0 0 0 0 20 0 9 0 746730592 406446080 16195 33554432000 4194304 5683644 140735425939152 18446744073709551615 216747002289 0 0 16781312 2 18446604443947235328 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 41.83
Current children cumulated vsize (KiB) 5413088

[startup+25.5016 s]
/proc/loadavg: 3.80 1.04 0.35 9/443 32490
/proc/meminfo: memFree=12703664/32951124 swapFree=65586204/67111528
[pid=32460] ppid=32458 vsize=396920 CPUtime=8.52 cores=0-7
/proc/32460/stat : 32460 (python) S 32458 32460 32378 0 -1 4202496 30257 934 1 0 839 13 0 0 20 0 9 0 746729729 406446080 16195 33554432000 4194304 5683644 140735425939152 18446744073709551615 216747005387 0 0 16781312 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32460/statm: 99230 16195 1889 364 0 35127 0
[pid=32466] ppid=32460 vsize=314884 CPUtime=0.05 cores=0-7
/proc/32466/stat : 32466 (python) S 32460 32460 32378 0 -1 4202560 905 0 0 0 2 3 0 0 15 0 1 0 746730569 322441216 14650 33554432000 4194304 5683644 140735425939152 18446744073709551615 216735198735 0 0 16781312 514 1313678900680687873 0 0 17 1 0 0 0
/proc/32466/statm: 78721 14650 376 364 0 14639 0
[pid=32468] ppid=32466 vsize=276240 CPUtime=17.09 cores=0-7
/proc/32468/stat : 32468 (hybridGM3) R 32466 32468 32468 0 -1 4202496 8561 0 0 0 1708 1 0 0 25 0 1 0 746730569 282869760 8299 33554432000 134512640 135204385 4287389968 18446744073709551615 134537383 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/32468/statm: 69060 8299 64 169 0 68890 0
[pid=32469] ppid=32460 vsize=325140 CPUtime=0.05 cores=0-7
/proc/32469/stat : 32469 (python) S 32460 32460 32378 0 -1 4202560 905 0 0 0 3 2 0 0 15 0 1 0 746730572 332943360 14648 33554432000 4194304 5683644 140735425939152 18446744073709551615 216735198790 0 0 16781312 514 1313678900680687873 0 0 17 6 0 0 0
/proc/32469/statm: 81285 14648 370 364 0 17200 0
[pid=32471] ppid=32469 vsize=276236 CPUtime=17.06 cores=0-7
/proc/32471/stat : 32471 (hybridGM3) R 32469 32471 32471 0 -1 4202496 8573 0 0 0 1705 1 0 0 25 0 1 0 746730572 282865664 8308 33554432000 134512640 135204385 4290573056 18446744073709551615 134537403 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/32471/statm: 69059 8308 64 169 0 68889 0
[pid=32472] ppid=32460 vsize=335396 CPUtime=0.05 cores=0-7
/proc/32472/stat : 32472 (python) S 32460 32460 32378 0 -1 4202560 927 0 0 0 3 2 0 0 15 0 1 0 746730575 343445504 14652 33554432000 4194304 5683644 140735425939152 18446744073709551615 216735198790 0 0 16781312 514 1313678900680687874 0 0 17 6 0 0 0
/proc/32472/statm: 83849 14652 370 364 0 19761 0
[pid=32474] ppid=32472 vsize=276244 CPUtime=17.03 cores=0-7
/proc/32474/stat : 32474 (hybridGM3) R 32472 32474 32474 0 -1 4202496 8561 0 0 0 1702 1 0 0 25 0 1 0 746730575 282873856 8299 33554432000 134512640 135204385 4290648464 18446744073709551615 134536866 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/32474/statm: 69061 8299 64 169 0 68891 0
[pid=32475] ppid=32460 vsize=345652 CPUtime=0.05 cores=0-7
/proc/32475/stat : 32475 (python) S 32460 32460 32378 0 -1 4202560 955 0 0 0 2 3 0 0 16 0 1 0 746730578 353947648 14656 33554432000 4194304 5683644 140735425939152 18446744073709551615 216735198790 0 0 16781312 514 1313678900680687875 0 0 17 4 0 0 0
/proc/32475/statm: 86413 14656 370 364 0 22322 0
[pid=32477] ppid=32475 vsize=276240 CPUtime=16.71 cores=0-7
/proc/32477/stat : 32477 (hybridGM3) R 32475 32477 32477 0 -1 4202496 8563 0 0 0 1670 1 0 0 25 0 1 0 746730579 282869760 8301 33554432000 134512640 135204385 4290244400 18446744073709551615 134546144 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/32477/statm: 69060 8301 64 169 0 68890 0
[pid=32478] ppid=32460 vsize=355908 CPUtime=0.06 cores=0-7
/proc/32478/stat : 32478 (python) S 32460 32460 32378 0 -1 4202560 953 0 0 0 3 3 0 0 16 0 1 0 746730581 364449792 14660 33554432000 4194304 5683644 140735425939152 18446744073709551615 216735198790 0 0 16781312 514 1313678900680687874 0 0 17 6 0 0 0
/proc/32478/statm: 88977 14660 370 364 0 24883 0
[pid=32480] ppid=32478 vsize=276240 CPUtime=16.91 cores=0-7
/proc/32480/stat : 32480 (hybridGM3) R 32478 32480 32480 0 -1 4202496 8561 0 0 0 1690 1 0 0 25 0 1 0 746730582 282869760 8298 33554432000 134512640 135204385 4290492000 18446744073709551615 134536646 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/32480/statm: 69060 8298 64 169 0 68890 0

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

[pid=32581] ppid=32460 vsize=626564 CPUtime=3.6 cores=0-7
/proc/32581/stat : 32581 (python) S 32460 32460 32378 0 -1 4202560 1281 0 0 0 178 182 0 0 18 0 2 0 746790294 641601536 14931 33554432000 4194304 5683644 140735425939152 18446744073709551615 216735198790 0 0 16781312 514 18446744073709551615 0 0 17 3 0 0 0
/proc/32581/statm: 156641 14931 400 364 0 92487 0
[pid=32583] ppid=32581 vsize=467024 CPUtime=970.62 cores=0-7
/proc/32583/stat : 32583 (TNM) R 32581 32583 32583 0 -1 4202496 6846 0 0 0 97060 2 0 0 25 0 1 0 746790294 478232576 6558 33554432000 134512640 135008748 4287543424 18446744073709551615 134527477 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/32583/statm: 116756 6558 46 122 0 115656 0
[pid=32581/tid=32594] ppid=32460 vsize=626564 CPUtime=0 cores=0-7
/proc/32581/task/32594/stat : 32594 (python) S 32460 32460 32378 0 -1 4202560 52 0 0 0 0 0 0 0 19 0 2 0 746800738 641601536 14931 33554432000 4194304 5683644 140735425939152 18446744073709551615 216747002289 0 0 16781312 514 18446604454223471552 0 0 -1 7 0 0 0
[pid=32588] ppid=32460 vsize=636820 CPUtime=1.43 cores=0-7
/proc/32588/stat : 32588 (python) S 32460 32460 32378 0 -1 4202560 1275 0 0 0 63 80 0 0 18 0 2 0 746799728 652103680 14935 33554432000 4194304 5683644 140735425939152 18446744073709551615 216735198790 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/32588/statm: 159205 14935 400 364 0 95048 0
[pid=32590] ppid=32588 vsize=467024 CPUtime=394.33 cores=0-7
/proc/32590/stat : 32590 (TNM) R 32588 32590 32590 0 -1 4202496 6845 0 0 0 39432 1 0 0 25 0 1 0 746799729 478232576 6558 33554432000 134512640 135008748 4287884160 18446744073709551615 134529367 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/32590/statm: 116756 6558 46 122 0 115656 0
[pid=32588/tid=32602] ppid=32460 vsize=636820 CPUtime=0 cores=0-7
/proc/32588/task/32602/stat : 32602 (python) S 32460 32460 32378 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 746809668 652103680 14935 33554432000 4194304 5683644 140735425939152 18446744073709551615 216747002289 0 0 16781312 514 18446604470545395776 0 0 -1 1 0 0 0
[pid=32595] ppid=32460 vsize=647076 CPUtime=0.69 cores=0-7
/proc/32595/stat : 32595 (python) S 32460 32460 32378 0 -1 4202560 1183 0 0 0 39 30 0 0 19 0 2 0 746800744 662605824 15097 33554432000 4194304 5683644 140735425939152 18446744073709551615 216747005387 0 0 16781312 514 18446744073709551615 0 0 17 2 0 0 0
/proc/32595/statm: 161769 15097 400 364 0 97609 0
[pid=32597] ppid=32595 vsize=434080 CPUtime=195.65 cores=0-7
/proc/32597/stat : 32597 (adaptg2wsat2009) T 32595 32597 32597 0 -1 4202496 7100 0 0 0 19562 3 0 0 25 0 1 0 746800745 444497920 6819 33554432000 134512640 135107411 4293009216 18446744073709551615 134532349 0 0 16781312 0 18446744071562691360 0 0 17 1 0 0 0
/proc/32597/statm: 108520 6819 59 146 0 107396 0
[pid=32595/tid=32618] ppid=32460 vsize=647076 CPUtime=0 cores=0-7
/proc/32595/task/32618/stat : 32618 (python) S 32460 32460 32378 0 -1 4202560 110 0 0 0 0 0 0 0 19 0 2 0 746820411 662605824 15097 33554432000 4194304 5683644 140735425939152 18446744073709551615 216747002289 0 0 16781312 514 18446604444314932224 0 0 -1 1 0 0 0
[pid=32603] ppid=32460 vsize=657332 CPUtime=0.35 cores=0-7
/proc/32603/stat : 32603 (python) S 32460 32460 32378 0 -1 4202560 1184 0 0 0 18 17 0 0 19 0 2 0 746809674 673107968 15128 33554432000 4194304 5683644 140735425939152 18446744073709551615 216747005387 0 0 16781312 514 18446744073709551615 0 0 17 2 0 0 0
/proc/32603/statm: 164333 15128 401 364 0 100170 0
[pid=32605] ppid=32603 vsize=467024 CPUtime=100.34 cores=0-7
/proc/32605/stat : 32605 (TNM) T 32603 32605 32605 0 -1 4202496 6845 0 0 0 10032 2 0 0 25 0 1 0 746809675 478232576 6559 33554432000 134512640 135008748 4292388352 18446744073709551615 134527847 0 0 16781312 0 18446744071562691360 0 0 17 6 0 0 0
/proc/32605/statm: 116756 6559 46 122 0 115656 0
[pid=32603/tid=32614] ppid=32460 vsize=657332 CPUtime=0 cores=0-7
/proc/32603/task/32614/stat : 32614 (python) S 32460 32460 32378 0 -1 4202560 102 0 0 0 0 0 0 0 19 0 2 0 746819709 673107968 15128 33554432000 4194304 5683644 140735425939152 18446744073709551615 216747002289 0 0 16781312 514 18446604452348990528 0 0 -1 2 0 0 0
[pid=32608] ppid=32460 vsize=667588 CPUtime=2.14 cores=0-7
/proc/32608/stat : 32608 (python) S 32460 32460 32378 0 -1 4202560 1251 0 0 0 102 112 0 0 15 0 2 0 746818916 683610112 15117 33554432000 4194304 5683644 140735425939152 18446744073709551615 216747005387 0 0 16781312 514 18446744073709551615 0 0 17 2 0 0 0
/proc/32608/statm: 166897 15117 406 364 0 102731 0
[pid=32610] ppid=32608 vsize=276236 CPUtime=582.81 cores=0-7
/proc/32610/stat : 32610 (hybridGM3) T 32608 32610 32610 0 -1 4202496 8590 0 0 0 58280 1 0 0 25 0 1 0 746818917 282865664 8300 33554432000 134512640 135204385 4286730624 18446744073709551615 134536993 0 0 16781312 0 18446744071562691360 0 0 17 4 0 0 0
/proc/32610/statm: 69059 8300 64 169 0 68889 0
[pid=32608/tid=32625] ppid=32460 vsize=667588 CPUtime=0 cores=0-7
/proc/32608/task/32625/stat : 32625 (python) S 32460 32460 32378 0 -1 4202560 111 0 0 0 0 0 0 0 15 0 2 0 746838631 683610112 15117 33554432000 4194304 5683644 140735425939152 18446744073709551615 216747002289 0 0 16781312 514 18446604444473771968 0 0 -1 3 0 0 0
[pid=32611] ppid=32460 vsize=677844 CPUtime=1.07 cores=0-7
/proc/32611/stat : 32611 (python) S 32460 32460 32378 0 -1 4202560 1247 0 0 0 54 53 0 0 18 0 2 0 746819489 694112256 15206 33554432000 4194304 5683644 140735425939152 18446744073709551615 216747005387 0 0 16781312 514 18446744073709551615 0 0 17 2 0 0 0
/proc/32611/statm: 169461 15206 407 364 0 105292 0
[pid=32613] ppid=32611 vsize=434080 CPUtime=296.33 cores=0-7
/proc/32613/stat : 32613 (adaptg2wsat2009) T 32611 32613 32613 0 -1 4202496 7110 0 0 0 29631 2 0 0 25 0 1 0 746819489 444497920 6820 33554432000 134512640 135107411 4292759744 18446744073709551615 134531239 0 0 16781312 0 18446744071562691360 0 0 17 0 0 0 0
/proc/32613/statm: 108520 6820 59 146 0 107396 0
[pid=32611/tid=32626] ppid=32460 vsize=677844 CPUtime=0 cores=0-7
/proc/32611/task/32626/stat : 32626 (python) S 32460 32460 32378 0 -1 4202560 109 0 0 0 0 0 0 0 18 0 2 0 746839065 694112256 15206 33554432000 4194304 5683644 140735425939152 18446744073709551615 216747002289 0 0 16781312 514 18446604447118475712 0 0 -1 2 0 0 0
[pid=32615] ppid=32460 vsize=688100 CPUtime=0.37 cores=0-7
/proc/32615/stat : 32615 (python) S 32460 32460 32378 0 -1 4202560 1250 0 0 0 18 19 0 0 19 0 2 0 746819716 704614400 15145 33554432000 4194304 5683644 140735425939152 18446744073709551615 216747005387 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/32615/statm: 172025 15145 406 364 0 107853 0
[pid=32617] ppid=32615 vsize=262380 CPUtime=99.98 cores=0-7
/proc/32617/stat : 32617 (FH) T 32615 32617 32617 0 -1 4202496 7013 0 0 0 9996 2 0 0 25 0 1 0 746819717 268677120 6724 33554432000 134512640 134936988 4291013504 18446744073709551615 134554983 0 0 16781312 0 18446744071562691360 0 0 17 0 0 0 0
/proc/32617/statm: 65595 6724 41 104 0 65099 0
[pid=32615/tid=32622] ppid=32460 vsize=688100 CPUtime=0 cores=0-7
/proc/32615/task/32622/stat : 32622 (python) S 32460 32460 32378 0 -1 4202560 107 0 0 0 0 0 0 0 19 0 2 0 746829753 704614400 15145 33554432000 4194304 5683644 140735425939152 18446744073709551615 216747002289 0 0 16781312 514 18446604446009020800 0 0 -1 0 0 0 0
[pid=32630] ppid=32460 vsize=698356 CPUtime=1.77 cores=0-7
/proc/32630/stat : 32630 (python) S 32460 32460 32378 0 -1 4202560 1267 0 0 0 92 85 0 0 18 0 2 0 746849213 715116544 15197 33554432000 4194304 5683644 140735425939152 18446744073709551615 216735198790 0 0 16781312 514 18446744073709551615 0 0 17 2 0 0 0
/proc/32630/statm: 174589 15197 407 364 0 110414 0
[pid=32632] ppid=32630 vsize=434080 CPUtime=490.01 cores=0-7
/proc/32632/stat : 32632 (adaptg2wsat2009) R 32630 32632 32632 0 -1 4202496 7114 0 0 0 49000 1 0 0 25 0 1 0 746849214 444497920 6819 33554432000 134512640 135107411 4289039056 18446744073709551615 134531781 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/32632/statm: 108520 6819 59 146 0 107396 0
[pid=32630/tid=32638] ppid=32460 vsize=698356 CPUtime=0 cores=0-7
/proc/32630/task/32638/stat : 32638 (python) S 32460 32460 32378 0 -1 4202560 112 0 0 0 0 0 0 0 19 0 2 0 746868884 715116544 15197 33554432000 4194304 5683644 140735425939152 18446744073709551615 216747002289 0 0 16781312 514 18446604449187582272 0 0 -1 1 0 0 0
[pid=32639] ppid=32460 vsize=708612 CPUtime=1.05 cores=0-7
/proc/32639/stat : 32639 (python) S 32460 32460 32378 0 -1 4202560 1284 0 0 0 51 54 0 0 15 0 2 0 746869203 725618688 15172 33554432000 4194304 5683644 140735425939152 18446744073709551615 216735198790 0 0 16781312 514 18446744073709551615 0 0 17 2 0 0 0
/proc/32639/statm: 177153 15172 406 364 0 112975 0
[pid=32641] ppid=32639 vsize=276244 CPUtime=287.13 cores=0-7
/proc/32641/stat : 32641 (hybridGM3) R 32639 32641 32641 0 -1 4202496 8597 0 0 0 28712 1 0 0 25 0 1 0 746869203 282873856 8303 33554432000 134512640 135204385 4288824992 18446744073709551615 134536907 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/32641/statm: 69061 8303 64 169 0 68891 0
[pid=32639/tid=32651] ppid=32460 vsize=708612 CPUtime=0 cores=0-7
/proc/32639/task/32651/stat : 32651 (python) S 32460 32460 32378 0 -1 4202560 113 0 0 0 0 0 0 0 17 0 2 0 746888919 725618688 15172 33554432000 4194304 5683644 140735425939152 18446744073709551615 216747002289 0 0 16781312 514 18446604449187584064 0 0 -1 2 0 0 0
[pid=32645] ppid=32460 vsize=718868 CPUtime=0.74 cores=0-7
/proc/32645/stat : 32645 (python) S 32460 32460 32378 0 -1 4202560 1152 0 0 0 39 35 0 0 18 0 1 0 746877491 736120832 15045 33554432000 4194304 5683644 140735425939152 18446744073709551615 216735198790 0 0 16781312 514 1313678900680687874 0 0 17 2 0 0 0
/proc/32645/statm: 179717 15045 372 364 0 115536 0
[pid=32647] ppid=32645 vsize=435644 CPUtime=205.88 cores=0-7
/proc/32647/stat : 32647 (NCVWr) R 32645 32647 32647 0 -1 4202496 7303 0 0 0 20587 1 0 0 25 0 1 0 746877492 446099456 7011 33554432000 134512640 135113558 4287383728 18446744073709551615 134531061 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/32647/statm: 108911 7011 58 147 0 107786 0
[pid=32654] ppid=32460 vsize=729124 CPUtime=0 cores=0-7
/proc/32654/stat : 32654 (python) S 32460 32460 32378 0 -1 4202560 931 0 0 0 0 0 0 0 19 0 1 0 746898213 746622976 15237 33554432000 4194304 5683644 140735425939152 18446744073709551615 216735198790 0 0 16781312 514 9434183329688584191 0 0 17 2 0 0 0
/proc/32654/statm: 182281 15237 346 364 0 118097 0
[pid=32656] ppid=32654 vsize=256668 CPUtime=0.28 cores=0-7
/proc/32656/stat : 32656 (FH) R 32654 32656 32656 0 -1 4202496 4182 0 0 0 28 0 0 0 21 0 1 0 746898214 262828032 3897 33554432000 134512640 134936988 4294315376 18446744073709551615 134523434 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/32656/statm: 64167 3897 37 104 0 63671 0
[pid=32460/tid=32467] ppid=32458 vsize=739368 CPUtime=0 cores=0-7
/proc/32460/task/32467/stat : 32467 (python) S 32458 32460 32378 0 -1 4202560 37 934 0 0 0 0 0 0 15 0 36 0 746730569 757112832 16839 33554432000 4194304 5683644 140735425939152 18446744073709551615 216747002289 0 0 16781312 2 18446604443947235328 0 0 -1 6 0 0 0
[pid=32460/tid=32470] ppid=32458 vsize=739368 CPUtime=0 cores=0-7
/proc/32460/task/32470/stat : 32470 (python) S 32458 32460 32378 0 -1 4202560 33 934 0 0 0 0 0 0 15 0 36 0 746730572 757112832 16839 33554432000 4194304 5683644 140735425939152 18446744073709551615 216747002289 0 0 16781312 2 18446604443947235328 0 0 -1 0 0 0 0
[pid=32460/tid=32473] ppid=32458 vsize=739368 CPUtime=0 cores=0-7
/proc/32460/task/32473/stat : 32473 (python) S 32458 32460 32378 0 -1 4202560 42 934 0 0 0 0 0 0 15 0 36 0 746730575 757112832 16839 33554432000 4194304 5683644 140735425939152 18446744073709551615 216747002289 0 0 16781312 2 18446604443947235328 0 0 -1 0 0 0 0
[pid=32460/tid=32476] ppid=32458 vsize=739368 CPUtime=0 cores=0-7
/proc/32460/task/32476/stat : 32476 (python) S 32458 32460 32378 0 -1 4202560 43 934 0 0 0 0 0 0 18 0 36 0 746730578 757112832 16839 33554432000 4194304 5683644 140735425939152 18446744073709551615 216747002289 0 0 16781312 2 18446604443947235328 0 0 -1 4 0 0 0
[pid=32460/tid=32479] ppid=32458 vsize=739368 CPUtime=0 cores=0-7
/proc/32460/task/32479/stat : 32479 (python) S 32458 32460 32378 0 -1 4202560 37 934 0 0 0 0 0 0 15 0 36 0 746730582 757112832 16839 33554432000 4194304 5683644 140735425939152 18446744073709551615 216747002289 0 0 16781312 2 18446604443947235328 0 0 -1 4 0 0 0
[pid=32460/tid=32482] ppid=32458 vsize=739368 CPUtime=0 cores=0-7
/proc/32460/task/32482/stat : 32482 (python) S 32458 32460 32378 0 -1 4202560 32 934 0 0 0 0 0 0 15 0 36 0 746730585 757112832 16839 33554432000 4194304 5683644 140735425939152 18446744073709551615 216747002289 0 0 16781312 2 18446604443947235328 0 0 -1 4 0 0 0
[pid=32460/tid=32485] ppid=32458 vsize=739368 CPUtime=0 cores=0-7
/proc/32460/task/32485/stat : 32485 (python) S 32458 32460 32378 0 -1 4202560 33 934 0 0 0 0 0 0 18 0 36 0 746730588 757112832 16839 33554432000 4194304 5683644 140735425939152 18446744073709551615 216747002289 0 0 16781312 2 18446604443947235328 0 0 -1 6 0 0 0
[pid=32460/tid=32488] ppid=32458 vsize=739368 CPUtime=0 cores=0-7
/proc/32460/task/32488/stat : 32488 (python) S 32458 32460 32378 0 -1 4202560 45 934 0 0 0 0 0 0 18 0 36 0 746730592 757112832 16839 33554432000 4194304 5683644 140735425939152 18446744073709551615 216747002289 0 0 16781312 2 18446604443947235328 0 0 -1 6 0 0 0
[pid=32460/tid=32502] ppid=32458 vsize=739368 CPUtime=0 cores=0-7
/proc/32460/task/32502/stat : 32502 (python) S 32458 32460 32378 0 -1 4202560 28 934 0 0 0 0 0 0 20 0 36 0 746750185 757112832 16839 33554432000 4194304 5683644 140735425939152 18446744073709551615 216747002289 0 0 16781312 2 18446604443947235328 0 0 -1 1 0 0 0
[pid=32460/tid=32519] ppid=32458 vsize=739368 CPUtime=0 cores=0-7
/proc/32460/task/32519/stat : 32519 (python) S 32458 32460 32378 0 -1 4202560 37 934 0 0 0 0 0 0 18 0 36 0 746760316 757112832 16839 33554432000 4194304 5683644 140735425939152 18446744073709551615 216747002289 0 0 16781312 2 18446604443947235328 0 0 -1 0 0 0 0
[pid=32460/tid=32522] ppid=32458 vsize=739368 CPUtime=0 cores=0-7
/proc/32460/task/32522/stat : 32522 (python) S 32458 32460 32378 0 -1 4202560 23 934 0 0 0 0 0 0 19 0 36 0 746760431 757112832 16839 33554432000 4194304 5683644 140735425939152 18446744073709551615 216747002289 0 0 16781312 2 18446604443947235328 0 0 -1 2 0 0 0
[pid=32460/tid=32525] ppid=32458 vsize=739368 CPUtime=0 cores=0-7
/proc/32460/task/32525/stat : 32525 (python) S 32458 32460 32378 0 -1 4202560 32 934 0 0 0 0 0 0 18 0 36 0 746760436 757112832 16839 33554432000 4194304 5683644 140735425939152 18446744073709551615 216747002289 0 0 16781312 2 18446604443947235328 0 0 -1 0 0 0 0
[pid=32460/tid=32529] ppid=32458 vsize=739368 CPUtime=0 cores=0-7
/proc/32460/task/32529/stat : 32529 (python) S 32458 32460 32378 0 -1 4202560 30 934 0 0 0 0 0 0 20 0 36 0 746760727 757112832 16839 33554432000 4194304 5683644 140735425939152 18446744073709551615 216747002289 0 0 16781312 2 18446604443947235328 0 0 -1 5 0 0 0
[pid=32460/tid=32535] ppid=32458 vsize=739368 CPUtime=0 cores=0-7
/proc/32460/task/32535/stat : 32535 (python) S 32458 32460 32378 0 -1 4202560 31 934 0 0 0 0 0 0 18 0 36 0 746769452 757112832 16839 33554432000 4194304 5683644 140735425939152 18446744073709551615 216747002289 0 0 16781312 2 18446604443947235328 0 0 -1 0 0 0 0
[pid=32460/tid=32539] ppid=32458 vsize=739368 CPUtime=0 cores=0-7
/proc/32460/task/32539/stat : 32539 (python) S 32458 32460 32378 0 -1 4202560 101 934 0 0 0 0 0 0 20 0 36 0 746770473 757112832 16839 33554432000 4194304 5683644 140735425939152 18446744073709551615 216747002289 0 0 16781312 2 18446604443947235328 0 0 -1 7 0 0 0
[pid=32460/tid=32542] ppid=32458 vsize=739368 CPUtime=0 cores=0-7
/proc/32460/task/32542/stat : 32542 (python) S 32458 32460 32378 0 -1 4202560 34 934 0 0 0 0 0 0 20 0 36 0 746770668 757112832 16839 33554432000 4194304 5683644 140735425939152 18446744073709551615 216747002289 0 0 16781312 2 18446604443947235328 0 0 -1 7 0 0 0
[pid=32460/tid=32546] ppid=32458 vsize=739368 CPUtime=0 cores=0-7
/proc/32460/task/32546/stat : 32546 (python) S 32458 32460 32378 0 -1 4202560 28 934 0 0 0 0 0 0 20 0 36 0 746770765 757112832 16839 33554432000 4194304 5683644 140735425939152 18446744073709551615 216747002289 0 0 16781312 2 18446604443947235328 0 0 -1 7 0 0 0
[pid=32460/tid=32551] ppid=32458 vsize=739368 CPUtime=0 cores=0-7
/proc/32460/task/32551/stat : 32551 (python) S 32458 32460 32378 0 -1 4202560 26 934 0 0 0 0 0 0 19 0 36 0 746779397 757112832 16839 33554432000 4194304 5683644 140735425939152 18446744073709551615 216747002289 0 0 16781312 2 18446604443947235328 0 0 -1 7 0 0 0
[pid=32460/tid=32556] ppid=32458 vsize=739368 CPUtime=0 cores=0-7
/proc/32460/task/32556/stat : 32556 (python) S 32458 32460 32378 0 -1 4202560 27 934 0 0 0 0 0 0 20 0 36 0 746779492 757112832 16839 33554432000 4194304 5683644 140735425939152 18446744073709551615 216747002289 0 0 16781312 2 18446604443947235328 0 0 -1 7 0 0 0
[pid=32460/tid=32559] ppid=32458 vsize=739368 CPUtime=0 cores=0-7
/proc/32460/task/32559/stat : 32559 (python) S 32458 32460 32378 0 -1 4202560 26 934 0 0 0 0 0 0 19 0 36 0 746780004 757112832 16839 33554432000 4194304 5683644 140735425939152 18446744073709551615 216747002289 0 0 16781312 2 18446604443947235328 0 0 -1 7 0 0 0
[pid=32460/tid=32565] ppid=32458 vsize=739368 CPUtime=0 cores=0-7
/proc/32460/task/32565/stat : 32565 (python) S 32458 32460 32378 0 -1 4202560 57 934 0 0 0 0 0 0 18 0 36 0 746780416 757112832 16839 33554432000 4194304 5683644 140735425939152 18446744073709551615 216747002289 0 0 16781312 2 18446604443947235328 0 0 -1 7 0 0 0
[pid=32460/tid=32569] ppid=32458 vsize=739368 CPUtime=0 cores=0-7
/proc/32460/task/32569/stat : 32569 (python) S 32458 32460 32378 0 -1 4202560 42 934 0 0 0 0 0 0 18 0 36 0 746780708 757112832 16839 33554432000 4194304 5683644 140735425939152 18446744073709551615 216747002289 0 0 16781312 2 18446604443947235328 0 0 -1 7 0 0 0
[pid=32460/tid=32573] ppid=32458 vsize=739368 CPUtime=0 cores=0-7
/proc/32460/task/32573/stat : 32573 (python) S 32458 32460 32378 0 -1 4202560 33 934 0 0 0 0 0 0 18 0 36 0 746781117 757112832 16839 33554432000 4194304 5683644 140735425939152 18446744073709551615 216747002289 0 0 16781312 2 18446604443947235328 0 0 -1 7 0 0 0
[pid=32460/tid=32579] ppid=32458 vsize=739368 CPUtime=0 cores=0-7
/proc/32460/task/32579/stat : 32579 (python) S 32458 32460 32378 0 -1 4202560 35 934 0 0 0 0 0 0 18 0 36 0 746789441 757112832 16839 33554432000 4194304 5683644 140735425939152 18446744073709551615 216747002289 0 0 16781312 2 18446604443947235328 0 0 -1 0 0 0 0
[pid=32460/tid=32582] ppid=32458 vsize=739368 CPUtime=0 cores=0-7
/proc/32460/task/32582/stat : 32582 (python) S 32458 32460 32378 0 -1 4202560 35 934 0 0 0 0 0 0 18 0 36 0 746790294 757112832 16839 33554432000 4194304 5683644 140735425939152 18446744073709551615 216747002289 0 0 16781312 2 18446604443947235328 0 0 -1 7 0 0 0
[pid=32460/tid=32589] ppid=32458 vsize=739368 CPUtime=0 cores=0-7
/proc/32460/task/32589/stat : 32589 (python) S 32458 32460 32378 0 -1 4202560 32 934 0 0 0 0 0 0 18 0 36 0 746799728 757112832 16839 33554432000 4194304 5683644 140735425939152 18446744073709551615 216747002289 0 0 16781312 2 18446604443947235328 0 0 -1 0 0 0 0
[pid=32460/tid=32596] ppid=32458 vsize=739368 CPUtime=0 cores=0-7
/proc/32460/task/32596/stat : 32596 (python) S 32458 32460 32378 0 -1 4202560 51 934 0 0 0 0 0 0 20 0 36 0 746800745 757112832 16839 33554432000 4194304 5683644 140735425939152 18446744073709551615 216747002289 0 0 16781312 2 18446604443947235328 0 0 -1 2 0 0 0
[pid=32460/tid=32604] ppid=32458 vsize=739368 CPUtime=0 cores=0-7
/proc/32460/task/32604/stat : 32604 (python) S 32458 32460 32378 0 -1 4202560 41 934 0 0 0 0 0 0 20 0 36 0 746809675 757112832 16839 33554432000 4194304 5683644 140735425939152 18446744073709551615 216747002289 0 0 16781312 2 18446604443947235328 0 0 -1 1 0 0 0
[pid=32460/tid=32609] ppid=32458 vsize=739368 CPUtime=0 cores=0-7
/proc/32460/task/32609/stat : 32609 (python) S 32458 32460 32378 0 -1 4202560 50 934 0 0 0 0 0 0 18 0 36 0 746818917 757112832 16839 33554432000 4194304 5683644 140735425939152 18446744073709551615 216747002289 0 0 16781312 2 18446604443947235328 0 0 -1 1 0 0 0
[pid=32460/tid=32612] ppid=32458 vsize=739368 CPUtime=0 cores=0-7
/proc/32460/task/32612/stat : 32612 (python) S 32458 32460 32378 0 -1 4202560 41 934 0 0 0 0 0 0 18 0 36 0 746819489 757112832 16839 33554432000 4194304 5683644 140735425939152 18446744073709551615 216747002289 0 0 16781312 2 18446604443947235328 0 0 -1 2 0 0 0
[pid=32460/tid=32616] ppid=32458 vsize=739368 CPUtime=0 cores=0-7
/proc/32460/task/32616/stat : 32616 (python) S 32458 32460 32378 0 -1 4202560 32 934 0 0 0 0 0 0 19 0 36 0 746819716 757112832 16839 33554432000 4194304 5683644 140735425939152 18446744073709551615 216747002289 0 0 16781312 2 18446604443947235328 0 0 -1 2 0 0 0
[pid=32460/tid=32631] ppid=32458 vsize=739368 CPUtime=0 cores=0-7
/proc/32460/task/32631/stat : 32631 (python) S 32458 32460 32378 0 -1 4202560 40 934 0 0 0 0 0 0 18 0 36 0 746849213 757112832 16839 33554432000 4194304 5683644 140735425939152 18446744073709551615 216747002289 0 0 16781312 2 18446604443947235328 0 0 -1 1 0 0 0
[pid=32460/tid=32640] ppid=32458 vsize=739368 CPUtime=0 cores=0-7
/proc/32460/task/32640/stat : 32640 (python) S 32458 32460 32378 0 -1 4202560 38 934 0 0 0 0 0 0 18 0 36 0 746869203 757112832 16839 33554432000 4194304 5683644 140735425939152 18446744073709551615 216747002289 0 0 16781312 2 18446604443947235328 0 0 -1 1 0 0 0
[pid=32460/tid=32646] ppid=32458 vsize=739368 CPUtime=0 cores=0-7
/proc/32460/task/32646/stat : 32646 (python) S 32458 32460 32378 0 -1 4202560 24 934 0 0 0 0 0 0 20 0 36 0 746877492 757112832 16839 33554432000 4194304 5683644 140735425939152 18446744073709551615 216747002289 0 0 16781312 2 18446604443947235328 0 0 -1 1 0 0 0
[pid=32460/tid=32655] ppid=32458 vsize=739368 CPUtime=0 cores=0-7
/proc/32460/task/32655/stat : 32655 (python) S 32458 32460 32378 0 -1 4202560 37 934 0 0 0 0 0 0 18 0 36 0 746898214 757112832 16839 33554432000 4194304 5683644 140735425939152 18446744073709551615 216747002289 0 0 16781312 2 18446604443947235328 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 13347.4
Current children cumulated vsize (KiB) 32357488

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 32460 and gives
#  childrusage.ru_utime.tv_sec=12
#  childrusage.ru_utime.tv_usec=450107
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=506922
# CPU time returned by wait4() is 12.957
# while last known CPU time is 13347.4
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1685.33
CPU time (s): 13347.4
CPU user time (s): 13323.3
CPU system time (s): 24.07
CPU usage (%): 791.975
Max. virtual memory (cumulated for all children) (KiB): 32357488

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.4501
system time used= 0.506922
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73016
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= 1585
involuntary context switches= 178

runsolver used 19.518 second user time and 52.9969 second system time

The end

Launcher Data 

Begin job on node119 at 2011-05-16 18:56:31
IDJOB=3385300
IDBENCH=82565
IDSOLVER=1870
FILE ID=node119/3385300-1305564990
RUNJOBID= node119-1305564964-32392
PBS_JOBID= 13350131
Free space on /tmp= 73076 MiB

SOLVER NAME= borg-sat 11.03.02-par-random (fixed)
BENCH NAME= SAT11/random/large/unif-k3-r4.2-v40000-c168000-S845438593-067-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-3385300-1305564990/watcher-3385300-1305564990 -o /tmp/evaluation-result-3385300-1305564990/solver-3385300-1305564990 -C 40000 -W 5100 -M 31000  python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3385300-1305564990.cnf -seed 1978747136 -budget 40000 -cores 8

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

MD5SUM BENCH= 3b06c2c5c22c8501e021c8b11d20bcd0
RANDOM SEED=1978747136

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      13062220 kB
Buffers:        316260 kB
Cached:        5545248 kB
SwapCached:       4756 kB
Active:       15759960 kB
Inactive:      3781404 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      13062220 kB
SwapTotal:    67111528 kB
SwapFree:     65586204 kB
Dirty:           35408 kB
Writeback:           0 kB
AnonPages:    13677860 kB
Mapped:          32868 kB
Slab:           215900 kB
PageTables:      63064 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 120778292 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= 73044 MiB
End job on node119 at 2011-05-16 19:24:38