Trace number 3321774

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) 9425.36 1185.9

General information on the benchmark

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

Solver Data 

0.36/0.67	c INFO: loaded portfolio from HOME/etc/borg-mix+class.random.pickle
0.36/0.67	c INFO: solving HOME/instance-3321774-1304366942.cnf
0.36/0.67	c INFO: computing task features
0.63/0.90	c INFO: computed variable-clause graph statistics
0.63/0.90	c INFO: computed clause balance statistics
1.84/2.11	c INFO: computed variable balance statistics
2.23/2.59	c INFO: computed small-clause counts
2.23/2.59	c INFO: computed Horn-clause counts
2.33/2.63	c INFO: computed variable graph statistics
2.33/2.63	c INFO: collected features for HOME/instance-3321774-1304366942.cnf in 1.96 s
2.33/2.67	c INFO: running gnovelty+2@0 for 97 with 39998 remaining (b = 0.38)
2.43/2.71	c INFO: running gnovelty+2@0 for 97 with 39997 remaining (b = 0.13)
2.43/2.74	c INFO: running adaptg2wsat2009++@0 for 97 with 39997 remaining (b = 0.08)
2.43/2.78	c INFO: running adaptg2wsat2009++@0 for 97 with 39997 remaining (b = 0.07)
2.53/2.82	c INFO: running adaptg2wsat2009++@0 for 97 with 39997 remaining (b = 0.05)
2.53/2.86	c INFO: running gnovelty+2@0 for 97 with 39997 remaining (b = 0.04)
2.53/2.90	c INFO: running FH@0 for 97 with 39997 remaining (b = 0.03)
2.63/2.94	c INFO: running adaptg2wsat2009++@0 for 97 with 39997 remaining (b = 0.03)
802.37/102.92	c INFO: running adaptg2wsat2009++@0 for 97 with 39897 remaining (b = 0.02)
802.37/102.97	c INFO: running FH@0 for 97 with 39897 remaining (b = 0.02)
802.96/103.02	c INFO: running hybridGM3@0 for 194 with 39897 remaining (b = 0.04)
802.96/103.08	c INFO: running gnovelty+2@0 for 97 with 39897 remaining (b = 0.02)
803.32/103.14	c INFO: running hybridGM3@0 for 194 with 39897 remaining (b = 0.03)
803.32/103.19	c INFO: running adaptg2wsat2009++@0 for 97 with 39897 remaining (b = 0.01)
803.45/103.26	c INFO: running hybridGM3@0 for 194 with 39897 remaining (b = 0.03)
804.99/103.33	c INFO: running hybridGM3@0 for 194 with 39897 remaining (b = 0.02)
1600.70/203.16	c INFO: running TNM@0 for 1552 with 39797 remaining (b = 0.18)
1601.45/203.24	c INFO: running FH@0 for 97 with 39797 remaining (b = 0.01)
1602.07/203.38	c INFO: running adaptg2wsat2009++@0 for 97 with 39797 remaining (b = 0.01)
1603.06/203.46	c INFO: running adaptg2wsat2009++@0 for 97 with 39797 remaining (b = 0.01)
2362.79/298.79	c INFO: running hybridGM3@99 for 97 with 39701 remaining (b = 0.01)
2369.96/299.63	c INFO: running hybridGM3@100 for 97 with 39701 remaining (b = 0.01)
2377.91/300.63	c INFO: running adaptg2wsat2009++@0 for 97 with 39700 remaining (b = 0.01)
2378.69/300.71	c INFO: running adaptg2wsat2009++@100 for 97 with 39700 remaining (b = 0.01)
2392.28/302.50	c INFO: running hybridGM3@0 for 194 with 39698 remaining (b = 0.02)
2408.95/304.56	c INFO: running hybridGM3@100 for 97 with 39696 remaining (b = 0.01)
2420.10/305.93	c INFO: running hybridGM3@99 for 97 with 39694 remaining (b = 0.01)
3128.96/394.87	c INFO: running hybridGM3@0 for 194 with 39605 remaining (b = 0.02)
3152.82/397.88	c INFO: running TNM@0 for 1552 with 39602 remaining (b = 0.14)
3153.59/397.96	c INFO: running adaptg2wsat2009++@100 for 97 with 39602 remaining (b = 0.01)
3162.29/399.06	c INFO: running hybridGM3@296 for 97 with 39601 remaining (b = 0.01)
3167.89/399.79	c INFO: running hybridGM3@299 for 97 with 39600 remaining (b = 0.01)
3179.02/401.17	c INFO: running FH@0 for 291 with 39599 remaining (b = 0.03)
3914.10/493.31	c INFO: running gnovelty+2@0 for 97 with 39507 remaining (b = 0.01)
3929.22/495.22	c INFO: running hybridGM3@391 for 97 with 39505 remaining (b = 0.01)
3951.52/498.04	c INFO: running iPAWS@0 for 97 with 39502 remaining (b = 0.01)
3975.35/501.05	c INFO: running hybridGM3@391 for 97 with 39499 remaining (b = 0.01)
4679.53/589.43	c INFO: running hybridGM3@97 for 97 with 39411 remaining (b = 0.01)
4712.93/593.63	c INFO: running adaptg2wsat2009++@99 for 97 with 39407 remaining (b = 0.01)
4727.25/595.48	c INFO: running FH@100 for 291 with 39405 remaining (b = 0.02)
4733.65/596.29	c INFO: running iPAWS@0 for 97 with 39404 remaining (b = 0.01)
4750.37/598.31	c INFO: running adaptg2wsat2009++@99 for 97 with 39402 remaining (b = 0.01)
5478.14/689.71	c INFO: running hybridGM3@0 for 194 with 39311 remaining (b = 0.01)
5524.28/695.57	c INFO: running TNM@0 for 1552 with 39305 remaining (b = 0.11)
5532.23/696.57	c INFO: running adaptg2wsat2009++@96 for 97 with 39304 remaining (b = 0.01)
5533.82/696.76	c INFO: running gnovelty+2@0 for 97 with 39303 remaining (b = 0.01)
5535.27/696.96	c INFO: running hybridGM3@0 for 194 with 39303 remaining (b = 0.01)
6298.96/792.87	c INFO: running adaptg2wsat2009++@388 for 194 with 39207 remaining (b = 0.01)
6333.21/797.12	c INFO: running FH@0 for 97 with 39203 remaining (b = 0.01)
7033.89/885.10	c INFO: running hybridGM3@0 for 194 with 39115 remaining (b = 0.01)
7042.63/886.28	c INFO: running hybridGM3@97 for 97 with 39114 remaining (b = 0.01)
7100.70/893.55	c INFO: running hybridGM3@96 for 97 with 39107 remaining (b = 0.01)
7179.51/903.45	c INFO: running FH@194 for 194 with 39097 remaining (b = 0.01)
7848.99/987.58	c INFO: running hybridGM3@292 for 194 with 39013 remaining (b = 0.01)
7871.29/990.34	c INFO: running adaptg2wsat2009++@487 for 97 with 39010 remaining (b = 0.01)
7907.09/994.87	c INFO: running NCVWr@0 for 485 with 39005 remaining (b = 0.03)
8582.27/1079.73	c INFO: running FH@288 for 194 with 38921 remaining (b = 0.01)
8629.23/1085.64	c INFO: running iPAWS@0 for 97 with 38915 remaining (b = 0.01)
8766.75/1102.94	c INFO: running FH@291 for 97 with 38897 remaining (b = 0.01)
9419.66/1185.05	c INFO: running hybridGM3@0 for 194 with 38815 remaining (b = 0.01)

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-3321774-1304366942/watcher-3321774-1304366942 -o /tmp/evaluation-result-3321774-1304366942/solver-3321774-1304366942 -C 40000 -W 5100 -M 31000 python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3321774-1304366942.cnf -seed 492488376 -budget 40000 -cores 8 

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

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


