Trace number 3385769

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)UNSAT 10170.7 1763.05

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v500-c2130-S2061684506-048.UNKNOWN.cnf
MD5SUM96dadba6913c3cf46368b605f559e4b9
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1184.07
Satisfiable
(Un)Satisfiability was proved
Number of variables500
Number of clauses2130
Sum of the clauses size6390
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32130
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.38/0.62	c INFO: loaded portfolio from HOME/etc/borg-mix+class.random.pickle
0.38/0.62	c INFO: solving HOME/instance-3385769-1305573578.cnf
0.38/0.62	c INFO: computing task features
0.38/0.63	c INFO: computed variable-clause graph statistics
0.38/0.63	c INFO: computed clause balance statistics
0.38/0.67	c INFO: computed variable balance statistics
0.38/0.69	c INFO: computed small-clause counts
0.38/0.69	c INFO: computed Horn-clause counts
0.47/0.70	c INFO: computed variable graph statistics
0.47/0.70	c INFO: collected features for HOME/instance-3385769-1305573578.cnf in 0.08 s
0.47/0.73	c INFO: running gnovelty+2@0 for 97 with 4999 remaining (b = 0.57)
0.47/0.76	c INFO: running march_hi@0 for 388 with 4999 remaining (b = 0.34)
0.47/0.79	c INFO: running march_hi@0 for 388 with 4999 remaining (b = 0.30)
0.57/0.82	c INFO: running march_hi@0 for 97 with 4999 remaining (b = 0.09)
0.57/0.86	c INFO: running gnovelty+2@0 for 97 with 4999 remaining (b = 0.07)
0.57/0.89	c INFO: running march_hi@0 for 485 with 4999 remaining (b = 0.26)
0.66/0.92	c INFO: running march_hi@0 for 485 with 4999 remaining (b = 0.23)
0.66/0.96	c INFO: running march_hi@0 for 485 with 4999 remaining (b = 0.21)
654.35/102.79	c INFO: running march_hi@0 for 291 with 4897 remaining (b = 0.15)
850.16/135.41	c INFO: running kcnfs-2006@0 for 582 with 4865 remaining (b = 0.23)
968.67/155.29	c INFO: running march_hi@0 for 485 with 4845 remaining (b = 0.17)
2709.64/457.25	c INFO: running march_hi@0 for 97 with 4543 remaining (b = 0.04)
3018.91/512.52	c INFO: running march_hi@0 for 97 with 4488 remaining (b = 0.04)
3099.61/525.98	c INFO: running march_hi@0 for 97 with 4474 remaining (b = 0.05)
3336.52/562.96	c INFO: running march_hi@99 for 97 with 4437 remaining (b = 0.06)
3643.51/614.20	c INFO: running march_hi@393 for 97 with 4386 remaining (b = 0.07)
3662.06/617.31	c INFO: running march_hi@486 for 194 with 4383 remaining (b = 0.10)
3794.30/639.45	c INFO: running march_hi@287 for 194 with 4361 remaining (b = 0.10)
4088.01/692.65	c INFO: running march_hi@101 for 291 with 4307 remaining (b = 0.10)
4133.28/700.88	c INFO: running march_hi@197 for 194 with 4299 remaining (b = 0.08)
4359.58/741.83	c INFO: running kcnfs-2006@0 for 97 with 4258 remaining (b = 0.03)
4430.37/755.94	c INFO: running march_hi@0 for 291 with 4244 remaining (b = 0.09)
4680.25/798.45	c INFO: running march_hi@389 for 97 with 4202 remaining (b = 0.04)
4975.33/847.76	c INFO: running march_hi@492 for 194 with 4152 remaining (b = 0.07)
5475.35/937.90	c INFO: running march_hi@581 for 97 with 4062 remaining (b = 0.03)
5480.44/938.81	c INFO: running march_hi@686 for 1455 with 4061 remaining (b = 0.49)
5611.36/962.72	c INFO: running kcnfs-2006@96 for 485 with 4037 remaining (b = 0.17)
5789.66/993.74	c INFO: running march_hi@584 for 97 with 4006 remaining (b = 0.04)
6100.16/1045.60	c INFO: running march_hi@200 for 194 with 3955 remaining (b = 0.09)
6148.19/1053.02	c INFO: running kcnfs-2006@0 for 582 with 3947 remaining (b = 0.18)
6187.23/1059.56	c INFO: running kcnfs-2006@99 for 485 with 3941 remaining (b = 0.16)
6524.03/1121.11	c INFO: running march_hi@875 for 1261 with 3879 remaining (b = 0.41)
6593.16/1134.95	c INFO: running march_hi@0 for 388 with 3865 remaining (b = 0.13)
6941.14/1194.72	c INFO: running adaptg2wsat2009++@0 for 97 with 3805 remaining (b = 0.03)
7355.47/1268.48	c INFO: running march_hi@295 for 97 with 3732 remaining (b = 0.05)
7953.99/1377.40	c INFO: running march_hi@773 for 1455 with 3623 remaining (b = 0.40)
8105.86/1407.65	c INFO: running march_hi@394 for 97 with 3592 remaining (b = 0.03)
8886.98/1541.11	c INFO: running march_hi@0 for 388 with 3459 remaining (b = 0.12)
9479.07/1641.74	c INFO: running march_hi@287 for 97 with 3358 remaining (b = 0.04)
9917.79/1718.36	c INFO: running kcnfs-2006@193 for 485 with 3282 remaining (b = 0.15)
10087.18/1749.12	c INFO: running kcnfs-2006@0 for 582 with 3251 remaining (b = 0.15)
10163.70/1761.95	c INFO: running kcnfs-2006@194 for 388 with 3238 remaining (b = 0.12)
10170.38/1763.03	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

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-3385769-1305573578/watcher-3385769-1305573578 -o /tmp/evaluation-result-3385769-1305573578/solver-3385769-1305573578 -C 40000 -W 5100 -M 31000 python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3385769-1305573578.cnf -seed 1827624209 -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: 11.21 11.11 10.97 5/457 32260
/proc/meminfo: memFree=22394124/32951124 swapFree=46575272/67111528
[pid=32260] ppid=32258 vsize=16248 CPUtime=0.01 cores=0-7
/proc/32260/stat : 32260 (python) R 32258 32260 30681 0 -1 4202496 1063 0 0 0 1 0 0 0 25 0 1 0 401549055 16637952 935 33554432000 4194304 5683644 140735392081568 18446744073709551615 268660662016 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/32260/statm: 4062 935 381 364 0 549 0

[startup+0.058883 s]
/proc/loadavg: 11.21 11.11 10.97 5/457 32260
/proc/meminfo: memFree=22394124/32951124 swapFree=46575272/67111528
[pid=32260] ppid=32258 vsize=29792 CPUtime=0.03 cores=0-7
/proc/32260/stat : 32260 (python) R 32258 32260 30681 0 -1 4202496 1455 0 0 0 3 0 0 0 25 0 1 0 401549055 30507008 1296 33554432000 4194304 5683644 140735392081568 18446744073709551615 268660660224 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/32260/statm: 7448 1296 443 364 0 818 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 29792

[startup+0.100873 s]
/proc/loadavg: 11.21 11.11 10.97 5/457 32260
/proc/meminfo: memFree=22394124/32951124 swapFree=46575272/67111528
[pid=32260] ppid=32258 vsize=93964 CPUtime=0.06 cores=0-7
/proc/32260/stat : 32260 (python) S 32258 32260 30681 0 -1 4202496 2696 0 0 0 5 1 0 0 17 0 1 0 401549055 96219136 2407 33554432000 4194304 5683644 140735392081568 18446744073709551615 268660660224 0 2147483391 16781312 2 18446744071699199166 0 0 17 2 0 0 0
/proc/32260/statm: 23491 2407 764 364 0 1623 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 93964

