Trace number 3321744

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) 8622.68 1084.7

General information on the benchmark

Namerandom/large/
unif-k5-r20-v2000-c40000-S1143439968-082-UNKNOWN.cnf
MD5SUM4baebda329e22fa39a89c4e2a8acff70
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark2363.84
Satisfiable
(Un)Satisfiability was proved
Number of variables2000
Number of clauses40000
Sum of the clauses size200000
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 540000
Number of clauses of size over 50

Solver Data 

0.35/0.67	c INFO: loaded portfolio from HOME/etc/borg-mix+class.random.pickle
0.35/0.67	c INFO: solving HOME/instance-3321744-1304366592.cnf
0.35/0.67	c INFO: computing task features
0.52/0.88	c INFO: computed variable-clause graph statistics
0.52/0.89	c INFO: computed clause balance statistics
1.53/1.90	c INFO: computed variable balance statistics
2.13/2.46	c INFO: computed small-clause counts
2.13/2.46	c INFO: computed Horn-clause counts
2.23/2.50	c INFO: computed variable graph statistics
2.23/2.51	c INFO: collected features for HOME/instance-3321744-1304366592.cnf in 1.82 s
2.23/2.54	c INFO: running gnovelty+2@0 for 97 with 39998 remaining (b = 0.38)
2.23/2.58	c INFO: running gnovelty+2@0 for 97 with 39998 remaining (b = 0.13)
2.33/2.62	c INFO: running adaptg2wsat2009++@0 for 97 with 39998 remaining (b = 0.08)
2.33/2.65	c INFO: running adaptg2wsat2009++@0 for 97 with 39998 remaining (b = 0.07)
2.33/2.69	c INFO: running adaptg2wsat2009++@0 for 97 with 39998 remaining (b = 0.05)
2.42/2.73	c INFO: running gnovelty+2@0 for 97 with 39997 remaining (b = 0.05)
2.42/2.77	c INFO: running FH@0 for 97 with 39997 remaining (b = 0.03)
2.52/2.81	c INFO: running adaptg2wsat2009++@0 for 97 with 39997 remaining (b = 0.03)
800.88/102.78	c INFO: running adaptg2wsat2009++@0 for 97 with 39897 remaining (b = 0.02)
801.63/102.82	c INFO: running FH@0 for 97 with 39897 remaining (b = 0.02)
801.63/102.87	c INFO: running hybridGM3@0 for 194 with 39897 remaining (b = 0.04)
802.08/102.92	c INFO: running gnovelty+2@0 for 97 with 39897 remaining (b = 0.02)
802.08/102.98	c INFO: running hybridGM3@0 for 194 with 39897 remaining (b = 0.03)
802.39/103.03	c INFO: running adaptg2wsat2009++@0 for 97 with 39897 remaining (b = 0.01)
802.39/103.10	c INFO: running hybridGM3@0 for 194 with 39897 remaining (b = 0.03)
802.48/103.16	c INFO: running hybridGM3@0 for 194 with 39897 remaining (b = 0.02)
1600.57/203.01	c INFO: running TNM@0 for 1552 with 39797 remaining (b = 0.19)
1600.57/203.09	c INFO: running FH@0 for 97 with 39797 remaining (b = 0.01)
1601.89/203.21	c INFO: running adaptg2wsat2009++@0 for 97 with 39797 remaining (b = 0.01)
1601.89/203.28	c INFO: running adaptg2wsat2009++@0 for 97 with 39797 remaining (b = 0.01)
2368.41/299.33	c INFO: running hybridGM3@100 for 97 with 39701 remaining (b = 0.01)
2370.77/299.66	c INFO: running hybridGM3@100 for 97 with 39701 remaining (b = 0.01)
2372.36/299.88	c INFO: running hybridGM3@100 for 97 with 39700 remaining (b = 0.01)
2377.13/300.43	c INFO: running adaptg2wsat2009++@0 for 97 with 39700 remaining (b = 0.01)
2377.13/300.50	c INFO: running adaptg2wsat2009++@100 for 97 with 39700 remaining (b = 0.01)
2400.25/303.32	c INFO: running hybridGM3@0 for 194 with 39697 remaining (b = 0.02)
2408.99/304.48	c INFO: running hybridGM3@98 for 97 with 39696 remaining (b = 0.01)
3127.37/394.55	c INFO: running hybridGM3@296 for 97 with 39606 remaining (b = 0.01)
3129.79/394.87	c INFO: running hybridGM3@296 for 97 with 39605 remaining (b = 0.01)
3152.84/397.73	c INFO: running TNM@0 for 1552 with 39603 remaining (b = 0.15)
3167.99/399.70	c INFO: running hybridGM3@193 for 97 with 39601 remaining (b = 0.01)
3179.92/401.15	c INFO: running adaptg2wsat2009++@100 for 97 with 39599 remaining (b = 0.01)
3199.93/403.69	c INFO: running iPAWS@0 for 97 with 39597 remaining (b = 0.01)
3927.81/494.92	c INFO: running hybridGM3@294 for 97 with 39505 remaining (b = 0.01)
3934.13/495.78	c INFO: running hybridGM3@391 for 97 with 39504 remaining (b = 0.01)
3936.59/496.11	c INFO: running gnovelty+2@0 for 97 with 39504 remaining (b = 0.01)
3954.92/498.39	c INFO: running hybridGM3@392 for 97 with 39502 remaining (b = 0.01)
3966.00/499.80	c INFO: running FH@0 for 291 with 39500 remaining (b = 0.02)
3999.42/503.93	c INFO: running adaptg2wsat2009++@99 for 97 with 39496 remaining (b = 0.01)
4693.79/591.00	c INFO: running FH@100 for 291 with 39409 remaining (b = 0.02)
4698.55/591.62	c INFO: running iPAWS@0 for 97 with 39409 remaining (b = 0.01)
4735.26/596.23	c INFO: running hybridGM3@395 for 97 with 39404 remaining (b = 0.01)
4736.76/596.41	c INFO: running adaptg2wsat2009++@99 for 97 with 39404 remaining (b = 0.01)
4767.06/600.30	c INFO: running hybridGM3@0 for 194 with 39400 remaining (b = 0.02)
5493.31/691.48	c INFO: running TNM@0 for 1552 with 39309 remaining (b = 0.11)
5496.51/691.90	c INFO: running gnovelty+2@0 for 97 with 39308 remaining (b = 0.01)
5510.76/693.67	c INFO: running hybridGM3@0 for 194 with 39307 remaining (b = 0.01)
6272.85/789.35	c INFO: running adaptg2wsat2009++@96 for 97 with 39211 remaining (b = 0.01)
6295.94/792.23	c INFO: running FH@0 for 97 with 39208 remaining (b = 0.01)
6324.55/795.89	c INFO: running hybridGM3@94 for 97 with 39204 remaining (b = 0.01)
7039.56/885.64	c INFO: running hybridGM3@0 for 194 with 39115 remaining (b = 0.01)
7063.40/888.66	c INFO: running hybridGM3@0 for 194 with 39112 remaining (b = 0.01)
7068.13/889.25	c INFO: running NCVWr@0 for 485 with 39111 remaining (b = 0.03)
7130.99/897.17	c INFO: running hybridGM3@191 for 97 with 39103 remaining (b = 0.01)
7142.10/898.53	c INFO: running FH@195 for 194 with 39102 remaining (b = 0.01)
7889.56/992.44	c INFO: running hybridGM3@293 for 194 with 39008 remaining (b = 0.01)
8603.45/1082.18	c INFO: running hybridGM3@293 for 194 with 38918 remaining (b = 0.01)
8620.17/1084.27	c INFO: running TNM@0 for 1552 with 38916 remaining (b = 0.08)

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3321744-1304366592/watcher-3321744-1304366592 -o /tmp/evaluation-result-3321744-1304366592/solver-3321744-1304366592 -C 40000 -W 5100 -M 31000 python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3321744-1304366592.cnf -seed 102017866 -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: 5.82 1.88 0.94 2/205 20106
/proc/meminfo: memFree=20173988/32951124 swapFree=67111444/67111528
[pid=20106] ppid=20104 vsize=15384 CPUtime=0 cores=0-7
/proc/20106/stat : 20106 (python) R 20104 20106 19986 0 -1 4202496 786 0 0 0 0 0 0 0 22 0 1 0 548257195 15753216 675 33554432000 4194304 5683644 140734175622336 18446744073709551615 228122407917 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/20106/statm: 3846 677 322 364 0 333 0