[startup+0 s]
/proc/loadavg: 8.06 6.39 3.18 2/218 10967
/proc/meminfo: memFree=14935536/32950928 swapFree=67111348/67111528
[pid=10967] ppid=10965 vsize=15380 CPUtime=0 cores=0-7
/proc/10967/stat : 10967 (python) R 10965 10967 10673 0 -1 4202496 794 0 0 0 0 0 0 0 24 0 1 0 548293864 15749120 681 33554432000 4194304 5683644 140735196546416 18446744073709551615 208080230400 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/10967/statm: 3845 681 322 364 0 332 0

[startup+0.013456 s]
/proc/loadavg: 8.06 6.39 3.18 2/218 10967
/proc/meminfo: memFree=14935536/32950928 swapFree=67111348/67111528
[pid=10967] ppid=10965 vsize=15780 CPUtime=0 cores=0-7
/proc/10967/stat : 10967 (python) R 10965 10967 10673 0 -1 4202496 915 0 0 0 0 0 0 0 24 0 1 0 548293864 16158720 796 33554432000 4194304 5683644 140735196546416 18446744073709551615 208079893189 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/10967/statm: 3944 796 346 364 0 431 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15780

[startup+0.100469 s]
/proc/loadavg: 8.06 6.39 3.18 2/218 10967
/proc/meminfo: memFree=14935536/32950928 swapFree=67111348/67111528
[pid=10967] ppid=10965 vsize=89768 CPUtime=0.05 cores=0-7
/proc/10967/stat : 10967 (python) R 10965 10967 10673 0 -1 4202496 2672 0 0 0 4 1 0 0 17 0 1 0 548293864 91922432 2388 33554432000 4194304 5683644 140735196546416 18446744073709551615 208080230400 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/10967/statm: 22442 2388 750 364 0 1622 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 89768

[startup+0.300442 s]
/proc/loadavg: 8.06 6.39 3.18 2/218 10967
/proc/meminfo: memFree=14935536/32950928 swapFree=67111348/67111528
[pid=10967] ppid=10965 vsize=135748 CPUtime=0.19 cores=0-7
/proc/10967/stat : 10967 (python) S 10965 10967 10673 0 -1 4202496 5964 935 1 0 14 5 0 0 18 0 1 0 548293864 139005952 4151 33554432000 4194304 5683644 140735196546416 18446744073709551615 208080228357 0 2147483391 16781312 2 18446744071699207358 0 0 17 6 0 0 0
/proc/10967/statm: 33937 4151 1032 364 0 3123 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 135748

[startup+0.700368 s]
/proc/loadavg: 8.06 6.39 3.18 2/218 10967
/proc/meminfo: memFree=14935536/32950928 swapFree=67111348/67111528
[pid=10967] ppid=10965 vsize=280660 CPUtime=0.44 cores=0-7
/proc/10967/stat : 10967 (python) R 10965 10967 10673 0 -1 4202496 9830 935 1 0 33 11 0 0 17 0 1 0 548293864 287395840 7511 33554432000 4194304 5683644 140735196546416 18446744073709551615 4445115 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/10967/statm: 70165 7511 1761 364 0 6089 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 280660

[startup+1.50013 s]
/proc/loadavg: 7.41 6.28 3.17 2/219 10972
/proc/meminfo: memFree=14903536/32950928 swapFree=67111348/67111528
[pid=10967] ppid=10965 vsize=289496 CPUtime=1.23 cores=0-7
/proc/10967/stat : 10967 (python) R 10965 10967 10673 0 -1 4202496 13883 935 1 0 112 11 0 0 18 0 1 0 548293864 296443904 9759 33554432000 4194304 5683644 140735196546416 18446744073709551615 4602993 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/10967/statm: 72374 9759 1826 364 0 8298 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 289496

[startup+3.10083 s]
/proc/loadavg: 7.41 6.28 3.17 2/219 10972
/proc/meminfo: memFree=14903164/32950928 swapFree=67111348/67111528
[pid=10967] ppid=10965 vsize=429956 CPUtime=2.67 cores=0-7
/proc/10967/stat : 10967 (python) S 10965 10967 10673 0 -1 4202496 20059 935 1 0 254 13 0 0 25 0 9 0 548293864 440274944 8338 33554432000 4194304 5683644 140735196546416 18446744073709551615 208092059083 0 0 16781312 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10967/statm: 107489 8338 1891 364 0 43386 0
Current children cumulated CPU time (s) 2.67
Current children cumulated vsize (KiB) 429956

