Trace number 3321835

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-random? (MO) 8683.99 1092.41

General information on the benchmark

Namerandom/large/
unif-k5-r20-v1500-c30000-S303265982-092-UNKNOWN.cnf
MD5SUM1b4a544dd042630233219a622c9437c7
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark186.925
Satisfiable
(Un)Satisfiability was proved
Number of variables1500
Number of clauses30000
Sum of the clauses size150000
Maximum clause length5
Minimum clause length5
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 530000
Number of clauses of size over 50

Solver Data 

0.35/0.67	c INFO: loaded portfolio from HOME/etc/borg-mix+class.random.pickle
0.35/0.67	c INFO: solving HOME/instance-3321835-1304368082.cnf
0.35/0.67	c INFO: computing task features
0.53/0.82	c INFO: computed variable-clause graph statistics
0.53/0.83	c INFO: computed clause balance statistics
1.22/1.58	c INFO: computed variable balance statistics
1.62/1.99	c INFO: computed small-clause counts
1.72/2.00	c INFO: computed Horn-clause counts
1.72/2.03	c INFO: computed variable graph statistics
1.72/2.03	c INFO: collected features for HOME/instance-3321835-1304368082.cnf in 1.36 s
1.72/2.07	c INFO: running gnovelty+2@0 for 97 with 39998 remaining (b = 0.38)
1.72/2.10	c INFO: running gnovelty+2@0 for 97 with 39998 remaining (b = 0.14)
1.85/2.14	c INFO: running adaptg2wsat2009++@0 for 97 with 39998 remaining (b = 0.09)
1.85/2.18	c INFO: running adaptg2wsat2009++@0 for 97 with 39998 remaining (b = 0.07)
2.06/2.22	c INFO: running adaptg2wsat2009++@0 for 97 with 39998 remaining (b = 0.06)
2.06/2.26	c INFO: running gnovelty+2@0 for 97 with 39998 remaining (b = 0.05)
2.06/2.30	c INFO: running FH@0 for 97 with 39998 remaining (b = 0.04)
2.23/2.34	c INFO: running adaptg2wsat2009++@0 for 97 with 39998 remaining (b = 0.03)
801.61/102.36	c INFO: running adaptg2wsat2009++@0 for 97 with 39898 remaining (b = 0.03)
802.28/102.42	c INFO: running FH@0 for 97 with 39898 remaining (b = 0.02)
802.28/102.47	c INFO: running hybridGM3@0 for 194 with 39898 remaining (b = 0.04)
802.73/102.52	c INFO: running gnovelty+2@0 for 97 with 39898 remaining (b = 0.02)
802.73/102.58	c INFO: running hybridGM3@0 for 194 with 39898 remaining (b = 0.03)
803.01/102.64	c INFO: running hybridGM3@0 for 194 with 39898 remaining (b = 0.03)
803.11/102.70	c INFO: running TNM@0 for 1552 with 39898 remaining (b = 0.21)
803.11/102.76	c INFO: running adaptg2wsat2009++@0 for 97 with 39897 remaining (b = 0.02)
1593.61/201.73	c INFO: running FH@0 for 97 with 39798 remaining (b = 0.01)
1594.36/201.88	c INFO: running hybridGM3@0 for 194 with 39798 remaining (b = 0.02)
1600.73/202.66	c INFO: running adaptg2wsat2009++@0 for 97 with 39798 remaining (b = 0.01)
1637.37/207.23	c INFO: running adaptg2wsat2009++@0 for 97 with 39793 remaining (b = 0.01)
2353.14/297.09	c INFO: running hybridGM3@100 for 97 with 39703 remaining (b = 0.01)
2369.88/299.17	c INFO: running hybridGM3@100 for 97 with 39701 remaining (b = 0.01)
2371.37/299.34	c INFO: running hybridGM3@99 for 97 with 39701 remaining (b = 0.01)
2376.17/299.95	c INFO: running adaptg2wsat2009++@0 for 97 with 39700 remaining (b = 0.01)
2412.83/304.52	c INFO: running adaptg2wsat2009++@100 for 97 with 39696 remaining (b = 0.01)
2433.52/307.19	c INFO: running gnovelty+2@0 for 97 with 39693 remaining (b = 0.01)
3130.85/394.63	c INFO: running hybridGM3@0 for 194 with 39606 remaining (b = 0.02)
3151.52/397.25	c INFO: running hybridGM3@0 for 194 with 39603 remaining (b = 0.02)
3152.98/397.42	c INFO: running hybridGM3@296 for 97 with 39603 remaining (b = 0.01)
3161.85/398.52	c INFO: running hybridGM3@100 for 97 with 39602 remaining (b = 0.01)
3177.07/400.50	c INFO: running hybridGM3@296 for 97 with 39600 remaining (b = 0.01)
3188.16/401.83	c INFO: running TNM@0 for 1552 with 39598 remaining (b = 0.14)
3273.47/412.58	c INFO: running adaptg2wsat2009++@99 for 97 with 39588 remaining (b = 0.01)
3912.61/492.74	c INFO: running FH@0 for 291 with 39508 remaining (b = 0.03)
3937.24/495.81	c INFO: running iPAWS@0 for 97 with 39504 remaining (b = 0.01)
3969.10/499.85	c INFO: running hybridGM3@393 for 97 with 39500 remaining (b = 0.01)
4049.57/509.90	c INFO: running adaptg2wsat2009++@99 for 97 with 39490 remaining (b = 0.01)
4721.15/594.21	c INFO: running FH@99 for 291 with 39406 remaining (b = 0.03)
4744.23/597.17	c INFO: running hybridGM3@0 for 194 with 39403 remaining (b = 0.02)
4745.08/597.29	c INFO: running iPAWS@0 for 97 with 39403 remaining (b = 0.01)
4749.96/597.92	c INFO: running hybridGM3@97 for 97 with 39402 remaining (b = 0.01)
4816.56/606.26	c INFO: running hybridGM3@99 for 97 with 39394 remaining (b = 0.01)
5509.15/693.24	c INFO: running hybridGM3@193 for 97 with 39307 remaining (b = 0.01)
5544.14/697.62	c INFO: running TNM@0 for 1552 with 39303 remaining (b = 0.11)
5583.92/702.61	c INFO: running adaptg2wsat2009++@100 for 97 with 39298 remaining (b = 0.01)
6219.91/782.52	c INFO: running gnovelty+2@0 for 97 with 39218 remaining (b = 0.01)
6267.64/788.56	c INFO: running hybridGM3@293 for 97 with 39212 remaining (b = 0.01)
6350.41/798.96	c INFO: running adaptg2wsat2009++@390 for 194 with 39201 remaining (b = 0.02)
6383.13/803.08	c INFO: running FH@0 for 97 with 39197 remaining (b = 0.01)
7019.02/882.91	c INFO: running hybridGM3@0 for 194 with 39117 remaining (b = 0.01)
7059.60/888.07	c INFO: running FH@196 for 194 with 39112 remaining (b = 0.01)
7073.98/889.90	c INFO: running hybridGM3@389 for 97 with 39110 remaining (b = 0.01)
7182.17/903.43	c INFO: running NCVWr@0 for 485 with 39097 remaining (b = 0.03)
7833.09/985.25	c INFO: running iPAWS@0 for 97 with 39015 remaining (b = 0.01)
7995.38/1005.62	c INFO: running hybridGM3@0 for 194 with 38995 remaining (b = 0.01)
8575.74/1078.66	c INFO: running hybridGM3@293 for 194 with 38922 remaining (b = 0.01)
8608.29/1082.72	c INFO: running FH@298 for 97 with 38918 remaining (b = 0.01)
8679.02/1091.64	c INFO: running hybridGM3@0 for 194 with 38909 remaining (b = 0.01)
8683.99/1092.39	c INFO: running TNM@0 for 1552 with 38908 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: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3321835-1304368082/watcher-3321835-1304368082 -o /tmp/evaluation-result-3321835-1304368082/solver-3321835-1304368082 -C 40000 -W 5100 -M 31000 python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3321835-1304368082.cnf -seed 1752398625 -budget 40000 -cores 8 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 7.54 7.99 6.59 2/295 29425
/proc/meminfo: memFree=22952056/32951124 swapFree=67111464/67111528
[pid=29425] ppid=29423 vsize=15760 CPUtime=0 cores=0-7
/proc/29425/stat : 29425 (python) S 29423 29425 28808 0 -1 4202496 845 0 0 0 0 0 0 0 22 0 1 0 548405916 16138240 727 33554432000 4194304 5683644 140733860894672 18446744073709551615 212687673344 0 2147483391 16781312 2 18446744071699199166 0 0 17 2 0 0 0
/proc/29425/statm: 3940 727 334 364 0 427 0

