Trace number 3321886

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-randomSAT 5286.61 759.723

General information on the benchmark

Namerandom/large/
unif-k7-r85-v200-c17000-S72668411-025-UNKNOWN.cnf
MD5SUMa7d53123c03c2abad4ab13635af690bf
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark197.261
Satisfiable
(Un)Satisfiability was proved
Number of variables200
Number of clauses17000
Sum of the clauses size119000
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 517000

Solver Data 

0.35/0.68	c INFO: loaded portfolio from HOME/etc/borg-mix+class.random.pickle
0.35/0.68	c INFO: solving HOME/instance-3321886-1304369035.cnf
0.35/0.68	c INFO: computing task features
0.43/0.79	c INFO: computed variable-clause graph statistics
0.43/0.79	c INFO: computed clause balance statistics
1.03/1.39	c INFO: computed variable balance statistics
1.33/1.63	c INFO: computed small-clause counts
1.33/1.63	c INFO: computed Horn-clause counts
1.33/1.65	c INFO: computed variable graph statistics
1.33/1.65	c INFO: collected features for HOME/instance-3321886-1304369035.cnf in 0.97 s
1.33/1.68	c INFO: running gnovelty+2@0 for 97 with 39999 remaining (b = 0.36)
1.42/1.72	c INFO: running gnovelty+2@0 for 97 with 39998 remaining (b = 0.12)
1.42/1.76	c INFO: running adaptg2wsat2009++@0 for 97 with 39998 remaining (b = 0.08)
1.53/1.80	c INFO: running adaptg2wsat2009++@0 for 97 with 39998 remaining (b = 0.07)
1.53/1.84	c INFO: running adaptg2wsat2009++@0 for 97 with 39998 remaining (b = 0.05)
1.53/1.88	c INFO: running gnovelty+2@0 for 97 with 39998 remaining (b = 0.04)
1.62/1.92	c INFO: running FH@0 for 97 with 39998 remaining (b = 0.03)
1.62/1.96	c INFO: running adaptg2wsat2009++@0 for 97 with 39998 remaining (b = 0.03)
701.03/101.98	c INFO: running adaptg2wsat2009++@0 for 97 with 39898 remaining (b = 0.02)
701.74/102.07	c INFO: running FH@0 for 97 with 39898 remaining (b = 0.02)
702.41/102.13	c INFO: running hybridGM3@0 for 194 with 39898 remaining (b = 0.04)
703.18/102.26	c INFO: running gnovelty+2@0 for 97 with 39898 remaining (b = 0.02)
704.36/102.41	c INFO: running hybridGM3@0 for 194 with 39898 remaining (b = 0.03)
743.50/108.06	c INFO: running hybridGM3@0 for 194 with 39892 remaining (b = 0.03)
996.89/144.30	c INFO: running TNM@0 for 1552 with 39856 remaining (b = 0.20)
1037.31/150.16	c INFO: running adaptg2wsat2009++@0 for 97 with 39850 remaining (b = 0.01)
1400.91/202.30	c INFO: running FH@0 for 97 with 39798 remaining (b = 0.01)
1402.30/202.48	c INFO: running hybridGM3@0 for 194 with 39798 remaining (b = 0.02)
1529.11/220.66	c INFO: running adaptg2wsat2009++@0 for 97 with 39780 remaining (b = 0.01)
1904.78/274.54	c INFO: running adaptg2wsat2009++@0 for 97 with 39726 remaining (b = 0.01)
2115.33/304.74	c INFO: running hybridGM3@99 for 97 with 39696 remaining (b = 0.01)
2156.40/310.68	c INFO: running hybridGM3@99 for 97 with 39690 remaining (b = 0.01)
2226.08/320.65	c INFO: running adaptg2wsat2009++@100 for 97 with 39680 remaining (b = 0.01)
2333.43/336.00	c INFO: running gnovelty+2@0 for 97 with 39664 remaining (b = 0.01)
2495.12/359.24	c INFO: running hybridGM3@98 for 97 with 39641 remaining (b = 0.01)
2778.78/399.98	c INFO: running hybridGM3@0 for 194 with 39600 remaining (b = 0.02)
2906.38/418.07	c INFO: running hybridGM3@294 for 97 with 39582 remaining (b = 0.01)
2942.53/423.22	c INFO: running hybridGM3@97 for 97 with 39577 remaining (b = 0.01)
2948.10/424.02	c INFO: running hybridGM3@0 for 194 with 39576 remaining (b = 0.02)
3031.73/436.01	c INFO: running TNM@0 for 1552 with 39564 remaining (b = 0.14)
3117.47/448.39	c INFO: running adaptg2wsat2009++@0 for 97 with 39552 remaining (b = 0.01)
3286.12/472.59	c INFO: running adaptg2wsat2009++@99 for 97 with 39528 remaining (b = 0.01)
3612.24/519.39	c INFO: running FH@0 for 291 with 39481 remaining (b = 0.03)
3648.50/524.54	c INFO: running iPAWS@0 for 97 with 39476 remaining (b = 0.01)
3999.02/574.82	c INFO: running adaptg2wsat2009++@98 for 97 with 39425 remaining (b = 0.01)
4167.67/599.03	c INFO: running hybridGM3@0 for 194 with 39401 remaining (b = 0.02)
4352.85/625.68	c INFO: running hybridGM3@98 for 97 with 39375 remaining (b = 0.01)
4359.81/626.68	c INFO: running hybridGM3@99 for 97 with 39374 remaining (b = 0.01)
4389.05/630.90	c INFO: running FH@99 for 291 with 39369 remaining (b = 0.02)
4802.47/690.21	c INFO: running hybridGM3@0 for 194 with 39310 remaining (b = 0.01)
5051.74/726.08	c INFO: running hybridGM3@294 for 194 with 39274 remaining (b = 0.02)
5065.56/728.02	c INFO: running TNM@0 for 1552 with 39272 remaining (b = 0.12)
5285.46/759.70	s SATISFIABLE
5285.46/759.70	v 1 -2 -3 -4 -5 6 -7 8 -9 -10 11 -12 -13 -14 15 -16 17 18 19 20 21 -22 23 -24 -25 26 -27 28 29 -30 -31 -32 -33 -34 -35 36 37 -38 -39 -40 -41 -42 -43 44 -45 46 47 -48 -49 -50 51 52 -53 -54 -55 56 -57 -58 59 -60 -61 62 63 64 65 -66 67 68 69 70 71 -72 -73 -74 -75 -76 77 78 79 -80 -81 -82 -83 84 85 -86 87 88 -89 90 -91 92 93 -94 95 -96 -97 98 -99 -100 -101 -102 -103 104 105 -106 107 108 109 -110 111 -112 113 114 115 -116 -117 -118 -119 -120 -121 122 -123 -124 -125 -126 -127 128 -129 130 -131 -132 133 134 -135 -136 137 -138 139 -140 141 142 -143 -144 -145 146 147 -148 149 -150 -151 -152 153 154 155 -156 157 -158 -159 160 161 -162 163 -164 165 166 -167 168 169 -170 171 -172 173 174 -175 176 -177 178 179 -180 181 -182 183 -184 -185 186 187 188 189 190 -191 -192 193 -194 -195 196 -197 -198 -199 -200 0

Verifier Data 

OK

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-3321886-1304369035/watcher-3321886-1304369035 -o /tmp/evaluation-result-3321886-1304369035/solver-3321886-1304369035 -C 40000 -W 5100 -M 31000 python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3321886-1304369035.cnf -seed 1380187344 -budget 40000 -cores 8 

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

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


