Trace number 3378292

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)? 4737.97 1200.15

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v50000-c210000-S964643921-035-UNKNOWN.cnf
MD5SUMd8337de8a71a630ccf2dd02943cd7d7f
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark248.692
Satisfiable
(Un)Satisfiability was proved
Number of variables50000
Number of clauses210000
Sum of the clauses size630000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3210000
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.32/0.47	c INFO: loaded portfolio from HOME/etc/borg-mix+class.random.pickle
0.32/0.47	c INFO: solving HOME/instance-3378292-1305464527.cnf
0.32/0.47	c INFO: computing task features
1.03/1.19	c INFO: computed variable-clause graph statistics
1.11/1.22	c INFO: computed clause balance statistics
4.81/4.97	c INFO: computed variable balance statistics
7.81/7.95	c INFO: computed small-clause counts
7.81/7.97	c INFO: computed Horn-clause counts
10.93/11.05	c INFO: computed variable graph statistics
10.93/11.05	c INFO: collected features for HOME/instance-3378292-1305464527.cnf in 10.54 s
10.93/11.06	c INFO: running hybridGM3@0 for 97 with 1189 remaining (b = 0.35)
10.93/11.07	c INFO: running hybridGM3@0 for 97 with 1189 remaining (b = 0.21)
10.93/11.08	c INFO: running hybridGM3@0 for 97 with 1189 remaining (b = 0.14)
10.93/11.09	c INFO: running hybridGM3@0 for 194 with 1189 remaining (b = 0.18)
407.20/110.54	c INFO: running hybridGM3@0 for 97 with 1089 remaining (b = 0.08)
411.18/111.58	c INFO: running hybridGM3@0 for 97 with 1088 remaining (b = 0.08)
411.18/111.59	c INFO: running hybridGM3@0 for 97 with 1088 remaining (b = 0.08)
802.89/209.87	c INFO: running hybridGM3@98 for 97 with 990 remaining (b = 0.08)
807.28/210.91	c INFO: running TNM@0 for 97 with 989 remaining (b = 0.08)
807.28/210.94	c INFO: running hybridGM3@100 for 97 with 989 remaining (b = 0.07)
815.22/212.90	c INFO: running hybridGM3@99 for 97 with 987 remaining (b = 0.07)
1185.39/306.19	c INFO: running hybridGM3@99 for 97 with 894 remaining (b = 0.07)
1185.79/306.22	c INFO: running hybridGM3@192 for 97 with 894 remaining (b = 0.07)
1201.36/310.19	c INFO: running hybridGM3@0 for 97 with 890 remaining (b = 0.07)
1201.77/310.22	c INFO: running hybridGM3@0 for 194 with 890 remaining (b = 0.09)
1573.19/403.51	c INFO: running hybridGM3@193 for 97 with 796 remaining (b = 0.04)
1585.13/406.56	c INFO: running hybridGM3@0 for 194 with 793 remaining (b = 0.07)
1601.80/410.71	c INFO: running hybridGM3@97 for 97 with 789 remaining (b = 0.03)
1952.03/498.81	c INFO: running hybridGM3@291 for 97 with 701 remaining (b = 0.03)
1980.30/506.01	c INFO: running hybridGM3@190 for 97 with 694 remaining (b = 0.03)
1984.25/507.00	c INFO: running hybridGM3@96 for 97 with 693 remaining (b = 0.03)
2354.74/600.12	c INFO: running hybridGM3@386 for 97 with 600 remaining (b = 0.03)
2367.47/603.37	c INFO: running hybridGM3@100 for 97 with 597 remaining (b = 0.03)
2383.38/607.32	c INFO: running hybridGM3@386 for 97 with 593 remaining (b = 0.03)
2387.39/608.32	c INFO: running TNM@199 for 97 with 592 remaining (b = 0.03)
2733.59/695.42	c INFO: running TNM@0 for 97 with 505 remaining (b = 0.05)
2762.18/702.62	c INFO: running hybridGM3@0 for 194 with 497 remaining (b = 0.05)
2770.11/704.69	c INFO: running hybridGM3@0 for 194 with 495 remaining (b = 0.04)
2793.98/710.66	c INFO: running TNM@0 for 97 with 489 remaining (b = 0.02)
3132.15/795.76	c INFO: running TNM@294 for 404 with 404 remaining (b = 0.06)
3188.97/810.10	c INFO: running hybridGM3@0 for 194 with 390 remaining (b = 0.03)
3544.65/899.51	c INFO: running hybridGM3@101 for 97 with 300 remaining (b = 0.01)
3576.51/907.53	c INFO: running hybridGM3@101 for 97 with 292 remaining (b = 0.01)
3947.24/1000.84	c INFO: running hybridGM3@300 for 97 with 199 remaining (b = 0.01)
3955.22/1002.84	c INFO: running TNM@0 for 97 with 197 remaining (b = 0.01)
3971.47/1006.96	c INFO: running TNM@0 for 193 with 193 remaining (b = 0.01)
4349.00/1102.18	c INFO: running hybridGM3@394 for 98 with 98 remaining (b = 0.01)
4352.93/1103.20	c INFO: running TNM@0 for 97 with 97 remaining (b = 0.01)
4737.87/1200.12	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-3378292-1305464527/watcher-3378292-1305464527 -o /tmp/evaluation-result-3378292-1305464527/solver-3378292-1305464527 -C 4800 -W 1300 -M 15500 python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3378292-1305464527.cnf -seed 601654411 -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: 8.17 8.14 7.03 7/391 27562
/proc/meminfo: memFree=20643220/32951132 swapFree=64495980/67111528
[pid=27562] ppid=27560 vsize=15908 CPUtime=0 cores=0,2,4,6
/proc/27562/stat : 27562 (python) R 27560 27562 27281 0 -1 4202496 960 0 0 0 0 0 0 0 20 0 1 0 658052355 16289792 835 33554432000 4194304 5683644 140733945114864 18446744073709551615 210647189639 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/27562/statm: 3977 837 357 364 0 464 0

[startup+0.0671561 s]
/proc/loadavg: 8.17 8.14 7.03 7/391 27562
/proc/meminfo: memFree=20643220/32951132 swapFree=64495980/67111528
[pid=27562] ppid=27560 vsize=50340 CPUtime=0.04 cores=0,2,4,6
/proc/27562/stat : 27562 (python) R 27560 27562 27281 0 -1 4202496 2001 0 0 0 3 1 0 0 20 0 1 0 658052355 51548160 1762 33554432000 4194304 5683644 140733945114864 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/27562/statm: 12584 1762 480 364 0 1284 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 50340

[startup+0.10115 s]
/proc/loadavg: 8.17 8.14 7.03 7/391 27562
/proc/meminfo: memFree=20643220/32951132 swapFree=64495980/67111528
[pid=27562] ppid=27560 vsize=104228 CPUtime=0.07 cores=0,2,4,6
/proc/27562/stat : 27562 (python) R 27560 27562 27281 0 -1 4202496 3066 0 0 0 5 2 0 0 20 0 1 0 658052355 106729472 2748 33554432000 4194304 5683644 140733945114864 18446744073709551615 210647144448 0 2147483391 16781312 2 0 0 0 17 2 0 0 0
/proc/27562/statm: 26057 2748 847 364 0 1805 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 104228

