Trace number 3385525

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 13316 2401.71

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v500-c2130-S1383368897-031.UNKNOWN.cnf
MD5SUM4d20714634af5755393f1c67cf27956c
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1709.82
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.31/0.48	c INFO: loaded portfolio from HOME/etc/borg-mix+class.random.pickle
0.31/0.48	c INFO: solving HOME/instance-3385525-1305567723.cnf
0.31/0.48	c INFO: computing task features
0.31/0.49	c INFO: computed variable-clause graph statistics
0.31/0.49	c INFO: computed clause balance statistics
0.40/0.53	c INFO: computed variable balance statistics
0.40/0.56	c INFO: computed small-clause counts
0.40/0.56	c INFO: computed Horn-clause counts
0.40/0.56	c INFO: computed variable graph statistics
0.40/0.56	c INFO: collected features for HOME/instance-3385525-1305567723.cnf in 0.08 s
0.40/0.59	c INFO: running gnovelty+2@0 for 97 with 4999 remaining (b = 0.57)
0.49/0.62	c INFO: running march_hi@0 for 388 with 4999 remaining (b = 0.35)
0.49/0.66	c INFO: running march_hi@0 for 388 with 4999 remaining (b = 0.30)
0.49/0.69	c INFO: running march_hi@0 for 97 with 4999 remaining (b = 0.09)
0.59/0.72	c INFO: running gnovelty+2@0 for 97 with 4999 remaining (b = 0.07)
0.59/0.76	c INFO: running march_hi@0 for 485 with 4999 remaining (b = 0.26)
0.59/0.79	c INFO: running march_hi@0 for 485 with 4999 remaining (b = 0.23)
0.69/0.83	c INFO: running march_hi@0 for 485 with 4999 remaining (b = 0.21)
838.89/155.20	c INFO: running march_hi@0 for 485 with 4845 remaining (b = 0.18)
1047.86/193.19	c INFO: running kcnfs-2006@0 for 582 with 4807 remaining (b = 0.19)
1057.24/194.87	c INFO: running march_hi@0 for 97 with 4805 remaining (b = 0.04)
1828.24/323.78	c INFO: running march_hi@100 for 97 with 4676 remaining (b = 0.04)
2713.50/483.87	c INFO: running march_hi@0 for 97 with 4516 remaining (b = 0.03)
2792.25/496.26	c INFO: running march_hi@489 for 97 with 4504 remaining (b = 0.04)
3007.53/530.31	c INFO: running march_hi@0 for 291 with 4470 remaining (b = 0.11)
3219.89/565.21	c INFO: running march_hi@0 for 291 with 4435 remaining (b = 0.12)
3473.76/607.58	c INFO: running march_hi@0 for 97 with 4392 remaining (b = 0.05)
3547.05/620.21	c INFO: running march_hi@879 for 97 with 4380 remaining (b = 0.06)
3634.65/634.82	c INFO: running march_hi@97 for 97 with 4365 remaining (b = 0.06)
3920.23/685.24	c INFO: running march_hi@98 for 97 with 4315 remaining (b = 0.05)
4095.79/716.95	c INFO: running march_hi@0 for 388 with 4283 remaining (b = 0.15)
4356.78/759.03	c INFO: running march_hi@97 for 97 with 4241 remaining (b = 0.05)
4634.48/805.40	c INFO: running march_hi@97 for 291 with 4195 remaining (b = 0.12)
4746.90/825.95	c INFO: running march_hi@490 for 194 with 4174 remaining (b = 0.09)
4750.20/826.53	c INFO: running march_hi@584 for 97 with 4173 remaining (b = 0.04)
4906.75/855.01	c INFO: running march_hi@194 for 194 with 4145 remaining (b = 0.08)
5426.40/954.26	c INFO: running march_hi@978 for 1164 with 4046 remaining (b = 0.46)
5783.79/1025.65	c INFO: running march_hi@584 for 97 with 3974 remaining (b = 0.04)
5822.90/1033.48	c INFO: running kcnfs-2006@0 for 582 with 3967 remaining (b = 0.18)
6091.15/1082.21	c INFO: running march_hi@291 for 97 with 3918 remaining (b = 0.05)
6361.07/1129.94	c INFO: running march_hi@872 for 1358 with 3870 remaining (b = 0.43)
6455.06/1145.64	c INFO: running march_hi@98 for 291 with 3854 remaining (b = 0.10)
6555.58/1163.99	c INFO: running march_hi@584 for 97 with 3836 remaining (b = 0.03)
6824.05/1212.88	c INFO: running march_hi@388 for 97 with 3787 remaining (b = 0.03)
6824.54/1212.93	c INFO: running kcnfs-2006@97 for 485 with 3787 remaining (b = 0.17)
7131.41/1274.46	c INFO: running march_hi@391 for 97 with 3726 remaining (b = 0.03)
7290.04/1305.90	c INFO: running kcnfs-2006@0 for 582 with 3694 remaining (b = 0.18)
7600.31/1368.15	c INFO: running march_hi@971 for 1164 with 3632 remaining (b = 0.36)
7821.53/1412.51	c INFO: running march_hi@0 for 388 with 3587 remaining (b = 0.12)
8863.33/1606.22	c INFO: running march_hi@295 for 97 with 3394 remaining (b = 0.04)
9495.40/1714.09	c INFO: running adaptg2wsat2009++@0 for 97 with 3286 remaining (b = 0.03)
10409.75/1880.55	c INFO: running march_hi@878 for 1261 with 3119 remaining (b = 0.35)
10966.86/1982.39	c INFO: running march_hi@292 for 97 with 3018 remaining (b = 0.04)
11063.75/1999.92	c INFO: running kcnfs-2006@192 for 485 with 3000 remaining (b = 0.17)
11408.71/2066.92	c INFO: running kcnfs-2006@92 for 485 with 2933 remaining (b = 0.17)
11424.64/2070.20	c INFO: running kcnfs-2006@193 for 485 with 2930 remaining (b = 0.17)
11956.80/2163.22	c INFO: running kcnfs-2006@0 for 582 with 2837 remaining (b = 0.17)
13315.29/2401.68	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-3385525-1305567723/watcher-3385525-1305567723 -o /tmp/evaluation-result-3385525-1305567723/solver-3385525-1305567723 -C 40000 -W 5100 -M 31000 python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3385525-1305567723.cnf -seed 12349050 -budget 40000 -cores 8 

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

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


[startup+0 s]
/proc/loadavg: 8.93 9.35 8.71 7/356 25717
/proc/meminfo: memFree=15015744/32951124 swapFree=52307772/67111528
[pid=25717] ppid=25715 vsize=8300 CPUtime=0 cores=0-7
/proc/25717/stat : 25717 (python) R 25715 25717 25102 0 -1 4194304 98 0 0 0 0 0 0 0 25 0 1 0 668375130 8499200 51 33554432000 4194304 5683644 140733408620880 18446744073709551615 218366034023 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/25717/statm: 2075 54 43 364 0 42 0

[startup+0.102185 s]
/proc/loadavg: 8.93 9.35 8.71 7/356 25717
/proc/meminfo: memFree=15015744/32951124 swapFree=52307772/67111528
[pid=25717] ppid=25715 vsize=99372 CPUtime=0.06 cores=0-7
/proc/25717/stat : 25717 (python) R 25715 25717 25102 0 -1 4202496 2866 0 0 0 4 2 0 0 25 0 1 0 668375130 101756928 2564 33554432000 4194304 5683644 140733408620880 18446744073709551615 4864831 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/25717/statm: 24843 2564 818 364 0 1694 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 99372