[startup+0 s]
/proc/loadavg: 8.96 8.60 8.15 2/307 19401
/proc/meminfo: memFree=23352380/32950928 swapFree=67111364/67111528
[pid=19401] ppid=19399 vsize=15776 CPUtime=0 cores=0-7
/proc/19401/stat : 19401 (python) R 19399 19401 18999 0 -1 4202496 860 0 0 0 0 0 0 0 25 0 1 0 627134184 16154624 741 33554432000 4194304 5683644 140734355349664 18446744073709551615 256415391376 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/19401/statm: 3944 741 335 364 0 431 0

[startup+0.079325 s]
/proc/loadavg: 8.96 8.60 8.15 2/307 19401
/proc/meminfo: memFree=23352380/32950928 swapFree=67111364/67111528
[pid=19401] ppid=19399 vsize=45816 CPUtime=0.04 cores=0-7
/proc/19401/stat : 19401 (python) R 19399 19401 18999 0 -1 4202496 1926 0 0 0 3 1 0 0 25 0 1 0 627134184 46915584 1698 33554432000 4194304 5683644 140734355349664 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/19401/statm: 11454 1698 470 364 0 1203 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 45816

[startup+0.100324 s]
/proc/loadavg: 8.96 8.60 8.15 2/307 19401
/proc/meminfo: memFree=23352380/32950928 swapFree=67111364/67111528
[pid=19401] ppid=19399 vsize=85620 CPUtime=0.06 cores=0-7
/proc/19401/stat : 19401 (python) S 19399 19401 18999 0 -1 4202496 2630 0 0 0 4 2 0 0 18 0 1 0 627134184 87674880 2348 33554432000 4194304 5683644 140734355349664 18446744073709551615 256415389696 0 2147483391 16781312 2 18446744071699199166 0 0 17 2 0 0 0
/proc/19401/statm: 21406 2349 713 364 0 1623 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85620

[startup+0.300313 s]
/proc/loadavg: 8.96 8.60 8.15 2/307 19401
/proc/meminfo: memFree=23352380/32950928 swapFree=67111364/67111528
[pid=19401] ppid=19399 vsize=135748 CPUtime=0.18 cores=0-7
/proc/19401/stat : 19401 (python) S 19399 19401 18999 0 -1 4202496 5963 931 1 0 13 5 0 0 18 0 1 0 627134184 139005952 4151 33554432000 4194304 5683644 140734355349664 18446744073709551615 256415387653 0 2147483391 16781312 2 18446744071699199166 0 0 17 2 0 0 0
/proc/19401/statm: 33937 4151 1032 364 0 3123 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 135748

[startup+0.7002 s]
/proc/loadavg: 8.96 8.60 8.15 2/307 19401
/proc/meminfo: memFree=23352380/32950928 swapFree=67111364/67111528
[pid=19401] ppid=19399 vsize=279000 CPUtime=0.43 cores=0-7
/proc/19401/stat : 19401 (python) R 19399 19401 18999 0 -1 4202496 9412 931 1 0 31 12 0 0 17 0 1 0 627134184 285696000 7093 33554432000 4194304 5683644 140734355349664 18446744073709551615 4603492 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/19401/statm: 69750 7093 1761 364 0 5674 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 279000

[startup+1.50106 s]
/proc/loadavg: 8.96 8.60 8.15 3/308 19406
/proc/meminfo: memFree=23326084/32950928 swapFree=67111364/67111528
[pid=19401] ppid=19399 vsize=282588 CPUtime=1.23 cores=0-7
/proc/19401/stat : 19401 (python) R 19399 19401 18999 0 -1 4202496 11331 931 1 0 111 12 0 0 18 0 1 0 627134184 289370112 8060 33554432000 4194304 5683644 140734355349664 18446744073709551615 47444464656789 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/19401/statm: 70647 8060 1827 364 0 6571 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 282588

