Trace number 3385372

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Namerandom/large/
unif-k5-r20-v2000-c40000-S1993071608-084-UNKNOWN.cnf
MD5SUM6a416a8eca39558555cbe083cf0c9cff
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark559.28
Satisfiable
(Un)Satisfiability was proved
Number of variables2000
Number of clauses40000
Sum of the clauses size200000
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 540000
Number of clauses of size over 50

Solver Data 

0.35/0.68	c INFO: loaded portfolio from HOME/etc/borg-mix+class.random.pickle
0.35/0.68	c INFO: solving HOME/instance-3385372-1305565963.cnf
0.35/0.68	c INFO: computing task features
0.53/0.89	c INFO: computed variable-clause graph statistics
0.63/0.90	c INFO: computed clause balance statistics
1.63/1.95	c INFO: computed variable balance statistics
2.23/2.53	c INFO: computed small-clause counts
2.23/2.53	c INFO: computed Horn-clause counts
2.23/2.58	c INFO: computed variable graph statistics
2.23/2.58	c INFO: collected features for HOME/instance-3385372-1305565963.cnf in 1.89 s
2.33/2.61	c INFO: running gnovelty+2@0 for 97 with 4998 remaining (b = 0.38)
2.33/2.64	c INFO: running gnovelty+2@0 for 97 with 4998 remaining (b = 0.13)
2.33/2.67	c INFO: running adaptg2wsat2009++@0 for 97 with 4998 remaining (b = 0.08)
2.43/2.71	c INFO: running adaptg2wsat2009++@0 for 97 with 4997 remaining (b = 0.07)
2.43/2.74	c INFO: running adaptg2wsat2009++@0 for 97 with 4997 remaining (b = 0.05)
2.43/2.77	c INFO: running gnovelty+2@0 for 97 with 4997 remaining (b = 0.05)
2.52/2.81	c INFO: running FH@0 for 97 with 4997 remaining (b = 0.03)
2.52/2.84	c INFO: running adaptg2wsat2009++@0 for 97 with 4997 remaining (b = 0.03)
751.54/103.03	c INFO: running adaptg2wsat2009++@0 for 97 with 4897 remaining (b = 0.02)
751.54/103.08	c INFO: running FH@0 for 97 with 4897 remaining (b = 0.02)
752.21/103.13	c INFO: running hybridGM3@0 for 194 with 4897 remaining (b = 0.04)
752.71/103.21	c INFO: running gnovelty+2@0 for 97 with 4897 remaining (b = 0.02)
752.71/103.26	c INFO: running hybridGM3@0 for 194 with 4897 remaining (b = 0.03)
786.37/108.06	c INFO: running adaptg2wsat2009++@0 for 97 with 4892 remaining (b = 0.01)
837.30/115.35	c INFO: running hybridGM3@0 for 194 with 4885 remaining (b = 0.03)
961.49/133.19	c INFO: running hybridGM3@0 for 194 with 4867 remaining (b = 0.02)
1469.59/203.50	c INFO: running TNM@0 for 1552 with 4797 remaining (b = 0.19)
1506.83/208.73	c INFO: running FH@0 for 97 with 4791 remaining (b = 0.01)
1511.67/209.48	c INFO: running adaptg2wsat2009++@0 for 97 with 4791 remaining (b = 0.01)
1588.30/220.49	c INFO: running adaptg2wsat2009++@0 for 97 with 4780 remaining (b = 0.01)
2232.28/312.89	c INFO: running adaptg2wsat2009++@99 for 97 with 4687 remaining (b = 0.01)
2271.30/318.44	c INFO: running hybridGM3@97 for 97 with 4682 remaining (b = 0.01)
2290.18/321.17	c INFO: running hybridGM3@0 for 194 with 4679 remaining (b = 0.02)
2431.59/341.49	c INFO: running hybridGM3@99 for 97 with 4659 remaining (b = 0.01)
2477.63/348.07	c INFO: running hybridGM3@99 for 97 with 4652 remaining (b = 0.01)
2520.45/354.01	c INFO: running hybridGM3@0 for 194 with 4646 remaining (b = 0.02)
2604.76/366.16	c INFO: running hybridGM3@97 for 97 with 4634 remaining (b = 0.01)
2978.98/419.83	c INFO: running TNM@0 for 1455 with 4580 remaining (b = 0.14)
3080.04/434.37	c INFO: running adaptg2wsat2009++@0 for 97 with 4566 remaining (b = 0.01)
3097.44/436.87	c INFO: running hybridGM3@297 for 97 with 4563 remaining (b = 0.01)
3143.40/443.44	c INFO: running adaptg2wsat2009++@100 for 97 with 4557 remaining (b = 0.01)
3304.29/466.57	c INFO: running FH@0 for 291 with 4534 remaining (b = 0.03)
3762.17/532.24	c INFO: running gnovelty+2@0 for 97 with 4468 remaining (b = 0.01)
3842.96/543.81	c INFO: running hybridGM3@390 for 97 with 4456 remaining (b = 0.01)
3905.64/552.88	c INFO: running iPAWS@0 for 97 with 4447 remaining (b = 0.01)
3960.09/560.17	c INFO: running adaptg2wsat2009++@296 for 291 with 4440 remaining (b = 0.02)
4217.45/597.10	c INFO: running hybridGM3@0 for 194 with 4403 remaining (b = 0.02)
4500.61/636.78	c INFO: running hybridGM3@0 for 194 with 4363 remaining (b = 0.01)
4685.68/663.39	c INFO: running TNM@0 for 1552 with 4337 remaining (b = 0.11)
4700.26/665.42	c INFO: running FH@99 for 291 with 4335 remaining (b = 0.02)
5736.00/812.06	c INFO: running hybridGM3@101 for 97 with 4188 remaining (b = 0.01)
5852.83/828.87	c INFO: running iPAWS@0 for 97 with 4171 remaining (b = 0.01)
6146.14/869.75	c INFO: running hybridGM3@100 for 97 with 4130 remaining (b = 0.01)
6385.88/903.47	c INFO: running adaptg2wsat2009++@495 for 97 with 4097 remaining (b = 0.01)
6455.93/913.47	c INFO: running hybridGM3@390 for 97 with 4087 remaining (b = 0.01)
6655.31/941.33	c INFO: running adaptg2wsat2009++@99 for 97 with 4059 remaining (b = 0.01)
6863.61/970.18	c INFO: running hybridGM3@396 for 97 with 4030 remaining (b = 0.01)
7125.76/1007.88	c INFO: running FH@0 for 97 with 3992 remaining (b = 0.01)
7139.10/1009.70	c INFO: running FH@295 for 97 with 3991 remaining (b = 0.01)
7190.74/1016.92	c INFO: running NCVWr@0 for 485 with 3983 remaining (b = 0.03)
7510.25/1062.83	c INFO: running adaptg2wsat2009++@99 for 97 with 3937 remaining (b = 0.01)
7846.58/1111.12	c INFO: running iPAWS@0 for 97 with 3889 remaining (b = 0.01)
7857.71/1112.78	c INFO: running gnovelty+2@0 for 97 with 3887 remaining (b = 0.01)
7910.56/1120.35	c INFO: running FH@290 for 194 with 3880 remaining (b = 0.01)
8229.85/1166.27	c INFO: running hybridGM3@0 for 194 with 3834 remaining (b = 0.01)
8685.45/1231.37	c INFO: running hybridGM3@0 for 194 with 3769 remaining (b = 0.01)
8715.36/1235.63	c INFO: running TNM@0 for 1552 with 3765 remaining (b = 0.08)

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3385372-1305565963/watcher-3385372-1305565963 -o /tmp/evaluation-result-3385372-1305565963/solver-3385372-1305565963 -C 40000 -W 5100 -M 31000 python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3385372-1305565963.cnf -seed 394335940 -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.43 8.14 5.49 3/426 15886
/proc/meminfo: memFree=14757036/32951124 swapFree=67111348/67111528
[pid=15886] ppid=15884 vsize=15776 CPUtime=0 cores=0-7
/proc/15886/stat : 15886 (python) R 15884 15886 15650 0 -1 4202496 927 0 0 0 0 0 0 0 20 0 1 0 649012450 16154624 807 33554432000 4194304 5683644 140733310332128 18446744073709551615 255118582928 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/15886/statm: 3944 807 356 364 0 431 0

