Trace number 3321759

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) 8638.42 1086.9

General information on the benchmark

Namerandom/large/
unif-k7-r85-v200-c17000-S181603592-089-UNKNOWN.cnf
MD5SUMaf7b69f0071c372d5cdc250bc7f688e1
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark2380.61
Satisfiable
(Un)Satisfiability was proved
Number of variables200
Number of clauses17000
Sum of the clauses size119000
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 517000

Solver Data 

0.33/0.68	c INFO: loaded portfolio from HOME/etc/borg-mix+class.random.pickle
0.33/0.68	c INFO: solving HOME/instance-3321759-1304366662.cnf
0.33/0.68	c INFO: computing task features
0.40/0.80	c INFO: computed variable-clause graph statistics
0.50/0.80	c INFO: computed clause balance statistics
1.10/1.41	c INFO: computed variable balance statistics
1.30/1.65	c INFO: computed small-clause counts
1.30/1.65	c INFO: computed Horn-clause counts
1.30/1.67	c INFO: computed variable graph statistics
1.30/1.67	c INFO: collected features for HOME/instance-3321759-1304366662.cnf in 0.98 s
1.40/1.70	c INFO: running gnovelty+2@0 for 97 with 39999 remaining (b = 0.36)
1.40/1.74	c INFO: running gnovelty+2@0 for 97 with 39998 remaining (b = 0.12)
1.40/1.78	c INFO: running adaptg2wsat2009++@0 for 97 with 39998 remaining (b = 0.08)
1.51/1.81	c INFO: running adaptg2wsat2009++@0 for 97 with 39998 remaining (b = 0.07)
1.51/1.85	c INFO: running adaptg2wsat2009++@0 for 97 with 39998 remaining (b = 0.05)
1.51/1.89	c INFO: running gnovelty+2@0 for 97 with 39998 remaining (b = 0.04)
1.60/1.93	c INFO: running FH@0 for 97 with 39998 remaining (b = 0.03)
1.60/1.97	c INFO: running adaptg2wsat2009++@0 for 97 with 39998 remaining (b = 0.03)
785.31/100.72	c INFO: running adaptg2wsat2009++@0 for 97 with 39900 remaining (b = 0.02)
787.45/101.04	c INFO: running FH@0 for 97 with 39899 remaining (b = 0.02)
787.45/101.09	c INFO: running hybridGM3@0 for 194 with 39899 remaining (b = 0.04)
788.45/101.14	c INFO: running gnovelty+2@0 for 97 with 39899 remaining (b = 0.02)
789.06/101.24	c INFO: running hybridGM3@0 for 194 with 39899 remaining (b = 0.03)
793.50/102.19	c INFO: running hybridGM3@0 for 194 with 39898 remaining (b = 0.03)
797.50/102.38	c INFO: running TNM@0 for 1552 with 39898 remaining (b = 0.20)
835.49/107.17	c INFO: running adaptg2wsat2009++@0 for 97 with 39893 remaining (b = 0.01)
1583.72/200.96	c INFO: running FH@0 for 97 with 39799 remaining (b = 0.01)
1586.17/201.30	c INFO: running hybridGM3@0 for 194 with 39799 remaining (b = 0.02)
1587.58/201.44	c INFO: running adaptg2wsat2009++@0 for 97 with 39799 remaining (b = 0.01)
1635.42/207.41	c INFO: running adaptg2wsat2009++@0 for 97 with 39793 remaining (b = 0.01)
2356.07/297.90	c INFO: running hybridGM3@99 for 97 with 39702 remaining (b = 0.01)
2362.44/298.66	c INFO: running hybridGM3@98 for 97 with 39702 remaining (b = 0.01)
2363.18/298.73	c INFO: running adaptg2wsat2009++@0 for 97 with 39702 remaining (b = 0.01)
2383.11/301.20	c INFO: running adaptg2wsat2009++@98 for 97 with 39699 remaining (b = 0.01)
2402.31/303.65	c INFO: running hybridGM3@99 for 97 with 39697 remaining (b = 0.01)
2410.25/304.67	c INFO: running gnovelty+2@0 for 97 with 39696 remaining (b = 0.01)
3138.05/395.98	c INFO: running hybridGM3@0 for 194 with 39604 remaining (b = 0.02)
3144.32/396.81	c INFO: running hybridGM3@100 for 97 with 39603 remaining (b = 0.01)
3157.88/398.45	c INFO: running hybridGM3@0 for 194 with 39602 remaining (b = 0.02)
3161.40/398.91	c INFO: running TNM@0 for 1552 with 39601 remaining (b = 0.14)
3162.63/399.15	c INFO: running hybridGM3@295 for 97 with 39601 remaining (b = 0.01)
3169.78/399.95	c INFO: running adaptg2wsat2009++@98 for 97 with 39600 remaining (b = 0.01)
3202.38/404.04	c INFO: running FH@0 for 291 with 39596 remaining (b = 0.03)
3922.92/494.41	c INFO: running hybridGM3@396 for 97 with 39506 remaining (b = 0.01)
3945.32/497.22	c INFO: running iPAWS@0 for 97 with 39503 remaining (b = 0.01)
3950.84/498.08	c INFO: running adaptg2wsat2009++@296 for 291 with 39502 remaining (b = 0.03)
4703.96/592.48	c INFO: running FH@99 for 291 with 39408 remaining (b = 0.03)
4723.87/594.95	c INFO: running hybridGM3@94 for 97 with 39405 remaining (b = 0.01)
4729.45/595.68	c INFO: running iPAWS@0 for 97 with 39405 remaining (b = 0.01)
4736.61/596.51	c INFO: running hybridGM3@0 for 194 with 39404 remaining (b = 0.02)
5527.97/695.96	c INFO: running gnovelty+2@0 for 97 with 39304 remaining (b = 0.01)
5530.38/696.23	c INFO: running hybridGM3@0 for 194 with 39304 remaining (b = 0.02)
5533.82/696.73	c INFO: running hybridGM3@0 for 194 with 39304 remaining (b = 0.01)
6258.63/787.72	c INFO: running adaptg2wsat2009++@492 for 97 with 39213 remaining (b = 0.01)
6300.88/793.03	c INFO: running hybridGM3@100 for 97 with 39207 remaining (b = 0.01)
6326.31/796.29	c INFO: running TNM@0 for 1552 with 39204 remaining (b = 0.11)
7010.19/882.12	c INFO: running FH@294 for 97 with 39118 remaining (b = 0.01)
7065.03/889.01	c INFO: running adaptg2wsat2009++@688 for 97 with 39111 remaining (b = 0.01)
7091.30/892.32	c INFO: running FH@0 for 97 with 39108 remaining (b = 0.01)
7094.09/892.77	c INFO: running hybridGM3@291 for 194 with 39108 remaining (b = 0.02)
7107.24/894.34	c INFO: running NCVWr@0 for 485 with 39106 remaining (b = 0.03)
7816.47/983.44	c INFO: running hybridGM3@0 for 194 with 39017 remaining (b = 0.01)
7822.72/984.31	c INFO: running adaptg2wsat2009++@883 for 97 with 39016 remaining (b = 0.01)
7889.59/992.65	c INFO: running FH@195 for 194 with 39008 remaining (b = 0.01)
8629.59/1085.63	c INFO: running iPAWS@0 for 97 with 38915 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-3321759-1304366662/watcher-3321759-1304366662 -o /tmp/evaluation-result-3321759-1304366662/solver-3321759-1304366662 -C 40000 -W 5100 -M 31000 python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3321759-1304366662.cnf -seed 178252680 -budget 40000 -cores 8 

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

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