[startup+3.10168 s]
/proc/loadavg: 8.96 8.60 8.15 11/332 19430
/proc/meminfo: memFree=23278276/32950928 swapFree=67111364/67111528
[pid=19401] ppid=19399 vsize=361960 CPUtime=1.68 cores=0-7
/proc/19401/stat : 19401 (python) S 19399 19401 18999 0 -1 4202496 17723 931 1 0 154 14 0 0 25 0 9 0 627134184 370647040 7457 33554432000 4194304 5683644 140734355349664 18446744073709551615 256427218379 0 0 16781312 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19401/statm: 90490 7457 1891 364 0 26387 0
[pid=19407] ppid=19401 vsize=279232 CPUtime=0 cores=0-7
/proc/19407/stat : 19407 (python) S 19401 19401 18999 0 -1 4202560 728 0 0 0 0 0 0 0 18 0 1 0 627134353 285933568 5715 33554432000 4194304 5683644 140734355349664 18446744073709551615 256415411727 0 0 16781312 514 4020232329862545665 0 0 17 6 0 0 0
/proc/19407/statm: 69808 5715 354 364 0 5726 0
[pid=19409] ppid=19407 vsize=1018616 CPUtime=1.4 cores=0-7
/proc/19409/stat : 19409 (gnovelty+2) R 19407 19409 19409 0 -1 4202496 763 0 0 0 140 0 0 0 25 0 1 0 627134353 1043062784 500 33554432000 134512640 135663704 4290781600 18446744073709551615 134524878 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/19409/statm: 254654 500 113 282 0 254370 0
[pid=19410] ppid=19401 vsize=289624 CPUtime=0 cores=0-7
/proc/19410/stat : 19410 (python) S 19401 19401 18999 0 -1 4202560 740 0 0 0 0 0 0 0 18 0 1 0 627134356 296574976 5763 33554432000 4194304 5683644 140734355349664 18446744073709551615 256415411782 0 0 16781312 514 5290879369089089793 0 0 17 2 0 0 0
/proc/19410/statm: 72406 5763 348 364 0 8321 0
[pid=19412] ppid=19410 vsize=1018616 CPUtime=1.35 cores=0-7
/proc/19412/stat : 19412 (gnovelty+2) R 19410 19412 19412 0 -1 4202496 762 0 0 0 135 0 0 0 25 0 1 0 627134357 1043062784 501 33554432000 134512640 135663704 4291860304 18446744073709551615 134524868 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/19412/statm: 254654 501 113 282 0 254370 0
[pid=19413] ppid=19401 vsize=299880 CPUtime=0 cores=0-7
/proc/19413/stat : 19413 (python) S 19401 19401 18999 0 -1 4202560 738 0 0 0 0 0 0 0 18 0 1 0 627134360 307077120 5767 33554432000 4194304 5683644 140734355349664 18446744073709551615 256415411782 0 0 16781312 514 18008535093143928831 0 0 17 4 0 0 0
/proc/19413/statm: 74970 5767 348 364 0 10882 0
[pid=19415] ppid=19413 vsize=418500 CPUtime=1.33 cores=0-7
/proc/19415/stat : 19415 (adaptg2wsat2009) R 19413 19415 19415 0 -1 4202496 1073 0 0 0 133 0 0 0 25 0 1 0 627134360 428544000 808 33554432000 134512640 135107411 4291196480 18446744073709551615 134523237 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/19415/statm: 104625 808 49 146 0 103501 0
[pid=19416] ppid=19401 vsize=310268 CPUtime=0 cores=0-7
/proc/19416/stat : 19416 (python) S 19401 19401 18999 0 -1 4202560 748 0 0 0 0 0 0 0 18 0 1 0 627134364 317714432 5788 33554432000 4194304 5683644 140734355349664 18446744073709551615 256415411782 0 0 16781312 514 4107763076160290815 0 0 17 0 0 0 0
/proc/19416/statm: 77567 5788 348 364 0 13476 0
[pid=19418] ppid=19416 vsize=418500 CPUtime=1.29 cores=0-7
/proc/19418/stat : 19418 (adaptg2wsat2009) R 19416 19418 19418 0 -1 4202496 1072 0 0 0 129 0 0 0 25 0 1 0 627134364 428544000 809 33554432000 134512640 135107411 4290424688 18446744073709551615 134523310 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/19418/statm: 104625 809 49 146 0 103501 0
[pid=19419] ppid=19401 vsize=320524 CPUtime=0 cores=0-7
/proc/19419/stat : 19419 (python) S 19401 19401 18999 0 -1 4202560 755 0 0 0 0 0 0 0 18 0 1 0 627134368 328216576 5792 33554432000 4194304 5683644 140734355349664 18446744073709551615 256415411782 0 0 16781312 514 13921260595828490239 0 0 17 2 0 0 0
/proc/19419/statm: 80131 5792 348 364 0 16037 0
[pid=19421] ppid=19419 vsize=418500 CPUtime=1.25 cores=0-7
/proc/19421/stat : 19421 (adaptg2wsat2009) R 19419 19421 19421 0 -1 4202496 1076 0 0 0 125 0 0 0 25 0 1 0 627134368 428544000 809 33554432000 134512640 135107411 4287631280 18446744073709551615 134523455 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/19421/statm: 104625 809 49 146 0 103501 0
[pid=19422] ppid=19401 vsize=331204 CPUtime=0 cores=0-7
/proc/19422/stat : 19422 (python) S 19401 19401 18999 0 -1 4202560 765 0 0 0 0 0 0 0 18 0 1 0 627134372 339152896 5902 33554432000 4194304 5683644 140734355349664 18446744073709551615 256415411782 0 0 16781312 514 12195414368313114881 0 0 17 0 0 0 0
/proc/19422/statm: 82801 5902 347 364 0 18704 0
[pid=19424] ppid=19422 vsize=1018616 CPUtime=0.67 cores=0-7
/proc/19424/stat : 19424 (gnovelty+2) R 19422 19424 19424 0 -1 4202496 765 0 0 0 67 0 0 0 25 0 1 0 627134372 1043062784 501 33554432000 134512640 135663704 4294559360 18446744073709551615 134525309 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/19424/statm: 254654 501 113 282 0 254370 0
[pid=19425] ppid=19401 vsize=341460 CPUtime=0 cores=0-7
/proc/19425/stat : 19425 (python) S 19401 19401 18999 0 -1 4202560 770 0 0 0 0 0 0 0 18 0 1 0 627134376 349655040 5906 33554432000 4194304 5683644 140734355349664 18446744073709551615 256415411782 0 0 16781312 514 727748059022229503 0 0 17 1 0 0 0
/proc/19425/statm: 85365 5906 347 364 0 21265 0
[pid=19430] ppid=19425 vsize=246900 CPUtime=0.51 cores=0-7
/proc/19430/stat : 19430 (FH) R 19425 19430 19430 0 -1 4202496 939 0 0 0 51 0 0 0 25 0 1 0 627134380 252825600 678 33554432000 134512640 134936988 4286570432 18446744073709551615 134523676 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/19430/statm: 61725 678 37 104 0 61229 0
[pid=19427] ppid=19401 vsize=351716 CPUtime=0 cores=0-7
/proc/19427/stat : 19427 (python) S 19401 19401 18999 0 -1 4202560 800 0 0 0 0 0 0 0 18 0 1 0 627134380 360157184 5916 33554432000 4194304 5683644 140734355349664 18446744073709551615 256415411782 0 0 16781312 514 16850617682578374655 0 0 17 2 0 0 0
/proc/19427/statm: 87929 5916 354 364 0 23826 0
[pid=19429] ppid=19427 vsize=418500 CPUtime=1.13 cores=0-7
/proc/19429/stat : 19429 (adaptg2wsat2009) R 19427 19429 19429 0 -1 4202496 1079 0 0 0 113 0 0 0 25 0 1 0 627134380 428544000 808 33554432000 134512640 135107411 4290571152 18446744073709551615 134523438 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/19429/statm: 104625 808 49 146 0 103501 0
[pid=19401/tid=19408] ppid=19399 vsize=361960 CPUtime=0 cores=0-7
/proc/19401/task/19408/stat : 19408 (python) S 19399 19401 18999 0 -1 4202560 25 931 0 0 0 0 0 0 20 0 9 0 627134353 370647040 7457 33554432000 4194304 5683644 140734355349664 18446744073709551615 256427215281 0 0 16781312 2 18446604442867258432 0 0 -1 4 0 0 0
[pid=19401/tid=19411] ppid=19399 vsize=361960 CPUtime=0 cores=0-7
/proc/19401/task/19411/stat : 19411 (python) S 19399 19401 18999 0 -1 4202560 23 931 0 0 0 0 0 0 20 0 9 0 627134356 370647040 7457 33554432000 4194304 5683644 140734355349664 18446744073709551615 256427215281 0 0 16781312 2 18446604442867258432 0 0 -1 2 0 0 0
[pid=19401/tid=19414] ppid=19399 vsize=361960 CPUtime=0 cores=0-7
/proc/19401/task/19414/stat : 19414 (python) S 19399 19401 18999 0 -1 4202560 22 931 0 0 0 0 0 0 22 0 9 0 627134360 370647040 7457 33554432000 4194304 5683644 140734355349664 18446744073709551615 256427215281 0 0 16781312 2 18446604442867258432 0 0 -1 2 0 0 0
[pid=19401/tid=19417] ppid=19399 vsize=361960 CPUtime=0 cores=0-7
/proc/19401/task/19417/stat : 19417 (python) S 19399 19401 18999 0 -1 4202560 26 931 0 0 0 0 0 0 24 0 9 0 627134364 370647040 7457 33554432000 4194304 5683644 140734355349664 18446744073709551615 256427215281 0 0 16781312 2 18446604442867258432 0 0 -1 0 0 0 0
[pid=19401/tid=19420] ppid=19399 vsize=361960 CPUtime=0 cores=0-7
/proc/19401/task/19420/stat : 19420 (python) S 19399 19401 18999 0 -1 4202560 27 931 0 0 0 0 0 0 20 0 9 0 627134368 370647040 7457 33554432000 4194304 5683644 140734355349664 18446744073709551615 256427215281 0 0 16781312 2 18446604442867258432 0 0 -1 2 0 0 0
[pid=19401/tid=19423] ppid=19399 vsize=361960 CPUtime=0 cores=0-7
/proc/19401/task/19423/stat : 19423 (python) S 19399 19401 18999 0 -1 4202560 26 931 0 0 0 0 0 0 22 0 9 0 627134372 370647040 7457 33554432000 4194304 5683644 140734355349664 18446744073709551615 256427215281 0 0 16781312 2 18446604442867258432 0 0 -1 2 0 0 0
[pid=19401/tid=19426] ppid=19399 vsize=361960 CPUtime=0 cores=0-7
/proc/19401/task/19426/stat : 19426 (python) S 19399 19401 18999 0 -1 4202560 39 931 0 0 0 0 0 0 23 0 9 0 627134376 370647040 7457 33554432000 4194304 5683644 140734355349664 18446744073709551615 256427215281 0 0 16781312 2 18446604442867258432 0 0 -1 2 0 0 0
[pid=19401/tid=19428] ppid=19399 vsize=361960 CPUtime=0 cores=0-7
/proc/19401/task/19428/stat : 19428 (python) S 19399 19401 18999 0 -1 4202560 76 931 0 0 0 0 0 0 25 0 9 0 627134380 370647040 7457 33554432000 4194304 5683644 140734355349664 18446744073709551615 256427215281 0 0 16781312 2 18446604442867258432 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 10.61
Current children cumulated vsize (KiB) 7862616