[startup+0.301134 s]
/proc/loadavg: 8.17 8.14 7.03 7/391 27562
/proc/meminfo: memFree=20643220/32951132 swapFree=64495980/67111528
[pid=27562] ppid=27560 vsize=170752 CPUtime=0.24 cores=0,2,4,6
/proc/27562/stat : 27562 (python) S 27560 27562 27281 0 -1 4202496 6732 932 1 0 16 8 0 0 17 0 1 0 658052355 174850048 4805 33554432000 4194304 5683644 140733945114864 18446744073709551615 210647144448 0 2147483391 16781312 2 18446744071699109054 0 0 17 4 0 0 0
/proc/27562/statm: 42688 4805 1336 364 0 3453 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 170752

[startup+0.701074 s]
/proc/loadavg: 8.17 8.14 7.03 7/391 27562
/proc/meminfo: memFree=20643220/32951132 swapFree=64495980/67111528
[pid=27562] ppid=27560 vsize=297048 CPUtime=0.62 cores=0,2,4,6
/proc/27562/stat : 27562 (python) R 27560 27562 27281 0 -1 4202496 13910 932 1 0 49 13 0 0 17 0 1 0 658052355 304177152 11593 33554432000 4194304 5683644 140733945114864 18446744073709551615 210646807237 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/27562/statm: 74295 11594 1761 364 0 10219 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 297048

[startup+1.50094 s]
/proc/loadavg: 8.17 8.14 7.03 6/392 27567
/proc/meminfo: memFree=20584312/32951132 swapFree=64495980/67111528
[pid=27562] ppid=27560 vsize=328004 CPUtime=1.41 cores=0,2,4,6
/proc/27562/stat : 27562 (python) R 27560 27562 27281 0 -1 4202496 27454 932 1 0 127 14 0 0 19 0 1 0 658052355 335876096 19386 33554432000 4194304 5683644 140733945114864 18446744073709551615 4540638 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/27562/statm: 82001 19386 1826 364 0 17925 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 328004

[startup+3.10065 s]
/proc/loadavg: 8.00 8.10 7.03 6/392 27567
/proc/meminfo: memFree=20571292/32951132 swapFree=64495980/67111528
[pid=27562] ppid=27560 vsize=328004 CPUtime=3.01 cores=0,2,4,6
/proc/27562/stat : 27562 (python) R 27560 27562 27281 0 -1 4202496 27454 932 1 0 287 14 0 0 22 0 1 0 658052355 335876096 19386 33554432000 4194304 5683644 140733945114864 18446744073709551615 210646804214 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/27562/statm: 82001 19386 1826 364 0 17925 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 328004

[startup+6.3001 s]
/proc/loadavg: 8.00 8.10 7.03 7/392 27567
/proc/meminfo: memFree=20570184/32951132 swapFree=64495980/67111528
[pid=27562] ppid=27560 vsize=328004 CPUtime=6.21 cores=0,2,4,6
/proc/27562/stat : 27562 (python) R 27560 27562 27281 0 -1 4202496 27455 932 1 0 607 14 0 0 25 0 1 0 658052355 335876096 19387 33554432000 4194304 5683644 140733945114864 18446744073709551615 210646842800 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/27562/statm: 82001 19387 1827 364 0 17925 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 328004

[startup+12.701 s]
/proc/loadavg: 8.30 8.17 7.06 11/404 27579
/proc/meminfo: memFree=20493152/32951132 swapFree=64495980/67111528
[pid=27562] ppid=27560 vsize=365136 CPUtime=11.01 cores=0,2,4,6
/proc/27562/stat : 27562 (python) S 27560 27562 27281 0 -1 4202496 30254 932 1 0 1085 16 0 0 25 0 5 0 658052355 373899264 18481 33554432000 4194304 5683644 140733945114864 18446744073709551615 210658973131 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27562/statm: 91284 18481 1881 364 0 27193 0
[pid=27568] ppid=27562 vsize=324124 CPUtime=0 cores=0,2,4,6
/proc/27568/stat : 27568 (python) S 27562 27562 27281 0 -1 4202560 728 0 0 0 0 0 0 0 18 0 1 0 658053461 331902976 16937 33554432000 4194304 5683644 140733945114864 18446744073709551615 210647166479 0 0 16781312 514 7225304876538920959 0 0 17 6 0 0 0
/proc/27568/statm: 81031 16937 353 364 0 16949 0
[pid=27570] ppid=27568 vsize=276236 CPUtime=1.62 cores=0,2,4,6
/proc/27570/stat : 27570 (hybridGM3) R 27568 27570 27570 0 -1 4202496 4978 0 0 0 162 0 0 0 25 0 1 0 658053461 282865664 4713 33554432000 134512640 135204385 4291655472 18446744073709551615 134543968 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/27570/statm: 69059 4713 57 169 0 68889 0
[pid=27571] ppid=27562 vsize=334380 CPUtime=0 cores=0,2,4,6
/proc/27571/stat : 27571 (python) S 27562 27562 27281 0 -1 4202560 733 0 0 0 0 0 0 0 18 0 1 0 658053462 342405120 16935 33554432000 4194304 5683644 140733945114864 18446744073709551615 210647166534 0 0 16781312 514 7225308724829618175 0 0 17 6 0 0 0
/proc/27571/statm: 83595 16935 347 364 0 19510 0
[pid=27573] ppid=27571 vsize=276232 CPUtime=1.62 cores=0,2,4,6
/proc/27573/stat : 27573 (hybridGM3) R 27571 27573 27573 0 -1 4202496 4968 0 0 0 161 1 0 0 25 0 1 0 658053463 282861568 4707 33554432000 134512640 135204385 4293637152 18446744073709551615 134543993 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/27573/statm: 69058 4707 57 169 0 68888 0
[pid=27574] ppid=27562 vsize=344636 CPUtime=0 cores=0,2,4,6
/proc/27574/stat : 27574 (python) S 27562 27562 27281 0 -1 4202560 735 0 0 0 0 0 0 0 18 0 1 0 658053463 352907264 16939 33554432000 4194304 5683644 140733945114864 18446744073709551615 210647166534 0 0 16781312 514 502071923031670783 0 0 17 4 0 0 0
/proc/27574/statm: 86159 16939 347 364 0 22071 0
[pid=27576] ppid=27574 vsize=276240 CPUtime=1.58 cores=0,2,4,6
/proc/27576/stat : 27576 (hybridGM3) R 27574 27576 27576 0 -1 4202496 4946 0 0 0 158 0 0 0 25 0 1 0 658053464 282869760 4686 33554432000 134512640 135204385 4290262432 18446744073709551615 134543968 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/27576/statm: 69060 4686 57 169 0 68890 0
[pid=27577] ppid=27562 vsize=354892 CPUtime=0 cores=0,2,4,6
/proc/27577/stat : 27577 (python) S 27562 27562 27281 0 -1 4202560 743 0 0 0 0 0 0 0 18 0 1 0 658053464 363409408 16943 33554432000 4194304 5683644 140733945114864 18446744073709551615 210647166534 0 0 16781312 514 502064226450276351 0 0 17 4 0 0 0
/proc/27577/statm: 88723 16943 347 364 0 24632 0
[pid=27579] ppid=27577 vsize=276236 CPUtime=1.59 cores=0,2,4,6
/proc/27579/stat : 27579 (hybridGM3) R 27577 27579 27579 0 -1 4202496 4952 0 0 0 159 0 0 0 25 0 1 0 658053465 282865664 4693 33554432000 134512640 135204385 4289604432 18446744073709551615 134543975 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/27579/statm: 69059 4693 57 169 0 68889 0
[pid=27562/tid=27569] ppid=27560 vsize=365136 CPUtime=0 cores=0,2,4,6
/proc/27562/task/27569/stat : 27569 (python) S 27560 27562 27281 0 -1 4202560 25 932 0 0 0 0 0 0 25 0 5 0 658053461 373899264 18481 33554432000 4194304 5683644 140733945114864 18446744073709551615 210658970033 0 0 16781312 2 18446604441075419136 0 0 -1 6 0 0 0
[pid=27562/tid=27572] ppid=27560 vsize=365136 CPUtime=0 cores=0,2,4,6
/proc/27562/task/27572/stat : 27572 (python) S 27560 27562 27281 0 -1 4202560 26 932 0 0 0 0 0 0 25 0 5 0 658053462 373899264 18481 33554432000 4194304 5683644 140733945114864 18446744073709551615 210658970033 0 0 16781312 2 18446604441075419136 0 0 -1 6 0 0 0
[pid=27562/tid=27575] ppid=27560 vsize=365136 CPUtime=0 cores=0,2,4,6
/proc/27562/task/27575/stat : 27575 (python) S 27560 27562 27281 0 -1 4202560 25 932 0 0 0 0 0 0 25 0 5 0 658053463 373899264 18481 33554432000 4194304 5683644 140733945114864 18446744073709551615 210658970033 0 0 16781312 2 18446604441075419136 0 0 -1 6 0 0 0
[pid=27562/tid=27578] ppid=27560 vsize=365136 CPUtime=0 cores=0,2,4,6
/proc/27562/task/27578/stat : 27578 (python) S 27560 27562 27281 0 -1 4202560 25 932 0 0 0 0 0 0 25 0 5 0 658053465 373899264 18481 33554432000 4194304 5683644 140733945114864 18446744073709551615 210658970033 0 0 16781312 2 18446604441075419136 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 17.42
Current children cumulated vsize (KiB) 2828112

