Trace number 3385272

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)SAT 8543.22 1074.65

General information on the benchmark

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

Solver Data 

0.41/0.92	c INFO: loaded portfolio from HOME/etc/borg-mix+class.random.pickle
0.41/0.92	c INFO: solving HOME/instance-3385272-1305564966.cnf
0.41/0.92	c INFO: computing task features
0.49/1.04	c INFO: computed variable-clause graph statistics
0.49/1.04	c INFO: computed clause balance statistics
1.10/1.63	c INFO: computed variable balance statistics
1.30/1.86	c INFO: computed small-clause counts
1.30/1.86	c INFO: computed Horn-clause counts
1.30/1.88	c INFO: computed variable graph statistics
1.30/1.88	c INFO: collected features for HOME/instance-3385272-1305564966.cnf in 0.96 s
1.40/1.91	c INFO: running gnovelty+2@0 for 97 with 4999 remaining (b = 0.36)
1.40/1.94	c INFO: running gnovelty+2@0 for 97 with 4999 remaining (b = 0.12)
1.40/1.97	c INFO: running adaptg2wsat2009++@0 for 97 with 4998 remaining (b = 0.08)
1.50/2.00	c INFO: running adaptg2wsat2009++@0 for 97 with 4998 remaining (b = 0.07)
1.50/2.03	c INFO: running adaptg2wsat2009++@0 for 97 with 4998 remaining (b = 0.05)
1.50/2.06	c INFO: running gnovelty+2@0 for 97 with 4998 remaining (b = 0.04)
1.50/2.09	c INFO: running FH@0 for 97 with 4998 remaining (b = 0.03)
1.59/2.12	c INFO: running adaptg2wsat2009++@0 for 97 with 4998 remaining (b = 0.03)
801.38/102.28	c INFO: running adaptg2wsat2009++@0 for 97 with 4898 remaining (b = 0.02)
802.20/102.33	c INFO: running FH@0 for 97 with 4898 remaining (b = 0.02)
802.20/102.37	c INFO: running hybridGM3@0 for 194 with 4898 remaining (b = 0.04)
802.20/102.41	c INFO: running gnovelty+2@0 for 97 with 4898 remaining (b = 0.02)
802.83/102.45	c INFO: running hybridGM3@0 for 194 with 4898 remaining (b = 0.03)
803.12/102.50	c INFO: running hybridGM3@0 for 194 with 4898 remaining (b = 0.03)
803.12/102.55	c INFO: running TNM@0 for 1552 with 4898 remaining (b = 0.20)
803.32/102.60	c INFO: running adaptg2wsat2009++@0 for 97 with 4898 remaining (b = 0.01)
1601.52/202.65	c INFO: running FH@0 for 97 with 4798 remaining (b = 0.01)
1602.26/202.71	c INFO: running hybridGM3@0 for 194 with 4798 remaining (b = 0.02)
1602.85/202.82	c INFO: running adaptg2wsat2009++@0 for 97 with 4798 remaining (b = 0.01)
1636.47/207.04	c INFO: running adaptg2wsat2009++@0 for 97 with 4793 remaining (b = 0.01)
2362.21/298.13	c INFO: running hybridGM3@100 for 97 with 4702 remaining (b = 0.01)
2362.21/298.21	c INFO: running hybridGM3@100 for 97 with 4702 remaining (b = 0.01)
2378.10/300.19	c INFO: running adaptg2wsat2009++@0 for 97 with 4700 remaining (b = 0.01)
2385.24/301.06	c INFO: running adaptg2wsat2009++@100 for 97 with 4699 remaining (b = 0.01)
2411.53/304.36	c INFO: running hybridGM3@99 for 97 with 4696 remaining (b = 0.01)
2412.34/304.41	c INFO: running gnovelty+2@0 for 97 with 4696 remaining (b = 0.01)
3153.97/397.57	c INFO: running hybridGM3@0 for 194 with 4603 remaining (b = 0.02)
3161.12/398.43	c INFO: running hybridGM3@0 for 194 with 4602 remaining (b = 0.02)
3169.86/399.51	c INFO: running hybridGM3@295 for 97 with 4601 remaining (b = 0.01)
3169.86/399.58	c INFO: running TNM@0 for 1552 with 4601 remaining (b = 0.14)
3193.72/402.51	c INFO: running hybridGM3@100 for 97 with 4598 remaining (b = 0.01)
3212.07/404.83	c INFO: running adaptg2wsat2009++@100 for 97 with 4596 remaining (b = 0.01)
3219.99/405.80	c INFO: running FH@0 for 291 with 4595 remaining (b = 0.03)
3928.94/494.87	c INFO: running hybridGM3@396 for 97 with 4506 remaining (b = 0.01)
3936.90/495.89	c INFO: running iPAWS@0 for 97 with 4505 remaining (b = 0.01)
3987.85/502.21	c INFO: running adaptg2wsat2009++@297 for 291 with 4498 remaining (b = 0.03)
4688.69/590.23	c INFO: running FH@100 for 291 with 4410 remaining (b = 0.03)
4721.35/594.32	c INFO: running hybridGM3@97 for 97 with 4406 remaining (b = 0.01)
4736.54/596.28	c INFO: running iPAWS@0 for 97 with 4404 remaining (b = 0.01)
4753.22/598.31	c INFO: running hybridGM3@100 for 97 with 4402 remaining (b = 0.01)
5511.45/693.67	c INFO: running hybridGM3@0 for 194 with 4307 remaining (b = 0.02)
5520.18/694.75	c INFO: running hybridGM3@0 for 194 with 4306 remaining (b = 0.01)
5528.92/695.80	c INFO: running TNM@0 for 1552 with 4305 remaining (b = 0.11)
5535.26/696.70	c INFO: running adaptg2wsat2009++@99 for 97 with 4304 remaining (b = 0.01)
6295.87/792.21	c INFO: running adaptg2wsat2009++@392 for 194 with 4208 remaining (b = 0.02)
6350.74/799.16	c INFO: running adaptg2wsat2009++@389 for 194 with 4201 remaining (b = 0.02)
6995.97/880.25	c INFO: running FH@296 for 97 with 4120 remaining (b = 0.01)
7069.94/889.54	c INFO: running gnovelty+2@0 for 97 with 4111 remaining (b = 0.01)
7085.83/891.52	c INFO: running hybridGM3@100 for 97 with 4109 remaining (b = 0.01)
7802.67/981.65	c INFO: running FH@100 for 291 with 4019 remaining (b = 0.02)
7860.81/988.98	c INFO: running iPAWS@0 for 97 with 4011 remaining (b = 0.01)
7867.79/989.93	c INFO: running adaptg2wsat2009++@490 for 97 with 4011 remaining (b = 0.01)
7867.79/990.01	c INFO: running hybridGM3@0 for 194 with 4010 remaining (b = 0.01)
7916.44/995.94	c INFO: running NCVWr@0 for 485 with 4005 remaining (b = 0.03)
8542.72/1074.63	s SATISFIABLE
8542.72/1074.63	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: 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-3385272-1305564966/watcher-3385272-1305564966 -o /tmp/evaluation-result-3385272-1305564966/solver-3385272-1305564966 -C 40000 -W 5100 -M 31000 python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3385272-1305564966.cnf -seed 134578843 -budget 40000 -cores 8 

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

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


[startup+0 s]
/proc/loadavg: 0.00 0.00 0.00 1/417 4321
/proc/meminfo: memFree=20148012/32950928 swapFree=65730892/67111528
[pid=4321] ppid=4319 vsize=15188 CPUtime=0 cores=0-7
/proc/4321/stat : 4321 (python) R 4319 4321 4295 0 -1 4202496 716 0 0 0 0 0 0 0 23 0 1 0 746727294 15552512 608 33554432000 4194304 5683644 140734777296880 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/4321/statm: 3797 610 321 364 0 284 0

