Trace number 3378185

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)? 4775.52 1203.58

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v25000-c105000-S533496308-018-UNKNOWN.cnf
MD5SUMd893b9743a6b7d8026df42df0d29d561
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark122.788
Satisfiable
(Un)Satisfiability was proved
Number of variables25000
Number of clauses105000
Sum of the clauses size315000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3105000
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.37/0.50	c INFO: loaded portfolio from HOME/etc/borg-mix+class.random.pickle
0.37/0.50	c INFO: solving HOME/instance-3378185-1305463428.cnf
0.37/0.50	c INFO: computing task features
0.66/0.86	c INFO: computed variable-clause graph statistics
0.66/0.87	c INFO: computed clause balance statistics
2.57/2.72	c INFO: computed variable balance statistics
4.07/4.25	c INFO: computed small-clause counts
4.07/4.25	c INFO: computed Horn-clause counts
4.87/5.08	c INFO: computed variable graph statistics
4.87/5.08	c INFO: collected features for HOME/instance-3378185-1305463428.cnf in 4.57 s
4.87/5.09	c INFO: running hybridGM3@0 for 97 with 1195 remaining (b = 0.40)
4.96/5.10	c INFO: running hybridGM3@0 for 97 with 1195 remaining (b = 0.24)
4.96/5.11	c INFO: running hybridGM3@0 for 97 with 1195 remaining (b = 0.17)
4.96/5.12	c INFO: running hybridGM3@0 for 194 with 1195 remaining (b = 0.23)
406.94/105.93	c INFO: running hybridGM3@0 for 97 with 1094 remaining (b = 0.10)
406.94/105.95	c INFO: running hybridGM3@0 for 97 with 1094 remaining (b = 0.10)
406.94/105.95	c INFO: running hybridGM3@0 for 97 with 1094 remaining (b = 0.10)
786.70/201.14	c INFO: running hybridGM3@99 for 97 with 999 remaining (b = 0.10)
786.70/201.16	c INFO: running hybridGM3@100 for 97 with 999 remaining (b = 0.10)
786.70/201.17	c INFO: running TNM@0 for 97 with 999 remaining (b = 0.12)
790.65/202.16	c INFO: running hybridGM3@95 for 97 with 998 remaining (b = 0.10)
1166.43/296.37	c INFO: running hybridGM3@100 for 97 with 904 remaining (b = 0.10)
1186.81/301.41	c INFO: running hybridGM3@0 for 97 with 899 remaining (b = 0.09)
1189.48/302.40	c INFO: running hybridGM3@0 for 97 with 898 remaining (b = 0.07)
1193.45/303.39	c INFO: running hybridGM3@190 for 97 with 897 remaining (b = 0.06)
1550.42/392.63	c INFO: running hybridGM3@0 for 194 with 807 remaining (b = 0.10)
1574.24/398.63	c INFO: running hybridGM3@0 for 194 with 801 remaining (b = 0.07)
1588.55/402.29	c INFO: running hybridGM3@100 for 97 with 798 remaining (b = 0.03)
1592.54/403.29	c INFO: running hybridGM3@100 for 97 with 797 remaining (b = 0.03)
1967.76/497.53	c INFO: running TNM@195 for 97 with 702 remaining (b = 0.04)
1995.61/504.53	c INFO: running TNM@0 for 97 with 695 remaining (b = 0.05)
2330.62/588.77	c INFO: running hybridGM3@94 for 97 with 611 remaining (b = 0.03)
2366.42/597.79	c INFO: running hybridGM3@100 for 97 with 602 remaining (b = 0.03)
2374.76/599.83	c INFO: running TNM@294 for 97 with 600 remaining (b = 0.03)
2390.72/603.83	c INFO: running TNM@196 for 194 with 596 remaining (b = 0.05)
2733.75/690.01	c INFO: running gnovelty+2@0 for 97 with 510 remaining (b = 0.03)
2745.32/693.01	c INFO: running hybridGM3@293 for 97 with 507 remaining (b = 0.03)
2750.09/694.14	c INFO: running hybridGM3@0 for 194 with 506 remaining (b = 0.05)
3133.29/790.45	c INFO: running TNM@392 for 194 with 410 remaining (b = 0.04)
3136.49/791.24	c INFO: running hybridGM3@0 for 194 with 409 remaining (b = 0.04)
3172.28/800.30	c INFO: running TNM@294 for 97 with 400 remaining (b = 0.02)
3558.30/897.23	c INFO: running hybridGM3@100 for 97 with 303 remaining (b = 0.02)
3571.44/900.55	c INFO: running TNM@493 for 97 with 299 remaining (b = 0.03)
3903.30/983.91	c INFO: running TNM@491 for 97 with 216 remaining (b = 0.03)
3920.79/988.35	c INFO: running TNM@0 for 97 with 212 remaining (b = 0.02)
3937.09/992.47	c INFO: running hybridGM3@0 for 208 with 208 remaining (b = 0.03)
3950.61/995.80	c INFO: running hybridGM3@0 for 204 with 204 remaining (b = 0.03)
4305.06/1085.18	c INFO: running adaptg2wsat2009++@0 for 115 with 115 remaining (b = 0.01)
4318.96/1088.62	c INFO: running TNM@0 for 111 with 111 remaining (b = 0.01)
4774.99/1203.55	s UNKNOWN

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: UNKNOWN

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-3378185-1305463428/watcher-3378185-1305463428 -o /tmp/evaluation-result-3378185-1305463428/solver-3378185-1305463428 -C 4800 -W 1300 -M 15500 python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3378185-1305463428.cnf -seed 1317774627 -budget 4800 -cores 4 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 7.80 7.52 5.91 5/334 18301
/proc/meminfo: memFree=17844324/32950928 swapFree=64721848/67111528
[pid=18301] ppid=18299 vsize=15772 CPUtime=0 cores=0,2,4,6
/proc/18301/stat : 18301 (python) S 18299 18301 17961 0 -1 4202496 926 0 0 0 0 0 0 0 25 0 1 0 657942586 16150528 806 33554432000 4194304 5683644 140734403580496 18446744073709551615 248089696256 0 2147483391 16781312 2 18446744071699199166 0 0 17 2 0 0 0
/proc/18301/statm: 3943 806 356 364 0 430 0

[startup+0.034068 s]
/proc/loadavg: 7.80 7.52 5.91 5/334 18301
/proc/meminfo: memFree=17844324/32950928 swapFree=64721848/67111528
[pid=18301] ppid=18299 vsize=18880 CPUtime=0.02 cores=0,2,4,6
/proc/18301/stat : 18301 (python) R 18299 18301 17961 0 -1 4202496 1282 0 0 0 2 0 0 0 25 0 1 0 657942586 19333120 1135 33554432000 4194304 5683644 140734403580496 18446744073709551615 4672201 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/18301/statm: 4720 1135 421 364 0 689 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 18880

[startup+0.10106 s]
/proc/loadavg: 7.80 7.52 5.91 5/334 18301
/proc/meminfo: memFree=17844324/32950928 swapFree=64721848/67111528
[pid=18301] ppid=18299 vsize=102008 CPUtime=0.07 cores=0,2,4,6
/proc/18301/stat : 18301 (python) S 18299 18301 17961 0 -1 4202496 3025 0 0 0 5 2 0 0 25 0 1 0 657942586 104456192 2717 33554432000 4194304 5683644 140734403580496 18446744073709551615 248089696256 0 2147483391 16781312 2 18446744071699199166 0 0 17 2 0 0 0
/proc/18301/statm: 25502 2717 841 364 0 1802 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 102008