[startup+0.0585869 s]
/proc/loadavg: 7.54 7.99 6.59 2/295 29425
/proc/meminfo: memFree=22952056/32951124 swapFree=67111464/67111528
[pid=29425] ppid=29423 vsize=29788 CPUtime=0.04 cores=0-7
/proc/29425/stat : 29425 (python) S 29423 29425 28808 0 -1 4202496 1415 0 0 0 3 1 0 0 22 0 1 0 548405916 30502912 1258 33554432000 4194304 5683644 140733860894672 18446744073709551615 212687673344 0 2147483391 16781312 2 18446744071699199166 0 0 17 2 0 0 0
/proc/29425/statm: 7447 1258 443 364 0 817 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 29788

[startup+0.100589 s]
/proc/loadavg: 7.54 7.99 6.59 2/295 29425
/proc/meminfo: memFree=22952056/32951124 swapFree=67111464/67111528
[pid=29425] ppid=29423 vsize=89768 CPUtime=0.06 cores=0-7
/proc/29425/stat : 29425 (python) R 29423 29425 28808 0 -1 4202496 2641 0 0 0 4 2 0 0 22 0 1 0 548405916 91922432 2356 33554432000 4194304 5683644 140733860894672 18446744073709551615 212682753462 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/29425/statm: 22442 2359 721 364 0 1622 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 89768

[startup+0.300597 s]
/proc/loadavg: 7.54 7.99 6.59 2/295 29425
/proc/meminfo: memFree=22952056/32951124 swapFree=67111464/67111528
[pid=29425] ppid=29423 vsize=135748 CPUtime=0.18 cores=0-7
/proc/29425/stat : 29425 (python) R 29423 29425 28808 0 -1 4202496 5962 933 1 0 13 5 0 0 22 0 1 0 548405916 139005952 4151 33554432000 4194304 5683644 140733860894672 18446744073709551615 4620076 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/29425/statm: 33937 4151 1032 364 0 3123 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 135748

[startup+0.700472 s]
/proc/loadavg: 7.54 7.99 6.59 2/295 29425
/proc/meminfo: memFree=22952056/32951124 swapFree=67111464/67111528
[pid=29425] ppid=29423 vsize=280524 CPUtime=0.43 cores=0-7
/proc/29425/stat : 29425 (python) R 29423 29425 28808 0 -1 4202496 9781 933 1 0 33 10 0 0 22 0 1 0 548405916 287256576 7464 33554432000 4194304 5683644 140733860894672 18446744073709551615 4571061 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/29425/statm: 70131 7464 1761 364 0 6055 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 280524

[startup+1.50034 s]
/proc/loadavg: 7.54 7.99 6.59 2/296 29430
/proc/meminfo: memFree=22921792/32951124 swapFree=67111464/67111528
[pid=29425] ppid=29423 vsize=287576 CPUtime=1.22 cores=0-7
/proc/29425/stat : 29425 (python) R 29423 29425 28808 0 -1 4202496 12678 933 1 0 112 10 0 0 25 0 1 0 548405916 294477824 9279 33554432000 4194304 5683644 140733860894672 18446744073709551615 212687342559 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/29425/statm: 71894 9279 1826 364 0 7818 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 287576

[startup+3.101 s]
/proc/loadavg: 7.54 7.99 6.59 3/299 29433
/proc/meminfo: memFree=22922512/32951124 swapFree=67111464/67111528
[pid=29425] ppid=29423 vsize=430524 CPUtime=2.06 cores=0-7
/proc/29425/stat : 29425 (python) S 29423 29425 28808 0 -1 4202496 18526 933 1 0 194 12 0 0 25 0 9 0 548405916 440856576 8343 33554432000 4194304 5683644 140733860894672 18446744073709551615 212699502027 0 0 16781312 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29425/statm: 107631 8343 1891 364 0 43528 0
[pid=29431] ppid=29425 vsize=283436 CPUtime=0 cores=0-7
/proc/29431/stat : 29431 (python) S 29425 29425 28808 0 -1 4202560 729 0 0 0 0 0 0 0 25 0 1 0 548406123 290238464 6647 33554432000 4194304 5683644 140733860894672 18446744073709551615 212687695375 0 0 16781312 514 17761497920126844927 0 0 17 4 0 0 0
/proc/29431/statm: 70859 6647 355 364 0 6777 0
[pid=29433] ppid=29431 vsize=1018996 CPUtime=1.02 cores=0-7
/proc/29433/stat : 29433 (gnovelty+2) R 29431 29433 29433 0 -1 4202496 960 0 0 0 102 0 0 0 25 0 1 0 548406123 1043451904 698 33554432000 134512640 135663704 4292658864 18446744073709551615 134545670 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/29433/statm: 254749 698 113 282 0 254465 0
[pid=29425/tid=29432] ppid=29423 vsize=430524 CPUtime=0 cores=0-7
/proc/29425/task/29432/stat : 29432 (python) S 29423 29425 28808 0 -1 4202560 29 933 0 0 0 0 0 0 18 0 9 0 548406123 440856576 8343 33554432000 4194304 5683644 140733860894672 18446744073709551615 212699498929 0 0 16781312 2 18446604451151407808 0 0 -1 1 0 0 0
[pid=29425/tid=29435] ppid=29423 vsize=430524 CPUtime=0 cores=0-7
/proc/29425/task/29435/stat : 29435 (python) S 29423 29425 28808 0 -1 4202560 85 933 0 0 0 0 0 0 25 0 9 0 548406127 440856576 8343 33554432000 4194304 5683644 140733860894672 18446744073709551615 212699498929 0 0 16781312 2 18446604451151407808 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1732956