[startup+0.30084 s]
/proc/loadavg: 11.21 11.11 10.97 5/457 32260
/proc/meminfo: memFree=22394124/32951124 swapFree=46575272/67111528
[pid=32260] ppid=32258 vsize=135752 CPUtime=0.19 cores=0-7
/proc/32260/stat : 32260 (python) R 32258 32260 30681 0 -1 4202496 5967 935 1 0 13 6 0 0 18 0 1 0 401549055 139010048 4151 33554432000 4194304 5683644 140735392081568 18446744073709551615 4620076 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/32260/statm: 33938 4151 1032 364 0 3124 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 135752

[startup+0.700767 s]
/proc/loadavg: 11.21 11.11 10.97 5/457 32260
/proc/meminfo: memFree=22394124/32951124 swapFree=46575272/67111528
[pid=32260] ppid=32258 vsize=278304 CPUtime=0.47 cores=0-7
/proc/32260/stat : 32260 (python) R 32258 32260 30681 0 -1 4202496 9331 935 1 0 36 11 0 0 17 0 1 0 401549055 284983296 6999 33554432000 4194304 5683644 140735392081568 18446744073709551615 47876016265737 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/32260/statm: 69576 6999 1833 364 0 5500 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 278304

[startup+1.50159 s]
/proc/loadavg: 11.21 11.11 10.97 14/482 32289
/proc/meminfo: memFree=22335768/32951124 swapFree=46575272/67111528
[pid=32260] ppid=32258 vsize=361292 CPUtime=0.72 cores=0-7
/proc/32260/stat : 32260 (python) S 32258 32260 30681 0 -1 4202496 15796 935 1 0 59 13 0 0 25 0 9 0 401549055 369963008 7304 33554432000 4194304 5683644 140735392081568 18446744073709551615 268672488907 0 0 16781312 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32260/statm: 90323 7304 1889 364 0 26220 0
[pid=32266] ppid=32260 vsize=278652 CPUtime=0 cores=0-7
/proc/32266/stat : 32266 (python) S 32260 32260 30681 0 -1 4202560 740 0 0 0 0 0 0 0 18 0 1 0 401549129 285339648 5576 33554432000 4194304 5683644 140735392081568 18446744073709551615 268660682255 0 0 16781312 514 11771108158229970943 0 0 17 4 0 0 0
/proc/32266/statm: 69663 5576 354 364 0 5581 0
[pid=32268] ppid=32266 vsize=1017800 CPUtime=0.52 cores=0-7
/proc/32268/stat : 32268 (gnovelty+2) R 32266 32268 32268 0 -1 4202496 442 0 0 0 52 0 0 0 20 0 1 0 401549129 1042227200 178 33554432000 134512640 135663704 4287917712 18446744073709551615 134547236 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/32268/statm: 254450 178 113 282 0 254166 0
[pid=32269] ppid=32260 vsize=289376 CPUtime=0 cores=0-7
/proc/32269/stat : 32269 (python) S 32260 32260 30681 0 -1 4202560 749 0 0 0 0 0 0 0 16 0 1 0 401549132 296321024 5701 33554432000 4194304 5683644 140735392081568 18446744073709551615 268660682310 0 0 16781312 514 4912142968174903555 0 0 17 5 0 0 0
/proc/32269/statm: 72344 5701 348 364 0 8259 0
[pid=32271] ppid=32269 vsize=2436 CPUtime=0.72 cores=0-7
/proc/32271/stat : 32271 (march_hi) R 32269 32271 32271 0 -1 4202496 662 0 0 0 72 0 0 0 25 0 1 0 401549132 2494464 398 33554432000 4194304 4955518 140735466038720 18446744073709551615 4227502 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/32271/statm: 609 398 104 186 0 422 0
[pid=32272] ppid=32260 vsize=299160 CPUtime=0 cores=0-7
/proc/32272/stat : 32272 (python) S 32260 32260 30681 0 -1 4202560 758 0 0 0 0 0 0 0 15 0 1 0 401549135 306339840 5602 33554432000 4194304 5683644 140735392081568 18446744073709551615 268660682310 0 0 16781312 514 7970104707345514753 0 0 17 4 0 0 0
/proc/32272/statm: 74790 5602 348 364 0 10702 0
[pid=32274] ppid=32272 vsize=2436 CPUtime=0.67 cores=0-7
/proc/32274/stat : 32274 (march_hi) R 32272 32274 32274 0 -1 4202496 663 0 0 0 67 0 0 0 22 0 1 0 401549135 2494464 397 33554432000 4194304 4955518 140734303233200 18446744073709551615 4224687 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/32274/statm: 609 397 104 186 0 422 0
[pid=32275] ppid=32260 vsize=310024 CPUtime=0 cores=0-7
/proc/32275/stat : 32275 (python) S 32260 32260 30681 0 -1 4202560 762 0 0 0 0 0 0 0 18 0 1 0 401549138 317464576 5726 33554432000 4194304 5683644 140735392081568 18446744073709551615 268660682310 0 0 16781312 514 12463575633600938244 0 0 17 0 0 0 0
/proc/32275/statm: 77506 5726 348 364 0 13415 0
[pid=32277] ppid=32275 vsize=2436 CPUtime=0.66 cores=0-7
/proc/32277/stat : 32277 (march_hi) R 32275 32277 32277 0 -1 4202496 659 0 0 0 66 0 0 0 25 0 1 0 401549139 2494464 396 33554432000 4194304 4955518 140734768596416 18446744073709551615 4224648 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/32277/statm: 609 396 104 186 0 422 0
[pid=32278] ppid=32260 vsize=320280 CPUtime=0 cores=0-7
/proc/32278/stat : 32278 (python) S 32260 32260 30681 0 -1 4202560 752 0 0 0 0 0 0 0 23 0 1 0 401549142 327966720 5730 33554432000 4194304 5683644 140735392081568 18446744073709551615 268660682310 0 0 16781312 514 4438407388231368703 0 0 17 2 0 0 0
/proc/32278/statm: 80070 5730 348 364 0 15976 0
[pid=32280] ppid=32278 vsize=1017800 CPUtime=0.32 cores=0-7
/proc/32280/stat : 32280 (gnovelty+2) R 32278 32280 32280 0 -1 4202496 442 0 0 0 32 0 0 0 25 0 1 0 401549144 1042227200 177 33554432000 134512640 135663704 4291967840 18446744073709551615 134525506 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/32280/statm: 254450 177 113 282 0 254166 0
[pid=32281] ppid=32260 vsize=329928 CPUtime=0 cores=0-7
/proc/32281/stat : 32281 (python) S 32260 32260 30681 0 -1 4202560 770 0 0 0 0 0 0 0 23 0 1 0 401549145 337846272 5614 33554432000 4194304 5683644 140735392081568 18446744073709551615 268660682310 0 0 16781312 514 14473188220059222275 0 0 17 4 0 0 0
/proc/32281/statm: 82482 5614 348 364 0 18385 0
[pid=32283] ppid=32281 vsize=2436 CPUtime=0.55 cores=0-7
/proc/32283/stat : 32283 (march_hi) R 32281 32283 32283 0 -1 4202496 663 0 0 0 55 0 0 0 25 0 1 0 401549147 2494464 392 33554432000 4194304 4955518 140735968263488 18446744073709551615 4224642 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/32283/statm: 609 392 104 186 0 422 0
[pid=32284] ppid=32260 vsize=340792 CPUtime=0 cores=0-7
/proc/32284/stat : 32284 (python) S 32260 32260 30681 0 -1 4202560 776 0 0 0 0 0 0 0 22 0 1 0 401549148 348971008 5738 33554432000 4194304 5683644 140735392081568 18446744073709551615 268660682310 0 0 16781312 514 10208640012753273091 0 0 17 5 0 0 0
/proc/32284/statm: 85198 5738 348 364 0 21098 0
[pid=32289] ppid=32284 vsize=2168 CPUtime=0.22 cores=0-7
/proc/32289/stat : 32289 (march_hi) R 32284 32289 32289 0 -1 4202496 620 0 0 0 22 0 0 0 25 0 1 0 401549154 2220032 353 33554432000 4194304 4955518 140735428318496 18446744073709551615 4227910 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/32289/statm: 542 353 104 186 0 355 0
[pid=32286] ppid=32260 vsize=351048 CPUtime=0 cores=0-7
/proc/32286/stat : 32286 (python) S 32260 32260 30681 0 -1 4202560 803 0 0 0 0 0 0 0 23 0 1 0 401549152 359473152 5765 33554432000 4194304 5683644 140735392081568 18446744073709551615 268660682310 0 0 16781312 514 439197724986802434 0 0 17 2 0 0 0
/proc/32286/statm: 87762 5765 354 364 0 23659 0
[pid=32288] ppid=32286 vsize=2168 CPUtime=0.22 cores=0-7
/proc/32288/stat : 32288 (march_hi) R 32286 32288 32288 0 -1 4202496 625 0 0 0 22 0 0 0 25 0 1 0 401549152 2220032 353 33554432000 4194304 4955518 140736141801296 18446744073709551615 4238717 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/32288/statm: 542 353 104 186 0 355 0
[pid=32260/tid=32267] ppid=32258 vsize=361292 CPUtime=0 cores=0-7
/proc/32260/task/32267/stat : 32267 (python) S 32258 32260 30681 0 -1 4202560 27 935 0 0 0 0 0 0 19 0 9 0 401549129 369963008 7304 33554432000 4194304 5683644 140735392081568 18446744073709551615 268672485809 0 0 16781312 2 18446604449388696512 0 0 -1 4 0 0 0
[pid=32260/tid=32270] ppid=32258 vsize=361292 CPUtime=0 cores=0-7
/proc/32260/task/32270/stat : 32270 (python) S 32258 32260 30681 0 -1 4202560 24 935 0 0 0 0 0 0 21 0 9 0 401549132 369963008 7304 33554432000 4194304 5683644 140735392081568 18446744073709551615 268672485809 0 0 16781312 2 18446604449388696512 0 0 -1 4 0 0 0
[pid=32260/tid=32273] ppid=32258 vsize=361292 CPUtime=0 cores=0-7
/proc/32260/task/32273/stat : 32273 (python) S 32258 32260 30681 0 -1 4202560 19 935 0 0 0 0 0 0 20 0 9 0 401549135 369963008 7304 33554432000 4194304 5683644 140735392081568 18446744073709551615 268672485809 0 0 16781312 2 18446604449388696512 0 0 -1 2 0 0 0
[pid=32260/tid=32276] ppid=32258 vsize=361292 CPUtime=0 cores=0-7
/proc/32260/task/32276/stat : 32276 (python) S 32258 32260 30681 0 -1 4202560 24 935 0 0 0 0 0 0 22 0 9 0 401549139 369963008 7304 33554432000 4194304 5683644 140735392081568 18446744073709551615 268672485809 0 0 16781312 2 18446604449388696512 0 0 -1 0 0 0 0
[pid=32260/tid=32279] ppid=32258 vsize=361292 CPUtime=0 cores=0-7
/proc/32260/task/32279/stat : 32279 (python) S 32258 32260 30681 0 -1 4202560 23 935 0 0 0 0 0 0 24 0 9 0 401549142 369963008 7304 33554432000 4194304 5683644 140735392081568 18446744073709551615 268672485809 0 0 16781312 2 18446604449388696512 0 0 -1 2 0 0 0
[pid=32260/tid=32282] ppid=32258 vsize=361292 CPUtime=0 cores=0-7
/proc/32260/task/32282/stat : 32282 (python) S 32258 32260 30681 0 -1 4202560 25 935 0 0 0 0 0 0 25 0 9 0 401549145 369963008 7304 33554432000 4194304 5683644 140735392081568 18446744073709551615 268672485809 0 0 16781312 2 18446604449388696512 0 0 -1 2 0 0 0
[pid=32260/tid=32285] ppid=32258 vsize=361292 CPUtime=0 cores=0-7
/proc/32260/task/32285/stat : 32285 (python) S 32258 32260 30681 0 -1 4202560 25 935 0 0 0 0 0 0 25 0 9 0 401549149 369963008 7304 33554432000 4194304 5683644 140735392081568 18446744073709551615 268672485809 0 0 16781312 2 18446604449388696512 0 0 -1 2 0 0 0
[pid=32260/tid=32287] ppid=32258 vsize=361292 CPUtime=0 cores=0-7
/proc/32260/task/32287/stat : 32287 (python) S 32258 32260 30681 0 -1 4202560 30 935 0 0 0 0 0 0 25 0 9 0 401549152 369963008 7304 33554432000 4194304 5683644 140735392081568 18446744073709551615 268672485809 0 0 16781312 2 18446604449388696512 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.6
Current children cumulated vsize (KiB) 4930232