[startup+0.2002 s]
/proc/loadavg: 8.93 9.35 8.71 7/356 25717
/proc/meminfo: memFree=15015744/32951124 swapFree=52307772/67111528
[pid=25717] ppid=25715 vsize=126292 CPUtime=0.14 cores=0-7
/proc/25717/stat : 25717 (python) R 25715 25717 25102 0 -1 4202496 4704 936 1 0 11 3 0 0 25 0 1 0 668375130 129323008 3894 33554432000 4194304 5683644 140733408620880 18446744073709551615 5177504 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/25717/statm: 31573 3894 1001 364 0 2868 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 126292

[startup+0.300151 s]
/proc/loadavg: 8.93 9.35 8.71 7/356 25717
/proc/meminfo: memFree=15015744/32951124 swapFree=52307772/67111528
[pid=25717] ppid=25715 vsize=156684 CPUtime=0.22 cores=0-7
/proc/25717/stat : 25717 (python) R 25715 25717 25102 0 -1 4202496 6432 936 1 0 16 6 0 0 25 0 1 0 668375130 160444416 4544 33554432000 4194304 5683644 140733408620880 18446744073709551615 4516215 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/25717/statm: 39171 4544 1257 364 0 3279 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 156684

[startup+0.700079 s]
/proc/loadavg: 8.93 9.35 8.71 7/356 25717
/proc/meminfo: memFree=15015744/32951124 swapFree=52307772/67111528
[pid=25717] ppid=25715 vsize=320268 CPUtime=0.59 cores=0-7
/proc/25717/stat : 25717 (python) R 25715 25717 25102 0 -1 4202496 12692 936 1 0 49 10 0 0 25 0 5 0 668375130 327954432 7262 33554432000 4194304 5683644 140733408620880 18446744073709551615 218374365877 0 0 16781312 2 18446744073709551615 0 0 17 0 0 0 0
/proc/25717/statm: 80067 7262 1879 364 0 15976 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 320268

[startup+1.50094 s]
/proc/loadavg: 8.93 9.35 8.71 15/381 25746
/proc/meminfo: memFree=14955776/32951124 swapFree=52307772/67111528
[pid=25717] ppid=25715 vsize=361360 CPUtime=0.72 cores=0-7
/proc/25717/stat : 25717 (python) S 25715 25717 25102 0 -1 4202496 15863 936 1 0 61 11 0 0 25 0 9 0 668375130 370032640 7305 33554432000 4194304 5683644 140733408620880 18446744073709551615 218382783947 0 0 16781312 2 18446744073709551615 0 0 17 0 0 0 0
/proc/25717/statm: 90340 7305 1889 364 0 26237 0
[pid=25723] ppid=25717 vsize=278572 CPUtime=0 cores=0-7
/proc/25723/stat : 25723 (python) S 25717 25717 25102 0 -1 4202560 742 0 0 0 0 0 0 0 25 0 1 0 668375190 285257728 5578 33554432000 4194304 5683644 140733408620880 18446744073709551615 218370977295 0 0 16781312 514 4606961696135708671 0 0 17 7 0 0 0
/proc/25723/statm: 69643 5578 354 364 0 5561 0
[pid=25725] ppid=25723 vsize=1017800 CPUtime=0.55 cores=0-7
/proc/25725/stat : 25725 (gnovelty+2) R 25723 25725 25725 0 -1 4202496 438 0 0 0 55 0 0 0 25 0 1 0 668375191 1042227200 177 33554432000 134512640 135663704 4294904208 18446744073709551615 134545622 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/25725/statm: 254450 177 113 282 0 254166 0
[pid=25726] ppid=25717 vsize=289376 CPUtime=0 cores=0-7
/proc/25726/stat : 25726 (python) S 25717 25717 25102 0 -1 4202560 748 0 0 0 0 0 0 0 18 0 1 0 668375193 296321024 5702 33554432000 4194304 5683644 140733408620880 18446744073709551615 218370977350 0 0 16781312 514 13484973557293220100 0 0 17 5 0 0 0
/proc/25726/statm: 72344 5702 348 364 0 8259 0
[pid=25728] ppid=25726 vsize=2176 CPUtime=0.31 cores=0-7
/proc/25728/stat : 25728 (march_hi) R 25726 25728 25728 0 -1 4202496 620 0 0 0 31 0 0 0 25 0 1 0 668375195 2228224 357 33554432000 4194304 4955518 140733437770720 18446744073709551615 4227935 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/25728/statm: 544 357 104 186 0 357 0
[pid=25729] ppid=25717 vsize=299160 CPUtime=0 cores=0-7
/proc/25729/stat : 25729 (python) S 25717 25717 25102 0 -1 4202560 756 0 0 0 0 0 0 0 18 0 1 0 668375196 306339840 5603 33554432000 4194304 5683644 140733408620880 18446744073709551615 218370977350 0 0 16781312 514 2159084599479599363 0 0 17 2 0 0 0
/proc/25729/statm: 74790 5603 348 364 0 10702 0
[pid=25731] ppid=25729 vsize=2344 CPUtime=0.4 cores=0-7
/proc/25731/stat : 25731 (march_hi) R 25729 25731 25731 0 -1 4202496 641 0 0 0 40 0 0 0 25 0 1 0 668375198 2400256 376 33554432000 4194304 4955518 140733712548064 18446744073709551615 4209643 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/25731/statm: 586 376 104 186 0 399 0
[pid=25732] ppid=25717 vsize=310024 CPUtime=0 cores=0-7
/proc/25732/stat : 25732 (python) S 25717 25717 25102 0 -1 4202560 759 0 0 0 0 0 0 0 19 0 1 0 668375199 317464576 5727 33554432000 4194304 5683644 140733408620880 18446744073709551615 218370977350 0 0 16781312 514 5772295312630579456 0 0 17 3 0 0 0
/proc/25732/statm: 77506 5727 348 364 0 13415 0
[pid=25737] ppid=25732 vsize=2176 CPUtime=0.32 cores=0-7
/proc/25737/stat : 25737 (march_hi) R 25732 25737 25737 0 -1 4202496 621 0 0 0 32 0 0 0 25 0 1 0 668375205 2228224 357 33554432000 4194304 4955518 140733788803232 18446744073709551615 4224687 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/25737/statm: 544 357 104 186 0 357 0
[pid=25734] ppid=25717 vsize=320280 CPUtime=0 cores=0-7
/proc/25734/stat : 25734 (python) S 25717 25717 25102 0 -1 4202560 752 0 0 0 0 0 0 0 25 0 1 0 668375202 327966720 5731 33554432000 4194304 5683644 140733408620880 18446744073709551615 218370977350 0 0 16781312 514 14241632995394977791 0 0 17 0 0 0 0
/proc/25734/statm: 80070 5731 348 364 0 15976 0
[pid=25736] ppid=25734 vsize=1017800 CPUtime=0.32 cores=0-7
/proc/25736/stat : 25736 (gnovelty+2) R 25734 25736 25736 0 -1 4202496 442 0 0 0 32 0 0 0 25 0 1 0 668375205 1042227200 178 33554432000 134512640 135663704 4287256448 18446744073709551615 134525243 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/25736/statm: 254450 178 113 282 0 254166 0
[pid=25738] ppid=25717 vsize=330064 CPUtime=0 cores=0-7
/proc/25738/stat : 25738 (python) S 25717 25717 25102 0 -1 4202560 772 0 0 0 0 0 0 0 20 0 1 0 668375206 337985536 5617 33554432000 4194304 5683644 140733408620880 18446744073709551615 218370977350 0 0 16781312 514 15948249039418392835 0 0 17 0 0 0 0
/proc/25738/statm: 82516 5617 348 364 0 18419 0
[pid=25742] ppid=25738 vsize=2176 CPUtime=0.32 cores=0-7
/proc/25742/stat : 25742 (march_hi) R 25738 25742 25742 0 -1 4202496 623 0 0 0 32 0 0 0 25 0 1 0 668375209 2228224 358 33554432000 4194304 4955518 140736447072656 18446744073709551615 4227873 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/25742/statm: 544 358 104 186 0 357 0
[pid=25740] ppid=25717 vsize=340860 CPUtime=0 cores=0-7
/proc/25740/stat : 25740 (python) S 25717 25717 25102 0 -1 4202560 784 0 0 0 0 0 0 0 20 0 1 0 668375209 349040640 5756 33554432000 4194304 5683644 140733408620880 18446744073709551615 218370977350 0 0 16781312 514 5607370685883056385 0 0 17 1 0 0 0
/proc/25740/statm: 85215 5756 348 364 0 21115 0
[pid=25746] ppid=25740 vsize=2176 CPUtime=0.29 cores=0-7
/proc/25746/stat : 25746 (march_hi) R 25740 25746 25746 0 -1 4202496 623 0 0 0 29 0 0 0 25 0 1 0 668375220 2228224 357 33554432000 4194304 4955518 140737090196672 18446744073709551615 4309799 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/25746/statm: 544 357 104 186 0 357 0
[pid=25743] ppid=25717 vsize=351116 CPUtime=0 cores=0-7
/proc/25743/stat : 25743 (python) S 25717 25717 25102 0 -1 4202560 811 0 0 0 0 0 0 0 23 0 1 0 668375213 359542784 5766 33554432000 4194304 5683644 140733408620880 18446744073709551615 218370977350 0 0 16781312 514 17493814942397071623 0 0 17 0 0 0 0
/proc/25743/statm: 87779 5766 354 364 0 23676 0
[pid=25745] ppid=25743 vsize=2344 CPUtime=0.66 cores=0-7
/proc/25745/stat : 25745 (march_hi) R 25743 25745 25745 0 -1 4202496 659 0 0 0 66 0 0 0 25 0 1 0 668375213 2400256 388 33554432000 4194304 4955518 140736214033856 18446744073709551615 4209717 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/25745/statm: 586 388 104 186 0 399 0
[pid=25717/tid=25724] ppid=25715 vsize=361360 CPUtime=0 cores=0-7
/proc/25717/task/25724/stat : 25724 (python) S 25715 25717 25102 0 -1 4202560 25 936 0 0 0 0 0 0 25 0 9 0 668375190 370032640 7305 33554432000 4194304 5683644 140733408620880 18446744073709551615 218382780849 0 0 16781312 2 18446604453957531712 0 0 -1 0 0 0 0
[pid=25717/tid=25727] ppid=25715 vsize=361360 CPUtime=0 cores=0-7
/proc/25717/task/25727/stat : 25727 (python) S 25715 25717 25102 0 -1 4202560 25 936 0 0 0 0 0 0 25 0 9 0 668375193 370032640 7305 33554432000 4194304 5683644 140733408620880 18446744073709551615 218382780849 0 0 16781312 2 18446604453957531712 0 0 -1 0 0 0 0
[pid=25717/tid=25730] ppid=25715 vsize=361360 CPUtime=0 cores=0-7
/proc/25717/task/25730/stat : 25730 (python) S 25715 25717 25102 0 -1 4202560 20 936 0 0 0 0 0 0 25 0 9 0 668375196 370032640 7305 33554432000 4194304 5683644 140733408620880 18446744073709551615 218382780849 0 0 16781312 2 18446604453957531712 0 0 -1 0 0 0 0
[pid=25717/tid=25733] ppid=25715 vsize=361360 CPUtime=0 cores=0-7
/proc/25717/task/25733/stat : 25733 (python) S 25715 25717 25102 0 -1 4202560 22 936 0 0 0 0 0 0 25 0 9 0 668375199 370032640 7305 33554432000 4194304 5683644 140733408620880 18446744073709551615 218382780849 0 0 16781312 2 18446604453957531712 0 0 -1 0 0 0 0
[pid=25717/tid=25735] ppid=25715 vsize=361360 CPUtime=0 cores=0-7
/proc/25717/task/25735/stat : 25735 (python) S 25715 25717 25102 0 -1 4202560 26 936 0 0 0 0 0 0 25 0 9 0 668375203 370032640 7305 33554432000 4194304 5683644 140733408620880 18446744073709551615 218382780849 0 0 16781312 2 18446604453957531712 0 0 -1 0 0 0 0
[pid=25717/tid=25739] ppid=25715 vsize=361360 CPUtime=0 cores=0-7
/proc/25717/task/25739/stat : 25739 (python) S 25715 25717 25102 0 -1 4202560 40 936 0 0 0 0 0 0 25 0 9 0 668375206 370032640 7305 33554432000 4194304 5683644 140733408620880 18446744073709551615 218382780849 0 0 16781312 2 18446604453957531712 0 0 -1 0 0 0 0
[pid=25717/tid=25741] ppid=25715 vsize=361360 CPUtime=0 cores=0-7
/proc/25717/task/25741/stat : 25741 (python) S 25715 25717 25102 0 -1 4202560 20 936 0 0 0 0 0 0 25 0 9 0 668375209 370032640 7305 33554432000 4194304 5683644 140733408620880 18446744073709551615 218382780849 0 0 16781312 2 18446604453957531712 0 0 -1 0 0 0 0
[pid=25717/tid=25744] ppid=25715 vsize=361360 CPUtime=0 cores=0-7
/proc/25717/task/25744/stat : 25744 (python) S 25715 25717 25102 0 -1 4202560 32 936 0 0 0 0 0 0 25 0 9 0 668375213 370032640 7305 33554432000 4194304 5683644 140733408620880 18446744073709551615 218382780849 0 0 16781312 2 18446604453957531712 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.89
Current children cumulated vsize (KiB) 4929804