[startup+0.081495 s]
/proc/loadavg: 8.43 8.14 5.49 3/426 15886
/proc/meminfo: memFree=14757036/32951124 swapFree=67111348/67111528
[pid=15886] ppid=15884 vsize=50016 CPUtime=0.05 cores=0-7
/proc/15886/stat : 15886 (python) S 15884 15886 15650 0 -1 4202496 1976 0 0 0 4 1 0 0 20 0 1 0 649012450 51216384 1738 33554432000 4194304 5683644 140733310332128 18446744073709551615 255106766848 0 2147483391 16781312 2 18446744071699199166 0 0 17 4 0 0 0
/proc/15886/statm: 12504 1738 480 364 0 1204 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 50016

[startup+0.100495 s]
/proc/loadavg: 8.43 8.14 5.49 3/426 15886
/proc/meminfo: memFree=14757036/32951124 swapFree=67111348/67111528
[pid=15886] ppid=15884 vsize=89772 CPUtime=0.06 cores=0-7
/proc/15886/stat : 15886 (python) R 15884 15886 15650 0 -1 4202496 2641 0 0 0 5 1 0 0 17 0 1 0 649012450 91926528 2357 33554432000 4194304 5683644 140733310332128 18446744073709551615 255101795771 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/15886/statm: 22443 2360 721 364 0 1623 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 89772

[startup+0.300446 s]
/proc/loadavg: 8.43 8.14 5.49 3/426 15886
/proc/meminfo: memFree=14757036/32951124 swapFree=67111348/67111528
[pid=15886] ppid=15884 vsize=135752 CPUtime=0.18 cores=0-7
/proc/15886/stat : 15886 (python) R 15884 15886 15650 0 -1 4202496 5966 937 1 0 13 5 0 0 17 0 1 0 649012450 139010048 4152 33554432000 4194304 5683644 140733310332128 18446744073709551615 4620076 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/15886/statm: 33938 4152 1032 364 0 3124 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 135752

[startup+0.700384 s]
/proc/loadavg: 8.43 8.14 5.49 3/426 15886
/proc/meminfo: memFree=14757036/32951124 swapFree=67111348/67111528
[pid=15886] ppid=15884 vsize=280160 CPUtime=0.43 cores=0-7
/proc/15886/stat : 15886 (python) R 15884 15886 15650 0 -1 4202496 9678 937 1 0 33 10 0 0 16 0 1 0 649012450 286883840 7357 33554432000 4194304 5683644 140733310332128 18446744073709551615 4602336 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/15886/statm: 70040 7358 1761 364 0 5964 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 280160

[startup+1.50023 s]
/proc/loadavg: 8.43 8.14 5.49 3/427 15891
/proc/meminfo: memFree=14722308/32951124 swapFree=67111348/67111528
[pid=15886] ppid=15884 vsize=290800 CPUtime=1.23 cores=0-7
/proc/15886/stat : 15886 (python) R 15884 15886 15650 0 -1 4202496 14012 937 1 0 112 11 0 0 17 0 1 0 649012450 297779200 10085 33554432000 4194304 5683644 140733310332128 18446744073709551615 255106424056 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/15886/statm: 72700 10085 1826 364 0 8624 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 290800

[startup+3.10091 s]
/proc/loadavg: 7.91 8.04 5.47 3/427 15891
/proc/meminfo: memFree=14721564/32951124 swapFree=67111348/67111528
[pid=15886] ppid=15884 vsize=366840 CPUtime=2.56 cores=0-7
/proc/15886/stat : 15886 (python) S 15884 15886 15650 0 -1 4202496 20491 937 1 0 243 13 0 0 25 0 9 0 649012450 375644160 8677 33554432000 4194304 5683644 140733310332128 18446744073709551615 255118595531 0 0 16781312 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15886/statm: 91710 8677 1891 364 0 27607 0
Current children cumulated CPU time (s) 2.56
Current children cumulated vsize (KiB) 366840