[startup+0 s]
/proc/loadavg: 0.90 0.67 2.49 2/232 17687
/proc/meminfo: memFree=23415120/32951132 swapFree=67111356/67111528
[pid=17687] ppid=17685 vsize=15384 CPUtime=0 cores=0-7
/proc/17687/stat : 17687 (python) S 17685 17687 17621 0 -1 4202496 795 0 0 0 0 0 0 0 21 0 1 0 548265888 15753216 681 33554432000 4194304 5683644 140737329327024 18446744073709551615 274664806400 0 2147483391 16781312 2 18446744071699109054 0 0 17 6 0 0 0
/proc/17687/statm: 3846 681 322 364 0 333 0

[startup+0.0374401 s]
/proc/loadavg: 0.90 0.67 2.49 2/232 17687
/proc/meminfo: memFree=23415120/32951132 swapFree=67111356/67111528
[pid=17687] ppid=17685 vsize=18884 CPUtime=0.01 cores=0-7
/proc/17687/stat : 17687 (python) R 17685 17687 17621 0 -1 4202496 1238 0 0 0 1 0 0 0 21 0 1 0 548265888 19337216 1093 33554432000 4194304 5683644 140737329327024 18446744073709551615 274664851591 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/17687/statm: 4721 1093 421 364 0 690 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 18884

[startup+0.100396 s]
/proc/loadavg: 0.90 0.67 2.49 2/232 17687
/proc/meminfo: memFree=23415120/32951132 swapFree=67111356/67111528
[pid=17687] ppid=17685 vsize=85624 CPUtime=0.05 cores=0-7
/proc/17687/stat : 17687 (python) R 17685 17687 17621 0 -1 4202496 2630 0 0 0 4 1 0 0 18 0 1 0 548265888 87678976 2348 33554432000 4194304 5683644 140737329327024 18446744073709551615 274664806400 0 2147483391 16781312 2 0 0 0 17 6 0 0 0
/proc/17687/statm: 21406 2348 713 364 0 1623 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 85624

[startup+0.300366 s]
/proc/loadavg: 0.90 0.67 2.49 2/232 17687
/proc/meminfo: memFree=23415120/32951132 swapFree=67111356/67111528
[pid=17687] ppid=17685 vsize=135752 CPUtime=0.17 cores=0-7
/proc/17687/stat : 17687 (python) S 17685 17687 17621 0 -1 4202496 5965 936 1 0 12 5 0 0 18 0 1 0 548265888 139010048 4151 33554432000 4194304 5683644 140737329327024 18446744073709551615 274664804357 0 2147483391 16781312 2 18446744071699109054 0 0 17 6 0 0 0
/proc/17687/statm: 33938 4151 1032 364 0 3124 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 135752

[startup+0.700307 s]
/proc/loadavg: 0.90 0.67 2.49 2/232 17687
/proc/meminfo: memFree=23415120/32951132 swapFree=67111356/67111528
[pid=17687] ppid=17685 vsize=279000 CPUtime=0.4 cores=0-7
/proc/17687/stat : 17687 (python) R 17685 17687 17621 0 -1 4202496 9397 936 1 0 30 10 0 0 17 0 1 0 548265888 285696000 7077 33554432000 4194304 5683644 140737329327024 18446744073709551615 4602358 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/17687/statm: 69750 7077 1761 364 0 5674 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 279000

[startup+1.50015 s]
/proc/loadavg: 0.90 0.67 2.49 2/233 17692
/proc/meminfo: memFree=23389372/32951132 swapFree=67111356/67111528
[pid=17687] ppid=17685 vsize=282588 CPUtime=1.2 cores=0-7
/proc/17687/stat : 17687 (python) R 17685 17687 17621 0 -1 4202496 11331 936 1 0 110 10 0 0 18 0 1 0 548265888 289370112 8059 33554432000 4194304 5683644 140737329327024 18446744073709551615 47793593136053 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/17687/statm: 70647 8059 1827 364 0 6571 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 282588