[startup+25.5009 s]
/proc/loadavg: 8.26 8.16 7.07 7/392 27612
/proc/meminfo: memFree=20533224/32951132 swapFree=64495980/67111528
[pid=27562] ppid=27560 vsize=365136 CPUtime=11.01 cores=0,2,4,6
/proc/27562/stat : 27562 (python) S 27560 27562 27281 0 -1 4202496 30254 932 1 0 1085 16 0 0 25 0 5 0 658052355 373899264 18481 33554432000 4194304 5683644 140733945114864 18446744073709551615 210658973131 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27562/statm: 91284 18481 1881 364 0 27193 0
[pid=27568] ppid=27562 vsize=324124 CPUtime=0.03 cores=0,2,4,6
/proc/27568/stat : 27568 (python) S 27562 27562 27281 0 -1 4202560 900 0 0 0 2 1 0 0 15 0 1 0 658053461 331902976 16960 33554432000 4194304 5683644 140733945114864 18446744073709551615 210647166479 0 0 16781312 514 16821507558182191364 0 0 17 6 0 0 0
/proc/27568/statm: 81031 16960 376 364 0 16949 0
[pid=27570] ppid=27568 vsize=276240 CPUtime=14.42 cores=0,2,4,6
/proc/27570/stat : 27570 (hybridGM3) R 27568 27570 27570 0 -1 4202496 9518 0 0 0 1441 1 0 0 25 0 1 0 658053461 282869760 9253 33554432000 134512640 135204385 4291655472 18446744073709551615 134536993 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/27570/statm: 69060 9253 64 169 0 68890 0
[pid=27571] ppid=27562 vsize=334380 CPUtime=0.03 cores=0,2,4,6
/proc/27571/stat : 27571 (python) S 27562 27562 27281 0 -1 4202560 915 0 0 0 2 1 0 0 15 0 1 0 658053462 342405120 16958 33554432000 4194304 5683644 140733945114864 18446744073709551615 210647166534 0 0 16781312 514 16821507558182191363 0 0 17 4 0 0 0
/proc/27571/statm: 83595 16958 370 364 0 19510 0
[pid=27573] ppid=27571 vsize=276236 CPUtime=14.41 cores=0,2,4,6
/proc/27573/stat : 27573 (hybridGM3) R 27571 27573 27573 0 -1 4202496 9511 0 0 0 1440 1 0 0 25 0 1 0 658053463 282865664 9250 33554432000 134512640 135204385 4293637152 18446744073709551615 134537483 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/27573/statm: 69059 9250 64 169 0 68889 0
[pid=27574] ppid=27562 vsize=344636 CPUtime=0.02 cores=0,2,4,6
/proc/27574/stat : 27574 (python) S 27562 27562 27281 0 -1 4202560 910 0 0 0 1 1 0 0 15 0 1 0 658053463 352907264 16962 33554432000 4194304 5683644 140733945114864 18446744073709551615 210647166534 0 0 16781312 514 16821507558182191364 0 0 17 4 0 0 0
/proc/27574/statm: 86159 16962 370 364 0 22071 0
[pid=27576] ppid=27574 vsize=276244 CPUtime=14.16 cores=0,2,4,6
/proc/27576/stat : 27576 (hybridGM3) R 27574 27576 27576 0 -1 4202496 9509 0 0 0 1415 1 0 0 25 0 1 0 658053464 282873856 9249 33554432000 134512640 135204385 4290262432 18446744073709551615 134537435 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/27576/statm: 69061 9249 64 169 0 68891 0
[pid=27577] ppid=27562 vsize=354892 CPUtime=0.02 cores=0,2,4,6
/proc/27577/stat : 27577 (python) S 27562 27562 27281 0 -1 4202560 918 0 0 0 1 1 0 0 15 0 1 0 658053464 363409408 16966 33554432000 4194304 5683644 140733945114864 18446744073709551615 210647166534 0 0 16781312 514 16821507558182191362 0 0 17 6 0 0 0
/proc/27577/statm: 88723 16966 370 364 0 24632 0
[pid=27579] ppid=27577 vsize=276240 CPUtime=14.3 cores=0,2,4,6
/proc/27579/stat : 27579 (hybridGM3) R 27577 27579 27579 0 -1 4202496 9507 0 0 0 1429 1 0 0 25 0 1 0 658053465 282869760 9248 33554432000 134512640 135204385 4289604432 18446744073709551615 134537483 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/27579/statm: 69060 9248 64 169 0 68890 0
[pid=27562/tid=27569] ppid=27560 vsize=365136 CPUtime=0 cores=0,2,4,6
/proc/27562/task/27569/stat : 27569 (python) S 27560 27562 27281 0 -1 4202560 25 932 0 0 0 0 0 0 25 0 5 0 658053461 373899264 18481 33554432000 4194304 5683644 140733945114864 18446744073709551615 210658970033 0 0 16781312 2 18446604441075419136 0 0 -1 6 0 0 0
[pid=27562/tid=27572] ppid=27560 vsize=365136 CPUtime=0 cores=0,2,4,6
/proc/27562/task/27572/stat : 27572 (python) S 27560 27562 27281 0 -1 4202560 26 932 0 0 0 0 0 0 25 0 5 0 658053462 373899264 18481 33554432000 4194304 5683644 140733945114864 18446744073709551615 210658970033 0 0 16781312 2 18446604441075419136 0 0 -1 6 0 0 0
[pid=27562/tid=27575] ppid=27560 vsize=365136 CPUtime=0 cores=0,2,4,6
/proc/27562/task/27575/stat : 27575 (python) S 27560 27562 27281 0 -1 4202560 25 932 0 0 0 0 0 0 25 0 5 0 658053463 373899264 18481 33554432000 4194304 5683644 140733945114864 18446744073709551615 210658970033 0 0 16781312 2 18446604441075419136 0 0 -1 6 0 0 0
[pid=27562/tid=27578] ppid=27560 vsize=365136 CPUtime=0 cores=0,2,4,6
/proc/27562/task/27578/stat : 27578 (python) S 27560 27562 27281 0 -1 4202560 25 932 0 0 0 0 0 0 25 0 5 0 658053465 373899264 18481 33554432000 4194304 5683644 140733945114864 18446744073709551615 210658970033 0 0 16781312 2 18446604441075419136 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 68.4
Current children cumulated vsize (KiB) 2828128