[startup+6.30141 s]
/proc/loadavg: 7.57 7.99 6.60 9/320 29454
/proc/meminfo: memFree=22856880/32951124 swapFree=67111464/67111528
[pid=29425] ppid=29423 vsize=430524 CPUtime=2.06 cores=0-7
/proc/29425/stat : 29425 (python) S 29423 29425 28808 0 -1 4202496 18526 933 1 0 194 12 0 0 25 0 9 0 548405916 440856576 8343 33554432000 4194304 5683644 140733860894672 18446744073709551615 212699502027 0 0 16781312 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29425/statm: 107631 8343 1891 364 0 43528 0
[pid=29431] ppid=29425 vsize=283436 CPUtime=0.01 cores=0-7
/proc/29431/stat : 29431 (python) S 29425 29425 28808 0 -1 4202560 887 0 0 0 0 1 0 0 18 0 1 0 548406123 290238464 6670 33554432000 4194304 5683644 140733860894672 18446744073709551615 212687695375 0 0 16781312 514 17761497920126812419 0 0 17 4 0 0 0
/proc/29431/statm: 70859 6670 378 364 0 6777 0
[pid=29433] ppid=29431 vsize=1018996 CPUtime=4.22 cores=0-7
/proc/29433/stat : 29433 (gnovelty+2) R 29431 29433 29433 0 -1 4202496 960 0 0 0 422 0 0 0 25 0 1 0 548406123 1043451904 698 33554432000 134512640 135663704 4292658864 18446744073709551615 134544167 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/29433/statm: 254749 698 113 282 0 254465 0
[pid=29434] ppid=29425 vsize=358744 CPUtime=0.01 cores=0-7
/proc/29434/stat : 29434 (python) S 29425 29425 28808 0 -1 4202560 771 0 0 0 0 1 0 0 18 0 1 0 548406127 367353856 6839 33554432000 4194304 5683644 140733860894672 18446744073709551615 212687695430 0 0 16781312 514 12828785567592317186 0 0 17 4 0 0 0
/proc/29434/statm: 89686 6839 371 364 0 25601 0
[pid=29436] ppid=29434 vsize=1018996 CPUtime=4.18 cores=0-7
/proc/29436/stat : 29436 (gnovelty+2) R 29434 29436 29436 0 -1 4202496 948 0 0 0 418 0 0 0 25 0 1 0 548406127 1043451904 697 33554432000 134512640 135663704 4289687408 18446744073709551615 134544264 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/29436/statm: 254749 697 113 282 0 254465 0
[pid=29437] ppid=29425 vsize=369000 CPUtime=0.01 cores=0-7
/proc/29437/stat : 29437 (python) S 29425 29425 28808 0 -1 4202560 783 0 0 0 0 1 0 0 18 0 1 0 548406130 377856000 6816 33554432000 4194304 5683644 140733860894672 18446744073709551615 212687695430 0 0 16781312 514 2470339023994847490 0 0 17 4 0 0 0
/proc/29437/statm: 92250 6816 371 364 0 28162 0
[pid=29439] ppid=29437 vsize=421428 CPUtime=4.11 cores=0-7
/proc/29439/stat : 29439 (adaptg2wsat2009) R 29437 29439 29439 0 -1 4202496 2037 0 0 0 411 0 0 0 25 0 1 0 548406131 431542272 1782 33554432000 134512640 135107411 4288566768 18446744073709551615 134531392 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/29439/statm: 105357 1782 59 146 0 104233 0
[pid=29440] ppid=29425 vsize=379256 CPUtime=0 cores=0-7
/proc/29440/stat : 29440 (python) S 29425 29425 28808 0 -1 4202560 792 0 0 0 0 0 0 0 18 0 1 0 548406134 388358144 6821 33554432000 4194304 5683644 140733860894672 18446744073709551615 212687695430 0 0 16781312 514 12828797112464408835 0 0 17 0 0 0 0
/proc/29440/statm: 94814 6821 371 364 0 30723 0
[pid=29442] ppid=29440 vsize=421428 CPUtime=4.06 cores=0-7
/proc/29442/stat : 29442 (adaptg2wsat2009) R 29440 29442 29442 0 -1 4202496 2037 0 0 0 406 0 0 0 25 0 1 0 548406135 431542272 1781 33554432000 134512640 135107411 4291750384 18446744073709551615 134532336 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/29442/statm: 105357 1781 59 146 0 104233 0
[pid=29443] ppid=29425 vsize=389512 CPUtime=0 cores=0-7
/proc/29443/stat : 29443 (python) S 29425 29425 28808 0 -1 4202560 798 0 0 0 0 0 0 0 18 0 1 0 548406138 398860288 6807 33554432000 4194304 5683644 140733860894672 18446744073709551615 212687695430 0 0 16781312 514 7249291822210449666 0 0 17 2 0 0 0
/proc/29443/statm: 97378 6807 371 364 0 33284 0
[pid=29445] ppid=29443 vsize=421428 CPUtime=4.07 cores=0-7
/proc/29445/stat : 29445 (adaptg2wsat2009) R 29443 29445 29445 0 -1 4202496 2045 0 0 0 407 0 0 0 25 0 1 0 548406138 431542272 1783 33554432000 134512640 135107411 4287251360 18446744073709551615 134532384 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/29445/statm: 105357 1783 59 146 0 104233 0
[pid=29446] ppid=29425 vsize=399768 CPUtime=0 cores=0-7
/proc/29446/stat : 29446 (python) S 29425 29425 28808 0 -1 4202560 728 0 0 0 0 0 0 0 18 0 1 0 548406142 409362432 6908 33554432000 4194304 5683644 140733860894672 18446744073709551615 212687695430 0 0 16781312 514 4423775362366800130 0 0 17 0 0 0 0
/proc/29446/statm: 99942 6908 348 364 0 35845 0
[pid=29448] ppid=29446 vsize=1018996 CPUtime=4.02 cores=0-7
/proc/29448/stat : 29448 (gnovelty+2) R 29446 29448 29448 0 -1 4202496 954 0 0 0 402 0 0 0 25 0 1 0 548406143 1043451904 697 33554432000 134512640 135663704 4294150512 18446744073709551615 134525255 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/29448/statm: 254749 697 113 282 0 254465 0
[pid=29449] ppid=29425 vsize=410024 CPUtime=0 cores=0-7
/proc/29449/stat : 29449 (python) S 29425 29425 28808 0 -1 4202560 738 0 0 0 0 0 0 0 18 0 1 0 548406146 419864576 6810 33554432000 4194304 5683644 140733860894672 18446744073709551615 212687695430 0 0 16781312 514 10882069169411424514 0 0 17 2 0 0 0
/proc/29449/statm: 102506 6810 348 364 0 38406 0
[pid=29451] ppid=29449 vsize=251292 CPUtime=3.96 cores=0-7
/proc/29451/stat : 29451 (FH) R 29449 29451 29451 0 -1 4202496 1943 0 0 0 396 0 0 0 25 0 1 0 548406146 257323008 1682 33554432000 134512640 134936988 4292181536 18446744073709551615 134554603 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/29451/statm: 62823 1682 41 104 0 62327 0
[pid=29452] ppid=29425 vsize=420280 CPUtime=0 cores=0-7
/proc/29452/stat : 29452 (python) S 29425 29425 28808 0 -1 4202560 763 0 0 0 0 0 0 0 18 0 1 0 548406150 430366720 6802 33554432000 4194304 5683644 140733860894672 18446744073709551615 212687695430 0 0 16781312 514 4337656663877058820 0 0 17 0 0 0 0
/proc/29452/statm: 105070 6802 354 364 0 40967 0
[pid=29454] ppid=29452 vsize=421428 CPUtime=3.9 cores=0-7
/proc/29454/stat : 29454 (adaptg2wsat2009) R 29452 29454 29454 0 -1 4202496 2043 0 0 0 390 0 0 0 25 0 1 0 548406150 431542272 1781 33554432000 134512640 135107411 4289346208 18446744073709551615 134531561 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/29454/statm: 105357 1781 59 146 0 104233 0
[pid=29425/tid=29432] ppid=29423 vsize=430524 CPUtime=0 cores=0-7
/proc/29425/task/29432/stat : 29432 (python) S 29423 29425 28808 0 -1 4202560 29 933 0 0 0 0 0 0 18 0 9 0 548406123 440856576 8343 33554432000 4194304 5683644 140733860894672 18446744073709551615 212699498929 0 0 16781312 2 18446604451151407808 0 0 -1 1 0 0 0
[pid=29425/tid=29435] ppid=29423 vsize=430524 CPUtime=0 cores=0-7
/proc/29425/task/29435/stat : 29435 (python) S 29423 29425 28808 0 -1 4202560 85 933 0 0 0 0 0 0 25 0 9 0 548406127 440856576 8343 33554432000 4194304 5683644 140733860894672 18446744073709551615 212699498929 0 0 16781312 2 18446604451151407808 0 0 -1 4 0 0 0
[pid=29425/tid=29438] ppid=29423 vsize=430524 CPUtime=0 cores=0-7
/proc/29425/task/29438/stat : 29438 (python) S 29423 29425 28808 0 -1 4202560 27 933 0 0 0 0 0 0 25 0 9 0 548406131 440856576 8343 33554432000 4194304 5683644 140733860894672 18446744073709551615 212699498929 0 0 16781312 2 18446604451151407808 0 0 -1 4 0 0 0
[pid=29425/tid=29441] ppid=29423 vsize=430524 CPUtime=0 cores=0-7
/proc/29425/task/29441/stat : 29441 (python) S 29423 29425 28808 0 -1 4202560 30 933 0 0 0 0 0 0 20 0 9 0 548406134 440856576 8343 33554432000 4194304 5683644 140733860894672 18446744073709551615 212699498929 0 0 16781312 2 18446604451151407808 0 0 -1 0 0 0 0
[pid=29425/tid=29444] ppid=29423 vsize=430524 CPUtime=0 cores=0-7
/proc/29425/task/29444/stat : 29444 (python) S 29423 29425 28808 0 -1 4202560 32 933 0 0 0 0 0 0 18 0 9 0 548406138 440856576 8343 33554432000 4194304 5683644 140733860894672 18446744073709551615 212699498929 0 0 16781312 2 18446604451151407808 0 0 -1 2 0 0 0
[pid=29425/tid=29447] ppid=29423 vsize=430524 CPUtime=0 cores=0-7
/proc/29425/task/29447/stat : 29447 (python) S 29423 29425 28808 0 -1 4202560 29 933 0 0 0 0 0 0 24 0 9 0 548406142 440856576 8343 33554432000 4194304 5683644 140733860894672 18446744073709551615 212699498929 0 0 16781312 2 18446604451151407808 0 0 -1 0 0 0 0
[pid=29425/tid=29450] ppid=29423 vsize=430524 CPUtime=0 cores=0-7
/proc/29425/task/29450/stat : 29450 (python) S 29423 29425 28808 0 -1 4202560 31 933 0 0 0 0 0 0 25 0 9 0 548406146 440856576 8343 33554432000 4194304 5683644 140733860894672 18446744073709551615 212699498929 0 0 16781312 2 18446604451151407808 0 0 -1 2 0 0 0
[pid=29425/tid=29453] ppid=29423 vsize=430524 CPUtime=0 cores=0-7
/proc/29425/task/29453/stat : 29453 (python) S 29423 29425 28808 0 -1 4202560 79 933 0 0 0 0 0 0 25 0 9 0 548406150 440856576 8343 33554432000 4194304 5683644 140733860894672 18446744073709551615 212699498929 0 0 16781312 2 18446604451151407808 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 34.61
Current children cumulated vsize (KiB) 8434536