[startup+3.10083 s]
/proc/loadavg: 0.90 0.67 2.49 9/257 17716
/proc/meminfo: memFree=23339936/32951132 swapFree=67111356/67111528
[pid=17687] ppid=17685 vsize=427612 CPUtime=1.68 cores=0-7
/proc/17687/stat : 17687 (python) S 17685 17687 17621 0 -1 4202496 17584 936 1 0 156 12 0 0 20 0 9 0 548265888 437874688 7615 33554432000 4194304 5683644 140737329327024 18446744073709551615 274676635083 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0
/proc/17687/statm: 106903 7615 1891 364 0 42800 0
[pid=17693] ppid=17687 vsize=279232 CPUtime=0 cores=0-7
/proc/17693/stat : 17693 (python) S 17687 17687 17621 0 -1 4202560 731 0 0 0 0 0 0 0 18 0 1 0 548266059 285933568 5714 33554432000 4194304 5683644 140737329327024 18446744073709551615 274664828431 0 0 16781312 514 3599122949837127939 0 0 17 1 0 0 0
/proc/17693/statm: 69808 5714 354 364 0 5726 0
[pid=17695] ppid=17693 vsize=1018616 CPUtime=1.38 cores=0-7
/proc/17695/stat : 17695 (gnovelty+2) R 17693 17695 17695 0 -1 4202496 765 0 0 0 138 0 0 0 25 0 1 0 548266059 1043062784 501 33554432000 134512640 135663704 4294730656 18446744073709551615 134524575 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/17695/statm: 254654 501 113 282 0 254370 0
[pid=17696] ppid=17687 vsize=289624 CPUtime=0 cores=0-7
/proc/17696/stat : 17696 (python) S 17687 17687 17621 0 -1 4202560 734 0 0 0 0 0 0 0 18 0 1 0 548266063 296574976 5762 33554432000 4194304 5683644 140737329327024 18446744073709551615 274664828486 0 0 16781312 514 4020013527048618243 0 0 17 1 0 0 0
/proc/17696/statm: 72406 5762 348 364 0 8321 0
[pid=17698] ppid=17696 vsize=1018616 CPUtime=1.35 cores=0-7
/proc/17698/stat : 17698 (gnovelty+2) R 17696 17698 17698 0 -1 4202496 762 0 0 0 135 0 0 0 25 0 1 0 548266063 1043062784 501 33554432000 134512640 135663704 4290889712 18446744073709551615 134524882 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/17698/statm: 254654 501 113 282 0 254370 0
[pid=17699] ppid=17687 vsize=299880 CPUtime=0 cores=0-7
/proc/17699/stat : 17699 (python) S 17687 17687 17621 0 -1 4202560 736 0 0 0 0 0 0 0 18 0 1 0 548266066 307077120 5766 33554432000 4194304 5683644 140737329327024 18446744073709551615 274664828486 0 0 16781312 514 4020009678757953535 0 0 17 1 0 0 0
/proc/17699/statm: 74970 5766 348 364 0 10882 0
[pid=17701] ppid=17699 vsize=418500 CPUtime=1.3 cores=0-7
/proc/17701/stat : 17701 (adaptg2wsat2009) R 17699 17701 17701 0 -1 4202496 1075 0 0 0 130 0 0 0 25 0 1 0 548266067 428544000 808 33554432000 134512640 135107411 4288884480 18446744073709551615 134523245 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/17701/statm: 104625 808 49 146 0 103501 0
[pid=17702] ppid=17687 vsize=310268 CPUtime=0 cores=0-7
/proc/17702/stat : 17702 (python) S 17687 17687 17621 0 -1 4202560 749 0 0 0 0 0 0 0 18 0 1 0 548266070 317714432 5787 33554432000 4194304 5683644 140737329327024 18446744073709551615 274664828486 0 0 16781312 514 3486542854757548031 0 0 17 1 0 0 0
/proc/17702/statm: 77567 5787 348 364 0 13476 0
[pid=17704] ppid=17702 vsize=418500 CPUtime=1.27 cores=0-7
/proc/17704/stat : 17704 (adaptg2wsat2009) R 17702 17704 17704 0 -1 4202496 1071 0 0 0 127 0 0 0 25 0 1 0 548266070 428544000 808 33554432000 134512640 135107411 4289186960 18446744073709551615 134523424 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/17704/statm: 104625 808 49 146 0 103501 0
[pid=17705] ppid=17687 vsize=321064 CPUtime=0 cores=0-7
/proc/17705/stat : 17705 (python) S 17687 17687 17621 0 -1 4202560 754 0 0 0 0 0 0 0 18 0 1 0 548266074 328769536 5926 33554432000 4194304 5683644 140737329327024 18446744073709551615 274664828486 0 0 16781312 514 13935325273693093887 0 0 17 1 0 0 0
/proc/17705/statm: 80266 5926 347 364 0 16172 0
[pid=17707] ppid=17705 vsize=418500 CPUtime=1.23 cores=0-7
/proc/17707/stat : 17707 (adaptg2wsat2009) R 17705 17707 17707 0 -1 4202496 1075 0 0 0 123 0 0 0 25 0 1 0 548266074 428544000 808 33554432000 134512640 135107411 4288641216 18446744073709551615 134523452 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/17707/statm: 104625 808 49 146 0 103501 0
[pid=17708] ppid=17687 vsize=331320 CPUtime=0 cores=0-7
/proc/17708/stat : 17708 (python) S 17687 17687 17621 0 -1 4202560 758 0 0 0 0 0 0 0 18 0 1 0 548266078 339271680 5929 33554432000 4194304 5683644 140737329327024 18446744073709551615 274664828486 0 0 16781312 514 13935329121983758595 0 0 17 1 0 0 0
/proc/17708/statm: 82830 5929 347 364 0 18733 0
[pid=17710] ppid=17708 vsize=1018616 CPUtime=1.19 cores=0-7
/proc/17710/stat : 17710 (gnovelty+2) R 17708 17710 17710 0 -1 4202496 769 0 0 0 119 0 0 0 25 0 1 0 548266078 1043062784 500 33554432000 134512640 135663704 4289683728 18446744073709551615 134524882 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/17710/statm: 254654 500 113 282 0 254370 0
[pid=17711] ppid=17687 vsize=407112 CPUtime=0 cores=0-7
/proc/17711/stat : 17711 (python) S 17687 17687 17621 0 -1 4202560 731 0 0 0 0 0 0 0 18 0 1 0 548266082 416882688 6107 33554432000 4194304 5683644 140737329327024 18446744073709551615 274664828486 0 0 16781312 514 13935321425402396671 0 0 17 1 0 0 0
/proc/17711/statm: 101778 6107 348 364 0 37678 0
[pid=17713] ppid=17711 vsize=246900 CPUtime=1.15 cores=0-7
/proc/17713/stat : 17713 (FH) R 17711 17713 17713 0 -1 4202496 933 0 0 0 115 0 0 0 25 0 1 0 548266083 252825600 678 33554432000 134512640 134936988 4291660208 18446744073709551615 134523354 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/17713/statm: 61725 678 37 104 0 61229 0
[pid=17714] ppid=17687 vsize=417368 CPUtime=0 cores=0-7
/proc/17714/stat : 17714 (python) S 17687 17687 17621 0 -1 4202560 764 0 0 0 0 0 0 0 18 0 1 0 548266085 427384832 6074 33554432000 4194304 5683644 140737329327024 18446744073709551615 274664828486 0 0 16781312 514 3612380861044883455 0 0 17 6 0 0 0
/proc/17714/statm: 104342 6074 354 364 0 40239 0
[pid=17716] ppid=17714 vsize=418500 CPUtime=1.11 cores=0-7
/proc/17716/stat : 17716 (adaptg2wsat2009) R 17714 17716 17716 0 -1 4202496 1070 0 0 0 111 0 0 0 25 0 1 0 548266086 428544000 809 33554432000 134512640 135107411 4294345840 18446744073709551615 134523319 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/17716/statm: 104625 809 49 146 0 103501 0
[pid=17687/tid=17694] ppid=17685 vsize=427612 CPUtime=0 cores=0-7
/proc/17687/task/17694/stat : 17694 (python) S 17685 17687 17621 0 -1 4202560 25 936 0 0 0 0 0 0 19 0 9 0 548266059 437874688 7615 33554432000 4194304 5683644 140737329327024 18446744073709551615 274676631985 0 0 16781312 2 18446604440346820928 0 0 -1 0 0 0 0
[pid=17687/tid=17697] ppid=17685 vsize=427612 CPUtime=0 cores=0-7
/proc/17687/task/17697/stat : 17697 (python) S 17685 17687 17621 0 -1 4202560 23 936 0 0 0 0 0 0 19 0 9 0 548266063 437874688 7615 33554432000 4194304 5683644 140737329327024 18446744073709551615 274676631985 0 0 16781312 2 18446604440346820928 0 0 -1 3 0 0 0
[pid=17687/tid=17700] ppid=17685 vsize=427612 CPUtime=0 cores=0-7
/proc/17687/task/17700/stat : 17700 (python) S 17685 17687 17621 0 -1 4202560 24 936 0 0 0 0 0 0 19 0 9 0 548266067 437874688 7615 33554432000 4194304 5683644 140737329327024 18446744073709551615 274676631985 0 0 16781312 2 18446604440346820928 0 0 -1 0 0 0 0
[pid=17687/tid=17703] ppid=17685 vsize=427612 CPUtime=0 cores=0-7
/proc/17687/task/17703/stat : 17703 (python) S 17685 17687 17621 0 -1 4202560 25 936 0 0 0 0 0 0 17 0 9 0 548266070 437874688 7615 33554432000 4194304 5683644 140737329327024 18446744073709551615 274676631985 0 0 16781312 2 18446604440346820928 0 0 -1 5 0 0 0
[pid=17687/tid=17706] ppid=17685 vsize=427612 CPUtime=0 cores=0-7
/proc/17687/task/17706/stat : 17706 (python) S 17685 17687 17621 0 -1 4202560 26 936 0 0 0 0 0 0 21 0 9 0 548266074 437874688 7615 33554432000 4194304 5683644 140737329327024 18446744073709551615 274676631985 0 0 16781312 2 18446604440346820928 0 0 -1 0 0 0 0
[pid=17687/tid=17709] ppid=17685 vsize=427612 CPUtime=0 cores=0-7
/proc/17687/task/17709/stat : 17709 (python) S 17685 17687 17621 0 -1 4202560 27 936 0 0 0 0 0 0 22 0 9 0 548266078 437874688 7615 33554432000 4194304 5683644 140737329327024 18446744073709551615 274676631985 0 0 16781312 2 18446604440346820928 0 0 -1 7 0 0 0
[pid=17687/tid=17712] ppid=17685 vsize=427612 CPUtime=0 cores=0-7
/proc/17687/task/17712/stat : 17712 (python) S 17685 17687 17621 0 -1 4202560 103 936 0 0 0 0 0 0 19 0 9 0 548266082 437874688 7615 33554432000 4194304 5683644 140737329327024 18446744073709551615 274676631985 0 0 16781312 2 18446604440346820928 0 0 -1 1 0 0 0
[pid=17687/tid=17715] ppid=17685 vsize=427612 CPUtime=0 cores=0-7
/proc/17687/task/17715/stat : 17715 (python) S 17685 17687 17621 0 -1 4202560 87 936 0 0 0 0 0 0 22 0 9 0 548266086 437874688 7615 33554432000 4194304 5683644 140737329327024 18446744073709551615 274676631985 0 0 16781312 2 18446604440346820928 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 11.66
Current children cumulated vsize (KiB) 8060228