[startup+0.108143 s]
/proc/loadavg: 0.00 0.00 0.00 1/417 4321
/proc/meminfo: memFree=20148012/32950928 swapFree=65730892/67111528
[pid=4321] ppid=4319 vsize=52412 CPUtime=0.04 cores=0-7
/proc/4321/stat : 4321 (python) S 4319 4321 4295 0 -1 4202496 2015 0 0 0 3 1 0 0 23 0 1 0 746727294 53669888 1775 33554432000 4194304 5683644 140734777296880 18446744073709551615 260905392128 0 2147483391 16781312 2 18446744071699207358 0 0 17 6 0 0 0
/proc/4321/statm: 13103 1775 484 364 0 1284 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 52412

[startup+0.201133 s]
/proc/loadavg: 0.00 0.00 0.00 1/417 4321
/proc/meminfo: memFree=20148012/32950928 swapFree=65730892/67111528
[pid=4321] ppid=4319 vsize=104228 CPUtime=0.07 cores=0-7
/proc/4321/stat : 4321 (python) S 4319 4321 4295 0 -1 4202496 3066 0 0 0 5 2 0 0 23 0 1 0 746727294 106729472 2748 33554432000 4194304 5683644 140734777296880 18446744073709551615 260905392128 0 2147483391 16781312 2 18446744071699207358 0 0 17 6 0 0 0
/proc/4321/statm: 26057 2748 847 364 0 1805 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 104228

[startup+0.301114 s]
/proc/loadavg: 0.00 0.00 0.00 1/417 4321
/proc/meminfo: memFree=20148012/32950928 swapFree=65730892/67111528
[pid=4321] ppid=4319 vsize=116604 CPUtime=0.11 cores=0-7
/proc/4321/stat : 4321 (python) S 4319 4321 4295 0 -1 4202496 3855 0 0 0 8 3 0 0 22 0 1 0 746727294 119402496 3492 33554432000 4194304 5683644 140734777296880 18446744073709551615 260905389925 0 2147483391 16781312 2 18446744071699207358 0 0 17 6 0 0 0
/proc/4321/statm: 29151 3492 895 364 0 2652 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 116604

[startup+0.700976 s]
/proc/loadavg: 0.00 0.00 0.00 1/417 4321
/proc/meminfo: memFree=20148012/32950928 swapFree=65730892/67111528
[pid=4321] ppid=4319 vsize=194548 CPUtime=0.27 cores=0-7
/proc/4321/stat : 4321 (python) R 4319 4321 4295 0 -1 4202496 6927 933 1 0 19 8 0 0 21 0 1 0 746727294 199217152 4976 33554432000 4194304 5683644 140734777296880 18446744073709551615 260905392128 0 2147483391 16781312 2 0 0 0 17 6 0 0 0
/proc/4321/statm: 48637 4976 1431 364 0 3756 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 194548

[startup+1.50082 s]
/proc/loadavg: 0.08 0.02 0.01 2/418 4326
/proc/meminfo: memFree=20120840/32950928 swapFree=65730892/67111528
[pid=4321] ppid=4319 vsize=282584 CPUtime=1 cores=0-7
/proc/4321/stat : 4321 (python) R 4319 4321 4295 0 -1 4202496 11333 933 1 0 88 12 0 0 21 0 1 0 746727294 289366016 8058 33554432000 4194304 5683644 140734777296880 18446744073709551615 4273416 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/4321/statm: 70646 8058 1826 364 0 6570 0
Current children cumulated CPU time (s) 1
Current children cumulated vsize (KiB) 282584