[startup+51.1005 s]
/proc/loadavg: 8.43 8.21 7.11 9/404 27625
/proc/meminfo: memFree=20409216/32951132 swapFree=64495980/67111528
[pid=27562] ppid=27560 vsize=365136 CPUtime=11.01 cores=0,2,4,6
/proc/27562/stat : 27562 (python) S 27560 27562 27281 0 -1 4202496 30254 932 1 0 1085 16 0 0 25 0 5 0 658052355 373899264 18481 33554432000 4194304 5683644 140733945114864 18446744073709551615 210658973131 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27562/statm: 91284 18481 1881 364 0 27193 0
[pid=27568] ppid=27562 vsize=324124 CPUtime=0.12 cores=0,2,4,6
/proc/27568/stat : 27568 (python) S 27562 27562 27281 0 -1 4202560 913 0 0 0 6 6 0 0 15 0 1 0 658053461 331902976 16960 33554432000 4194304 5683644 140733945114864 18446744073709551615 210647166479 0 0 16781312 514 16821507558182191364 0 0 17 6 0 0 0
/proc/27568/statm: 81031 16960 376 364 0 16949 0
[pid=27570] ppid=27568 vsize=276240 CPUtime=40 cores=0,2,4,6
/proc/27570/stat : 27570 (hybridGM3) R 27568 27570 27570 0 -1 4202496 9518 0 0 0 3999 1 0 0 25 0 1 0 658053461 282869760 9253 33554432000 134512640 135204385 4291655472 18446744073709551615 134536737 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/27570/statm: 69060 9253 64 169 0 68890 0
[pid=27571] ppid=27562 vsize=334380 CPUtime=0.1 cores=0,2,4,6
/proc/27571/stat : 27571 (python) S 27562 27562 27281 0 -1 4202560 926 0 0 0 7 3 0 0 15 0 1 0 658053462 342405120 16958 33554432000 4194304 5683644 140733945114864 18446744073709551615 210647166534 0 0 16781312 514 16821507558182191363 0 0 17 4 0 0 0
/proc/27571/statm: 83595 16958 370 364 0 19510 0
[pid=27573] ppid=27571 vsize=276236 CPUtime=40.01 cores=0,2,4,6
/proc/27573/stat : 27573 (hybridGM3) R 27571 27573 27573 0 -1 4202496 9511 0 0 0 4000 1 0 0 25 0 1 0 658053463 282865664 9250 33554432000 134512640 135204385 4293637152 18446744073709551615 134537292 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/27573/statm: 69059 9250 64 169 0 68889 0
[pid=27574] ppid=27562 vsize=344636 CPUtime=0.1 cores=0,2,4,6
/proc/27574/stat : 27574 (python) S 27562 27562 27281 0 -1 4202560 920 0 0 0 5 5 0 0 15 0 1 0 658053463 352907264 16962 33554432000 4194304 5683644 140733945114864 18446744073709551615 210647166534 0 0 16781312 514 16821507558182191364 0 0 17 6 0 0 0
/proc/27574/statm: 86159 16962 370 364 0 22071 0
[pid=27576] ppid=27574 vsize=276244 CPUtime=39.21 cores=0,2,4,6
/proc/27576/stat : 27576 (hybridGM3) R 27574 27576 27576 0 -1 4202496 9509 0 0 0 3920 1 0 0 25 0 1 0 658053464 282873856 9249 33554432000 134512640 135204385 4290262432 18446744073709551615 134537322 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/27576/statm: 69061 9249 64 169 0 68891 0
[pid=27577] ppid=27562 vsize=354892 CPUtime=0.12 cores=0,2,4,6
/proc/27577/stat : 27577 (python) S 27562 27562 27281 0 -1 4202560 928 0 0 0 6 6 0 0 15 0 1 0 658053464 363409408 16966 33554432000 4194304 5683644 140733945114864 18446744073709551615 210647166534 0 0 16781312 514 16821507558182191362 0 0 17 6 0 0 0
/proc/27577/statm: 88723 16966 370 364 0 24632 0

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