[startup+0.0483389 s]
/proc/loadavg: 5.82 1.88 0.94 2/205 20106
/proc/meminfo: memFree=20173988/32951124 swapFree=67111444/67111528
[pid=20106] ppid=20104 vsize=18888 CPUtime=0.02 cores=0-7
/proc/20106/stat : 20106 (python) R 20104 20106 19986 0 -1 4202496 1288 0 0 0 2 0 0 0 22 0 1 0 548257195 19341312 1141 33554432000 4194304 5683644 140734175622336 18446744073709551615 4522565 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/20106/statm: 4722 1141 421 364 0 691 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 18888

[startup+0.10034 s]
/proc/loadavg: 5.82 1.88 0.94 2/205 20106
/proc/meminfo: memFree=20173988/32951124 swapFree=67111444/67111528
[pid=20106] ppid=20104 vsize=87708 CPUtime=0.07 cores=0-7
/proc/20106/stat : 20106 (python) S 20104 20106 19986 0 -1 4202496 2637 0 0 0 5 2 0 0 22 0 1 0 548257195 89812992 2354 33554432000 4194304 5683644 140734175622336 18446744073709551615 228122712064 0 2147483391 16781312 2 18446744071699207358 0 0 17 4 0 0 0
/proc/20106/statm: 21927 2354 717 364 0 1623 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 87708

[startup+0.300299 s]
/proc/loadavg: 5.82 1.88 0.94 2/205 20106
/proc/meminfo: memFree=20173988/32951124 swapFree=67111444/67111528
[pid=20106] ppid=20104 vsize=135752 CPUtime=0.19 cores=0-7
/proc/20106/stat : 20106 (python) S 20104 20106 19986 0 -1 4202496 5963 935 1 0 15 4 0 0 17 0 1 0 548257195 139010048 4151 33554432000 4194304 5683644 140734175622336 18446744073709551615 228122710021 0 2147483391 16781312 2 18446744071699207358 0 0 17 4 0 0 0
/proc/20106/statm: 33938 4151 1032 364 0 3124 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 135752

[startup+0.700251 s]
/proc/loadavg: 5.82 1.88 0.94 2/205 20106
/proc/meminfo: memFree=20173988/32951124 swapFree=67111444/67111528
[pid=20106] ppid=20104 vsize=280548 CPUtime=0.42 cores=0-7
/proc/20106/stat : 20106 (python) R 20104 20106 19986 0 -1 4202496 9781 935 1 0 32 10 0 0 16 0 1 0 548257195 287281152 7464 33554432000 4194304 5683644 140734175622336 18446744073709551615 4445115 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/20106/statm: 70137 7464 1761 364 0 6061 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 280548

[startup+1.50107 s]
/proc/loadavg: 5.82 1.88 0.94 2/206 20111
/proc/meminfo: memFree=20140320/32951124 swapFree=67111444/67111528
[pid=20106] ppid=20104 vsize=290804 CPUtime=1.23 cores=0-7
/proc/20106/stat : 20106 (python) R 20104 20106 19986 0 -1 4202496 14008 935 1 0 112 11 0 0 17 0 1 0 548257195 297783296 10085 33554432000 4194304 5683644 140734175622336 18446744073709551615 228122372696 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/20106/statm: 72701 10085 1826 364 0 8625 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 290804

[startup+3.10072 s]
/proc/loadavg: 5.43 1.86 0.94 2/206 20111
/proc/meminfo: memFree=20139948/32951124 swapFree=67111444/67111528
[pid=20106] ppid=20104 vsize=432072 CPUtime=2.53 cores=0-7
/proc/20106/stat : 20106 (python) S 20104 20106 19986 0 -1 4202496 19979 935 1 0 240 13 0 0 25 0 9 0 548257195 442441728 8744 33554432000 4194304 5683644 140734175622336 18446744073709551615 228134540747 0 0 16781312 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20106/statm: 108018 8744 1891 364 0 43915 0
Current children cumulated CPU time (s) 2.53
Current children cumulated vsize (KiB) 432072