[startup+3.10131 s]
/proc/loadavg: 11.19 11.11 10.97 12/482 32289
/proc/meminfo: memFree=22332792/32951124 swapFree=46575272/67111528
[pid=32260] ppid=32258 vsize=361292 CPUtime=0.72 cores=0-7
/proc/32260/stat : 32260 (python) S 32258 32260 30681 0 -1 4202496 15796 935 1 0 59 13 0 0 25 0 9 0 401549055 369963008 7304 33554432000 4194304 5683644 140735392081568 18446744073709551615 268672488907 0 0 16781312 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32260/statm: 90323 7304 1889 364 0 26220 0
[pid=32266] ppid=32260 vsize=278652 CPUtime=0 cores=0-7
/proc/32266/stat : 32266 (python) S 32260 32260 30681 0 -1 4202560 740 0 0 0 0 0 0 0 18 0 1 0 401549129 285339648 5576 33554432000 4194304 5683644 140735392081568 18446744073709551615 268660682255 0 0 16781312 514 11771108158229938434 0 0 17 4 0 0 0
/proc/32266/statm: 69663 5576 354 364 0 5581 0
[pid=32268] ppid=32266 vsize=1017800 CPUtime=1.3 cores=0-7
/proc/32268/stat : 32268 (gnovelty+2) R 32266 32268 32268 0 -1 4202496 442 0 0 0 130 0 0 0 22 0 1 0 401549129 1042227200 178 33554432000 134512640 135663704 4287917712 18446744073709551615 134524498 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/32268/statm: 254450 178 113 282 0 254166 0
[pid=32269] ppid=32260 vsize=289376 CPUtime=0 cores=0-7
/proc/32269/stat : 32269 (python) S 32260 32260 30681 0 -1 4202560 761 0 0 0 0 0 0 0 15 0 1 0 401549132 296321024 5701 33554432000 4194304 5683644 140735392081568 18446744073709551615 268660682310 0 0 16781312 514 4912142968174903555 0 0 17 5 0 0 0
/proc/32269/statm: 72344 5701 348 364 0 8259 0
[pid=32271] ppid=32269 vsize=2756 CPUtime=2.32 cores=0-7
/proc/32271/stat : 32271 (march_hi) R 32269 32271 32271 0 -1 4202496 738 0 0 0 232 0 0 0 25 0 1 0 401549132 2822144 474 33554432000 4194304 4955518 140735466038720 18446744073709551615 4209669 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/32271/statm: 689 474 104 186 0 502 0
[pid=32272] ppid=32260 vsize=299160 CPUtime=0 cores=0-7
/proc/32272/stat : 32272 (python) S 32260 32260 30681 0 -1 4202560 760 0 0 0 0 0 0 0 15 0 1 0 401549135 306339840 5602 33554432000 4194304 5683644 140735392081568 18446744073709551615 268660682310 0 0 16781312 514 7970104707345514753 0 0 17 4 0 0 0
/proc/32272/statm: 74790 5602 348 364 0 10702 0
[pid=32274] ppid=32272 vsize=2756 CPUtime=2.27 cores=0-7
/proc/32274/stat : 32274 (march_hi) R 32272 32274 32274 0 -1 4202496 739 0 0 0 227 0 0 0 25 0 1 0 401549135 2822144 473 33554432000 4194304 4955518 140734303233200 18446744073709551615 4238968 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/32274/statm: 689 473 104 186 0 502 0
[pid=32275] ppid=32260 vsize=310024 CPUtime=0 cores=0-7
/proc/32275/stat : 32275 (python) S 32260 32260 30681 0 -1 4202560 764 0 0 0 0 0 0 0 15 0 1 0 401549138 317464576 5726 33554432000 4194304 5683644 140735392081568 18446744073709551615 268660682310 0 0 16781312 514 12463575633600938244 0 0 17 0 0 0 0
/proc/32275/statm: 77506 5726 348 364 0 13415 0
[pid=32277] ppid=32275 vsize=2756 CPUtime=2.26 cores=0-7
/proc/32277/stat : 32277 (march_hi) R 32275 32277 32277 0 -1 4202496 736 0 0 0 226 0 0 0 25 0 1 0 401549139 2822144 473 33554432000 4194304 4955518 140734768596416 18446744073709551615 4209717 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/32277/statm: 689 473 104 186 0 502 0
[pid=32278] ppid=32260 vsize=320280 CPUtime=0 cores=0-7
/proc/32278/stat : 32278 (python) S 32260 32260 30681 0 -1 4202560 752 0 0 0 0 0 0 0 18 0 1 0 401549142 327966720 5730 33554432000 4194304 5683644 140735392081568 18446744073709551615 268660682310 0 0 16781312 514 4438407388231336195 0 0 17 2 0 0 0
/proc/32278/statm: 80070 5730 348 364 0 15976 0
[pid=32280] ppid=32278 vsize=1017800 CPUtime=1.12 cores=0-7
/proc/32280/stat : 32280 (gnovelty+2) R 32278 32280 32280 0 -1 4202496 442 0 0 0 112 0 0 0 25 0 1 0 401549144 1042227200 177 33554432000 134512640 135663704 4291967840 18446744073709551615 134545607 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/32280/statm: 254450 177 113 282 0 254166 0
[pid=32281] ppid=32260 vsize=329928 CPUtime=0 cores=0-7
/proc/32281/stat : 32281 (python) S 32260 32260 30681 0 -1 4202560 771 0 0 0 0 0 0 0 15 0 1 0 401549145 337846272 5614 33554432000 4194304 5683644 140735392081568 18446744073709551615 268660682310 0 0 16781312 514 14473188220059222275 0 0 17 4 0 0 0
/proc/32281/statm: 82482 5614 348 364 0 18385 0
[pid=32283] ppid=32281 vsize=2756 CPUtime=2.15 cores=0-7
/proc/32283/stat : 32283 (march_hi) R 32281 32283 32283 0 -1 4202496 738 0 0 0 215 0 0 0 25 0 1 0 401549147 2822144 467 33554432000 4194304 4955518 140735968263488 18446744073709551615 4227837 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/32283/statm: 689 467 104 186 0 502 0
[pid=32284] ppid=32260 vsize=340792 CPUtime=0 cores=0-7
/proc/32284/stat : 32284 (python) S 32260 32260 30681 0 -1 4202560 777 0 0 0 0 0 0 0 15 0 1 0 401549148 348971008 5738 33554432000 4194304 5683644 140735392081568 18446744073709551615 268660682310 0 0 16781312 514 10208640012753273091 0 0 17 5 0 0 0
/proc/32284/statm: 85198 5738 348 364 0 21098 0
[pid=32289] ppid=32284 vsize=2504 CPUtime=1.01 cores=0-7
/proc/32289/stat : 32289 (march_hi) R 32284 32289 32289 0 -1 4202496 676 0 0 0 101 0 0 0 25 0 1 0 401549154 2564096 409 33554432000 4194304 4955518 140735428318496 18446744073709551615 4245253 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/32289/statm: 626 409 104 186 0 439 0
[pid=32286] ppid=32260 vsize=351048 CPUtime=0 cores=0-7
/proc/32286/stat : 32286 (python) S 32260 32260 30681 0 -1 4202560 810 0 0 0 0 0 0 0 15 0 1 0 401549152 359473152 5765 33554432000 4194304 5683644 140735392081568 18446744073709551615 268660682310 0 0 16781312 514 439197724986802434 0 0 17 2 0 0 0
/proc/32286/statm: 87762 5765 354 364 0 23659 0
[pid=32288] ppid=32286 vsize=2504 CPUtime=1.02 cores=0-7
/proc/32288/stat : 32288 (march_hi) R 32286 32288 32288 0 -1 4202496 682 0 0 0 102 0 0 0 25 0 1 0 401549152 2564096 410 33554432000 4194304 4955518 140736141801296 18446744073709551615 4228194 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/32288/statm: 626 410 104 186 0 439 0
[pid=32260/tid=32267] ppid=32258 vsize=361292 CPUtime=0 cores=0-7
/proc/32260/task/32267/stat : 32267 (python) S 32258 32260 30681 0 -1 4202560 27 935 0 0 0 0 0 0 19 0 9 0 401549129 369963008 7304 33554432000 4194304 5683644 140735392081568 18446744073709551615 268672485809 0 0 16781312 2 18446604449388696512 0 0 -1 4 0 0 0
[pid=32260/tid=32270] ppid=32258 vsize=361292 CPUtime=0 cores=0-7
/proc/32260/task/32270/stat : 32270 (python) S 32258 32260 30681 0 -1 4202560 24 935 0 0 0 0 0 0 21 0 9 0 401549132 369963008 7304 33554432000 4194304 5683644 140735392081568 18446744073709551615 268672485809 0 0 16781312 2 18446604449388696512 0 0 -1 4 0 0 0
[pid=32260/tid=32273] ppid=32258 vsize=361292 CPUtime=0 cores=0-7
/proc/32260/task/32273/stat : 32273 (python) S 32258 32260 30681 0 -1 4202560 19 935 0 0 0 0 0 0 20 0 9 0 401549135 369963008 7304 33554432000 4194304 5683644 140735392081568 18446744073709551615 268672485809 0 0 16781312 2 18446604449388696512 0 0 -1 2 0 0 0
[pid=32260/tid=32276] ppid=32258 vsize=361292 CPUtime=0 cores=0-7
/proc/32260/task/32276/stat : 32276 (python) S 32258 32260 30681 0 -1 4202560 24 935 0 0 0 0 0 0 22 0 9 0 401549139 369963008 7304 33554432000 4194304 5683644 140735392081568 18446744073709551615 268672485809 0 0 16781312 2 18446604449388696512 0 0 -1 0 0 0 0
[pid=32260/tid=32279] ppid=32258 vsize=361292 CPUtime=0 cores=0-7

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