[startup+0.301025 s]
/proc/loadavg: 7.80 7.52 5.91 5/334 18301
/proc/meminfo: memFree=17844324/32950928 swapFree=64721848/67111528
[pid=18301] ppid=18299 vsize=151076 CPUtime=0.2 cores=0,2,4,6
/proc/18301/stat : 18301 (python) S 18299 18301 17961 0 -1 4202496 6296 931 1 0 15 5 0 0 25 0 1 0 657942586 154701824 4423 33554432000 4194304 5683644 140734403580496 18446744073709551615 248089696256 0 2147483391 16781312 2 18446744071699199166 0 0 17 2 0 0 0
/proc/18301/statm: 37769 4423 1220 364 0 3180 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 151076

[startup+0.700953 s]
/proc/loadavg: 7.80 7.52 5.91 5/334 18301
/proc/meminfo: memFree=17844324/32950928 swapFree=64721848/67111528
[pid=18301] ppid=18299 vsize=292680 CPUtime=0.56 cores=0,2,4,6
/proc/18301/stat : 18301 (python) R 18299 18301 17961 0 -1 4202496 12882 931 1 0 47 9 0 0 25 0 1 0 657942586 299704320 10451 33554432000 4194304 5683644 140734403580496 18446744073709551615 248089359045 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/18301/statm: 73190 10451 1761 364 0 9114 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 292680

[startup+1.50081 s]
/proc/loadavg: 7.80 7.52 5.91 6/335 18306
/proc/meminfo: memFree=17797072/32950928 swapFree=64721848/67111528
[pid=18301] ppid=18299 vsize=302956 CPUtime=1.37 cores=0,2,4,6
/proc/18301/stat : 18301 (python) R 18299 18301 17961 0 -1 4202496 18422 931 1 0 127 10 0 0 25 0 1 0 657942586 310226944 13124 33554432000 4194304 5683644 140734403580496 18446744073709551615 248093106869 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/18301/statm: 75739 13124 1826 364 0 11663 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 302956

[startup+3.10053 s]
/proc/loadavg: 7.58 7.48 5.91 6/335 18306
/proc/meminfo: memFree=17796328/32950928 swapFree=64721848/67111528
[pid=18301] ppid=18299 vsize=302956 CPUtime=2.97 cores=0,2,4,6
/proc/18301/stat : 18301 (python) R 18299 18301 17961 0 -1 4202496 18423 931 1 0 287 10 0 0 25 0 1 0 657942586 310226944 13125 33554432000 4194304 5683644 140734403580496 18446744073709551615 47170299240544 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/18301/statm: 75739 13125 1827 364 0 11663 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 302956

[startup+6.30097 s]
/proc/loadavg: 7.58 7.48 5.91 9/347 18318
/proc/meminfo: memFree=17734444/32950928 swapFree=64721848/67111528
[pid=18301] ppid=18299 vsize=342040 CPUtime=4.99 cores=0,2,4,6
/proc/18301/stat : 18301 (python) S 18299 18301 17961 0 -1 4202496 21236 931 1 0 488 11 0 0 25 0 5 0 657942586 350248960 12699 33554432000 4194304 5683644 140734403580496 18446744073709551615 248101524939 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18301/statm: 85510 12699 1873 364 0 21419 0
[pid=18307] ppid=18301 vsize=301028 CPUtime=0 cores=0,2,4,6
/proc/18307/stat : 18307 (python) S 18301 18301 17961 0 -1 4202560 727 0 0 0 0 0 0 0 19 0 1 0 657943096 308252672 11163 33554432000 4194304 5683644 140734403580496 18446744073709551615 248089718287 0 0 16781312 514 4094199225842139135 0 0 17 2 0 0 0
/proc/18307/statm: 75257 11163 353 364 0 11175 0
[pid=18309] ppid=18307 vsize=268428 CPUtime=1.18 cores=0,2,4,6
/proc/18309/stat : 18309 (hybridGM3) R 18307 18309 18309 0 -1 4202496 7136 0 0 0 117 1 0 0 25 0 1 0 657943096 274870272 6871 33554432000 134512640 135204385 4290505248 18446744073709551615 134545880 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/18309/statm: 67107 6871 64 169 0 66937 0
[pid=18310] ppid=18301 vsize=311284 CPUtime=0 cores=0,2,4,6
/proc/18310/stat : 18310 (python) S 18301 18301 17961 0 -1 4202560 738 0 0 0 0 0 0 0 20 0 1 0 657943097 318754816 11161 33554432000 4194304 5683644 140734403580496 18446744073709551615 248089718342 0 0 16781312 514 2778650880516292607 0 0 17 4 0 0 0
/proc/18310/statm: 77821 11161 347 364 0 13736 0
[pid=18312] ppid=18310 vsize=268424 CPUtime=1.18 cores=0,2,4,6
/proc/18312/stat : 18312 (hybridGM3) R 18310 18312 18312 0 -1 4202496 7130 0 0 0 118 0 0 0 25 0 1 0 657943097 274866176 6868 33554432000 134512640 135204385 4290542752 18446744073709551615 134545851 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/18312/statm: 67106 6868 64 169 0 66936 0
[pid=18313] ppid=18301 vsize=321540 CPUtime=0 cores=0,2,4,6
/proc/18313/stat : 18313 (python) S 18301 18301 17961 0 -1 4202560 741 0 0 0 0 0 0 0 20 0 1 0 657943098 329256960 11165 33554432000 4194304 5683644 140734403580496 18446744073709551615 248089718342 0 0 16781312 514 10941341367363698687 0 0 17 2 0 0 0
/proc/18313/statm: 80385 11165 347 364 0 16297 0
[pid=18315] ppid=18313 vsize=268428 CPUtime=1.16 cores=0,2,4,6
/proc/18315/stat : 18315 (hybridGM3) R 18313 18315 18315 0 -1 4202496 7127 0 0 0 116 0 0 0 25 0 1 0 657943098 274870272 6868 33554432000 134512640 135204385 4288796448 18446744073709551615 134536922 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/18315/statm: 67107 6868 64 169 0 66937 0
[pid=18316] ppid=18301 vsize=331796 CPUtime=0 cores=0,2,4,6
/proc/18316/stat : 18316 (python) S 18301 18301 17961 0 -1 4202560 751 0 0 0 0 0 0 0 20 0 1 0 657943099 339759104 11169 33554432000 4194304 5683644 140734403580496 18446744073709551615 248089718342 0 0 16781312 514 4567552450617147391 0 0 17 4 0 0 0
/proc/18316/statm: 82949 11169 347 364 0 18858 0
[pid=18318] ppid=18316 vsize=268424 CPUtime=1.15 cores=0,2,4,6
/proc/18318/stat : 18318 (hybridGM3) R 18316 18318 18318 0 -1 4202496 7126 0 0 0 115 0 0 0 25 0 1 0 657943099 274866176 6867 33554432000 134512640 135204385 4294930384 18446744073709551615 134537403 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/18318/statm: 67106 6867 64 169 0 66936 0
[pid=18301/tid=18308] ppid=18299 vsize=342040 CPUtime=0 cores=0,2,4,6
/proc/18301/task/18308/stat : 18308 (python) S 18299 18301 17961 0 -1 4202560 24 931 0 0 0 0 0 0 25 0 5 0 657943096 350248960 12699 33554432000 4194304 5683644 140734403580496 18446744073709551615 248101521841 0 0 16781312 2 18446604441907639616 0 0 -1 6 0 0 0
[pid=18301/tid=18311] ppid=18299 vsize=342040 CPUtime=0 cores=0,2,4,6
/proc/18301/task/18311/stat : 18311 (python) S 18299 18301 17961 0 -1 4202560 27 931 0 0 0 0 0 0 25 0 5 0 657943097 350248960 12699 33554432000 4194304 5683644 140734403580496 18446744073709551615 248101521841 0 0 16781312 2 18446604441907639616 0 0 -1 4 0 0 0
[pid=18301/tid=18314] ppid=18299 vsize=342040 CPUtime=0 cores=0,2,4,6
/proc/18301/task/18314/stat : 18314 (python) S 18299 18301 17961 0 -1 4202560 20 931 0 0 0 0 0 0 25 0 5 0 657943098 350248960 12699 33554432000 4194304 5683644 140734403580496 18446744073709551615 248101521841 0 0 16781312 2 18446604441907639616 0 0 -1 2 0 0 0
[pid=18301/tid=18317] ppid=18299 vsize=342040 CPUtime=0 cores=0,2,4,6
/proc/18301/task/18317/stat : 18317 (python) S 18299 18301 17961 0 -1 4202560 25 931 0 0 0 0 0 0 25 0 5 0 657943099 350248960 12699 33554432000 4194304 5683644 140734403580496 18446744073709551615 248101521841 0 0 16781312 2 18446604441907639616 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 9.66
Current children cumulated vsize (KiB) 2681392