[startup+6.30114 s]
/proc/loadavg: 5.43 1.86 0.94 9/230 20135
/proc/meminfo: memFree=20061596/32951124 swapFree=67111444/67111528
[pid=20106] ppid=20104 vsize=432072 CPUtime=2.53 cores=0-7
/proc/20106/stat : 20106 (python) S 20104 20106 19986 0 -1 4202496 19979 935 1 0 240 13 0 0 25 0 9 0 548257195 442441728 8744 33554432000 4194304 5683644 140734175622336 18446744073709551615 228134540747 0 0 16781312 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20106/statm: 108018 8744 1891 364 0 43915 0
[pid=20112] ppid=20106 vsize=284984 CPUtime=0 cores=0-7
/proc/20112/stat : 20112 (python) S 20106 20106 19986 0 -1 4202560 736 0 0 0 0 0 0 0 18 0 1 0 548257449 291823616 6898 33554432000 4194304 5683644 140734175622336 18446744073709551615 228122734095 0 0 16781312 514 4307240873717891332 0 0 17 1 0 0 0
/proc/20112/statm: 71246 6898 355 364 0 7164 0
[pid=20114] ppid=20112 vsize=1020308 CPUtime=3.74 cores=0-7
/proc/20114/stat : 20114 (gnovelty+2) R 20112 20114 20114 0 -1 4202496 1156 0 0 0 374 0 0 0 25 0 1 0 548257450 1044795392 892 33554432000 134512640 135663704 4292302128 18446744073709551615 134524575 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/20114/statm: 255077 892 113 282 0 254793 0
[pid=20115] ppid=20106 vsize=294904 CPUtime=0 cores=0-7
/proc/20115/stat : 20115 (python) S 20106 20106 19986 0 -1 4202560 733 0 0 0 0 0 0 0 18 0 1 0 548257453 301981696 7031 33554432000 4194304 5683644 140734175622336 18446744073709551615 228122734150 0 0 16781312 514 9948051084045943044 0 0 17 1 0 0 0
/proc/20115/statm: 73726 7031 349 364 0 9641 0
[pid=20117] ppid=20115 vsize=1020308 CPUtime=3.7 cores=0-7
/proc/20117/stat : 20117 (gnovelty+2) R 20115 20117 20117 0 -1 4202496 1153 0 0 0 370 0 0 0 25 0 1 0 548257453 1044795392 891 33554432000 134512640 135663704 4287175232 18446744073709551615 134544204 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/20117/statm: 255077 891 113 282 0 254793 0
[pid=20118] ppid=20106 vsize=370548 CPUtime=0 cores=0-7
/proc/20118/stat : 20118 (python) S 20106 20106 19986 0 -1 4202560 703 0 0 0 0 0 0 0 18 0 1 0 548257457 379441152 7206 33554432000 4194304 5683644 140734175622336 18446744073709551615 228122734150 0 0 16781312 514 11505000230906986756 0 0 17 1 0 0 0
/proc/20118/statm: 92637 7206 348 364 0 28549 0
[pid=20120] ppid=20118 vsize=423400 CPUtime=3.67 cores=0-7
/proc/20120/stat : 20120 (adaptg2wsat2009) R 20118 20120 20120 0 -1 4202496 2611 0 0 0 367 0 0 0 25 0 1 0 548257457 433561600 2358 33554432000 134512640 135107411 4290335072 18446744073709551615 134531537 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/20120/statm: 105850 2358 59 146 0 104726 0
[pid=20121] ppid=20106 vsize=380804 CPUtime=0 cores=0-7
/proc/20121/stat : 20121 (python) S 20106 20106 19986 0 -1 4202560 711 0 0 0 0 0 0 0 18 0 1 0 548257460 389943296 7163 33554432000 4194304 5683644 140734175622336 18446744073709551615 228122734150 0 0 16781312 514 4373471056128606467 0 0 17 1 0 0 0
/proc/20121/statm: 95201 7163 348 364 0 31110 0
[pid=20123] ppid=20121 vsize=423400 CPUtime=3.63 cores=0-7
/proc/20123/stat : 20123 (adaptg2wsat2009) R 20121 20123 20123 0 -1 4202496 2610 0 0 0 363 0 0 0 25 0 1 0 548257461 433561600 2356 33554432000 134512640 135107411 4294057232 18446744073709551615 134531246 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/20123/statm: 105850 2356 59 146 0 104726 0
[pid=20124] ppid=20106 vsize=391060 CPUtime=0 cores=0-7
/proc/20124/stat : 20124 (python) S 20106 20106 19986 0 -1 4202560 721 0 0 0 0 0 0 0 18 0 1 0 548257464 400445440 7287 33554432000 4194304 5683644 140734175622336 18446744073709551615 228122734150 0 0 16781312 514 4478367214197506306 0 0 17 1 0 0 0
/proc/20124/statm: 97765 7287 348 364 0 33671 0
[pid=20126] ppid=20124 vsize=423400 CPUtime=3.57 cores=0-7
/proc/20126/stat : 20126 (adaptg2wsat2009) R 20124 20126 20126 0 -1 4202496 2618 0 0 0 357 0 0 0 25 0 1 0 548257465 433561600 2357 33554432000 134512640 135107411 4289674976 18446744073709551615 134531296 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/20126/statm: 105850 2357 59 146 0 104726 0
[pid=20127] ppid=20106 vsize=401316 CPUtime=0 cores=0-7
/proc/20127/stat : 20127 (python) S 20106 20106 19986 0 -1 4202560 729 0 0 0 0 0 0 0 18 0 1 0 548257468 410947584 7308 33554432000 4194304 5683644 140734175622336 18446744073709551615 228122734150 0 0 16781312 514 11504992534325592323 0 0 17 4 0 0 0
/proc/20127/statm: 100329 7308 348 364 0 36232 0
[pid=20129] ppid=20127 vsize=1020308 CPUtime=3.55 cores=0-7
/proc/20129/stat : 20129 (gnovelty+2) R 20127 20129 20129 0 -1 4202496 1151 0 0 0 355 0 0 0 25 0 1 0 548257469 1044795392 892 33554432000 134512640 135663704 4293511120 18446744073709551615 134524918 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/20129/statm: 255077 892 113 282 0 254793 0
[pid=20130] ppid=20106 vsize=411572 CPUtime=0 cores=0-7
/proc/20130/stat : 20130 (python) S 20106 20106 19986 0 -1 4202560 736 0 0 0 0 0 0 0 18 0 1 0 548257472 421449728 7209 33554432000 4194304 5683644 140734175622336 18446744073709551615 228122734150 0 0 16781312 514 4479045337993937156 0 0 17 4 0 0 0
/proc/20130/statm: 102893 7209 348 364 0 38793 0
[pid=20132] ppid=20130 vsize=253028 CPUtime=3.5 cores=0-7
/proc/20132/stat : 20132 (FH) R 20130 20132 20132 0 -1 4202496 2493 0 0 0 350 0 0 0 25 0 1 0 548257472 259100672 2233 33554432000 134512640 134936988 4288339488 18446744073709551615 134547038 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/20132/statm: 63257 2233 41 104 0 62761 0
[pid=20133] ppid=20106 vsize=421828 CPUtime=0 cores=0-7
/proc/20133/stat : 20133 (python) S 20106 20106 19986 0 -1 4202560 768 0 0 0 0 0 0 0 18 0 1 0 548257476 431951872 7203 33554432000 4194304 5683644 140734175622336 18446744073709551615 228122734150 0 0 16781312 514 4479053034575331588 0 0 17 0 0 0 0
/proc/20133/statm: 105457 7203 354 364 0 41354 0
[pid=20135] ppid=20133 vsize=423400 CPUtime=3.45 cores=0-7
/proc/20135/stat : 20135 (adaptg2wsat2009) R 20133 20135 20135 0 -1 4202496 2618 0 0 0 345 0 0 0 25 0 1 0 548257476 433561600 2356 33554432000 134512640 135107411 4293778528 18446744073709551615 134531600 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/20135/statm: 105850 2356 59 146 0 104726 0
[pid=20106/tid=20113] ppid=20104 vsize=432072 CPUtime=0 cores=0-7
/proc/20106/task/20113/stat : 20113 (python) S 20104 20106 19986 0 -1 4202560 27 935 0 0 0 0 0 0 19 0 9 0 548257450 442441728 8744 33554432000 4194304 5683644 140734175622336 18446744073709551615 228134537649 0 0 16781312 2 18446604453937866624 0 0 -1 3 0 0 0
[pid=20106/tid=20116] ppid=20104 vsize=432072 CPUtime=0 cores=0-7
/proc/20106/task/20116/stat : 20116 (python) S 20104 20106 19986 0 -1 4202560 23 935 0 0 0 0 0 0 18 0 9 0 548257453 442441728 8744 33554432000 4194304 5683644 140734175622336 18446744073709551615 228134537649 0 0 16781312 2 18446604453937866624 0 0 -1 3 0 0 0
[pid=20106/tid=20119] ppid=20104 vsize=432072 CPUtime=0 cores=0-7
/proc/20106/task/20119/stat : 20119 (python) S 20104 20106 19986 0 -1 4202560 92 935 0 0 0 0 0 0 21 0 9 0 548257457 442441728 8744 33554432000 4194304 5683644 140734175622336 18446744073709551615 228134537649 0 0 16781312 2 18446604453937866624 0 0 -1 0 0 0 0
[pid=20106/tid=20122] ppid=20104 vsize=432072 CPUtime=0 cores=0-7
/proc/20106/task/20122/stat : 20122 (python) S 20104 20106 19986 0 -1 4202560 36 935 0 0 0 0 0 0 17 0 9 0 548257461 442441728 8744 33554432000 4194304 5683644 140734175622336 18446744073709551615 228134537649 0 0 16781312 2 18446604453937866624 0 0 -1 5 0 0 0
[pid=20106/tid=20125] ppid=20104 vsize=432072 CPUtime=0 cores=0-7
/proc/20106/task/20125/stat : 20125 (python) S 20104 20106 19986 0 -1 4202560 33 935 0 0 0 0 0 0 23 0 9 0 548257464 442441728 8744 33554432000 4194304 5683644 140734175622336 18446744073709551615 228134537649 0 0 16781312 2 18446604453937866624 0 0 -1 0 0 0 0
[pid=20106/tid=20128] ppid=20104 vsize=432072 CPUtime=0 cores=0-7
/proc/20106/task/20128/stat : 20128 (python) S 20104 20106 19986 0 -1 4202560 35 935 0 0 0 0 0 0 25 0 9 0 548257468 442441728 8744 33554432000 4194304 5683644 140734175622336 18446744073709551615 228134537649 0 0 16781312 2 18446604453937866624 0 0 -1 4 0 0 0
[pid=20106/tid=20131] ppid=20104 vsize=432072 CPUtime=0 cores=0-7
/proc/20106/task/20131/stat : 20131 (python) S 20104 20106 19986 0 -1 4202560 35 935 0 0 0 0 0 0 25 0 9 0 548257472 442441728 8744 33554432000 4194304 5683644 140734175622336 18446744073709551615 228134537649 0 0 16781312 2 18446604453937866624 0 0 -1 4 0 0 0
[pid=20106/tid=20134] ppid=20104 vsize=432072 CPUtime=0 cores=0-7
/proc/20106/task/20134/stat : 20134 (python) S 20104 20106 19986 0 -1 4202560 86 935 0 0 0 0 0 0 25 0 9 0 548257476 442441728 8744 33554432000 4194304 5683644 140734175622336 18446744073709551615 228134537649 0 0 16781312 2 18446604453937866624 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 31.34
Current children cumulated vsize (KiB) 8396640