[pid=27740/tid=27765] ppid=27562 vsize=365148 CPUtime=0 cores=0,2,4,6
/proc/27740/task/27765/stat : 27765 (python) S 27562 27562 27281 0 -1 4202560 47 0 0 0 0 0 0 0 18 0 2 0 658083377 373911552 17000 33554432000 4194304 5683644 140733945114864 18446744073709551615 210658970033 0 0 16781312 514 18446604449160998976 0 0 -1 2 0 0 0
[pid=27763] ppid=27562 vsize=375404 CPUtime=1.25 cores=0,2,4,6
/proc/27763/stat : 27763 (python) S 27562 27562 27281 0 -1 4202560 1156 0 0 0 68 57 0 0 15 0 2 0 658083374 384413696 17004 33554432000 4194304 5683644 140733945114864 18446744073709551615 210658973131 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/27763/statm: 93851 17004 399 364 0 29754 0
[pid=27766] ppid=27763 vsize=276244 CPUtime=388.92 cores=0,2,4,6
/proc/27766/stat : 27766 (hybridGM3) T 27763 27766 27766 0 -1 4202496 9520 0 0 0 38887 5 0 0 25 0 1 0 658083377 282873856 9259 33554432000 134512640 135204385 4287932976 18446744073709551615 134536744 0 0 16781312 0 18446744071562691360 0 0 17 6 0 0 0
/proc/27766/statm: 69061 9259 64 169 0 68891 0
[pid=27763/tid=27784] ppid=27562 vsize=375404 CPUtime=0 cores=0,2,4,6
/proc/27763/task/27784/stat : 27784 (python) S 27562 27562 27281 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 2 0 658093426 384413696 17004 33554432000 4194304 5683644 140733945114864 18446744073709551615 210658970033 0 0 16781312 514 18446604449161001664 0 0 -1 0 0 0 0
[pid=27767] ppid=27562 vsize=385660 CPUtime=0.94 cores=0,2,4,6
/proc/27767/stat : 27767 (python) S 27562 27562 27281 0 -1 4202560 1159 0 0 0 48 46 0 0 15 0 2 0 658083378 394915840 17008 33554432000 4194304 5683644 140733945114864 18446744073709551615 210658973131 0 0 16781312 514 18446744073709551615 0 0 17 2 0 0 0
/proc/27767/statm: 96415 17008 399 364 0 32315 0
[pid=27769] ppid=27767 vsize=276240 CPUtime=295 cores=0,2,4,6
/proc/27769/stat : 27769 (hybridGM3) T 27767 27769 27769 0 -1 4202496 9520 0 0 0 29498 2 0 0 25 0 1 0 658083378 282869760 9259 33554432000 134512640 135204385 4288742080 18446744073709551615 134537403 0 0 16781312 0 18446744071562691360 0 0 17 6 0 0 0
/proc/27769/statm: 69060 9259 64 169 0 68890 0
[pid=27767/tid=27793] ppid=27562 vsize=385660 CPUtime=0 cores=0,2,4,6
/proc/27767/task/27793/stat : 27793 (python) S 27562 27562 27281 0 -1 4202560 45 0 0 0 0 0 0 0 15 0 2 0 658103055 394915840 17008 33554432000 4194304 5683644 140733945114864 18446744073709551615 210658970033 0 0 16781312 514 18446604447256042560 0 0 -1 2 0 0 0
[pid=27781] ppid=27562 vsize=395916 CPUtime=0.94 cores=0,2,4,6
/proc/27781/stat : 27781 (python) S 27562 27562 27281 0 -1 4202560 1194 0 0 0 49 45 0 0 15 0 2 0 658093011 405417984 17018 33554432000 4194304 5683644 140733945114864 18446744073709551615 210658973131 0 0 16781312 514 18446744073709551615 0 0 17 2 0 0 0
/proc/27781/statm: 98979 17018 405 364 0 34876 0
[pid=27783] ppid=27781 vsize=276240 CPUtime=296.81 cores=0,2,4,6
/proc/27783/stat : 27783 (hybridGM3) T 27781 27783 27783 0 -1 4202496 9521 0 0 0 29675 6 0 0 25 0 1 0 658093012 282869760 9252 33554432000 134512640 135204385 4292551520 18446744073709551615 134547654 0 0 16781312 0 18446744071562691360 0 0 17 4 0 0 0
/proc/27783/statm: 69060 9252 64 169 0 68890 0
[pid=27781/tid=27799] ppid=27562 vsize=395916 CPUtime=0 cores=0,2,4,6
/proc/27781/task/27799/stat : 27799 (python) S 27562 27562 27281 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 2 0 658112691 405417984 17018 33554432000 4194304 5683644 140733945114864 18446744073709551615 210658970033 0 0 16781312 514 18446604449083246784 0 0 -1 2 0 0 0
[pid=27808] ppid=27562 vsize=406172 CPUtime=0.33 cores=0,2,4,6
/proc/27808/stat : 27808 (python) S 27562 27562 27281 0 -1 4202560 1148 0 0 0 19 14 0 0 19 0 2 0 658121897 415920128 17022 33554432000 4194304 5683644 140733945114864 18446744073709551615 210658973131 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/27808/statm: 101543 17022 405 364 0 37437 0
[pid=27810] ppid=27808 vsize=471116 CPUtime=97.94 cores=0,2,4,6
/proc/27810/stat : 27810 (TNM) T 27808 27810 27810 0 -1 4202496 8438 0 0 0 9793 1 0 0 25 0 1 0 658121898 482422784 8172 33554432000 134512640 135008748 4288981408 18446744073709551615 134529367 0 0 16781312 0 18446744071562691360 0 0 17 6 0 0 0
/proc/27810/statm: 117779 8172 46 122 0 116679 0
[pid=27808/tid=27822] ppid=27562 vsize=406172 CPUtime=0 cores=0,2,4,6
/proc/27808/task/27822/stat : 27822 (python) S 27562 27562 27281 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 658131930 415920128 17022 33554432000 4194304 5683644 140733945114864 18446744073709551615 210658970033 0 0 16781312 514 18446604453909840896 0 0 -1 6 0 0 0
[pid=27811] ppid=27562 vsize=416428 CPUtime=1.65 cores=0,2,4,6
/proc/27811/stat : 27811 (python) S 27562 27562 27281 0 -1 4202560 1167 0 0 0 95 70 0 0 15 0 2 0 658122618 426422272 17020 33554432000 4194304 5683644 140733945114864 18446744073709551615 210647166534 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/27811/statm: 104107 17020 399 364 0 39998 0
[pid=27813] ppid=27811 vsize=276236 CPUtime=487.72 cores=0,2,4,6
/proc/27813/stat : 27813 (hybridGM3) R 27811 27813 27813 0 -1 4202496 9522 0 0 0 48763 9 0 0 25 0 1 0 658122618 282865664 9253 33554432000 134512640 135204385 4294618144 18446744073709551615 134536737 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/27813/statm: 69059 9253 64 169 0 68889 0
[pid=27811/tid=27832] ppid=27562 vsize=416428 CPUtime=0 cores=0,2,4,6
/proc/27811/task/27832/stat : 27832 (python) S 27562 27562 27281 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 2 0 658142305 426422272 17020 33554432000 4194304 5683644 140733945114864 18446744073709551615 210658970033 0 0 16781312 514 18446604452267271488 0 0 -1 0 0 0 0
[pid=27814] ppid=27562 vsize=426684 CPUtime=0.99 cores=0,2,4,6
/proc/27814/stat : 27814 (python) S 27562 27562 27281 0 -1 4202560 1179 0 0 0 52 47 0 0 15 0 2 0 658122824 436924416 17024 33554432000 4194304 5683644 140733945114864 18446744073709551615 210658973131 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/27814/statm: 106671 17024 399 364 0 42559 0
[pid=27816] ppid=27814 vsize=276240 CPUtime=294.03 cores=0,2,4,6
/proc/27816/stat : 27816 (hybridGM3) T 27814 27816 27816 0 -1 4202496 9519 0 0 0 29398 5 0 0 25 0 1 0 658122824 282869760 9253 33554432000 134512640 135204385 4287819712 18446744073709551615 134545844 0 0 16781312 0 18446744071562691360 0 0 17 6 0 0 0
/proc/27816/statm: 69060 9253 64 169 0 68890 0
[pid=27814/tid=27833] ppid=27562 vsize=426684 CPUtime=0 cores=0,2,4,6
/proc/27814/task/27833/stat : 27833 (python) S 27562 27562 27281 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 2 0 658143108 436924416 17024 33554432000 4194304 5683644 140733945114864 18446744073709551615 210658970033 0 0 16781312 514 18446604452685872192 0 0 -1 4 0 0 0
[pid=27817] ppid=27562 vsize=436940 CPUtime=0.33 cores=0,2,4,6
/proc/27817/stat : 27817 (python) S 27562 27562 27281 0 -1 4202560 1121 0 0 0 20 13 0 0 19 0 2 0 658123421 447426560 17028 33554432000 4194304 5683644 140733945114864 18446744073709551615 210658973131 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/27817/statm: 109235 17028 399 364 0 45120 0
[pid=27819] ppid=27817 vsize=471116 CPUtime=99.09 cores=0,2,4,6
/proc/27819/stat : 27819 (TNM) T 27817 27819 27819 0 -1 4202496 8436 0 0 0 9908 1 0 0 25 0 1 0 658123422 482422784 8171 33554432000 134512640 135008748 4294162944 18446744073709551615 134527553 0 0 16781312 0 18446744071562691360 0 0 17 4 0 0 0
/proc/27819/statm: 117779 8171 46 122 0 116679 0
[pid=27817/tid=27824] ppid=27562 vsize=436940 CPUtime=0 cores=0,2,4,6
/proc/27817/task/27824/stat : 27824 (python) S 27562 27562 27281 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 658133364 447426560 17028 33554432000 4194304 5683644 140733945114864 18446744073709551615 210658970033 0 0 16781312 514 18446604444186869888 0 0 -1 4 0 0 0
[pid=27825] ppid=27562 vsize=447196 CPUtime=0.65 cores=0,2,4,6
/proc/27825/stat : 27825 (python) S 27562 27562 27281 0 -1 4202560 1168 0 0 0 35 30 0 0 16 0 2 0 658133365 457928704 17032 33554432000 4194304 5683644 140733945114864 18446744073709551615 210658973131 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/27825/statm: 111799 17032 399 364 0 47681 0
[pid=27827] ppid=27825 vsize=276236 CPUtime=195.52 cores=0,2,4,6
/proc/27827/stat : 27827 (hybridGM3) T 27825 27827 27827 0 -1 4202496 9521 0 0 0 19551 1 0 0 25 0 1 0 658133366 282865664 9254 33554432000 134512640 135204385 4294426064 18446744073709551615 134536744 0 0 16781312 0 18446744071562691360 0 0 17 4 0 0 0
/proc/27827/statm: 69059 9254 64 169 0 68889 0
[pid=27825/tid=27841] ppid=27562 vsize=447196 CPUtime=0 cores=0,2,4,6
/proc/27825/task/27841/stat : 27841 (python) S 27562 27562 27281 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 658153050 457928704 17032 33554432000 4194304 5683644 140733945114864 18446744073709551615 210658970033 0 0 16781312 514 18446604449506417344 0 0 -1 4 0 0 0
[pid=27838] ppid=27562 vsize=457452 CPUtime=0.34 cores=0,2,4,6
/proc/27838/stat : 27838 (python) S 27562 27562 27281 0 -1 4202560 1149 0 0 0 19 15 0 0 19 0 2 0 658152640 468430848 17036 33554432000 4194304 5683644 140733945114864 18446744073709551615 210658973131 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/27838/statm: 114363 17036 399 364 0 50242 0
[pid=27840] ppid=27838 vsize=471116 CPUtime=100.28 cores=0,2,4,6
/proc/27840/stat : 27840 (TNM) T 27838 27840 27840 0 -1 4202496 8440 0 0 0 10027 1 0 0 25 0 1 0 658152640 482422784 8172 33554432000 134512640 135008748 4291121968 18446744073709551615 134528967 0 0 16781312 0 18446744071562691360 0 0 17 4 0 0 0
/proc/27840/statm: 117779 8172 46 122 0 116679 0
[pid=27838/tid=27848] ppid=27562 vsize=457452 CPUtime=0 cores=0,2,4,6
/proc/27838/task/27848/stat : 27848 (python) S 27562 27562 27281 0 -1 4202560 49 0 0 0 0 0 0 0 19 0 2 0 658162674 468430848 17036 33554432000 4194304 5683644 140733945114864 18446744073709551615 210658970033 0 0 16781312 514 18446604443815552128 0 0 -1 6 0 0 0
[pid=27842] ppid=27562 vsize=467708 CPUtime=0.63 cores=0,2,4,6
/proc/27842/stat : 27842 (python) S 27562 27562 27281 0 -1 4202560 1079 0 0 0 35 28 0 0 18 0 1 0 658153052 478932992 17018 33554432000 4194304 5683644 140733945114864 18446744073709551615 210647166534 0 0 16781312 514 16821507558182191362 0 0 17 0 0 0 0
/proc/27842/statm: 116927 17018 378 364 0 52803 0
[pid=27844] ppid=27842 vsize=471116 CPUtime=192.21 cores=0,2,4,6
/proc/27844/stat : 27844 (TNM) R 27842 27844 27844 0 -1 4202496 8447 0 0 0 19210 11 0 0 25 0 1 0 658153052 482422784 8173 33554432000 134512640 135008748 4292968416 18446744073709551615 134527553 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/27844/statm: 117779 8173 46 122 0 116679 0
[pid=27849] ppid=27562 vsize=477964 CPUtime=0.32 cores=0,2,4,6
/proc/27849/stat : 27849 (python) S 27562 27562 27281 0 -1 4202560 1035 0 0 0 17 15 0 0 18 0 1 0 658162675 489435136 17022 33554432000 4194304 5683644 140733945114864 18446744073709551615 210647166534 0 0 16781312 514 16821507558182191363 0 0 17 4 0 0 0
/proc/27849/statm: 119491 17022 378 364 0 55364 0
[pid=27851] ppid=27849 vsize=471116 CPUtime=96.02 cores=0,2,4,6
/proc/27851/stat : 27851 (TNM) R 27849 27851 27851 0 -1 4202496 8446 0 0 0 9600 2 0 0 25 0 1 0 658162676 482422784 8171 33554432000 134512640 135008748 4290169696 18446744073709551615 134529280 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/27851/statm: 117779 8171 46 122 0 116679 0
[pid=27562/tid=27569] ppid=27560 vsize=488208 CPUtime=0 cores=0,2,4,6
/proc/27562/task/27569/stat : 27569 (python) S 27560 27562 27281 0 -1 4202560 31 932 0 0 0 0 0 0 18 0 17 0 658053461 499924992 18554 33554432000 4194304 5683644 140733945114864 18446744073709551615 210658970033 0 0 16781312 2 18446604441075419136 0 0 -1 6 0 0 0
[pid=27562/tid=27572] ppid=27560 vsize=488208 CPUtime=0 cores=0,2,4,6
/proc/27562/task/27572/stat : 27572 (python) S 27560 27562 27281 0 -1 4202560 43 932 0 0 0 0 0 0 18 0 17 0 658053462 499924992 18554 33554432000 4194304 5683644 140733945114864 18446744073709551615 210658970033 0 0 16781312 2 18446604441075419136 0 0 -1 6 0 0 0
[pid=27562/tid=27575] ppid=27560 vsize=488208 CPUtime=0 cores=0,2,4,6
/proc/27562/task/27575/stat : 27575 (python) S 27560 27562 27281 0 -1 4202560 35 932 0 0 0 0 0 0 15 0 17 0 658053463 499924992 18554 33554432000 4194304 5683644 140733945114864 18446744073709551615 210658970033 0 0 16781312 2 18446604441075419136 0 0 -1 2 0 0 0
[pid=27562/tid=27578] ppid=27560 vsize=488208 CPUtime=0 cores=0,2,4,6
/proc/27562/task/27578/stat : 27578 (python) S 27560 27562 27281 0 -1 4202560 27 932 0 0 0 0 0 0 18 0 17 0 658053465 499924992 18554 33554432000 4194304 5683644 140733945114864 18446744073709551615 210658970033 0 0 16781312 2 18446604441075419136 0 0 -1 2 0 0 0
[pid=27562/tid=27741] ppid=27560 vsize=488208 CPUtime=0 cores=0,2,4,6
/proc/27562/task/27741/stat : 27741 (python) S 27560 27562 27281 0 -1 4202560 40 932 0 0 0 0 0 0 18 0 17 0 658073446 499924992 18554 33554432000 4194304 5683644 140733945114864 18446744073709551615 210658970033 0 0 16781312 2 18446604441075419136 0 0 -1 2 0 0 0
[pid=27562/tid=27764] ppid=27560 vsize=488208 CPUtime=0 cores=0,2,4,6
/proc/27562/task/27764/stat : 27764 (python) S 27560 27562 27281 0 -1 4202560 27 932 0 0 0 0 0 0 18 0 17 0 658083375 499924992 18554 33554432000 4194304 5683644 140733945114864 18446744073709551615 210658970033 0 0 16781312 2 18446604441075419136 0 0 -1 0 0 0 0
[pid=27562/tid=27768] ppid=27560 vsize=488208 CPUtime=0 cores=0,2,4,6
/proc/27562/task/27768/stat : 27768 (python) S 27560 27562 27281 0 -1 4202560 30 932 0 0 0 0 0 0 18 0 17 0 658083378 499924992 18554 33554432000 4194304 5683644 140733945114864 18446744073709551615 210658970033 0 0 16781312 2 18446604441075419136 0 0 -1 2 0 0 0
[pid=27562/tid=27782] ppid=27560 vsize=488208 CPUtime=0 cores=0,2,4,6
/proc/27562/task/27782/stat : 27782 (python) S 27560 27562 27281 0 -1 4202560 25 932 0 0 0 0 0 0 18 0 17 0 658093012 499924992 18554 33554432000 4194304 5683644 140733945114864 18446744073709551615 210658970033 0 0 16781312 2 18446604441075419136 0 0 -1 2 0 0 0
[pid=27562/tid=27809] ppid=27560 vsize=488208 CPUtime=0 cores=0,2,4,6
/proc/27562/task/27809/stat : 27809 (python) S 27560 27562 27281 0 -1 4202560 22 932 0 0 0 0 0 0 20 0 17 0 658121897 499924992 18554 33554432000 4194304 5683644 140733945114864 18446744073709551615 210658970033 0 0 16781312 2 18446604441075419136 0 0 -1 0 0 0 0
[pid=27562/tid=27812] ppid=27560 vsize=488208 CPUtime=0 cores=0,2,4,6
/proc/27562/task/27812/stat : 27812 (python) S 27560 27562 27281 0 -1 4202560 33 932 0 0 0 0 0 0 18 0 17 0 658122618 499924992 18554 33554432000 4194304 5683644 140733945114864 18446744073709551615 210658970033 0 0 16781312 2 18446604441075419136 0 0 -1 0 0 0 0
[pid=27562/tid=27815] ppid=27560 vsize=488208 CPUtime=0 cores=0,2,4,6
/proc/27562/task/27815/stat : 27815 (python) S 27560 27562 27281 0 -1 4202560 31 932 0 0 0 0 0 0 18 0 17 0 658122824 499924992 18554 33554432000 4194304 5683644 140733945114864 18446744073709551615 210658970033 0 0 16781312 2 18446604441075419136 0 0 -1 0 0 0 0
[pid=27562/tid=27818] ppid=27560 vsize=488208 CPUtime=0 cores=0,2,4,6
/proc/27562/task/27818/stat : 27818 (python) S 27560 27562 27281 0 -1 4202560 28 932 0 0 0 0 0 0 20 0 17 0 658123422 499924992 18554 33554432000 4194304 5683644 140733945114864 18446744073709551615 210658970033 0 0 16781312 2 18446604441075419136 0 0 -1 0 0 0 0
[pid=27562/tid=27826] ppid=27560 vsize=488208 CPUtime=0 cores=0,2,4,6
/proc/27562/task/27826/stat : 27826 (python) S 27560 27562 27281 0 -1 4202560 30 932 0 0 0 0 0 0 20 0 17 0 658133365 499924992 18554 33554432000 4194304 5683644 140733945114864 18446744073709551615 210658970033 0 0 16781312 2 18446604441075419136 0 0 -1 0 0 0 0
[pid=27562/tid=27839] ppid=27560 vsize=488208 CPUtime=0 cores=0,2,4,6
/proc/27562/task/27839/stat : 27839 (python) S 27560 27562 27281 0 -1 4202560 30 932 0 0 0 0 0 0 20 0 17 0 658152640 499924992 18554 33554432000 4194304 5683644 140733945114864 18446744073709551615 210658970033 0 0 16781312 2 18446604441075419136 0 0 -1 0 0 0 0
[pid=27562/tid=27843] ppid=27560 vsize=488208 CPUtime=0 cores=0,2,4,6
/proc/27562/task/27843/stat : 27843 (python) S 27560 27562 27281 0 -1 4202560 29 932 0 0 0 0 0 0 20 0 17 0 658153052 499924992 18554 33554432000 4194304 5683644 140733945114864 18446744073709551615 210658970033 0 0 16781312 2 18446604441075419136 0 0 -1 0 0 0 0
[pid=27562/tid=27850] ppid=27560 vsize=488208 CPUtime=0 cores=0,2,4,6
/proc/27562/task/27850/stat : 27850 (python) S 27560 27562 27281 0 -1 4202560 27 932 0 0 0 0 0 0 20 0 17 0 658162676 499924992 18554 33554432000 4194304 5683644 140733945114864 18446744073709551615 210658970033 0 0 16781312 2 18446604441075419136 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4736.74
Current children cumulated vsize (KiB) 12504248