[startup+12.7008 s]
/proc/loadavg: 7.64 7.50 5.93 9/347 18318
/proc/meminfo: memFree=17672568/32950928 swapFree=64721848/67111528
[pid=18301] ppid=18299 vsize=342040 CPUtime=4.99 cores=0,2,4,6
/proc/18301/stat : 18301 (python) S 18299 18301 17961 0 -1 4202496 21236 931 1 0 488 11 0 0 25 0 5 0 657942586 350248960 12699 33554432000 4194304 5683644 140734403580496 18446744073709551615 248101524939 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18301/statm: 85510 12699 1873 364 0 21419 0
[pid=18307] ppid=18301 vsize=301028 CPUtime=0 cores=0,2,4,6
/proc/18307/stat : 18307 (python) S 18301 18301 17961 0 -1 4202560 889 0 0 0 0 0 0 0 18 0 1 0 657943096 308252672 11186 33554432000 4194304 5683644 140734403580496 18446744073709551615 248089718287 0 0 16781312 514 4094199225842106626 0 0 17 2 0 0 0
/proc/18307/statm: 75257 11186 376 364 0 11175 0
[pid=18309] ppid=18307 vsize=268428 CPUtime=7.51 cores=0,2,4,6
/proc/18309/stat : 18309 (hybridGM3) R 18307 18309 18309 0 -1 4202496 7136 0 0 0 750 1 0 0 25 0 1 0 657943096 274870272 6871 33554432000 134512640 135204385 4290505248 18446744073709551615 134547471 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/18309/statm: 67107 6871 64 169 0 66937 0
[pid=18310] ppid=18301 vsize=311284 CPUtime=0 cores=0,2,4,6
/proc/18310/stat : 18310 (python) S 18301 18301 17961 0 -1 4202560 908 0 0 0 0 0 0 0 18 0 1 0 657943097 318754816 11184 33554432000 4194304 5683644 140734403580496 18446744073709551615 248089718342 0 0 16781312 514 2778650880516260098 0 0 17 4 0 0 0
/proc/18310/statm: 77821 11184 370 364 0 13736 0
[pid=18312] ppid=18310 vsize=268424 CPUtime=7.58 cores=0,2,4,6
/proc/18312/stat : 18312 (hybridGM3) R 18310 18312 18312 0 -1 4202496 7130 0 0 0 758 0 0 0 25 0 1 0 657943097 274866176 6868 33554432000 134512640 135204385 4290542752 18446744073709551615 134537357 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/18312/statm: 67106 6868 64 169 0 66936 0
[pid=18313] ppid=18301 vsize=321540 CPUtime=0 cores=0,2,4,6
/proc/18313/stat : 18313 (python) S 18301 18301 17961 0 -1 4202560 911 0 0 0 0 0 0 0 18 0 1 0 657943098 329256960 11188 33554432000 4194304 5683644 140734403580496 18446744073709551615 248089718342 0 0 16781312 514 10941341367363666178 0 0 17 2 0 0 0
/proc/18313/statm: 80385 11188 370 364 0 16297 0
[pid=18315] ppid=18313 vsize=268428 CPUtime=7.53 cores=0,2,4,6
/proc/18315/stat : 18315 (hybridGM3) R 18313 18315 18315 0 -1 4202496 7127 0 0 0 753 0 0 0 25 0 1 0 657943098 274870272 6868 33554432000 134512640 135204385 4288796448 18446744073709551615 134536744 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/18315/statm: 67107 6868 64 169 0 66937 0
[pid=18316] ppid=18301 vsize=331796 CPUtime=0 cores=0,2,4,6
/proc/18316/stat : 18316 (python) S 18301 18301 17961 0 -1 4202560 919 0 0 0 0 0 0 0 18 0 1 0 657943099 339759104 11192 33554432000 4194304 5683644 140734403580496 18446744073709551615 248089718342 0 0 16781312 514 4567552450617114883 0 0 17 4 0 0 0
/proc/18316/statm: 82949 11192 370 364 0 18858 0
[pid=18318] ppid=18316 vsize=268424 CPUtime=7.53 cores=0,2,4,6
/proc/18318/stat : 18318 (hybridGM3) R 18316 18318 18318 0 -1 4202496 7127 0 0 0 753 0 0 0 25 0 1 0 657943099 274866176 6868 33554432000 134512640 135204385 4294930384 18446744073709551615 134536993 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/18318/statm: 67106 6868 64 169 0 66936 0
[pid=18301/tid=18308] ppid=18299 vsize=342040 CPUtime=0 cores=0,2,4,6
/proc/18301/task/18308/stat : 18308 (python) S 18299 18301 17961 0 -1 4202560 24 931 0 0 0 0 0 0 25 0 5 0 657943096 350248960 12699 33554432000 4194304 5683644 140734403580496 18446744073709551615 248101521841 0 0 16781312 2 18446604441907639616 0 0 -1 6 0 0 0
[pid=18301/tid=18311] ppid=18299 vsize=342040 CPUtime=0 cores=0,2,4,6
/proc/18301/task/18311/stat : 18311 (python) S 18299 18301 17961 0 -1 4202560 27 931 0 0 0 0 0 0 25 0 5 0 657943097 350248960 12699 33554432000 4194304 5683644 140734403580496 18446744073709551615 248101521841 0 0 16781312 2 18446604441907639616 0 0 -1 4 0 0 0
[pid=18301/tid=18314] ppid=18299 vsize=342040 CPUtime=0 cores=0,2,4,6
/proc/18301/task/18314/stat : 18314 (python) S 18299 18301 17961 0 -1 4202560 20 931 0 0 0 0 0 0 25 0 5 0 657943098 350248960 12699 33554432000 4194304 5683644 140734403580496 18446744073709551615 248101521841 0 0 16781312 2 18446604441907639616 0 0 -1 2 0 0 0
[pid=18301/tid=18317] ppid=18299 vsize=342040 CPUtime=0 cores=0,2,4,6
/proc/18301/task/18317/stat : 18317 (python) S 18299 18301 17961 0 -1 4202560 25 931 0 0 0 0 0 0 25 0 5 0 657943099 350248960 12699 33554432000 4194304 5683644 140734403580496 18446744073709551615 248101521841 0 0 16781312 2 18446604441907639616 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 35.14
Current children cumulated vsize (KiB) 2681392