[startup+6.30128 s]
/proc/loadavg: 1.63 0.83 2.53 9/257 17716
/proc/meminfo: memFree=23335488/32951132 swapFree=67111356/67111528
[pid=17687] ppid=17685 vsize=427612 CPUtime=1.68 cores=0-7
/proc/17687/stat : 17687 (python) S 17685 17687 17621 0 -1 4202496 17584 936 1 0 156 12 0 0 20 0 9 0 548265888 437874688 7615 33554432000 4194304 5683644 140737329327024 18446744073709551615 274676635083 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0
/proc/17687/statm: 106903 7615 1891 364 0 42800 0
[pid=17693] ppid=17687 vsize=279232 CPUtime=0 cores=0-7
/proc/17693/stat : 17693 (python) S 17687 17687 17621 0 -1 4202560 883 0 0 0 0 0 0 0 18 0 1 0 548266059 285933568 5737 33554432000 4194304 5683644 140737329327024 18446744073709551615 274664828431 0 0 16781312 514 3599122949837127939 0 0 17 1 0 0 0
/proc/17693/statm: 69808 5737 377 364 0 5726 0
[pid=17695] ppid=17693 vsize=1018616 CPUtime=3.14 cores=0-7
/proc/17695/stat : 17695 (gnovelty+2) R 17693 17695 17695 0 -1 4202496 765 0 0 0 309 5 0 0 25 0 1 0 548266059 1043062784 501 33554432000 134512640 135663704 4294730656 18446744073709551615 134524918 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/17695/statm: 254654 501 113 282 0 254370 0
[pid=17696] ppid=17687 vsize=289624 CPUtime=0 cores=0-7
/proc/17696/stat : 17696 (python) S 17687 17687 17621 0 -1 4202560 887 0 0 0 0 0 0 0 18 0 1 0 548266063 296574976 5785 33554432000 4194304 5683644 140737329327024 18446744073709551615 274664828486 0 0 16781312 514 4020013527048618243 0 0 17 1 0 0 0
/proc/17696/statm: 72406 5785 371 364 0 8321 0
[pid=17698] ppid=17696 vsize=1018616 CPUtime=4.55 cores=0-7
/proc/17698/stat : 17698 (gnovelty+2) R 17696 17698 17698 0 -1 4202496 762 0 0 0 455 0 0 0 25 0 1 0 548266063 1043062784 501 33554432000 134512640 135663704 4290889712 18446744073709551615 134524548 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/17698/statm: 254654 501 113 282 0 254370 0
[pid=17699] ppid=17687 vsize=299880 CPUtime=0 cores=0-7
/proc/17699/stat : 17699 (python) S 17687 17687 17621 0 -1 4202560 897 0 0 0 0 0 0 0 18 0 1 0 548266066 307077120 5788 33554432000 4194304 5683644 140737329327024 18446744073709551615 274664828486 0 0 16781312 514 4020009678757921025 0 0 17 1 0 0 0
/proc/17699/statm: 74970 5788 370 364 0 10882 0
[pid=17701] ppid=17699 vsize=418636 CPUtime=4.5 cores=0-7
/proc/17701/stat : 17701 (adaptg2wsat2009) R 17699 17701 17701 0 -1 4202496 1222 0 0 0 450 0 0 0 25 0 1 0 548266067 428683264 955 33554432000 134512640 135107411 4288884480 18446744073709551615 134531935 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/17701/statm: 104659 955 59 146 0 103535 0
[pid=17702] ppid=17687 vsize=310268 CPUtime=0 cores=0-7
/proc/17702/stat : 17702 (python) S 17687 17687 17621 0 -1 4202560 934 0 0 0 0 0 0 0 18 0 1 0 548266070 317714432 5810 33554432000 4194304 5683644 140737329327024 18446744073709551615 274664828486 0 0 16781312 514 3486542854757515524 0 0 17 1 0 0 0
/proc/17702/statm: 77567 5810 371 364 0 13476 0
[pid=17704] ppid=17702 vsize=418636 CPUtime=4.47 cores=0-7
/proc/17704/stat : 17704 (adaptg2wsat2009) R 17702 17704 17704 0 -1 4202496 1218 0 0 0 447 0 0 0 25 0 1 0 548266070 428683264 955 33554432000 134512640 135107411 4289186960 18446744073709551615 134531674 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/17704/statm: 104659 955 59 146 0 103535 0
[pid=17705] ppid=17687 vsize=321064 CPUtime=0 cores=0-7
/proc/17705/stat : 17705 (python) S 17687 17687 17621 0 -1 4202560 940 0 0 0 0 0 0 0 18 0 1 0 548266074 328769536 5948 33554432000 4194304 5683644 140737329327024 18446744073709551615 274664828486 0 0 16781312 514 13935325273693061380 0 0 17 1 0 0 0
/proc/17705/statm: 80266 5948 369 364 0 16172 0
[pid=17707] ppid=17705 vsize=418636 CPUtime=4.43 cores=0-7
/proc/17707/stat : 17707 (adaptg2wsat2009) R 17705 17707 17707 0 -1 4202496 1222 0 0 0 443 0 0 0 25 0 1 0 548266074 428683264 955 33554432000 134512640 135107411 4288641216 18446744073709551615 134531428 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/17707/statm: 104659 955 59 146 0 103535 0
[pid=17708] ppid=17687 vsize=331320 CPUtime=0 cores=0-7
/proc/17708/stat : 17708 (python) S 17687 17687 17621 0 -1 4202560 949 0 0 0 0 0 0 0 18 0 1 0 548266078 339271680 5951 33554432000 4194304 5683644 140737329327024 18446744073709551615 274664828486 0 0 16781312 514 13935329121983758595 0 0 17 1 0 0 0
/proc/17708/statm: 82830 5951 369 364 0 18733 0
[pid=17710] ppid=17708 vsize=1018616 CPUtime=4.36 cores=0-7
/proc/17710/stat : 17710 (gnovelty+2) R 17708 17710 17710 0 -1 4202496 769 0 0 0 436 0 0 0 25 0 1 0 548266078 1043062784 500 33554432000 134512640 135663704 4289683728 18446744073709551615 134524882 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/17710/statm: 254654 500 113 282 0 254370 0
[pid=17711] ppid=17687 vsize=407112 CPUtime=0.01 cores=0-7
/proc/17711/stat : 17711 (python) S 17687 17687 17621 0 -1 4202560 802 0 0 0 1 0 0 0 18 0 1 0 548266082 416882688 6130 33554432000 4194304 5683644 140737329327024 18446744073709551615 274664828486 0 0 16781312 514 13935321425402364161 0 0 17 1 0 0 0
/proc/17711/statm: 101778 6130 371 364 0 37678 0
[pid=17713] ppid=17711 vsize=248656 CPUtime=4.27 cores=0-7
/proc/17713/stat : 17713 (FH) R 17711 17713 17713 0 -1 4202496 1113 0 0 0 427 0 0 0 25 0 1 0 548266083 254623744 856 33554432000 134512640 134936988 4291660208 18446744073709551615 134552080 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/17713/statm: 62164 856 41 104 0 61668 0
[pid=17714] ppid=17687 vsize=417368 CPUtime=0 cores=0-7
/proc/17714/stat : 17714 (python) S 17687 17687 17621 0 -1 4202560 841 0 0 0 0 0 0 0 18 0 1 0 548266085 427384832 6097 33554432000 4194304 5683644 140737329327024 18446744073709551615 274664828486 0 0 16781312 514 3612380861044850946 0 0 17 6 0 0 0
/proc/17714/statm: 104342 6097 377 364 0 40239 0
[pid=17716] ppid=17714 vsize=418636 CPUtime=3.69 cores=0-7
/proc/17716/stat : 17716 (adaptg2wsat2009) R 17714 17716 17716 0 -1 4202496 1217 0 0 0 368 1 0 0 25 0 1 0 548266086 428683264 956 33554432000 134512640 135107411 4294345840 18446744073709551615 134532416 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/17716/statm: 104659 956 59 146 0 103535 0

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