[startup+6.30135 s]
/proc/loadavg: 7.91 8.04 5.47 10/451 15916
/proc/meminfo: memFree=14640384/32951124 swapFree=67111348/67111528
[pid=15886] ppid=15884 vsize=366840 CPUtime=2.56 cores=0-7
/proc/15886/stat : 15886 (python) S 15884 15886 15650 0 -1 4202496 20491 937 1 0 243 13 0 0 25 0 9 0 649012450 375644160 8677 33554432000 4194304 5683644 140733310332128 18446744073709551615 255118595531 0 0 16781312 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15886/statm: 91710 8677 1891 364 0 27607 0
[pid=15892] ppid=15886 vsize=284984 CPUtime=0 cores=0-7
/proc/15892/stat : 15892 (python) S 15886 15886 15650 0 -1 4202560 739 0 0 0 0 0 0 0 18 0 1 0 649012712 291823616 6899 33554432000 4194304 5683644 140733310332128 18446744073709551615 255106788879 0 0 16781312 514 5582888766705467652 0 0 17 4 0 0 0
/proc/15892/statm: 71246 6899 355 364 0 7164 0
[pid=15894] ppid=15892 vsize=1020308 CPUtime=3.68 cores=0-7
/proc/15894/stat : 15894 (gnovelty+2) R 15892 15894 15894 0 -1 4202496 1156 0 0 0 368 0 0 0 25 0 1 0 649012712 1044795392 891 33554432000 134512640 135663704 4291317280 18446744073709551615 134546768 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/15894/statm: 255077 891 113 282 0 254793 0
[pid=15895] ppid=15886 vsize=295004 CPUtime=0 cores=0-7
/proc/15895/stat : 15895 (python) S 15886 15886 15650 0 -1 4202560 735 0 0 0 0 0 0 0 18 0 1 0 649012715 302084096 7032 33554432000 4194304 5683644 140733310332128 18446744073709551615 255106788934 0 0 16781312 514 1461048922347634946 0 0 17 6 0 0 0
/proc/15895/statm: 73751 7032 349 364 0 9666 0
[pid=15897] ppid=15895 vsize=1020308 CPUtime=3.64 cores=0-7
/proc/15897/stat : 15897 (gnovelty+2) R 15895 15897 15897 0 -1 4202496 1156 0 0 0 364 0 0 0 25 0 1 0 649012715 1044795392 892 33554432000 134512640 135663704 4291129712 18446744073709551615 134545622 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/15897/statm: 255077 892 113 282 0 254793 0
[pid=15898] ppid=15886 vsize=305328 CPUtime=0 cores=0-7
/proc/15898/stat : 15898 (python) S 15886 15886 15650 0 -1 4202560 735 0 0 0 0 0 0 0 18 0 1 0 649012718 312655872 7036 33554432000 4194304 5683644 140733310332128 18446744073709551615 255106788934 0 0 16781312 514 18226789800524873986 0 0 17 0 0 0 0
/proc/15898/statm: 76332 7036 349 364 0 12244 0
[pid=15900] ppid=15898 vsize=423400 CPUtime=3.61 cores=0-7
/proc/15900/stat : 15900 (adaptg2wsat2009) R 15898 15900 15900 0 -1 4202496 2630 0 0 0 361 0 0 0 25 0 1 0 649012719 433561600 2359 33554432000 134512640 135107411 4290826560 18446744073709551615 134532408 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/15900/statm: 105850 2359 59 146 0 104726 0
[pid=15901] ppid=15886 vsize=315448 CPUtime=0 cores=0-7
/proc/15901/stat : 15901 (python) S 15886 15886 15650 0 -1 4202560 739 0 0 0 0 0 0 0 18 0 1 0 649012722 323018752 7040 33554432000 4194304 5683644 140733310332128 18446744073709551615 255106788934 0 0 16781312 514 1209731075685712131 0 0 17 3 0 0 0
/proc/15901/statm: 78862 7040 349 364 0 14771 0
[pid=15903] ppid=15901 vsize=423400 CPUtime=3.52 cores=0-7
/proc/15903/stat : 15903 (adaptg2wsat2009) R 15901 15903 15903 0 -1 4202496 2623 0 0 0 352 0 0 0 25 0 1 0 649012722 433561600 2357 33554432000 134512640 135107411 4289584320 18446744073709551615 134532156 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/15903/statm: 105850 2357 59 146 0 104726 0
[pid=15904] ppid=15886 vsize=326312 CPUtime=0 cores=0-7
/proc/15904/stat : 15904 (python) S 15886 15886 15650 0 -1 4202560 752 0 0 0 0 0 0 0 18 0 1 0 649012725 334143488 7044 33554432000 4194304 5683644 140733310332128 18446744073709551615 255106788934 0 0 16781312 514 1209727227395014915 0 0 17 2 0 0 0
/proc/15904/statm: 81578 7044 349 364 0 17484 0
[pid=15906] ppid=15904 vsize=423400 CPUtime=3.54 cores=0-7
/proc/15906/stat : 15906 (adaptg2wsat2009) R 15904 15906 15906 0 -1 4202496 2626 0 0 0 354 0 0 0 25 0 1 0 649012725 433561600 2358 33554432000 134512640 135107411 4292120608 18446744073709551615 134531613 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/15906/statm: 105850 2358 59 146 0 104726 0
[pid=15907] ppid=15886 vsize=336084 CPUtime=0 cores=0-7
/proc/15907/stat : 15907 (python) S 15886 15886 15650 0 -1 4202560 752 0 0 0 0 0 0 0 18 0 1 0 649012728 344150016 7122 33554432000 4194304 5683644 140733310332128 18446744073709551615 255106788934 0 0 16781312 514 4464803089001447683 0 0 17 0 0 0 0
/proc/15907/statm: 84021 7122 347 364 0 19924 0
[pid=15909] ppid=15907 vsize=1020308 CPUtime=3.51 cores=0-7
/proc/15909/stat : 15909 (gnovelty+2) R 15907 15909 15909 0 -1 4202496 1156 0 0 0 351 0 0 0 25 0 1 0 649012729 1044795392 892 33554432000 134512640 135663704 4286679376 18446744073709551615 134544196 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/15909/statm: 255077 892 113 282 0 254793 0
[pid=15911] ppid=15886 vsize=346340 CPUtime=0 cores=0-7
/proc/15911/stat : 15911 (python) S 15886 15886 15650 0 -1 4202560 760 0 0 0 0 0 0 0 18 0 1 0 649012732 354652160 7126 33554432000 4194304 5683644 140733310332128 18446744073709551615 255106788934 0 0 16781312 514 1209734923976409346 0 0 17 2 0 0 0
/proc/15911/statm: 86585 7126 347 364 0 22485 0
[pid=15913] ppid=15911 vsize=253036 CPUtime=1.64 cores=0-7
/proc/15913/stat : 15913 (FH) R 15911 15913 15913 0 -1 4202496 2501 0 0 0 164 0 0 0 25 0 1 0 649012734 259108864 2234 33554432000 134512640 134936988 4287347216 18446744073709551615 134552486 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/15913/statm: 63259 2234 41 104 0 62763 0
[pid=15914] ppid=15886 vsize=356744 CPUtime=0 cores=0-7
/proc/15914/stat : 15914 (python) S 15886 15886 15650 0 -1 4202560 803 0 0 0 0 0 0 0 18 0 1 0 649012735 365305856 7138 33554432000 4194304 5683644 140733310332128 18446744073709551615 255106788934 0 0 16781312 514 1461060467219726593 0 0 17 2 0 0 0
/proc/15914/statm: 89186 7138 355 364 0 25083 0
[pid=15916] ppid=15914 vsize=423400 CPUtime=3.44 cores=0-7
/proc/15916/stat : 15916 (adaptg2wsat2009) R 15914 15916 15916 0 -1 4202496 2632 0 0 0 343 1 0 0 25 0 1 0 649012735 433561600 2358 33554432000 134512640 135107411 4287832048 18446744073709551615 134531561 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/15916/statm: 105850 2358 59 146 0 104726 0
[pid=15886/tid=15893] ppid=15884 vsize=366840 CPUtime=0 cores=0-7
/proc/15886/task/15893/stat : 15893 (python) S 15884 15886 15650 0 -1 4202560 27 937 0 0 0 0 0 0 20 0 9 0 649012712 375644160 8677 33554432000 4194304 5683644 140733310332128 18446744073709551615 255118592433 0 0 16781312 2 18446604452861482048 0 0 -1 0 0 0 0
[pid=15886/tid=15896] ppid=15884 vsize=366840 CPUtime=0 cores=0-7
/proc/15886/task/15896/stat : 15896 (python) S 15884 15886 15650 0 -1 4202560 21 937 0 0 0 0 0 0 18 0 9 0 649012715 375644160 8677 33554432000 4194304 5683644 140733310332128 18446744073709551615 255118592433 0 0 16781312 2 18446604452861482048 0 0 -1 4 0 0 0
[pid=15886/tid=15899] ppid=15884 vsize=366840 CPUtime=0 cores=0-7
/proc/15886/task/15899/stat : 15899 (python) S 15884 15886 15650 0 -1 4202560 24 937 0 0 0 0 0 0 20 0 9 0 649012719 375644160 8677 33554432000 4194304 5683644 140733310332128 18446744073709551615 255118592433 0 0 16781312 2 18446604452861482048 0 0 -1 2 0 0 0
[pid=15886/tid=15902] ppid=15884 vsize=366840 CPUtime=0 cores=0-7
/proc/15886/task/15902/stat : 15902 (python) S 15884 15886 15650 0 -1 4202560 25 937 0 0 0 0 0 0 21 0 9 0 649012722 375644160 8677 33554432000 4194304 5683644 140733310332128 18446744073709551615 255118592433 0 0 16781312 2 18446604452861482048 0 0 -1 0 0 0 0
[pid=15886/tid=15905] ppid=15884 vsize=366840 CPUtime=0 cores=0-7
/proc/15886/task/15905/stat : 15905 (python) S 15884 15886 15650 0 -1 4202560 22 937 0 0 0 0 0 0 23 0 9 0 649012725 375644160 8677 33554432000 4194304 5683644 140733310332128 18446744073709551615 255118592433 0 0 16781312 2 18446604452861482048 0 0 -1 0 0 0 0
[pid=15886/tid=15908] ppid=15884 vsize=366840 CPUtime=0 cores=0-7
/proc/15886/task/15908/stat : 15908 (python) S 15884 15886 15650 0 -1 4202560 23 937 0 0 0 0 0 0 25 0 9 0 649012728 375644160 8677 33554432000 4194304 5683644 140733310332128 18446744073709551615 255118592433 0 0 16781312 2 18446604452861482048 0 0 -1 2 0 0 0
[pid=15886/tid=15912] ppid=15884 vsize=366840 CPUtime=0 cores=0-7
/proc/15886/task/15912/stat : 15912 (python) S 15884 15886 15650 0 -1 4202560 25 937 0 0 0 0 0 0 25 0 9 0 649012732 375644160 8677 33554432000 4194304 5683644 140733310332128 18446744073709551615 255118592433 0 0 16781312 2 18446604452861482048 0 0 -1 2 0 0 0
[pid=15886/tid=15915] ppid=15884 vsize=366840 CPUtime=0 cores=0-7
/proc/15886/task/15915/stat : 15915 (python) S 15884 15886 15650 0 -1 4202560 27 937 0 0 0 0 0 0 25 0 9 0 649012735 375644160 8677 33554432000 4194304 5683644 140733310332128 18446744073709551615 255118592433 0 0 16781312 2 18446604452861482048 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 29.14
Current children cumulated vsize (KiB) 7940644