[startup+25.5006 s]
/proc/loadavg: 7.86 7.55 5.96 9/347 18319
/proc/meminfo: memFree=17672912/32950928 swapFree=64721848/67111528
[pid=18301] ppid=18299 vsize=342040 CPUtime=4.99 cores=0,2,4,6
/proc/18301/stat : 18301 (python) S 18299 18301 17961 0 -1 4202496 21236 931 1 0 488 11 0 0 25 0 5 0 657942586 350248960 12699 33554432000 4194304 5683644 140734403580496 18446744073709551615 248101524939 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18301/statm: 85510 12699 1873 364 0 21419 0
[pid=18307] ppid=18301 vsize=301028 CPUtime=0.04 cores=0,2,4,6
/proc/18307/stat : 18307 (python) S 18301 18301 17961 0 -1 4202560 895 0 0 0 2 2 0 0 18 0 1 0 657943096 308252672 11186 33554432000 4194304 5683644 140734403580496 18446744073709551615 248089718287 0 0 16781312 514 12529031755530731778 0 0 17 2 0 0 0
/proc/18307/statm: 75257 11186 376 364 0 11175 0
[pid=18309] ppid=18307 vsize=268428 CPUtime=20.17 cores=0,2,4,6
/proc/18309/stat : 18309 (hybridGM3) R 18307 18309 18309 0 -1 4202496 7136 0 0 0 2016 1 0 0 25 0 1 0 657943096 274870272 6871 33554432000 134512640 135204385 4290505248 18446744073709551615 134546073 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/18309/statm: 67107 6871 64 169 0 66937 0
[pid=18310] ppid=18301 vsize=311284 CPUtime=0.03 cores=0,2,4,6
/proc/18310/stat : 18310 (python) S 18301 18301 17961 0 -1 4202560 917 0 0 0 2 1 0 0 18 0 1 0 657943097 318754816 11184 33554432000 4194304 5683644 140734403580496 18446744073709551615 248089718342 0 0 16781312 514 12529031755530731778 0 0 17 4 0 0 0
/proc/18310/statm: 77821 11184 370 364 0 13736 0
[pid=18312] ppid=18310 vsize=268424 CPUtime=20.38 cores=0,2,4,6
/proc/18312/stat : 18312 (hybridGM3) R 18310 18312 18312 0 -1 4202496 7133 0 0 0 2038 0 0 0 25 0 1 0 657943097 274866176 6871 33554432000 134512640 135204385 4290542752 18446744073709551615 134545975 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/18312/statm: 67106 6871 64 169 0 66936 0
[pid=18313] ppid=18301 vsize=321540 CPUtime=0.04 cores=0,2,4,6
/proc/18313/stat : 18313 (python) S 18301 18301 17961 0 -1 4202560 917 0 0 0 2 2 0 0 18 0 1 0 657943098 329256960 11188 33554432000 4194304 5683644 140734403580496 18446744073709551615 248089718342 0 0 16781312 514 12529031755530731778 0 0 17 2 0 0 0
/proc/18313/statm: 80385 11188 370 364 0 16297 0
[pid=18315] ppid=18313 vsize=268428 CPUtime=20.27 cores=0,2,4,6
/proc/18315/stat : 18315 (hybridGM3) R 18313 18315 18315 0 -1 4202496 7127 0 0 0 2027 0 0 0 25 0 1 0 657943098 274870272 6868 33554432000 134512640 135204385 4288796448 18446744073709551615 134536993 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/18315/statm: 67107 6868 64 169 0 66937 0
[pid=18316] ppid=18301 vsize=331796 CPUtime=0.04 cores=0,2,4,6
/proc/18316/stat : 18316 (python) S 18301 18301 17961 0 -1 4202560 925 0 0 0 2 2 0 0 18 0 1 0 657943099 339759104 11192 33554432000 4194304 5683644 140734403580496 18446744073709551615 248089718342 0 0 16781312 514 12529031755530731779 0 0 17 4 0 0 0
/proc/18316/statm: 82949 11192 370 364 0 18858 0
[pid=18318] ppid=18316 vsize=268424 CPUtime=20.27 cores=0,2,4,6
/proc/18318/stat : 18318 (hybridGM3) R 18316 18318 18318 0 -1 4202496 7131 0 0 0 2027 0 0 0 25 0 1 0 657943099 274866176 6872 33554432000 134512640 135204385 4294930384 18446744073709551615 134536993 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/18318/statm: 67106 6872 64 169 0 66936 0
[pid=18301/tid=18308] ppid=18299 vsize=342040 CPUtime=0 cores=0,2,4,6
/proc/18301/task/18308/stat : 18308 (python) S 18299 18301 17961 0 -1 4202560 24 931 0 0 0 0 0 0 25 0 5 0 657943096 350248960 12699 33554432000 4194304 5683644 140734403580496 18446744073709551615 248101521841 0 0 16781312 2 18446604441907639616 0 0 -1 6 0 0 0
[pid=18301/tid=18311] ppid=18299 vsize=342040 CPUtime=0 cores=0,2,4,6
/proc/18301/task/18311/stat : 18311 (python) S 18299 18301 17961 0 -1 4202560 27 931 0 0 0 0 0 0 25 0 5 0 657943097 350248960 12699 33554432000 4194304 5683644 140734403580496 18446744073709551615 248101521841 0 0 16781312 2 18446604441907639616 0 0 -1 4 0 0 0
[pid=18301/tid=18314] ppid=18299 vsize=342040 CPUtime=0 cores=0,2,4,6
/proc/18301/task/18314/stat : 18314 (python) S 18299 18301 17961 0 -1 4202560 20 931 0 0 0 0 0 0 25 0 5 0 657943098 350248960 12699 33554432000 4194304 5683644 140734403580496 18446744073709551615 248101521841 0 0 16781312 2 18446604441907639616 0 0 -1 2 0 0 0

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