[startup+1200.12 s]
/proc/loadavg: 8.26 8.24 7.89 9/513 27856
/proc/meminfo: memFree=19661400/32951132 swapFree=64495980/67111528
[pid=27562] ppid=27560 vsize=488208 CPUtime=4055.28 cores=0,2,4,6
/proc/27562/stat : 27562 (python) S 27560 27562 27281 0 -1 4202496 42525 145359 1 0 1114 21 403656 737 17 0 17 0 658052355 499924992 18554 33554432000 4194304 5683644 140733945114864 18446744073709551615 210658976575 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27562/statm: 122052 18554 1906 364 0 57925 0
[pid=27811] ppid=27562 vsize=0 CPUtime=489.56 cores=0,2,4,6
/proc/27811/stat : 27811 (python) R 27562 27562 27281 0 -1 4202564 1204 9522 0 0 95 70 48782 9 15 0 1 0 658122618 0 0 33554432000 0 0 0 0 0 0 0 16781824 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27811/statm: 0 0 0 0 0 0 0
[pid=27842] ppid=27562 vsize=467708 CPUtime=0.63 cores=0,2,4,6
/proc/27842/stat : 27842 (python) S 27562 27562 27281 0 -1 4202560 1079 0 0 0 35 28 0 0 18 0 1 0 658153052 478932992 17018 33554432000 4194304 5683644 140733945114864 18446744073709551615 210647166534 0 0 16781312 514 16821507558182191362 0 0 17 0 0 0 0
/proc/27842/statm: 116927 17018 378 364 0 52803 0
[pid=27844] ppid=27842 vsize=471116 CPUtime=192.4 cores=0,2,4,6
/proc/27844/stat : 27844 (TNM) R 27842 27844 27844 0 -1 4202496 8447 0 0 0 19229 11 0 0 25 0 1 0 658153052 482422784 8173 33554432000 134512640 135008748 4292968416 18446744073709551615 134527444 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/27844/statm: 117779 8173 46 122 0 116679 0
[pid=27562/tid=27569] ppid=27560 vsize=488208 CPUtime=4043.93 cores=0,2,4,6
/proc/27562/task/27569/stat : 27569 (python) S 27560 27562 27281 0 -1 4202560 31 145359 0 0 0 0 403656 737 18 0 17 0 658053461 499924992 18554 33554432000 4194304 5683644 140733945114864 18446744073709551615 210658970033 0 0 16781312 2 18446604441075419136 0 0 -1 6 0 0 0
[pid=27562/tid=27572] ppid=27560 vsize=488208 CPUtime=4043.93 cores=0,2,4,6
/proc/27562/task/27572/stat : 27572 (python) S 27560 27562 27281 0 -1 4202560 43 145359 0 0 0 0 403656 737 18 0 17 0 658053462 499924992 18554 33554432000 4194304 5683644 140733945114864 18446744073709551615 210658970033 0 0 16781312 2 18446604441075419136 0 0 -1 6 0 0 0
[pid=27562/tid=27575] ppid=27560 vsize=488208 CPUtime=4043.93 cores=0,2,4,6
/proc/27562/task/27575/stat : 27575 (python) S 27560 27562 27281 0 -1 4202560 35 145359 0 0 0 0 403656 737 15 0 17 0 658053463 499924992 18554 33554432000 4194304 5683644 140733945114864 18446744073709551615 210658970033 0 0 16781312 2 18446604441075419136 0 0 -1 2 0 0 0
[pid=27562/tid=27578] ppid=27560 vsize=488208 CPUtime=4043.93 cores=0,2,4,6
/proc/27562/task/27578/stat : 27578 (python) S 27560 27562 27281 0 -1 4202560 27 145359 0 0 0 0 403656 737 18 0 17 0 658053465 499924992 18554 33554432000 4194304 5683644 140733945114864 18446744073709551615 210658970033 0 0 16781312 2 18446604441075419136 0 0 -1 2 0 0 0
[pid=27562/tid=27741] ppid=27560 vsize=488208 CPUtime=4043.93 cores=0,2,4,6
/proc/27562/task/27741/stat : 27741 (python) S 27560 27562 27281 0 -1 4202560 40 145359 0 0 0 0 403656 737 18 0 17 0 658073446 499924992 18554 33554432000 4194304 5683644 140733945114864 18446744073709551615 210658970033 0 0 16781312 2 18446604441075419136 0 0 -1 2 0 0 0
[pid=27562/tid=27764] ppid=27560 vsize=488208 CPUtime=4043.93 cores=0,2,4,6
/proc/27562/task/27764/stat : 27764 (python) S 27560 27562 27281 0 -1 4202560 27 145359 0 0 0 0 403656 737 18 0 17 0 658083375 499924992 18554 33554432000 4194304 5683644 140733945114864 18446744073709551615 210658970033 0 0 16781312 2 18446604441075419136 0 0 -1 0 0 0 0
[pid=27562/tid=27768] ppid=27560 vsize=488208 CPUtime=4043.93 cores=0,2,4,6
/proc/27562/task/27768/stat : 27768 (python) S 27560 27562 27281 0 -1 4202560 30 145359 0 0 0 0 403656 737 18 0 17 0 658083378 499924992 18554 33554432000 4194304 5683644 140733945114864 18446744073709551615 210658970033 0 0 16781312 2 18446604441075419136 0 0 -1 2 0 0 0
[pid=27562/tid=27782] ppid=27560 vsize=488208 CPUtime=4043.93 cores=0,2,4,6
/proc/27562/task/27782/stat : 27782 (python) S 27560 27562 27281 0 -1 4202560 25 145359 0 0 0 0 403656 737 18 0 17 0 658093012 499924992 18554 33554432000 4194304 5683644 140733945114864 18446744073709551615 210658970033 0 0 16781312 2 18446604441075419136 0 0 -1 2 0 0 0
[pid=27562/tid=27809] ppid=27560 vsize=488208 CPUtime=4043.93 cores=0,2,4,6
/proc/27562/task/27809/stat : 27809 (python) S 27560 27562 27281 0 -1 4202560 22 145359 0 0 0 0 403656 737 20 0 17 0 658121897 499924992 18554 33554432000 4194304 5683644 140733945114864 18446744073709551615 210658970033 0 0 16781312 2 18446604441075419136 0 0 -1 0 0 0 0
[pid=27562/tid=27812] ppid=27560 vsize=488208 CPUtime=4043.93 cores=0,2,4,6
/proc/27562/task/27812/stat : 27812 (python) S 27560 27562 27281 0 -1 4202560 33 145359 0 0 0 0 403656 737 18 0 17 0 658122618 499924992 18554 33554432000 4194304 5683644 140733945114864 18446744073709551615 210658970033 0 0 16781312 2 18446604441075419136 0 0 -1 0 0 0 0
[pid=27562/tid=27815] ppid=27560 vsize=488208 CPUtime=4043.93 cores=0,2,4,6
/proc/27562/task/27815/stat : 27815 (python) S 27560 27562 27281 0 -1 4202560 31 145359 0 0 0 0 403656 737 18 0 17 0 658122824 499924992 18554 33554432000 4194304 5683644 140733945114864 18446744073709551615 210658970033 0 0 16781312 2 18446604441075419136 0 0 -1 0 0 0 0
[pid=27562/tid=27818] ppid=27560 vsize=488208 CPUtime=4043.93 cores=0,2,4,6
/proc/27562/task/27818/stat : 27818 (python) S 27560 27562 27281 0 -1 4202560 28 145359 0 0 0 0 403656 737 20 0 17 0 658123422 499924992 18554 33554432000 4194304 5683644 140733945114864 18446744073709551615 210658970033 0 0 16781312 2 18446604441075419136 0 0 -1 0 0 0 0
[pid=27562/tid=27826] ppid=27560 vsize=488208 CPUtime=4043.93 cores=0,2,4,6
/proc/27562/task/27826/stat : 27826 (python) S 27560 27562 27281 0 -1 4202560 30 145359 0 0 0 0 403656 737 20 0 17 0 658133365 499924992 18554 33554432000 4194304 5683644 140733945114864 18446744073709551615 210658970033 0 0 16781312 2 18446604441075419136 0 0 -1 0 0 0 0
[pid=27562/tid=27839] ppid=27560 vsize=488208 CPUtime=4043.93 cores=0,2,4,6
/proc/27562/task/27839/stat : 27839 (python) S 27560 27562 27281 0 -1 4202560 30 145359 0 0 0 0 403656 737 20 0 17 0 658152640 499924992 18554 33554432000 4194304 5683644 140733945114864 18446744073709551615 210658970033 0 0 16781312 2 18446604441075419136 0 0 -1 0 0 0 0
[pid=27562/tid=27843] ppid=27560 vsize=488208 CPUtime=4043.93 cores=0,2,4,6
/proc/27562/task/27843/stat : 27843 (python) S 27560 27562 27281 0 -1 4202560 29 145359 0 0 0 0 403656 737 20 0 17 0 658153052 499924992 18554 33554432000 4194304 5683644 140733945114864 18446744073709551615 210658970033 0 0 16781312 2 18446604441075419136 0 0 -1 0 0 0 0
[pid=27562/tid=27850] ppid=27560 vsize=488208 CPUtime=4043.93 cores=0,2,4,6
/proc/27562/task/27850/stat : 27850 (python) S 27560 27562 27281 0 -1 4202560 27 145359 0 0 0 0 403656 737 20 0 17 0 658162676 499924992 18554 33554432000 4194304 5683644 140733945114864 18446744073709551615 210658970033 0 0 16781312 2 18446604441075419136 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4737.87
Current children cumulated vsize (KiB) 1427032