[pid=17783/tid=17799] ppid=17687 vsize=550696 CPUtime=0 cores=0-7
/proc/17783/task/17799/stat : 17799 (python) S 17687 17687 17621 0 -1 4202560 82 0 0 0 0 0 0 0 18 0 2 0 548325375 563912704 6518 33554432000 4194304 5683644 140737329327024 18446744073709551615 274676631985 0 0 16781312 514 18446604453713606848 0 0 -1 2 0 0 0
[pid=17786] ppid=17687 vsize=560952 CPUtime=1.42 cores=0-7
/proc/17786/stat : 17786 (python) S 17687 17687 17621 0 -1 4202560 976 0 0 0 72 70 0 0 18 0 1 0 548305780 574414848 6423 33554432000 4194304 5683644 140737329327024 18446744073709551615 274664828486 0 0 16781312 514 15751849870123565314 0 0 17 1 0 0 0
/proc/17786/statm: 140238 6423 378 364 0 76093 0
[pid=17788] ppid=17786 vsize=457128 CPUtime=670.33 cores=0-7
/proc/17788/stat : 17788 (TNM) R 17786 17788 17788 0 -1 4202496 1122 0 0 0 67033 0 0 0 25 0 1 0 548305781 468099072 837 33554432000 134512640 135008748 4288825840 18446744073709551615 134528942 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/17788/statm: 114282 837 46 122 0 113182 0
[pid=17793] ppid=17687 vsize=571208 CPUtime=0.2 cores=0-7
/proc/17793/stat : 17793 (python) S 17687 17687 17621 0 -1 4202560 1183 0 0 0 9 11 0 0 19 0 2 0 548315610 584916992 6416 33554432000 4194304 5683644 140737329327024 18446744073709551615 274676635083 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/17793/statm: 142802 6416 407 364 0 78654 0
[pid=17795] ppid=17793 vsize=335996 CPUtime=99.19 cores=0-7
/proc/17795/stat : 17795 (iPAWS) T 17793 17795 17795 0 -1 4202496 1600 0 0 0 9919 0 0 0 25 0 1 0 548315611 344059904 1319 33554432000 134512640 135114423 4289956672 18446744073709551615 134515629 0 0 16781312 0 18446744071562691360 0 0 17 4 0 0 0
/proc/17795/statm: 83999 1319 59 147 0 83851 0
[pid=17793/tid=17804] ppid=17687 vsize=571208 CPUtime=0 cores=0-7
/proc/17793/task/17804/stat : 17804 (python) S 17687 17687 17621 0 -1 4202560 86 0 0 0 0 0 0 0 19 0 2 0 548325531 584916992 6416 33554432000 4194304 5683644 140737329327024 18446744073709551615 274676631985 0 0 16781312 514 18446604450818959296 0 0 -1 6 0 0 0
[pid=17800] ppid=17687 vsize=581464 CPUtime=0.19 cores=0-7
/proc/17800/stat : 17800 (python) S 17687 17687 17621 0 -1 4202560 1188 0 0 0 11 8 0 0 19 0 2 0 548325456 595419136 6438 33554432000 4194304 5683644 140737329327024 18446744073709551615 274676635083 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/17800/statm: 145366 6438 408 364 0 81215 0
[pid=17802] ppid=17800 vsize=335996 CPUtime=100.17 cores=0-7
/proc/17802/stat : 17802 (iPAWS) T 17800 17802 17802 0 -1 4202496 1601 0 0 0 10017 0 0 0 25 0 1 0 548325457 344059904 1319 33554432000 134512640 135114423 4291320592 18446744073709551615 134515629 0 0 16781312 0 18446744071562691360 0 0 17 4 0 0 0
/proc/17802/statm: 83999 1319 59 147 0 83851 0
[pid=17800/tid=17810] ppid=17687 vsize=581464 CPUtime=0 cores=0-7
/proc/17800/task/17810/stat : 17810 (python) S 17687 17687 17621 0 -1 4202560 84 0 0 0 0 0 0 0 19 0 2 0 548335476 595419136 6438 33554432000 4194304 5683644 140737329327024 18446744073709551615 274676631985 0 0 16781312 514 18446604452901859456 0 0 -1 4 0 0 0
[pid=17805] ppid=17687 vsize=591720 CPUtime=0.62 cores=0-7
/proc/17805/stat : 17805 (python) S 17687 17687 17621 0 -1 4202560 1178 0 0 0 33 29 0 0 18 0 2 0 548325540 605921280 6484 33554432000 4194304 5683644 140737329327024 18446744073709551615 274676635083 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/17805/statm: 147930 6484 401 364 0 83776 0
[pid=17807] ppid=17805 vsize=268424 CPUtime=296.84 cores=0-7
/proc/17807/stat : 17807 (hybridGM3) T 17805 17807 17807 0 -1 4202496 5177 0 0 0 29684 0 0 0 25 0 1 0 548325540 274866176 4895 33554432000 134512640 135204385 4292992128 18446744073709551615 134538475 0 0 16781312 0 18446744071562691360 0 0 17 4 0 0 0
/proc/17807/statm: 67106 4895 63 169 0 66936 0
[pid=17805/tid=17822] ppid=17687 vsize=591720 CPUtime=0 cores=0-7
/proc/17805/task/17822/stat : 17822 (python) S 17687 17687 17621 0 -1 4202560 84 0 0 0 0 0 0 0 18 0 2 0 548345182 605921280 6484 33554432000 4194304 5683644 140737329327024 18446744073709551615 274676631985 0 0 16781312 514 18446604452901861248 0 0 -1 0 0 0 0
[pid=17811] ppid=17687 vsize=601976 CPUtime=0.2 cores=0-7
/proc/17811/stat : 17811 (python) S 17687 17687 17621 0 -1 4202560 1178 0 0 0 10 10 0 0 18 0 2 0 548335485 616423424 6428 33554432000 4194304 5683644 140737329327024 18446744073709551615 274676635083 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/17811/statm: 150494 6428 401 364 0 86337 0
[pid=17813] ppid=17811 vsize=1018616 CPUtime=99.9 cores=0-7
/proc/17813/stat : 17813 (gnovelty+2) T 17811 17813 17813 0 -1 4202496 787 0 0 0 9989 1 0 0 25 0 1 0 548335485 1043062784 500 33554432000 134512640 135663704 4288699792 18446744073709551615 134524534 0 0 16781312 0 18446744071562691360 0 0 17 4 0 0 0
/proc/17813/statm: 254654 500 113 282 0 254370 0
[pid=17811/tid=17824] ppid=17687 vsize=601976 CPUtime=0 cores=0-7
/proc/17811/task/17824/stat : 17824 (python) S 17687 17687 17621 0 -1 4202560 80 0 0 0 0 0 0 0 19 0 2 0 548345507 616423424 6428 33554432000 4194304 5683644 140737329327024 18446744073709551615 274676631985 0 0 16781312 514 18446604442127231872 0 0 -1 4 0 0 0
[pid=17814] ppid=17687 vsize=612232 CPUtime=0.82 cores=0-7
/proc/17814/stat : 17814 (python) S 17687 17687 17621 0 -1 4202560 1187 0 0 0 43 39 0 0 18 0 2 0 548335512 626925568 6505 33554432000 4194304 5683644 140737329327024 18446744073709551615 274664828486 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/17814/statm: 153058 6505 401 364 0 88898 0
[pid=17816] ppid=17814 vsize=268424 CPUtime=389.59 cores=0-7
/proc/17816/stat : 17816 (hybridGM3) R 17814 17816 17816 0 -1 4202496 5179 0 0 0 38959 0 0 0 25 0 1 0 548335512 274866176 4896 33554432000 134512640 135204385 4288696320 18446744073709551615 134537724 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/17816/statm: 67106 4896 63 169 0 66936 0
[pid=17814/tid=17834] ppid=17687 vsize=612232 CPUtime=0 cores=0-7
/proc/17814/task/17834/stat : 17834 (python) S 17687 17687 17621 0 -1 4202560 81 0 0 0 0 0 0 0 19 0 2 0 548355155 626925568 6505 33554432000 4194304 5683644 140737329327024 18446744073709551615 274676631985 0 0 16781312 514 18446604442127230976 0 0 -1 3 0 0 0
[pid=17817] ppid=17687 vsize=622488 CPUtime=0.39 cores=0-7
/proc/17817/stat : 17817 (python) S 17687 17687 17621 0 -1 4202560 1201 0 0 0 20 19 0 0 19 0 2 0 548335562 637427712 6440 33554432000 4194304 5683644 140737329327024 18446744073709551615 274676635083 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/17817/statm: 155622 6440 401 364 0 91459 0
[pid=17819] ppid=17817 vsize=268428 CPUtime=194.61 cores=0-7
/proc/17819/stat : 17819 (hybridGM3) T 17817 17819 17819 0 -1 4202496 5183 0 0 0 19461 0 0 0 25 0 1 0 548335562 274870272 4897 33554432000 134512640 135204385 4289018416 18446744073709551615 134537792 0 0 16781312 0 18446744071562691360 0 0 17 1 0 0 0
/proc/17819/statm: 67107 4897 63 169 0 66937 0
[pid=17817/tid=17830] ppid=17687 vsize=622488 CPUtime=0 cores=0-7
/proc/17817/task/17830/stat : 17830 (python) S 17687 17687 17621 0 -1 4202560 83 0 0 0 0 0 0 0 19 0 2 0 548355111 637427712 6440 33554432000 4194304 5683644 140737329327024 18446744073709551615 274676631985 0 0 16781312 514 18446604441973533632 0 0 -1 6 0 0 0
[pid=17825] ppid=17687 vsize=632744 CPUtime=0.6 cores=0-7
/proc/17825/stat : 17825 (python) S 17687 17687 17621 0 -1 4202560 1044 0 0 0 30 30 0 0 18 0 1 0 548345517 647929856 6486 33554432000 4194304 5683644 140737329327024 18446744073709551615 274664828486 0 0 16781312 514 15751849870123565313 0 0 17 6 0 0 0
/proc/17825/statm: 158186 6486 379 364 0 94020 0
[pid=17827] ppid=17825 vsize=457128 CPUtime=281.73 cores=0-7
/proc/17827/stat : 17827 (TNM) R 17825 17827 17827 0 -1 4202496 1128 0 0 0 28173 0 0 0 25 0 1 0 548345518 468099072 836 33554432000 134512640 135008748 4291701936 18446744073709551615 134529475 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/17827/statm: 114282 836 46 122 0 113182 0
[pid=17831] ppid=17687 vsize=643000 CPUtime=0.4 cores=0-7
/proc/17831/stat : 17831 (python) S 17687 17687 17621 0 -1 4202560 1232 0 0 0 21 19 0 0 18 0 2 0 548355121 658432000 6516 33554432000 4194304 5683644 140737329327024 18446744073709551615 274664828486 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/17831/statm: 160750 6516 408 364 0 96581 0
[pid=17833] ppid=17831 vsize=248652 CPUtime=193.25 cores=0-7
/proc/17833/stat : 17833 (FH) R 17831 17833 17833 0 -1 4202496 1145 0 0 0 19325 0 0 0 25 0 1 0 548355122 254619648 857 33554432000 134512640 134936988 4289976624 18446744073709551615 134552321 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/17833/statm: 62163 857 41 104 0 61667 0
[pid=17831/tid=17844] ppid=17687 vsize=643000 CPUtime=0 cores=0-7
/proc/17831/task/17844/stat : 17844 (python) S 17687 17687 17621 0 -1 4202560 87 0 0 0 0 0 0 0 19 0 2 0 548365142 658432000 6516 33554432000 4194304 5683644 140737329327024 18446744073709551615 274676631985 0 0 16781312 514 18446604441973531840 0 0 -1 1 0 0 0
[pid=17835] ppid=17687 vsize=653256 CPUtime=0.41 cores=0-7
/proc/17835/stat : 17835 (python) S 17687 17687 17621 0 -1 4202560 1038 0 0 0 19 22 0 0 18 0 1 0 548355323 668934144 6433 33554432000 4194304 5683644 140737329327024 18446744073709551615 274664828486 0 0 16781312 514 15751849870123565315 0 0 17 5 0 0 0
/proc/17835/statm: 163314 6433 378 364 0 99142 0
[pid=17837] ppid=17835 vsize=418448 CPUtime=191.53 cores=0-7
/proc/17837/stat : 17837 (NCVWr) R 17835 17837 17837 0 -1 4202496 1159 0 0 0 19153 0 0 0 25 0 1 0 548355323 428490752 873 33554432000 134512640 135113558 4287839504 18446744073709551615 134533486 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/17837/statm: 104612 873 58 147 0 103487 0
[pid=17841] ppid=17687 vsize=663512 CPUtime=0.21 cores=0-7
/proc/17841/stat : 17841 (python) S 17687 17687 17621 0 -1 4202560 1051 0 0 0 9 12 0 0 18 0 1 0 548364233 679436288 6590 33554432000 4194304 5683644 140737329327024 18446744073709551615 274664828486 0 0 16781312 514 15751849870123565315 0 0 17 6 0 0 0
/proc/17841/statm: 165878 6590 379 364 0 101703 0
[pid=17843] ppid=17841 vsize=268420 CPUtime=103.01 cores=0-7
/proc/17843/stat : 17843 (hybridGM3) R 17841 17843 17843 0 -1 4202496 5187 0 0 0 10300 1 0 0 25 0 1 0 548364233 274862080 4895 33554432000 134512640 135204385 4291620112 18446744073709551615 134538480 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/17843/statm: 67105 4895 63 169 0 66935 0
[pid=17847] ppid=17687 vsize=673768 CPUtime=0 cores=0-7
/proc/17847/stat : 17847 (python) S 17687 17687 17621 0 -1 4202560 927 0 0 0 0 0 0 0 18 0 1 0 548374451 689938432 6574 33554432000 4194304 5683644 140737329327024 18446744073709551615 274664828486 0 0 16781312 514 15661867766946725887 0 0 17 6 0 0 0
/proc/17847/statm: 168442 6574 350 364 0 104264 0
[pid=17849] ppid=17847 vsize=335996 CPUtime=1.08 cores=0-7
/proc/17849/stat : 17849 (iPAWS) R 17847 17849 17849 0 -1 4202496 1611 0 0 0 108 0 0 0 24 0 1 0 548374452 344059904 1321 33554432000 134512640 135114423 4290424128 18446744073709551615 134520436 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/17849/statm: 83999 1321 59 147 0 83851 0
[pid=17687/tid=17694] ppid=17685 vsize=684012 CPUtime=0 cores=0-7
/proc/17687/task/17694/stat : 17694 (python) S 17685 17687 17621 0 -1 4202560 25 936 0 0 0 0 0 0 19 0 34 0 548266059 700428288 8170 33554432000 4194304 5683644 140737329327024 18446744073709551615 274676631985 0 0 16781312 2 18446604440346820928 0 0 -1 0 0 0 0
[pid=17687/tid=17697] ppid=17685 vsize=684012 CPUtime=0 cores=0-7
/proc/17687/task/17697/stat : 17697 (python) S 17685 17687 17621 0 -1 4202560 23 936 0 0 0 0 0 0 19 0 34 0 548266063 700428288 8170 33554432000 4194304 5683644 140737329327024 18446744073709551615 274676631985 0 0 16781312 2 18446604440346820928 0 0 -1 3 0 0 0
[pid=17687/tid=17700] ppid=17685 vsize=684012 CPUtime=0 cores=0-7
/proc/17687/task/17700/stat : 17700 (python) S 17685 17687 17621 0 -1 4202560 29 936 0 0 0 0 0 0 18 0 34 0 548266067 700428288 8170 33554432000 4194304 5683644 140737329327024 18446744073709551615 274676631985 0 0 16781312 2 18446604440346820928 0 0 -1 0 0 0 0
[pid=17687/tid=17703] ppid=17685 vsize=684012 CPUtime=0 cores=0-7
/proc/17687/task/17703/stat : 17703 (python) S 17685 17687 17621 0 -1 4202560 32 936 0 0 0 0 0 0 15 0 34 0 548266070 700428288 8170 33554432000 4194304 5683644 140737329327024 18446744073709551615 274676631985 0 0 16781312 2 18446604440346820928 0 0 -1 5 0 0 0
[pid=17687/tid=17706] ppid=17685 vsize=684012 CPUtime=0 cores=0-7
/proc/17687/task/17706/stat : 17706 (python) S 17685 17687 17621 0 -1 4202560 32 936 0 0 0 0 0 0 18 0 34 0 548266074 700428288 8170 33554432000 4194304 5683644 140737329327024 18446744073709551615 274676631985 0 0 16781312 2 18446604440346820928 0 0 -1 0 0 0 0
[pid=17687/tid=17709] ppid=17685 vsize=684012 CPUtime=0 cores=0-7
/proc/17687/task/17709/stat : 17709 (python) S 17685 17687 17621 0 -1 4202560 27 936 0 0 0 0 0 0 22 0 34 0 548266078 700428288 8170 33554432000 4194304 5683644 140737329327024 18446744073709551615 274676631985 0 0 16781312 2 18446604440346820928 0 0 -1 7 0 0 0
[pid=17687/tid=17712] ppid=17685 vsize=684012 CPUtime=0 cores=0-7
/proc/17687/task/17712/stat : 17712 (python) S 17685 17687 17621 0 -1 4202560 109 936 0 0 0 0 0 0 18 0 34 0 548266082 700428288 8170 33554432000 4194304 5683644 140737329327024 18446744073709551615 274676631985 0 0 16781312 2 18446604440346820928 0 0 -1 1 0 0 0
[pid=17687/tid=17715] ppid=17685 vsize=684012 CPUtime=0 cores=0-7
/proc/17687/task/17715/stat : 17715 (python) S 17685 17687 17621 0 -1 4202560 112 936 0 0 0 0 0 0 18 0 34 0 548266086 700428288 8170 33554432000 4194304 5683644 140737329327024 18446744073709551615 274676631985 0 0 16781312 2 18446604440346820928 0 0 -1 6 0 0 0
[pid=17687/tid=17724] ppid=17685 vsize=684012 CPUtime=0 cores=0-7
/proc/17687/task/17724/stat : 17724 (python) S 17685 17687 17621 0 -1 4202560 43 936 0 0 0 0 0 0 18 0 34 0 548275960 700428288 8170 33554432000 4194304 5683644 140737329327024 18446744073709551615 274676631985 0 0 16781312 2 18446604440346820928 0 0 -1 1 0 0 0
[pid=17687/tid=17729] ppid=17685 vsize=684012 CPUtime=0 cores=0-7
/proc/17687/task/17729/stat : 17729 (python) S 17685 17687 17621 0 -1 4202560 46 936 0 0 0 0 0 0 18 0 34 0 548275993 700428288 8170 33554432000 4194304 5683644 140737329327024 18446744073709551615 274676631985 0 0 16781312 2 18446604440346820928 0 0 -1 6 0 0 0
[pid=17687/tid=17733] ppid=17685 vsize=684012 CPUtime=0 cores=0-7
/proc/17687/task/17733/stat : 17733 (python) S 17685 17687 17621 0 -1 4202560 38 936 0 0 0 0 0 0 18 0 34 0 548275998 700428288 8170 33554432000 4194304 5683644 140737329327024 18446744073709551615 274676631985 0 0 16781312 2 18446604440346820928 0 0 -1 0 0 0 0
[pid=17687/tid=17736] ppid=17685 vsize=684012 CPUtime=0 cores=0-7
/proc/17687/task/17736/stat : 17736 (python) S 17685 17687 17621 0 -1 4202560 33 936 0 0 0 0 0 0 25 0 34 0 548276003 700428288 8170 33554432000 4194304 5683644 140737329327024 18446744073709551615 274676631985 0 0 16781312 2 18446604440346820928 0 0 -1 6 0 0 0
[pid=17687/tid=17740] ppid=17685 vsize=684012 CPUtime=0 cores=0-7
/proc/17687/task/17740/stat : 17740 (python) S 17685 17687 17621 0 -1 4202560 48 936 0 0 0 0 0 0 18 0 34 0 548276013 700428288 8170 33554432000 4194304 5683644 140737329327024 18446744073709551615 274676631985 0 0 16781312 2 18446604440346820928 0 0 -1 6 0 0 0
[pid=17687/tid=17744] ppid=17685 vsize=684012 CPUtime=0 cores=0-7
/proc/17687/task/17744/stat : 17744 (python) S 17685 17687 17621 0 -1 4202560 42 936 0 0 0 0 0 0 18 0 34 0 548276108 700428288 8170 33554432000 4194304 5683644 140737329327024 18446744073709551615 274676631985 0 0 16781312 2 18446604440346820928 0 0 -1 1 0 0 0
[pid=17687/tid=17748] ppid=17685 vsize=684012 CPUtime=0 cores=0-7
/proc/17687/task/17748/stat : 17748 (python) S 17685 17687 17621 0 -1 4202560 34 936 0 0 0 0 0 0 20 0 34 0 548276127 700428288 8170 33554432000 4194304 5683644 140737329327024 18446744073709551615 274676631985 0 0 16781312 2 18446604440346820928 0 0 -1 6 0 0 0
[pid=17687/tid=17752] ppid=17685 vsize=684012 CPUtime=0 cores=0-7
/proc/17687/task/17752/stat : 17752 (python) S 17685 17687 17621 0 -1 4202560 34 936 0 0 0 0 0 0 20 0 34 0 548276606 700428288 8170 33554432000 4194304 5683644 140737329327024 18446744073709551615 274676631985 0 0 16781312 2 18446604440346820928 0 0 -1 6 0 0 0
[pid=17687/tid=17759] ppid=17685 vsize=684012 CPUtime=0 cores=0-7
/proc/17687/task/17759/stat : 17759 (python) S 17685 17687 17621 0 -1 4202560 34 936 0 0 0 0 0 0 20 0 34 0 548285985 700428288 8170 33554432000 4194304 5683644 140737329327024 18446744073709551615 274676631985 0 0 16781312 2 18446604440346820928 0 0 -1 1 0 0 0
[pid=17687/tid=17763] ppid=17685 vsize=684012 CPUtime=0 cores=0-7
/proc/17687/task/17763/stat : 17763 (python) S 17685 17687 17621 0 -1 4202560 42 936 0 0 0 0 0 0 18 0 34 0 548286019 700428288 8170 33554432000 4194304 5683644 140737329327024 18446744073709551615 274676631985 0 0 16781312 2 18446604440346820928 0 0 -1 6 0 0 0
[pid=17687/tid=17775] ppid=17685 vsize=684012 CPUtime=0 cores=0-7
/proc/17687/task/17775/stat : 17775 (python) S 17685 17687 17621 0 -1 4202560 44 936 0 0 0 0 0 0 19 0 34 0 548296356 700428288 8170 33554432000 4194304 5683644 140737329327024 18446744073709551615 274676631985 0 0 16781312 2 18446604440346820928 0 0 -1 6 0 0 0
[pid=17687/tid=17780] ppid=17685 vsize=684012 CPUtime=0 cores=0-7
/proc/17687/task/17780/stat : 17780 (python) S 17685 17687 17621 0 -1 4202560 33 936 0 0 0 0 0 0 20 0 34 0 548305487 700428288 8170 33554432000 4194304 5683644 140737329327024 18446744073709551615 274676631985 0 0 16781312 2 18446604440346820928 0 0 -1 1 0 0 0
[pid=17687/tid=17784] ppid=17685 vsize=684012 CPUtime=0 cores=0-7
/proc/17687/task/17784/stat : 17784 (python) S 17685 17687 17621 0 -1 4202560 45 936 0 0 0 0 0 0 18 0 34 0 548305734 700428288 8170 33554432000 4194304 5683644 140737329327024 18446744073709551615 274676631985 0 0 16781312 2 18446604440346820928 0 0 -1 6 0 0 0
[pid=17687/tid=17787] ppid=17685 vsize=684012 CPUtime=0 cores=0-7
/proc/17687/task/17787/stat : 17787 (python) S 17685 17687 17621 0 -1 4202560 34 936 0 0 0 0 0 0 19 0 34 0 548305780 700428288 8170 33554432000 4194304 5683644 140737329327024 18446744073709551615 274676631985 0 0 16781312 2 18446604440346820928 0 0 -1 3 0 0 0
[pid=17687/tid=17794] ppid=17685 vsize=684012 CPUtime=0 cores=0-7
/proc/17687/task/17794/stat : 17794 (python) S 17685 17687 17621 0 -1 4202560 40 936 0 0 0 0 0 0 18 0 34 0 548315611 700428288 8170 33554432000 4194304 5683644 140737329327024 18446744073709551615 274676631985 0 0 16781312 2 18446604440346820928 0 0 -1 1 0 0 0
[pid=17687/tid=17801] ppid=17685 vsize=684012 CPUtime=0 cores=0-7
/proc/17687/task/17801/stat : 17801 (python) S 17685 17687 17621 0 -1 4202560 36 936 0 0 0 0 0 0 20 0 34 0 548325457 700428288 8170 33554432000 4194304 5683644 140737329327024 18446744073709551615 274676631985 0 0 16781312 2 18446604440346820928 0 0 -1 1 0 0 0
[pid=17687/tid=17806] ppid=17685 vsize=684012 CPUtime=0 cores=0-7
/proc/17687/task/17806/stat : 17806 (python) S 17685 17687 17621 0 -1 4202560 41 936 0 0 0 0 0 0 18 0 34 0 548325540 700428288 8170 33554432000 4194304 5683644 140737329327024 18446744073709551615 274676631985 0 0 16781312 2 18446604440346820928 0 0 -1 6 0 0 0
[pid=17687/tid=17812] ppid=17685 vsize=684012 CPUtime=0 cores=0-7
/proc/17687/task/17812/stat : 17812 (python) S 17685 17687 17621 0 -1 4202560 31 936 0 0 0 0 0 0 20 0 34 0 548335485 700428288 8170 33554432000 4194304 5683644 140737329327024 18446744073709551615 274676631985 0 0 16781312 2 18446604440346820928 0 0 -1 1 0 0 0
[pid=17687/tid=17815] ppid=17685 vsize=684012 CPUtime=0 cores=0-7
/proc/17687/task/17815/stat : 17815 (python) S 17685 17687 17621 0 -1 4202560 39 936 0 0 0 0 0 0 18 0 34 0 548335512 700428288 8170 33554432000 4194304 5683644 140737329327024 18446744073709551615 274676631985 0 0 16781312 2 18446604440346820928 0 0 -1 6 0 0 0
[pid=17687/tid=17818] ppid=17685 vsize=684012 CPUtime=0 cores=0-7
/proc/17687/task/17818/stat : 17818 (python) S 17685 17687 17621 0 -1 4202560 31 936 0 0 0 0 0 0 20 0 34 0 548335562 700428288 8170 33554432000 4194304 5683644 140737329327024 18446744073709551615 274676631985 0 0 16781312 2 18446604440346820928 0 0 -1 1 0 0 0
[pid=17687/tid=17826] ppid=17685 vsize=684012 CPUtime=0 cores=0-7
/proc/17687/task/17826/stat : 17826 (python) S 17685 17687 17621 0 -1 4202560 38 936 0 0 0 0 0 0 20 0 34 0 548345518 700428288 8170 33554432000 4194304 5683644 140737329327024 18446744073709551615 274676631985 0 0 16781312 2 18446604440346820928 0 0 -1 1 0 0 0
[pid=17687/tid=17832] ppid=17685 vsize=684012 CPUtime=0 cores=0-7
/proc/17687/task/17832/stat : 17832 (python) S 17685 17687 17621 0 -1 4202560 43 936 0 0 0 0 0 0 18 0 34 0 548355121 700428288 8170 33554432000 4194304 5683644 140737329327024 18446744073709551615 274676631985 0 0 16781312 2 18446604440346820928 0 0 -1 6 0 0 0
[pid=17687/tid=17836] ppid=17685 vsize=684012 CPUtime=0 cores=0-7
/proc/17687/task/17836/stat : 17836 (python) S 17685 17687 17621 0 -1 4202560 37 936 0 0 0 0 0 0 20 0 34 0 548355323 700428288 8170 33554432000 4194304 5683644 140737329327024 18446744073709551615 274676631985 0 0 16781312 2 18446604440346820928 0 0 -1 1 0 0 0
[pid=17687/tid=17842] ppid=17685 vsize=684012 CPUtime=0 cores=0-7
/proc/17687/task/17842/stat : 17842 (python) S 17685 17687 17621 0 -1 4202560 34 936 0 0 0 0 0 0 20 0 34 0 548364233 700428288 8170 33554432000 4194304 5683644 140737329327024 18446744073709551615 274676631985 0 0 16781312 2 18446604440346820928 0 0 -1 1 0 0 0
[pid=17687/tid=17848] ppid=17685 vsize=684012 CPUtime=0 cores=0-7
/proc/17687/task/17848/stat : 17848 (python) S 17685 17687 17621 0 -1 4202560 34 936 0 0 0 0 0 0 20 0 34 0 548374452 700428288 8170 33554432000 4194304 5683644 140737329327024 18446744073709551615 274676631985 0 0 16781312 2 18446604440346820928 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 8638.42
Current children cumulated vsize (KiB) 32348760

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 1086.9
CPU time (s): 8638.42
CPU user time (s): 8628.9
CPU system time (s): 9.52
CPU usage (%): 794.773
Max. virtual memory (cumulated for all children) (KiB): 32348760

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.32919
system time used= 0.222966
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65512
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= 3132
involuntary context switches= 103