/proc/meminfo: memFree=17531372/32950928 swapFree=64721848/67111528
[pid=18301] ppid=18299 vsize=485624 CPUtime=297.26 cores=0,2,4,6
/proc/18301/stat : 18301 (python) S 18299 18301 17961 0 -1 4202496 35413 9238 1 0 519 16 29158 33 17 0 19 0 657942586 497278976 12784 33554432000 4194304 5683644 140734403580496 18446744073709551615 248101528383 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18301/statm: 121406 12784 1902 364 0 57273 0
[pid=18307] ppid=18301 vsize=311272 CPUtime=0.69 cores=0,2,4,6
/proc/18307/stat : 18307 (python) S 18301 18301 17961 0 -1 4202560 1238 0 0 0 34 35 0 0 18 0 2 0 657943096 318742528 11231 33554432000 4194304 5683644 140734403580496 18446744073709551615 248101528383 0 0 16781824 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18307/statm: 77818 11231 416 364 0 13736 0
[pid=18309] ppid=18307 vsize=0 CPUtime=295.28 cores=0,2,4,6
/proc/18309/stat : 18309 (hybridGM3) R 18307 18309 18309 0 -1 4203524 7137 0 0 0 29526 2 0 0 18 0 1 0 657943096 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 0 0 0 0
/proc/18309/statm: 0 0 0 0 0 0 0
[pid=18307/tid=18331] ppid=18301 vsize=311272 CPUtime=0 cores=0,2,4,6
/proc/18307/task/18331/stat : 18331 (python) S 18301 18301 17961 0 -1 4202560 48 0 0 0 0 0 0 0 18 0 2 0 657953179 318742528 11231 33554432000 4194304 5683644 140734403580496 18446744073709551615 248101521841 0 0 16781824 2 18446604453865948288 0 0 -1 6 0 0 0
[pid=18313] ppid=18301 vsize=321540 CPUtime=0.94 cores=0,2,4,6
/proc/18313/stat : 18313 (python) S 18301 18301 17961 0 -1 4202560 1143 0 0 0 49 45 0 0 18 0 2 0 657943098 329256960 11218 33554432000 4194304 5683644 140734403580496 18446744073709551615 248101524939 0 0 16781312 514 18446744073709551615 0 0 17 2 0 0 0
/proc/18313/statm: 80385 11218 399 364 0 16297 0
[pid=18315] ppid=18313 vsize=268428 CPUtime=390.82 cores=0,2,4,6
/proc/18315/stat : 18315 (hybridGM3) T 18313 18315 18315 0 -1 4202496 7134 0 0 0 39081 1 0 0 25 0 1 0 657943098 274870272 6875 33554432000 134512640 135204385 4288796448 18446744073709551615 134547453 0 0 16781312 0 18446744071562691360 0 0 17 0 0 0 0
/proc/18315/statm: 67107 6875 64 169 0 66937 0
[pid=18313/tid=18332] ppid=18301 vsize=321540 CPUtime=0 cores=0,2,4,6
/proc/18313/task/18332/stat : 18332 (python) S 18301 18301 17961 0 -1 4202560 45 0 0 0 0 0 0 0 18 0 2 0 657953181 329256960 11218 33554432000 4194304 5683644 140734403580496 18446744073709551615 248101521841 0 0 16781312 514 18446604442575270912 0 0 -1 2 0 0 0
[pid=18316] ppid=18301 vsize=331796 CPUtime=0.71 cores=0,2,4,6
/proc/18316/stat : 18316 (python) S 18301 18301 17961 0 -1 4202560 1159 0 0 0 40 31 0 0 18 0 2 0 657943099 339759104 11222 33554432000 4194304 5683644 140734403580496 18446744073709551615 248101524939 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/18316/statm: 82949 11222 399 364 0 18858 0
[pid=18318] ppid=18316 vsize=268424 CPUtime=291.43 cores=0,2,4,6
/proc/18318/stat : 18318 (hybridGM3) T 18316 18318 18318 0 -1 4202496 7137 0 0 0 29141 2 0 0 25 0 1 0 657943099 274866176 6878 33554432000 134512640 135204385 4294930384 18446744073709551615 134546099 0 0 16781312 0 18446744071562691360 0 0 17 0 0 0 0
/proc/18318/statm: 67106 6878 64 169 0 66936 0
[pid=18316/tid=18343] ppid=18301 vsize=331796 CPUtime=0 cores=0,2,4,6
/proc/18316/task/18343/stat : 18343 (python) S 18301 18301 17961 0 -1 4202560 45 0 0 0 0 0 0 0 18 0 2 0 657962802 339759104 11222 33554432000 4194304 5683644 140734403580496 18446744073709551615 248101521841 0 0 16781312 514 18446604453976159424 0 0 -1 6 0 0 0
[pid=18340] ppid=18301 vsize=342052 CPUtime=1.48 cores=0,2,4,6
/proc/18340/stat : 18340 (python) S 18301 18301 17961 0 -1 4202560 1143 0 0 0 77 71 0 0 18 0 2 0 657962704 350261248 11226 33554432000 4194304 5683644 140734403580496 18446744073709551615 248101524939 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/18340/statm: 85513 11226 399 364 0 21419 0
[pid=18342] ppid=18340 vsize=460952 CPUtime=587.94 cores=0,2,4,6
/proc/18342/stat : 18342 (TNM) T 18340 18342 18342 0 -1 4202496 4393 0 0 0 58793 1 0 0 25 0 1 0 657962704 472014848 4133 33554432000 134512640 135008748 4293884960 18446744073709551615 134529084 0 0 16781312 0 18446744071562691360 0 0 17 2 0 0 0
/proc/18342/statm: 115238 4133 46 122 0 114138 0
[pid=18340/tid=18355] ppid=18301 vsize=342052 CPUtime=0 cores=0,2,4,6
/proc/18340/task/18355/stat : 18355 (python) S 18301 18301 17961 0 -1 4202560 47 0 0 0 0 0 0 0 18 0 2 0 657972727 350261248 11226 33554432000 4194304 5683644 140734403580496 18446744073709551615 248101521841 0 0 16781312 514 18446604443751452928 0 0 -1 4 0 0 0
[pid=18356] ppid=18301 vsize=352308 CPUtime=0.49 cores=0,2,4,6
/proc/18356/stat : 18356 (python) S 18301 18301 17961 0 -1 4202560 1147 0 0 0 24 25 0 0 15 0 2 0 657972728 360763392 11230 33554432000 4194304 5683644 140734403580496 18446744073709551615 248101524939 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/18356/statm: 88077 11230 399 364 0 23980 0
[pid=18358] ppid=18356 vsize=268424 CPUtime=195.15 cores=0,2,4,6
/proc/18358/stat : 18358 (hybridGM3) T 18356 18358 18358 0 -1 4202496 7133 0 0 0 19514 1 0 0 25 0 1 0 657972728 274866176 6874 33554432000 134512640 135204385 4294211008 18446744073709551615 134536698 0 0 16781312 0 18446744071562691360 0 0 17 4 0 0 0
/proc/18358/statm: 67106 6874 64 169 0 66936 0
[pid=18356/tid=18379] ppid=18301 vsize=352308 CPUtime=0 cores=0,2,4,6
/proc/18356/task/18379/stat : 18379 (python) S 18301 18301 17961 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 2 0 657982815 360763392 11230 33554432000 4194304 5683644 140734403580496 18446744073709551615 248101521841 0 0 16781312 514 18446604453871520704 0 0 -1 4 0 0 0
[pid=18359] ppid=18301 vsize=362564 CPUtime=0.5 cores=0,2,4,6
/proc/18359/stat : 18359 (python) S 18301 18301 17961 0 -1 4202560 1147 0 0 0 27 23 0 0 15 0 2 0 657972827 371265536 11234 33554432000 4194304 5683644 140734403580496 18446744073709551615 248101524939 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/18359/statm: 90641 11234 399 364 0 26541 0
[pid=18361] ppid=18359 vsize=268424 CPUtime=198.11 cores=0,2,4,6
/proc/18361/stat : 18361 (hybridGM3) T 18359 18361 18361 0 -1 4202496 7133 0 0 0 19810 1 0 0 25 0 1 0 657972827 274866176 6872 33554432000 134512640 135204385 4294705504 18446744073709551615 134545968 0 0 16781312 0 18446744071562691360 0 0 17 6 0 0 0
/proc/18361/statm: 67106 6872 64 169 0 66936 0
[pid=18359/tid=18380] ppid=18301 vsize=362564 CPUtime=0 cores=0,2,4,6
/proc/18359/task/18380/stat : 18380 (python) S 18301 18301 17961 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 2 0 657982915 371265536 11234 33554432000 4194304 5683644 140734403580496 18446744073709551615 248101521841 0 0 16781312 514 18446604453817721152 0 0 -1 4 0 0 0
[pid=18368] ppid=18301 vsize=372820 CPUtime=0.97 cores=0,2,4,6
/proc/18368/stat : 18368 (python) S 18301 18301 17961 0 -1 4202560 1212 0 0 0 52 45 0 0 15 0 2 0 657981850 381767680 11244 33554432000 4194304 5683644 140734403580496 18446744073709551615 248101524939 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/18368/statm: 93205 11244 405 364 0 29102 0
[pid=18370] ppid=18368 vsize=268420 CPUtime=393.15 cores=0,2,4,6
/proc/18370/stat : 18370 (hybridGM3) T 18368 18370 18370 0 -1 4202496 7143 0 0 0 39312 3 0 0 25 0 1 0 657981851 274862080 6875 33554432000 134512640 135204385 4294937392 18446744073709551615 134537292 0 0 16781312 0 18446744071562691360 0 0 17 4 0 0 0
/proc/18370/statm: 67105 6875 64 169 0 66935 0
[pid=18368/tid=18396] ppid=18301 vsize=372820 CPUtime=0 cores=0,2,4,6
/proc/18368/task/18396/stat : 18396 (python) S 18301 18301 17961 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 2 0 658001462 381767680 11244 33554432000 4194304 5683644 140734403580496 18446744073709551615 248101521841 0 0 16781312 514 18446604453814428096 0 0 -1 4 0 0 0
[pid=18375] ppid=18301 vsize=383076 CPUtime=0.73 cores=0,2,4,6
/proc/18375/stat : 18375 (python) S 18301 18301 17961 0 -1 4202560 1212 0 0 0 35 38 0 0 15 0 2 0 657982450 392269824 11257 33554432000 4194304 5683644 140734403580496 18446744073709551615 248101524939 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/18375/statm: 95769 11257 414 364 0 31663 0
[pid=18377] ppid=18375 vsize=268420 CPUtime=294.27 cores=0,2,4,6
/proc/18377/stat : 18377 (hybridGM3) T 18375 18377 18377 0 -1 4202496 7140 0 0 0 29423 4 0 0 25 0 1 0 657982450 274862080 6875 33554432000 134512640 135204385 4289265824 18446744073709551615 134537322 0 0 16781312 0 18446744071562691360 0 0 17 2 0 0 0
/proc/18377/statm: 67105 6875 64 169 0 66935 0
[pid=18375/tid=18397] ppid=18301 vsize=383076 CPUtime=0 cores=0,2,4,6
/proc/18375/task/18397/stat : 18397 (python) S 18301 18301 17961 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 2 0 658002365 392269824 11257 33554432000 4194304 5683644 140734403580496 18446744073709551615 248101521841 0 0 16781312 514 18446604443643452224 0 0 -1 6 0 0 0
[pid=18390] ppid=18301 vsize=393332 CPUtime=1.23 cores=0,2,4,6
/proc/18390/stat : 18390 (python) S 18301 18301 17961 0 -1 4202560 1188 0 0 0 60 63 0 0 18 0 2 0 657993040 402771968 11255 33554432000 4194304 5683644 140734403580496 18446744073709551615 248101524939 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/18390/statm: 98333 11255 408 364 0 34224 0
[pid=18392] ppid=18390 vsize=460952 CPUtime=488.12 cores=0,2,4,6
/proc/18392/stat : 18392 (TNM) T 18390 18392 18392 0 -1 4202496 4401 0 0 0 48809 3 0 0 25 0 1 0 657993041 472014848 4134 33554432000 134512640 135008748 4291305712 18446744073709551615 134529367 0 0 16781312 0 18446744071562691360 0 0 17 0 0 0 0
/proc/18392/statm: 115238 4134 46 122 0 114138 0
[pid=18390/tid=18430] ppid=18301 vsize=393332 CPUtime=0 cores=0,2,4,6
/proc/18390/task/18430/stat : 18430 (python) S 18301 18301 17961 0 -1 4202560 46 0 0 0 0 0 0 0 18 0 2 0 658002969 402771968 11255 33554432000 4194304 5683644 140734403580496 18446744073709551615 248101521841 0 0 16781312 514 18446604443473381504 0 0 -1 6 0 0 0
[pid=18489] ppid=18301 vsize=403588 CPUtime=0.23 cores=0,2,4,6
/proc/18489/stat : 18489 (python) S 18301 18301 17961 0 -1 4202560 1148 0 0 0 13 10 0 0 19 0 2 0 658011588 413274112 11259 33554432000 4194304 5683644 140734403580496 18446744073709551615 248101524939 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/18489/statm: 100897 11259 408 364 0 36785 0
[pid=18491] ppid=18489 vsize=1025020 CPUtime=100.41 cores=0,2,4,6
/proc/18491/stat : 18491 (gnovelty+2) T 18489 18491 18491 0 -1 4202496 2624 0 0 0 10038 3 0 0 25 0 1 0 658011588 1049620480 2322 33554432000 134512640 135663704 4289627168 18446744073709551615 134524916 0 0 16781312 0 18446744071562691360 0 0 17 2 0 0 0
/proc/18491/statm: 256255 2322 113 282 0 255971 0
[pid=18489/tid=18586] ppid=18301 vsize=403588 CPUtime=0 cores=0,2,4,6
/proc/18489/task/18586/stat : 18586 (python) S 18301 18301 17961 0 -1 4202560 49 0 0 0 0 0 0 0 19 0 2 0 658021631 413274112 11259 33554432000 4194304 5683644 140734403580496 18446744073709551615 248101521841 0 0 16781312 514 18446604452846507968 0 0 -1 4 0 0 0
[pid=18493] ppid=18301 vsize=413844 CPUtime=0.72 cores=0,2,4,6
/proc/18493/stat : 18493 (python) S 18301 18301 17961 0 -1 4202560 1192 0 0 0 37 35 0 0 15 0 2 0 658012001 423776256 11254 33554432000 4194304 5683644 140734403580496 18446744073709551615 248101524939 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/18493/statm: 103461 11254 399 364 0 39346 0
[pid=18495] ppid=18493 vsize=268424 CPUtime=291.51 cores=0,2,4,6
/proc/18495/stat : 18495 (hybridGM3) T 18493 18495 18495 0 -1 4202496 7140 0 0 0 29150 1 0 0 25 0 1 0 658012001 274866176 6873 33554432000 134512640 135204385 4287290528 18446744073709551615 134537357 0 0 16781312 0 18446744071562691360 0 0 17 6 0 0 0
/proc/18495/statm: 67106 6873 64 169 0 66936 0
[pid=18493/tid=18609] ppid=18301 vsize=413844 CPUtime=0 cores=0,2,4,6
/proc/18493/task/18609/stat : 18609 (python) S 18301 18301 17961 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 2 0 658032309 423776256 11254 33554432000 4194304 5683644 140734403580496 18446744073709551615 248101521841 0 0 16781312 514 18446604453850649920 0 0 -1 4 0 0 0
[pid=18587] ppid=18301 vsize=424100 CPUtime=0.48 cores=0,2,4,6
/proc/18587/stat : 18587 (python) S 18301 18301 17961 0 -1 4202560 1181 0 0 0 26 22 0 0 16 0 2 0 658021711 434278400 11258 33554432000 4194304 5683644 140734403580496 18446744073709551615 248101524939 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/18587/statm: 106025 11258 399 364 0 41907 0
[pid=18589] ppid=18587 vsize=268420 CPUtime=197.03 cores=0,2,4,6
/proc/18589/stat : 18589 (hybridGM3) T 18587 18589 18589 0 -1 4202496 7139 0 0 0 19702 1 0 0 25 0 1 0 658021711 274862080 6872 33554432000 134512640 135204385 4292468528 18446744073709551615 134537322 0 0 16781312 0 18446744071562691360 0 0 17 2 0 0 0
/proc/18589/statm: 67105 6872 64 169 0 66935 0
[pid=18587/tid=18628] ppid=18301 vsize=424100 CPUtime=0 cores=0,2,4,6
/proc/18587/task/18628/stat : 18628 (python) S 18301 18301 17961 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 2 0 658041421 434278400 11258 33554432000 4194304 5683644 140734403580496 18446744073709551615 248101521841 0 0 16781312 514 18446604447536559296 0 0 -1 4 0 0 0
[pid=18629] ppid=18301 vsize=434356 CPUtime=0.27 cores=0,2,4,6
/proc/18629/stat : 18629 (python) S 18301 18301 17961 0 -1 4202560 1162 0 0 0 13 14 0 0 19 0 2 0 658041422 444780544 11262 33554432000 4194304 5683644 140734403580496 18446744073709551615 248101524939 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/18629/statm: 108589 11262 399 364 0 44468 0
[pid=18631] ppid=18629 vsize=460952 CPUtime=100.18 cores=0,2,4,6
/proc/18631/stat : 18631 (TNM) T 18629 18631 18631 0 -1 4202496 4404 0 0 0 10017 1 0 0 25 0 1 0 658041422 472014848 4133 33554432000 134512640 135008748 4289135056 18446744073709551615 134529528 0 0 16781312 0 18446744071562691360 0 0 17 0 0 0 0
/proc/18631/statm: 115238 4133 46 122 0 114138 0
[pid=18629/tid=18665] ppid=18301 vsize=434356 CPUtime=0 cores=0,2,4,6
/proc/18629/task/18665/stat : 18665 (python) S 18301 18301 17961 0 -1 4202560 49 0 0 0 0 0 0 0 19 0 2 0 658051448 444780544 11262 33554432000 4194304 5683644 140734403580496 18446744073709551615 248101521841 0 0 16781312 514 18446604446969388096 0 0 -1 0 0 0 0
[pid=18632] ppid=18301 vsize=444612 CPUtime=0.56 cores=0,2,4,6
/proc/18632/stat : 18632 (python) S 18301 18301 17961 0 -1 4202560 1074 0 0 0 30 26 0 0 15 0 1 0 658041834 455282688 11244 33554432000 4194304 5683644 140734403580496 18446744073709551615 248089718342 0 0 16781312 514 12529031755530731777 0 0 17 4 0 0 0
/proc/18632/statm: 111153 11244 378 364 0 47029 0
[pid=18634] ppid=18632 vsize=268420 CPUtime=206.89 cores=0,2,4,6
/proc/18634/stat : 18634 (hybridGM3) R 18632 18634 18634 0 -1 4202496 7154 0 0 0 20687 2 0 0 25 0 1 0 658041834 274862080 6880 33554432000 134512640 135204385 4287332224 18446744073709551615 134536744 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/18634/statm: 67105 6880 64 169 0 66935 0
[pid=18636] ppid=18301 vsize=454868 CPUtime=0.53 cores=0,2,4,6
/proc/18636/stat : 18636 (python) S 18301 18301 17961 0 -1 4202560 1069 0 0 0 26 27 0 0 15 0 1 0 658042167 465784832 11248 33554432000 4194304 5683644 140734403580496 18446744073709551615 248089718342 0 0 16781312 514 12529031755530731777 0 0 17 4 0 0 0
/proc/18636/statm: 113717 11248 378 364 0 49590 0
[pid=18638] ppid=18636 vsize=268424 CPUtime=206.74 cores=0,2,4,6
/proc/18638/stat : 18638 (hybridGM3) R 18636 18638 18638 0 -1 4202496 7148 0 0 0 20673 1 0 0 25 0 1 0 658042167 274866176 6875 33554432000 134512640 135204385 4292252192 18446744073709551615 134537292 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/18638/statm: 67106 6875 64 169 0 66936 0
[pid=18658] ppid=18301 vsize=465124 CPUtime=0.31 cores=0,2,4,6
/proc/18658/stat : 18658 (python) S 18301 18301 17961 0 -1 4202560 1205 0 0 0 16 15 0 0 19 0 2 0 658051104 476286976 11282 33554432000 4194304 5683644 140734403580496 18446744073709551615 248101524939 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/18658/statm: 116281 11282 407 364 0 52151 0
[pid=18660] ppid=18658 vsize=427232 CPUtime=118.26 cores=0,2,4,6
/proc/18660/stat : 18660 (adaptg2wsat2009) T 18658 18660 18660 0 -1 4202496 4589 0 0 0 11825 1 0 0 25 0 1 0 658051105 437485568 4307 33554432000 134512640 135107411 4291268672 18446744073709551615 134531935 0 0 16781312 0 18446744071562691360 0 0 17 0 0 0 0
/proc/18660/statm: 106808 4307 59 146 0 105684 0
[pid=18666] ppid=18301 vsize=475380 CPUtime=0.29 cores=0,2,4,6
/proc/18666/stat : 18666 (python) S 18301 18301 17961 0 -1 4202560 1024 0 0 0 14 15 0 0 18 0 1 0 658051449 486789120 11250 33554432000 4194304 5683644 140734403580496 18446744073709551615 248089718342 0 0 16781312 514 12529031755530731778 0 0 17 4 0 0 0
/proc/18666/statm: 118845 11250 372 364 0 54712 0
[pid=18668] ppid=18666 vsize=460952 CPUtime=111.31 cores=0,2,4,6
/proc/18668/stat : 18668 (TNM) R 18666 18668 18668 0 -1 4202496 4409 0 0 0 11130 1 0 0 25 0 1 0 658051450 472014848 4134 33554432000 134512640 135008748 4289210576 18446744073709551615 134527840 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/18668/statm: 115238 4134 46 122 0 114138 0
[pid=18301/tid=18308] ppid=18299 vsize=485624 CPUtime=291.91 cores=0,2,4,6
/proc/18301/task/18308/stat : 18308 (python) S 18299 18301 17961 0 -1 4202560 28 9238 0 0 0 0 29158 33 15 0 19 0 657943096 497278976 12784 33554432000 4194304 5683644 140734403580496 18446744073709551615 248101521841 0 0 16781312 2 18446604441907639616 0 0 -1 6 0 0 0
[pid=18301/tid=18311] ppid=18299 vsize=485624 CPUtime=291.91 cores=0,2,4,6
/proc/18301/task/18311/stat : 18311 (python) S 18299 18301 17961 0 -1 4202560 33 9238 0 0 0 0 29158 33 18 0 19 0 657943097 497278976 12784 33554432000 4194304 5683644 140734403580496 18446744073709551615 248101521841 0 0 16781312 2 18446604441907639616 0 0 -1 4 0 0 0
[pid=18301/tid=18314] ppid=18299 vsize=485624 CPUtime=291.91 cores=0,2,4,6
/proc/18301/task/18314/stat : 18314 (python) S 18299 18301 17961 0 -1 4202560 31 9238 0 0 0 0 29158 33 18 0 19 0 657943098 497278976 12784 33554432000 4194304 5683644 140734403580496 18446744073709551615 248101521841 0 0 16781312 2 18446604441907639616 0 0 -1 2 0 0 0
[pid=18301/tid=18317] ppid=18299 vsize=485624 CPUtime=291.91 cores=0,2,4,6
/proc/18301/task/18317/stat : 18317 (python) S 18299 18301 17961 0 -1 4202560 29 9238 0 0 0 0 29158 33 18 0 19 0 657943099 497278976 12784 33554432000 4194304 5683644 140734403580496 18446744073709551615 248101521841 0 0 16781312 2 18446604441907639616 0 0 -1 4 0 0 0
[pid=18301/tid=18341] ppid=18299 vsize=485624 CPUtime=291.91 cores=0,2,4,6
/proc/18301/task/18341/stat : 18341 (python) S 18299 18301 17961 0 -1 4202560 45 9238 0 0 0 0 29158 33 18 0 19 0 657962704 497278976 12784 33554432000 4194304 5683644 140734403580496 18446744073709551615 248101521841 0 0 16781312 2 18446604441907639616 0 0 -1 4 0 0 0
[pid=18301/tid=18357] ppid=18299 vsize=485624 CPUtime=291.91 cores=0,2,4,6
/proc/18301/task/18357/stat : 18357 (python) S 18299 18301 17961 0 -1 4202560 30 9238 0 0 0 0 29158 33 18 0 19 0 657972728 497278976 12784 33554432000 4194304 5683644 140734403580496 18446744073709551615 248101521841 0 0 16781312 2 18446604441907639616 0 0 -1 4 0 0 0
[pid=18301/tid=18360] ppid=18299 vsize=485624 CPUtime=291.91 cores=0,2,4,6
/proc/18301/task/18360/stat : 18360 (python) S 18299 18301 17961 0 -1 4202560 30 9238 0 0 0 0 29158 33 18 0 19 0 657972827 497278976 12784 33554432000 4194304 5683644 140734403580496 18446744073709551615 248101521841 0 0 16781312 2 18446604441907639616 0 0 -1 4 0 0 0
[pid=18301/tid=18369] ppid=18299 vsize=485624 CPUtime=291.91 cores=0,2,4,6
/proc/18301/task/18369/stat : 18369 (python) S 18299 18301 17961 0 -1 4202560 35 9238 0 0 0 0 29158 33 18 0 19 0 657981851 497278976 12784 33554432000 4194304 5683644 140734403580496 18446744073709551615 248101521841 0 0 16781312 2 18446604441907639616 0 0 -1 4 0 0 0
[pid=18301/tid=18376] ppid=18299 vsize=485624 CPUtime=291.91 cores=0,2,4,6
/proc/18301/task/18376/stat : 18376 (python) S 18299 18301 17961 0 -1 4202560 23 9238 0 0 0 0 29158 33 18 0 19 0 657982450 497278976 12784 33554432000 4194304 5683644 140734403580496 18446744073709551615 248101521841 0 0 16781312 2 18446604441907639616 0 0 -1 4 0 0 0
[pid=18301/tid=18391] ppid=18299 vsize=485624 CPUtime=291.91 cores=0,2,4,6
/proc/18301/task/18391/stat : 18391 (python) S 18299 18301 17961 0 -1 4202560 29 9238 0 0 0 0 29158 33 18 0 19 0 657993041 497278976 12784 33554432000 4194304 5683644 140734403580496 18446744073709551615 248101521841 0 0 16781312 2 18446604441907639616 0 0 -1 4 0 0 0
[pid=18301/tid=18490] ppid=18299 vsize=485624 CPUtime=291.91 cores=0,2,4,6
/proc/18301/task/18490/stat : 18490 (python) S 18299 18301 17961 0 -1 4202560 25 9238 0 0 0 0 29158 33 20 0 19 0 658011588 497278976 12784 33554432000 4194304 5683644 140734403580496 18446744073709551615 248101521841 0 0 16781312 2 18446604441907639616 0 0 -1 4 0 0 0
[pid=18301/tid=18494] ppid=18299 vsize=485624 CPUtime=291.91 cores=0,2,4,6
/proc/18301/task/18494/stat : 18494 (python) S 18299 18301 17961 0 -1 4202560 30 9238 0 0 0 0 29158 33 18 0 19 0 658012001 497278976 12784 33554432000 4194304 5683644 140734403580496 18446744073709551615 248101521841 0 0 16781312 2 18446604441907639616 0 0 -1 4 0 0 0
[pid=18301/tid=18588] ppid=18299 vsize=485624 CPUtime=291.91 cores=0,2,4,6
/proc/18301/task/18588/stat : 18588 (python) S 18299 18301 17961 0 -1 4202560 29 9238 0 0 0 0 29158 33 20 0 19 0 658021711 497278976 12784 33554432000 4194304 5683644 140734403580496 18446744073709551615 248101521841 0 0 16781312 2 18446604441907639616 0 0 -1 4 0 0 0
[pid=18301/tid=18630] ppid=18299 vsize=485624 CPUtime=291.91 cores=0,2,4,6
/proc/18301/task/18630/stat : 18630 (python) S 18299 18301 17961 0 -1 4202560 32 9238 0 0 0 0 29158 33 20 0 19 0 658041422 497278976 12784 33554432000 4194304 5683644 140734403580496 18446744073709551615 248101521841 0 0 16781312 2 18446604441907639616 0 0 -1 4 0 0 0
[pid=18301/tid=18633] ppid=18299 vsize=485624 CPUtime=291.91 cores=0,2,4,6
/proc/18301/task/18633/stat : 18633 (python) S 18299 18301 17961 0 -1 4202560 27 9238 0 0 0 0 29158 33 20 0 19 0 658041834 497278976 12784 33554432000 4194304 5683644 140734403580496 18446744073709551615 248101521841 0 0 16781312 2 18446604441907639616 0 0 -1 4 0 0 0
[pid=18301/tid=18637] ppid=18299 vsize=485624 CPUtime=291.91 cores=0,2,4,6
/proc/18301/task/18637/stat : 18637 (python) S 18299 18301 17961 0 -1 4202560 26 9238 0 0 0 0 29158 33 20 0 19 0 658042167 497278976 12784 33554432000 4194304 5683644 140734403580496 18446744073709551615 248101521841 0 0 16781312 2 18446604441907639616 0 0 -1 4 0 0 0
[pid=18301/tid=18659] ppid=18299 vsize=485624 CPUtime=291.91 cores=0,2,4,6
/proc/18301/task/18659/stat : 18659 (python) S 18299 18301 17961 0 -1 4202560 27 9238 0 0 0 0 29158 33 20 0 19 0 658051105 497278976 12784 33554432000 4194304 5683644 140734403580496 18446744073709551615 248101521841 0 0 16781312 2 18446604441907639616 0 0 -1 4 0 0 0
[pid=18301/tid=18667] ppid=18299 vsize=485624 CPUtime=291.91 cores=0,2,4,6
/proc/18301/task/18667/stat : 18667 (python) S 18299 18301 17961 0 -1 4202560 30 9238 0 0 0 0 29158 33 20 0 19 0 658051450 497278976 12784 33554432000 4194304 5683644 140734403580496 18446744073709551615 248101521841 0 0 16781312 2 18446604441907639616 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4774.99
Current children cumulated vsize (KiB) 13152544