Child status: 0
Real time (s): 1200.15
CPU time (s): 4737.97
CPU user time (s): 4729.16
CPU system time (s): 8.80766
CPU usage (%): 394.781
Max. virtual memory (cumulated for all children) (KiB): 12504252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4729.17
system time used= 8.80766
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 217357
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= 7634
involuntary context switches= 29960

runsolver used 8.12976 second user time and 18.7002 second system time

The end

Launcher Data 

Begin job on node129 at 2011-05-15 15:02:07
IDJOB=3378292
IDBENCH=82701
IDSOLVER=1859
FILE ID=node129/3378292-1305464527
RUNJOBID= node129-1305463314-27299
PBS_JOBID= 13324993
Free space on /tmp= 73356 MiB

SOLVER NAME= borg-sat 11.03.02-par-random (fixed)
BENCH NAME= SAT11/random/large/unif-k3-r4.2-v50000-c210000-S964643921-035-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-3378292-1305464527/watcher-3378292-1305464527 -o /tmp/evaluation-result-3378292-1305464527/solver-3378292-1305464527 -C 4800 -W 1300 -M 15500  python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3378292-1305464527.cnf -seed 601654411 -budget 4800 -cores 4

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

MD5SUM BENCH= d8337de8a71a630ccf2dd02943cd7d7f
RANDOM SEED=601654411

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
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:     32951132 kB
MemFree:      20643376 kB
Buffers:        266788 kB
Cached:        6418192 kB
SwapCached:      52668 kB
Active:        3543144 kB
Inactive:      8518728 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      20643376 kB
SwapTotal:    67111528 kB
SwapFree:     64495980 kB
Dirty:           70188 kB
Writeback:           0 kB
AnonPages:     5333372 kB
Mapped:          26164 kB
Slab:           135524 kB
PageTables:      44140 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS: 94554040 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73328 MiB
End job on node129 at 2011-05-15 15:22:08