[startup+3.10165 s]
/proc/loadavg: 8.93 9.35 8.71 15/381 25746
/proc/meminfo: memFree=14953420/32951124 swapFree=52307772/67111528
[pid=25717] ppid=25715 vsize=361360 CPUtime=0.72 cores=0-7
/proc/25717/stat : 25717 (python) S 25715 25717 25102 0 -1 4202496 15863 936 1 0 61 11 0 0 25 0 9 0 668375130 370032640 7305 33554432000 4194304 5683644 140733408620880 18446744073709551615 218382783947 0 0 16781312 2 18446744073709551615 0 0 17 0 0 0 0
/proc/25717/statm: 90340 7305 1889 364 0 26237 0
[pid=25723] ppid=25717 vsize=278572 CPUtime=0 cores=0-7
/proc/25723/stat : 25723 (python) S 25717 25717 25102 0 -1 4202560 742 0 0 0 0 0 0 0 18 0 1 0 668375190 285257728 5578 33554432000 4194304 5683644 140733408620880 18446744073709551615 218370977295 0 0 16781312 514 4606961696135676163 0 0 17 7 0 0 0
/proc/25723/statm: 69643 5578 354 364 0 5561 0
[pid=25725] ppid=25723 vsize=1017800 CPUtime=1.34 cores=0-7
/proc/25725/stat : 25725 (gnovelty+2) R 25723 25725 25725 0 -1 4202496 438 0 0 0 134 0 0 0 25 0 1 0 668375191 1042227200 177 33554432000 134512640 135663704 4294904208 18446744073709551615 134545772 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/25725/statm: 254450 177 113 282 0 254166 0
[pid=25726] ppid=25717 vsize=289376 CPUtime=0 cores=0-7
/proc/25726/stat : 25726 (python) S 25717 25717 25102 0 -1 4202560 748 0 0 0 0 0 0 0 15 0 1 0 668375193 296321024 5702 33554432000 4194304 5683644 140733408620880 18446744073709551615 218370977350 0 0 16781312 514 13484973557293220100 0 0 17 5 0 0 0
/proc/25726/statm: 72344 5702 348 364 0 8259 0
[pid=25728] ppid=25726 vsize=2512 CPUtime=1.11 cores=0-7
/proc/25728/stat : 25728 (march_hi) R 25726 25728 25728 0 -1 4202496 674 0 0 0 111 0 0 0 25 0 1 0 668375195 2572288 411 33554432000 4194304 4955518 140733437770720 18446744073709551615 4314044 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/25728/statm: 628 411 104 186 0 441 0
[pid=25729] ppid=25717 vsize=299160 CPUtime=0 cores=0-7
/proc/25729/stat : 25729 (python) S 25717 25717 25102 0 -1 4202560 758 0 0 0 0 0 0 0 15 0 1 0 668375196 306339840 5603 33554432000 4194304 5683644 140733408620880 18446744073709551615 218370977350 0 0 16781312 514 2159084599479599363 0 0 17 2 0 0 0
/proc/25729/statm: 74790 5603 348 364 0 10702 0
[pid=25731] ppid=25729 vsize=2512 CPUtime=1.19 cores=0-7
/proc/25731/stat : 25731 (march_hi) R 25729 25731 25731 0 -1 4202496 681 0 0 0 119 0 0 0 25 0 1 0 668375198 2572288 416 33554432000 4194304 4955518 140733712548064 18446744073709551615 4224648 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/25731/statm: 628 416 104 186 0 441 0
[pid=25732] ppid=25717 vsize=310024 CPUtime=0 cores=0-7
/proc/25732/stat : 25732 (python) S 25717 25717 25102 0 -1 4202560 767 0 0 0 0 0 0 0 15 0 1 0 668375199 317464576 5727 33554432000 4194304 5683644 140733408620880 18446744073709551615 218370977350 0 0 16781312 514 5772295312630579456 0 0 17 3 0 0 0
/proc/25732/statm: 77506 5727 348 364 0 13415 0
[pid=25737] ppid=25732 vsize=2512 CPUtime=1.12 cores=0-7
/proc/25737/stat : 25737 (march_hi) R 25732 25737 25737 0 -1 4202496 675 0 0 0 112 0 0 0 25 0 1 0 668375205 2572288 411 33554432000 4194304 4955518 140733788803232 18446744073709551615 4239009 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/25737/statm: 628 411 104 186 0 441 0
[pid=25734] ppid=25717 vsize=320280 CPUtime=0 cores=0-7
/proc/25734/stat : 25734 (python) S 25717 25717 25102 0 -1 4202560 752 0 0 0 0 0 0 0 18 0 1 0 668375202 327966720 5731 33554432000 4194304 5683644 140733408620880 18446744073709551615 218370977350 0 0 16781312 514 14241632995394945283 0 0 17 0 0 0 0
/proc/25734/statm: 80070 5731 348 364 0 15976 0
[pid=25736] ppid=25734 vsize=1017800 CPUtime=1.13 cores=0-7
/proc/25736/stat : 25736 (gnovelty+2) R 25734 25736 25736 0 -1 4202496 442 0 0 0 113 0 0 0 25 0 1 0 668375205 1042227200 178 33554432000 134512640 135663704 4287256448 18446744073709551615 134524874 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/25736/statm: 254450 178 113 282 0 254166 0
[pid=25738] ppid=25717 vsize=330064 CPUtime=0 cores=0-7
/proc/25738/stat : 25738 (python) S 25717 25717 25102 0 -1 4202560 774 0 0 0 0 0 0 0 15 0 1 0 668375206 337985536 5617 33554432000 4194304 5683644 140733408620880 18446744073709551615 218370977350 0 0 16781312 514 15948249039418392835 0 0 17 0 0 0 0
/proc/25738/statm: 82516 5617 348 364 0 18419 0
[pid=25742] ppid=25738 vsize=2512 CPUtime=1.11 cores=0-7
/proc/25742/stat : 25742 (march_hi) R 25738 25742 25742 0 -1 4202496 678 0 0 0 111 0 0 0 25 0 1 0 668375209 2572288 413 33554432000 4194304 4955518 140736447072656 18446744073709551615 4227671 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/25742/statm: 628 413 104 186 0 441 0
[pid=25740] ppid=25717 vsize=340860 CPUtime=0 cores=0-7
/proc/25740/stat : 25740 (python) S 25717 25717 25102 0 -1 4202560 791 0 0 0 0 0 0 0 15 0 1 0 668375209 349040640 5756 33554432000 4194304 5683644 140733408620880 18446744073709551615 218370977350 0 0 16781312 514 13235788213433368833 0 0 17 1 0 0 0
/proc/25740/statm: 85215 5756 348 364 0 21115 0
[pid=25746] ppid=25740 vsize=2816 CPUtime=1.89 cores=0-7
/proc/25746/stat : 25746 (march_hi) R 25740 25746 25746 0 -1 4202496 763 0 0 0 189 0 0 0 25 0 1 0 668375220 2883584 497 33554432000 4194304 4955518 140737090196672 18446744073709551615 4238696 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/25746/statm: 704 497 104 186 0 517 0
[pid=25743] ppid=25717 vsize=351116 CPUtime=0 cores=0-7
/proc/25743/stat : 25743 (python) S 25717 25717 25102 0 -1 4202560 812 0 0 0 0 0 0 0 15 0 1 0 668375213 359542784 5766 33554432000 4194304 5683644 140733408620880 18446744073709551615 218370977350 0 0 16781312 514 17493814942397071623 0 0 17 0 0 0 0
/proc/25743/statm: 87779 5766 354 364 0 23676 0
[pid=25745] ppid=25743 vsize=2816 CPUtime=1.45 cores=0-7
/proc/25745/stat : 25745 (march_hi) R 25743 25745 25745 0 -1 4202496 749 0 0 0 145 0 0 0 25 0 1 0 668375213 2883584 478 33554432000 4194304 4955518 140736214033856 18446744073709551615 4238962 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/25745/statm: 704 478 104 186 0 517 0
[pid=25717/tid=25724] ppid=25715 vsize=361360 CPUtime=0 cores=0-7
/proc/25717/task/25724/stat : 25724 (python) S 25715 25717 25102 0 -1 4202560 25 936 0 0 0 0 0 0 25 0 9 0 668375190 370032640 7305 33554432000 4194304 5683644 140733408620880 18446744073709551615 218382780849 0 0 16781312 2 18446604453957531712 0 0 -1 0 0 0 0
[pid=25717/tid=25727] ppid=25715 vsize=361360 CPUtime=0 cores=0-7
/proc/25717/task/25727/stat : 25727 (python) S 25715 25717 25102 0 -1 4202560 25 936 0 0 0 0 0 0 25 0 9 0 668375193 370032640 7305 33554432000 4194304 5683644 140733408620880 18446744073709551615 218382780849 0 0 16781312 2 18446604453957531712 0 0 -1 0 0 0 0
[pid=25717/tid=25730] ppid=25715 vsize=361360 CPUtime=0 cores=0-7
/proc/25717/task/25730/stat : 25730 (python) S 25715 25717 25102 0 -1 4202560 20 936 0 0 0 0 0 0 25 0 9 0 668375196 370032640 7305 33554432000 4194304 5683644 140733408620880 18446744073709551615 218382780849 0 0 16781312 2 18446604453957531712 0 0 -1 0 0 0 0
[pid=25717/tid=25733] ppid=25715 vsize=361360 CPUtime=0 cores=0-7
/proc/25717/task/25733/stat : 25733 (python) S 25715 25717 25102 0 -1 4202560 22 936 0 0 0 0 0 0 25 0 9 0 668375199 370032640 7305 33554432000 4194304 5683644 140733408620880 18446744073709551615 218382780849 0 0 16781312 2 18446604453957531712 0 0 -1 0 0 0 0
[pid=25717/tid=25735] ppid=25715 vsize=361360 CPUtime=0 cores=0-7

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