[startup+3.10153 s]
/proc/loadavg: 0.08 0.02 0.01 9/442 4350
/proc/meminfo: memFree=20073404/32950928 swapFree=65730892/67111528
[pid=4321] ppid=4319 vsize=427068 CPUtime=1.62 cores=0-7
/proc/4321/stat : 4321 (python) S 4319 4321 4295 0 -1 4202496 17279 933 1 0 149 13 0 0 25 0 9 0 746727294 437317632 7500 33554432000 4194304 5683644 140734777296880 18446744073709551615 260917220811 0 0 16781312 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4321/statm: 106767 7500 1891 364 0 42664 0
[pid=4327] ppid=4321 vsize=279228 CPUtime=0 cores=0-7
/proc/4327/stat : 4327 (python) S 4321 4321 4295 0 -1 4202560 727 0 0 0 0 0 0 0 18 0 1 0 746727485 285929472 5714 33554432000 4194304 5683644 140734777296880 18446744073709551615 260905414159 0 0 16781312 514 9962684759177920772 0 0 17 1 0 0 0
/proc/4327/statm: 69807 5714 354 364 0 5725 0
[pid=4329] ppid=4327 vsize=1018616 CPUtime=1.18 cores=0-7
/proc/4329/stat : 4329 (gnovelty+2) R 4327 4329 4329 0 -1 4202496 767 0 0 0 118 0 0 0 25 0 1 0 746727485 1043062784 501 33554432000 134512640 135663704 4289241808 18446744073709551615 134525276 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/4329/statm: 254654 501 113 282 0 254370 0
[pid=4330] ppid=4321 vsize=289620 CPUtime=0 cores=0-7
/proc/4330/stat : 4330 (python) S 4321 4321 4295 0 -1 4202560 736 0 0 0 0 0 0 0 18 0 1 0 746727488 296570880 5762 33554432000 4194304 5683644 140734777296880 18446744073709551615 260905414214 0 0 16781312 514 9962688607468617987 0 0 17 1 0 0 0
/proc/4330/statm: 72405 5762 348 364 0 8320 0
[pid=4332] ppid=4330 vsize=1018616 CPUtime=1.15 cores=0-7
/proc/4332/stat : 4332 (gnovelty+2) R 4330 4332 4332 0 -1 4202496 766 0 0 0 115 0 0 0 25 0 1 0 746727488 1043062784 500 33554432000 134512640 135663704 4286925248 18446744073709551615 134524548 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/4332/statm: 254654 500 113 282 0 254370 0
[pid=4333] ppid=4321 vsize=365544 CPUtime=0 cores=0-7
/proc/4333/stat : 4333 (python) S 4321 4321 4295 0 -1 4202560 741 0 0 0 0 0 0 0 18 0 1 0 746727491 374317056 5785 33554432000 4194304 5683644 140734777296880 18446744073709551615 260905414214 0 0 16781312 514 18241891592732409855 0 0 17 1 0 0 0
/proc/4333/statm: 91386 5785 348 364 0 27298 0
[pid=4335] ppid=4333 vsize=418500 CPUtime=1.12 cores=0-7
/proc/4335/stat : 4335 (adaptg2wsat2009) R 4333 4335 4335 0 -1 4202496 1080 0 0 0 112 0 0 0 25 0 1 0 746727491 428544000 808 33554432000 134512640 135107411 4293485760 18446744073709551615 134523257 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/4335/statm: 104625 808 49 146 0 103501 0
[pid=4336] ppid=4321 vsize=375800 CPUtime=0 cores=0-7
/proc/4336/stat : 4336 (python) S 4321 4321 4295 0 -1 4202560 757 0 0 0 0 0 0 0 18 0 1 0 746727494 384819200 5789 33554432000 4194304 5683644 140734777296880 18446744073709551615 260905414214 0 0 16781312 514 14849767379159744511 0 0 17 1 0 0 0
/proc/4336/statm: 93950 5789 348 364 0 29859 0
[pid=4338] ppid=4336 vsize=418500 CPUtime=1.09 cores=0-7
/proc/4338/stat : 4338 (adaptg2wsat2009) R 4336 4338 4338 0 -1 4202496 1075 0 0 0 109 0 0 0 25 0 1 0 746727494 428544000 808 33554432000 134512640 135107411 4287716672 18446744073709551615 134523424 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/4338/statm: 104625 808 49 146 0 103501 0
[pid=4339] ppid=4321 vsize=386056 CPUtime=0 cores=0-7
/proc/4339/stat : 4339 (python) S 4321 4321 4295 0 -1 4202560 722 0 0 0 0 0 0 0 18 0 1 0 746727497 395321344 5965 33554432000 4194304 5683644 140734777296880 18446744073709551615 260905414214 0 0 16781312 514 9321496032225263615 0 0 17 1 0 0 0
/proc/4339/statm: 96514 5965 348 364 0 32420 0
[pid=4341] ppid=4339 vsize=418500 CPUtime=1.04 cores=0-7
/proc/4341/stat : 4341 (adaptg2wsat2009) R 4339 4341 4341 0 -1 4202496 1066 0 0 0 104 0 0 0 25 0 1 0 746727498 428544000 808 33554432000 134512640 135107411 4289038560 18446744073709551615 134523261 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/4341/statm: 104625 808 49 146 0 103501 0
[pid=4342] ppid=4321 vsize=396312 CPUtime=0 cores=0-7
/proc/4342/stat : 4342 (python) S 4321 4321 4295 0 -1 4202560 732 0 0 0 0 0 0 0 18 0 1 0 746727500 405823488 5928 33554432000 4194304 5683644 140734777296880 18446744073709551615 260905414214 0 0 16781312 514 9321492183934533891 0 0 17 6 0 0 0
/proc/4342/statm: 99078 5928 348 364 0 34981 0
[pid=4344] ppid=4342 vsize=1018616 CPUtime=1.03 cores=0-7
/proc/4344/stat : 4344 (gnovelty+2) R 4342 4344 4344 0 -1 4202496 760 0 0 0 103 0 0 0 25 0 1 0 746727500 1043062784 501 33554432000 134512640 135663704 4292962592 18446744073709551615 134524498 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/4344/statm: 254654 501 113 282 0 254370 0
[pid=4345] ppid=4321 vsize=406568 CPUtime=0 cores=0-7
/proc/4345/stat : 4345 (python) S 4321 4321 4295 0 -1 4202560 721 0 0 0 0 0 0 0 23 0 1 0 746727503 416325632 5945 33554432000 4194304 5683644 140734777296880 18446744073709551615 260905414214 0 0 16781312 514 6079252570826604543 0 0 17 1 0 0 0
/proc/4345/statm: 101642 5945 344 364 0 37542 0
[pid=4347] ppid=4345 vsize=246900 CPUtime=0.98 cores=0-7
/proc/4347/stat : 4347 (FH) R 4345 4347 4347 0 -1 4202496 939 0 0 0 98 0 0 0 25 0 1 0 746727506 252825600 679 33554432000 134512640 134936988 4294080448 18446744073709551615 134523663 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/4347/statm: 61725 679 37 104 0 61229 0
[pid=4348] ppid=4321 vsize=416824 CPUtime=0 cores=0-7
/proc/4348/stat : 4348 (python) S 4321 4321 4295 0 -1 4202560 758 0 0 0 0 0 0 0 25 0 1 0 746727506 426827776 5955 33554432000 4194304 5683644 140734777296880 18446744073709551615 260905414214 0 0 16781312 514 6079248722535907327 0 0 17 0 0 0 0
/proc/4348/statm: 104206 5955 350 364 0 40103 0
[pid=4350] ppid=4348 vsize=418500 CPUtime=0.97 cores=0-7
/proc/4350/stat : 4350 (adaptg2wsat2009) R 4348 4350 4350 0 -1 4202496 1078 0 0 0 97 0 0 0 25 0 1 0 746727507 428544000 810 33554432000 134512640 135107411 4288495664 18446744073709551615 134523424 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/4350/statm: 104625 810 49 146 0 103501 0
[pid=4321/tid=4328] ppid=4319 vsize=427068 CPUtime=0 cores=0-7
/proc/4321/task/4328/stat : 4328 (python) S 4319 4321 4295 0 -1 4202560 23 933 0 0 0 0 0 0 24 0 9 0 746727485 437317632 7500 33554432000 4194304 5683644 140734777296880 18446744073709551615 260917217713 0 0 16781312 2 18446604445607408832 0 0 -1 2 0 0 0
[pid=4321/tid=4331] ppid=4319 vsize=427068 CPUtime=0 cores=0-7
/proc/4321/task/4331/stat : 4331 (python) S 4319 4321 4295 0 -1 4202560 19 933 0 0 0 0 0 0 18 0 9 0 746727488 437317632 7500 33554432000 4194304 5683644 140734777296880 18446744073709551615 260917217713 0 0 16781312 2 18446604445607408832 0 0 -1 3 0 0 0
[pid=4321/tid=4334] ppid=4319 vsize=427068 CPUtime=0 cores=0-7
/proc/4321/task/4334/stat : 4334 (python) S 4319 4321 4295 0 -1 4202560 22 933 0 0 0 0 0 0 25 0 9 0 746727491 437317632 7500 33554432000 4194304 5683644 140734777296880 18446744073709551615 260917217713 0 0 16781312 2 18446604445607408832 0 0 -1 0 0 0 0
[pid=4321/tid=4337] ppid=4319 vsize=427068 CPUtime=0 cores=0-7
/proc/4321/task/4337/stat : 4337 (python) S 4319 4321 4295 0 -1 4202560 25 933 0 0 0 0 0 0 19 0 9 0 746727494 437317632 7500 33554432000 4194304 5683644 140734777296880 18446744073709551615 260917217713 0 0 16781312 2 18446604445607408832 0 0 -1 5 0 0 0
[pid=4321/tid=4340] ppid=4319 vsize=427068 CPUtime=0 cores=0-7
/proc/4321/task/4340/stat : 4340 (python) S 4319 4321 4295 0 -1 4202560 86 933 0 0 0 0 0 0 20 0 9 0 746727497 437317632 7500 33554432000 4194304 5683644 140734777296880 18446744073709551615 260917217713 0 0 16781312 2 18446604445607408832 0 0 -1 0 0 0 0
[pid=4321/tid=4343] ppid=4319 vsize=427068 CPUtime=0 cores=0-7
/proc/4321/task/4343/stat : 4343 (python) S 4319 4321 4295 0 -1 4202560 33 933 0 0 0 0 0 0 22 0 9 0 746727500 437317632 7500 33554432000 4194304 5683644 140734777296880 18446744073709551615 260917217713 0 0 16781312 2 18446604445607408832 0 0 -1 6 0 0 0
[pid=4321/tid=4346] ppid=4319 vsize=427068 CPUtime=0 cores=0-7
/proc/4321/task/4346/stat : 4346 (python) S 4319 4321 4295 0 -1 4202560 34 933 0 0 0 0 0 0 23 0 9 0 746727503 437317632 7500 33554432000 4194304 5683644 140734777296880 18446744073709551615 260917217713 0 0 16781312 2 18446604445607408832 0 0 -1 0 0 0 0
[pid=4321/tid=4349] ppid=4319 vsize=427068 CPUtime=0 cores=0-7
/proc/4321/task/4349/stat : 4349 (python) S 4319 4321 4295 0 -1 4202560 35 933 0 0 0 0 0 0 25 0 9 0 746727507 437317632 7500 33554432000 4194304 5683644 140734777296880 18446744073709551615 260917217713 0 0 16781312 2 18446604445607408832 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 10.18
Current children cumulated vsize (KiB) 8319768