[pid=32337] ppid=32260 vsize=392292 CPUtime=2.47 cores=0-7
/proc/32337/stat : 32337 (python) S 32260 32260 30681 0 -1 4202560 1031 0 0 0 134 113 0 0 18 0 1 0 401654358 401707008 5861 33554432000 4194304 5683644 140735392081568 18446744073709551615 268660682310 0 0 16781312 514 681556471732732166 0 0 17 0 0 0 0
/proc/32337/statm: 98073 5861 371 364 0 33958 0
[pid=32339] ppid=32337 vsize=182448 CPUtime=544.21 cores=0-7
/proc/32339/stat : 32339 (kcnfs-2006) R 32337 32339 32339 0 -1 4202496 599 0 0 0 54419 2 0 0 25 0 1 0 401654359 186826752 332 33554432000 134512640 135163436 4293634688 18446744073709551615 134564704 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/32339/statm: 45612 332 77 159 0 45452 0
[pid=32343] ppid=32260 vsize=468236 CPUtime=2.31 cores=0-7
/proc/32343/stat : 32343 (python) S 32260 32260 30681 0 -1 4202560 1233 0 0 0 121 110 0 0 15 0 2 0 401662551 479473664 5917 33554432000 4194304 5683644 140735392081568 18446744073709551615 268672488907 0 0 16781312 514 18446744073709551615 0 0 17 2 0 0 0
/proc/32343/statm: 117059 5917 400 364 0 52941 0
[pid=32345] ppid=32343 vsize=90200 CPUtime=487.44 cores=0-7
/proc/32345/stat : 32345 (march_hi) T 32343 32345 32345 0 -1 4202496 16051 0 0 0 48741 3 0 0 25 0 1 0 401662551 92364800 15776 33554432000 4194304 4955518 140736949308912 18446744073709551615 4209717 0 0 16781312 0 18446744071562691360 0 0 17 2 0 0 0
/proc/32345/statm: 22550 15776 104 186 0 22363 0
[pid=32343/tid=32367] ppid=32260 vsize=468236 CPUtime=0 cores=0-7
/proc/32343/task/32367/stat : 32367 (python) S 32260 32260 30681 0 -1 4202560 45 0 0 0 0 0 0 0 15 0 2 0 401713227 479473664 5917 33554432000 4194304 5683644 140735392081568 18446744073709551615 268672485809 0 0 16781312 514 18446604469118235840 0 0 -1 1 0 0 0
[pid=32348] ppid=32260 vsize=478492 CPUtime=0.64 cores=0-7
/proc/32348/stat : 32348 (python) S 32260 32260 30681 0 -1 4202560 1204 0 0 0 35 29 0 0 19 0 2 0 401668528 489975808 5914 33554432000 4194304 5683644 140735392081568 18446744073709551615 268672488907 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/32348/statm: 119623 5914 400 364 0 55502 0
[pid=32350] ppid=32348 vsize=416128 CPUtime=98.29 cores=0-7
/proc/32350/stat : 32350 (adaptg2wsat2009) T 32348 32350 32350 0 -1 4202496 468 0 0 0 9829 0 0 0 25 0 1 0 401668528 426115072 192 33554432000 134512640 135107411 4294202128 18446744073709551615 134531215 0 0 16781312 0 18446744071562691360 0 0 17 4 0 0 0
/proc/32350/statm: 104032 192 59 146 0 102908 0
[pid=32348/tid=32356] ppid=32260 vsize=478492 CPUtime=0 cores=0-7
/proc/32348/task/32356/stat : 32356 (python) S 32260 32260 30681 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 401686793 489975808 5914 33554432000 4194304 5683644 140735392081568 18446744073709551615 268672485809 0 0 16781312 514 18446604469118236736 0 0 -1 0 0 0 0
[pid=32361] ppid=32260 vsize=488748 CPUtime=0.86 cores=0-7
/proc/32361/stat : 32361 (python) S 32260 32260 30681 0 -1 4202560 974 0 0 0 46 40 0 0 15 0 1 0 401703167 500477952 6085 33554432000 4194304 5683644 140735392081568 18446744073709551615 268660682310 0 0 16781312 514 18446744073709519110 0 0 17 3 0 0 0
/proc/32361/statm: 122187 6085 380 364 0 58063 0
[pid=32363] ppid=32361 vsize=27072 CPUtime=158.28 cores=0-7
/proc/32363/stat : 32363 (march_hi) R 32361 32363 32363 0 -1 4202496 6158 0 0 0 15826 2 0 0 25 0 1 0 401703168 27721728 5888 33554432000 4194304 4955518 140734429079760 18446744073709551615 4209733 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/32363/statm: 6768 5888 104 186 0 6581 0
[pid=32370] ppid=32260 vsize=499004 CPUtime=0.03 cores=0-7
/proc/32370/stat : 32370 (python) S 32260 32260 30681 0 -1 4202560 919 0 0 0 2 1 0 0 18 0 1 0 401723968 510980096 6088 33554432000 4194304 5683644 140735392081568 18446744073709551615 268660682310 0 0 16781312 514 18446744073709519110 0 0 17 2 0 0 0
/proc/32370/statm: 124751 6088 379 364 0 60624 0
[pid=32372] ppid=32370 vsize=182452 CPUtime=11.66 cores=0-7
/proc/32372/stat : 32372 (kcnfs-2006) R 32370 32372 32372 0 -1 4202496 599 0 0 0 1166 0 0 0 25 0 1 0 401723968 186830848 330 33554432000 134512640 135163436 4289553984 18446744073709551615 134595811 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/32372/statm: 45613 330 77 159 0 45453 0
[pid=32260/tid=32267] ppid=32258 vsize=509248 CPUtime=0 cores=0-7
/proc/32260/task/32267/stat : 32267 (python) S 32258 32260 30681 0 -1 4202560 27 935 0 0 0 0 0 0 19 0 17 0 401549129 521469952 7619 33554432000 4194304 5683644 140735392081568 18446744073709551615 268672485809 0 0 16781312 2 18446604449388696512 0 0 -1 4 0 0 0
[pid=32260/tid=32270] ppid=32258 vsize=509248 CPUtime=0 cores=0-7
/proc/32260/task/32270/stat : 32270 (python) S 32258 32260 30681 0 -1 4202560 33 935 0 0 0 0 0 0 18 0 17 0 401549132 521469952 7619 33554432000 4194304 5683644 140735392081568 18446744073709551615 268672485809 0 0 16781312 2 18446604449388696512 0 0 -1 7 0 0 0
[pid=32260/tid=32273] ppid=32258 vsize=509248 CPUtime=0 cores=0-7
/proc/32260/task/32273/stat : 32273 (python) S 32258 32260 30681 0 -1 4202560 26 935 0 0 0 0 0 0 18 0 17 0 401549135 521469952 7619 33554432000 4194304 5683644 140735392081568 18446744073709551615 268672485809 0 0 16781312 2 18446604449388696512 0 0 -1 2 0 0 0
[pid=32260/tid=32276] ppid=32258 vsize=509248 CPUtime=0 cores=0-7
/proc/32260/task/32276/stat : 32276 (python) S 32258 32260 30681 0 -1 4202560 39 935 0 0 0 0 0 0 18 0 17 0 401549139 521469952 7619 33554432000 4194304 5683644 140735392081568 18446744073709551615 268672485809 0 0 16781312 2 18446604449388696512 0 0 -1 0 0 0 0
[pid=32260/tid=32279] ppid=32258 vsize=509248 CPUtime=0 cores=0-7
/proc/32260/task/32279/stat : 32279 (python) S 32258 32260 30681 0 -1 4202560 23 935 0 0 0 0 0 0 24 0 17 0 401549142 521469952 7619 33554432000 4194304 5683644 140735392081568 18446744073709551615 268672485809 0 0 16781312 2 18446604449388696512 0 0 -1 2 0 0 0
[pid=32260/tid=32282] ppid=32258 vsize=509248 CPUtime=0 cores=0-7
/proc/32260/task/32282/stat : 32282 (python) S 32258 32260 30681 0 -1 4202560 30 935 0 0 0 0 0 0 18 0 17 0 401549145 521469952 7619 33554432000 4194304 5683644 140735392081568 18446744073709551615 268672485809 0 0 16781312 2 18446604449388696512 0 0 -1 2 0 0 0
[pid=32260/tid=32285] ppid=32258 vsize=509248 CPUtime=0 cores=0-7
/proc/32260/task/32285/stat : 32285 (python) S 32258 32260 30681 0 -1 4202560 33 935 0 0 0 0 0 0 18 0 17 0 401549149 521469952 7619 33554432000 4194304 5683644 140735392081568 18446744073709551615 268672485809 0 0 16781312 2 18446604449388696512 0 0 -1 2 0 0 0
[pid=32260/tid=32287] ppid=32258 vsize=509248 CPUtime=0 cores=0-7
/proc/32260/task/32287/stat : 32287 (python) S 32258 32260 30681 0 -1 4202560 41 935 0 0 0 0 0 0 18 0 17 0 401549152 521469952 7619 33554432000 4194304 5683644 140735392081568 18446744073709551615 268672485809 0 0 16781312 2 18446604449388696512 0 0 -1 7 0 0 0
[pid=32260/tid=32296] ppid=32258 vsize=509248 CPUtime=0 cores=0-7
/proc/32260/task/32296/stat : 32296 (python) S 32258 32260 30681 0 -1 4202560 37 935 0 0 0 0 0 0 18 0 17 0 401562597 521469952 7619 33554432000 4194304 5683644 140735392081568 18446744073709551615 268672485809 0 0 16781312 2 18446604449388696512 0 0 -1 2 0 0 0
[pid=32260/tid=32301] ppid=32258 vsize=509248 CPUtime=0 cores=0-7
/proc/32260/task/32301/stat : 32301 (python) S 32258 32260 30681 0 -1 4202560 32 935 0 0 0 0 0 0 18 0 17 0 401564585 521469952 7619 33554432000 4194304 5683644 140735392081568 18446744073709551615 268672485809 0 0 16781312 2 18446604449388696512 0 0 -1 7 0 0 0
[pid=32260/tid=32325] ppid=32258 vsize=509248 CPUtime=0 cores=0-7
/proc/32260/task/32325/stat : 32325 (python) S 32258 32260 30681 0 -1 4202560 35 935 0 0 0 0 0 0 18 0 17 0 401623239 521469952 7619 33554432000 4194304 5683644 140735392081568 18446744073709551615 268672485809 0 0 16781312 2 18446604449388696512 0 0 -1 7 0 0 0
[pid=32260/tid=32338] ppid=32258 vsize=509248 CPUtime=0 cores=0-7
/proc/32260/task/32338/stat : 32338 (python) S 32258 32260 30681 0 -1 4202560 26 935 0 0 0 0 0 0 19 0 17 0 401654358 521469952 7619 33554432000 4194304 5683644 140735392081568 18446744073709551615 268672485809 0 0 16781312 2 18446604449388696512 0 0 -1 2 0 0 0
[pid=32260/tid=32344] ppid=32258 vsize=509248 CPUtime=0 cores=0-7
/proc/32260/task/32344/stat : 32344 (python) S 32258 32260 30681 0 -1 4202560 36 935 0 0 0 0 0 0 18 0 17 0 401662551 521469952 7619 33554432000 4194304 5683644 140735392081568 18446744073709551615 268672485809 0 0 16781312 2 18446604449388696512 0 0 -1 7 0 0 0
[pid=32260/tid=32349] ppid=32258 vsize=509248 CPUtime=0 cores=0-7
/proc/32260/task/32349/stat : 32349 (python) S 32258 32260 30681 0 -1 4202560 31 935 0 0 0 0 0 0 19 0 17 0 401668528 521469952 7619 33554432000 4194304 5683644 140735392081568 18446744073709551615 268672485809 0 0 16781312 2 18446604449388696512 0 0 -1 4 0 0 0
[pid=32260/tid=32362] ppid=32258 vsize=509248 CPUtime=0 cores=0-7
/proc/32260/task/32362/stat : 32362 (python) S 32258 32260 30681 0 -1 4202560 103 935 0 0 0 0 0 0 20 0 17 0 401703168 521469952 7619 33554432000 4194304 5683644 140735392081568 18446744073709551615 268672485809 0 0 16781312 2 18446604449388696512 0 0 -1 7 0 0 0
[pid=32260/tid=32371] ppid=32258 vsize=509248 CPUtime=0 cores=0-7
/proc/32260/task/32371/stat : 32371 (python) S 32258 32260 30681 0 -1 4202560 42 935 0 0 0 0 0 0 19 0 17 0 401723968 521469952 7619 33554432000 4194304 5683644 140735392081568 18446744073709551615 268672485809 0 0 16781312 2 18446604449388696512 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 10169.7
Current children cumulated vsize (KiB) 10868464