[startup+6.30122 s]
/proc/loadavg: 7.41 6.28 3.17 9/243 10996
/proc/meminfo: memFree=14842460/32950928 swapFree=67111348/67111528
[pid=10967] ppid=10965 vsize=429956 CPUtime=2.67 cores=0-7
/proc/10967/stat : 10967 (python) S 10965 10967 10673 0 -1 4202496 20059 935 1 0 254 13 0 0 25 0 9 0 548293864 440274944 8338 33554432000 4194304 5683644 140735196546416 18446744073709551615 208092059083 0 0 16781312 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10967/statm: 107489 8338 1891 364 0 43386 0
[pid=10973] ppid=10967 vsize=282240 CPUtime=0 cores=0-7
/proc/10973/stat : 10973 (python) S 10967 10967 10673 0 -1 4202560 734 0 0 0 0 0 0 0 18 0 1 0 548294132 289013760 6331 33554432000 4194304 5683644 140735196546416 18446744073709551615 208080252431 0 0 16781312 514 2901527077356273921 0 0 17 1 0 0 0
/proc/10973/statm: 70560 6331 355 364 0 6478 0
[pid=10975] ppid=10973 vsize=1020188 CPUtime=3.61 cores=0-7
/proc/10975/stat : 10975 (gnovelty+2) R 10973 10975 10975 0 -1 4202496 1140 0 0 0 361 0 0 0 25 0 1 0 548294132 1044672512 877 33554432000 134512640 135663704 4294223472 18446744073709551615 134525309 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/10975/statm: 255047 877 113 282 0 254763 0
[pid=10976] ppid=10967 vsize=293124 CPUtime=0 cores=0-7
/proc/10976/stat : 10976 (python) S 10967 10967 10673 0 -1 4202560 739 0 0 0 0 0 0 0 18 0 1 0 548294135 300158976 6368 33554432000 4194304 5683644 140735196546416 18446744073709551615 208080252486 0 0 16781312 514 2837438468718559489 0 0 17 7 0 0 0
/proc/10976/statm: 73281 6368 349 364 0 9196 0
[pid=10978] ppid=10976 vsize=1020188 CPUtime=3.58 cores=0-7
/proc/10978/stat : 10978 (gnovelty+2) R 10976 10978 10978 0 -1 4202496 1139 0 0 0 358 0 0 0 25 0 1 0 548294135 1044672512 876 33554432000 134512640 135663704 4290890240 18446744073709551615 134524534 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/10978/statm: 255047 876 113 282 0 254763 0
[pid=10979] ppid=10967 vsize=368432 CPUtime=0 cores=0-7
/proc/10979/stat : 10979 (python) S 10967 10967 10673 0 -1 4202560 738 0 0 0 0 0 0 0 18 0 1 0 548294139 377274368 6507 33554432000 4194304 5683644 140735196546416 18446744073709551615 208080252486 0 0 16781312 514 3995369348301553922 0 0 17 1 0 0 0
/proc/10979/statm: 92108 6507 347 364 0 28020 0
[pid=10981] ppid=10979 vsize=421140 CPUtime=3.54 cores=0-7
/proc/10981/stat : 10981 (adaptg2wsat2009) R 10979 10981 10981 0 -1 4202496 1805 0 0 0 354 0 0 0 25 0 1 0 548294139 431247360 1538 33554432000 134512640 135107411 4292562656 18446744073709551615 134523319 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/10981/statm: 105285 1538 49 146 0 104161 0
[pid=10982] ppid=10967 vsize=378688 CPUtime=0 cores=0-7
/proc/10982/stat : 10982 (python) S 10967 10967 10673 0 -1 4202560 750 0 0 0 0 0 0 0 18 0 1 0 548294143 387776512 6510 33554432000 4194304 5683644 140735196546416 18446744073709551615 208080252486 0 0 16781312 514 2837426923846467843 0 0 17 1 0 0 0
/proc/10982/statm: 94672 6510 347 364 0 30581 0
[pid=10984] ppid=10982 vsize=421140 CPUtime=3.5 cores=0-7
/proc/10984/stat : 10984 (adaptg2wsat2009) R 10982 10984 10984 0 -1 4202496 1807 0 0 0 350 0 0 0 25 0 1 0 548294143 431247360 1540 33554432000 134512640 135107411 4291781504 18446744073709551615 134523426 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/10984/statm: 105285 1540 49 146 0 104161 0
[pid=10985] ppid=10967 vsize=388944 CPUtime=0 cores=0-7
/proc/10985/stat : 10985 (python) S 10967 10967 10673 0 -1 4202560 723 0 0 0 0 0 0 0 18 0 1 0 548294146 398278656 6687 33554432000 4194304 5683644 140735196546416 18446744073709551615 208080252486 0 0 16781312 514 4138900695703060737 0 0 17 1 0 0 0
/proc/10985/statm: 97236 6687 348 364 0 33142 0
[pid=10987] ppid=10985 vsize=421140 CPUtime=3.44 cores=0-7
/proc/10987/stat : 10987 (adaptg2wsat2009) R 10985 10987 10987 0 -1 4202496 1796 0 0 0 344 0 0 0 25 0 1 0 548294147 431247360 1540 33554432000 134512640 135107411 4292079920 18446744073709551615 134523455 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/10987/statm: 105285 1540 49 146 0 104161 0
[pid=10988] ppid=10967 vsize=399200 CPUtime=0 cores=0-7
/proc/10988/stat : 10988 (python) S 10967 10967 10673 0 -1 4202560 737 0 0 0 0 0 0 0 18 0 1 0 548294150 408780800 6663 33554432000 4194304 5683644 140735196546416 18446744073709551615 208080252486 0 0 16781312 514 12185140531663175938 0 0 17 1 0 0 0
/proc/10988/statm: 99800 6663 348 364 0 35703 0
[pid=10990] ppid=10988 vsize=1020188 CPUtime=3.43 cores=0-7
/proc/10990/stat : 10990 (gnovelty+2) R 10988 10990 10990 0 -1 4202496 1133 0 0 0 343 0 0 0 25 0 1 0 548294151 1044672512 876 33554432000 134512640 135663704 4290252176 18446744073709551615 134524918 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/10990/statm: 255047 876 113 282 0 254763 0
[pid=10991] ppid=10967 vsize=409456 CPUtime=0 cores=0-7
/proc/10991/stat : 10991 (python) S 10967 10967 10673 0 -1 4202560 737 0 0 0 0 0 0 0 18 0 1 0 548294154 419282944 6787 33554432000 4194304 5683644 140735196546416 18446744073709551615 208080252486 0 0 16781312 514 12185152076535267588 0 0 17 0 0 0 0
/proc/10991/statm: 102364 6787 348 364 0 38264 0
[pid=10993] ppid=10991 vsize=249144 CPUtime=3.39 cores=0-7
/proc/10993/stat : 10993 (FH) R 10991 10993 10993 0 -1 4202496 1553 0 0 0 339 0 0 0 25 0 1 0 548294155 255123456 1295 33554432000 134512640 134936988 4290055616 18446744073709551615 134523462 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/10993/statm: 62286 1295 37 104 0 61790 0
[pid=10994] ppid=10967 vsize=419712 CPUtime=0 cores=0-7
/proc/10994/stat : 10994 (python) S 10967 10967 10673 0 -1 4202560 771 0 0 0 0 0 0 0 18 0 1 0 548294158 429785088 6797 33554432000 4194304 5683644 140735196546416 18446744073709551615 208080252486 0 0 16781312 514 3189996322409120003 0 0 17 0 0 0 0
/proc/10994/statm: 104928 6797 354 364 0 40825 0
[pid=10996] ppid=10994 vsize=421140 CPUtime=3.35 cores=0-7
/proc/10996/stat : 10996 (adaptg2wsat2009) R 10994 10996 10996 0 -1 4202496 1801 0 0 0 335 0 0 0 25 0 1 0 548294159 431247360 1538 33554432000 134512640 135107411 4294647424 18446744073709551615 134523424 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/10996/statm: 105285 1538 49 146 0 104161 0
[pid=10967/tid=10974] ppid=10965 vsize=429956 CPUtime=0 cores=0-7
/proc/10967/task/10974/stat : 10974 (python) S 10965 10967 10673 0 -1 4202560 27 935 0 0 0 0 0 0 21 0 9 0 548294132 440274944 8338 33554432000 4194304 5683644 140735196546416 18446744073709551615 208092055985 0 0 16781312 2 18446604453861126400 0 0 -1 0 0 0 0
[pid=10967/tid=10977] ppid=10965 vsize=429956 CPUtime=0 cores=0-7
/proc/10967/task/10977/stat : 10977 (python) S 10965 10967 10673 0 -1 4202560 20 935 0 0 0 0 0 0 22 0 9 0 548294135 440274944 8338 33554432000 4194304 5683644 140735196546416 18446744073709551615 208092055985 0 0 16781312 2 18446604453861126400 0 0 -1 3 0 0 0
[pid=10967/tid=10980] ppid=10965 vsize=429956 CPUtime=0 cores=0-7
/proc/10967/task/10980/stat : 10980 (python) S 10965 10967 10673 0 -1 4202560 21 935 0 0 0 0 0 0 19 0 9 0 548294139 440274944 8338 33554432000 4194304 5683644 140735196546416 18446744073709551615 208092055985 0 0 16781312 2 18446604453861126400 0 0 -1 0 0 0 0
[pid=10967/tid=10983] ppid=10965 vsize=429956 CPUtime=0 cores=0-7
/proc/10967/task/10983/stat : 10983 (python) S 10965 10967 10673 0 -1 4202560 23 935 0 0 0 0 0 0 20 0 9 0 548294143 440274944 8338 33554432000 4194304 5683644 140735196546416 18446744073709551615 208092055985 0 0 16781312 2 18446604453861126400 0 0 -1 5 0 0 0
[pid=10967/tid=10986] ppid=10965 vsize=429956 CPUtime=0 cores=0-7
/proc/10967/task/10986/stat : 10986 (python) S 10965 10967 10673 0 -1 4202560 101 935 0 0 0 0 0 0 21 0 9 0 548294146 440274944 8338 33554432000 4194304 5683644 140735196546416 18446744073709551615 208092055985 0 0 16781312 2 18446604453861126400 0 0 -1 0 0 0 0
[pid=10967/tid=10989] ppid=10965 vsize=429956 CPUtime=0 cores=0-7
/proc/10967/task/10989/stat : 10989 (python) S 10965 10967 10673 0 -1 4202560 31 935 0 0 0 0 0 0 23 0 9 0 548294150 440274944 8338 33554432000 4194304 5683644 140735196546416 18446744073709551615 208092055985 0 0 16781312 2 18446604453861126400 0 0 -1 6 0 0 0
[pid=10967/tid=10992] ppid=10965 vsize=429956 CPUtime=0 cores=0-7
/proc/10967/task/10992/stat : 10992 (python) S 10965 10967 10673 0 -1 4202560 33 935 0 0 0 0 0 0 25 0 9 0 548294154 440274944 8338 33554432000 4194304 5683644 140735196546416 18446744073709551615 208092055985 0 0 16781312 2 18446604453861126400 0 0 -1 6 0 0 0
[pid=10967/tid=10995] ppid=10965 vsize=429956 CPUtime=0 cores=0-7
/proc/10967/task/10995/stat : 10995 (python) S 10965 10967 10673 0 -1 4202560 89 935 0 0 0 0 0 0 25 0 9 0 548294159 440274944 8338 33554432000 4194304 5683644 140735196546416 18446744073709551615 208092055985 0 0 16781312 2 18446604453861126400 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 30.51
Current children cumulated vsize (KiB) 8364020