[startup+6.30107 s]
/proc/loadavg: 8.96 8.60 8.15 10/332 19430
/proc/meminfo: memFree=23273068/32950928 swapFree=67111364/67111528
[pid=19401] ppid=19399 vsize=361960 CPUtime=1.68 cores=0-7
/proc/19401/stat : 19401 (python) S 19399 19401 18999 0 -1 4202496 17723 931 1 0 154 14 0 0 25 0 9 0 627134184 370647040 7457 33554432000 4194304 5683644 140734355349664 18446744073709551615 256427218379 0 0 16781312 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19401/statm: 90490 7457 1891 364 0 26387 0
[pid=19407] ppid=19401 vsize=279232 CPUtime=0 cores=0-7
/proc/19407/stat : 19407 (python) S 19401 19401 18999 0 -1 4202560 886 0 0 0 0 0 0 0 18 0 1 0 627134353 285933568 5738 33554432000 4194304 5683644 140734355349664 18446744073709551615 256415411727 0 0 16781312 514 4020232329862545665 0 0 17 6 0 0 0
/proc/19407/statm: 69808 5738 377 364 0 5726 0
[pid=19409] ppid=19407 vsize=1018616 CPUtime=4.6 cores=0-7
/proc/19409/stat : 19409 (gnovelty+2) R 19407 19409 19409 0 -1 4202496 763 0 0 0 460 0 0 0 25 0 1 0 627134353 1043062784 500 33554432000 134512640 135663704 4290781600 18446744073709551615 134525286 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/19409/statm: 254654 500 113 282 0 254370 0
[pid=19410] ppid=19401 vsize=289624 CPUtime=0 cores=0-7
/proc/19410/stat : 19410 (python) S 19401 19401 18999 0 -1 4202560 890 0 0 0 0 0 0 0 18 0 1 0 627134356 296574976 5786 33554432000 4194304 5683644 140734355349664 18446744073709551615 256415411782 0 0 16781312 514 5290879369089089793 0 0 17 2 0 0 0
/proc/19410/statm: 72406 5786 371 364 0 8321 0
[pid=19412] ppid=19410 vsize=1018616 CPUtime=4.31 cores=0-7
/proc/19412/stat : 19412 (gnovelty+2) R 19410 19412 19412 0 -1 4202496 762 0 0 0 431 0 0 0 25 0 1 0 627134357 1043062784 501 33554432000 134512640 135663704 4291860304 18446744073709551615 134525302 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/19412/statm: 254654 501 113 282 0 254370 0
[pid=19413] ppid=19401 vsize=299880 CPUtime=0 cores=0-7
/proc/19413/stat : 19413 (python) S 19401 19401 18999 0 -1 4202560 885 0 0 0 0 0 0 0 18 0 1 0 627134360 307077120 5790 33554432000 4194304 5683644 140734355349664 18446744073709551615 256415411782 0 0 16781312 514 18008535093143896322 0 0 17 4 0 0 0
/proc/19413/statm: 74970 5790 371 364 0 10882 0
[pid=19415] ppid=19413 vsize=418636 CPUtime=4.51 cores=0-7
/proc/19415/stat : 19415 (adaptg2wsat2009) R 19413 19415 19415 0 -1 4202496 1221 0 0 0 451 0 0 0 25 0 1 0 627134360 428683264 956 33554432000 134512640 135107411 4291196480 18446744073709551615 134532191 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/19415/statm: 104659 956 59 146 0 103535 0
[pid=19416] ppid=19401 vsize=310268 CPUtime=0.01 cores=0-7
/proc/19416/stat : 19416 (python) S 19401 19401 18999 0 -1 4202560 926 0 0 0 1 0 0 0 18 0 1 0 627134364 317714432 5811 33554432000 4194304 5683644 140734355349664 18446744073709551615 256415411782 0 0 16781312 514 4107763076160258305 0 0 17 0 0 0 0
/proc/19416/statm: 77567 5811 371 364 0 13476 0
[pid=19418] ppid=19416 vsize=418636 CPUtime=4.47 cores=0-7
/proc/19418/stat : 19418 (adaptg2wsat2009) R 19416 19418 19418 0 -1 4202496 1219 0 0 0 447 0 0 0 25 0 1 0 627134364 428683264 956 33554432000 134512640 135107411 4290424688 18446744073709551615 134532371 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/19418/statm: 104659 956 59 146 0 103535 0
[pid=19419] ppid=19401 vsize=320524 CPUtime=0 cores=0-7
/proc/19419/stat : 19419 (python) S 19401 19401 18999 0 -1 4202560 940 0 0 0 0 0 0 0 18 0 1 0 627134368 328216576 5815 33554432000 4194304 5683644 140734355349664 18446744073709551615 256415411782 0 0 16781312 514 13921260595828457731 0 0 17 2 0 0 0
/proc/19419/statm: 80131 5815 371 364 0 16037 0
[pid=19421] ppid=19419 vsize=418636 CPUtime=4.43 cores=0-7
/proc/19421/stat : 19421 (adaptg2wsat2009) R 19419 19421 19421 0 -1 4202496 1223 0 0 0 443 0 0 0 25 0 1 0 627134368 428683264 956 33554432000 134512640 135107411 4287631280 18446744073709551615 134531935 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/19421/statm: 104659 956 59 146 0 103535 0
[pid=19422] ppid=19401 vsize=331204 CPUtime=0 cores=0-7
/proc/19422/stat : 19422 (python) S 19401 19401 18999 0 -1 4202560 950 0 0 0 0 0 0 0 18 0 1 0 627134372 339152896 5925 33554432000 4194304 5683644 140734355349664 18446744073709551615 256415411782 0 0 16781312 514 12195414368313114881 0 0 17 0 0 0 0
/proc/19422/statm: 82801 5925 370 364 0 18704 0
[pid=19424] ppid=19422 vsize=1018616 CPUtime=2.22 cores=0-7
/proc/19424/stat : 19424 (gnovelty+2) R 19422 19424 19424 0 -1 4202496 765 0 0 0 222 0 0 0 25 0 1 0 627134372 1043062784 501 33554432000 134512640 135663704 4294559360 18446744073709551615 134525255 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/19424/statm: 254654 501 113 282 0 254370 0
[pid=19425] ppid=19401 vsize=341460 CPUtime=0 cores=0-7
/proc/19425/stat : 19425 (python) S 19401 19401 18999 0 -1 4202560 958 0 0 0 0 0 0 0 18 0 1 0 627134376 349655040 5929 33554432000 4194304 5683644 140734355349664 18446744073709551615 256415411782 0 0 16781312 514 727748059022196995 0 0 17 1 0 0 0
/proc/19425/statm: 85365 5929 370 364 0 21265 0
[pid=19430] ppid=19425 vsize=246900 CPUtime=2.34 cores=0-7
/proc/19430/stat : 19430 (FH) R 19425 19430 19430 0 -1 4202496 939 0 0 0 234 0 0 0 25 0 1 0 627134380 252825600 678 33554432000 134512640 134936988 4286570432 18446744073709551615 134523678 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/19430/statm: 61725 678 37 104 0 61229 0
[pid=19427] ppid=19401 vsize=351716 CPUtime=0 cores=0-7
/proc/19427/stat : 19427 (python) S 19401 19401 18999 0 -1 4202560 998 0 0 0 0 0 0 0 18 0 1 0 627134380 360157184 5939 33554432000 4194304 5683644 140734355349664 18446744073709551615 256415411782 0 0 16781312 514 16850617682578342146 0 0 17 2 0 0 0
/proc/19427/statm: 87929 5939 377 364 0 23826 0
[pid=19429] ppid=19427 vsize=418636 CPUtime=4.29 cores=0-7
/proc/19429/stat : 19429 (adaptg2wsat2009) R 19427 19429 19429 0 -1 4202496 1226 0 0 0 429 0 0 0 25 0 1 0 627134380 428683264 955 33554432000 134512640 135107411 4290571152 18446744073709551615 134532313 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/19429/statm: 104659 955 59 146 0 103535 0

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