[startup+6.30094 s]
/proc/loadavg: 0.08 0.02 0.01 9/442 4351
/proc/meminfo: memFree=20069472/32950928 swapFree=65730892/67111528
[pid=4321] ppid=4319 vsize=427068 CPUtime=1.62 cores=0-7
/proc/4321/stat : 4321 (python) S 4319 4321 4295 0 -1 4202496 17279 933 1 0 149 13 0 0 25 0 9 0 746727294 437317632 7500 33554432000 4194304 5683644 140734777296880 18446744073709551615 260917220811 0 0 16781312 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4321/statm: 106767 7500 1891 364 0 42664 0
[pid=4327] ppid=4321 vsize=279228 CPUtime=0.01 cores=0-7
/proc/4327/stat : 4327 (python) S 4321 4321 4295 0 -1 4202560 888 0 0 0 0 1 0 0 18 0 1 0 746727485 285929472 5737 33554432000 4194304 5683644 140734777296880 18446744073709551615 260905414159 0 0 16781312 514 9962684759177920772 0 0 17 1 0 0 0
/proc/4327/statm: 69807 5737 377 364 0 5725 0
[pid=4329] ppid=4327 vsize=1018616 CPUtime=4.36 cores=0-7
/proc/4329/stat : 4329 (gnovelty+2) R 4327 4329 4329 0 -1 4202496 767 0 0 0 436 0 0 0 25 0 1 0 746727485 1043062784 501 33554432000 134512640 135663704 4289241808 18446744073709551615 134545631 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/4329/statm: 254654 501 113 282 0 254370 0
[pid=4330] ppid=4321 vsize=289620 CPUtime=0.02 cores=0-7
/proc/4330/stat : 4330 (python) S 4321 4321 4295 0 -1 4202560 882 0 0 0 1 1 0 0 18 0 1 0 746727488 296570880 5785 33554432000 4194304 5683644 140734777296880 18446744073709551615 260905414214 0 0 16781312 514 9962688607468617987 0 0 17 1 0 0 0
/proc/4330/statm: 72405 5785 371 364 0 8320 0
[pid=4332] ppid=4330 vsize=1018616 CPUtime=4.35 cores=0-7
/proc/4332/stat : 4332 (gnovelty+2) R 4330 4332 4332 0 -1 4202496 766 0 0 0 435 0 0 0 25 0 1 0 746727488 1043062784 500 33554432000 134512640 135663704 4286925248 18446744073709551615 134524503 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/4332/statm: 254654 500 113 282 0 254370 0
[pid=4333] ppid=4321 vsize=365544 CPUtime=0.02 cores=0-7
/proc/4333/stat : 4333 (python) S 4321 4321 4295 0 -1 4202560 894 0 0 0 1 1 0 0 18 0 1 0 746727491 374317056 5808 33554432000 4194304 5683644 140734777296880 18446744073709551615 260905414214 0 0 16781312 514 18241891592732377347 0 0 17 1 0 0 0
/proc/4333/statm: 91386 5808 371 364 0 27298 0
[pid=4335] ppid=4333 vsize=418636 CPUtime=4.31 cores=0-7
/proc/4335/stat : 4335 (adaptg2wsat2009) R 4333 4335 4335 0 -1 4202496 1227 0 0 0 431 0 0 0 25 0 1 0 746727491 428683264 955 33554432000 134512640 135107411 4293485760 18446744073709551615 134531582 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/4335/statm: 104659 955 59 146 0 103535 0
[pid=4336] ppid=4321 vsize=375800 CPUtime=0.01 cores=0-7
/proc/4336/stat : 4336 (python) S 4321 4321 4295 0 -1 4202560 935 0 0 0 0 1 0 0 18 0 1 0 746727494 384819200 5812 33554432000 4194304 5683644 140734777296880 18446744073709551615 260905414214 0 0 16781312 514 14849767379159712002 0 0 17 2 0 0 0
/proc/4336/statm: 93950 5812 371 364 0 29859 0
[pid=4338] ppid=4336 vsize=418636 CPUtime=4.29 cores=0-7
/proc/4338/stat : 4338 (adaptg2wsat2009) R 4336 4338 4338 0 -1 4202496 1222 0 0 0 429 0 0 0 25 0 1 0 746727494 428683264 955 33554432000 134512640 135107411 4287716672 18446744073709551615 134532088 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/4338/statm: 104659 955 59 146 0 103535 0
[pid=4339] ppid=4321 vsize=386056 CPUtime=0.01 cores=0-7
/proc/4339/stat : 4339 (python) S 4321 4321 4295 0 -1 4202560 798 0 0 0 0 1 0 0 18 0 1 0 746727497 395321344 5988 33554432000 4194304 5683644 140734777296880 18446744073709551615 260905414214 0 0 16781312 514 9321496032225231107 0 0 17 1 0 0 0
/proc/4339/statm: 96514 5988 371 364 0 32420 0
[pid=4341] ppid=4339 vsize=418636 CPUtime=4.19 cores=0-7
/proc/4341/stat : 4341 (adaptg2wsat2009) R 4339 4341 4341 0 -1 4202496 1213 0 0 0 419 0 0 0 25 0 1 0 746727498 428683264 955 33554432000 134512640 135107411 4289038560 18446744073709551615 134532128 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/4341/statm: 104659 955 59 146 0 103535 0
[pid=4342] ppid=4321 vsize=396312 CPUtime=0.02 cores=0-7
/proc/4342/stat : 4342 (python) S 4321 4321 4295 0 -1 4202560 811 0 0 0 1 1 0 0 18 0 1 0 746727500 405823488 5951 33554432000 4194304 5683644 140734777296880 18446744073709551615 260905414214 0 0 16781312 514 9321492183934533891 0 0 17 6 0 0 0
/proc/4342/statm: 99078 5951 371 364 0 34981 0
[pid=4344] ppid=4342 vsize=1018616 CPUtime=4.21 cores=0-7
/proc/4344/stat : 4344 (gnovelty+2) R 4342 4344 4344 0 -1 4202496 760 0 0 0 421 0 0 0 25 0 1 0 746727500 1043062784 501 33554432000 134512640 135663704 4292962592 18446744073709551615 134525276 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/4344/statm: 254654 501 113 282 0 254370 0
[pid=4345] ppid=4321 vsize=406568 CPUtime=0.01 cores=0-7
/proc/4345/stat : 4345 (python) S 4321 4321 4295 0 -1 4202560 824 0 0 0 0 1 0 0 18 0 1 0 746727503 416325632 5972 33554432000 4194304 5683644 140734777296880 18446744073709551615 260905414214 0 0 16781312 514 6079252570826572034 0 0 17 1 0 0 0
/proc/4345/statm: 101642 5972 371 364 0 37542 0
[pid=4347] ppid=4345 vsize=248652 CPUtime=4.08 cores=0-7
/proc/4347/stat : 4347 (FH) R 4345 4347 4347 0 -1 4202496 1119 0 0 0 408 0 0 0 25 0 1 0 746727506 254619648 857 33554432000 134512640 134936988 4294080448 18446744073709551615 134553554 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/4347/statm: 62163 857 41 104 0 61667 0
[pid=4348] ppid=4321 vsize=416824 CPUtime=0.01 cores=0-7
/proc/4348/stat : 4348 (python) S 4321 4321 4295 0 -1 4202560 863 0 0 0 1 0 0 0 18 0 1 0 746727506 426827776 5982 33554432000 4194304 5683644 140734777296880 18446744073709551615 260905414214 0 0 16781312 514 6079248722535874818 0 0 17 0 0 0 0
/proc/4348/statm: 104206 5982 377 364 0 40103 0
[pid=4350] ppid=4348 vsize=418636 CPUtime=4.15 cores=0-7
/proc/4350/stat : 4350 (adaptg2wsat2009) R 4348 4350 4350 0 -1 4202496 1225 0 0 0 415 0 0 0 25 0 1 0 746727507 428683264 957 33554432000 134512640 135107411 4288495664 18446744073709551615 134532288 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/4350/statm: 104659 957 59 146 0 103535 0

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

Current children cumulated CPU time (s) 8540.87
Current children cumulated vsize (KiB) 30589844