/proc/25717/statm: 127131 7474 1906 364 0 63004 0
[pid=25723] ppid=25717 vsize=288816 CPUtime=0.53 cores=0-7
/proc/25723/stat : 25723 (python) S 25717 25717 25102 0 -1 4202560 1118 0 0 0 27 26 0 0 19 0 2 0 668375190 295747584 5639 33554432000 4194304 5683644 140733408620880 18446744073709551615 218382783947 0 0 16781312 514 18446744073709551615 0 0 17 7 0 0 0
/proc/25723/statm: 72204 5639 410 364 0 8122 0
[pid=25725] ppid=25723 vsize=1017800 CPUtime=97.39 cores=0-7
/proc/25725/stat : 25725 (gnovelty+2) T 25723 25725 25725 0 -1 4202496 438 0 0 0 9739 0 0 0 25 0 1 0 668375191 1042227200 177 33554432000 134512640 135663704 4294904208 18446744073709551615 134545598 0 0 16781312 0 18446744071562691360 0 0 17 3 0 0 0
/proc/25725/statm: 254450 177 113 282 0 254166 0
[pid=25723/tid=25756] ppid=25717 vsize=288816 CPUtime=0 cores=0-7
/proc/25723/task/25756/stat : 25756 (python) S 25717 25717 25102 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 668394446 295747584 5639 33554432000 4194304 5683644 140733408620880 18446744073709551615 218382780849 0 0 16781312 514 18446604453985335104 0 0 -1 6 0 0 0
[pid=25726] ppid=25717 vsize=289376 CPUtime=5.23 cores=0-7
/proc/25726/stat : 25726 (python) S 25717 25717 25102 0 -1 4202560 1140 0 0 0 270 253 0 0 15 0 2 0 668375193 296321024 5755 33554432000 4194304 5683644 140733408620880 18446744073709551615 218370977350 0 0 16781312 514 18446744073709551615 0 0 17 7 0 0 0
/proc/25726/statm: 72344 5755 400 364 0 8259 0
[pid=25728] ppid=25726 vsize=192572 CPUtime=1250.33 cores=0-7
/proc/25728/stat : 25728 (march_hi) R 25726 25728 25728 0 -1 4202496 37087 0 0 0 125022 11 0 0 25 0 1 0 668375195 197193728 36824 33554432000 4194304 4955518 140733437770720 18446744073709551615 4238979 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/25728/statm: 48143 36824 104 186 0 47956 0
[pid=25726/tid=25771] ppid=25717 vsize=289376 CPUtime=0 cores=0-7
/proc/25726/task/25771/stat : 25771 (python) S 25717 25717 25102 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 2 0 668428158 296321024 5755 33554432000 4194304 5683644 140733408620880 18446744073709551615 218382780849 0 0 16781312 514 18446604453942698240 0 0 -1 5 0 0 0
[pid=25729] ppid=25717 vsize=299160 CPUtime=2.9 cores=0-7
/proc/25729/stat : 25729 (python) S 25717 25717 25102 0 -1 4202560 1156 0 0 0 146 144 0 0 15 0 2 0 668375196 306339840 5656 33554432000 4194304 5683644 140733408620880 18446744073709551615 218382783947 0 0 16781312 514 18446744073709551615 0 0 17 2 0 0 0
/proc/25729/statm: 74790 5656 400 364 0 10702 0
[pid=25731] ppid=25729 vsize=119684 CPUtime=681.29 cores=0-7
/proc/25731/stat : 25731 (march_hi) T 25729 25731 25731 0 -1 4202496 21821 0 0 0 68123 6 0 0 25 0 1 0 668375198 122556416 21556 33554432000 4194304 4955518 140733712548064 18446744073709551615 4209664 0 0 16781312 0 18446744071562691360 0 0 17 5 0 0 0
/proc/25731/statm: 29921 21556 104 186 0 29734 0
[pid=25729/tid=25769] ppid=25717 vsize=299160 CPUtime=0 cores=0-7
/proc/25729/task/25769/stat : 25769 (python) S 25717 25717 25102 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 2 0 668423514 306339840 5656 33554432000 4194304 5683644 140733408620880 18446744073709551615 218382780849 0 0 16781312 514 18446604447190564928 0 0 -1 2 0 0 0
[pid=25732] ppid=25717 vsize=375560 CPUtime=6.24 cores=0-7
/proc/25732/stat : 25732 (python) S 25717 25717 25102 0 -1 4202560 1193 0 0 0 330 294 0 0 15 0 2 0 668375199 384573440 5789 33554432000 4194304 5683644 140733408620880 18446744073709551615 218370977350 0 0 16781312 514 18446744073709551615 0 0 17 2 0 0 0
/proc/25732/statm: 93890 5789 400 364 0 29799 0
[pid=25737] ppid=25732 vsize=192704 CPUtime=1493.08 cores=0-7
/proc/25737/stat : 25737 (march_hi) R 25732 25737 25737 0 -1 4202496 42983 0 0 0 149296 12 0 0 25 0 1 0 668375205 197328896 42719 33554432000 4194304 4955518 140733788803232 18446744073709551615 4209643 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/25737/statm: 48176 42719 104 186 0 47989 0
[pid=25732/tid=25760] ppid=25717 vsize=375560 CPUtime=0 cores=0-7
/proc/25732/task/25760/stat : 25760 (python) S 25717 25717 25102 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 2 0 668394614 384573440 5789 33554432000 4194304 5683644 140733408620880 18446744073709551615 218382780849 0 0 16781312 514 18446604469113484608 0 0 -1 0 0 0 0
[pid=25734] ppid=25717 vsize=320280 CPUtime=0.41 cores=0-7
/proc/25734/stat : 25734 (python) S 25717 25717 25102 0 -1 4202560 1125 0 0 0 21 20 0 0 19 0 2 0 668375202 327966720 5784 33554432000 4194304 5683644 140733408620880 18446744073709551615 218382783947 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/25734/statm: 80070 5784 400 364 0 15976 0
[pid=25736] ppid=25734 vsize=1017800 CPUtime=98.4 cores=0-7
/proc/25736/stat : 25736 (gnovelty+2) T 25734 25736 25736 0 -1 4202496 442 0 0 0 9840 0 0 0 25 0 1 0 668375205 1042227200 178 33554432000 134512640 135663704 4287256448 18446744073709551615 134544012 0 0 16781312 0 18446744071562691360 0 0 17 4 0 0 0
/proc/25736/statm: 254450 178 113 282 0 254166 0
[pid=25734/tid=25751] ppid=25717 vsize=320280 CPUtime=0 cores=0-7
/proc/25734/task/25751/stat : 25751 (python) S 25717 25717 25102 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 668390647 327966720 5784 33554432000 4194304 5683644 140733408620880 18446744073709551615 218382780849 0 0 16781312 514 18446604469113483712 0 0 -1 0 0 0 0
[pid=25738] ppid=25717 vsize=330064 CPUtime=6.77 cores=0-7
/proc/25738/stat : 25738 (python) S 25717 25717 25102 0 -1 4202560 1189 0 0 0 349 328 0 0 15 0 2 0 668375206 337985536 5671 33554432000 4194304 5683644 140733408620880 18446744073709551615 218370977350 0 0 16781312 514 18446744073709551615 0 0 17 7 0 0 0
/proc/25738/statm: 82516 5671 401 364 0 18419 0
[pid=25742] ppid=25738 vsize=259004 CPUtime=1667.86 cores=0-7
/proc/25742/stat : 25742 (march_hi) R 25738 25742 25742 0 -1 4202496 47484 0 0 0 166772 14 0 0 25 0 1 0 668375209 265220096 47219 33554432000 4194304 4955518 140736447072656 18446744073709551615 4289855 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/25742/statm: 64751 47219 104 186 0 64564 0
[pid=25738/tid=25775] ppid=25717 vsize=330064 CPUtime=0 cores=0-7
/proc/25738/task/25775/stat : 25775 (python) S 25717 25717 25102 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 2 0 668435885 337985536 5671 33554432000 4194304 5683644 140733408620880 18446744073709551615 218382780849 0 0 16781312 514 18446604443109489344 0 0 -1 1 0 0 0
[pid=25740] ppid=25717 vsize=340860 CPUtime=2.93 cores=0-7
/proc/25740/stat : 25740 (python) S 25717 25717 25102 0 -1 4202560 1229 0 0 0 154 139 0 0 16 0 2 0 668375209 349040640 5815 33554432000 4194304 5683644 140733408620880 18446744073709551615 218382783947 0 0 16781312 514 18446744073709551615 0 0 17 3 0 0 0
/proc/25740/statm: 85215 5815 406 364 0 21115 0
[pid=25746] ppid=25740 vsize=119684 CPUtime=778.42 cores=0-7
/proc/25746/stat : 25746 (march_hi) T 25740 25746 25746 0 -1 4202496 24630 0 0 0 77835 7 0 0 25 0 1 0 668375220 122556416 24364 33554432000 4194304 4955518 140737090196672 18446744073709551615 4209701 0 0 16781312 0 18446744071562691360 0 0 17 3 0 0 0
/proc/25746/statm: 29921 24364 104 186 0 29734 0
[pid=25740/tid=25773] ppid=25717 vsize=340860 CPUtime=0 cores=0-7
/proc/25740/task/25773/stat : 25773 (python) S 25717 25717 25102 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 2 0 668431647 349040640 5815 33554432000 4194304 5683644 140733408620880 18446744073709551615 218382780849 0 0 16781312 514 18446604443109488448 0 0 -1 4 0 0 0
[pid=25743] ppid=25717 vsize=416652 CPUtime=3.98 cores=0-7
/proc/25743/stat : 25743 (python) S 25717 25717 25102 0 -1 4202560 1214 0 0 0 213 185 0 0 15 0 2 0 668375213 426651648 5822 33554432000 4194304 5683644 140733408620880 18446744073709551615 218382783947 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/25743/statm: 104163 5822 407 364 0 40060 0
[pid=25745] ppid=25743 vsize=163884 CPUtime=972.13 cores=0-7
/proc/25745/stat : 25745 (march_hi) T 25743 25745 25745 0 -1 4202496 29922 0 0 0 97202 11 0 0 25 0 1 0 668375213 167817216 29651 33554432000 4194304 4955518 140736214033856 18446744073709551615 4209701 0 0 16781312 0 18446744071562691360 0 0 17 0 0 0 0
/proc/25745/statm: 40971 29651 104 186 0 40784 0
[pid=25743/tid=25778] ppid=25717 vsize=416652 CPUtime=0 cores=0-7
/proc/25743/task/25778/stat : 25778 (python) S 25717 25717 25102 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 2 0 668443651 426651648 5822 33554432000 4194304 5683644 140733408620880 18446744073709551615 218382780849 0 0 16781312 514 18446604443109486656 0 0 -1 3 0 0 0
[pid=25752] ppid=25717 vsize=361372 CPUtime=8.27 cores=0-7
/proc/25752/stat : 25752 (python) R 25717 25717 25102 0 -1 4202560 1197 0 0 0 500 327 0 0 17 0 2 0 668390651 370044928 5817 33554432000 4194304 5683644 140733408620880 18446744073709551615 218370977350 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/25752/statm: 90343 5817 400 364 0 26237 0
[pid=25754] ppid=25752 vsize=0 CPUtime=1723.76 cores=0-7
/proc/25754/stat : 25754 (march_hi) R 25752 25754 25754 0 -1 4202500 48671 0 0 0 172360 16 0 0 25 0 1 0 668390651 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 3 0 0 0
/proc/25754/statm: 0 0 0 0 0 0 0
[pid=25752/tid=25785] ppid=25717 vsize=361372 CPUtime=0 cores=0-7
/proc/25752/task/25785/stat : 25785 (python) S 25717 25717 25102 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 2 0 668455667 370044928 5817 33554432000 4194304 5683644 140733408620880 18446744073709551615 218382780849 0 0 16781312 514 18446604447761544192 0 0 -1 4 0 0 0
[pid=25757] ppid=25717 vsize=437164 CPUtime=6.02 cores=0-7
/proc/25757/stat : 25757 (python) S 25717 25717 25102 0 -1 4202560 1192 0 0 0 320 282 0 0 18 0 2 0 668394449 447655936 5835 33554432000 4194304 5683644 140733408620880 18446744073709551615 218370977350 0 0 16781312 514 18446744073709551615 0 0 17 3 0 0 0
/proc/25757/statm: 109291 5835 400 364 0 45182 0
[pid=25759] ppid=25757 vsize=182448 CPUtime=1355.49 cores=0-7
/proc/25759/stat : 25759 (kcnfs-2006) R 25757 25759 25759 0 -1 4202496 598 0 0 0 135549 0 0 0 25 0 1 0 668394450 186826752 329 33554432000 134512640 135163436 4288964928 18446744073709551615 134574194 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/25759/statm: 45612 329 77 159 0 45452 0
[pid=25757/tid=25810] ppid=25717 vsize=437164 CPUtime=0 cores=0-7
/proc/25757/task/25810/stat : 25810 (python) S 25717 25717 25102 0 -1 4202560 45 0 0 0 0 0 0 0 18 0 2 0 668496420 447655936 5835 33554432000 4194304 5683644 140733408620880 18446744073709551615 218382780849 0 0 16781312 514 18446604445953159488 0 0 -1 0 0 0 0
[pid=25780] ppid=25717 vsize=447616 CPUtime=2.86 cores=0-7
/proc/25780/stat : 25780 (python) S 25717 25717 25102 0 -1 4202560 1211 0 0 0 150 136 0 0 15 0 2 0 668446825 458358784 5876 33554432000 4194304 5683644 140733408620880 18446744073709551615 218382783947 0 0 16781312 514 18446744073709551615 0 0 17 2 0 0 0
/proc/25780/statm: 111904 5876 400 364 0 47792 0
[pid=25782] ppid=25780 vsize=119684 CPUtime=777.44 cores=0-7
/proc/25782/stat : 25782 (march_hi) T 25780 25782 25782 0 -1 4202496 24465 0 0 0 77736 8 0 0 25 0 1 0 668446825 122556416 24197 33554432000 4194304 4955518 140737273401200 18446744073709551615 4227807 0 0 16781312 0 18446744071562691360 0 0 17 0 0 0 0
/proc/25782/statm: 29921 24197 104 186 0 29734 0
[pid=25780/tid=25807] ppid=25717 vsize=447616 CPUtime=0 cores=0-7
/proc/25780/task/25807/stat : 25807 (python) S 25717 25717 25102 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 2 0 668489691 458358784 5876 33554432000 4194304 5683644 140733408620880 18446744073709551615 218382780849 0 0 16781312 514 18446604444545906688 0 0 -1 1 0 0 0
[pid=25792] ppid=25717 vsize=457872 CPUtime=3.65 cores=0-7
/proc/25792/stat : 25792 (python) S 25717 25717 25102 0 -1 4202560 1052 0 0 0 190 175 0 0 18 0 2 0 668478478 468860928 6039 33554432000 4194304 5683644 140733408620880 18446744073709551615 218370977350 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/25792/statm: 114468 6039 400 364 0 50353 0
[pid=25794] ppid=25792 vsize=182452 CPUtime=785.76 cores=0-7
/proc/25794/stat : 25794 (kcnfs-2006) R 25792 25794 25794 0 -1 4202496 591 0 0 0 78576 0 0 0 25 0 1 0 668478478 186830848 330 33554432000 134512640 135163436 4288438096 18446744073709551615 134675188 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/25794/statm: 45613 330 77 159 0 45453 0
[pid=25792/tid=25846] ppid=25717 vsize=457872 CPUtime=0 cores=0-7
/proc/25792/task/25846/stat : 25846 (python) S 25717 25717 25102 0 -1 4202560 80 0 0 0 0 0 0 0 19 0 2 0 668575120 468860928 6039 33554432000 4194304 5683644 140733408620880 18446744073709551615 218382780849 0 0 16781312 514 18446604445333668928 0 0 -1 2 0 0 0
[pid=25817] ppid=25717 vsize=468128 CPUtime=3.01 cores=0-7
/proc/25817/stat : 25817 (python) S 25717 25717 25102 0 -1 4202560 1197 0 0 0 162 139 0 0 18 0 2 0 668505720 479363072 6067 33554432000 4194304 5683644 140733408620880 18446744073709551615 218370977350 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/25817/statm: 117032 6067 400 364 0 52914 0
[pid=25819] ppid=25817 vsize=182452 CPUtime=774.49 cores=0-7
/proc/25819/stat : 25819 (kcnfs-2006) R 25817 25819 25819 0 -1 4202496 599 0 0 0 77449 0 0 0 25 0 1 0 668505720 186830848 329 33554432000 134512640 135163436 4287962432 18446744073709551615 134593605 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/25819/statm: 45613 329 77 159 0 45453 0
[pid=25817/tid=25849] ppid=25717 vsize=468128 CPUtime=0 cores=0-7
/proc/25817/task/25849/stat : 25849 (python) S 25717 25717 25102 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 2 0 668581819 479363072 6067 33554432000 4194304 5683644 140733408620880 18446744073709551615 218382780849 0 0 16781312 514 18446604470700382272 0 0 -1 1 0 0 0
[pid=25822] ppid=25717 vsize=477748 CPUtime=2.18 cores=0-7
/proc/25822/stat : 25822 (python) S 25717 25717 25102 0 -1 4202560 1194 0 0 0 117 101 0 0 15 0 2 0 668516382 489213952 5920 33554432000 4194304 5683644 140733408620880 18446744073709551615 218382783947 0 0 16781312 514 18446744073709551615 0 0 17 3 0 0 0
/proc/25822/statm: 119437 5920 400 364 0 55316 0
[pid=25824] ppid=25822 vsize=90216 CPUtime=489.26 cores=0-7
/proc/25824/stat : 25824 (march_hi) T 25822 25824 25824 0 -1 4202496 16337 0 0 0 48918 8 0 0 25 0 1 0 668516382 92381184 16064 33554432000 4194304 4955518 140733266132576 18446744073709551615 4310382 0 0 16781312 0 18446744071562691360 0 0 17 3 0 0 0
/proc/25824/statm: 22554 16064 104 186 0 22367 0
[pid=25822/tid=25845] ppid=25717 vsize=477748 CPUtime=0 cores=0-7
/proc/25822/task/25845/stat : 25845 (python) S 25717 25717 25102 0 -1 4202560 45 0 0 0 0 0 0 0 15 0 2 0 668573367 489213952 5920 33554432000 4194304 5683644 140733408620880 18446744073709551615 218382780849 0 0 16781312 514 18446604459331881920 0 0 -1 3 0 0 0
[pid=25833] ppid=25717 vsize=488280 CPUtime=0.44 cores=0-7
/proc/25833/stat : 25833 (python) S 25717 25717 25102 0 -1 4202560 1229 0 0 0 22 22 0 0 19 0 2 0 668546539 499998720 5939 33554432000 4194304 5683644 140733408620880 18446744073709551615 218382783947 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/25833/statm: 122070 5939 409 364 0 57946 0
[pid=25835] ppid=25833 vsize=416128 CPUtime=97.22 cores=0-7
/proc/25835/stat : 25835 (adaptg2wsat2009) T 25833 25835 25835 0 -1 4202496 473 0 0 0 9722 0 0 0 25 0 1 0 668546540 426115072 191 33554432000 134512640 135107411 4290825536 18446744073709551615 134535339 0 0 16781312 0 18446744071562691360 0 0 17 2 0 0 0
/proc/25835/statm: 104032 191 59 146 0 102908 0
[pid=25833/tid=25841] ppid=25717 vsize=488280 CPUtime=0 cores=0-7
/proc/25833/task/25841/stat : 25841 (python) S 25717 25717 25102 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 668563182 499998720 5939 33554432000 4194304 5683644 140733408620880 18446744073709551615 218382780849 0 0 16781312 514 18446604470557416512 0 0 -1 0 0 0 0
[pid=25852] ppid=25717 vsize=498280 CPUtime=0.64 cores=0-7
/proc/25852/stat : 25852 (python) S 25717 25717 25102 0 -1 4202560 950 0 0 0 33 31 0 0 18 0 1 0 668591452 510238720 5947 33554432000 4194304 5683644 140733408620880 18446744073709551615 218370977350 0 0 16781312 514 18446744073709519111 0 0 17 3 0 0 0
/proc/25852/statm: 124570 5947 380 364 0 60443 0
[pid=25854] ppid=25852 vsize=182448 CPUtime=214.99 cores=0-7
/proc/25854/stat : 25854 (kcnfs-2006) R 25852 25854 25854 0 -1 4202496 596 0 0 0 21499 0 0 0 25 0 1 0 668591453 186826752 329 33554432000 134512640 135163436 4287010592 18446744073709551615 134588595 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/25854/statm: 45612 329 77 159 0 45452 0
[pid=25717/tid=25724] ppid=25715 vsize=508524 CPUtime=0 cores=0-7
/proc/25717/task/25724/stat : 25724 (python) S 25715 25717 25102 0 -1 4202560 25 936 0 0 0 0 0 0 25 0 17 0 668375190 520728576 7474 33554432000 4194304 5683644 140733408620880 18446744073709551615 218382780849 0 0 16781312 2 18446604453957531712 0 0 -1 0 0 0 0
[pid=25717/tid=25727] ppid=25715 vsize=508524 CPUtime=0 cores=0-7
/proc/25717/task/25727/stat : 25727 (python) S 25715 25717 25102 0 -1 4202560 43 936 0 0 0 0 0 0 18 0 17 0 668375193 520728576 7474 33554432000 4194304 5683644 140733408620880 18446744073709551615 218382780849 0 0 16781312 2 18446604453957531712 0 0 -1 0 0 0 0
[pid=25717/tid=25730] ppid=25715 vsize=508524 CPUtime=0 cores=0-7
/proc/25717/task/25730/stat : 25730 (python) S 25715 25717 25102 0 -1 4202560 28 936 0 0 0 0 0 0 18 0 17 0 668375196 520728576 7474 33554432000 4194304 5683644 140733408620880 18446744073709551615 218382780849 0 0 16781312 2 18446604453957531712 0 0 -1 0 0 0 0
[pid=25717/tid=25733] ppid=25715 vsize=508524 CPUtime=0 cores=0-7
/proc/25717/task/25733/stat : 25733 (python) S 25715 25717 25102 0 -1 4202560 33 936 0 0 0 0 0 0 18 0 17 0 668375199 520728576 7474 33554432000 4194304 5683644 140733408620880 18446744073709551615 218382780849 0 0 16781312 2 18446604453957531712 0 0 -1 0 0 0 0
[pid=25717/tid=25735] ppid=25715 vsize=508524 CPUtime=0 cores=0-7
/proc/25717/task/25735/stat : 25735 (python) S 25715 25717 25102 0 -1 4202560 26 936 0 0 0 0 0 0 25 0 17 0 668375203 520728576 7474 33554432000 4194304 5683644 140733408620880 18446744073709551615 218382780849 0 0 16781312 2 18446604453957531712 0 0 -1 0 0 0 0
[pid=25717/tid=25739] ppid=25715 vsize=508524 CPUtime=0 cores=0-7
/proc/25717/task/25739/stat : 25739 (python) S 25715 25717 25102 0 -1 4202560 52 936 0 0 0 0 0 0 18 0 17 0 668375206 520728576 7474 33554432000 4194304 5683644 140733408620880 18446744073709551615 218382780849 0 0 16781312 2 18446604453957531712 0 0 -1 0 0 0 0
[pid=25717/tid=25741] ppid=25715 vsize=508524 CPUtime=0 cores=0-7
/proc/25717/task/25741/stat : 25741 (python) S 25715 25717 25102 0 -1 4202560 25 936 0 0 0 0 0 0 18 0 17 0 668375209 520728576 7474 33554432000 4194304 5683644 140733408620880 18446744073709551615 218382780849 0 0 16781312 2 18446604453957531712 0 0 -1 0 0 0 0
[pid=25717/tid=25744] ppid=25715 vsize=508524 CPUtime=0 cores=0-7
/proc/25717/task/25744/stat : 25744 (python) S 25715 25717 25102 0 -1 4202560 44 936 0 0 0 0 0 0 18 0 17 0 668375213 520728576 7474 33554432000 4194304 5683644 140733408620880 18446744073709551615 218382780849 0 0 16781312 2 18446604453957531712 0 0 -1 0 0 0 0
[pid=25717/tid=25753] ppid=25715 vsize=508524 CPUtime=0 cores=0-7
/proc/25717/task/25753/stat : 25753 (python) S 25715 25717 25102 0 -1 4202560 48 936 0 0 0 0 0 0 18 0 17 0 668390651 520728576 7474 33554432000 4194304 5683644 140733408620880 18446744073709551615 218382780849 0 0 16781312 2 18446604453957531712 0 0 -1 0 0 0 0
[pid=25717/tid=25758] ppid=25715 vsize=508524 CPUtime=0 cores=0-7
/proc/25717/task/25758/stat : 25758 (python) S 25715 25717 25102 0 -1 4202560 41 936 0 0 0 0 0 0 18 0 17 0 668394449 520728576 7474 33554432000 4194304 5683644 140733408620880 18446744073709551615 218382780849 0 0 16781312 2 18446604453957531712 0 0 -1 0 0 0 0
[pid=25717/tid=25781] ppid=25715 vsize=508524 CPUtime=0 cores=0-7
/proc/25717/task/25781/stat : 25781 (python) S 25715 25717 25102 0 -1 4202560 36 936 0 0 0 0 0 0 18 0 17 0 668446825 520728576 7474 33554432000 4194304 5683644 140733408620880 18446744073709551615 218382780849 0 0 16781312 2 18446604453957531712 0 0 -1 0 0 0 0
[pid=25717/tid=25793] ppid=25715 vsize=508524 CPUtime=0 cores=0-7
/proc/25717/task/25793/stat : 25793 (python) S 25715 25717 25102 0 -1 4202560 48 936 0 0 0 0 0 0 18 0 17 0 668478478 520728576 7474 33554432000 4194304 5683644 140733408620880 18446744073709551615 218382780849 0 0 16781312 2 18446604453957531712 0 0 -1 0 0 0 0
[pid=25717/tid=25818] ppid=25715 vsize=508524 CPUtime=0 cores=0-7
/proc/25717/task/25818/stat : 25818 (python) S 25715 25717 25102 0 -1 4202560 34 936 0 0 0 0 0 0 18 0 17 0 668505720 520728576 7474 33554432000 4194304 5683644 140733408620880 18446744073709551615 218382780849 0 0 16781312 2 18446604453957531712 0 0 -1 3 0 0 0
[pid=25717/tid=25823] ppid=25715 vsize=508524 CPUtime=0 cores=0-7
/proc/25717/task/25823/stat : 25823 (python) S 25715 25717 25102 0 -1 4202560 41 936 0 0 0 0 0 0 18 0 17 0 668516382 520728576 7474 33554432000 4194304 5683644 140733408620880 18446744073709551615 218382780849 0 0 16781312 2 18446604453957531712 0 0 -1 3 0 0 0
[pid=25717/tid=25834] ppid=25715 vsize=508524 CPUtime=0 cores=0-7
/proc/25717/task/25834/stat : 25834 (python) S 25715 25717 25102 0 -1 4202560 28 936 0 0 0 0 0 0 19 0 17 0 668546539 520728576 7474 33554432000 4194304 5683644 140733408620880 18446744073709551615 218382780849 0 0 16781312 2 18446604453957531712 0 0 -1 2 0 0 0
[pid=25717/tid=25853] ppid=25715 vsize=508524 CPUtime=0 cores=0-7
/proc/25717/task/25853/stat : 25853 (python) S 25715 25717 25102 0 -1 4202560 42 936 0 0 0 0 0 0 20 0 17 0 668591452 520728576 7474 33554432000 4194304 5683644 140733408620880 18446744073709551615 218382780849 0 0 16781312 2 18446604453957531712 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 13315.3
Current children cumulated vsize (KiB) 11244712