[pid=19449] ppid=19446 vsize=1018616 CPUtime=97.21 cores=0-7
/proc/19449/stat : 19449 (gnovelty+2) T 19446 19449 19449 0 -1 4202496 767 0 0 0 9721 0 0 0 25 0 1 0 627144413 1043062784 500 33554432000 134512640 135663704 4290362096 18446744073709551615 134525286 0 0 16781312 0 18446744071562691360 0 0 17 3 0 0 0
/proc/19449/statm: 254654 500 113 282 0 254370 0
[pid=19446/tid=19477] ppid=19401 vsize=458276 CPUtime=0 cores=0-7
/proc/19446/task/19477/stat : 19477 (python) S 19401 19401 18999 0 -1 4202560 81 0 0 0 0 0 0 0 19 0 2 0 627156243 469274624 6112 33554432000 4194304 5683644 140734355349664 18446744073709551615 256427215281 0 0 16781312 514 18446604442431733888 0 0 -1 1 0 0 0
[pid=19450] ppid=19401 vsize=468532 CPUtime=0.93 cores=0-7
/proc/19450/stat : 19450 (python) S 19401 19401 18999 0 -1 4202560 1215 0 0 0 48 45 0 0 18 0 2 0 627144426 479776768 6091 33554432000 4194304 5683644 140734355349664 18446744073709551615 256427218379 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/19450/statm: 117133 6091 400 364 0 53015 0
[pid=19452] ppid=19450 vsize=268420 CPUtime=293.36 cores=0-7
/proc/19452/stat : 19452 (hybridGM3) T 19450 19452 19452 0 -1 4202496 5165 0 0 0 29336 0 0 0 25 0 1 0 627144426 274862080 4895 33554432000 134512640 135204385 4293057520 18446744073709551615 134538524 0 0 16781312 0 18446744071562691360 0 0 17 0 0 0 0
/proc/19452/statm: 67105 4895 63 169 0 66935 0
[pid=19450/tid=19488] ppid=19401 vsize=468532 CPUtime=0 cores=0-7
/proc/19450/task/19488/stat : 19488 (python) S 19401 19401 18999 0 -1 4202560 47 0 0 0 0 0 0 0 18 0 2 0 627170101 479776768 6091 33554432000 4194304 5683644 140734355349664 18446744073709551615 256427215281 0 0 16781312 514 18446604440447412096 0 0 -1 0 0 0 0
[pid=19455] ppid=19401 vsize=478788 CPUtime=0.78 cores=0-7
/proc/19455/stat : 19455 (python) S 19401 19401 18999 0 -1 4202560 1214 0 0 0 42 36 0 0 18 0 2 0 627144990 490278912 6095 33554432000 4194304 5683644 140734355349664 18446744073709551615 256427218379 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/19455/statm: 119697 6095 400 364 0 55576 0
[pid=19457] ppid=19455 vsize=268424 CPUtime=296.2 cores=0-7
/proc/19457/stat : 19457 (hybridGM3) T 19455 19457 19457 0 -1 4202496 5169 0 0 0 29620 0 0 0 25 0 1 0 627144991 274866176 4895 33554432000 134512640 135204385 4292853312 18446744073709551615 134538427 0 0 16781312 0 18446744071562691360 0 0 17 7 0 0 0
/proc/19457/statm: 67106 4895 63 169 0 66936 0
[pid=19455/tid=19482] ppid=19401 vsize=478788 CPUtime=0 cores=0-7
/proc/19455/task/19482/stat : 19482 (python) S 19401 19401 18999 0 -1 4202560 51 0 0 0 0 0 0 0 18 0 2 0 627165245 490278912 6095 33554432000 4194304 5683644 140734355349664 18446744073709551615 256427215281 0 0 16781312 514 18446604440447410304 0 0 -1 0 0 0 0
[pid=19460] ppid=19401 vsize=489044 CPUtime=1.56 cores=0-7
/proc/19460/stat : 19460 (python) S 19401 19401 18999 0 -1 4202560 1116 0 0 0 80 76 0 0 18 0 1 0 627148614 500781056 6077 33554432000 4194304 5683644 140734355349664 18446744073709551615 256415411782 0 0 16781312 514 10411143662015578371 0 0 17 1 0 0 0
/proc/19460/statm: 122261 6077 379 364 0 58137 0
[pid=19462] ppid=19460 vsize=457132 CPUtime=485.22 cores=0-7
/proc/19462/stat : 19462 (TNM) R 19460 19462 19462 0 -1 4202496 1114 0 0 0 48522 0 0 0 25 0 1 0 627148614 468103168 837 33554432000 134512640 135008748 4289915760 18446744073709551615 134529176 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/19462/statm: 114283 837 46 122 0 113183 0
[pid=19464] ppid=19401 vsize=499300 CPUtime=0.63 cores=0-7
/proc/19464/stat : 19464 (python) S 19401 19401 18999 0 -1 4202560 1248 0 0 0 32 31 0 0 18 0 2 0 627149200 511283200 6128 33554432000 4194304 5683644 140734355349664 18446744073709551615 256427218379 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/19464/statm: 124825 6128 408 364 0 60698 0
[pid=19466] ppid=19464 vsize=418636 CPUtime=196.63 cores=0-7
/proc/19466/stat : 19466 (adaptg2wsat2009) T 19464 19466 19466 0 -1 4202496 1235 0 0 0 19663 0 0 0 25 0 1 0 627149201 428683264 955 33554432000 134512640 135107411 4287929088 18446744073709551615 134532302 0 0 16781312 0 18446744071562691360 0 0 17 0 0 0 0
/proc/19466/statm: 104659 955 59 146 0 103535 0
[pid=19464/tid=19479] ppid=19401 vsize=499300 CPUtime=0 cores=0-7
/proc/19464/task/19479/stat : 19479 (python) S 19401 19401 18999 0 -1 4202560 45 0 0 0 0 0 0 0 18 0 2 0 627161630 511283200 6128 33554432000 4194304 5683644 140734355349664 18446744073709551615 256427215281 0 0 16781312 514 18446604447906147328 0 0 -1 1 0 0 0
[pid=19469] ppid=19401 vsize=509556 CPUtime=0.29 cores=0-7
/proc/19469/stat : 19469 (python) S 19401 19401 18999 0 -1 4202560 1224 0 0 0 16 13 0 0 19 0 2 0 627154414 521785344 6126 33554432000 4194304 5683644 140734355349664 18446744073709551615 256427218379 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/19469/statm: 127389 6126 402 364 0 63259 0
[pid=19471] ppid=19469 vsize=248652 CPUtime=99.46 cores=0-7
/proc/19471/stat : 19471 (FH) T 19469 19471 19471 0 -1 4202496 1137 0 0 0 9946 0 0 0 25 0 1 0 627154414 254619648 857 33554432000 134512640 134936988 4288897936 18446744073709551615 134552472 0 0 16781312 0 18446744071562691360 0 0 17 1 0 0 0
/proc/19471/statm: 62163 857 41 104 0 61667 0
[pid=19469/tid=19483] ppid=19401 vsize=509556 CPUtime=0 cores=0-7
/proc/19469/task/19483/stat : 19483 (python) S 19401 19401 18999 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 627166242 521785344 6126 33554432000 4194304 5683644 140734355349664 18446744073709551615 256427215281 0 0 16781312 514 18446604447103033472 0 0 -1 6 0 0 0
[pid=19473] ppid=19401 vsize=520244 CPUtime=0.8 cores=0-7
/proc/19473/stat : 19473 (python) S 19401 19401 18999 0 -1 4202560 1240 0 0 0 42 38 0 0 18 0 2 0 627154432 532729856 6220 33554432000 4194304 5683644 140734355349664 18446744073709551615 256427218379 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/19473/statm: 130061 6220 401 364 0 65928 0
[pid=19475] ppid=19473 vsize=268420 CPUtime=292.04 cores=0-7
/proc/19475/stat : 19475 (hybridGM3) T 19473 19475 19475 0 -1 4202496 5174 0 0 0 29204 0 0 0 25 0 1 0 627154433 274862080 4895 33554432000 134512640 135204385 4286885984 18446744073709551615 134538395 0 0 16781312 0 18446744071562691360 0 0 17 7 0 0 0
/proc/19475/statm: 67105 4895 63 169 0 66935 0
[pid=19473/tid=19494] ppid=19401 vsize=520244 CPUtime=0 cores=0-7
/proc/19473/task/19494/stat : 19494 (python) S 19401 19401 18999 0 -1 4202560 47 0 0 0 0 0 0 0 18 0 2 0 627176499 532729856 6220 33554432000 4194304 5683644 140734355349664 18446744073709551615 256427215281 0 0 16781312 514 18446604442867259328 0 0 -1 1 0 0 0
[pid=19485] ppid=19401 vsize=530500 CPUtime=0.28 cores=0-7
/proc/19485/stat : 19485 (python) S 19401 19401 18999 0 -1 4202560 1232 0 0 0 13 15 0 0 19 0 2 0 627167785 543232000 6225 33554432000 4194304 5683644 140734355349664 18446744073709551615 256427218379 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/19485/statm: 132625 6225 402 364 0 68489 0
[pid=19487] ppid=19485 vsize=1018616 CPUtime=97.78 cores=0-7
/proc/19487/stat : 19487 (gnovelty+2) T 19485 19487 19487 0 -1 4202496 782 0 0 0 9778 0 0 0 25 0 1 0 627167785 1043062784 501 33554432000 134512640 135663704 4290385648 18446744073709551615 134524918 0 0 16781312 0 18446744071562691360 0 0 17 3 0 0 0
/proc/19487/statm: 254654 501 113 282 0 254370 0
[pid=19485/tid=19502] ppid=19401 vsize=530500 CPUtime=0 cores=0-7
/proc/19485/task/19502/stat : 19502 (python) S 19401 19401 18999 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 627179015 543232000 6225 33554432000 4194304 5683644 140734355349664 18446744073709551615 256427215281 0 0 16781312 514 18446604446528550976 0 0 -1 6 0 0 0
[pid=19490] ppid=19401 vsize=540888 CPUtime=0.92 cores=0-7
/proc/19490/stat : 19490 (python) S 19401 19401 18999 0 -1 4202560 1262 0 0 0 48 44 0 0 18 0 2 0 627174182 553869312 6281 33554432000 4194304 5683644 140734355349664 18446744073709551615 256415411782 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/19490/statm: 135222 6281 402 364 0 71083 0
[pid=19492] ppid=19490 vsize=268428 CPUtime=324.66 cores=0-7
/proc/19492/stat : 19492 (hybridGM3) R 19490 19492 19492 0 -1 4202496 5175 0 0 0 32466 0 0 0 25 0 1 0 627174183 274870272 4897 33554432000 134512640 135204385 4290537616 18446744073709551615 134538432 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/19492/statm: 67107 4897 63 169 0 66937 0
[pid=19490/tid=19513] ppid=19401 vsize=540888 CPUtime=0 cores=0-7
/proc/19490/task/19513/stat : 19513 (python) S 19401 19401 18999 0 -1 4202560 45 0 0 0 0 0 0 0 18 0 2 0 627196743 553869312 6281 33554432000 4194304 5683644 140734355349664 18446744073709551615 256427215281 0 0 16781312 514 18446604447103035264 0 0 -1 7 0 0 0
[pid=19495] ppid=19401 vsize=551144 CPUtime=0.79 cores=0-7
/proc/19495/stat : 19495 (python) S 19401 19401 18999 0 -1 4202560 1272 0 0 0 39 40 0 0 18 0 2 0 627176586 564371456 6287 33554432000 4194304 5683644 140734355349664 18446744073709551615 256427218379 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/19495/statm: 137786 6287 402 364 0 73644 0
[pid=19497] ppid=19495 vsize=268420 CPUtime=295.57 cores=0-7
/proc/19497/stat : 19497 (hybridGM3) T 19495 19497 19497 0 -1 4202496 5179 0 0 0 29556 1 0 0 25 0 1 0 627176586 274862080 4895 33554432000 134512640 135204385 4286872304 18446744073709551615 134538284 0 0 16781312 0 18446744071562691360 0 0 17 2 0 0 0
/proc/19497/statm: 67105 4895 63 169 0 66935 0
[pid=19495/tid=19514] ppid=19401 vsize=551144 CPUtime=0 cores=0-7
/proc/19495/task/19514/stat : 19514 (python) S 19401 19401 18999 0 -1 4202560 46 0 0 0 0 0 0 0 18 0 2 0 627196843 564371456 6287 33554432000 4194304 5683644 140734355349664 18446744073709551615 256427215281 0 0 16781312 514 18446604447564055616 0 0 -1 1 0 0 0
[pid=19498] ppid=19401 vsize=561400 CPUtime=0.84 cores=0-7
/proc/19498/stat : 19498 (python) S 19401 19401 18999 0 -1 4202560 1139 0 0 0 45 39 0 0 18 0 1 0 627177785 574873600 6267 33554432000 4194304 5683644 140734355349664 18446744073709551615 256415411782 0 0 16781312 514 10411143662015578370 0 0 17 2 0 0 0
/proc/19498/statm: 140350 6267 379 364 0 76205 0
[pid=19500] ppid=19498 vsize=457128 CPUtime=294.54 cores=0-7
/proc/19500/stat : 19500 (TNM) R 19498 19500 19500 0 -1 4202496 1124 0 0 0 29454 0 0 0 25 0 1 0 627177785 468099072 838 33554432000 134512640 135008748 4288642992 18446744073709551615 134527327 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/19500/statm: 114282 838 46 122 0 113182 0
[pid=19505] ppid=19401 vsize=571912 CPUtime=0.28 cores=0-7
/proc/19505/stat : 19505 (python) S 19401 19401 18999 0 -1 4202560 1273 0 0 0 15 13 0 0 19 0 2 0 627186638 585637888 6350 33554432000 4194304 5683644 140734355349664 18446744073709551615 256427218379 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/19505/statm: 142978 6350 408 364 0 78830 0
[pid=19507] ppid=19505 vsize=335996 CPUtime=100.58 cores=0-7
/proc/19507/stat : 19507 (iPAWS) T 19505 19507 19507 0 -1 4202496 1601 0 0 0 10058 0 0 0 25 0 1 0 627186638 344059904 1319 33554432000 134512640 135114423 4292783408 18446744073709551615 134517230 0 0 16781312 0 18446744071562691360 0 0 17 2 0 0 0
/proc/19507/statm: 83999 1319 59 147 0 83851 0
[pid=19505/tid=19516] ppid=19401 vsize=571912 CPUtime=0 cores=0-7
/proc/19505/task/19516/stat : 19516 (python) S 19401 19401 18999 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 627197265 585637888 6350 33554432000 4194304 5683644 140734355349664 18446744073709551615 256427215281 0 0 16781312 514 18446604447216699584 0 0 -1 1 0 0 0
[pid=19510] ppid=19401 vsize=582356 CPUtime=0.4 cores=0-7
/proc/19510/stat : 19510 (python) S 19401 19401 18999 0 -1 4202560 1133 0 0 0 23 17 0 0 18 0 1 0 627194087 596332544 6372 33554432000 4194304 5683644 140734355349664 18446744073709551615 256415411782 0 0 16781312 514 10411143662015578370 0 0 17 1 0 0 0
/proc/19510/statm: 145589 6372 378 364 0 81438 0
[pid=19512] ppid=19510 vsize=268424 CPUtime=132.44 cores=0-7
/proc/19512/stat : 19512 (hybridGM3) R 19510 19512 19512 0 -1 4202496 5187 0 0 0 13244 0 0 0 25 0 1 0 627194087 274866176 4897 33554432000 134512640 135204385 4292171920 18446744073709551615 134538041 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/19512/statm: 67106 4897 63 169 0 66936 0
[pid=19518] ppid=19401 vsize=592612 CPUtime=0.17 cores=0-7
/proc/19518/stat : 19518 (python) S 19401 19401 18999 0 -1 4202560 1099 0 0 0 11 6 0 0 18 0 1 0 627203205 606834688 6381 33554432000 4194304 5683644 140734355349664 18446744073709551615 256415411782 0 0 16781312 514 10411143662015578375 0 0 17 0 0 0 0
/proc/19518/statm: 148153 6381 372 364 0 83999 0
[pid=19520] ppid=19518 vsize=268424 CPUtime=50.21 cores=0-7
/proc/19520/stat : 19520 (hybridGM3) R 19518 19520 19520 0 -1 4202496 5183 0 0 0 5021 0 0 0 25 0 1 0 627203205 274866176 4896 33554432000 134512640 135204385 4288512048 18446744073709551615 134538016 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/19520/statm: 67106 4896 63 169 0 66936 0
[pid=19522] ppid=19401 vsize=602868 CPUtime=0.07 cores=0-7
/proc/19522/stat : 19522 (python) S 19401 19401 18999 0 -1 4202560 1092 0 0 0 3 4 0 0 18 0 1 0 627206986 617336832 6396 33554432000 4194304 5683644 140734355349664 18446744073709551615 256415411782 0 0 16781312 514 10411143662015578376 0 0 17 0 0 0 0
/proc/19522/statm: 150717 6396 372 364 0 86560 0
[pid=19524] ppid=19522 vsize=457124 CPUtime=15.6 cores=0-7
/proc/19524/stat : 19524 (TNM) R 19522 19524 19524 0 -1 4202496 1121 0 0 0 1560 0 0 0 25 0 1 0 627206987 468094976 836 33554432000 134512640 135008748 4291048464 18446744073709551615 134527773 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/19524/statm: 114281 836 46 122 0 113181 0
[pid=19401/tid=19408] ppid=19399 vsize=613112 CPUtime=0 cores=0-7
/proc/19401/task/19408/stat : 19408 (python) S 19399 19401 18999 0 -1 4202560 25 931 0 0 0 0 0 0 20 0 27 0 627134353 627826688 7956 33554432000 4194304 5683644 140734355349664 18446744073709551615 256427215281 0 0 16781312 2 18446604442867258432 0 0 -1 4 0 0 0
[pid=19401/tid=19411] ppid=19399 vsize=613112 CPUtime=0 cores=0-7
/proc/19401/task/19411/stat : 19411 (python) S 19399 19401 18999 0 -1 4202560 23 931 0 0 0 0 0 0 20 0 27 0 627134356 627826688 7956 33554432000 4194304 5683644 140734355349664 18446744073709551615 256427215281 0 0 16781312 2 18446604442867258432 0 0 -1 2 0 0 0
[pid=19401/tid=19414] ppid=19399 vsize=613112 CPUtime=0 cores=0-7
/proc/19401/task/19414/stat : 19414 (python) S 19399 19401 18999 0 -1 4202560 25 931 0 0 0 0 0 0 18 0 27 0 627134360 627826688 7956 33554432000 4194304 5683644 140734355349664 18446744073709551615 256427215281 0 0 16781312 2 18446604442867258432 0 0 -1 2 0 0 0
[pid=19401/tid=19417] ppid=19399 vsize=613112 CPUtime=0 cores=0-7
/proc/19401/task/19417/stat : 19417 (python) S 19399 19401 18999 0 -1 4202560 32 931 0 0 0 0 0 0 18 0 27 0 627134364 627826688 7956 33554432000 4194304 5683644 140734355349664 18446744073709551615 256427215281 0 0 16781312 2 18446604442867258432 0 0 -1 0 0 0 0
[pid=19401/tid=19420] ppid=19399 vsize=613112 CPUtime=0 cores=0-7
/proc/19401/task/19420/stat : 19420 (python) S 19399 19401 18999 0 -1 4202560 31 931 0 0 0 0 0 0 18 0 27 0 627134368 627826688 7956 33554432000 4194304 5683644 140734355349664 18446744073709551615 256427215281 0 0 16781312 2 18446604442867258432 0 0 -1 2 0 0 0
[pid=19401/tid=19423] ppid=19399 vsize=613112 CPUtime=0 cores=0-7
/proc/19401/task/19423/stat : 19423 (python) S 19399 19401 18999 0 -1 4202560 26 931 0 0 0 0 0 0 22 0 27 0 627134372 627826688 7956 33554432000 4194304 5683644 140734355349664 18446744073709551615 256427215281 0 0 16781312 2 18446604442867258432 0 0 -1 2 0 0 0
[pid=19401/tid=19426] ppid=19399 vsize=613112 CPUtime=0 cores=0-7
/proc/19401/task/19426/stat : 19426 (python) S 19399 19401 18999 0 -1 4202560 43 931 0 0 0 0 0 0 18 0 27 0 627134376 627826688 7956 33554432000 4194304 5683644 140734355349664 18446744073709551615 256427215281 0 0 16781312 2 18446604442867258432 0 0 -1 2 0 0 0
[pid=19401/tid=19428] ppid=19399 vsize=613112 CPUtime=0 cores=0-7
/proc/19401/task/19428/stat : 19428 (python) S 19399 19401 18999 0 -1 4202560 80 931 0 0 0 0 0 0 18 0 27 0 627134380 627826688 7956 33554432000 4194304 5683644 140734355349664 18446744073709551615 256427215281 0 0 16781312 2 18446604442867258432 0 0 -1 2 0 0 0
[pid=19401/tid=19435] ppid=19399 vsize=613112 CPUtime=0 cores=0-7
/proc/19401/task/19435/stat : 19435 (python) S 19399 19401 18999 0 -1 4202560 35 931 0 0 0 0 0 0 18 0 27 0 627144382 627826688 7956 33554432000 4194304 5683644 140734355349664 18446744073709551615 256427215281 0 0 16781312 2 18446604442867258432 0 0 -1 3 0 0 0
[pid=19401/tid=19439] ppid=19399 vsize=613112 CPUtime=0 cores=0-7
/proc/19401/task/19439/stat : 19439 (python) S 19399 19401 18999 0 -1 4202560 101 931 0 0 0 0 0 0 18 0 27 0 627144391 627826688 7956 33554432000 4194304 5683644 140734355349664 18446744073709551615 256427215281 0 0 16781312 2 18446604442867258432 0 0 -1 2 0 0 0
[pid=19401/tid=19443] ppid=19399 vsize=613112 CPUtime=0 cores=0-7
/proc/19401/task/19443/stat : 19443 (python) S 19399 19401 18999 0 -1 4202560 42 931 0 0 0 0 0 0 18 0 27 0 627144398 627826688 7956 33554432000 4194304 5683644 140734355349664 18446744073709551615 256427215281 0 0 16781312 2 18446604442867258432 0 0 -1 2 0 0 0
[pid=19401/tid=19447] ppid=19399 vsize=613112 CPUtime=0 cores=0-7
/proc/19401/task/19447/stat : 19447 (python) S 19399 19401 18999 0 -1 4202560 36 931 0 0 0 0 0 0 21 0 27 0 627144410 627826688 7956 33554432000 4194304 5683644 140734355349664 18446744073709551615 256427215281 0 0 16781312 2 18446604442867258432 0 0 -1 2 0 0 0
[pid=19401/tid=19451] ppid=19399 vsize=613112 CPUtime=0 cores=0-7
/proc/19401/task/19451/stat : 19451 (python) S 19399 19401 18999 0 -1 4202560 30 931 0 0 0 0 0 0 18 0 27 0 627144426 627826688 7956 33554432000 4194304 5683644 140734355349664 18446744073709551615 256427215281 0 0 16781312 2 18446604442867258432 0 0 -1 2 0 0 0
[pid=19401/tid=19456] ppid=19399 vsize=613112 CPUtime=0 cores=0-7
/proc/19401/task/19456/stat : 19456 (python) S 19399 19401 18999 0 -1 4202560 34 931 0 0 0 0 0 0 18 0 27 0 627144991 627826688 7956 33554432000 4194304 5683644 140734355349664 18446744073709551615 256427215281 0 0 16781312 2 18446604442867258432 0 0 -1 2 0 0 0
[pid=19401/tid=19461] ppid=19399 vsize=613112 CPUtime=0 cores=0-7
/proc/19401/task/19461/stat : 19461 (python) S 19399 19401 18999 0 -1 4202560 27 931 0 0 0 0 0 0 19 0 27 0 627148614 627826688 7956 33554432000 4194304 5683644 140734355349664 18446744073709551615 256427215281 0 0 16781312 2 18446604442867258432 0 0 -1 2 0 0 0
[pid=19401/tid=19465] ppid=19399 vsize=613112 CPUtime=0 cores=0-7
/proc/19401/task/19465/stat : 19465 (python) S 19399 19401 18999 0 -1 4202560 31 931 0 0 0 0 0 0 18 0 27 0 627149200 627826688 7956 33554432000 4194304 5683644 140734355349664 18446744073709551615 256427215281 0 0 16781312 2 18446604442867258432 0 0 -1 2 0 0 0
[pid=19401/tid=19470] ppid=19399 vsize=613112 CPUtime=0 cores=0-7
/proc/19401/task/19470/stat : 19470 (python) S 19399 19401 18999 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 27 0 627154414 627826688 7956 33554432000 4194304 5683644 140734355349664 18446744073709551615 256427215281 0 0 16781312 2 18446604442867258432 0 0 -1 2 0 0 0
[pid=19401/tid=19474] ppid=19399 vsize=613112 CPUtime=0 cores=0-7
/proc/19401/task/19474/stat : 19474 (python) S 19399 19401 18999 0 -1 4202560 32 931 0 0 0 0 0 0 18 0 27 0 627154433 627826688 7956 33554432000 4194304 5683644 140734355349664 18446744073709551615 256427215281 0 0 16781312 2 18446604442867258432 0 0 -1 2 0 0 0
[pid=19401/tid=19486] ppid=19399 vsize=613112 CPUtime=0 cores=0-7
/proc/19401/task/19486/stat : 19486 (python) S 19399 19401 18999 0 -1 4202560 30 931 0 0 0 0 0 0 20 0 27 0 627167785 627826688 7956 33554432000 4194304 5683644 140734355349664 18446744073709551615 256427215281 0 0 16781312 2 18446604442867258432 0 0 -1 2 0 0 0
[pid=19401/tid=19491] ppid=19399 vsize=613112 CPUtime=0 cores=0-7
/proc/19401/task/19491/stat : 19491 (python) S 19399 19401 18999 0 -1 4202560 45 931 0 0 0 0 0 0 18 0 27 0 627174182 627826688 7956 33554432000 4194304 5683644 140734355349664 18446744073709551615 256427215281 0 0 16781312 2 18446604442867258432 0 0 -1 2 0 0 0
[pid=19401/tid=19496] ppid=19399 vsize=613112 CPUtime=0 cores=0-7
/proc/19401/task/19496/stat : 19496 (python) S 19399 19401 18999 0 -1 4202560 39 931 0 0 0 0 0 0 18 0 27 0 627176586 627826688 7956 33554432000 4194304 5683644 140734355349664 18446744073709551615 256427215281 0 0 16781312 2 18446604442867258432 0 0 -1 2 0 0 0
[pid=19401/tid=19499] ppid=19399 vsize=613112 CPUtime=0 cores=0-7
/proc/19401/task/19499/stat : 19499 (python) S 19399 19401 18999 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 27 0 627177785 627826688 7956 33554432000 4194304 5683644 140734355349664 18446744073709551615 256427215281 0 0 16781312 2 18446604442867258432 0 0 -1 2 0 0 0
[pid=19401/tid=19506] ppid=19399 vsize=613112 CPUtime=0 cores=0-7
/proc/19401/task/19506/stat : 19506 (python) S 19399 19401 18999 0 -1 4202560 28 931 0 0 0 0 0 0 19 0 27 0 627186638 627826688 7956 33554432000 4194304 5683644 140734355349664 18446744073709551615 256427215281 0 0 16781312 2 18446604442867258432 0 0 -1 0 0 0 0
[pid=19401/tid=19511] ppid=19399 vsize=613112 CPUtime=0 cores=0-7
/proc/19401/task/19511/stat : 19511 (python) S 19399 19401 18999 0 -1 4202560 26 931 0 0 0 0 0 0 19 0 27 0 627194087 627826688 7956 33554432000 4194304 5683644 140734355349664 18446744073709551615 256427215281 0 0 16781312 2 18446604442867258432 0 0 -1 0 0 0 0
[pid=19401/tid=19519] ppid=19399 vsize=613112 CPUtime=0 cores=0-7
/proc/19401/task/19519/stat : 19519 (python) S 19399 19401 18999 0 -1 4202560 29 931 0 0 0 0 0 0 19 0 27 0 627203205 627826688 7956 33554432000 4194304 5683644 140734355349664 18446744073709551615 256427215281 0 0 16781312 2 18446604442867258432 0 0 -1 7 0 0 0
[pid=19401/tid=19523] ppid=19399 vsize=613112 CPUtime=0 cores=0-7
/proc/19401/task/19523/stat : 19523 (python) S 19399 19401 18999 0 -1 4202560 28 931 0 0 0 0 0 0 19 0 27 0 627206987 627826688 7956 33554432000 4194304 5683644 140734355349664 18446744073709551615 256427215281 0 0 16781312 2 18446604442867258432 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5284.76
Current children cumulated vsize (KiB) 24885724