[startup+1074.6 s]
/proc/loadavg: 8.92 8.36 5.74 9/536 4482
/proc/meminfo: memFree=19727104/32950928 swapFree=65730892/67111528
[pid=4321] ppid=4319 vsize=662956 CPUtime=3363.38 cores=0-7
/proc/4321/stat : 4321 (python) S 4319 4321 4295 0 -1 4202496 47206 82548 1 0 385 21 335360 572 17 0 32 0 746727294 678866944 8046 33554432000 4194304 5683644 140734777296880 18446744073709551615 260917224255 0 0 16781312 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4321/statm: 165739 8046 1938 364 0 101567 0
[pid=4345] ppid=4321 vsize=0 CPUtime=390.28 cores=0-7
/proc/4345/stat : 4345 (python) R 4321 4321 4295 0 -1 4202564 1076 1119 0 0 67 63 38898 0 18 0 1 0 746727503 0 0 33554432000 0 0 0 0 0 0 0 16781824 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4345/statm: 0 0 0 0 0 0 0
[pid=4348] ppid=4321 vsize=416824 CPUtime=2.64 cores=0-7
/proc/4348/stat : 4348 (python) S 4321 4321 4295 0 -1 4202560 1046 0 0 0 138 126 0 0 18 0 2 0 746727506 426827776 6012 33554432000 4194304 5683644 140734777296880 18446744073709551615 260905414214 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/4348/statm: 104206 6012 406 364 0 40103 0
[pid=4350] ppid=4348 vsize=418636 CPUtime=761.23 cores=0-7
/proc/4350/stat : 4350 (adaptg2wsat2009) R 4348 4350 4350 0 -1 4202496 1225 0 0 0 76121 2 0 0 25 0 1 0 746727507 428683264 957 33554432000 134512640 135107411 4288495664 18446744073709551615 134531942 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/4350/statm: 104659 957 59 146 0 103535 0
[pid=4348/tid=4373] ppid=4321 vsize=416824 CPUtime=0 cores=0-7
/proc/4348/task/4373/stat : 4373 (python) S 4321 4321 4295 0 -1 4202560 74 0 0 0 0 0 0 0 18 0 2 0 746737539 426827776 6012 33554432000 4194304 5683644 140734777296880 18446744073709551615 260917217713 0 0 16781312 514 18446604450033161344 0 0 -1 2 0 0 0
[pid=4361] ppid=4321 vsize=437336 CPUtime=1.7 cores=0-7
/proc/4361/stat : 4361 (python) S 4321 4321 4295 0 -1 4202560 1026 0 0 0 91 79 0 0 18 0 2 0 746737528 447832064 6071 33554432000 4194304 5683644 140734777296880 18446744073709551615 260917220811 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/4361/statm: 109334 6071 400 364 0 45225 0
[pid=4363] ppid=4361 vsize=248648 CPUtime=490.92 cores=0-7
/proc/4363/stat : 4363 (FH) T 4361 4363 4363 0 -1 4202496 1122 0 0 0 49092 0 0 0 25 0 1 0 746737528 254615552 856 33554432000 134512640 134936988 4287595216 18446744073709551615 134552375 0 0 16781312 0 18446744071562691360 0 0 17 6 0 0 0
/proc/4363/statm: 62162 856 41 104 0 61666 0
[pid=4361/tid=4393] ppid=4321 vsize=437336 CPUtime=0 cores=0-7
/proc/4361/task/4393/stat : 4393 (python) S 4321 4321 4295 0 -1 4202560 74 0 0 0 0 0 0 0 18 0 2 0 746747560 447832064 6071 33554432000 4194304 5683644 140734777296880 18446744073709551615 260917217713 0 0 16781312 514 18446604463634003840 0 0 -1 3 0 0 0
[pid=4380] ppid=4321 vsize=0 CPUtime=960.59 cores=0-7
/proc/4380/stat : 4380 (python) Z 4321 4321 4295 0 -1 4202588 1370 1127 0 0 168 163 95728 0 18 0 1 0 746737549 0 0 33554432000 0 0 0 0 0 0 0 16781824 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4380/statm: 0 0 0 0 0 0 0
[pid=4383] ppid=4321 vsize=498872 CPUtime=1.43 cores=0-7
/proc/4383/stat : 4383 (python) S 4321 4321 4295 0 -1 4202560 1182 0 0 0 74 69 0 0 18 0 2 0 746737554 510844928 6196 33554432000 4194304 5683644 140734777296880 18446744073709551615 260917220811 0 0 16781312 514 18446744073709551615 0 0 17 7 0 0 0
/proc/4383/statm: 124718 6196 408 364 0 60591 0
[pid=4385] ppid=4383 vsize=418636 CPUtime=388.66 cores=0-7
/proc/4385/stat : 4385 (adaptg2wsat2009) T 4383 4385 4385 0 -1 4202496 1229 0 0 0 38866 0 0 0 25 0 1 0 746737555 428683264 955 33554432000 134512640 135107411 4291388176 18446744073709551615 134532352 0 0 16781312 0 18446744071562691360 0 0 17 6 0 0 0
/proc/4385/statm: 104659 955 59 146 0 103535 0
[pid=4383/tid=4398] ppid=4321 vsize=498872 CPUtime=0 cores=0-7
/proc/4383/task/4398/stat : 4398 (python) S 4321 4321 4295 0 -1 4202560 78 0 0 0 0 0 0 0 18 0 2 0 746747993 510844928 6196 33554432000 4194304 5683644 140734777296880 18446744073709551615 260917217713 0 0 16781312 514 18446604470949993216 0 0 -1 0 0 0 0
[pid=4390] ppid=4321 vsize=509128 CPUtime=0.67 cores=0-7
/proc/4390/stat : 4390 (python) S 4321 4321 4295 0 -1 4202560 1102 0 0 0 35 32 0 0 18 0 2 0 746747559 521347072 6206 33554432000 4194304 5683644 140734777296880 18446744073709551615 260905414214 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/4390/statm: 127282 6206 402 364 0 63152 0
[pid=4392] ppid=4390 vsize=248652 CPUtime=191 cores=0-7
/proc/4392/stat : 4392 (FH) R 4390 4392 4392 0 -1 4202496 1133 0 0 0 19100 0 0 0 25 0 1 0 746747559 254619648 857 33554432000 134512640 134936988 4289660032 18446744073709551615 134545109 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/4392/statm: 62163 857 41 104 0 61667 0
[pid=4390/tid=4412] ppid=4321 vsize=509128 CPUtime=0 cores=0-7
/proc/4390/task/4412/stat : 4412 (python) S 4321 4321 4295 0 -1 4202560 78 0 0 0 0 0 0 0 19 0 2 0 746757394 521347072 6206 33554432000 4194304 5683644 140734777296880 18446744073709551615 260917217713 0 0 16781312 514 18446604464164509760 0 0 -1 6 0 0 0
[pid=4426] ppid=4321 vsize=560408 CPUtime=2.34 cores=0-7
/proc/4426/stat : 4426 (python) S 4321 4321 4295 0 -1 4202560 986 0 0 0 116 118 0 0 18 0 1 0 746767253 573857792 6312 33554432000 4194304 5683644 140734777296880 18446744073709551615 260905414214 0 0 16781312 514 10261680449382220035 0 0 17 7 0 0 0
/proc/4426/statm: 140102 6312 378 364 0 75957 0
[pid=4428] ppid=4426 vsize=457124 CPUtime=669.66 cores=0-7
/proc/4428/stat : 4428 (TNM) R 4426 4428 4428 0 -1 4202496 1122 0 0 0 66963 3 0 0 25 0 1 0 746767253 468094976 837 33554432000 134512640 135008748 4287275632 18446744073709551615 134527840 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/4428/statm: 114281 837 46 122 0 113181 0
[pid=4441] ppid=4321 vsize=580920 CPUtime=100.01 cores=0-7
/proc/4441/stat : 4441 (python) R 4321 4321 4295 0 -1 4202560 1216 1602 0 0 16 18 9967 0 18 0 2 0 746786922 594862080 6354 33554432000 4194304 5683644 140734777296880 18446744073709551615 4870104 0 0 16781824 2 18446744073709551615 0 0 17 6 0 0 0
/proc/4441/statm: 145230 6354 407 364 0 81079 0
[pid=4441/tid=4457] ppid=4321 vsize=580920 CPUtime=99.67 cores=0-7
/proc/4441/task/4457/stat : 4457 (python) R 4321 4321 4295 0 -1 4202560 84 1602 0 0 0 0 9967 0 18 0 2 0 746796958 594862080 6354 33554432000 4194304 5683644 140734777296880 18446744073709551615 260917220919 0 0 16781824 2 0 0 0 -1 0 0 0 0
[pid=4448] ppid=4321 vsize=591176 CPUtime=1.04 cores=0-7
/proc/4448/stat : 4448 (python) S 4321 4321 4295 0 -1 4202560 1182 0 0 0 56 48 0 0 18 0 2 0 746796661 605364224 6404 33554432000 4194304 5683644 140734777296880 18446744073709551615 260917220811 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/4448/statm: 147794 6404 402 364 0 83640 0
[pid=4450] ppid=4448 vsize=268420 CPUtime=293.09 cores=0-7
/proc/4450/stat : 4450 (hybridGM3) T 4448 4450 4450 0 -1 4202496 5183 0 0 0 29309 0 0 0 25 0 1 0 746796662 274862080 4896 33554432000 134512640 135204385 4291093616 18446744073709551615 134538248 0 0 16781312 0 18446744071562691360 0 0 17 4 0 0 0
/proc/4450/statm: 67105 4896 63 169 0 66935 0
[pid=4448/tid=4463] ppid=4321 vsize=591176 CPUtime=0 cores=0-7
/proc/4448/task/4463/stat : 4463 (python) S 4321 4321 4295 0 -1 4202560 84 0 0 0 0 0 0 0 18 0 2 0 746816242 605364224 6404 33554432000 4194304 5683644 140734777296880 18446744073709551615 260917217713 0 0 16781312 514 18446604440399324096 0 0 -1 4 0 0 0
[pid=4451] ppid=4321 vsize=601432 CPUtime=0.68 cores=0-7
/proc/4451/stat : 4451 (python) S 4321 4321 4295 0 -1 4202560 1184 0 0 0 36 32 0 0 19 0 2 0 746796770 615866368 6360 33554432000 4194304 5683644 140734777296880 18446744073709551615 260917220811 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/4451/statm: 150358 6360 401 364 0 86201 0
[pid=4453] ppid=4451 vsize=268428 CPUtime=196.67 cores=0-7
/proc/4453/stat : 4453 (hybridGM3) T 4451 4453 4453 0 -1 4202496 5184 0 0 0 19667 0 0 0 25 0 1 0 746796770 274870272 4897 33554432000 134512640 135204385 4288702976 18446744073709551615 134538264 0 0 16781312 0 18446744071562691360 0 0 17 5 0 0 0
/proc/4453/statm: 67107 4897 63 169 0 66937 0
[pid=4451/tid=4467] ppid=4321 vsize=601432 CPUtime=0 cores=0-7
/proc/4451/task/4467/stat : 4467 (python) S 4321 4321 4295 0 -1 4202560 81 0 0 0 0 0 0 0 19 0 2 0 746816441 615866368 6360 33554432000 4194304 5683644 140734777296880 18446744073709551615 260917217713 0 0 16781312 514 18446604440399323200 0 0 -1 1 0 0 0
[pid=4454] ppid=4321 vsize=611688 CPUtime=1.33 cores=0-7
/proc/4454/stat : 4454 (python) S 4321 4321 4295 0 -1 4202560 991 0 0 0 67 66 0 0 18 0 1 0 746796874 626368512 6387 33554432000 4194304 5683644 140734777296880 18446744073709551615 260905414214 0 0 16781312 514 10261680449382220036 0 0 17 6 0 0 0
/proc/4454/statm: 152922 6387 373 364 0 88762 0
[pid=4456] ppid=4454 vsize=457124 CPUtime=377.4 cores=0-7
/proc/4456/stat : 4456 (TNM) R 4454 4456 4456 0 -1 4202496 1118 0 0 0 37740 0 0 0 25 0 1 0 746796875 468094976 837 33554432000 134512640 135008748 4292234384 18446744073709551615 134528974 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/4456/statm: 114281 837 46 122 0 113181 0
[pid=4464] ppid=4321 vsize=621944 CPUtime=0.36 cores=0-7
/proc/4464/stat : 4464 (python) S 4321 4321 4295 0 -1 4202560 1186 0 0 0 19 17 0 0 19 0 2 0 746816248 636870656 6318 33554432000 4194304 5683644 140734777296880 18446744073709551615 260917220811 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/4464/statm: 155486 6318 402 364 0 91323 0
[pid=4466] ppid=4464 vsize=1018616 CPUtime=99.67 cores=0-7
/proc/4466/stat : 4466 (gnovelty+2) T 4464 4466 4466 0 -1 4202496 785 0 0 0 9967 0 0 0 25 0 1 0 746816250 1043062784 500 33554432000 134512640 135663704 4287189552 18446744073709551615 134524827 0 0 16781312 0 18446744071562691360 0 0 17 1 0 0 0
/proc/4466/statm: 254654 500 113 282 0 254370 0
[pid=4464/tid=4474] ppid=4321 vsize=621944 CPUtime=0 cores=0-7
/proc/4464/task/4474/stat : 4474 (python) S 4321 4321 4295 0 -1 4202560 84 0 0 0 0 0 0 0 19 0 2 0 746826287 636870656 6318 33554432000 4194304 5683644 140734777296880 18446744073709551615 260917217713 0 0 16781312 514 18446604446975821696 0 0 -1 0 0 0 0
[pid=4471] ppid=4321 vsize=632200 CPUtime=0.29 cores=0-7
/proc/4471/stat : 4471 (python) S 4321 4321 4295 0 -1 4202560 1038 0 0 0 16 13 0 0 18 0 1 0 746826192 647372800 6410 33554432000 4194304 5683644 140734777296880 18446744073709551615 260905414214 0 0 16781312 514 10261680449382220035 0 0 17 6 0 0 0
/proc/4471/statm: 158050 6410 378 364 0 93884 0
[pid=4473] ppid=4471 vsize=335996 CPUtime=85.61 cores=0-7
/proc/4473/stat : 4473 (iPAWS) R 4471 4473 4473 0 -1 4202496 1607 0 0 0 8561 0 0 0 25 0 1 0 746826193 344059904 1318 33554432000 134512640 135114423 4289392256 18446744073709551615 134514774 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/4473/statm: 83999 1318 59 147 0 83851 0
[pid=4475] ppid=4321 vsize=642456 CPUtime=0.28 cores=0-7
/proc/4475/stat : 4475 (python) S 4321 4321 4295 0 -1 4202560 1049 0 0 0 14 14 0 0 18 0 1 0 746826295 657874944 6387 33554432000 4194304 5683644 140734777296880 18446744073709551615 260905414214 0 0 16781312 514 10261680449382220033 0 0 17 6 0 0 0
/proc/4475/statm: 160614 6387 379 364 0 96445 0
[pid=4477] ppid=4475 vsize=268424 CPUtime=84.28 cores=0-7
/proc/4477/stat : 4477 (hybridGM3) R 4475 4477 4477 0 -1 4202496 5185 0 0 0 8428 0 0 0 25 0 1 0 746826296 274866176 4896 33554432000 134512640 135204385 4292407872 18446744073709551615 134538041 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/4477/statm: 67106 4896 63 169 0 66936 0
[pid=4478] ppid=4321 vsize=652712 CPUtime=0.26 cores=0-7
/proc/4478/stat : 4478 (python) S 4321 4321 4295 0 -1 4202560 1055 0 0 0 13 13 0 0 18 0 1 0 746826889 668377088 6483 33554432000 4194304 5683644 140734777296880 18446744073709551615 260905414214 0 0 16781312 514 10261680449382220033 0 0 17 6 0 0 0
/proc/4478/statm: 163178 6483 379 364 0 99006 0
[pid=4480] ppid=4478 vsize=418452 CPUtime=77.25 cores=0-7
/proc/4480/stat : 4480 (NCVWr) R 4478 4480 4480 0 -1 4202496 1159 0 0 0 7725 0 0 0 25 0 1 0 746826891 428494848 873 33554432000 134512640 135113558 4294760848 18446744073709551615 134533476 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/4480/statm: 104613 873 58 147 0 103488 0
[pid=4321/tid=4328] ppid=4319 vsize=662956 CPUtime=3749.62 cores=0-7
/proc/4321/task/4328/stat : 4328 (python) S 4319 4321 4295 0 -1 4202560 23 84743 0 0 0 0 374326 636 24 0 32 0 746727485 678866944 8046 33554432000 4194304 5683644 140734777296880 18446744073709551615 260917217713 0 0 16781312 2 18446604445607408832 0 0 -1 2 0 0 0
[pid=4321/tid=4331] ppid=4319 vsize=662956 CPUtime=3749.62 cores=0-7
/proc/4321/task/4331/stat : 4331 (python) S 4319 4321 4295 0 -1 4202560 19 84743 0 0 0 0 374326 636 18 0 32 0 746727488 678866944 8046 33554432000 4194304 5683644 140734777296880 18446744073709551615 260917217713 0 0 16781312 2 18446604445607408832 0 0 -1 3 0 0 0
[pid=4321/tid=4334] ppid=4319 vsize=662956 CPUtime=3749.62 cores=0-7
/proc/4321/task/4334/stat : 4334 (python) S 4319 4321 4295 0 -1 4202560 28 84743 0 0 0 0 374326 636 18 0 32 0 746727491 678866944 8046 33554432000 4194304 5683644 140734777296880 18446744073709551615 260917217713 0 0 16781312 2 18446604445607408832 0 0 -1 0 0 0 0
[pid=4321/tid=4337] ppid=4319 vsize=662956 CPUtime=3749.62 cores=0-7
/proc/4321/task/4337/stat : 4337 (python) S 4319 4321 4295 0 -1 4202560 31 84743 0 0 0 0 374326 636 18 0 32 0 746727494 678866944 8046 33554432000 4194304 5683644 140734777296880 18446744073709551615 260917217713 0 0 16781312 2 18446604445607408832 0 0 -1 5 0 0 0
[pid=4321/tid=4340] ppid=4319 vsize=662956 CPUtime=3749.62 cores=0-7
/proc/4321/task/4340/stat : 4340 (python) S 4319 4321 4295 0 -1 4202560 90 84743 0 0 0 0 374326 636 18 0 32 0 746727497 678866944 8046 33554432000 4194304 5683644 140734777296880 18446744073709551615 260917217713 0 0 16781312 2 18446604445607408832 0 0 -1 0 0 0 0
[pid=4321/tid=4343] ppid=4319 vsize=662956 CPUtime=3749.62 cores=0-7
/proc/4321/task/4343/stat : 4343 (python) S 4319 4321 4295 0 -1 4202560 33 84743 0 0 0 0 374326 636 22 0 32 0 746727500 678866944 8046 33554432000 4194304 5683644 140734777296880 18446744073709551615 260917217713 0 0 16781312 2 18446604445607408832 0 0 -1 6 0 0 0
[pid=4321/tid=4346] ppid=4319 vsize=662956 CPUtime=3749.62 cores=0-7
/proc/4321/task/4346/stat : 4346 (python) S 4319 4321 4295 0 -1 4202560 39 84743 0 0 0 0 374326 636 18 0 32 0 746727503 678866944 8046 33554432000 4194304 5683644 140734777296880 18446744073709551615 260917217713 0 0 16781312 2 18446604445607408832 0 0 -1 0 0 0 0
[pid=4321/tid=4349] ppid=4319 vsize=662956 CPUtime=3749.62 cores=0-7
/proc/4321/task/4349/stat : 4349 (python) S 4319 4321 4295 0 -1 4202560 59 84743 0 0 0 0 374326 636 18 0 32 0 746727507 678866944 8046 33554432000 4194304 5683644 140734777296880 18446744073709551615 260917217713 0 0 16781312 2 18446604445607408832 0 0 -1 0 0 0 0
[pid=4321/tid=4356] ppid=4319 vsize=662956 CPUtime=3749.62 cores=0-7
/proc/4321/task/4356/stat : 4356 (python) S 4319 4321 4295 0 -1 4202560 43 84743 0 0 0 0 374326 636 18 0 32 0 746737522 678866944 8046 33554432000 4194304 5683644 140734777296880 18446744073709551615 260917217713 0 0 16781312 2 18446604445607408832 0 0 -1 0 0 0 0
[pid=4321/tid=4362] ppid=4319 vsize=662956 CPUtime=3749.62 cores=0-7
/proc/4321/task/4362/stat : 4362 (python) S 4319 4321 4295 0 -1 4202560 43 84743 0 0 0 0 374326 636 18 0 32 0 746737528 678866944 8046 33554432000 4194304 5683644 140734777296880 18446744073709551615 260917217713 0 0 16781312 2 18446604445607408832 0 0 -1 0 0 0 0
[pid=4321/tid=4366] ppid=4319 vsize=662956 CPUtime=3749.62 cores=0-7
/proc/4321/task/4366/stat : 4366 (python) S 4319 4321 4295 0 -1 4202560 55 84743 0 0 0 0 374326 636 15 0 32 0 746737531 678866944 8046 33554432000 4194304 5683644 140734777296880 18446744073709551615 260917217713 0 0 16781312 2 18446604445607408832 0 0 -1 6 0 0 0
[pid=4321/tid=4370] ppid=4319 vsize=662956 CPUtime=3749.62 cores=0-7
/proc/4321/task/4370/stat : 4370 (python) S 4319 4321 4295 0 -1 4202560 33 84743 0 0 0 0 374326 636 20 0 32 0 746737536 678866944 8046 33554432000 4194304 5683644 140734777296880 18446744073709551615 260917217713 0 0 16781312 2 18446604445607408832 0 0 -1 7 0 0 0
[pid=4321/tid=4375] ppid=4319 vsize=662956 CPUtime=3749.62 cores=0-7
/proc/4321/task/4375/stat : 4375 (python) S 4319 4321 4295 0 -1 4202560 39 84743 0 0 0 0 374326 636 18 0 32 0 746737540 678866944 8046 33554432000 4194304 5683644 140734777296880 18446744073709551615 260917217713 0 0 16781312 2 18446604445607408832 0 0 -1 1 0 0 0
[pid=4321/tid=4378] ppid=4319 vsize=662956 CPUtime=3749.62 cores=0-7
/proc/4321/task/4378/stat : 4378 (python) S 4319 4321 4295 0 -1 4202560 38 84743 0 0 0 0 374326 636 18 0 32 0 746737544 678866944 8046 33554432000 4194304 5683644 140734777296880 18446744073709551615 260917217713 0 0 16781312 2 18446604445607408832 0 0 -1 7 0 0 0
[pid=4321/tid=4381] ppid=4319 vsize=662956 CPUtime=3749.62 cores=0-7
/proc/4321/task/4381/stat : 4381 (python) S 4319 4321 4295 0 -1 4202560 33 84743 0 0 0 0 374326 636 22 0 32 0 746737549 678866944 8046 33554432000 4194304 5683644 140734777296880 18446744073709551615 260917217713 0 0 16781312 2 18446604445607408832 0 0 -1 1 0 0 0
[pid=4321/tid=4384] ppid=4319 vsize=662956 CPUtime=3749.62 cores=0-7
/proc/4321/task/4384/stat : 4384 (python) S 4319 4321 4295 0 -1 4202560 42 84743 0 0 0 0 374326 636 18 0 32 0 746737554 678866944 8046 33554432000 4194304 5683644 140734777296880 18446744073709551615 260917217713 0 0 16781312 2 18446604445607408832 0 0 -1 7 0 0 0
[pid=4321/tid=4391] ppid=4319 vsize=662956 CPUtime=3849.66 cores=0-7
/proc/4321/task/4391/stat : 4391 (python) S 4319 4321 4295 0 -1 4202560 42 87579 0 0 0 0 384310 656 18 0 32 0 746747559 678866944 8046 33554432000 4194304 5683644 140734777296880 18446744073709551615 260917217713 0 0 16781312 2 18446604445607408832 0 0 -1 7 0 0 0
[pid=4321/tid=4395] ppid=4319 vsize=662956 CPUtime=3849.66 cores=0-7
/proc/4321/task/4395/stat : 4395 (python) S 4319 4321 4295 0 -1 4202560 40 87579 0 0 0 0 384310 656 18 0 32 0 746747566 678866944 8046 33554432000 4194304 5683644 140734777296880 18446744073709551615 260917217713 0 0 16781312 2 18446604445607408832 0 0 -1 7 0 0 0
[pid=4321/tid=4415] ppid=4319 vsize=662956 CPUtime=3849.66 cores=0-7
/proc/4321/task/4415/stat : 4415 (python) S 4319 4321 4295 0 -1 4202560 45 87579 0 0 0 0 384310 656 20 0 32 0 746757736 678866944 8046 33554432000 4194304 5683644 140734777296880 18446744073709551615 260917217713 0 0 16781312 2 18446604445607408832 0 0 -1 6 0 0 0
[pid=4321/tid=4421] ppid=4319 vsize=662956 CPUtime=3849.66 cores=0-7
/proc/4321/task/4421/stat : 4421 (python) S 4319 4321 4295 0 -1 4202560 39 87579 0 0 0 0 384310 656 18 0 32 0 746767051 678866944 8046 33554432000 4194304 5683644 140734777296880 18446744073709551615 260917217713 0 0 16781312 2 18446604445607408832 0 0 -1 1 0 0 0
[pid=4321/tid=4424] ppid=4319 vsize=662956 CPUtime=3849.66 cores=0-7
/proc/4321/task/4424/stat : 4424 (python) S 4319 4321 4295 0 -1 4202560 41 87579 0 0 0 0 384310 656 18 0 32 0 746767138 678866944 8046 33554432000 4194304 5683644 140734777296880 18446744073709551615 260917217713 0 0 16781312 2 18446604445607408832 0 0 -1 6 0 0 0
[pid=4321/tid=4427] ppid=4319 vsize=662956 CPUtime=3849.66 cores=0-7
/proc/4321/task/4427/stat : 4427 (python) S 4319 4321 4295 0 -1 4202560 35 87579 0 0 0 0 384310 656 20 0 32 0 746767253 678866944 8046 33554432000 4194304 5683644 140734777296880 18446744073709551615 260917217713 0 0 16781312 2 18446604445607408832 0 0 -1 1 0 0 0
[pid=4321/tid=4435] ppid=4319 vsize=662956 CPUtime=3849.66 cores=0-7
/proc/4321/task/4435/stat : 4435 (python) S 4319 4321 4295 0 -1 4202560 37 87579 0 0 0 0 384310 656 19 0 32 0 746776884 678866944 8046 33554432000 4194304 5683644 140734777296880 18446744073709551615 260917217713 0 0 16781312 2 18446604445607408832 0 0 -1 3 0 0 0
[pid=4321/tid=4442] ppid=4319 vsize=662956 CPUtime=3849.66 cores=0-7
/proc/4321/task/4442/stat : 4442 (python) S 4319 4321 4295 0 -1 4202560 38 87579 0 0 0 0 384310 656 20 0 32 0 746786922 678866944 8046 33554432000 4194304 5683644 140734777296880 18446744073709551615 260917217713 0 0 16781312 2 18446604445607408832 0 0 -1 3 0 0 0
[pid=4321/tid=4449] ppid=4319 vsize=662956 CPUtime=3849.66 cores=0-7
/proc/4321/task/4449/stat : 4449 (python) S 4319 4321 4295 0 -1 4202560 38 87579 0 0 0 0 384310 656 18 0 32 0 746796662 678866944 8046 33554432000 4194304 5683644 140734777296880 18446744073709551615 260917217713 0 0 16781312 2 18446604445607408832 0 0 -1 6 0 0 0
[pid=4321/tid=4452] ppid=4319 vsize=662956 CPUtime=3849.66 cores=0-7
/proc/4321/task/4452/stat : 4452 (python) S 4319 4321 4295 0 -1 4202560 34 87579 0 0 0 0 384310 656 19 0 32 0 746796770 678866944 8046 33554432000 4194304 5683644 140734777296880 18446744073709551615 260917217713 0 0 16781312 2 18446604445607408832 0 0 -1 6 0 0 0
[pid=4321/tid=4455] ppid=4319 vsize=662956 CPUtime=3849.66 cores=0-7
/proc/4321/task/4455/stat : 4455 (python) S 4319 4321 4295 0 -1 4202560 32 87579 0 0 0 0 384310 656 20 0 32 0 746796875 678866944 8046 33554432000 4194304 5683644 140734777296880 18446744073709551615 260917217713 0 0 16781312 2 18446604445607408832 0 0 -1 1 0 0 0
[pid=4321/tid=4465] ppid=4319 vsize=662956 CPUtime=3849.66 cores=0-7
/proc/4321/task/4465/stat : 4465 (python) S 4319 4321 4295 0 -1 4202560 38 87579 0 0 0 0 384310 656 19 0 32 0 746816248 678866944 8046 33554432000 4194304 5683644 140734777296880 18446744073709551615 260917217713 0 0 16781312 2 18446604445607408832 0 0 -1 6 0 0 0
[pid=4321/tid=4472] ppid=4319 vsize=662956 CPUtime=3849.66 cores=0-7
/proc/4321/task/4472/stat : 4472 (python) S 4319 4321 4295 0 -1 4202560 37 87579 0 0 0 0 384310 656 20 0 32 0 746826192 678866944 8046 33554432000 4194304 5683644 140734777296880 18446744073709551615 260917217713 0 0 16781312 2 18446604445607408832 0 0 -1 1 0 0 0
[pid=4321/tid=4476] ppid=4319 vsize=662956 CPUtime=3849.66 cores=0-7
/proc/4321/task/4476/stat : 4476 (python) S 4319 4321 4295 0 -1 4202560 38 87579 0 0 0 0 384310 656 20 0 32 0 746826296 678866944 8046 33554432000 4194304 5683644 140734777296880 18446744073709551615 260917217713 0 0 16781312 2 18446604445607408832 0 0 -1 6 0 0 0
[pid=4321/tid=4479] ppid=4319 vsize=662956 CPUtime=3849.66 cores=0-7
/proc/4321/task/4479/stat : 4479 (python) S 4319 4321 4295 0 -1 4202560 33 87579 0 0 0 0 384310 656 20 0 32 0 746826889 678866944 8046 33554432000 4194304 5683644 140734777296880 18446744073709551615 260917217713 0 0 16781312 2 18446604445607408832 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 8542.72
Current children cumulated vsize (KiB) 12847208