[startup+12.701 s]
/proc/loadavg: 7.50 6.34 3.22 9/243 10997
/proc/meminfo: memFree=14834680/32950928 swapFree=67111348/67111528
[pid=10967] ppid=10965 vsize=429956 CPUtime=2.67 cores=0-7
/proc/10967/stat : 10967 (python) S 10965 10967 10673 0 -1 4202496 20059 935 1 0 254 13 0 0 25 0 9 0 548293864 440274944 8338 33554432000 4194304 5683644 140735196546416 18446744073709551615 208092059083 0 0 16781312 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10967/statm: 107489 8338 1891 364 0 43386 0
[pid=10973] ppid=10967 vsize=282240 CPUtime=0 cores=0-7
/proc/10973/stat : 10973 (python) S 10967 10967 10673 0 -1 4202560 896 0 0 0 0 0 0 0 18 0 1 0 548294132 289013760 6354 33554432000 4194304 5683644 140735196546416 18446744073709551615 208080252431 0 0 16781312 514 2901527077356273921 0 0 17 1 0 0 0
/proc/10973/statm: 70560 6354 378 364 0 6478 0
[pid=10975] ppid=10973 vsize=1020188 CPUtime=10.01 cores=0-7
/proc/10975/stat : 10975 (gnovelty+2) R 10973 10975 10975 0 -1 4202496 1140 0 0 0 1001 0 0 0 25 0 1 0 548294132 1044672512 877 33554432000 134512640 135663704 4294223472 18446744073709551615 134524548 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/10975/statm: 255047 877 113 282 0 254763 0
[pid=10976] ppid=10967 vsize=293124 CPUtime=0 cores=0-7
/proc/10976/stat : 10976 (python) S 10967 10967 10673 0 -1 4202560 901 0 0 0 0 0 0 0 18 0 1 0 548294135 300158976 6391 33554432000 4194304 5683644 140735196546416 18446744073709551615 208080252486 0 0 16781312 514 2837438468718559489 0 0 17 7 0 0 0
/proc/10976/statm: 73281 6391 372 364 0 9196 0
[pid=10978] ppid=10976 vsize=1020188 CPUtime=9.98 cores=0-7
/proc/10978/stat : 10978 (gnovelty+2) R 10976 10978 10978 0 -1 4202496 1139 0 0 0 998 0 0 0 25 0 1 0 548294135 1044672512 876 33554432000 134512640 135663704 4290890240 18446744073709551615 134525255 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/10978/statm: 255047 876 113 282 0 254763 0
[pid=10979] ppid=10967 vsize=368432 CPUtime=0 cores=0-7
/proc/10979/stat : 10979 (python) S 10967 10967 10673 0 -1 4202560 896 0 0 0 0 0 0 0 18 0 1 0 548294139 377274368 6529 33554432000 4194304 5683644 140735196546416 18446744073709551615 208080252486 0 0 16781312 514 3995369348301553922 0 0 17 1 0 0 0
/proc/10979/statm: 92108 6529 369 364 0 28020 0
[pid=10981] ppid=10979 vsize=421804 CPUtime=9.94 cores=0-7
/proc/10981/stat : 10981 (adaptg2wsat2009) R 10979 10981 10981 0 -1 4202496 2138 0 0 0 994 0 0 0 25 0 1 0 548294139 431927296 1871 33554432000 134512640 135107411 4292562656 18446744073709551615 134531736 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/10981/statm: 105451 1871 59 146 0 104327 0
[pid=10982] ppid=10967 vsize=378688 CPUtime=0 cores=0-7
/proc/10982/stat : 10982 (python) S 10967 10967 10673 0 -1 4202560 932 0 0 0 0 0 0 0 18 0 1 0 548294143 387776512 6532 33554432000 4194304 5683644 140735196546416 18446744073709551615 208080252486 0 0 16781312 514 2837426923846467843 0 0 17 1 0 0 0
/proc/10982/statm: 94672 6532 369 364 0 30581 0
[pid=10984] ppid=10982 vsize=421804 CPUtime=9.9 cores=0-7
/proc/10984/stat : 10984 (adaptg2wsat2009) R 10982 10984 10984 0 -1 4202496 2140 0 0 0 990 0 0 0 25 0 1 0 548294143 431927296 1873 33554432000 134512640 135107411 4291781504 18446744073709551615 134531435 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/10984/statm: 105451 1873 59 146 0 104327 0
[pid=10985] ppid=10967 vsize=388944 CPUtime=0 cores=0-7
/proc/10985/stat : 10985 (python) S 10967 10967 10673 0 -1 4202560 795 0 0 0 0 0 0 0 18 0 1 0 548294146 398278656 6710 33554432000 4194304 5683644 140735196546416 18446744073709551615 208080252486 0 0 16781312 514 4138900695703060737 0 0 17 1 0 0 0
/proc/10985/statm: 97236 6710 371 364 0 33142 0
[pid=10987] ppid=10985 vsize=421804 CPUtime=9.77 cores=0-7
/proc/10987/stat : 10987 (adaptg2wsat2009) R 10985 10987 10987 0 -1 4202496 2129 0 0 0 977 0 0 0 25 0 1 0 548294147 431927296 1873 33554432000 134512640 135107411 4292079920 18446744073709551615 134532277 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/10987/statm: 105451 1873 59 146 0 104327 0
[pid=10988] ppid=10967 vsize=399200 CPUtime=0 cores=0-7
/proc/10988/stat : 10988 (python) S 10967 10967 10673 0 -1 4202560 812 0 0 0 0 0 0 0 18 0 1 0 548294150 408780800 6686 33554432000 4194304 5683644 140735196546416 18446744073709551615 208080252486 0 0 16781312 514 12185140531663175938 0 0 17 1 0 0 0
/proc/10988/statm: 99800 6686 371 364 0 35703 0
[pid=10990] ppid=10988 vsize=1020188 CPUtime=9.78 cores=0-7
/proc/10990/stat : 10990 (gnovelty+2) R 10988 10990 10990 0 -1 4202496 1133 0 0 0 978 0 0 0 25 0 1 0 548294151 1044672512 876 33554432000 134512640 135663704 4290252176 18446744073709551615 134524534 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/10990/statm: 255047 876 113 282 0 254763 0
[pid=10991] ppid=10967 vsize=409456 CPUtime=0 cores=0-7
/proc/10991/stat : 10991 (python) S 10967 10967 10673 0 -1 4202560 818 0 0 0 0 0 0 0 18 0 1 0 548294154 419282944 6810 33554432000 4194304 5683644 140735196546416 18446744073709551615 208080252486 0 0 16781312 514 12185152076535267588 0 0 17 0 0 0 0
/proc/10991/statm: 102364 6810 371 364 0 38264 0

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