[startup+759.703 s]
/proc/loadavg: 9.43 9.20 8.72 10/407 19525
/proc/meminfo: memFree=22978592/32950928 swapFree=67111364/67111528
[pid=19401] ppid=19399 vsize=377176 CPUtime=5286.57 cores=0-7
/proc/19401/stat : 19401 (python) R 19399 19401 18999 0 -1 4202496 38308 93363 1 0 392 20 527486 759 17 0 1 0 627134184 386228224 7810 33554432000 4194304 5683644 140734355349664 18446744073709551615 5116756 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/19401/statm: 94294 7810 1876 364 0 30218 0
Current children cumulated CPU time (s) 5286.57
Current children cumulated vsize (KiB) 377176

Child status: 0
Real time (s): 759.723
CPU time (s): 5286.61
CPU user time (s): 5278.8
CPU system time (s): 7.81181
CPU usage (%): 695.86
Max. virtual memory (cumulated for all children) (KiB): 24885728

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5278.8
system time used= 7.81181
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 134185
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= 10633
involuntary context switches= 35878

runsolver used 6.61499 second user time and 15.0157 second system time

The end

Launcher Data 

Begin job on node115 at 2011-05-02 22:43:55
IDJOB=3321886
IDBENCH=82664
IDSOLVER=1712
FILE ID=node115/3321886-1304369035
RUNJOBID= node115-1304367627-19013
PBS_JOBID= 13181769
Free space on /tmp= 73492 MiB

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

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

MD5SUM BENCH= a7d53123c03c2abad4ab13635af690bf
RANDOM SEED=1380187344

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      23352660 kB
Buffers:        901984 kB
Cached:        2628276 kB
SwapCached:          0 kB
Active:        6092352 kB
Inactive:      3037640 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      23352660 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:           32244 kB
Writeback:           0 kB
AnonPages:     5599720 kB
Mapped:          24416 kB
Slab:           372940 kB
PageTables:      29504 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 54453676 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= 73460 MiB
End job on node115 at 2011-05-02 22:56:35