[startup+12.7012 s]
/proc/loadavg: 7.61 7.99 6.61 9/320 29454
/proc/meminfo: memFree=22856788/32951124 swapFree=67111464/67111528
[pid=29425] ppid=29423 vsize=430524 CPUtime=2.06 cores=0-7
/proc/29425/stat : 29425 (python) S 29423 29425 28808 0 -1 4202496 18526 933 1 0 194 12 0 0 25 0 9 0 548405916 440856576 8343 33554432000 4194304 5683644 140733860894672 18446744073709551615 212699502027 0 0 16781312 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29425/statm: 107631 8343 1891 364 0 43528 0
[pid=29431] ppid=29425 vsize=283436 CPUtime=0.02 cores=0-7
/proc/29431/stat : 29431 (python) S 29425 29425 28808 0 -1 4202560 891 0 0 0 1 1 0 0 18 0 1 0 548406123 290238464 6670 33554432000 4194304 5683644 140733860894672 18446744073709551615 212687695375 0 0 16781312 514 13516903370668867843 0 0 17 4 0 0 0
/proc/29431/statm: 70859 6670 378 364 0 6777 0
[pid=29433] ppid=29431 vsize=1018996 CPUtime=10.62 cores=0-7
/proc/29433/stat : 29433 (gnovelty+2) R 29431 29433 29433 0 -1 4202496 960 0 0 0 1062 0 0 0 25 0 1 0 548406123 1043451904 698 33554432000 134512640 135663704 4292658864 18446744073709551615 134524897 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/29433/statm: 254749 698 113 282 0 254465 0
[pid=29434] ppid=29425 vsize=358744 CPUtime=0.02 cores=0-7
/proc/29434/stat : 29434 (python) S 29425 29425 28808 0 -1 4202560 771 0 0 0 1 1 0 0 18 0 1 0 548406127 367353856 6839 33554432000 4194304 5683644 140733860894672 18446744073709551615 212687695430 0 0 16781312 514 13516903370668867842 0 0 17 4 0 0 0
/proc/29434/statm: 89686 6839 371 364 0 25601 0
[pid=29436] ppid=29434 vsize=1018996 CPUtime=10.58 cores=0-7
/proc/29436/stat : 29436 (gnovelty+2) R 29434 29436 29436 0 -1 4202496 948 0 0 0 1058 0 0 0 25 0 1 0 548406127 1043451904 697 33554432000 134512640 135663704 4289687408 18446744073709551615 134524548 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/29436/statm: 254749 697 113 282 0 254465 0
[pid=29437] ppid=29425 vsize=369000 CPUtime=0.02 cores=0-7
/proc/29437/stat : 29437 (python) S 29425 29425 28808 0 -1 4202560 783 0 0 0 1 1 0 0 18 0 1 0 548406130 377856000 6816 33554432000 4194304 5683644 140733860894672 18446744073709551615 212687695430 0 0 16781312 514 13516903370668867842 0 0 17 4 0 0 0
/proc/29437/statm: 92250 6816 371 364 0 28162 0
[pid=29439] ppid=29437 vsize=421428 CPUtime=10.43 cores=0-7
/proc/29439/stat : 29439 (adaptg2wsat2009) R 29437 29439 29439 0 -1 4202496 2037 0 0 0 1043 0 0 0 25 0 1 0 548406131 431542272 1782 33554432000 134512640 135107411 4288566768 18446744073709551615 134532318 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/29439/statm: 105357 1782 59 146 0 104233 0
[pid=29440] ppid=29425 vsize=379256 CPUtime=0.01 cores=0-7
/proc/29440/stat : 29440 (python) S 29425 29425 28808 0 -1 4202560 792 0 0 0 0 1 0 0 18 0 1 0 548406134 388358144 6821 33554432000 4194304 5683644 140733860894672 18446744073709551615 212687695430 0 0 16781312 514 13516903370668867843 0 0 17 0 0 0 0
/proc/29440/statm: 94814 6821 371 364 0 30723 0
[pid=29442] ppid=29440 vsize=421428 CPUtime=10.42 cores=0-7
/proc/29442/stat : 29442 (adaptg2wsat2009) R 29440 29442 29442 0 -1 4202496 2037 0 0 0 1042 0 0 0 25 0 1 0 548406135 431542272 1781 33554432000 134512640 135107411 4291750384 18446744073709551615 134532128 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/29442/statm: 105357 1781 59 146 0 104233 0
[pid=29443] ppid=29425 vsize=389512 CPUtime=0.02 cores=0-7
/proc/29443/stat : 29443 (python) S 29425 29425 28808 0 -1 4202560 798 0 0 0 1 1 0 0 18 0 1 0 548406138 398860288 6807 33554432000 4194304 5683644 140733860894672 18446744073709551615 212687695430 0 0 16781312 514 13516903370668867842 0 0 17 2 0 0 0
/proc/29443/statm: 97378 6807 371 364 0 33284 0
[pid=29445] ppid=29443 vsize=421428 CPUtime=10.47 cores=0-7
/proc/29445/stat : 29445 (adaptg2wsat2009) R 29443 29445 29445 0 -1 4202496 2045 0 0 0 1047 0 0 0 25 0 1 0 548406138 431542272 1783 33554432000 134512640 135107411 4287251360 18446744073709551615 134531667 0 0 16781312 0 0 0 0 17 6 0 0 0

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