[startup+12.7012 s]
/proc/loadavg: 8.08 8.07 5.50 10/451 15916
/proc/meminfo: memFree=14638812/32951124 swapFree=67111348/67111528
[pid=15886] ppid=15884 vsize=366840 CPUtime=2.56 cores=0-7
/proc/15886/stat : 15886 (python) S 15884 15886 15650 0 -1 4202496 20491 937 1 0 243 13 0 0 25 0 9 0 649012450 375644160 8677 33554432000 4194304 5683644 140733310332128 18446744073709551615 255118595531 0 0 16781312 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15886/statm: 91710 8677 1891 364 0 27607 0
[pid=15892] ppid=15886 vsize=284984 CPUtime=0.03 cores=0-7
/proc/15892/stat : 15892 (python) R 15886 15886 15650 0 -1 4202560 910 0 0 0 1 2 0 0 18 0 1 0 649012712 291823616 6922 33554432000 4194304 5683644 140733310332128 18446744073709551615 255106766848 0 0 16781312 514 0 0 0 17 4 0 0 0
/proc/15892/statm: 71247 6922 378 364 0 7165 0
[pid=15894] ppid=15892 vsize=1020308 CPUtime=7.08 cores=0-7
/proc/15894/stat : 15894 (gnovelty+2) R 15892 15894 15894 0 -1 4202496 1156 0 0 0 708 0 0 0 25 0 1 0 649012712 1044795392 891 33554432000 134512640 135663704 4291317280 18446744073709551615 134544218 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/15894/statm: 255077 891 113 282 0 254793 0
[pid=15895] ppid=15886 vsize=295004 CPUtime=0.01 cores=0-7
/proc/15895/stat : 15895 (python) S 15886 15886 15650 0 -1 4202560 908 0 0 0 1 0 0 0 18 0 1 0 649012715 302084096 7055 33554432000 4194304 5683644 140733310332128 18446744073709551615 255106788934 0 0 16781312 514 1461048922347634946 0 0 17 6 0 0 0
/proc/15895/statm: 73751 7055 372 364 0 9666 0
[pid=15897] ppid=15895 vsize=1020308 CPUtime=10.01 cores=0-7
/proc/15897/stat : 15897 (gnovelty+2) R 15895 15897 15897 0 -1 4202496 1156 0 0 0 1001 0 0 0 25 0 1 0 649012715 1044795392 892 33554432000 134512640 135663704 4291129712 18446744073709551615 134525678 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/15897/statm: 255077 892 113 282 0 254793 0
[pid=15898] ppid=15886 vsize=305328 CPUtime=0.02 cores=0-7
/proc/15898/stat : 15898 (python) S 15886 15886 15650 0 -1 4202560 917 0 0 0 1 1 0 0 18 0 1 0 649012718 312655872 7059 33554432000 4194304 5683644 140733310332128 18446744073709551615 255106788934 0 0 16781312 514 18226789800524873986 0 0 17 0 0 0 0
/proc/15898/statm: 76332 7059 372 364 0 12244 0
[pid=15900] ppid=15898 vsize=423400 CPUtime=9.99 cores=0-7
/proc/15900/stat : 15900 (adaptg2wsat2009) R 15898 15900 15900 0 -1 4202496 2630 0 0 0 999 0 0 0 25 0 1 0 649012719 433561600 2359 33554432000 134512640 135107411 4290826560 18446744073709551615 134532191 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/15900/statm: 105850 2359 59 146 0 104726 0
[pid=15901] ppid=15886 vsize=315448 CPUtime=0.02 cores=0-7
/proc/15901/stat : 15901 (python) S 15886 15886 15650 0 -1 4202560 931 0 0 0 1 1 0 0 18 0 1 0 649012722 323018752 7063 33554432000 4194304 5683644 140733310332128 18446744073709551615 255106788934 0 0 16781312 514 1209731075685712131 0 0 17 3 0 0 0
/proc/15901/statm: 78862 7063 372 364 0 14771 0
[pid=15903] ppid=15901 vsize=423400 CPUtime=9.82 cores=0-7
/proc/15903/stat : 15903 (adaptg2wsat2009) R 15901 15903 15903 0 -1 4202496 2623 0 0 0 982 0 0 0 25 0 1 0 649012722 433561600 2357 33554432000 134512640 135107411 4289584320 18446744073709551615 134531600 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/15903/statm: 105850 2357 59 146 0 104726 0
[pid=15904] ppid=15886 vsize=326312 CPUtime=0.01 cores=0-7
/proc/15904/stat : 15904 (python) S 15886 15886 15650 0 -1 4202560 936 0 0 0 0 1 0 0 18 0 1 0 649012725 334143488 7067 33554432000 4194304 5683644 140733310332128 18446744073709551615 255106788934 0 0 16781312 514 1209727227395014915 0 0 17 2 0 0 0
/proc/15904/statm: 81578 7067 372 364 0 17484 0
[pid=15906] ppid=15904 vsize=423400 CPUtime=9.92 cores=0-7
/proc/15906/stat : 15906 (adaptg2wsat2009) R 15904 15906 15906 0 -1 4202496 2626 0 0 0 992 0 0 0 25 0 1 0 649012725 433561600 2358 33554432000 134512640 135107411 4292120608 18446744073709551615 134532313 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/15906/statm: 105850 2358 59 146 0 104726 0
[pid=15907] ppid=15886 vsize=336084 CPUtime=0.01 cores=0-7
/proc/15907/stat : 15907 (python) S 15886 15886 15650 0 -1 4202560 942 0 0 0 1 0 0 0 18 0 1 0 649012728 344150016 7145 33554432000 4194304 5683644 140733310332128 18446744073709551615 255106788934 0 0 16781312 514 4464803089001447683 0 0 17 0 0 0 0
/proc/15907/statm: 84021 7145 370 364 0 19924 0
[pid=15909] ppid=15907 vsize=1020308 CPUtime=9.91 cores=0-7
/proc/15909/stat : 15909 (gnovelty+2) R 15907 15909 15909 0 -1 4202496 1156 0 0 0 991 0 0 0 25 0 1 0 649012729 1044795392 892 33554432000 134512640 135663704 4286679376 18446744073709551615 134525271 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/15909/statm: 255077 892 113 282 0 254793 0
[pid=15911] ppid=15886 vsize=346340 CPUtime=0.01 cores=0-7
/proc/15911/stat : 15911 (python) S 15886 15886 15650 0 -1 4202560 954 0 0 0 0 1 0 0 18 0 1 0 649012732 354652160 7149 33554432000 4194304 5683644 140733310332128 18446744073709551615 255106788934 0 0 16781312 514 1209734923976409346 0 0 17 2 0 0 0
/proc/15911/statm: 86585 7149 370 364 0 22485 0

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