Child status: 0
Real time (s): 1203.58
CPU time (s): 4775.52
CPU user time (s): 4769.12
CPU system time (s): 6.39303
CPU usage (%): 396.778
Max. virtual memory (cumulated for all children) (KiB): 14000684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4769.12
system time used= 6.39303
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 174905
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= 8363
involuntary context switches= 32714

runsolver used 6.38203 second user time and 16.7175 second system time

The end

Launcher Data 

Begin job on node123 at 2011-05-15 14:43:48
IDJOB=3378185
IDBENCH=82594
IDSOLVER=1859
FILE ID=node123/3378185-1305463428
RUNJOBID= node123-1305462800-17979
PBS_JOBID= 13324975
Free space on /tmp= 73280 MiB

SOLVER NAME= borg-sat 11.03.02-par-random (fixed)
BENCH NAME= SAT11/random/large/unif-k3-r4.2-v25000-c105000-S533496308-018-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-3378185-1305463428/watcher-3378185-1305463428 -o /tmp/evaluation-result-3378185-1305463428/solver-3378185-1305463428 -C 4800 -W 1300 -M 15500  python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3378185-1305463428.cnf -seed 1317774627 -budget 4800 -cores 4

TIME LIMIT= 4800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= d893b9743a6b7d8026df42df0d29d561
RANDOM SEED=1317774627

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      17844480 kB
Buffers:        323236 kB
Cached:        4521556 kB
SwapCached:      10528 kB
Active:       11702300 kB
Inactive:      3111612 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      17844480 kB
SwapTotal:    67111528 kB
SwapFree:     64721848 kB
Dirty:           67664 kB
Writeback:           0 kB
AnonPages:     9966828 kB
Mapped:          29716 kB
Slab:           181452 kB
PageTables:      47364 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 56953540 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= 73348 MiB
End job on node123 at 2011-05-15 15:03:52