[pid=29523] ppid=29521 vsize=459768 CPUtime=688.58 cores=0-7
/proc/29523/stat : 29523 (TNM) R 29521 29523 29523 0 -1 4202496 1938 0 0 0 68858 0 0 0 25 0 1 0 548446100 470802432 1652 33554432000 134512640 135008748 4293203648 18446744073709551615 134529195 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/29523/statm: 114942 1652 46 122 0 113842 0
[pid=29528] ppid=29425 vsize=574120 CPUtime=0.25 cores=0-7
/proc/29528/stat : 29528 (python) S 29425 29425 28808 0 -1 4202560 1180 0 0 0 14 11 0 0 19 0 2 0 548455497 587898880 7153 33554432000 4194304 5683644 140733860894672 18446744073709551615 212699502027 0 0 16781312 514 18446744073709551615 0 0 17 5 0 0 0
/proc/29528/statm: 143530 7153 406 364 0 79382 0
[pid=29530] ppid=29528 vsize=335996 CPUtime=97.66 cores=0-7
/proc/29530/stat : 29530 (iPAWS) T 29528 29530 29530 0 -1 4202496 1828 0 0 0 9766 0 0 0 25 0 1 0 548455498 344059904 1547 33554432000 134512640 135114423 4289146512 18446744073709551615 134515508 0 0 16781312 0 18446744071562691360 0 0 17 5 0 0 0
/proc/29530/statm: 83999 1547 59 147 0 83851 0
[pid=29528/tid=29533] ppid=29425 vsize=574120 CPUtime=0 cores=0-7
/proc/29528/task/29533/stat : 29533 (python) S 29425 29425 28808 0 -1 4202560 80 0 0 0 0 0 0 0 19 0 2 0 548465329 587898880 7153 33554432000 4194304 5683644 140733860894672 18446744073709551615 212699498929 0 0 16781312 514 18446604456852350848 0 0 -1 5 0 0 0
[pid=29535] ppid=29425 vsize=584376 CPUtime=0.52 cores=0-7
/proc/29535/stat : 29535 (python) S 29425 29425 28808 0 -1 4202560 1211 0 0 0 26 26 0 0 19 0 2 0 548465633 598401024 7177 33554432000 4194304 5683644 140733860894672 18446744073709551615 212699502027 0 0 16781312 514 18446744073709551615 0 0 17 7 0 0 0
/proc/29535/statm: 146094 7177 407 364 0 81943 0
[pid=29537] ppid=29535 vsize=268420 CPUtime=195.87 cores=0-7
/proc/29537/stat : 29537 (hybridGM3) T 29535 29537 29537 0 -1 4202496 5828 0 0 0 19587 0 0 0 25 0 1 0 548465634 274862080 5543 33554432000 134512640 135204385 4292832528 18446744073709551615 134537690 0 0 16781312 0 18446744071562691360 0 0 17 7 0 0 0
/proc/29537/statm: 67105 5543 63 169 0 66935 0
[pid=29535/tid=29555] ppid=29425 vsize=584376 CPUtime=0 cores=0-7
/proc/29535/task/29555/stat : 29555 (python) S 29425 29425 28808 0 -1 4202560 85 0 0 0 0 0 0 0 19 0 2 0 548486214 598401024 7177 33554432000 4194304 5683644 140733860894672 18446744073709551615 212699498929 0 0 16781312 514 18446604471162047360 0 0 -1 5 0 0 0
[pid=29539] ppid=29425 vsize=594632 CPUtime=0.25 cores=0-7
/proc/29539/stat : 29539 (python) S 29425 29425 28808 0 -1 4202560 1179 0 0 0 13 12 0 0 19 0 2 0 548465645 608903168 7224 33554432000 4194304 5683644 140733860894672 18446744073709551615 212699502027 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/29539/statm: 148658 7224 400 364 0 84504 0
[pid=29541] ppid=29539 vsize=335996 CPUtime=100.23 cores=0-7
/proc/29541/stat : 29541 (iPAWS) T 29539 29541 29541 0 -1 4202496 1828 0 0 0 10023 0 0 0 25 0 1 0 548465646 344059904 1547 33554432000 134512640 135114423 4289926032 18446744073709551615 134515629 0 0 16781312 0 18446744071562691360 0 0 17 1 0 0 0
/proc/29541/statm: 83999 1547 59 147 0 83851 0
[pid=29539/tid=29545] ppid=29425 vsize=594632 CPUtime=0 cores=0-7
/proc/29539/task/29545/stat : 29545 (python) S 29425 29425 28808 0 -1 4202560 81 0 0 0 0 0 0 0 19 0 2 0 548475670 608903168 7224 33554432000 4194304 5683644 140733860894672 18446744073709551615 212699498929 0 0 16781312 514 18446604463485186240 0 0 -1 1 0 0 0
[pid=29546] ppid=29425 vsize=604888 CPUtime=1.01 cores=0-7
/proc/29546/stat : 29546 (python) S 29425 29425 28808 0 -1 4202560 1001 0 0 0 50 51 0 0 18 0 1 0 548475679 619405312 7191 33554432000 4194304 5683644 140733860894672 18446744073709551615 212687695430 0 0 16781312 514 13516903370668867847 0 0 17 5 0 0 0
/proc/29546/statm: 151222 7191 372 364 0 87065 0
[pid=29548] ppid=29546 vsize=459768 CPUtime=394.09 cores=0-7
/proc/29548/stat : 29548 (TNM) R 29546 29548 29548 0 -1 4202496 1936 0 0 0 39408 1 0 0 25 0 1 0 548475679 470802432 1652 33554432000 134512640 135008748 4287305632 18446744073709551615 134527524 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/29548/statm: 114942 1652 46 122 0 113842 0
[pid=29552] ppid=29425 vsize=615144 CPUtime=0.25 cores=0-7
/proc/29552/stat : 29552 (python) S 29425 29425 28808 0 -1 4202560 1207 0 0 0 13 12 0 0 19 0 2 0 548484168 629907456 7279 33554432000 4194304 5683644 140733860894672 18446744073709551615 212699502027 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/29552/statm: 153786 7279 400 364 0 89626 0
[pid=29554] ppid=29552 vsize=1018996 CPUtime=100.15 cores=0-7
/proc/29554/stat : 29554 (gnovelty+2) T 29552 29554 29554 0 -1 4202496 980 0 0 0 10015 0 0 0 25 0 1 0 548484170 1043451904 697 33554432000 134512640 135663704 4290575904 18446744073709551615 134524897 0 0 16781312 0 18446744071562691360 0 0 17 6 0 0 0
/proc/29554/statm: 254749 697 113 282 0 254465 0
[pid=29552/tid=29561] ppid=29425 vsize=615144 CPUtime=0 cores=0-7
/proc/29552/task/29561/stat : 29561 (python) S 29425 29425 28808 0 -1 4202560 85 0 0 0 0 0 0 0 19 0 2 0 548494198 629907456 7279 33554432000 4194304 5683644 140733860894672 18446744073709551615 212699498929 0 0 16781312 514 18446604456684566336 0 0 -1 0 0 0 0
[pid=29556] ppid=29425 vsize=625400 CPUtime=0.25 cores=0-7
/proc/29556/stat : 29556 (python) S 29425 29425 28808 0 -1 4202560 1210 0 0 0 14 11 0 0 19 0 2 0 548486224 640409600 7240 33554432000 4194304 5683644 140733860894672 18446744073709551615 212699502027 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/29556/statm: 156350 7240 400 364 0 92187 0
[pid=29558] ppid=29556 vsize=251288 CPUtime=99.76 cores=0-7
/proc/29558/stat : 29558 (FH) T 29556 29558 29558 0 -1 4202496 1968 0 0 0 9976 0 0 0 25 0 1 0 548486224 257318912 1682 33554432000 134512640 134936988 4293496896 18446744073709551615 134554071 0 0 16781312 0 18446744071562691360 0 0 17 0 0 0 0
/proc/29558/statm: 62822 1682 41 104 0 62326 0
[pid=29556/tid=29566] ppid=29425 vsize=625400 CPUtime=0 cores=0-7
/proc/29556/task/29566/stat : 29566 (python) S 29425 29425 28808 0 -1 4202560 88 0 0 0 0 0 0 0 19 0 2 0 548496249 640409600 7240 33554432000 4194304 5683644 140733860894672 18446744073709551615 212699498929 0 0 16781312 514 18446604456896293056 0 0 -1 1 0 0 0
[pid=29562] ppid=29425 vsize=635656 CPUtime=0.55 cores=0-7
/proc/29562/stat : 29562 (python) S 29425 29425 28808 0 -1 4202560 1248 0 0 0 27 28 0 0 18 0 2 0 548494208 650911744 7330 33554432000 4194304 5683644 140733860894672 18446744073709551615 212687695430 0 0 16781312 514 18446744073709551615 0 0 17 5 0 0 0
/proc/29562/statm: 158914 7330 406 364 0 94748 0
[pid=29564] ppid=29562 vsize=268420 CPUtime=209.01 cores=0-7
/proc/29564/stat : 29564 (hybridGM3) R 29562 29564 29564 0 -1 4202496 5833 0 0 0 20900 1 0 0 25 0 1 0 548494209 274862080 5543 33554432000 134512640 135204385 4294892416 18446744073709551615 134537792 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/29564/statm: 67105 5543 63 169 0 66935 0
[pid=29562/tid=29580] ppid=29425 vsize=635656 CPUtime=0 cores=0-7
/proc/29562/task/29580/stat : 29580 (python) S 29425 29425 28808 0 -1 4202560 85 0 0 0 0 0 0 0 19 0 2 0 548513771 650911744 7330 33554432000 4194304 5683644 140733860894672 18446744073709551615 212699498929 0 0 16781312 514 18446604458637855744 0 0 -1 0 0 0 0
[pid=29567] ppid=29425 vsize=645912 CPUtime=0.49 cores=0-7
/proc/29567/stat : 29567 (python) S 29425 29425 28808 0 -1 4202560 1057 0 0 0 24 25 0 0 18 0 1 0 548496259 661413888 7259 33554432000 4194304 5683644 140733860894672 18446744073709551615 212687695430 0 0 16781312 514 13516903370668867847 0 0 17 5 0 0 0
/proc/29567/statm: 161478 7259 378 364 0 97309 0
[pid=29569] ppid=29567 vsize=421372 CPUtime=187.93 cores=0-7
/proc/29569/stat : 29569 (NCVWr) R 29567 29569 29569 0 -1 4202496 1998 0 0 0 18793 0 0 0 25 0 1 0 548496260 431484928 1710 33554432000 134512640 135113558 4287833920 18446744073709551615 134531486 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/29569/statm: 105343 1710 58 147 0 104218 0
[pid=29572] ppid=29425 vsize=656168 CPUtime=0.28 cores=0-7
/proc/29572/stat : 29572 (python) S 29425 29425 28808 0 -1 4202560 1265 0 0 0 14 14 0 0 19 0 2 0 548504441 671916032 7388 33554432000 4194304 5683644 140733860894672 18446744073709551615 212699502027 0 0 16781312 514 18446744073709551615 0 0 17 5 0 0 0
/proc/29572/statm: 164042 7388 407 364 0 99870 0
[pid=29574] ppid=29572 vsize=335996 CPUtime=101.25 cores=0-7
/proc/29574/stat : 29574 (iPAWS) T 29572 29574 29574 0 -1 4202496 1838 0 0 0 10125 0 0 0 25 0 1 0 548504442 344059904 1547 33554432000 134512640 135114423 4294846256 18446744073709551615 134546153 0 0 16781312 0 18446744071562691360 0 0 17 7 0 0 0
/proc/29574/statm: 83999 1547 59 147 0 83851 0
[pid=29572/tid=29582] ppid=29425 vsize=656168 CPUtime=0 cores=0-7
/proc/29572/task/29582/stat : 29582 (python) S 29425 29425 28808 0 -1 4202560 87 0 0 0 0 0 0 0 19 0 2 0 548515069 671916032 7388 33554432000 4194304 5683644 140733860894672 18446744073709551615 212699498929 0 0 16781312 514 18446604463521182720 0 0 -1 7 0 0 0
[pid=29575] ppid=29425 vsize=666424 CPUtime=0.22 cores=0-7
/proc/29575/stat : 29575 (python) S 29425 29425 28808 0 -1 4202560 1076 0 0 0 10 12 0 0 18 0 1 0 548506478 682418176 7312 33554432000 4194304 5683644 140733860894672 18446744073709551615 212687695430 0 0 16781312 514 13516903370668867844 0 0 17 5 0 0 0
/proc/29575/statm: 166606 7312 378 364 0 102431 0
[pid=29577] ppid=29575 vsize=268420 CPUtime=85.12 cores=0-7
/proc/29577/stat : 29577 (hybridGM3) R 29575 29577 29577 0 -1 4202496 5833 0 0 0 8512 0 0 0 25 0 1 0 548506479 274862080 5543 33554432000 134512640 135204385 4291857680 18446744073709551615 134538323 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/29577/statm: 67105 5543 63 169 0 66935 0
[pid=29583] ppid=29425 vsize=676680 CPUtime=0 cores=0-7
/proc/29583/stat : 29583 (python) S 29425 29425 28808 0 -1 4202560 939 0 0 0 0 0 0 0 19 0 1 0 548515080 692920320 7229 33554432000 4194304 5683644 140733860894672 18446744073709551615 212687695430 0 0 16781312 514 11530535014072582143 0 0 17 0 0 0 0
/proc/29583/statm: 169170 7229 349 364 0 104992 0
[pid=29585] ppid=29583 vsize=268428 CPUtime=0.56 cores=0-7
/proc/29585/stat : 29585 (hybridGM3) R 29583 29585 29585 0 -1 4202496 5837 0 0 0 56 0 0 0 22 0 1 0 548515082 274870272 5544 33554432000 134512640 135204385 4289710352 18446744073709551615 134538041 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/29585/statm: 67107 5544 63 169 0 66937 0
[pid=29425/tid=29432] ppid=29423 vsize=686924 CPUtime=0 cores=0-7
/proc/29425/task/29432/stat : 29432 (python) S 29423 29425 28808 0 -1 4202560 29 933 0 0 0 0 0 0 18 0 34 0 548406123 703410176 8820 33554432000 4194304 5683644 140733860894672 18446744073709551615 212699498929 0 0 16781312 2 18446604451151407808 0 0 -1 1 0 0 0
[pid=29425/tid=29435] ppid=29423 vsize=686924 CPUtime=0 cores=0-7
/proc/29425/task/29435/stat : 29435 (python) S 29423 29425 28808 0 -1 4202560 85 933 0 0 0 0 0 0 25 0 34 0 548406127 703410176 8820 33554432000 4194304 5683644 140733860894672 18446744073709551615 212699498929 0 0 16781312 2 18446604451151407808 0 0 -1 4 0 0 0
[pid=29425/tid=29438] ppid=29423 vsize=686924 CPUtime=0 cores=0-7
/proc/29425/task/29438/stat : 29438 (python) S 29423 29425 28808 0 -1 4202560 40 933 0 0 0 0 0 0 18 0 34 0 548406131 703410176 8820 33554432000 4194304 5683644 140733860894672 18446744073709551615 212699498929 0 0 16781312 2 18446604451151407808 0 0 -1 4 0 0 0
[pid=29425/tid=29441] ppid=29423 vsize=686924 CPUtime=0 cores=0-7
/proc/29425/task/29441/stat : 29441 (python) S 29423 29425 28808 0 -1 4202560 36 933 0 0 0 0 0 0 18 0 34 0 548406134 703410176 8820 33554432000 4194304 5683644 140733860894672 18446744073709551615 212699498929 0 0 16781312 2 18446604451151407808 0 0 -1 0 0 0 0
[pid=29425/tid=29444] ppid=29423 vsize=686924 CPUtime=0 cores=0-7
/proc/29425/task/29444/stat : 29444 (python) S 29423 29425 28808 0 -1 4202560 37 933 0 0 0 0 0 0 18 0 34 0 548406138 703410176 8820 33554432000 4194304 5683644 140733860894672 18446744073709551615 212699498929 0 0 16781312 2 18446604451151407808 0 0 -1 2 0 0 0
[pid=29425/tid=29447] ppid=29423 vsize=686924 CPUtime=0 cores=0-7
/proc/29425/task/29447/stat : 29447 (python) S 29423 29425 28808 0 -1 4202560 29 933 0 0 0 0 0 0 24 0 34 0 548406142 703410176 8820 33554432000 4194304 5683644 140733860894672 18446744073709551615 212699498929 0 0 16781312 2 18446604451151407808 0 0 -1 0 0 0 0
[pid=29425/tid=29450] ppid=29423 vsize=686924 CPUtime=0 cores=0-7
/proc/29425/task/29450/stat : 29450 (python) S 29423 29425 28808 0 -1 4202560 37 933 0 0 0 0 0 0 18 0 34 0 548406146 703410176 8820 33554432000 4194304 5683644 140733860894672 18446744073709551615 212699498929 0 0 16781312 2 18446604451151407808 0 0 -1 2 0 0 0
[pid=29425/tid=29453] ppid=29423 vsize=686924 CPUtime=0 cores=0-7
/proc/29425/task/29453/stat : 29453 (python) S 29423 29425 28808 0 -1 4202560 86 933 0 0 0 0 0 0 18 0 34 0 548406150 703410176 8820 33554432000 4194304 5683644 140733860894672 18446744073709551615 212699498929 0 0 16781312 2 18446604451151407808 0 0 -1 0 0 0 0
[pid=29425/tid=29459] ppid=29423 vsize=686924 CPUtime=0 cores=0-7
/proc/29425/task/29459/stat : 29459 (python) S 29423 29425 28808 0 -1 4202560 40 933 0 0 0 0 0 0 18 0 34 0 548416152 703410176 8820 33554432000 4194304 5683644 140733860894672 18446744073709551615 212699498929 0 0 16781312 2 18446604451151407808 0 0 -1 1 0 0 0
[pid=29425/tid=29465] ppid=29423 vsize=686924 CPUtime=0 cores=0-7
/proc/29425/task/29465/stat : 29465 (python) S 29423 29425 28808 0 -1 4202560 46 933 0 0 0 0 0 0 18 0 34 0 548416159 703410176 8820 33554432000 4194304 5683644 140733860894672 18446744073709551615 212699498929 0 0 16781312 2 18446604451151407808 0 0 -1 7 0 0 0
[pid=29425/tid=29469] ppid=29423 vsize=686924 CPUtime=0 cores=0-7
/proc/29425/task/29469/stat : 29469 (python) S 29423 29425 28808 0 -1 4202560 42 933 0 0 0 0 0 0 18 0 34 0 548416164 703410176 8820 33554432000 4194304 5683644 140733860894672 18446744073709551615 212699498929 0 0 16781312 2 18446604451151407808 0 0 -1 7 0 0 0
[pid=29425/tid=29473] ppid=29423 vsize=686924 CPUtime=0 cores=0-7
/proc/29425/task/29473/stat : 29473 (python) S 29423 29425 28808 0 -1 4202560 31 933 0 0 0 0 0 0 20 0 34 0 548416169 703410176 8820 33554432000 4194304 5683644 140733860894672 18446744073709551615 212699498929 0 0 16781312 2 18446604451151407808 0 0 -1 7 0 0 0
[pid=29425/tid=29477] ppid=29423 vsize=686924 CPUtime=0 cores=0-7
/proc/29425/task/29477/stat : 29477 (python) S 29423 29425 28808 0 -1 4202560 47 933 0 0 0 0 0 0 18 0 34 0 548416175 703410176 8820 33554432000 4194304 5683644 140733860894672 18446744073709551615 212699498929 0 0 16781312 2 18446604451151407808 0 0 -1 5 0 0 0
[pid=29425/tid=29481] ppid=29423 vsize=686924 CPUtime=0 cores=0-7
/proc/29425/task/29481/stat : 29481 (python) S 29423 29425 28808 0 -1 4202560 40 933 0 0 0 0 0 0 18 0 34 0 548416180 703410176 8820 33554432000 4194304 5683644 140733860894672 18446744073709551615 212699498929 0 0 16781312 2 18446604451151407808 0 0 -1 7 0 0 0
[pid=29425/tid=29484] ppid=29423 vsize=686924 CPUtime=0 cores=0-7
/proc/29425/task/29484/stat : 29484 (python) S 29423 29425 28808 0 -1 4202560 30 933 0 0 0 0 0 0 24 0 34 0 548416187 703410176 8820 33554432000 4194304 5683644 140733860894672 18446744073709551615 212699498929 0 0 16781312 2 18446604451151407808 0 0 -1 5 0 0 0
[pid=29425/tid=29487] ppid=29423 vsize=686924 CPUtime=0 cores=0-7
/proc/29425/task/29487/stat : 29487 (python) S 29423 29425 28808 0 -1 4202560 38 933 0 0 0 0 0 0 18 0 34 0 548416193 703410176 8820 33554432000 4194304 5683644 140733860894672 18446744073709551615 212699498929 0 0 16781312 2 18446604451151407808 0 0 -1 7 0 0 0
[pid=29425/tid=29494] ppid=29423 vsize=686924 CPUtime=0 cores=0-7
/proc/29425/task/29494/stat : 29494 (python) S 29423 29425 28808 0 -1 4202560 31 933 0 0 0 0 0 0 20 0 34 0 548426090 703410176 8820 33554432000 4194304 5683644 140733860894672 18446744073709551615 212699498929 0 0 16781312 2 18446604451151407808 0 0 -1 7 0 0 0
[pid=29425/tid=29498] ppid=29423 vsize=686924 CPUtime=0 cores=0-7
/proc/29425/task/29498/stat : 29498 (python) S 29423 29425 28808 0 -1 4202560 38 933 0 0 0 0 0 0 18 0 34 0 548426105 703410176 8820 33554432000 4194304 5683644 140733860894672 18446744073709551615 212699498929 0 0 16781312 2 18446604451151407808 0 0 -1 7 0 0 0
[pid=29425/tid=29510] ppid=29423 vsize=686924 CPUtime=0 cores=0-7
/proc/29425/task/29510/stat : 29510 (python) S 29423 29425 28808 0 -1 4202560 40 933 0 0 0 0 0 0 20 0 34 0 548436635 703410176 8820 33554432000 4194304 5683644 140733860894672 18446744073709551615 212699498929 0 0 16781312 2 18446604451151407808 0 0 -1 0 0 0 0
[pid=29425/tid=29515] ppid=29423 vsize=686924 CPUtime=0 cores=0-7
/proc/29425/task/29515/stat : 29515 (python) S 29423 29425 28808 0 -1 4202560 55 933 0 0 0 0 0 0 18 0 34 0 548445380 703410176 8820 33554432000 4194304 5683644 140733860894672 18446744073709551615 212699498929 0 0 16781312 2 18446604451151407808 0 0 -1 0 0 0 0
[pid=29425/tid=29518] ppid=29423 vsize=686924 CPUtime=0 cores=0-7
/proc/29425/task/29518/stat : 29518 (python) S 29423 29425 28808 0 -1 4202560 39 933 0 0 0 0 0 0 18 0 34 0 548445642 703410176 8820 33554432000 4194304 5683644 140733860894672 18446744073709551615 212699498929 0 0 16781312 2 18446604451151407808 0 0 -1 7 0 0 0
[pid=29425/tid=29522] ppid=29423 vsize=686924 CPUtime=0 cores=0-7
/proc/29425/task/29522/stat : 29522 (python) S 29423 29425 28808 0 -1 4202560 36 933 0 0 0 0 0 0 20 0 34 0 548446100 703410176 8820 33554432000 4194304 5683644 140733860894672 18446744073709551615 212699498929 0 0 16781312 2 18446604451151407808 0 0 -1 7 0 0 0
[pid=29425/tid=29529] ppid=29423 vsize=686924 CPUtime=0 cores=0-7
/proc/29425/task/29529/stat : 29529 (python) S 29423 29425 28808 0 -1 4202560 36 933 0 0 0 0 0 0 20 0 34 0 548455497 703410176 8820 33554432000 4194304 5683644 140733860894672 18446744073709551615 212699498929 0 0 16781312 2 18446604451151407808 0 0 -1 0 0 0 0
[pid=29425/tid=29536] ppid=29423 vsize=686924 CPUtime=0 cores=0-7
/proc/29425/task/29536/stat : 29536 (python) S 29423 29425 28808 0 -1 4202560 33 933 0 0 0 0 0 0 18 0 34 0 548465633 703410176 8820 33554432000 4194304 5683644 140733860894672 18446744073709551615 212699498929 0 0 16781312 2 18446604451151407808 0 0 -1 0 0 0 0
[pid=29425/tid=29540] ppid=29423 vsize=686924 CPUtime=0 cores=0-7
/proc/29425/task/29540/stat : 29540 (python) S 29423 29425 28808 0 -1 4202560 33 933 0 0 0 0 0 0 20 0 34 0 548465645 703410176 8820 33554432000 4194304 5683644 140733860894672 18446744073709551615 212699498929 0 0 16781312 2 18446604451151407808 0 0 -1 5 0 0 0
[pid=29425/tid=29547] ppid=29423 vsize=686924 CPUtime=0 cores=0-7
/proc/29425/task/29547/stat : 29547 (python) S 29423 29425 28808 0 -1 4202560 35 933 0 0 0 0 0 0 20 0 34 0 548475679 703410176 8820 33554432000 4194304 5683644 140733860894672 18446744073709551615 212699498929 0 0 16781312 2 18446604451151407808 0 0 -1 0 0 0 0
[pid=29425/tid=29553] ppid=29423 vsize=686924 CPUtime=0 cores=0-7
/proc/29425/task/29553/stat : 29553 (python) S 29423 29425 28808 0 -1 4202560 35 933 0 0 0 0 0 0 19 0 34 0 548484168 703410176 8820 33554432000 4194304 5683644 140733860894672 18446744073709551615 212699498929 0 0 16781312 2 18446604451151407808 0 0 -1 5 0 0 0
[pid=29425/tid=29557] ppid=29423 vsize=686924 CPUtime=0 cores=0-7
/proc/29425/task/29557/stat : 29557 (python) S 29423 29425 28808 0 -1 4202560 34 933 0 0 0 0 0 0 19 0 34 0 548486224 703410176 8820 33554432000 4194304 5683644 140733860894672 18446744073709551615 212699498929 0 0 16781312 2 18446604451151407808 0 0 -1 5 0 0 0
[pid=29425/tid=29563] ppid=29423 vsize=686924 CPUtime=0 cores=0-7
/proc/29425/task/29563/stat : 29563 (python) S 29423 29425 28808 0 -1 4202560 39 933 0 0 0 0 0 0 18 0 34 0 548494208 703410176 8820 33554432000 4194304 5683644 140733860894672 18446744073709551615 212699498929 0 0 16781312 2 18446604451151407808 0 0 -1 0 0 0 0
[pid=29425/tid=29568] ppid=29423 vsize=686924 CPUtime=0 cores=0-7
/proc/29425/task/29568/stat : 29568 (python) S 29423 29425 28808 0 -1 4202560 32 933 0 0 0 0 0 0 20 0 34 0 548496260 703410176 8820 33554432000 4194304 5683644 140733860894672 18446744073709551615 212699498929 0 0 16781312 2 18446604451151407808 0 0 -1 5 0 0 0
[pid=29425/tid=29573] ppid=29423 vsize=686924 CPUtime=0 cores=0-7
/proc/29425/task/29573/stat : 29573 (python) S 29423 29425 28808 0 -1 4202560 31 933 0 0 0 0 0 0 20 0 34 0 548504441 703410176 8820 33554432000 4194304 5683644 140733860894672 18446744073709551615 212699498929 0 0 16781312 2 18446604451151407808 0 0 -1 0 0 0 0
[pid=29425/tid=29576] ppid=29423 vsize=686924 CPUtime=0 cores=0-7
/proc/29425/task/29576/stat : 29576 (python) S 29423 29425 28808 0 -1 4202560 33 933 0 0 0 0 0 0 20 0 34 0 548506479 703410176 8820 33554432000 4194304 5683644 140733860894672 18446744073709551615 212699498929 0 0 16781312 2 18446604451151407808 0 0 -1 5 0 0 0
[pid=29425/tid=29584] ppid=29423 vsize=686924 CPUtime=0 cores=0-7
/proc/29425/task/29584/stat : 29584 (python) S 29423 29425 28808 0 -1 4202560 34 933 0 0 0 0 0 0 19 0 34 0 548515081 703410176 8820 33554432000 4194304 5683644 140733860894672 18446744073709551615 212699498929 0 0 16781312 2 18446604451151407808 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 8683.99
Current children cumulated vsize (KiB) 32687980

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 29425 and gives
#  childrusage.ru_utime.tv_sec=2179
#  childrusage.ru_utime.tv_usec=308694
#  childrusage.ru_stime.tv_sec=10
#  childrusage.ru_stime.tv_usec=924339
# CPU time returned by wait4() is 2190.23
# while last known CPU time is 8683.99
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1092.41
CPU time (s): 8683.99
CPU user time (s): 8673.22
CPU system time (s): 10.77
CPU usage (%): 794.94
Max. virtual memory (cumulated for all children) (KiB): 32687980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2179.31
system time used= 10.9243
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 123478
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= 14273
involuntary context switches= 9605