[startup+1763 s]
/proc/loadavg: 11.10 11.14 11.09 14/519 32373
/proc/meminfo: memFree=21521772/32951124 swapFree=46575272/67111528
[pid=32260] ppid=32258 vsize=509248 CPUtime=3912.95 cores=0-7
/proc/32260/stat : 32260 (python) S 32258 32260 30681 0 -1 4202496 25097 118507 1 0 162 15 390164 954 17 0 17 0 401549055 521469952 7619 33554432000 4194304 5683644 140735392081568 18446744073709551615 268672492351 0 0 16781312 2 18446744073709551615 0 0 17 7 0 0 0
/proc/32260/statm: 127312 7619 1906 364 0 63185 0
[pid=32269] ppid=32260 vsize=289376 CPUtime=5.02 cores=0-7
/proc/32269/stat : 32269 (python) S 32260 32260 30681 0 -1 4202560 1144 0 0 0 258 244 0 0 15 0 2 0 401549132 296321024 5755 33554432000 4194304 5683644 140735392081568 18446744073709551615 268660682310 0 0 16781312 514 18446744073709551615 0 0 17 3 0 0 0
/proc/32269/statm: 72344 5755 401 364 0 8259 0
[pid=32271] ppid=32269 vsize=148496 CPUtime=1008.05 cores=0-7
/proc/32271/stat : 32271 (march_hi) R 32269 32271 32271 0 -1 4202496 29799 0 0 0 100798 7 0 0 25 0 1 0 401549132 152059904 29535 33554432000 4194304 4955518 140735466038720 18446744073709551615 4209701 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/32271/statm: 37124 29535 104 186 0 36937 0
[pid=32269/tid=32315] ppid=32260 vsize=289376 CPUtime=0 cores=0-7
/proc/32269/task/32315/stat : 32315 (python) S 32260 32260 30681 0 -1 4202560 45 0 0 0 0 0 0 0 15 0 2 0 401601651 296321024 5755 33554432000 4194304 5683644 140735392081568 18446744073709551615 268672485809 0 0 16781312 514 18446604449044738240 0 0 -1 5 0 0 0
[pid=32275] ppid=32260 vsize=310024 CPUtime=6.58 cores=0-7
/proc/32275/stat : 32275 (python) S 32260 32260 30681 0 -1 4202560 1177 0 0 0 350 308 0 0 15 0 2 0 401549138 317464576 5779 33554432000 4194304 5683644 140735392081568 18446744073709551615 268660682310 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/32275/statm: 77506 5779 400 364 0 13415 0
[pid=32277] ppid=32275 vsize=192696 CPUtime=1137.76 cores=0-7
/proc/32277/stat : 32277 (march_hi) R 32275 32277 32277 0 -1 4202496 32875 0 0 0 113768 8 0 0 25 0 1 0 401549139 197320704 32612 33554432000 4194304 4955518 140734768596416 18446744073709551615 4224648 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/32277/statm: 48174 32612 104 186 0 47987 0
[pid=32275/tid=32293] ppid=32260 vsize=310024 CPUtime=0 cores=0-7
/proc/32275/task/32293/stat : 32293 (python) S 32260 32260 30681 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 2 0 401559332 317464576 5779 33554432000 4194304 5683644 140735392081568 18446744073709551615 268672485809 0 0 16781312 514 18446604449044739136 0 0 -1 0 0 0 0
[pid=32295] ppid=32260 vsize=360944 CPUtime=5.7 cores=0-7
/proc/32295/stat : 32295 (python) S 32260 32260 30681 0 -1 4202560 1198 0 0 0 292 278 0 0 18 0 2 0 401562597 369606656 5711 33554432000 4194304 5683644 140735392081568 18446744073709551615 268660682310 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/32295/statm: 90236 5711 400 364 0 26130 0
[pid=32297] ppid=32295 vsize=182452 CPUtime=1069.84 cores=0-7
/proc/32297/stat : 32297 (kcnfs-2006) R 32295 32297 32297 0 -1 4202496 596 0 0 0 106983 1 0 0 25 0 1 0 401562597 186830848 331 33554432000 134512640 135163436 4287214304 18446744073709551615 134595358 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/32297/statm: 45613 331 77 159 0 45453 0
[pid=32295/tid=32340] ppid=32260 vsize=360944 CPUtime=0 cores=0-7
/proc/32295/task/32340/stat : 32340 (python) S 32260 32260 30681 0 -1 4202560 49 0 0 0 0 0 0 0 18 0 2 0 401655009 369606656 5711 33554432000 4194304 5683644 140735392081568 18446744073709551615 268672485809 0 0 16781312 514 18446604449651122304 0 0 -1 1 0 0 0
[pid=32300] ppid=32260 vsize=0 CPUtime=1205.86 cores=0-7
/proc/32300/stat : 32300 (python) Z 32260 32260 30681 0 -1 4202588 1309 34212 0 0 539 321 119717 9 19 0 1 0 401564585 0 0 33554432000 0 0 0 0 0 0 0 16781824 2 18446744073709551615 0 0 17 6 0 0 0
/proc/32300/statm: 0 0 0 0 0 0 0
[pid=32324] ppid=32260 vsize=447544 CPUtime=3.49 cores=0-7
/proc/32324/stat : 32324 (python) S 32260 32260 30681 0 -1 4202560 1195 0 0 0 186 163 0 0 18 0 2 0 401623239 458285056 5864 33554432000 4194304 5683644 140735392081568 18446744073709551615 268660682310 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/32324/statm: 111886 5864 400 364 0 47774 0
[pid=32326] ppid=32324 vsize=182452 CPUtime=607.59 cores=0-7
/proc/32326/stat : 32326 (kcnfs-2006) R 32324 32326 32326 0 -1 4202496 598 0 0 0 60759 0 0 0 25 0 1 0 401623239 186830848 332 33554432000 134512640 135163436 4292053856 18446744073709551615 134564135 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/32326/statm: 45613 332 77 159 0 45453 0
[pid=32324/tid=32333] ppid=32260 vsize=447544 CPUtime=0 cores=0-7
/proc/32324/task/32333/stat : 32333 (python) S 32260 32260 30681 0 -1 4202560 47 0 0 0 0 0 0 0 18 0 2 0 401642921 458285056 5864 33554432000 4194304 5683644 140735392081568 18446744073709551615 268672485809 0 0 16781312 514 18446604459699141312 0 0 -1 1 0 0 0
[pid=32337] ppid=32260 vsize=392292 CPUtime=2.47 cores=0-7
/proc/32337/stat : 32337 (python) S 32260 32260 30681 0 -1 4202560 1031 0 0 0 134 113 0 0 18 0 1 0 401654358 401707008 5861 33554432000 4194304 5683644 140735392081568 18446744073709551615 268660682310 0 0 16781312 514 681556471732732166 0 0 17 0 0 0 0
/proc/32337/statm: 98073 5861 371 364 0 33958 0
[pid=32339] ppid=32337 vsize=182448 CPUtime=544.3 cores=0-7
/proc/32339/stat : 32339 (kcnfs-2006) R 32337 32339 32339 0 -1 4202496 599 0 0 0 54428 2 0 0 25 0 1 0 401654359 186826752 332 33554432000 134512640 135163436 4293634688 18446744073709551615 134559520 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/32339/statm: 45612 332 77 159 0 45452 0
[pid=32343] ppid=32260 vsize=468236 CPUtime=2.31 cores=0-7
/proc/32343/stat : 32343 (python) S 32260 32260 30681 0 -1 4202560 1237 0 0 0 121 110 0 0 16 0 2 0 401662551 479473664 5917 33554432000 4194304 5683644 140735392081568 18446744073709551615 268672492351 0 0 16781824 2 18446744073709551615 0 0 17 2 0 0 0
/proc/32343/statm: 117059 5917 400 364 0 52941 0
[pid=32345] ppid=32343 vsize=0 CPUtime=487.45 cores=0-7
/proc/32345/stat : 32345 (march_hi) R 32343 32345 32345 0 -1 4203524 16051 0 0 0 48741 4 0 0 18 0 1 0 401662551 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/32345/statm: 0 0 0 0 0 0 0
[pid=32343/tid=32367] ppid=32260 vsize=468236 CPUtime=0 cores=0-7
/proc/32343/task/32367/stat : 32367 (python) S 32260 32260 30681 0 -1 4202560 45 0 0 0 0 0 0 0 15 0 2 0 401713227 479473664 5917 33554432000 4194304 5683644 140735392081568 18446744073709551615 268672485809 0 0 16781824 2 18446604469118235840 0 0 -1 1 0 0 0
[pid=32361] ppid=32260 vsize=488748 CPUtime=0.86 cores=0-7
/proc/32361/stat : 32361 (python) S 32260 32260 30681 0 -1 4202560 974 0 0 0 46 40 0 0 15 0 1 0 401703167 500477952 6085 33554432000 4194304 5683644 140735392081568 18446744073709551615 268660682310 0 0 16781312 514 18446744073709519110 0 0 17 3 0 0 0
/proc/32361/statm: 122187 6085 380 364 0 58063 0
[pid=32363] ppid=32361 vsize=27072 CPUtime=158.37 cores=0-7
/proc/32363/stat : 32363 (march_hi) R 32361 32363 32363 0 -1 4202496 6161 0 0 0 15835 2 0 0 25 0 1 0 401703168 27721728 5891 33554432000 4194304 4955518 140734429079760 18446744073709551615 4227783 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/32363/statm: 6768 5891 104 186 0 6581 0
[pid=32370] ppid=32260 vsize=499004 CPUtime=0.03 cores=0-7
/proc/32370/stat : 32370 (python) S 32260 32260 30681 0 -1 4202560 919 0 0 0 2 1 0 0 18 0 1 0 401723968 510980096 6088 33554432000 4194304 5683644 140735392081568 18446744073709551615 268660682310 0 0 16781312 514 18446744073709519110 0 0 17 2 0 0 0
/proc/32370/statm: 124751 6088 379 364 0 60624 0
[pid=32372] ppid=32370 vsize=182452 CPUtime=11.75 cores=0-7
/proc/32372/stat : 32372 (kcnfs-2006) R 32370 32372 32372 0 -1 4202496 599 0 0 0 1175 0 0 0 25 0 1 0 401723968 186830848 330 33554432000 134512640 135163436 4289553984 18446744073709551615 134572055 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/32372/statm: 45613 330 77 159 0 45453 0
[pid=32260/tid=32267] ppid=32258 vsize=509248 CPUtime=3911.18 cores=0-7
/proc/32260/task/32267/stat : 32267 (python) S 32258 32260 30681 0 -1 4202560 27 118507 0 0 0 0 390164 954 19 0 17 0 401549129 521469952 7619 33554432000 4194304 5683644 140735392081568 18446744073709551615 268672485809 0 0 16781312 2 18446604449388696512 0 0 -1 4 0 0 0
[pid=32260/tid=32270] ppid=32258 vsize=509248 CPUtime=3911.18 cores=0-7
/proc/32260/task/32270/stat : 32270 (python) S 32258 32260 30681 0 -1 4202560 33 118507 0 0 0 0 390164 954 18 0 17 0 401549132 521469952 7619 33554432000 4194304 5683644 140735392081568 18446744073709551615 268672485809 0 0 16781312 2 18446604449388696512 0 0 -1 7 0 0 0
[pid=32260/tid=32273] ppid=32258 vsize=509248 CPUtime=3911.18 cores=0-7
/proc/32260/task/32273/stat : 32273 (python) S 32258 32260 30681 0 -1 4202560 26 118507 0 0 0 0 390164 954 18 0 17 0 401549135 521469952 7619 33554432000 4194304 5683644 140735392081568 18446744073709551615 268672485809 0 0 16781312 2 18446604449388696512 0 0 -1 2 0 0 0
[pid=32260/tid=32276] ppid=32258 vsize=509248 CPUtime=3911.18 cores=0-7
/proc/32260/task/32276/stat : 32276 (python) S 32258 32260 30681 0 -1 4202560 39 118507 0 0 0 0 390164 954 18 0 17 0 401549139 521469952 7619 33554432000 4194304 5683644 140735392081568 18446744073709551615 268672485809 0 0 16781312 2 18446604449388696512 0 0 -1 0 0 0 0
[pid=32260/tid=32279] ppid=32258 vsize=509248 CPUtime=3911.18 cores=0-7
/proc/32260/task/32279/stat : 32279 (python) S 32258 32260 30681 0 -1 4202560 23 118507 0 0 0 0 390164 954 24 0 17 0 401549142 521469952 7619 33554432000 4194304 5683644 140735392081568 18446744073709551615 268672485809 0 0 16781312 2 18446604449388696512 0 0 -1 2 0 0 0
[pid=32260/tid=32282] ppid=32258 vsize=509248 CPUtime=3911.18 cores=0-7
/proc/32260/task/32282/stat : 32282 (python) S 32258 32260 30681 0 -1 4202560 30 118507 0 0 0 0 390164 954 18 0 17 0 401549145 521469952 7619 33554432000 4194304 5683644 140735392081568 18446744073709551615 268672485809 0 0 16781312 2 18446604449388696512 0 0 -1 2 0 0 0
[pid=32260/tid=32285] ppid=32258 vsize=509248 CPUtime=3911.18 cores=0-7
/proc/32260/task/32285/stat : 32285 (python) S 32258 32260 30681 0 -1 4202560 33 118507 0 0 0 0 390164 954 18 0 17 0 401549149 521469952 7619 33554432000 4194304 5683644 140735392081568 18446744073709551615 268672485809 0 0 16781312 2 18446604449388696512 0 0 -1 2 0 0 0
[pid=32260/tid=32287] ppid=32258 vsize=509248 CPUtime=3911.18 cores=0-7
/proc/32260/task/32287/stat : 32287 (python) S 32258 32260 30681 0 -1 4202560 41 118507 0 0 0 0 390164 954 18 0 17 0 401549152 521469952 7619 33554432000 4194304 5683644 140735392081568 18446744073709551615 268672485809 0 0 16781312 2 18446604449388696512 0 0 -1 7 0 0 0
[pid=32260/tid=32296] ppid=32258 vsize=509248 CPUtime=3911.18 cores=0-7
/proc/32260/task/32296/stat : 32296 (python) S 32258 32260 30681 0 -1 4202560 37 118507 0 0 0 0 390164 954 18 0 17 0 401562597 521469952 7619 33554432000 4194304 5683644 140735392081568 18446744073709551615 268672485809 0 0 16781312 2 18446604449388696512 0 0 -1 2 0 0 0
[pid=32260/tid=32301] ppid=32258 vsize=509248 CPUtime=3911.18 cores=0-7
/proc/32260/task/32301/stat : 32301 (python) S 32258 32260 30681 0 -1 4202560 32 118507 0 0 0 0 390164 954 18 0 17 0 401564585 521469952 7619 33554432000 4194304 5683644 140735392081568 18446744073709551615 268672485809 0 0 16781312 2 18446604449388696512 0 0 -1 7 0 0 0
[pid=32260/tid=32325] ppid=32258 vsize=509248 CPUtime=3911.18 cores=0-7
/proc/32260/task/32325/stat : 32325 (python) S 32258 32260 30681 0 -1 4202560 35 118507 0 0 0 0 390164 954 18 0 17 0 401623239 521469952 7619 33554432000 4194304 5683644 140735392081568 18446744073709551615 268672485809 0 0 16781312 2 18446604449388696512 0 0 -1 7 0 0 0
[pid=32260/tid=32338] ppid=32258 vsize=509248 CPUtime=3911.18 cores=0-7
/proc/32260/task/32338/stat : 32338 (python) S 32258 32260 30681 0 -1 4202560 26 118507 0 0 0 0 390164 954 19 0 17 0 401654358 521469952 7619 33554432000 4194304 5683644 140735392081568 18446744073709551615 268672485809 0 0 16781312 2 18446604449388696512 0 0 -1 2 0 0 0
[pid=32260/tid=32344] ppid=32258 vsize=509248 CPUtime=3911.18 cores=0-7
/proc/32260/task/32344/stat : 32344 (python) S 32258 32260 30681 0 -1 4202560 36 118507 0 0 0 0 390164 954 18 0 17 0 401662551 521469952 7619 33554432000 4194304 5683644 140735392081568 18446744073709551615 268672485809 0 0 16781312 2 18446604449388696512 0 0 -1 7 0 0 0
[pid=32260/tid=32349] ppid=32258 vsize=509248 CPUtime=3911.18 cores=0-7
/proc/32260/task/32349/stat : 32349 (python) S 32258 32260 30681 0 -1 4202560 31 118507 0 0 0 0 390164 954 19 0 17 0 401668528 521469952 7619 33554432000 4194304 5683644 140735392081568 18446744073709551615 268672485809 0 0 16781312 2 18446604449388696512 0 0 -1 4 0 0 0
[pid=32260/tid=32362] ppid=32258 vsize=509248 CPUtime=3911.18 cores=0-7
/proc/32260/task/32362/stat : 32362 (python) S 32258 32260 30681 0 -1 4202560 103 118507 0 0 0 0 390164 954 20 0 17 0 401703168 521469952 7619 33554432000 4194304 5683644 140735392081568 18446744073709551615 268672485809 0 0 16781312 2 18446604449388696512 0 0 -1 7 0 0 0
[pid=32260/tid=32371] ppid=32258 vsize=509248 CPUtime=3911.18 cores=0-7
/proc/32260/task/32371/stat : 32371 (python) S 32258 32260 30681 0 -1 4202560 42 118507 0 0 0 0 390164 954 19 0 17 0 401723968 521469952 7619 33554432000 4194304 5683644 140735392081568 18446744073709551615 268672485809 0 0 16781312 2 18446604449388696512 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 10170.4
Current children cumulated vsize (KiB) 4863484