[pid=11066] ppid=10967 vsize=563296 CPUtime=0.18 cores=0-7
/proc/11066/stat : 11066 (python) S 10967 10967 10673 0 -1 4202560 1170 0 0 0 10 8 0 0 19 0 2 0 548343196 576815104 7031 33554432000 4194304 5683644 140735196546416 18446744073709551615 208092059083 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/11066/statm: 140824 7031 406 364 0 76679 0
[pid=11068] ppid=11066 vsize=1020188 CPUtime=100.2 cores=0-7
/proc/11068/stat : 11068 (gnovelty+2) T 11066 11068 11068 0 -1 4202496 1153 0 0 0 10020 0 0 0 25 0 1 0 548343196 1044672512 877 33554432000 134512640 135663704 4287691072 18446744073709551615 134545793 0 0 16781312 0 18446744071562691360 0 0 17 3 0 0 0
/proc/11068/statm: 255047 877 113 282 0 254763 0
[pid=11066/tid=11077] ppid=10967 vsize=563296 CPUtime=0 cores=0-7
/proc/11066/task/11077/stat : 11077 (python) S 10967 10967 10673 0 -1 4202560 90 0 0 0 0 0 0 0 19 0 2 0 548353219 576815104 7031 33554432000 4194304 5683644 140735196546416 18446744073709551615 208092055985 0 0 16781312 514 18446604449571312064 0 0 -1 3 0 0 0
[pid=11070] ppid=10967 vsize=573552 CPUtime=0.18 cores=0-7
/proc/11070/stat : 11070 (python) S 10967 10967 10673 0 -1 4202560 1186 0 0 0 11 7 0 0 19 0 2 0 548343669 587317248 7082 33554432000 4194304 5683644 140735196546416 18446744073709551615 208092059083 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/11070/statm: 143388 7082 406 364 0 79240 0
[pid=11072] ppid=11070 vsize=335996 CPUtime=99.95 cores=0-7
/proc/11072/stat : 11072 (iPAWS) T 11070 11072 11072 0 -1 4202496 2032 0 0 0 9995 0 0 0 25 0 1 0 548343669 344059904 1750 33554432000 134512640 135114423 4287410960 18446744073709551615 134516978 0 0 16781312 0 18446744071562691360 0 0 17 2 0 0 0
/proc/11072/statm: 83999 1750 59 147 0 83851 0
[pid=11070/tid=11081] ppid=10967 vsize=573552 CPUtime=0 cores=0-7
/proc/11070/task/11081/stat : 11081 (python) S 10967 10967 10673 0 -1 4202560 91 0 0 0 0 0 0 0 19 0 2 0 548353686 587317248 7082 33554432000 4194304 5683644 140735196546416 18446744073709551615 208092055985 0 0 16781312 514 18446604449571312960 0 0 -1 6 0 0 0
[pid=11078] ppid=10967 vsize=583808 CPUtime=0.18 cores=0-7
/proc/11078/stat : 11078 (python) S 10967 10967 10673 0 -1 4202560 1200 0 0 0 10 8 0 0 19 0 2 0 548353494 597819392 6997 33554432000 4194304 5683644 140735196546416 18446744073709551615 208092059083 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/11078/statm: 145952 6997 407 364 0 81801 0
[pid=11080] ppid=11078 vsize=335996 CPUtime=100.16 cores=0-7
/proc/11080/stat : 11080 (iPAWS) T 11078 11080 11080 0 -1 4202496 2032 0 0 0 10016 0 0 0 25 0 1 0 548353494 344059904 1752 33554432000 134512640 135114423 4288827520 18446744073709551615 134516978 0 0 16781312 0 18446744071562691360 0 0 17 2 0 0 0
/proc/11080/statm: 83999 1752 59 147 0 83851 0
[pid=11078/tid=11091] ppid=10967 vsize=583808 CPUtime=0 cores=0-7
/proc/11078/task/11091/stat : 11091 (python) S 10967 10967 10673 0 -1 4202560 92 0 0 0 0 0 0 0 19 0 2 0 548363512 597819392 6997 33554432000 4194304 5683644 140735196546416 18446744073709551615 208092055985 0 0 16781312 514 18446604449801371904 0 0 -1 2 0 0 0
[pid=11085] ppid=10967 vsize=594064 CPUtime=0.99 cores=0-7
/proc/11085/stat : 11085 (python) S 10967 10967 10673 0 -1 4202560 1181 0 0 0 51 48 0 0 18 0 2 0 548362836 608321536 7091 33554432000 4194304 5683644 140735196546416 18446744073709551615 208092059083 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/11085/statm: 148516 7091 400 364 0 84362 0
[pid=11087] ppid=11085 vsize=268424 CPUtime=489.39 cores=0-7
/proc/11087/stat : 11087 (hybridGM3) T 11085 11087 11087 0 -1 4202496 5662 0 0 0 48936 3 0 0 25 0 1 0 548362836 274866176 5378 33554432000 134512640 135204385 4287964624 18446744073709551615 134537804 0 0 16781312 0 18446744071562691360 0 0 17 0 0 0 0
/proc/11087/statm: 67106 5378 63 169 0 66936 0
[pid=11085/tid=11110] ppid=10967 vsize=594064 CPUtime=0 cores=0-7
/proc/11085/task/11110/stat : 11110 (python) S 10967 10967 10673 0 -1 4202560 87 0 0 0 0 0 0 0 18 0 2 0 548382481 608321536 7091 33554432000 4194304 5683644 140735196546416 18446744073709551615 208092055985 0 0 16781312 514 18446604453870997632 0 0 -1 1 0 0 0
[pid=11088] ppid=10967 vsize=604320 CPUtime=0.97 cores=0-7
/proc/11088/stat : 11088 (python) S 10967 10967 10673 0 -1 4202560 980 0 0 0 52 45 0 0 18 0 1 0 548363422 618823680 7068 33554432000 4194304 5683644 140735196546416 18446744073709551615 208080252486 0 0 16781312 514 15213634530280702211 0 0 17 6 0 0 0
/proc/11088/statm: 151080 7068 372 364 0 86923 0
[pid=11090] ppid=11088 vsize=459768 CPUtime=490.13 cores=0-7
/proc/11090/stat : 11090 (TNM) R 11088 11090 11090 0 -1 4202496 1942 0 0 0 49013 0 0 0 25 0 1 0 548363422 470802432 1657 33554432000 134512640 135008748 4292630336 18446744073709551615 134529367 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/11090/statm: 114942 1657 46 122 0 113842 0
[pid=11092] ppid=10967 vsize=614576 CPUtime=0.2 cores=0-7
/proc/11092/stat : 11092 (python) S 10967 10967 10673 0 -1 4202560 1190 0 0 0 10 10 0 0 19 0 2 0 548363541 629325824 7075 33554432000 4194304 5683644 140735196546416 18446744073709551615 208092059083 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/11092/statm: 153644 7075 400 364 0 89484 0
[pid=11094] ppid=11092 vsize=1020188 CPUtime=99.61 cores=0-7
/proc/11094/stat : 11094 (gnovelty+2) T 11092 11094 11094 0 -1 4202496 1159 0 0 0 9961 0 0 0 25 0 1 0 548363541 1044672512 877 33554432000 134512640 135663704 4292592144 18446744073709551615 134525258 0 0 16781312 0 18446744071562691360 0 0 17 6 0 0 0
/proc/11094/statm: 255047 877 113 282 0 254763 0
[pid=11092/tid=11100] ppid=10967 vsize=614576 CPUtime=0 cores=0-7
/proc/11092/task/11100/stat : 11100 (python) S 10967 10967 10673 0 -1 4202560 89 0 0 0 0 0 0 0 19 0 2 0 548373566 629325824 7075 33554432000 4194304 5683644 140735196546416 18446744073709551615 208092055985 0 0 16781312 514 18446604453861129088 0 0 -1 1 0 0 0
[pid=11095] ppid=10967 vsize=624832 CPUtime=0.6 cores=0-7
/proc/11095/stat : 11095 (python) S 10967 10967 10673 0 -1 4202560 1207 0 0 0 29 31 0 0 18 0 2 0 548363561 639827968 7166 33554432000 4194304 5683644 140735196546416 18446744073709551615 208092059083 0 0 16781312 514 18446744073709551615 0 0 17 7 0 0 0
/proc/11095/statm: 156208 7166 401 364 0 92045 0
[pid=11097] ppid=11095 vsize=268428 CPUtime=296.5 cores=0-7
/proc/11097/stat : 11097 (hybridGM3) T 11095 11097 11097 0 -1 4202496 5662 0 0 0 29646 4 0 0 25 0 1 0 548363561 274870272 5378 33554432000 134512640 135204385 4293395856 18446744073709551615 134538475 0 0 16781312 0 18446744071562691360 0 0 17 0 0 0 0
/proc/11097/statm: 67107 5378 63 169 0 66937 0
[pid=11095/tid=11111] ppid=10967 vsize=624832 CPUtime=0 cores=0-7
/proc/11095/task/11111/stat : 11111 (python) S 10967 10967 10673 0 -1 4202560 88 0 0 0 0 0 0 0 18 0 2 0 548383209 639827968 7166 33554432000 4194304 5683644 140735196546416 18446744073709551615 208092055985 0 0 16781312 514 18446604463699053440 0 0 -1 0 0 0 0
[pid=11101] ppid=10967 vsize=635088 CPUtime=0.43 cores=0-7
/proc/11101/stat : 11101 (python) S 10967 10967 10673 0 -1 4202560 1245 0 0 0 20 23 0 0 18 0 2 0 548373577 650330112 7096 33554432000 4194304 5683644 140735196546416 18446744073709551615 208080252486 0 0 16781312 514 18446744073709551615 0 0 17 7 0 0 0
/proc/11101/statm: 158772 7096 406 364 0 94606 0
[pid=11103] ppid=11101 vsize=251292 CPUtime=208.28 cores=0-7
/proc/11103/stat : 11103 (FH) R 11101 11103 11103 0 -1 4202496 1985 0 0 0 20828 0 0 0 25 0 1 0 548373577 257323008 1694 33554432000 134512640 134936988 4291179536 18446744073709551615 134545066 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/11103/statm: 62823 1694 41 104 0 62327 0
[pid=11101/tid=11112] ppid=10967 vsize=635088 CPUtime=0 cores=0-7
/proc/11101/task/11112/stat : 11112 (python) S 10967 10967 10673 0 -1 4202560 90 0 0 0 0 0 0 0 19 0 2 0 548384198 650330112 7096 33554432000 4194304 5683644 140735196546416 18446744073709551615 208092055985 0 0 16781312 514 18446604463699050752 0 0 -1 7 0 0 0
[pid=11107] ppid=10967 vsize=645344 CPUtime=0.39 cores=0-7
/proc/11107/stat : 11107 (python) S 10967 10967 10673 0 -1 4202560 1241 0 0 0 21 18 0 0 19 0 2 0 548382375 660832256 7158 33554432000 4194304 5683644 140735196546416 18446744073709551615 208092059083 0 0 16781312 514 18446744073709551615 0 0 17 7 0 0 0
/proc/11107/statm: 161336 7158 406 364 0 97167 0
[pid=11109] ppid=11107 vsize=268420 CPUtime=194.44 cores=0-7
/proc/11109/stat : 11109 (hybridGM3) T 11107 11109 11109 0 -1 4202496 5664 0 0 0 19444 0 0 0 25 0 1 0 548382376 274862080 5377 33554432000 134512640 135204385 4289692032 18446744073709551615 134538284 0 0 16781312 0 18446744071562691360 0 0 17 1 0 0 0
/proc/11109/statm: 67105 5377 63 169 0 66935 0
[pid=11107/tid=11121] ppid=10967 vsize=645344 CPUtime=0 cores=0-7
/proc/11107/task/11121/stat : 11121 (python) S 10967 10967 10673 0 -1 4202560 88 0 0 0 0 0 0 0 19 0 2 0 548401826 660832256 7158 33554432000 4194304 5683644 140735196546416 18446744073709551615 208092055985 0 0 16781312 514 18446604463699051648 0 0 -1 7 0 0 0
[pid=11116] ppid=10967 vsize=655600 CPUtime=0.38 cores=0-7
/proc/11116/stat : 11116 (python) S 10967 10967 10673 0 -1 4202560 1053 0 0 0 17 21 0 0 18 0 1 0 548393351 671334400 7084 33554432000 4194304 5683644 140735196546416 18446744073709551615 208080252486 0 0 16781312 514 15213634530280702216 0 0 17 7 0 0 0
/proc/11116/statm: 163900 7084 379 364 0 99728 0
[pid=11118] ppid=11116 vsize=421340 CPUtime=186.49 cores=0-7
/proc/11118/stat : 11118 (NCVWr) R 11116 11118 11118 0 -1 4202496 2003 0 0 0 18649 0 0 0 25 0 1 0 548393352 431452160 1712 33554432000 134512640 135113558 4290088672 18446744073709551615 134531486 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/11118/statm: 105335 1712 58 147 0 104210 0
[pid=11122] ppid=10967 vsize=665856 CPUtime=0.2 cores=0-7
/proc/11122/stat : 11122 (python) S 10967 10967 10673 0 -1 4202560 1063 0 0 0 10 10 0 0 18 0 1 0 548402428 681836544 7062 33554432000 4194304 5683644 140735196546416 18446744073709551615 208080252486 0 0 16781312 514 15213634530280702213 0 0 17 7 0 0 0
/proc/11122/statm: 166464 7062 379 364 0 102289 0
[pid=11124] ppid=11122 vsize=335996 CPUtime=94.76 cores=0-7
/proc/11124/stat : 11124 (iPAWS) R 11122 11124 11124 0 -1 4202496 2040 0 0 0 9476 0 0 0 25 0 1 0 548402429 344059904 1750 33554432000 134512640 135114423 4287708352 18446744073709551615 134546128 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/11124/statm: 83999 1750 59 147 0 83851 0
[pid=11128] ppid=10967 vsize=676112 CPUtime=0 cores=0-7
/proc/11128/stat : 11128 (python) S 10967 10967 10673 0 -1 4202560 935 0 0 0 0 0 0 0 19 0 1 0 548412370 692338688 7174 33554432000 4194304 5683644 140735196546416 18446744073709551615 208080252486 0 0 16781312 514 6716292565529788415 0 0 17 7 0 0 0
/proc/11128/statm: 169028 7174 349 364 0 104850 0
[pid=11130] ppid=11128 vsize=268428 CPUtime=0.6 cores=0-7
/proc/11130/stat : 11130 (hybridGM3) R 11128 11130 11130 0 -1 4202496 5669 0 0 0 59 1 0 0 22 0 1 0 548412370 274870272 5378 33554432000 134512640 135204385 4291586688 18446744073709551615 134538452 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/11130/statm: 67107 5378 63 169 0 66937 0
[pid=10967/tid=10974] ppid=10965 vsize=686356 CPUtime=0 cores=0-7
/proc/10967/task/10974/stat : 10974 (python) S 10965 10967 10673 0 -1 4202560 27 935 0 0 0 0 0 0 21 0 34 0 548294132 702828544 8771 33554432000 4194304 5683644 140735196546416 18446744073709551615 208092055985 0 0 16781312 2 18446604453861126400 0 0 -1 0 0 0 0
[pid=10967/tid=10977] ppid=10965 vsize=686356 CPUtime=0 cores=0-7
/proc/10967/task/10977/stat : 10977 (python) S 10965 10967 10673 0 -1 4202560 20 935 0 0 0 0 0 0 22 0 34 0 548294135 702828544 8771 33554432000 4194304 5683644 140735196546416 18446744073709551615 208092055985 0 0 16781312 2 18446604453861126400 0 0 -1 3 0 0 0
[pid=10967/tid=10980] ppid=10965 vsize=686356 CPUtime=0 cores=0-7
/proc/10967/task/10980/stat : 10980 (python) S 10965 10967 10673 0 -1 4202560 33 935 0 0 0 0 0 0 15 0 34 0 548294139 702828544 8771 33554432000 4194304 5683644 140735196546416 18446744073709551615 208092055985 0 0 16781312 2 18446604453861126400 0 0 -1 0 0 0 0
[pid=10967/tid=10983] ppid=10965 vsize=686356 CPUtime=0 cores=0-7
/proc/10967/task/10983/stat : 10983 (python) S 10965 10967 10673 0 -1 4202560 30 935 0 0 0 0 0 0 18 0 34 0 548294143 702828544 8771 33554432000 4194304 5683644 140735196546416 18446744073709551615 208092055985 0 0 16781312 2 18446604453861126400 0 0 -1 5 0 0 0
[pid=10967/tid=10986] ppid=10965 vsize=686356 CPUtime=0 cores=0-7
/proc/10967/task/10986/stat : 10986 (python) S 10965 10967 10673 0 -1 4202560 124 935 0 0 0 0 0 0 18 0 34 0 548294146 702828544 8771 33554432000 4194304 5683644 140735196546416 18446744073709551615 208092055985 0 0 16781312 2 18446604453861126400 0 0 -1 0 0 0 0
[pid=10967/tid=10989] ppid=10965 vsize=686356 CPUtime=0 cores=0-7
/proc/10967/task/10989/stat : 10989 (python) S 10965 10967 10673 0 -1 4202560 31 935 0 0 0 0 0 0 23 0 34 0 548294150 702828544 8771 33554432000 4194304 5683644 140735196546416 18446744073709551615 208092055985 0 0 16781312 2 18446604453861126400 0 0 -1 6 0 0 0
[pid=10967/tid=10992] ppid=10965 vsize=686356 CPUtime=0 cores=0-7
/proc/10967/task/10992/stat : 10992 (python) S 10965 10967 10673 0 -1 4202560 40 935 0 0 0 0 0 0 18 0 34 0 548294154 702828544 8771 33554432000 4194304 5683644 140735196546416 18446744073709551615 208092055985 0 0 16781312 2 18446604453861126400 0 0 -1 6 0 0 0
[pid=10967/tid=10995] ppid=10965 vsize=686356 CPUtime=0 cores=0-7
/proc/10967/task/10995/stat : 10995 (python) S 10965 10967 10673 0 -1 4202560 94 935 0 0 0 0 0 0 18 0 34 0 548294159 702828544 8771 33554432000 4194304 5683644 140735196546416 18446744073709551615 208092055985 0 0 16781312 2 18446604453861126400 0 0 -1 0 0 0 0
[pid=10967/tid=11004] ppid=10965 vsize=686356 CPUtime=0 cores=0-7
/proc/10967/task/11004/stat : 11004 (python) S 10965 10967 10673 0 -1 4202560 40 935 0 0 0 0 0 0 18 0 34 0 548304157 702828544 8771 33554432000 4194304 5683644 140735196546416 18446744073709551615 208092055985 0 0 16781312 2 18446604453861126400 0 0 -1 7 0 0 0
[pid=10967/tid=11008] ppid=10965 vsize=686356 CPUtime=0 cores=0-7
/proc/10967/task/11008/stat : 11008 (python) S 10965 10967 10673 0 -1 4202560 51 935 0 0 0 0 0 0 18 0 34 0 548304162 702828544 8771 33554432000 4194304 5683644 140735196546416 18446744073709551615 208092055985 0 0 16781312 2 18446604453861126400 0 0 -1 1 0 0 0
[pid=10967/tid=11012] ppid=10965 vsize=686356 CPUtime=0 cores=0-7
/proc/10967/task/11012/stat : 11012 (python) S 10965 10967 10673 0 -1 4202560 52 935 0 0 0 0 0 0 18 0 34 0 548304167 702828544 8771 33554432000 4194304 5683644 140735196546416 18446744073709551615 208092055985 0 0 16781312 2 18446604453861126400 0 0 -1 5 0 0 0
[pid=10967/tid=11017] ppid=10965 vsize=686356 CPUtime=0 cores=0-7
/proc/10967/task/11017/stat : 11017 (python) S 10965 10967 10673 0 -1 4202560 32 935 0 0 0 0 0 0 23 0 34 0 548304173 702828544 8771 33554432000 4194304 5683644 140735196546416 18446744073709551615 208092055985 0 0 16781312 2 18446604453861126400 0 0 -1 7 0 0 0
[pid=10967/tid=11021] ppid=10965 vsize=686356 CPUtime=0 cores=0-7
/proc/10967/task/11021/stat : 11021 (python) S 10965 10967 10673 0 -1 4202560 38 935 0 0 0 0 0 0 18 0 34 0 548304178 702828544 8771 33554432000 4194304 5683644 140735196546416 18446744073709551615 208092055985 0 0 16781312 2 18446604453861126400 0 0 -1 7 0 0 0
[pid=10967/tid=11024] ppid=10965 vsize=686356 CPUtime=0 cores=0-7
/proc/10967/task/11024/stat : 11024 (python) S 10965 10967 10673 0 -1 4202560 38 935 0 0 0 0 0 0 18 0 34 0 548304184 702828544 8771 33554432000 4194304 5683644 140735196546416 18446744073709551615 208092055985 0 0 16781312 2 18446604453861126400 0 0 -1 1 0 0 0
[pid=10967/tid=11027] ppid=10965 vsize=686356 CPUtime=0 cores=0-7
/proc/10967/task/11027/stat : 11027 (python) S 10965 10967 10673 0 -1 4202560 51 935 0 0 0 0 0 0 18 0 34 0 548304190 702828544 8771 33554432000 4194304 5683644 140735196546416 18446744073709551615 208092055985 0 0 16781312 2 18446604453861126400 0 0 -1 1 0 0 0
[pid=10967/tid=11030] ppid=10965 vsize=686356 CPUtime=0 cores=0-7
/proc/10967/task/11030/stat : 11030 (python) S 10965 10967 10673 0 -1 4202560 40 935 0 0 0 0 0 0 18 0 34 0 548304198 702828544 8771 33554432000 4194304 5683644 140735196546416 18446744073709551615 208092055985 0 0 16781312 2 18446604453861126400 0 0 -1 7 0 0 0
[pid=10967/tid=11038] ppid=10965 vsize=686356 CPUtime=0 cores=0-7
/proc/10967/task/11038/stat : 11038 (python) S 10965 10967 10673 0 -1 4202560 31 935 0 0 0 0 0 0 19 0 34 0 548314181 702828544 8771 33554432000 4194304 5683644 140735196546416 18446744073709551615 208092055985 0 0 16781312 2 18446604453861126400 0 0 -1 7 0 0 0
[pid=10967/tid=11041] ppid=10965 vsize=686356 CPUtime=0 cores=0-7
/proc/10967/task/11041/stat : 11041 (python) S 10965 10967 10673 0 -1 4202560 36 935 0 0 0 0 0 0 21 0 34 0 548314189 702828544 8771 33554432000 4194304 5683644 140735196546416 18446744073709551615 208092055985 0 0 16781312 2 18446604453861126400 0 0 -1 7 0 0 0
[pid=10967/tid=11051] ppid=10965 vsize=686356 CPUtime=0 cores=0-7
/proc/10967/task/11051/stat : 11051 (python) S 10965 10967 10673 0 -1 4202560 41 935 0 0 0 0 0 0 20 0 34 0 548324115 702828544 8771 33554432000 4194304 5683644 140735196546416 18446744073709551615 208092055985 0 0 16781312 2 18446604453861126400 0 0 -1 0 0 0 0
[pid=10967/tid=11059] ppid=10965 vsize=686356 CPUtime=0 cores=0-7
/proc/10967/task/11059/stat : 11059 (python) S 10965 10967 10673 0 -1 4202560 50 935 0 0 0 0 0 0 18 0 34 0 548333352 702828544 8771 33554432000 4194304 5683644 140735196546416 18446744073709551615 208092055985 0 0 16781312 2 18446604453861126400 0 0 -1 0 0 0 0
[pid=10967/tid=11062] ppid=10965 vsize=686356 CPUtime=0 cores=0-7
/proc/10967/task/11062/stat : 11062 (python) S 10965 10967 10673 0 -1 4202560 33 935 0 0 0 0 0 0 19 0 34 0 548333653 702828544 8771 33554432000 4194304 5683644 140735196546416 18446744073709551615 208092055985 0 0 16781312 2 18446604453861126400 0 0 -1 2 0 0 0
[pid=10967/tid=11067] ppid=10965 vsize=686356 CPUtime=0 cores=0-7
/proc/10967/task/11067/stat : 11067 (python) S 10965 10967 10673 0 -1 4202560 41 935 0 0 0 0 0 0 20 0 34 0 548343196 702828544 8771 33554432000 4194304 5683644 140735196546416 18446744073709551615 208092055985 0 0 16781312 2 18446604453861126400 0 0 -1 1 0 0 0
[pid=10967/tid=11071] ppid=10965 vsize=686356 CPUtime=0 cores=0-7
/proc/10967/task/11071/stat : 11071 (python) S 10965 10967 10673 0 -1 4202560 38 935 0 0 0 0 0 0 20 0 34 0 548343669 702828544 8771 33554432000 4194304 5683644 140735196546416 18446744073709551615 208092055985 0 0 16781312 2 18446604453861126400 0 0 -1 6 0 0 0
[pid=10967/tid=11079] ppid=10965 vsize=686356 CPUtime=0 cores=0-7
/proc/10967/task/11079/stat : 11079 (python) S 10965 10967 10673 0 -1 4202560 41 935 0 0 0 0 0 0 20 0 34 0 548353494 702828544 8771 33554432000 4194304 5683644 140735196546416 18446744073709551615 208092055985 0 0 16781312 2 18446604453861126400 0 0 -1 1 0 0 0
[pid=10967/tid=11086] ppid=10965 vsize=686356 CPUtime=0 cores=0-7
/proc/10967/task/11086/stat : 11086 (python) S 10965 10967 10673 0 -1 4202560 40 935 0 0 0 0 0 0 18 0 34 0 548362836 702828544 8771 33554432000 4194304 5683644 140735196546416 18446744073709551615 208092055985 0 0 16781312 2 18446604453861126400 0 0 -1 1 0 0 0
[pid=10967/tid=11089] ppid=10965 vsize=686356 CPUtime=0 cores=0-7
/proc/10967/task/11089/stat : 11089 (python) S 10965 10967 10673 0 -1 4202560 33 935 0 0 0 0 0 0 20 0 34 0 548363422 702828544 8771 33554432000 4194304 5683644 140735196546416 18446744073709551615 208092055985 0 0 16781312 2 18446604453861126400 0 0 -1 6 0 0 0
[pid=10967/tid=11093] ppid=10965 vsize=686356 CPUtime=0 cores=0-7
/proc/10967/task/11093/stat : 11093 (python) S 10965 10967 10673 0 -1 4202560 36 935 0 0 0 0 0 0 20 0 34 0 548363541 702828544 8771 33554432000 4194304 5683644 140735196546416 18446744073709551615 208092055985 0 0 16781312 2 18446604453861126400 0 0 -1 6 0 0 0
[pid=10967/tid=11096] ppid=10965 vsize=686356 CPUtime=0 cores=0-7
/proc/10967/task/11096/stat : 11096 (python) S 10965 10967 10673 0 -1 4202560 39 935 0 0 0 0 0 0 18 0 34 0 548363561 702828544 8771 33554432000 4194304 5683644 140735196546416 18446744073709551615 208092055985 0 0 16781312 2 18446604453861126400 0 0 -1 0 0 0 0
[pid=10967/tid=11102] ppid=10965 vsize=686356 CPUtime=0 cores=0-7
/proc/10967/task/11102/stat : 11102 (python) S 10965 10967 10673 0 -1 4202560 40 935 0 0 0 0 0 0 18 0 34 0 548373577 702828544 8771 33554432000 4194304 5683644 140735196546416 18446744073709551615 208092055985 0 0 16781312 2 18446604453861126400 0 0 -1 0 0 0 0
[pid=10967/tid=11108] ppid=10965 vsize=686356 CPUtime=0 cores=0-7
/proc/10967/task/11108/stat : 11108 (python) S 10965 10967 10673 0 -1 4202560 31 935 0 0 0 0 0 0 20 0 34 0 548382375 702828544 8771 33554432000 4194304 5683644 140735196546416 18446744073709551615 208092055985 0 0 16781312 2 18446604453861126400 0 0 -1 0 0 0 0
[pid=10967/tid=11117] ppid=10965 vsize=686356 CPUtime=0 cores=0-7
/proc/10967/task/11117/stat : 11117 (python) S 10965 10967 10673 0 -1 4202560 39 935 0 0 0 0 0 0 20 0 34 0 548393352 702828544 8771 33554432000 4194304 5683644 140735196546416 18446744073709551615 208092055985 0 0 16781312 2 18446604453861126400 0 0 -1 0 0 0 0
[pid=10967/tid=11123] ppid=10965 vsize=686356 CPUtime=0 cores=0-7
/proc/10967/task/11123/stat : 11123 (python) S 10965 10967 10673 0 -1 4202560 32 935 0 0 0 0 0 0 20 0 34 0 548402429 702828544 8771 33554432000 4194304 5683644 140735196546416 18446744073709551615 208092055985 0 0 16781312 2 18446604453861126400 0 0 -1 0 0 0 0
[pid=10967/tid=11129] ppid=10965 vsize=686356 CPUtime=0 cores=0-7
/proc/10967/task/11129/stat : 11129 (python) S 10965 10967 10673 0 -1 4202560 36 935 0 0 0 0 0 0 20 0 34 0 548412370 702828544 8771 33554432000 4194304 5683644 140735196546416 18446744073709551615 208092055985 0 0 16781312 2 18446604453861126400 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 9425.36
Current children cumulated vsize (KiB) 32677928

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 10967 and gives
#  childrusage.ru_utime.tv_sec=6
#  childrusage.ru_utime.tv_usec=842959
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=274958
# CPU time returned by wait4() is 7.11792
# while last known CPU time is 9425.36
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1185.9
CPU time (s): 9425.36
CPU user time (s): 9416.39
CPU system time (s): 8.97
CPU usage (%): 794.783
Max. virtual memory (cumulated for all children) (KiB): 32677928

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.84296
system time used= 0.274958
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73513
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= 4978
involuntary context switches= 134