[startup+2401.7 s]
/proc/loadavg: 11.07 11.12 10.93 13/417 25861
/proc/meminfo: memFree=13949360/32951124 swapFree=52307772/67111528
[pid=25717] ppid=25715 vsize=375148 CPUtime=13316 cores=0-7
/proc/25717/stat : 25717 (python) R 25715 25717 25102 0 -1 4202496 28970 317262 1 0 181 13 1328689 2715 17 0 1 0 668375130 384151552 7358 33554432000 4194304 5683644 140733408620880 18446744073709551615 218370612663 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/25717/statm: 93787 7358 1874 364 0 29711 0
Current children cumulated CPU time (s) 13316
Current children cumulated vsize (KiB) 375148

Child status: 0
Real time (s): 2401.71
CPU time (s): 13316
CPU user time (s): 13288.7
CPU system time (s): 27.2998
CPU usage (%): 554.439
Max. virtual memory (cumulated for all children) (KiB): 11503720

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13288.7
system time used= 27.2998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 346767
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= 26803
involuntary context switches= 131080

runsolver used 16.3195 second user time and 35.4656 second system time

The end

Launcher Data 

Begin job on node101 at 2011-05-16 19:42:04
IDJOB=3385525
IDBENCH=82790
IDSOLVER=1870
FILE ID=node101/3385525-1305567723
RUNJOBID= node101-1305564967-25116
PBS_JOBID= 13350149
Free space on /tmp= 73724 MiB

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

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

MD5SUM BENCH= 4d20714634af5755393f1c67cf27956c
RANDOM SEED=12349050

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.841
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.841
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:      15016024 kB
Buffers:        353876 kB
Cached:        6550904 kB
SwapCached:      14844 kB
Active:       12215712 kB
Inactive:      5412964 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      15016024 kB
SwapTotal:    67111528 kB
SwapFree:     52307772 kB
Dirty:           34460 kB
Writeback:           0 kB
AnonPages:    10721052 kB
Mapped:          19720 kB
Slab:           164756 kB
PageTables:      71264 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 67752140 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= 73692 MiB
End job on node101 at 2011-05-16 20:22:05