Child status: 0
Real time (s): 1763.05
CPU time (s): 10170.7
CPU user time (s): 10144.8
CPU system time (s): 25.9391
CPU usage (%): 576.881
Max. virtual memory (cumulated for all children) (KiB): 11061164

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10144.8
system time used= 25.9391
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 279648
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= 22339
involuntary context switches= 89061

runsolver used 13.327 second user time and 28.9866 second system time

The end

Launcher Data 

Begin job on node107 at 2011-05-16 21:19:38
IDJOB=3385769
IDBENCH=83034
IDSOLVER=1870
FILE ID=node107/3385769-1305573578
RUNJOBID= node107-1305564966-30695
PBS_JOBID= 13350143
Free space on /tmp= 73244 MiB

SOLVER NAME= borg-sat 11.03.02-par-random (fixed)
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v500-c2130-S2061684506-048.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-3385769-1305573578/watcher-3385769-1305573578 -o /tmp/evaluation-result-3385769-1305573578/solver-3385769-1305573578 -C 40000 -W 5100 -M 31000  python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3385769-1305573578.cnf -seed 1827624209 -budget 40000 -cores 8

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

MD5SUM BENCH= 96dadba6913c3cf46368b605f559e4b9
RANDOM SEED=1827624209

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      22395528 kB
Buffers:        235080 kB
Cached:        2437428 kB
SwapCached:       9812 kB
Active:        8817536 kB
Inactive:      1421624 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      22395528 kB
SwapTotal:    67111528 kB
SwapFree:     46575272 kB
Dirty:           31852 kB
Writeback:           0 kB
AnonPages:     7565000 kB
Mapped:          31388 kB
Slab:           153944 kB
PageTables:      90700 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 134620156 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= 73212 MiB
End job on node107 at 2011-05-16 21:49:01