[startup+12.701 s]
/proc/loadavg: 5.90 2.08 1.02 9/230 20135
/proc/meminfo: memFree=20060884/32951124 swapFree=67111444/67111528
[pid=20106] ppid=20104 vsize=432072 CPUtime=2.53 cores=0-7
/proc/20106/stat : 20106 (python) S 20104 20106 19986 0 -1 4202496 19979 935 1 0 240 13 0 0 25 0 9 0 548257195 442441728 8744 33554432000 4194304 5683644 140734175622336 18446744073709551615 228134540747 0 0 16781312 2 18446744073709551615 0 0 17 0 0 0 0
/proc/20106/statm: 108018 8744 1891 364 0 43915 0
[pid=20112] ppid=20106 vsize=284984 CPUtime=0.01 cores=0-7
/proc/20112/stat : 20112 (python) S 20106 20106 19986 0 -1 4202560 905 0 0 0 1 0 0 0 18 0 1 0 548257449 291823616 6921 33554432000 4194304 5683644 140734175622336 18446744073709551615 228122734095 0 0 16781312 514 16167834701329826052 0 0 17 1 0 0 0
/proc/20112/statm: 71246 6921 378 364 0 7164 0
[pid=20114] ppid=20112 vsize=1020308 CPUtime=10.14 cores=0-7
/proc/20114/stat : 20114 (gnovelty+2) R 20112 20114 20114 0 -1 4202496 1156 0 0 0 1014 0 0 0 25 0 1 0 548257450 1044795392 892 33554432000 134512640 135663704 4292302128 18446744073709551615 134525691 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/20114/statm: 255077 892 113 282 0 254793 0
[pid=20115] ppid=20106 vsize=294904 CPUtime=0.01 cores=0-7
/proc/20115/stat : 20115 (python) S 20106 20106 19986 0 -1 4202560 906 0 0 0 0 1 0 0 18 0 1 0 548257453 301981696 7054 33554432000 4194304 5683644 140734175622336 18446744073709551615 228122734150 0 0 16781312 514 16167834701329826052 0 0 17 1 0 0 0
/proc/20115/statm: 73726 7054 372 364 0 9641 0
[pid=20117] ppid=20115 vsize=1020308 CPUtime=10.1 cores=0-7
/proc/20117/stat : 20117 (gnovelty+2) R 20115 20117 20117 0 -1 4202496 1153 0 0 0 1010 0 0 0 25 0 1 0 548257453 1044795392 891 33554432000 134512640 135663704 4287175232 18446744073709551615 134545631 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/20117/statm: 255077 891 113 282 0 254793 0
[pid=20118] ppid=20106 vsize=370548 CPUtime=0.01 cores=0-7
/proc/20118/stat : 20118 (python) S 20106 20106 19986 0 -1 4202560 778 0 0 0 0 1 0 0 18 0 1 0 548257457 379441152 7229 33554432000 4194304 5683644 140734175622336 18446744073709551615 228122734150 0 0 16781312 514 16167834701329826052 0 0 17 1 0 0 0
/proc/20118/statm: 92637 7229 371 364 0 28549 0
[pid=20120] ppid=20118 vsize=423400 CPUtime=10.07 cores=0-7
/proc/20120/stat : 20120 (adaptg2wsat2009) R 20118 20120 20120 0 -1 4202496 2611 0 0 0 1007 0 0 0 25 0 1 0 548257457 433561600 2358 33554432000 134512640 135107411 4290335072 18446744073709551615 134531428 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/20120/statm: 105850 2358 59 146 0 104726 0
[pid=20121] ppid=20106 vsize=380804 CPUtime=0.01 cores=0-7
/proc/20121/stat : 20121 (python) S 20106 20106 19986 0 -1 4202560 789 0 0 0 0 1 0 0 18 0 1 0 548257460 389943296 7186 33554432000 4194304 5683644 140734175622336 18446744073709551615 228122734150 0 0 16781312 514 16167834701329826051 0 0 17 1 0 0 0
/proc/20121/statm: 95201 7186 371 364 0 31110 0
[pid=20123] ppid=20121 vsize=423400 CPUtime=10.03 cores=0-7
/proc/20123/stat : 20123 (adaptg2wsat2009) R 20121 20123 20123 0 -1 4202496 2610 0 0 0 1003 0 0 0 25 0 1 0 548257461 433561600 2356 33554432000 134512640 135107411 4294057232 18446744073709551615 134531604 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/20123/statm: 105850 2356 59 146 0 104726 0
[pid=20124] ppid=20106 vsize=391060 CPUtime=0 cores=0-7
/proc/20124/stat : 20124 (python) S 20106 20106 19986 0 -1 4202560 795 0 0 0 0 0 0 0 18 0 1 0 548257464 400445440 7310 33554432000 4194304 5683644 140734175622336 18446744073709551615 228122734150 0 0 16781312 514 4478367214197506306 0 0 17 1 0 0 0
/proc/20124/statm: 97765 7310 371 364 0 33671 0
[pid=20126] ppid=20124 vsize=423400 CPUtime=9.91 cores=0-7
/proc/20126/stat : 20126 (adaptg2wsat2009) R 20124 20126 20126 0 -1 4202496 2618 0 0 0 991 0 0 0 25 0 1 0 548257465 433561600 2357 33554432000 134512640 135107411 4289674976 18446744073709551615 134532288 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/20126/statm: 105850 2357 59 146 0 104726 0
[pid=20127] ppid=20106 vsize=401316 CPUtime=0 cores=0-7
/proc/20127/stat : 20127 (python) S 20106 20106 19986 0 -1 4202560 808 0 0 0 0 0 0 0 18 0 1 0 548257468 410947584 7331 33554432000 4194304 5683644 140734175622336 18446744073709551615 228122734150 0 0 16781312 514 11504992534325592323 0 0 17 4 0 0 0
/proc/20127/statm: 100329 7331 371 364 0 36232 0
[pid=20129] ppid=20127 vsize=1020308 CPUtime=9.87 cores=0-7
/proc/20129/stat : 20129 (gnovelty+2) R 20127 20129 20129 0 -1 4202496 1151 0 0 0 987 0 0 0 25 0 1 0 548257469 1044795392 892 33554432000 134512640 135663704 4293511120 18446744073709551615 134524548 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/20129/statm: 255077 892 113 282 0 254793 0
[pid=20130] ppid=20106 vsize=411572 CPUtime=0 cores=0-7
/proc/20130/stat : 20130 (python) S 20106 20106 19986 0 -1 4202560 821 0 0 0 0 0 0 0 18 0 1 0 548257472 421449728 7231 33554432000 4194304 5683644 140734175622336 18446744073709551615 228122734150 0 0 16781312 514 4479045337993937156 0 0 17 4 0 0 0
/proc/20130/statm: 102893 7231 370 364 0 38793 0

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