Child status: 0
Real time (s): 1074.65
CPU time (s): 8543.22
CPU user time (s): 8528.33
CPU system time (s): 14.8887
CPU usage (%): 794.976
Max. virtual memory (cumulated for all children) (KiB): 30589848

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8528.33
system time used= 14.8887
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 181469
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= 15839
involuntary context switches= 55029

runsolver used 12.3171 second user time and 26.155 second system time

The end

Launcher Data 

Begin job on node116 at 2011-05-16 18:56:06
IDJOB=3385272
IDBENCH=82537
IDSOLVER=1870
FILE ID=node116/3385272-1305564966
RUNJOBID= node116-1305564965-4309
PBS_JOBID= 13350134
Free space on /tmp= 73040 MiB

SOLVER NAME= borg-sat 11.03.02-par-random (fixed)
BENCH NAME= SAT11/random/large/unif-k7-r85-v200-c17000-S181603592-089-UNKNOWN.cnf
COMMAND LINE= python DIR/solve DIR/etc/borg-mix+class.random.pickle BENCHNAME -seed RANDOMSEED -budget TIMEOUT -cores NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3385272-1305564966/watcher-3385272-1305564966 -o /tmp/evaluation-result-3385272-1305564966/solver-3385272-1305564966 -C 40000 -W 5100 -M 31000  python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3385272-1305564966.cnf -seed 134578843 -budget 40000 -cores 8

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

MD5SUM BENCH= af7b69f0071c372d5cdc250bc7f688e1
RANDOM SEED=134578843

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      20148548 kB
Buffers:        174908 kB
Cached:        2351324 kB
SwapCached:      12328 kB
Active:       11363784 kB
Inactive:      1199892 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      20148548 kB
SwapTotal:    67111528 kB
SwapFree:     65730892 kB
Dirty:           32252 kB
Writeback:           4 kB
AnonPages:    10036036 kB
Mapped:          19532 kB
Slab:           118216 kB
PageTables:      52260 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 113394384 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= 73008 MiB
End job on node116 at 2011-05-16 19:14:01