runsolver used 11.1193 second user time and 25.5801 second system time

The end

Launcher Data 

Begin job on node139 at 2011-05-02 22:28:02
IDJOB=3321835
IDBENCH=82613
IDSOLVER=1712
FILE ID=node139/3321835-1304368082
RUNJOBID= node139-1304366465-28822
PBS_JOBID= 13181734
Free space on /tmp= 73152 MiB

SOLVER NAME= borg-sat 11.03.02-random
BENCH NAME= SAT11/random/large/unif-k5-r20-v1500-c30000-S303265982-092-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-3321835-1304368082/watcher-3321835-1304368082 -o /tmp/evaluation-result-3321835-1304368082/solver-3321835-1304368082 -C 40000 -W 5100 -M 31000  python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3321835-1304368082.cnf -seed 1752398625 -budget 40000 -cores 8

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

MD5SUM BENCH= 1b4a544dd042630233219a622c9437c7
RANDOM SEED=1752398625

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:      22952344 kB
Buffers:       1339020 kB
Cached:        4162776 kB
SwapCached:         60 kB
Active:        4188056 kB
Inactive:      5281120 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      22952344 kB
SwapTotal:    67111528 kB
SwapFree:     67111464 kB
Dirty:           32244 kB
Writeback:           0 kB
AnonPages:     3968404 kB
Mapped:          25412 kB
Slab:           437080 kB
PageTables:      25012 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 47230404 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= 73120 MiB
End job on node139 at 2011-05-02 22:46:16