[pid=15990] ppid=15886 vsize=511628 CPUtime=0.4 cores=0-7
/proc/15990/stat : 15990 (python) S 15886 15886 15650 0 -1 4202560 1253 0 0 0 22 18 0 0 19 0 2 0 649067739 523907072 7428 33554432000 4194304 5683644 140733310332128 18446744073709551615 255118595531 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/15990/statm: 127907 7428 407 364 0 63759 0
[pid=15992] ppid=15990 vsize=335996 CPUtime=98.46 cores=0-7
/proc/15992/stat : 15992 (iPAWS) T 15990 15992 15992 0 -1 4202496 2058 0 0 0 9846 0 0 0 25 0 1 0 649067748 344059904 1774 33554432000 134512640 135114423 4290937168 18446744073709551615 134517054 0 0 16781312 0 18446744071562691360 0 0 17 3 0 0 0
/proc/15992/statm: 83999 1774 59 147 0 83851 0
[pid=15990/tid=16008] ppid=15886 vsize=511628 CPUtime=0 cores=0-7
/proc/15990/task/16008/stat : 16008 (python) S 15886 15886 15650 0 -1 4202560 49 0 0 0 0 0 0 0 19 0 2 0 649078987 523907072 7428 33554432000 4194304 5683644 140733310332128 18446744073709551615 255118592433 0 0 16781312 514 18446604444848674048 0 0 -1 1 0 0 0
[pid=15996] ppid=15886 vsize=586928 CPUtime=1.51 cores=0-7
/proc/15996/stat : 15996 (python) S 15886 15886 15650 0 -1 4202560 1318 0 0 0 82 69 0 0 18 0 2 0 649072161 601014272 7730 33554432000 4194304 5683644 140733310332128 18446744073709551615 255118595531 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/15996/statm: 146732 7730 407 364 0 82581 0
[pid=15998] ppid=15996 vsize=268424 CPUtime=389.52 cores=0-7
/proc/15998/stat : 15998 (hybridGM3) T 15996 15998 15998 0 -1 4202496 6204 0 0 0 38951 1 0 0 25 0 1 0 649072161 274866176 5921 33554432000 134512640 135204385 4288201296 18446744073709551615 134537726 0 0 16781312 0 18446744071562691360 0 0 17 3 0 0 0
/proc/15998/statm: 67106 5921 63 169 0 66936 0
[pid=15996/tid=16016] ppid=15886 vsize=586928 CPUtime=0 cores=0-7
/proc/15996/task/16016/stat : 16016 (python) S 15886 15886 15650 0 -1 4202560 223 0 0 0 0 0 0 0 18 0 2 0 649093650 601014272 7730 33554432000 4194304 5683644 140733310332128 18446744073709551615 255118592433 0 0 16781312 514 18446604460756112576 0 0 -1 1 0 0 0
[pid=16001] ppid=15886 vsize=597496 CPUtime=1.74 cores=0-7
/proc/16001/stat : 16001 (python) S 15886 15886 15650 0 -1 4202560 1289 0 0 0 88 86 0 0 18 0 2 0 649076129 611835904 7544 33554432000 4194304 5683644 140733310332128 18446744073709551615 255118595531 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/16001/statm: 149374 7544 402 364 0 85220 0
[pid=16003] ppid=16001 vsize=268420 CPUtime=393.35 cores=0-7
/proc/16003/stat : 16003 (hybridGM3) T 16001 16003 16003 0 -1 4202496 6208 0 0 0 39334 1 0 0 25 0 1 0 649076129 274862080 5919 33554432000 134512640 135204385 4288908368 18446744073709551615 134545407 0 0 16781312 0 18446744071562691360 0 0 17 7 0 0 0
/proc/16003/statm: 67105 5919 63 169 0 66935 0
[pid=16001/tid=16022] ppid=15886 vsize=597496 CPUtime=0 cores=0-7
/proc/16001/task/16022/stat : 16022 (python) S 15886 15886 15650 0 -1 4202560 55 0 0 0 0 0 0 0 18 0 2 0 649099419 611835904 7544 33554432000 4194304 5683644 140733310332128 18446744073709551615 255118592433 0 0 16781312 514 18446604460756113472 0 0 -1 1 0 0 0
[pid=16005] ppid=15886 vsize=607952 CPUtime=2.08 cores=0-7
/proc/16005/stat : 16005 (python) S 15886 15886 15650 0 -1 4202560 1120 0 0 0 108 100 0 0 18 0 1 0 649078790 622542848 7518 33554432000 4194304 5683644 140733310332128 18446744073709551615 255106788934 0 0 16781312 514 7289867645271113990 0 0 17 6 0 0 0
/proc/16005/statm: 151988 7518 373 364 0 87831 0
[pid=16007] ppid=16005 vsize=461508 CPUtime=507.08 cores=0-7
/proc/16007/stat : 16007 (TNM) R 16005 16007 16007 0 -1 4202496 2482 0 0 0 50707 1 0 0 25 0 1 0 649078790 472584192 2195 33554432000 134512640 135008748 4287462240 18446744073709551615 134527773 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/16007/statm: 115377 2195 46 122 0 114277 0
[pid=16018] ppid=15886 vsize=618216 CPUtime=0.41 cores=0-7
/proc/16018/stat : 16018 (python) S 15886 15886 15650 0 -1 4202560 1260 0 0 0 20 21 0 0 19 0 2 0 649095338 633053184 7558 33554432000 4194304 5683644 140733310332128 18446744073709551615 255118595531 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/16018/statm: 154554 7558 401 364 0 90394 0
[pid=16020] ppid=16018 vsize=335996 CPUtime=97.82 cores=0-7
/proc/16020/stat : 16020 (iPAWS) T 16018 16020 16020 0 -1 4202496 2058 0 0 0 9782 0 0 0 25 0 1 0 649095338 344059904 1773 33554432000 134512640 135114423 4289772896 18446744073709551615 134517397 0 0 16781312 0 18446744071562691360 0 0 17 7 0 0 0
/proc/16020/statm: 83999 1773 59 147 0 83851 0
[pid=16018/tid=16024] ppid=15886 vsize=618216 CPUtime=0 cores=0-7
/proc/16018/task/16024/stat : 16024 (python) S 15886 15886 15650 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 2 0 649106578 633053184 7558 33554432000 4194304 5683644 140733310332128 18446744073709551615 255118592433 0 0 16781312 514 18446604466681489536 0 0 -1 0 0 0 0
[pid=16027] ppid=15886 vsize=628488 CPUtime=0.83 cores=0-7
/proc/16027/stat : 16027 (python) S 15886 15886 15650 0 -1 4202560 1314 0 0 0 45 38 0 0 18 0 2 0 649113239 643571712 7618 33554432000 4194304 5683644 140733310332128 18446744073709551615 255106788934 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/16027/statm: 157122 7618 401 364 0 92959 0
[pid=16029] ppid=16027 vsize=253036 CPUtime=193.71 cores=0-7
/proc/16029/stat : 16029 (FH) R 16027 16029 16029 0 -1 4202496 2524 0 0 0 19371 0 0 0 25 0 1 0 649113239 259108864 2234 33554432000 134512640 134936988 4293003760 18446744073709551615 134554109 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/16029/statm: 63259 2234 41 104 0 62763 0
[pid=16027/tid=16042] ppid=15886 vsize=628488 CPUtime=0 cores=0-7
/proc/16027/task/16042/stat : 16042 (python) S 15886 15886 15650 0 -1 4202560 51 0 0 0 0 0 0 0 19 0 2 0 649124480 643571712 7618 33554432000 4194304 5683644 140733310332128 18446744073709551615 255118592433 0 0 16781312 514 18446604457158420672 0 0 -1 0 0 0 0
[pid=16031] ppid=15886 vsize=638820 CPUtime=0.78 cores=0-7
/proc/16031/stat : 16031 (python) S 15886 15886 15650 0 -1 4202560 1191 0 0 0 46 32 0 0 18 0 1 0 649114143 654151680 7603 33554432000 4194304 5683644 140733310332128 18446744073709551615 255106788934 0 0 16781312 514 7289867645271113991 0 0 17 0 0 0 0
/proc/16031/statm: 159705 7603 379 364 0 95539 0
[pid=16033] ppid=16031 vsize=423316 CPUtime=189.11 cores=0-7
/proc/16033/stat : 16033 (NCVWr) R 16031 16033 16033 0 -1 4202496 2571 0 0 0 18911 0 0 0 25 0 1 0 649114144 433475584 2267 33554432000 134512640 135113558 4288150080 18446744073709551615 134534097 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/16033/statm: 105829 2267 58 147 0 104704 0
[pid=16036] ppid=15886 vsize=649240 CPUtime=0.46 cores=0-7
/proc/16036/stat : 16036 (python) S 15886 15886 15650 0 -1 4202560 1344 0 0 0 25 21 0 0 19 0 2 0 649123563 664821760 7658 33554432000 4194304 5683644 140733310332128 18446744073709551615 255118595531 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/16036/statm: 162310 7658 408 364 0 98141 0
[pid=16038] ppid=16036 vsize=335996 CPUtime=101.43 cores=0-7
/proc/16038/stat : 16038 (iPAWS) T 16036 16038 16038 0 -1 4202496 2065 0 0 0 10142 1 0 0 25 0 1 0 649123563 344059904 1775 33554432000 134512640 135114423 4289950144 18446744073709551615 134515584 0 0 16781312 0 18446744071562691360 0 0 17 6 0 0 0
/proc/16038/statm: 83999 1775 59 147 0 83851 0
[pid=16036/tid=16053] ppid=15886 vsize=649240 CPUtime=0 cores=0-7
/proc/16036/task/16053/stat : 16053 (python) S 15886 15886 15650 0 -1 4202560 57 0 0 0 0 0 0 0 19 0 2 0 649136008 664821760 7658 33554432000 4194304 5683644 140733310332128 18446744073709551615 255118592433 0 0 16781312 514 18446604463122860096 0 0 -1 1 0 0 0
[pid=16039] ppid=15886 vsize=659736 CPUtime=0.43 cores=0-7
/proc/16039/stat : 16039 (python) S 15886 15886 15650 0 -1 4202560 1345 0 0 0 19 24 0 0 19 0 2 0 649123729 675569664 7662 33554432000 4194304 5683644 140733310332128 18446744073709551615 255118595531 0 0 16781312 514 18446744073709551615 0 0 17 3 0 0 0
/proc/16039/statm: 164934 7662 408 364 0 100762 0
[pid=16041] ppid=16039 vsize=1020308 CPUtime=101.58 cores=0-7
/proc/16041/stat : 16041 (gnovelty+2) T 16039 16041 16041 0 -1 4202496 1182 0 0 0 10158 0 0 0 25 0 1 0 649123729 1044795392 892 33554432000 134512640 135663704 4292014576 18446744073709551615 134545631 0 0 16781312 0 18446744071562691360 0 0 17 0 0 0 0
/proc/16041/statm: 255077 892 113 282 0 254793 0
[pid=16039/tid=16049] ppid=15886 vsize=659736 CPUtime=0 cores=0-7
/proc/16039/task/16049/stat : 16049 (python) S 15886 15886 15650 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 2 0 649135581 675569664 7662 33554432000 4194304 5683644 140733310332128 18446744073709551615 255118592433 0 0 16781312 514 18446604463122859200 0 0 -1 0 0 0 0
[pid=16044] ppid=15886 vsize=669780 CPUtime=0.23 cores=0-7
/proc/16044/stat : 16044 (python) S 15886 15886 15650 0 -1 4202560 1185 0 0 0 13 10 0 0 18 0 1 0 649129078 685854720 7680 33554432000 4194304 5683644 140733310332128 18446744073709551615 255106788934 0 0 16781312 514 7289867645271113988 0 0 17 2 0 0 0
/proc/16044/statm: 167445 7680 380 364 0 103270 0
[pid=16046] ppid=16044 vsize=268424 CPUtime=67.71 cores=0-7
/proc/16046/stat : 16046 (hybridGM3) R 16044 16046 16046 0 -1 4202496 6214 0 0 0 6771 0 0 0 25 0 1 0 649129078 274866176 5920 33554432000 134512640 135204385 4290103168 18446744073709551615 134538435 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/16046/statm: 67106 5920 63 169 0 66936 0
[pid=16050] ppid=15886 vsize=680044 CPUtime=0.01 cores=0-7
/proc/16050/stat : 16050 (python) S 15886 15886 15650 0 -1 4202560 1169 0 0 0 1 0 0 0 18 0 1 0 649135588 696365056 7684 33554432000 4194304 5683644 140733310332128 18446744073709551615 255106788934 0 0 16781312 514 52020373306179846 0 0 17 0 0 0 0
/proc/16050/statm: 170011 7684 380 364 0 105833 0
[pid=16052] ppid=16050 vsize=268420 CPUtime=4.4 cores=0-7
/proc/16052/stat : 16052 (hybridGM3) R 16050 16052 16052 0 -1 4202496 6213 0 0 0 440 0 0 0 25 0 1 0 649135588 274862080 5919 33554432000 134512640 135204385 4287347504 18446744073709551615 134538284 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/16052/statm: 67105 5919 63 169 0 66935 0
[pid=16054] ppid=15886 vsize=690564 CPUtime=0 cores=0-7
/proc/16054/stat : 16054 (python) S 15886 15886 15650 0 -1 4202560 947 0 0 0 0 0 0 0 19 0 1 0 649136014 707137536 7655 33554432000 4194304 5683644 140733310332128 18446744073709551615 255106788934 0 0 16781312 514 52024221596909567 0 0 17 0 0 0 0
/proc/16054/statm: 172641 7655 347 364 0 108460 0
[pid=16056] ppid=16054 vsize=454748 CPUtime=0.33 cores=0-7
/proc/16056/stat : 16056 (TNM) R 16054 16056 16056 0 -1 4202496 1516 0 0 0 33 0 0 0 21 0 1 0 649136015 465661952 1223 33554432000 134512640 135008748 4294516016 18446744073709551615 134523307 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/16056/statm: 113687 1223 45 122 0 112587 0
[pid=15886/tid=15893] ppid=15884 vsize=700264 CPUtime=0 cores=0-7
/proc/15886/task/15893/stat : 15893 (python) S 15884 15886 15650 0 -1 4202560 27 937 0 0 0 0 0 0 20 0 35 0 649012712 717070336 9255 33554432000 4194304 5683644 140733310332128 18446744073709551615 255118592433 0 0 16781312 2 18446604452861482048 0 0 -1 0 0 0 0
[pid=15886/tid=15896] ppid=15884 vsize=700264 CPUtime=0 cores=0-7
/proc/15886/task/15896/stat : 15896 (python) S 15884 15886 15650 0 -1 4202560 21 937 0 0 0 0 0 0 18 0 35 0 649012715 717070336 9255 33554432000 4194304 5683644 140733310332128 18446744073709551615 255118592433 0 0 16781312 2 18446604452861482048 0 0 -1 4 0 0 0
[pid=15886/tid=15899] ppid=15884 vsize=700264 CPUtime=0 cores=0-7
/proc/15886/task/15899/stat : 15899 (python) S 15884 15886 15650 0 -1 4202560 32 937 0 0 0 0 0 0 18 0 35 0 649012719 717070336 9255 33554432000 4194304 5683644 140733310332128 18446744073709551615 255118592433 0 0 16781312 2 18446604452861482048 0 0 -1 2 0 0 0
[pid=15886/tid=15902] ppid=15884 vsize=700264 CPUtime=0 cores=0-7
/proc/15886/task/15902/stat : 15902 (python) S 15884 15886 15650 0 -1 4202560 31 937 0 0 0 0 0 0 18 0 35 0 649012722 717070336 9255 33554432000 4194304 5683644 140733310332128 18446744073709551615 255118592433 0 0 16781312 2 18446604452861482048 0 0 -1 0 0 0 0
[pid=15886/tid=15905] ppid=15884 vsize=700264 CPUtime=0 cores=0-7
/proc/15886/task/15905/stat : 15905 (python) S 15884 15886 15650 0 -1 4202560 26 937 0 0 0 0 0 0 18 0 35 0 649012725 717070336 9255 33554432000 4194304 5683644 140733310332128 18446744073709551615 255118592433 0 0 16781312 2 18446604452861482048 0 0 -1 0 0 0 0
[pid=15886/tid=15908] ppid=15884 vsize=700264 CPUtime=0 cores=0-7
/proc/15886/task/15908/stat : 15908 (python) S 15884 15886 15650 0 -1 4202560 23 937 0 0 0 0 0 0 25 0 35 0 649012728 717070336 9255 33554432000 4194304 5683644 140733310332128 18446744073709551615 255118592433 0 0 16781312 2 18446604452861482048 0 0 -1 2 0 0 0
[pid=15886/tid=15912] ppid=15884 vsize=700264 CPUtime=0 cores=0-7
/proc/15886/task/15912/stat : 15912 (python) S 15884 15886 15650 0 -1 4202560 28 937 0 0 0 0 0 0 18 0 35 0 649012732 717070336 9255 33554432000 4194304 5683644 140733310332128 18446744073709551615 255118592433 0 0 16781312 2 18446604452861482048 0 0 -1 2 0 0 0
[pid=15886/tid=15915] ppid=15884 vsize=700264 CPUtime=0 cores=0-7
/proc/15886/task/15915/stat : 15915 (python) S 15884 15886 15650 0 -1 4202560 39 937 0 0 0 0 0 0 18 0 35 0 649012735 717070336 9255 33554432000 4194304 5683644 140733310332128 18446744073709551615 255118592433 0 0 16781312 2 18446604452861482048 0 0 -1 3 0 0 0
[pid=15886/tid=15922] ppid=15884 vsize=700264 CPUtime=0 cores=0-7
/proc/15886/task/15922/stat : 15922 (python) S 15884 15886 15650 0 -1 4202560 31 937 0 0 0 0 0 0 18 0 35 0 649022754 717070336 9255 33554432000 4194304 5683644 140733310332128 18446744073709551615 255118592433 0 0 16781312 2 18446604452861482048 0 0 -1 2 0 0 0
[pid=15886/tid=15926] ppid=15884 vsize=700264 CPUtime=0 cores=0-7
/proc/15886/task/15926/stat : 15926 (python) S 15884 15886 15650 0 -1 4202560 34 937 0 0 0 0 0 0 18 0 35 0 649022760 717070336 9255 33554432000 4194304 5683644 140733310332128 18446744073709551615 255118592433 0 0 16781312 2 18446604452861482048 0 0 -1 3 0 0 0
[pid=15886/tid=15929] ppid=15884 vsize=700264 CPUtime=0 cores=0-7
/proc/15886/task/15929/stat : 15929 (python) S 15884 15886 15650 0 -1 4202560 34 937 0 0 0 0 0 0 18 0 35 0 649022764 717070336 9255 33554432000 4194304 5683644 140733310332128 18446744073709551615 255118592433 0 0 16781312 2 18446604452861482048 0 0 -1 3 0 0 0
[pid=15886/tid=15934] ppid=15884 vsize=700264 CPUtime=0 cores=0-7
/proc/15886/task/15934/stat : 15934 (python) S 15884 15886 15650 0 -1 4202560 35 937 0 0 0 0 0 0 22 0 35 0 649022773 717070336 9255 33554432000 4194304 5683644 140733310332128 18446744073709551615 255118592433 0 0 16781312 2 18446604452861482048 0 0 -1 6 0 0 0
[pid=15886/tid=15936] ppid=15884 vsize=700264 CPUtime=0 cores=0-7
/proc/15886/task/15936/stat : 15936 (python) S 15884 15886 15650 0 -1 4202560 28 937 0 0 0 0 0 0 18 0 35 0 649022777 717070336 9255 33554432000 4194304 5683644 140733310332128 18446744073709551615 255118592433 0 0 16781312 2 18446604452861482048 0 0 -1 3 0 0 0
[pid=15886/tid=15941] ppid=15884 vsize=700264 CPUtime=0 cores=0-7
/proc/15886/task/15941/stat : 15941 (python) S 15884 15886 15650 0 -1 4202560 37 937 0 0 0 0 0 0 18 0 35 0 649023257 717070336 9255 33554432000 4194304 5683644 140733310332128 18446744073709551615 255118592433 0 0 16781312 2 18446604452861482048 0 0 -1 6 0 0 0
[pid=15886/tid=15945] ppid=15884 vsize=700264 CPUtime=0 cores=0-7
/proc/15886/task/15945/stat : 15945 (python) S 15884 15886 15650 0 -1 4202560 42 937 0 0 0 0 0 0 18 0 35 0 649023987 717070336 9255 33554432000 4194304 5683644 140733310332128 18446744073709551615 255118592433 0 0 16781312 2 18446604452861482048 0 0 -1 6 0 0 0
[pid=15886/tid=15950] ppid=15884 vsize=700264 CPUtime=0 cores=0-7
/proc/15886/task/15950/stat : 15950 (python) S 15884 15886 15650 0 -1 4202560 31 937 0 0 0 0 0 0 18 0 35 0 649025770 717070336 9255 33554432000 4194304 5683644 140733310332128 18446744073709551615 255118592433 0 0 16781312 2 18446604452861482048 0 0 -1 6 0 0 0
[pid=15886/tid=15956] ppid=15884 vsize=700264 CPUtime=0 cores=0-7
/proc/15886/task/15956/stat : 15956 (python) S 15884 15886 15650 0 -1 4202560 28 937 0 0 0 0 0 0 19 0 35 0 649032801 717070336 9255 33554432000 4194304 5683644 140733310332128 18446744073709551615 255118592433 0 0 16781312 2 18446604452861482048 0 0 -1 6 0 0 0
[pid=15886/tid=15960] ppid=15884 vsize=700264 CPUtime=0 cores=0-7
/proc/15886/task/15960/stat : 15960 (python) S 15884 15886 15650 0 -1 4202560 25 937 0 0 0 0 0 0 19 0 35 0 649033324 717070336 9255 33554432000 4194304 5683644 140733310332128 18446744073709551615 255118592433 0 0 16781312 2 18446604452861482048 0 0 -1 6 0 0 0
[pid=15886/tid=15970] ppid=15884 vsize=700264 CPUtime=0 cores=0-7
/proc/15886/task/15970/stat : 15970 (python) S 15884 15886 15650 0 -1 4202560 29 937 0 0 0 0 0 0 19 0 35 0 649044568 717070336 9255 33554432000 4194304 5683644 140733310332128 18446744073709551615 255118592433 0 0 16781312 2 18446604452861482048 0 0 -1 6 0 0 0
[pid=15886/tid=15976] ppid=15884 vsize=700264 CPUtime=0 cores=0-7
/proc/15886/task/15976/stat : 15976 (python) S 15884 15886 15650 0 -1 4202560 25 937 0 0 0 0 0 0 20 0 35 0 649047852 717070336 9255 33554432000 4194304 5683644 140733310332128 18446744073709551615 255118592433 0 0 16781312 2 18446604452861482048 0 0 -1 6 0 0 0
[pid=15886/tid=15982] ppid=15884 vsize=700264 CPUtime=0 cores=0-7
/proc/15886/task/15982/stat : 15982 (python) S 15884 15886 15650 0 -1 4202560 28 937 0 0 0 0 0 0 20 0 35 0 649054435 717070336 9255 33554432000 4194304 5683644 140733310332128 18446744073709551615 255118592433 0 0 16781312 2 18446604452861482048 0 0 -1 6 0 0 0
[pid=15886/tid=15988] ppid=15884 vsize=700264 CPUtime=0 cores=0-7
/proc/15886/task/15988/stat : 15988 (python) S 15884 15886 15650 0 -1 4202560 26 937 0 0 0 0 0 0 20 0 35 0 649065676 717070336 9255 33554432000 4194304 5683644 140733310332128 18446744073709551615 255118592433 0 0 16781312 2 18446604452861482048 0 0 -1 6 0 0 0
[pid=15886/tid=15991] ppid=15884 vsize=700264 CPUtime=0 cores=0-7
/proc/15886/task/15991/stat : 15991 (python) S 15884 15886 15650 0 -1 4202560 28 937 0 0 0 0 0 0 19 0 35 0 649067739 717070336 9255 33554432000 4194304 5683644 140733310332128 18446744073709551615 255118592433 0 0 16781312 2 18446604452861482048 0 0 -1 3 0 0 0
[pid=15886/tid=15997] ppid=15884 vsize=700264 CPUtime=0 cores=0-7
/proc/15886/task/15997/stat : 15997 (python) S 15884 15886 15650 0 -1 4202560 178 937 0 0 0 0 0 0 18 0 35 0 649072161 717070336 9255 33554432000 4194304 5683644 140733310332128 18446744073709551615 255118592433 0 0 16781312 2 18446604452861482048 0 0 -1 3 0 0 0
[pid=15886/tid=16002] ppid=15884 vsize=700264 CPUtime=0 cores=0-7
/proc/15886/task/16002/stat : 16002 (python) S 15884 15886 15650 0 -1 4202560 30 937 0 0 0 0 0 0 18 0 35 0 649076129 717070336 9255 33554432000 4194304 5683644 140733310332128 18446744073709551615 255118592433 0 0 16781312 2 18446604452861482048 0 0 -1 3 0 0 0
[pid=15886/tid=16006] ppid=15884 vsize=700264 CPUtime=0 cores=0-7
/proc/15886/task/16006/stat : 16006 (python) S 15884 15886 15650 0 -1 4202560 27 937 0 0 0 0 0 0 19 0 35 0 649078790 717070336 9255 33554432000 4194304 5683644 140733310332128 18446744073709551615 255118592433 0 0 16781312 2 18446604452861482048 0 0 -1 3 0 0 0
[pid=15886/tid=16019] ppid=15884 vsize=700264 CPUtime=0 cores=0-7
/proc/15886/task/16019/stat : 16019 (python) S 15884 15886 15650 0 -1 4202560 28 937 0 0 0 0 0 0 19 0 35 0 649095338 717070336 9255 33554432000 4194304 5683644 140733310332128 18446744073709551615 255118592433 0 0 16781312 2 18446604452861482048 0 0 -1 3 0 0 0
[pid=15886/tid=16028] ppid=15884 vsize=700264 CPUtime=0 cores=0-7
/proc/15886/task/16028/stat : 16028 (python) S 15884 15886 15650 0 -1 4202560 29 937 0 0 0 0 0 0 18 0 35 0 649113239 717070336 9255 33554432000 4194304 5683644 140733310332128 18446744073709551615 255118592433 0 0 16781312 2 18446604452861482048 0 0 -1 3 0 0 0
[pid=15886/tid=16032] ppid=15884 vsize=700264 CPUtime=0 cores=0-7
/proc/15886/task/16032/stat : 16032 (python) S 15884 15886 15650 0 -1 4202560 28 937 0 0 0 0 0 0 20 0 35 0 649114144 717070336 9255 33554432000 4194304 5683644 140733310332128 18446744073709551615 255118592433 0 0 16781312 2 18446604452861482048 0 0 -1 3 0 0 0
[pid=15886/tid=16037] ppid=15884 vsize=700264 CPUtime=0 cores=0-7
/proc/15886/task/16037/stat : 16037 (python) S 15884 15886 15650 0 -1 4202560 30 937 0 0 0 0 0 0 19 0 35 0 649123563 717070336 9255 33554432000 4194304 5683644 140733310332128 18446744073709551615 255118592433 0 0 16781312 2 18446604452861482048 0 0 -1 3 0 0 0
[pid=15886/tid=16040] ppid=15884 vsize=700264 CPUtime=0 cores=0-7
/proc/15886/task/16040/stat : 16040 (python) S 15884 15886 15650 0 -1 4202560 27 937 0 0 0 0 0 0 20 0 35 0 649123729 717070336 9255 33554432000 4194304 5683644 140733310332128 18446744073709551615 255118592433 0 0 16781312 2 18446604452861482048 0 0 -1 3 0 0 0
[pid=15886/tid=16045] ppid=15884 vsize=700264 CPUtime=0 cores=0-7
/proc/15886/task/16045/stat : 16045 (python) S 15884 15886 15650 0 -1 4202560 26 937 0 0 0 0 0 0 19 0 35 0 649129078 717070336 9255 33554432000 4194304 5683644 140733310332128 18446744073709551615 255118592433 0 0 16781312 2 18446604452861482048 0 0 -1 3 0 0 0
[pid=15886/tid=16051] ppid=15884 vsize=700264 CPUtime=0 cores=0-7
/proc/15886/task/16051/stat : 16051 (python) S 15884 15886 15650 0 -1 4202560 27 937 0 0 0 0 0 0 19 0 35 0 649135588 717070336 9255 33554432000 4194304 5683644 140733310332128 18446744073709551615 255118592433 0 0 16781312 2 18446604452861482048 0 0 -1 3 0 0 0
[pid=15886/tid=16055] ppid=15884 vsize=700264 CPUtime=0 cores=0-7
/proc/15886/task/16055/stat : 16055 (python) S 15884 15886 15650 0 -1 4202560 30 937 0 0 0 0 0 0 19 0 35 0 649136014 717070336 9255 33554432000 4194304 5683644 140733310332128 18446744073709551615 255118592433 0 0 16781312 2 18446604452861482048 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 8720.45
Current children cumulated vsize (KiB) 32718688

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15886 and gives
#  childrusage.ru_utime.tv_sec=5
#  childrusage.ru_utime.tv_usec=90226
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=249962
# CPU time returned by wait4() is 5.34019
# while last known CPU time is 8720.45
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1236.53
CPU time (s): 8720.45
CPU user time (s): 8702.94
CPU system time (s): 17.51
CPU usage (%): 705.239
Max. virtual memory (cumulated for all children) (KiB): 32718688

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.09023
system time used= 0.249962
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51299
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= 3110
involuntary context switches= 116