[pid=20202] ppid=20106 vsize=555156 CPUtime=0.16 cores=0-7
/proc/20202/stat : 20202 (python) S 20106 20106 19986 0 -1 4202560 1136 0 0 0 8 8 0 0 19 0 2 0 548297564 568479744 7542 33554432000 4194304 5683644 140734175622336 18446744073709551615 228134540747 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/20202/statm: 138789 7542 400 364 0 74647 0
[pid=20204] ppid=20202 vsize=335996 CPUtime=99.67 cores=0-7
/proc/20204/stat : 20204 (iPAWS) T 20202 20204 20204 0 -1 4202496 2049 0 0 0 9967 0 0 0 25 0 1 0 548297565 344059904 1775 33554432000 134512640 135114423 4289942512 18446744073709551615 134516978 0 0 16781312 0 18446744071562691360 0 0 17 2 0 0 0
/proc/20204/statm: 83999 1775 59 147 0 83851 0
[pid=20202/tid=20212] ppid=20106 vsize=555156 CPUtime=0 cores=0-7
/proc/20202/task/20212/stat : 20212 (python) S 20106 20106 19986 0 -1 4202560 81 0 0 0 0 0 0 0 19 0 2 0 548307580 568479744 7542 33554432000 4194304 5683644 140734175622336 18446744073709551615 228134537649 0 0 16781312 514 18446604453946484032 0 0 -1 0 0 0 0
[pid=20208] ppid=20106 vsize=565412 CPUtime=0.16 cores=0-7
/proc/20208/stat : 20208 (python) S 20106 20106 19986 0 -1 4202560 1172 0 0 0 8 8 0 0 19 0 2 0 548306806 578981888 7555 33554432000 4194304 5683644 140734175622336 18446744073709551615 228134540747 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/20208/statm: 141353 7555 406 364 0 77208 0
[pid=20210] ppid=20208 vsize=1020308 CPUtime=97.57 cores=0-7
/proc/20210/stat : 20210 (gnovelty+2) T 20208 20210 20210 0 -1 4202496 1173 0 0 0 9757 0 0 0 25 0 1 0 548306806 1044795392 892 33554432000 134512640 135663704 4288836480 18446744073709551615 134525678 0 0 16781312 0 18446744071562691360 0 0 17 5 0 0 0
/proc/20210/statm: 255077 892 113 282 0 254793 0
[pid=20208/tid=20218] ppid=20106 vsize=565412 CPUtime=0 cores=0-7
/proc/20208/task/20218/stat : 20218 (python) S 20106 20106 19986 0 -1 4202560 81 0 0 0 0 0 0 0 19 0 2 0 548316827 578981888 7555 33554432000 4194304 5683644 140734175622336 18446744073709551615 228134537649 0 0 16781312 514 18446604453648154944 0 0 -1 5 0 0 0
[pid=20215] ppid=20106 vsize=575668 CPUtime=0.18 cores=0-7
/proc/20215/stat : 20215 (python) S 20106 20106 19986 0 -1 4202560 1189 0 0 0 10 8 0 0 19 0 2 0 548316357 589484032 7517 33554432000 4194304 5683644 140734175622336 18446744073709551615 228134540747 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/20215/statm: 143917 7517 406 364 0 79769 0
[pid=20217] ppid=20215 vsize=335996 CPUtime=99.78 cores=0-7
/proc/20217/stat : 20217 (iPAWS) T 20215 20217 20217 0 -1 4202496 2052 0 0 0 9978 0 0 0 25 0 1 0 548316358 344059904 1773 33554432000 134512640 135114423 4286597008 18446744073709551615 134516892 0 0 16781312 0 18446744071562691360 0 0 17 1 0 0 0
/proc/20217/statm: 83999 1773 59 147 0 83851 0
[pid=20215/tid=20228] ppid=20106 vsize=575668 CPUtime=0 cores=0-7
/proc/20215/task/20228/stat : 20228 (python) S 20106 20106 19986 0 -1 4202560 82 0 0 0 0 0 0 0 19 0 2 0 548326375 589484032 7517 33554432000 4194304 5683644 140734175622336 18446744073709551615 228134537649 0 0 16781312 514 18446604445802341312 0 0 -1 7 0 0 0
[pid=20220] ppid=20106 vsize=585924 CPUtime=0.88 cores=0-7
/proc/20220/stat : 20220 (python) S 20106 20106 19986 0 -1 4202560 1208 0 0 0 47 41 0 0 18 0 2 0 548317225 599986176 7525 33554432000 4194304 5683644 140734175622336 18446744073709551615 228122734150 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/20220/statm: 146481 7525 407 364 0 82330 0
[pid=20222] ppid=20220 vsize=268428 CPUtime=481.8 cores=0-7
/proc/20222/stat : 20222 (hybridGM3) R 20220 20222 20222 0 -1 4202496 6205 0 0 0 48176 4 0 0 25 0 1 0 548317225 274870272 5919 33554432000 134512640 135204385 4293256944 18446744073709551615 134538171 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/20222/statm: 67107 5919 63 169 0 66937 0
[pid=20220/tid=20242] ppid=20106 vsize=585924 CPUtime=0 cores=0-7
/proc/20220/task/20242/stat : 20242 (python) S 20106 20106 19986 0 -1 4202560 85 0 0 0 0 0 0 0 18 0 2 0 548336774 599986176 7525 33554432000 4194304 5683644 140734175622336 18446744073709551615 228134537649 0 0 16781312 514 18446604453929347776 0 0 -1 3 0 0 0
[pid=20225] ppid=20106 vsize=596180 CPUtime=0.72 cores=0-7
/proc/20225/stat : 20225 (python) S 20106 20106 19986 0 -1 4202560 982 0 0 0 40 32 0 0 18 0 1 0 548326343 610488320 7542 33554432000 4194304 5683644 140734175622336 18446744073709551615 228122734150 0 0 16781312 514 16167834701329826049 0 0 17 0 0 0 0
/proc/20225/statm: 149045 7542 372 364 0 84891 0
[pid=20227] ppid=20225 vsize=461508 CPUtime=388.13 cores=0-7
/proc/20227/stat : 20227 (TNM) R 20225 20227 20227 0 -1 4202496 2477 0 0 0 38812 1 0 0 25 0 1 0 548326344 472584192 2195 33554432000 134512640 135008748 4289958880 18446744073709551615 134527542 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/20227/statm: 115377 2195 46 122 0 114277 0
[pid=20229] ppid=20106 vsize=606436 CPUtime=0.18 cores=0-7
/proc/20229/stat : 20229 (python) S 20106 20106 19986 0 -1 4202560 1182 0 0 0 9 9 0 0 19 0 2 0 548326385 620990464 7646 33554432000 4194304 5683644 140734175622336 18446744073709551615 228134540747 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/20229/statm: 151609 7646 400 364 0 87452 0
[pid=20231] ppid=20229 vsize=1020308 CPUtime=100.22 cores=0-7
/proc/20231/stat : 20231 (gnovelty+2) T 20229 20231 20231 0 -1 4202496 1175 0 0 0 10022 0 0 0 25 0 1 0 548326385 1044795392 891 33554432000 134512640 135663704 4286829136 18446744073709551615 134524945 0 0 16781312 0 18446744071562691360 0 0 17 6 0 0 0
/proc/20231/statm: 255077 891 113 282 0 254793 0
[pid=20229/tid=20238] ppid=20106 vsize=606436 CPUtime=0 cores=0-7
/proc/20229/task/20238/stat : 20238 (python) S 20106 20106 19986 0 -1 4202560 83 0 0 0 0 0 0 0 19 0 2 0 548336408 620990464 7646 33554432000 4194304 5683644 140734175622336 18446744073709551615 228134537649 0 0 16781312 514 18446604453953333376 0 0 -1 6 0 0 0
[pid=20232] ppid=20106 vsize=616692 CPUtime=0.36 cores=0-7
/proc/20232/stat : 20232 (python) S 20106 20106 19986 0 -1 4202560 1192 0 0 0 18 18 0 0 19 0 2 0 548326562 631492608 7536 33554432000 4194304 5683644 140734175622336 18446744073709551615 228134540747 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/20232/statm: 154173 7536 401 364 0 90013 0
[pid=20234] ppid=20232 vsize=268424 CPUtime=195.03 cores=0-7
/proc/20234/stat : 20234 (hybridGM3) T 20232 20234 20234 0 -1 4202496 6200 0 0 0 19503 0 0 0 25 0 1 0 548326563 274866176 5918 33554432000 134512640 135204385 4288113568 18446744073709551615 134537795 0 0 16781312 0 18446744071562691360 0 0 17 0 0 0 0
/proc/20234/statm: 67106 5918 63 169 0 66936 0
[pid=20232/tid=20251] ppid=20106 vsize=616692 CPUtime=0 cores=0-7
/proc/20232/task/20251/stat : 20251 (python) S 20106 20106 19986 0 -1 4202560 84 0 0 0 0 0 0 0 19 0 2 0 548346110 631492608 7536 33554432000 4194304 5683644 140734175622336 18446744073709551615 228134537649 0 0 16781312 514 18446604453930972224 0 0 -1 1 0 0 0
[pid=20239] ppid=20106 vsize=626948 CPUtime=0.54 cores=0-7
/proc/20239/stat : 20239 (python) S 20106 20106 19986 0 -1 4202560 1206 0 0 0 31 23 0 0 18 0 2 0 548336418 641994752 7595 33554432000 4194304 5683644 140734175622336 18446744073709551615 228122734150 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/20239/statm: 156737 7595 400 364 0 92574 0
[pid=20241] ppid=20239 vsize=253036 CPUtime=280.37 cores=0-7
/proc/20241/stat : 20241 (FH) R 20239 20241 20241 0 -1 4202496 2517 0 0 0 28034 3 0 0 25 0 1 0 548336418 259108864 2234 33554432000 134512640 134936988 4286957712 18446744073709551615 134545336 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/20241/statm: 63259 2234 41 104 0 62763 0
[pid=20239/tid=20256] ppid=20106 vsize=626948 CPUtime=0 cores=0-7
/proc/20239/task/20256/stat : 20256 (python) S 20106 20106 19986 0 -1 4202560 87 0 0 0 0 0 0 0 19 0 2 0 548347037 641994752 7595 33554432000 4194304 5683644 140734175622336 18446744073709551615 228134537649 0 0 16781312 514 18446604453956196224 0 0 -1 7 0 0 0
[pid=20245] ppid=20106 vsize=637204 CPUtime=0.36 cores=0-7
/proc/20245/stat : 20245 (python) S 20106 20106 19986 0 -1 4202560 1247 0 0 0 18 18 0 0 18 0 2 0 548345759 652496896 7718 33554432000 4194304 5683644 140734175622336 18446744073709551615 228122734150 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/20245/statm: 159301 7718 407 364 0 95135 0
[pid=20247] ppid=20245 vsize=268424 CPUtime=198.65 cores=0-7
/proc/20247/stat : 20247 (hybridGM3) R 20245 20247 20247 0 -1 4202496 6210 0 0 0 19864 1 0 0 25 0 1 0 548345760 274866176 5919 33554432000 134512640 135204385 4288350224 18446744073709551615 134537711 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/20247/statm: 67106 5919 63 169 0 66936 0
[pid=20245/tid=20261] ppid=20106 vsize=637204 CPUtime=0 cores=0-7
/proc/20245/task/20261/stat : 20261 (python) S 20106 20106 19986 0 -1 4202560 86 0 0 0 0 0 0 0 19 0 2 0 548365402 652496896 7718 33554432000 4194304 5683644 140734175622336 18446744073709551615 228134537649 0 0 16781312 514 18446604453956194432 0 0 -1 1 0 0 0
[pid=20248] ppid=20106 vsize=647460 CPUtime=0.36 cores=0-7
/proc/20248/stat : 20248 (python) S 20106 20106 19986 0 -1 4202560 1242 0 0 0 21 15 0 0 19 0 2 0 548346061 662999040 7671 33554432000 4194304 5683644 140734175622336 18446744073709551615 228134540747 0 0 16781312 514 18446744073709551615 0 0 17 5 0 0 0
/proc/20248/statm: 161865 7671 407 364 0 97696 0
[pid=20250] ppid=20248 vsize=268420 CPUtime=194.73 cores=0-7
/proc/20250/stat : 20250 (hybridGM3) T 20248 20250 20250 0 -1 4202496 6207 0 0 0 19473 0 0 0 25 0 1 0 548346063 274862080 5918 33554432000 134512640 135204385 4288409552 18446744073709551615 134545396 0 0 16781312 0 18446744071562691360 0 0 17 5 0 0 0
/proc/20250/statm: 67105 5918 63 169 0 66935 0
[pid=20248/tid=20262] ppid=20106 vsize=647460 CPUtime=0 cores=0-7
/proc/20248/task/20262/stat : 20262 (python) S 20106 20106 19986 0 -1 4202560 85 0 0 0 0 0 0 0 19 0 2 0 548365611 662999040 7671 33554432000 4194304 5683644 140734175622336 18446744073709551615 228134537649 0 0 16781312 514 18446604453955553152 0 0 -1 5 0 0 0
[pid=20252] ppid=20106 vsize=657716 CPUtime=0.35 cores=0-7
/proc/20252/stat : 20252 (python) S 20106 20106 19986 0 -1 4202560 1052 0 0 0 19 16 0 0 18 0 1 0 548346120 673501184 7735 33554432000 4194304 5683644 140734175622336 18446744073709551615 228122734150 0 0 16781312 514 16167834701329826051 0 0 17 0 0 0 0
/proc/20252/statm: 164429 7735 378 364 0 100257 0
[pid=20254] ppid=20252 vsize=423312 CPUtime=195.16 cores=0-7
/proc/20254/stat : 20254 (NCVWr) R 20252 20254 20254 0 -1 4202496 2553 0 0 0 19516 0 0 0 25 0 1 0 548346121 433471488 2267 33554432000 134512640 135113558 4289355472 18446744073709551615 134533922 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/20254/statm: 105828 2267 58 147 0 104703 0
[pid=20263] ppid=20106 vsize=667972 CPUtime=0 cores=0-7
/proc/20263/stat : 20263 (python) S 20106 20106 19986 0 -1 4202560 927 0 0 0 0 0 0 0 19 0 1 0 548365623 684003328 7632 33554432000 4194304 5683644 140734175622336 18446744073709551615 228122734150 0 0 16781312 514 4320817918175608831 0 0 17 0 0 0 0
/proc/20263/statm: 166993 7632 352 364 0 102818 0
[pid=20265] ppid=20263 vsize=454748 CPUtime=0.23 cores=0-7
/proc/20265/stat : 20265 (TNM) R 20263 20265 20265 0 -1 4202496 1514 0 0 0 23 0 0 0 21 0 1 0 548365623 465661952 1224 33554432000 134512640 135008748 4293408224 18446744073709551615 134523480 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/20265/statm: 113687 1224 45 122 0 112587 0
[pid=20106/tid=20113] ppid=20104 vsize=678216 CPUtime=0 cores=0-7
/proc/20106/task/20113/stat : 20113 (python) S 20104 20106 19986 0 -1 4202560 27 935 0 0 0 0 0 0 19 0 33 0 548257450 694493184 9219 33554432000 4194304 5683644 140734175622336 18446744073709551615 228134537649 0 0 16781312 2 18446604453937866624 0 0 -1 3 0 0 0
[pid=20106/tid=20116] ppid=20104 vsize=678216 CPUtime=0 cores=0-7
/proc/20106/task/20116/stat : 20116 (python) S 20104 20106 19986 0 -1 4202560 23 935 0 0 0 0 0 0 18 0 33 0 548257453 694493184 9219 33554432000 4194304 5683644 140734175622336 18446744073709551615 228134537649 0 0 16781312 2 18446604453937866624 0 0 -1 3 0 0 0
[pid=20106/tid=20119] ppid=20104 vsize=678216 CPUtime=0 cores=0-7
/proc/20106/task/20119/stat : 20119 (python) S 20104 20106 19986 0 -1 4202560 102 935 0 0 0 0 0 0 15 0 33 0 548257457 694493184 9219 33554432000 4194304 5683644 140734175622336 18446744073709551615 228134537649 0 0 16781312 2 18446604453937866624 0 0 -1 0 0 0 0
[pid=20106/tid=20122] ppid=20104 vsize=678216 CPUtime=0 cores=0-7
/proc/20106/task/20122/stat : 20122 (python) S 20104 20106 19986 0 -1 4202560 40 935 0 0 0 0 0 0 15 0 33 0 548257461 694493184 9219 33554432000 4194304 5683644 140734175622336 18446744073709551615 228134537649 0 0 16781312 2 18446604453937866624 0 0 -1 5 0 0 0
[pid=20106/tid=20125] ppid=20104 vsize=678216 CPUtime=0 cores=0-7
/proc/20106/task/20125/stat : 20125 (python) S 20104 20106 19986 0 -1 4202560 43 935 0 0 0 0 0 0 18 0 33 0 548257464 694493184 9219 33554432000 4194304 5683644 140734175622336 18446744073709551615 228134537649 0 0 16781312 2 18446604453937866624 0 0 -1 5 0 0 0
[pid=20106/tid=20128] ppid=20104 vsize=678216 CPUtime=0 cores=0-7
/proc/20106/task/20128/stat : 20128 (python) S 20104 20106 19986 0 -1 4202560 35 935 0 0 0 0 0 0 25 0 33 0 548257468 694493184 9219 33554432000 4194304 5683644 140734175622336 18446744073709551615 228134537649 0 0 16781312 2 18446604453937866624 0 0 -1 4 0 0 0
[pid=20106/tid=20131] ppid=20104 vsize=678216 CPUtime=0 cores=0-7
/proc/20106/task/20131/stat : 20131 (python) S 20104 20106 19986 0 -1 4202560 40 935 0 0 0 0 0 0 18 0 33 0 548257472 694493184 9219 33554432000 4194304 5683644 140734175622336 18446744073709551615 228134537649 0 0 16781312 2 18446604453937866624 0 0 -1 4 0 0 0
[pid=20106/tid=20134] ppid=20104 vsize=678216 CPUtime=0 cores=0-7
/proc/20106/task/20134/stat : 20134 (python) S 20104 20106 19986 0 -1 4202560 90 935 0 0 0 0 0 0 18 0 33 0 548257476 694493184 9219 33554432000 4194304 5683644 140734175622336 18446744073709551615 228134537649 0 0 16781312 2 18446604453937866624 0 0 -1 0 0 0 0
[pid=20106/tid=20145] ppid=20104 vsize=678216 CPUtime=0 cores=0-7
/proc/20106/task/20145/stat : 20145 (python) S 20104 20106 19986 0 -1 4202560 43 935 0 0 0 0 0 0 18 0 33 0 548267473 694493184 9219 33554432000 4194304 5683644 140734175622336 18446744073709551615 228134537649 0 0 16781312 2 18446604453937866624 0 0 -1 3 0 0 0
[pid=20106/tid=20149] ppid=20104 vsize=678216 CPUtime=0 cores=0-7
/proc/20106/task/20149/stat : 20149 (python) S 20104 20106 19986 0 -1 4202560 40 935 0 0 0 0 0 0 18 0 33 0 548267478 694493184 9219 33554432000 4194304 5683644 140734175622336 18446744073709551615 228134537649 0 0 16781312 2 18446604453937866624 0 0 -1 0 0 0 0
[pid=20106/tid=20153] ppid=20104 vsize=678216 CPUtime=0 cores=0-7
/proc/20106/task/20153/stat : 20153 (python) S 20104 20106 19986 0 -1 4202560 51 935 0 0 0 0 0 0 18 0 33 0 548267482 694493184 9219 33554432000 4194304 5683644 140734175622336 18446744073709551615 228134537649 0 0 16781312 2 18446604453937866624 0 0 -1 2 0 0 0
[pid=20106/tid=20157] ppid=20104 vsize=678216 CPUtime=0 cores=0-7
/proc/20106/task/20157/stat : 20157 (python) S 20104 20106 19986 0 -1 4202560 34 935 0 0 0 0 0 0 25 0 33 0 548267488 694493184 9219 33554432000 4194304 5683644 140734175622336 18446744073709551615 228134537649 0 0 16781312 2 18446604453937866624 0 0 -1 0 0 0 0
[pid=20106/tid=20161] ppid=20104 vsize=678216 CPUtime=0 cores=0-7
/proc/20106/task/20161/stat : 20161 (python) S 20104 20106 19986 0 -1 4202560 58 935 0 0 0 0 0 0 18 0 33 0 548267493 694493184 9219 33554432000 4194304 5683644 140734175622336 18446744073709551615 228134537649 0 0 16781312 2 18446604453937866624 0 0 -1 4 0 0 0
[pid=20106/tid=20165] ppid=20104 vsize=678216 CPUtime=0 cores=0-7
/proc/20106/task/20165/stat : 20165 (python) S 20104 20106 19986 0 -1 4202560 40 935 0 0 0 0 0 0 18 0 33 0 548267499 694493184 9219 33554432000 4194304 5683644 140734175622336 18446744073709551615 228134537649 0 0 16781312 2 18446604453937866624 0 0 -1 6 0 0 0
[pid=20106/tid=20168] ppid=20104 vsize=678216 CPUtime=0 cores=0-7
/proc/20106/task/20168/stat : 20168 (python) S 20104 20106 19986 0 -1 4202560 40 935 0 0 0 0 0 0 18 0 33 0 548267505 694493184 9219 33554432000 4194304 5683644 140734175622336 18446744073709551615 228134537649 0 0 16781312 2 18446604453937866624 0 0 -1 0 0 0 0
[pid=20106/tid=20171] ppid=20104 vsize=678216 CPUtime=0 cores=0-7
/proc/20106/task/20171/stat : 20171 (python) S 20104 20106 19986 0 -1 4202560 50 935 0 0 0 0 0 0 18 0 33 0 548267512 694493184 9219 33554432000 4194304 5683644 140734175622336 18446744073709551615 228134537649 0 0 16781312 2 18446604453937866624 0 0 -1 0 0 0 0
[pid=20106/tid=20178] ppid=20104 vsize=678216 CPUtime=0 cores=0-7
/proc/20106/task/20178/stat : 20178 (python) S 20104 20106 19986 0 -1 4202560 32 935 0 0 0 0 0 0 19 0 33 0 548277496 694493184 9219 33554432000 4194304 5683644 140734175622336 18446744073709551615 228134537649 0 0 16781312 2 18446604453937866624 0 0 -1 0 0 0 0
[pid=20106/tid=20182] ppid=20104 vsize=678216 CPUtime=0 cores=0-7
/proc/20106/task/20182/stat : 20182 (python) S 20104 20106 19986 0 -1 4202560 34 935 0 0 0 0 0 0 20 0 33 0 548277505 694493184 9219 33554432000 4194304 5683644 140734175622336 18446744073709551615 228134537649 0 0 16781312 2 18446604453937866624 0 0 -1 0 0 0 0
[pid=20106/tid=20194] ppid=20104 vsize=678216 CPUtime=0 cores=0-7
/proc/20106/task/20194/stat : 20194 (python) S 20104 20106 19986 0 -1 4202560 45 935 0 0 0 0 0 0 19 0 33 0 548287527 694493184 9219 33554432000 4194304 5683644 140734175622336 18446744073709551615 228134537649 0 0 16781312 2 18446604453937866624 0 0 -1 0 0 0 0
[pid=20106/tid=20200] ppid=20104 vsize=678216 CPUtime=0 cores=0-7
/proc/20106/task/20200/stat : 20200 (python) S 20104 20106 19986 0 -1 4202560 42 935 0 0 0 0 0 0 20 0 33 0 548296968 694493184 9219 33554432000 4194304 5683644 140734175622336 18446744073709551615 228134537649 0 0 16781312 2 18446604453937866624 0 0 -1 1 0 0 0
[pid=20106/tid=20203] ppid=20104 vsize=678216 CPUtime=0 cores=0-7
/proc/20106/task/20203/stat : 20203 (python) S 20104 20106 19986 0 -1 4202560 40 935 0 0 0 0 0 0 20 0 33 0 548297565 694493184 9219 33554432000 4194304 5683644 140734175622336 18446744073709551615 228134537649 0 0 16781312 2 18446604453937866624 0 0 -1 0 0 0 0
[pid=20106/tid=20209] ppid=20104 vsize=678216 CPUtime=0 cores=0-7
/proc/20106/task/20209/stat : 20209 (python) S 20104 20106 19986 0 -1 4202560 35 935 0 0 0 0 0 0 20 0 33 0 548306806 694493184 9219 33554432000 4194304 5683644 140734175622336 18446744073709551615 228134537649 0 0 16781312 2 18446604453937866624 0 0 -1 1 0 0 0
[pid=20106/tid=20216] ppid=20104 vsize=678216 CPUtime=0 cores=0-7
/proc/20106/task/20216/stat : 20216 (python) S 20104 20106 19986 0 -1 4202560 35 935 0 0 0 0 0 0 20 0 33 0 548316357 694493184 9219 33554432000 4194304 5683644 140734175622336 18446744073709551615 228134537649 0 0 16781312 2 18446604453937866624 0 0 -1 0 0 0 0
[pid=20106/tid=20221] ppid=20104 vsize=678216 CPUtime=0 cores=0-7
/proc/20106/task/20221/stat : 20221 (python) S 20104 20106 19986 0 -1 4202560 44 935 0 0 0 0 0 0 18 0 33 0 548317225 694493184 9219 33554432000 4194304 5683644 140734175622336 18446744073709551615 228134537649 0 0 16781312 2 18446604453937866624 0 0 -1 0 0 0 0
[pid=20106/tid=20226] ppid=20104 vsize=678216 CPUtime=0 cores=0-7
/proc/20106/task/20226/stat : 20226 (python) S 20104 20106 19986 0 -1 4202560 32 935 0 0 0 0 0 0 20 0 33 0 548326344 694493184 9219 33554432000 4194304 5683644 140734175622336 18446744073709551615 228134537649 0 0 16781312 2 18446604453937866624 0 0 -1 1 0 0 0
[pid=20106/tid=20230] ppid=20104 vsize=678216 CPUtime=0 cores=0-7
/proc/20106/task/20230/stat : 20230 (python) S 20104 20106 19986 0 -1 4202560 34 935 0 0 0 0 0 0 20 0 33 0 548326385 694493184 9219 33554432000 4194304 5683644 140734175622336 18446744073709551615 228134537649 0 0 16781312 2 18446604453937866624 0 0 -1 0 0 0 0
[pid=20106/tid=20233] ppid=20104 vsize=678216 CPUtime=0 cores=0-7
/proc/20106/task/20233/stat : 20233 (python) S 20104 20106 19986 0 -1 4202560 34 935 0 0 0 0 0 0 20 0 33 0 548326563 694493184 9219 33554432000 4194304 5683644 140734175622336 18446744073709551615 228134537649 0 0 16781312 2 18446604453937866624 0 0 -1 0 0 0 0
[pid=20106/tid=20240] ppid=20104 vsize=678216 CPUtime=0 cores=0-7
/proc/20106/task/20240/stat : 20240 (python) S 20104 20106 19986 0 -1 4202560 41 935 0 0 0 0 0 0 18 0 33 0 548336418 694493184 9219 33554432000 4194304 5683644 140734175622336 18446744073709551615 228134537649 0 0 16781312 2 18446604453937866624 0 0 -1 0 0 0 0
[pid=20106/tid=20246] ppid=20104 vsize=678216 CPUtime=0 cores=0-7
/proc/20106/task/20246/stat : 20246 (python) S 20104 20106 19986 0 -1 4202560 39 935 0 0 0 0 0 0 18 0 33 0 548345759 694493184 9219 33554432000 4194304 5683644 140734175622336 18446744073709551615 228134537649 0 0 16781312 2 18446604453937866624 0 0 -1 0 0 0 0
[pid=20106/tid=20249] ppid=20104 vsize=678216 CPUtime=0 cores=0-7
/proc/20106/task/20249/stat : 20249 (python) S 20104 20106 19986 0 -1 4202560 31 935 0 0 0 0 0 0 20 0 33 0 548346061 694493184 9219 33554432000 4194304 5683644 140734175622336 18446744073709551615 228134537649 0 0 16781312 2 18446604453937866624 0 0 -1 0 0 0 0
[pid=20106/tid=20253] ppid=20104 vsize=678216 CPUtime=0 cores=0-7
/proc/20106/task/20253/stat : 20253 (python) S 20104 20106 19986 0 -1 4202560 34 935 0 0 0 0 0 0 20 0 33 0 548346121 694493184 9219 33554432000 4194304 5683644 140734175622336 18446744073709551615 228134537649 0 0 16781312 2 18446604453937866624 0 0 -1 0 0 0 0
[pid=20106/tid=20264] ppid=20104 vsize=678216 CPUtime=0 cores=0-7
/proc/20106/task/20264/stat : 20264 (python) S 20104 20106 19986 0 -1 4202560 32 935 0 0 0 0 0 0 19 0 33 0 548365623 694493184 9219 33554432000 4194304 5683644 140734175622336 18446744073709551615 228134537649 0 0 16781312 2 18446604453937866624 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 8622.68
Current children cumulated vsize (KiB) 31870904

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 1084.7
CPU time (s): 8622.68
CPU user time (s): 8615.07
CPU system time (s): 7.61
CPU usage (%): 794.939
Max. virtual memory (cumulated for all children) (KiB): 31870904

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.42402
system time used= 0.244962
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69269
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= 3295
involuntary context switches= 135