runsolver used 12.2451 second user time and 26.7359 second system time

The end

Launcher Data 

Begin job on node127 at 2011-05-02 22:09:02
IDJOB=3321774
IDBENCH=82552
IDSOLVER=1712
FILE ID=node127/3321774-1304366942
RUNJOBID= node127-1304366466-10687
PBS_JOBID= 13181744
Free space on /tmp= 73348 MiB

SOLVER NAME= borg-sat 11.03.02-random
BENCH NAME= SAT11/random/large/unif-k7-r85-v400-c34000-S1897807474-073-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-3321774-1304366942/watcher-3321774-1304366942 -o /tmp/evaluation-result-3321774-1304366942/solver-3321774-1304366942 -C 40000 -W 5100 -M 31000  python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3321774-1304366942.cnf -seed 492488376 -budget 40000 -cores 8

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

MD5SUM BENCH= 6ed0ea2d6f55cf35f843b9274cf5be29
RANDOM SEED=492488376

node127.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.823
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.64
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.823
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.823
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.823
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.86
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.823
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.75
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.823
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.823
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.60
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.823
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:     32950928 kB
MemFree:      14935568 kB
Buffers:        820964 kB
Cached:        3575464 kB
SwapCached:          8 kB
Active:       13411516 kB
Inactive:      4115644 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      14935568 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:           32616 kB
Writeback:           0 kB
AnonPages:    13132168 kB
Mapped:          22336 kB
Slab:           386304 kB
PageTables:      35124 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 14980164 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= 73316 MiB
End job on node127 at 2011-05-02 22:28:50