runsolver used 14.1938 second user time and 33.6609 second system time

The end

Launcher Data 

Begin job on node144 at 2011-05-16 19:12:43
IDJOB=3385372
IDBENCH=82637
IDSOLVER=1870
FILE ID=node144/3385372-1305565963
RUNJOBID= node144-1305564961-15664
PBS_JOBID= 13350106
Free space on /tmp= 73276 MiB

SOLVER NAME= borg-sat 11.03.02-par-random (fixed)
BENCH NAME= SAT11/random/large/unif-k5-r20-v2000-c40000-S1993071608-084-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-3385372-1305565963/watcher-3385372-1305565963 -o /tmp/evaluation-result-3385372-1305565963/solver-3385372-1305565963 -C 40000 -W 5100 -M 31000  python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3385372-1305565963.cnf -seed 394335940 -budget 40000 -cores 8

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

MD5SUM BENCH= 6a416a8eca39558555cbe083cf0c9cff
RANDOM SEED=394335940

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      14757200 kB
Buffers:        328072 kB
Cached:        4120696 kB
SwapCached:          0 kB
Active:       14970800 kB
Inactive:      2848564 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      14757200 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:           32696 kB
Writeback:           0 kB
AnonPages:    13371300 kB
Mapped:          36300 kB
Slab:           246732 kB
PageTables:      57720 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 124193632 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= 73244 MiB
End job on node144 at 2011-05-16 19:33:22