runsolver used 9.8605 second user time and 22.2066 second system time

The end

Launcher Data 

Begin job on node138 at 2011-05-02 22:03:12
IDJOB=3321744
IDBENCH=82522
IDSOLVER=1712
FILE ID=node138/3321744-1304366592
RUNJOBID= node138-1304366465-20000
PBS_JOBID= 13181735
Free space on /tmp= 73220 MiB

SOLVER NAME= borg-sat 11.03.02-random
BENCH NAME= SAT11/random/large/unif-k5-r20-v2000-c40000-S1143439968-082-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-3321744-1304366592/watcher-3321744-1304366592 -o /tmp/evaluation-result-3321744-1304366592/solver-3321744-1304366592 -C 40000 -W 5100 -M 31000  python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3321744-1304366592.cnf -seed 102017866 -budget 40000 -cores 8

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

MD5SUM BENCH= 4baebda329e22fa39a89c4e2a8acff70
RANDOM SEED=102017866

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      20174268 kB
Buffers:        739044 kB
Cached:        2865328 kB
SwapCached:         84 kB
Active:        9309864 kB
Inactive:      3038196 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      20174268 kB
SwapTotal:    67111528 kB
SwapFree:     67111444 kB
Dirty:           32644 kB
Writeback:           0 kB
AnonPages:     8744148 kB
Mapped:          21584 kB
Slab:           341632 kB
PageTables:      25304 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  9868256 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= 73188 MiB
End job on node138 at 2011-05-02 22:21:19