runsolver used 10.0235 second user time and 22.5946 second system time

The end

Launcher Data 

Begin job on node131 at 2011-05-02 22:04:22
IDJOB=3321759
IDBENCH=82537
IDSOLVER=1712
FILE ID=node131/3321759-1304366662
RUNJOBID= node131-1304366465-17635
PBS_JOBID= 13181740
Free space on /tmp= 72860 MiB

SOLVER NAME= borg-sat 11.03.02-random
BENCH NAME= SAT11/random/large/unif-k7-r85-v200-c17000-S181603592-089-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-3321759-1304366662/watcher-3321759-1304366662 -o /tmp/evaluation-result-3321759-1304366662/solver-3321759-1304366662 -C 40000 -W 5100 -M 31000  python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3321759-1304366662.cnf -seed 178252680 -budget 40000 -cores 8

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

MD5SUM BENCH= af7b69f0071c372d5cdc250bc7f688e1
RANDOM SEED=178252680

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

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

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


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      23415524 kB
Buffers:        313604 kB
Cached:        2092776 kB
SwapCached:        168 kB
Active:        7213988 kB
Inactive:      1976600 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      23415524 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:           32204 kB
Writeback:          20 kB
AnonPages:     6784444 kB
Mapped:          24560 kB
Slab:           262516 kB
PageTables:      21036 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:  7554004 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 72828 MiB
End job on node131 at 2011-05-02 22:22:31