Trace number 3378409

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)? 4749.26 1198.46

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v70-c6230-S635440951-015.UNKNOWN.cnf
MD5SUM84865a406d2a10d67b7d2a7ac3e327ce
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables70
Number of clauses6230
Sum of the clauses size43610
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 56230

Solver Data 

0.30/0.49	c INFO: loaded portfolio from HOME/etc/borg-mix+class.random.pickle
0.30/0.49	c INFO: solving HOME/instance-3378409-1305465324.cnf
0.30/0.49	c INFO: computing task features
0.38/0.52	c INFO: computed variable-clause graph statistics
0.38/0.52	c INFO: computed clause balance statistics
0.58/0.74	c INFO: computed variable balance statistics
0.68/0.82	c INFO: computed small-clause counts
0.68/0.82	c INFO: computed Horn-clause counts
0.68/0.83	c INFO: computed variable graph statistics
0.68/0.83	c INFO: collected features for HOME/instance-3378409-1305465324.cnf in 0.35 s
0.68/0.84	c INFO: running gnovelty+2@0 for 97 with 1199 remaining (b = 0.53)
0.68/0.85	c INFO: running gnovelty+2@0 for 97 with 1199 remaining (b = 0.10)
0.68/0.86	c INFO: running adaptg2wsat2009++@0 for 97 with 1199 remaining (b = 0.05)
0.68/0.87	c INFO: running adaptg2wsat2009++@0 for 97 with 1199 remaining (b = 0.04)
386.51/100.18	c INFO: running adaptg2wsat2009++@0 for 97 with 1100 remaining (b = 0.03)
389.56/101.17	c INFO: running gnovelty+2@0 for 97 with 1099 remaining (b = 0.03)
410.76/106.22	c INFO: running FH@0 for 97 with 1094 remaining (b = 0.02)
441.05/113.85	c INFO: running march_hi@0 for 485 with 1086 remaining (b = 0.10)
786.63/200.51	c INFO: running adaptg2wsat2009++@0 for 97 with 999 remaining (b = 0.02)
790.25/201.49	c INFO: running march_hi@0 for 485 with 998 remaining (b = 0.08)
810.45/206.55	c INFO: running march_hi@0 for 485 with 993 remaining (b = 0.07)
1185.45/300.84	c INFO: running FH@0 for 97 with 899 remaining (b = 0.01)
1584.27/401.16	c INFO: running march_hi@0 for 388 with 799 remaining (b = 0.05)
2385.83/602.76	c INFO: running march_hi@100 for 291 with 597 remaining (b = 0.04)
2760.36/696.96	c INFO: running march_hi@99 for 291 with 503 remaining (b = 0.04)
2792.17/704.94	c INFO: running march_hi@98 for 291 with 495 remaining (b = 0.04)
3137.72/791.83	c INFO: running march_hi@487 for 194 with 408 remaining (b = 0.04)
3556.18/898.41	c INFO: running march_hi@589 for 97 with 302 remaining (b = 0.02)
3907.29/986.76	c INFO: running hybridGM3@0 for 213 with 213 remaining (b = 0.02)
3935.41/993.89	c INFO: running march_hi@589 for 97 with 206 remaining (b = 0.02)
3945.77/996.47	c INFO: running adaptg2wsat2009++@0 for 97 with 204 remaining (b = 0.01)
3975.97/1004.03	c INFO: running march_hi@488 for 196 with 196 remaining (b = 0.03)
4326.62/1092.29	c INFO: running adaptg2wsat2009++@99 for 108 with 108 remaining (b = 0.01)
4328.98/1092.80	c INFO: running gnovelty+2@0 for 107 with 107 remaining (b = 0.01)
4748.78/1198.44	s UNKNOWN

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: UNKNOWN

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3378409-1305465324/watcher-3378409-1305465324 -o /tmp/evaluation-result-3378409-1305465324/solver-3378409-1305465324 -C 4800 -W 1300 -M 15500 python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3378409-1305465324.cnf -seed 1051148951 -budget 4800 -cores 4 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.08 0.02 0.45 5/410 8723
/proc/meminfo: memFree=23832868/32951132 swapFree=67093844/67111528
[pid=8723] ppid=8721 vsize=15908 CPUtime=0 cores=1,3,5,7
/proc/8723/stat : 8723 (python) R 8721 8723 8625 0 -1 4202496 956 0 0 0 0 0 0 0 21 0 1 0 658131065 16289792 833 33554432000 4194304 5683644 140735869315760 18446744073709551615 242970548224 0 2147483391 16781312 2 0 0 0 17 3 0 0 0
/proc/8723/statm: 3978 834 357 364 0 465 0

[startup+0.110949 s]
/proc/loadavg: 0.08 0.02 0.45 5/410 8723
/proc/meminfo: memFree=23832868/32951132 swapFree=67093844/67111528
[pid=8723] ppid=8721 vsize=104616 CPUtime=0.08 cores=1,3,5,7
/proc/8723/stat : 8723 (python) S 8721 8723 8625 0 -1 4202496 3153 0 0 0 6 2 0 0 17 0 1 0 658131065 107126784 2829 33554432000 4194304 5683644 140735869315760 18446744073709551615 242970548224 0 2147483391 16781312 2 18446744071699109054 0 0 17 5 0 0 0
/proc/8723/statm: 26154 2829 847 364 0 1902 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 104616

[startup+0.203807 s]
/proc/loadavg: 0.08 0.02 0.45 5/410 8723
/proc/meminfo: memFree=23832868/32951132 swapFree=67093844/67111528
[pid=8723] ppid=8721 vsize=126804 CPUtime=0.15 cores=1,3,5,7
/proc/8723/stat : 8723 (python) S 8721 8723 8625 0 -1 4202496 5493 935 1 0 12 3 0 0 19 0 1 0 658131065 129847296 4006 33554432000 4194304 5683644 140735869315760 18446744073709551615 242970548224 0 2147483391 16781312 2 18446744071699109054 0 0 17 7 0 0 0
/proc/8723/statm: 31701 4006 1008 364 0 2996 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 126804

[startup+0.301223 s]
/proc/loadavg: 0.08 0.02 0.45 5/410 8723
/proc/meminfo: memFree=23832868/32951132 swapFree=67093844/67111528
[pid=8723] ppid=8721 vsize=154348 CPUtime=0.22 cores=1,3,5,7
/proc/8723/stat : 8723 (python) S 8721 8723 8625 0 -1 4202496 6348 935 1 0 16 6 0 0 18 0 1 0 658131065 158052352 4474 33554432000 4194304 5683644 140735869315760 18446744073709551615 242970548224 0 2147483391 16781312 2 18446744071699109054 0 0 17 7 0 0 0
/proc/8723/statm: 38587 4474 1250 364 0 3215 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 154348

[startup+0.70183 s]
/proc/loadavg: 0.08 0.02 0.45 5/410 8723
/proc/meminfo: memFree=23832868/32951132 swapFree=67093844/67111528
[pid=8723] ppid=8721 vsize=279752 CPUtime=0.58 cores=1,3,5,7
/proc/8723/stat : 8723 (python) R 8721 8723 8625 0 -1 4202496 10028 935 1 0 50 8 0 0 17 0 1 0 658131065 286466048 7322 33554432000 4194304 5683644 140735869315760 18446744073709551615 242970205284 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/8723/statm: 69938 7322 1826 364 0 5862 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 279752

[startup+1.50066 s]
/proc/loadavg: 0.55 0.12 0.48 9/423 8740
/proc/meminfo: memFree=23790720/32951132 swapFree=67093844/67111528
[pid=8723] ppid=8721 vsize=320136 CPUtime=0.74 cores=1,3,5,7
/proc/8723/stat : 8723 (python) S 8721 8723 8625 0 -1 4202496 12872 935 1 0 66 8 0 0 21 0 5 0 658131065 327819264 7249 33554432000 4194304 5683644 140735869315760 18446744073709551615 242982376907 0 0 16781312 2 18446744073709551615 0 0 17 7 0 0 0
/proc/8723/statm: 80034 7249 1883 364 0 15943 0
[pid=8729] ppid=8723 vsize=279780 CPUtime=0 cores=1,3,5,7
/proc/8729/stat : 8729 (python) S 8723 8723 8625 0 -1 4202560 619 0 0 0 0 0 0 0 19 0 1 0 658131150 286494720 5596 33554432000 4194304 5683644 140735869315760 18446744073709551615 242982376848 0 0 16781312 514 18446744071562362840 0 0 17 7 0 0 0
/proc/8729/statm: 69945 5596 322 364 0 5863 0
[pid=8731] ppid=8729 vsize=4 CPUtime=0.26 cores=1,3,5,7
/proc/8731/stat : 8731 (python) R 8729 8731 8731 0 -1 4202560 266 0 0 0 0 26 0 0 21 0 1 0 658131150 4096 1 33554432000 0 0 0 0 0 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/8731/statm: 1 1 0 0 0 1 0
[pid=8732] ppid=8723 vsize=289380 CPUtime=0 cores=1,3,5,7
/proc/8732/stat : 8732 (python) S 8723 8723 8625 0 -1 4202560 738 0 0 0 0 0 0 0 21 0 1 0 658131151 296325120 5702 33554432000 4194304 5683644 140735869315760 18446744073709551615 242970570310 0 0 16781312 514 8913487608122703871 0 0 17 7 0 0 0
/proc/8732/statm: 72345 5702 348 364 0 8260 0
[pid=8734] ppid=8732 vsize=1018076 CPUtime=0.63 cores=1,3,5,7
/proc/8734/stat : 8734 (gnovelty+2) R 8732 8734 8734 0 -1 4202496 530 0 0 0 63 0 0 0 25 0 1 0 658131151 1042509824 267 33554432000 134512640 135663704 4293712960 18446744073709551615 134525544 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/8734/statm: 254519 267 113 282 0 254235 0
[pid=8735] ppid=8723 vsize=299636 CPUtime=0 cores=1,3,5,7
/proc/8735/stat : 8735 (python) S 8723 8723 8625 0 -1 4202560 719 0 0 0 0 0 0 0 19 0 1 0 658131152 306827264 5702 33554432000 4194304 5683644 140735869315760 18446744073709551615 242970570310 0 0 16781312 514 18110600833405026303 0 0 17 7 0 0 0
/proc/8735/statm: 74909 5702 344 364 0 10821 0
[pid=8737] ppid=8735 vsize=416784 CPUtime=0.63 cores=1,3,5,7
/proc/8737/stat : 8737 (adaptg2wsat2009) R 8735 8737 8737 0 -1 4202496 605 0 0 0 63 0 0 0 22 0 1 0 658131152 426786816 340 33554432000 134512640 135107411 4293168256 18446744073709551615 134523503 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/8737/statm: 104196 340 49 146 0 103072 0
[pid=8738] ppid=8723 vsize=309892 CPUtime=0 cores=1,3,5,7
/proc/8738/stat : 8738 (python) S 8723 8723 8625 0 -1 4202560 725 0 0 0 0 0 0 0 21 0 1 0 658131153 317329408 5706 33554432000 4194304 5683644 140735869315760 18446744073709551615 242970570310 0 0 16781312 514 3877484109617954815 0 0 17 7 0 0 0
/proc/8738/statm: 77473 5706 344 364 0 13382 0
[pid=8740] ppid=8738 vsize=416784 CPUtime=0.6 cores=1,3,5,7
/proc/8740/stat : 8740 (adaptg2wsat2009) R 8738 8740 8740 0 -1 4202496 604 0 0 0 60 0 0 0 25 0 1 0 658131153 426786816 340 33554432000 134512640 135107411 4291612000 18446744073709551615 134523485 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/8740/statm: 104196 340 49 146 0 103072 0
[pid=8723/tid=8730] ppid=8721 vsize=320136 CPUtime=0 cores=1,3,5,7
/proc/8723/task/8730/stat : 8730 (python) S 8721 8723 8625 0 -1 4202560 26 935 0 0 0 0 0 0 20 0 5 0 658131150 327819264 7249 33554432000 4194304 5683644 140735869315760 18446744073709551615 242982373809 0 0 16781312 2 18446604467241580544 0 0 -1 7 0 0 0
[pid=8723/tid=8733] ppid=8721 vsize=320136 CPUtime=0 cores=1,3,5,7
/proc/8723/task/8733/stat : 8733 (python) S 8721 8723 8625 0 -1 4202560 24 935 0 0 0 0 0 0 22 0 5 0 658131151 327819264 7249 33554432000 4194304 5683644 140735869315760 18446744073709551615 242982373809 0 0 16781312 2 18446604467241580544 0 0 -1 7 0 0 0
[pid=8723/tid=8736] ppid=8721 vsize=320136 CPUtime=0 cores=1,3,5,7
/proc/8723/task/8736/stat : 8736 (python) S 8721 8723 8625 0 -1 4202560 24 935 0 0 0 0 0 0 20 0 5 0 658131152 327819264 7249 33554432000 4194304 5683644 140735869315760 18446744073709551615 242982373809 0 0 16781312 2 18446604467241580544 0 0 -1 7 0 0 0
[pid=8723/tid=8739] ppid=8721 vsize=320136 CPUtime=0 cores=1,3,5,7
/proc/8723/task/8739/stat : 8739 (python) S 8721 8723 8625 0 -1 4202560 29 935 0 0 0 0 0 0 22 0 5 0 658131153 327819264 7249 33554432000 4194304 5683644 140735869315760 18446744073709551615 242982373809 0 0 16781312 2 18446604467241580544 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 3350472

[startup+3.10139 s]
/proc/loadavg: 0.55 0.12 0.48 9/423 8740
/proc/meminfo: memFree=23789748/32951132 swapFree=67093844/67111528
[pid=8723] ppid=8721 vsize=320136 CPUtime=0.74 cores=1,3,5,7
/proc/8723/stat : 8723 (python) S 8721 8723 8625 0 -1 4202496 12872 935 1 0 66 8 0 0 21 0 5 0 658131065 327819264 7249 33554432000 4194304 5683644 140735869315760 18446744073709551615 242982376907 0 0 16781312 2 18446744073709551615 0 0 17 7 0 0 0
/proc/8723/statm: 80034 7249 1883 364 0 15943 0
[pid=8729] ppid=8723 vsize=278752 CPUtime=0 cores=1,3,5,7
/proc/8729/stat : 8729 (python) S 8723 8723 8625 0 -1 4202560 731 0 0 0 0 0 0 0 18 0 1 0 658131150 285442048 5626 33554432000 4194304 5683644 140735869315760 18446744073709551615 242970570255 0 0 16781312 514 5975645315263365119 0 0 17 7 0 0 0
/proc/8729/statm: 69688 5626 354 364 0 5606 0
[pid=8731] ppid=8729 vsize=1017804 CPUtime=0.92 cores=1,3,5,7
/proc/8731/stat : 8731 (gnovelty+2) R 8729 8731 8731 0 -1 4202496 387 0 0 0 43 49 0 0 25 0 1 0 658131150 1042231296 120 33554432000 134512640 135663704 4291310112 18446744073709551615 135285417 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/8731/statm: 254451 120 97 282 0 254167 0
[pid=8732] ppid=8723 vsize=289380 CPUtime=0 cores=1,3,5,7
/proc/8732/stat : 8732 (python) S 8723 8723 8625 0 -1 4202560 738 0 0 0 0 0 0 0 18 0 1 0 658131151 296325120 5702 33554432000 4194304 5683644 140735869315760 18446744073709551615 242970570310 0 0 16781312 514 8913487608122671366 0 0 17 7 0 0 0
/proc/8732/statm: 72345 5702 348 364 0 8260 0
[pid=8734] ppid=8732 vsize=1018076 CPUtime=2.24 cores=1,3,5,7
/proc/8734/stat : 8734 (gnovelty+2) R 8732 8734 8734 0 -1 4202496 530 0 0 0 224 0 0 0 25 0 1 0 658131151 1042509824 267 33554432000 134512640 135663704 4293712960 18446744073709551615 134525278 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/8734/statm: 254519 267 113 282 0 254235 0
[pid=8735] ppid=8723 vsize=299636 CPUtime=0 cores=1,3,5,7
/proc/8735/stat : 8735 (python) S 8723 8723 8625 0 -1 4202560 738 0 0 0 0 0 0 0 18 0 1 0 658131152 306827264 5706 33554432000 4194304 5683644 140735869315760 18446744073709551615 242970570310 0 0 16781312 514 18110600833404993796 0 0 17 7 0 0 0
/proc/8735/statm: 74909 5706 348 364 0 10821 0
[pid=8737] ppid=8735 vsize=416920 CPUtime=2.23 cores=1,3,5,7
/proc/8737/stat : 8737 (adaptg2wsat2009) R 8735 8737 8737 0 -1 4202496 671 0 0 0 223 0 0 0 25 0 1 0 658131152 426926080 406 33554432000 134512640 135107411 4293168256 18446744073709551615 134532107 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/8737/statm: 104230 406 59 146 0 103106 0
[pid=8738] ppid=8723 vsize=309892 CPUtime=0 cores=1,3,5,7
/proc/8738/stat : 8738 (python) S 8723 8723 8625 0 -1 4202560 744 0 0 0 0 0 0 0 18 0 1 0 658131153 317329408 5710 33554432000 4194304 5683644 140735869315760 18446744073709551615 242970570310 0 0 16781312 514 3877484109617922310 0 0 17 7 0 0 0
/proc/8738/statm: 77473 5710 348 364 0 13382 0
[pid=8740] ppid=8738 vsize=416920 CPUtime=2.19 cores=1,3,5,7
/proc/8740/stat : 8740 (adaptg2wsat2009) R 8738 8740 8740 0 -1 4202496 670 0 0 0 219 0 0 0 25 0 1 0 658131153 426926080 406 33554432000 134512640 135107411 4291612000 18446744073709551615 134532036 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/8740/statm: 104230 406 59 146 0 103106 0
[pid=8723/tid=8730] ppid=8721 vsize=320136 CPUtime=0 cores=1,3,5,7
/proc/8723/task/8730/stat : 8730 (python) S 8721 8723 8625 0 -1 4202560 26 935 0 0 0 0 0 0 20 0 5 0 658131150 327819264 7249 33554432000 4194304 5683644 140735869315760 18446744073709551615 242982373809 0 0 16781312 2 18446604467241580544 0 0 -1 7 0 0 0
[pid=8723/tid=8733] ppid=8721 vsize=320136 CPUtime=0 cores=1,3,5,7
/proc/8723/task/8733/stat : 8733 (python) S 8721 8723 8625 0 -1 4202560 24 935 0 0 0 0 0 0 22 0 5 0 658131151 327819264 7249 33554432000 4194304 5683644 140735869315760 18446744073709551615 242982373809 0 0 16781312 2 18446604467241580544 0 0 -1 7 0 0 0
[pid=8723/tid=8736] ppid=8721 vsize=320136 CPUtime=0 cores=1,3,5,7
/proc/8723/task/8736/stat : 8736 (python) S 8721 8723 8625 0 -1 4202560 24 935 0 0 0 0 0 0 20 0 5 0 658131152 327819264 7249 33554432000 4194304 5683644 140735869315760 18446744073709551615 242982373809 0 0 16781312 2 18446604467241580544 0 0 -1 7 0 0 0
[pid=8723/tid=8739] ppid=8721 vsize=320136 CPUtime=0 cores=1,3,5,7
/proc/8723/task/8739/stat : 8739 (python) S 8721 8723 8625 0 -1 4202560 29 935 0 0 0 0 0 0 22 0 5 0 658131153 327819264 7249 33554432000 4194304 5683644 140735869315760 18446744073709551615 242982373809 0 0 16781312 2 18446604467241580544 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 8.32
Current children cumulated vsize (KiB) 4367516

[startup+6.30083 s]
/proc/loadavg: 1.31 0.28 0.53 9/423 8740
/proc/meminfo: memFree=23786860/32951132 swapFree=67093844/67111528
[pid=8723] ppid=8721 vsize=320136 CPUtime=0.74 cores=1,3,5,7
/proc/8723/stat : 8723 (python) S 8721 8723 8625 0 -1 4202496 12872 935 1 0 66 8 0 0 21 0 5 0 658131065 327819264 7249 33554432000 4194304 5683644 140735869315760 18446744073709551615 242982376907 0 0 16781312 2 18446744073709551615 0 0 17 7 0 0 0
/proc/8723/statm: 80034 7249 1883 364 0 15943 0
[pid=8729] ppid=8723 vsize=278752 CPUtime=0.01 cores=1,3,5,7
/proc/8729/stat : 8729 (python) S 8723 8723 8625 0 -1 4202560 894 0 0 0 0 1 0 0 18 0 1 0 658131150 285442048 5648 33554432000 4194304 5683644 140735869315760 18446744073709551615 242970570255 0 0 16781312 514 5975645315263332614 0 0 17 7 0 0 0
/proc/8729/statm: 69688 5648 376 364 0 5606 0
[pid=8731] ppid=8729 vsize=1017804 CPUtime=2.31 cores=1,3,5,7
/proc/8731/stat : 8731 (gnovelty+2) R 8729 8731 8731 0 -1 4202496 401 0 0 0 171 60 0 0 25 0 1 0 658131150 1042231296 134 33554432000 134512640 135663704 4291310112 18446744073709551615 135117120 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/8731/statm: 254451 134 97 282 0 254167 0
[pid=8732] ppid=8723 vsize=289380 CPUtime=0 cores=1,3,5,7
/proc/8732/stat : 8732 (python) S 8723 8723 8625 0 -1 4202560 907 0 0 0 0 0 0 0 18 0 1 0 658131151 296325120 5725 33554432000 4194304 5683644 140735869315760 18446744073709551615 242970570310 0 0 16781312 514 8913487608122671366 0 0 17 7 0 0 0
/proc/8732/statm: 72345 5725 371 364 0 8260 0
[pid=8734] ppid=8732 vsize=1018076 CPUtime=5.44 cores=1,3,5,7
/proc/8734/stat : 8734 (gnovelty+2) R 8732 8734 8734 0 -1 4202496 530 0 0 0 544 0 0 0 25 0 1 0 658131151 1042509824 267 33554432000 134512640 135663704 4293712960 18446744073709551615 134525278 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/8734/statm: 254519 267 113 282 0 254235 0
[pid=8735] ppid=8723 vsize=299636 CPUtime=0.01 cores=1,3,5,7
/proc/8735/stat : 8735 (python) S 8723 8723 8625 0 -1 4202560 903 0 0 0 1 0 0 0 18 0 1 0 658131152 306827264 5729 33554432000 4194304 5683644 140735869315760 18446744073709551615 242970570310 0 0 16781312 514 18110600833404993796 0 0 17 7 0 0 0
/proc/8735/statm: 74909 5729 371 364 0 10821 0
[pid=8737] ppid=8735 vsize=416920 CPUtime=5.43 cores=1,3,5,7
/proc/8737/stat : 8737 (adaptg2wsat2009) R 8735 8737 8737 0 -1 4202496 671 0 0 0 543 0 0 0 25 0 1 0 658131152 426926080 406 33554432000 134512640 135107411 4293168256 18446744073709551615 134531724 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/8737/statm: 104230 406 59 146 0 103106 0
[pid=8738] ppid=8723 vsize=309892 CPUtime=0.01 cores=1,3,5,7
/proc/8738/stat : 8738 (python) S 8723 8723 8625 0 -1 4202560 912 0 0 0 1 0 0 0 18 0 1 0 658131153 317329408 5733 33554432000 4194304 5683644 140735869315760 18446744073709551615 242970570310 0 0 16781312 514 3877484109617922310 0 0 17 7 0 0 0
/proc/8738/statm: 77473 5733 371 364 0 13382 0
[pid=8740] ppid=8738 vsize=416920 CPUtime=5.27 cores=1,3,5,7
/proc/8740/stat : 8740 (adaptg2wsat2009) R 8738 8740 8740 0 -1 4202496 670 0 0 0 527 0 0 0 25 0 1 0 658131153 426926080 406 33554432000 134512640 135107411 4291612000 18446744073709551615 134531246 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/8740/statm: 104230 406 59 146 0 103106 0
[pid=8723/tid=8730] ppid=8721 vsize=320136 CPUtime=0 cores=1,3,5,7
/proc/8723/task/8730/stat : 8730 (python) S 8721 8723 8625 0 -1 4202560 26 935 0 0 0 0 0 0 20 0 5 0 658131150 327819264 7249 33554432000 4194304 5683644 140735869315760 18446744073709551615 242982373809 0 0 16781312 2 18446604467241580544 0 0 -1 7 0 0 0
[pid=8723/tid=8733] ppid=8721 vsize=320136 CPUtime=0 cores=1,3,5,7
/proc/8723/task/8733/stat : 8733 (python) S 8721 8723 8625 0 -1 4202560 24 935 0 0 0 0 0 0 22 0 5 0 658131151 327819264 7249 33554432000 4194304 5683644 140735869315760 18446744073709551615 242982373809 0 0 16781312 2 18446604467241580544 0 0 -1 7 0 0 0
[pid=8723/tid=8736] ppid=8721 vsize=320136 CPUtime=0 cores=1,3,5,7
/proc/8723/task/8736/stat : 8736 (python) S 8721 8723 8625 0 -1 4202560 24 935 0 0 0 0 0 0 20 0 5 0 658131152 327819264 7249 33554432000 4194304 5683644 140735869315760 18446744073709551615 242982373809 0 0 16781312 2 18446604467241580544 0 0 -1 7 0 0 0
[pid=8723/tid=8739] ppid=8721 vsize=320136 CPUtime=0 cores=1,3,5,7
/proc/8723/task/8739/stat : 8739 (python) S 8721 8723 8625 0 -1 4202560 29 935 0 0 0 0 0 0 22 0 5 0 658131153 327819264 7249 33554432000 4194304 5683644 140735869315760 18446744073709551615 242982373809 0 0 16781312 2 18446604467241580544 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 19.22
Current children cumulated vsize (KiB) 4367516

[startup+12.7007 s]
/proc/loadavg: 1.93 0.42 0.57 9/423 8740
/proc/meminfo: memFree=23785392/32951132 swapFree=67093844/67111528
[pid=8723] ppid=8721 vsize=320136 CPUtime=0.74 cores=1,3,5,7
/proc/8723/stat : 8723 (python) S 8721 8723 8625 0 -1 4202496 12872 935 1 0 66 8 0 0 21 0 5 0 658131065 327819264 7249 33554432000 4194304 5683644 140735869315760 18446744073709551615 242982376907 0 0 16781312 2 18446744073709551615 0 0 17 7 0 0 0
/proc/8723/statm: 80034 7249 1883 364 0 15943 0
[pid=8729] ppid=8723 vsize=278752 CPUtime=0.03 cores=1,3,5,7
/proc/8729/stat : 8729 (python) S 8723 8723 8625 0 -1 4202560 900 0 0 0 1 2 0 0 15 0 1 0 658131150 285442048 5649 33554432000 4194304 5683644 140735869315760 18446744073709551615 242970570255 0 0 16781312 514 10646456742545686790 0 0 17 7 0 0 0
/proc/8729/statm: 69688 5649 377 364 0 5606 0
[pid=8731] ppid=8729 vsize=1018076 CPUtime=5.09 cores=1,3,5,7
/proc/8731/stat : 8731 (gnovelty+2) R 8729 8731 8731 0 -1 4202496 536 0 0 0 419 90 0 0 25 0 1 0 658131150 1042509824 268 33554432000 134512640 135663704 4291310112 18446744073709551615 134524509 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/8731/statm: 254519 268 113 282 0 254235 0
[pid=8732] ppid=8723 vsize=289380 CPUtime=0.02 cores=1,3,5,7

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

/proc/8723/task/8796/stat : 8796 (python) S 8721 8723 8625 0 -1 4202560 23 935 0 0 0 0 0 0 20 0 16 0 658151117 443584512 7358 33554432000 4194304 5683644 140735869315760 18446744073709551615 242982373809 0 0 16781312 2 18446604467241580544 0 0 -1 3 0 0 0
[pid=8723/tid=8800] ppid=8721 vsize=433188 CPUtime=0 cores=1,3,5,7
/proc/8723/task/8800/stat : 8800 (python) S 8721 8723 8625 0 -1 4202560 33 935 0 0 0 0 0 0 18 0 16 0 658151215 443584512 7358 33554432000 4194304 5683644 140735869315760 18446744073709551615 242982373809 0 0 16781312 2 18446604467241580544 0 0 -1 3 0 0 0
[pid=8723/tid=8804] ppid=8721 vsize=433188 CPUtime=0 cores=1,3,5,7
/proc/8723/task/8804/stat : 8804 (python) S 8721 8723 8625 0 -1 4202560 36 935 0 0 0 0 0 0 18 0 16 0 658151721 443584512 7358 33554432000 4194304 5683644 140735869315760 18446744073709551615 242982373809 0 0 16781312 2 18446604467241580544 0 0 -1 3 0 0 0
[pid=8723/tid=8816] ppid=8721 vsize=433188 CPUtime=0 cores=1,3,5,7
/proc/8723/task/8816/stat : 8816 (python) S 8721 8723 8625 0 -1 4202560 26 935 0 0 0 0 0 0 20 0 16 0 658161150 443584512 7358 33554432000 4194304 5683644 140735869315760 18446744073709551615 242982373809 0 0 16781312 2 18446604467241580544 0 0 -1 3 0 0 0
[pid=8723/tid=8828] ppid=8721 vsize=433188 CPUtime=0 cores=1,3,5,7
/proc/8723/task/8828/stat : 8828 (python) S 8721 8723 8625 0 -1 4202560 24 935 0 0 0 0 0 0 18 0 16 0 658171182 443584512 7358 33554432000 4194304 5683644 140735869315760 18446744073709551615 242982373809 0 0 16781312 2 18446604467241580544 0 0 -1 3 0 0 0
[pid=8723/tid=9018] ppid=8721 vsize=433188 CPUtime=0 cores=1,3,5,7
/proc/8723/task/9018/stat : 9018 (python) S 8721 8723 8625 0 -1 4202560 28 935 0 0 0 0 0 0 20 0 16 0 658229742 443584512 7358 33554432000 4194304 5683644 140735869315760 18446744073709551615 242982373809 0 0 16781312 2 18446604467241580544 0 0 -1 3 0 0 0
[pid=8723/tid=9024] ppid=8721 vsize=433188 CPUtime=0 cores=1,3,5,7
/proc/8723/task/9024/stat : 9024 (python) S 8721 8723 8625 0 -1 4202560 29 935 0 0 0 0 0 0 20 0 16 0 658240346 443584512 7358 33554432000 4194304 5683644 140735869315760 18446744073709551615 242982373809 0 0 16781312 2 18446604467241580544 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4747.22
Current children cumulated vsize (KiB) 12598828

[startup+1198.4 s]
/proc/loadavg: 9.10 8.78 6.41 11/493 9028
/proc/meminfo: memFree=23092200/32951132 swapFree=67093844/67111528
[pid=8723] ppid=8721 vsize=433188 CPUtime=0.96 cores=1,3,5,7
/proc/8723/stat : 8723 (python) S 8721 8723 8625 0 -1 4202496 22896 935 1 0 85 11 0 0 19 0 16 0 658131065 443584512 7358 33554432000 4194304 5683644 140735869315760 18446744073709551615 242982376907 0 0 16781312 2 18446744073709551615 0 0 17 7 0 0 0
/proc/8723/statm: 108297 7358 1906 364 0 44173 0
[pid=8729] ppid=8723 vsize=288996 CPUtime=0.33 cores=1,3,5,7
/proc/8729/stat : 8729 (python) S 8723 8723 8625 0 -1 4202560 1174 0 0 0 18 15 0 0 16 0 2 0 658131150 295931904 5693 33554432000 4194304 5683644 140735869315760 18446744073709551615 242982376907 0 0 16781312 514 18446744073709551615 0 0 17 7 0 0 0
/proc/8729/statm: 72249 5693 416 364 0 8167 0
[pid=8731] ppid=8729 vsize=1018076 CPUtime=103.16 cores=1,3,5,7
/proc/8731/stat : 8731 (gnovelty+2) T 8729 8731 8731 0 -1 4202496 536 0 0 0 10189 127 0 0 25 0 1 0 658131150 1042509824 268 33554432000 134512640 135663704 4291310112 18446744073709551615 134524827 0 0 16781312 0 18446744071562691360 0 0 17 1 0 0 0
/proc/8731/statm: 254519 268 113 282 0 254235 0
[pid=8729/tid=8772] ppid=8723 vsize=288996 CPUtime=0 cores=1,3,5,7
/proc/8729/task/8772/stat : 8772 (python) S 8723 8723 8625 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 658142450 295931904 5693 33554432000 4194304 5683644 140735869315760 18446744073709551615 242982373809 0 0 16781312 514 18446604462893941184 0 0 -1 7 0 0 0
[pid=8732] ppid=8723 vsize=289380 CPUtime=0.28 cores=1,3,5,7
/proc/8732/stat : 8732 (python) S 8723 8723 8625 0 -1 4202560 1094 0 0 0 14 14 0 0 19 0 2 0 658131151 296325120 5755 33554432000 4194304 5683644 140735869315760 18446744073709551615 242982376907 0 0 16781312 514 18446744073709551615 0 0 17 3 0 0 0
/proc/8732/statm: 72345 5755 400 364 0 8260 0
[pid=8734] ppid=8732 vsize=1018076 CPUtime=99.32 cores=1,3,5,7
/proc/8734/stat : 8734 (gnovelty+2) T 8732 8734 8734 0 -1 4202496 530 0 0 0 9932 0 0 0 25 0 1 0 658131151 1042509824 267 33554432000 134512640 135663704 4293712960 18446744073709551615 134525382 0 0 16781312 0 18446744071562691360 0 0 17 3 0 0 0
/proc/8734/statm: 254519 267 113 282 0 254235 0
[pid=8732/tid=8760] ppid=8723 vsize=289380 CPUtime=0 cores=1,3,5,7
/proc/8732/task/8760/stat : 8760 (python) S 8723 8723 8625 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 2 0 658141083 296325120 5755 33554432000 4194304 5683644 140735869315760 18446744073709551615 242982373809 0 0 16781312 514 18446604467872928192 0 0 -1 3 0 0 0
[pid=8735] ppid=8723 vsize=299636 CPUtime=0.62 cores=1,3,5,7
/proc/8735/stat : 8735 (python) S 8723 8723 8625 0 -1 4202560 1126 0 0 0 32 30 0 0 18 0 2 0 658131152 306827264 5759 33554432000 4194304 5683644 140735869315760 18446744073709551615 242982376907 0 0 16781312 514 18446744073709551615 0 0 17 7 0 0 0
/proc/8735/statm: 74909 5759 400 364 0 10821 0
[pid=8737] ppid=8735 vsize=416920 CPUtime=196.29 cores=1,3,5,7
/proc/8737/stat : 8737 (adaptg2wsat2009) T 8735 8737 8737 0 -1 4202496 671 0 0 0 19629 0 0 0 25 0 1 0 658131152 426926080 406 33554432000 134512640 135107411 4293168256 18446744073709551615 134532347 0 0 16781312 0 18446744071562691360 0 0 17 5 0 0 0
/proc/8737/statm: 104230 406 59 146 0 103106 0
[pid=8735/tid=8764] ppid=8723 vsize=299636 CPUtime=0 cores=1,3,5,7
/proc/8735/task/8764/stat : 8764 (python) S 8723 8723 8625 0 -1 4202560 48 0 0 0 0 0 0 0 18 0 2 0 658141182 306827264 5759 33554432000 4194304 5683644 140735869315760 18446744073709551615 242982373809 0 0 16781312 514 18446604461424363392 0 0 -1 7 0 0 0
[pid=8738] ppid=8723 vsize=309892 CPUtime=0.65 cores=1,3,5,7
/proc/8738/stat : 8738 (python) S 8723 8723 8625 0 -1 4202560 1133 0 0 0 35 30 0 0 18 0 2 0 658131153 317329408 5763 33554432000 4194304 5683644 140735869315760 18446744073709551615 242970570310 0 0 16781312 514 18446744073709551615 0 0 17 7 0 0 0
/proc/8738/statm: 77473 5763 400 364 0 13382 0
[pid=8740] ppid=8738 vsize=416920 CPUtime=208.55 cores=1,3,5,7
/proc/8740/stat : 8740 (adaptg2wsat2009) R 8738 8740 8740 0 -1 4202496 670 0 0 0 20855 0 0 0 25 0 1 0 658131153 426926080 406 33554432000 134512640 135107411 4291612000 18446744073709551615 134531822 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/8740/statm: 104230 406 59 146 0 103106 0
[pid=8738/tid=8768] ppid=8723 vsize=309892 CPUtime=0 cores=1,3,5,7
/proc/8738/task/8768/stat : 8768 (python) S 8723 8723 8625 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 2 0 658141687 317329408 5763 33554432000 4194304 5683644 140735869315760 18446744073709551615 242982373809 0 0 16781312 514 18446604470995359552 0 0 -1 7 0 0 0
[pid=8761] ppid=8723 vsize=320148 CPUtime=0.3 cores=1,3,5,7
/proc/8761/stat : 8761 (python) S 8723 8723 8625 0 -1 4202560 1100 0 0 0 16 14 0 0 18 0 2 0 658141084 327831552 5775 33554432000 4194304 5683644 140735869315760 18446744073709551615 242982376907 0 0 16781312 514 18446744073709551615 0 0 17 3 0 0 0
/proc/8761/statm: 80037 5775 400 364 0 15943 0
[pid=8763] ppid=8761 vsize=416920 CPUtime=100.05 cores=1,3,5,7
/proc/8763/stat : 8763 (adaptg2wsat2009) T 8761 8763 8763 0 -1 4202496 668 0 0 0 10005 0 0 0 25 0 1 0 658141085 426926080 405 33554432000 134512640 135107411 4287083776 18446744073709551615 134531239 0 0 16781312 0 18446744071562691360 0 0 17 1 0 0 0
/proc/8763/statm: 104230 405 59 146 0 103106 0
[pid=8761/tid=8794] ppid=8723 vsize=320148 CPUtime=0 cores=1,3,5,7
/proc/8761/task/8794/stat : 8794 (python) S 8723 8723 8625 0 -1 4202560 49 0 0 0 0 0 0 0 19 0 2 0 658151116 327831552 5775 33554432000 4194304 5683644 140735869315760 18446744073709551615 242982373809 0 0 16781312 514 18446604469213821120 0 0 -1 1 0 0 0
[pid=8765] ppid=8723 vsize=330176 CPUtime=0.3 cores=1,3,5,7
/proc/8765/stat : 8765 (python) S 8723 8723 8625 0 -1 4202560 1105 0 0 0 16 14 0 0 19 0 2 0 658141183 338100224 5697 33554432000 4194304 5683644 140735869315760 18446744073709551615 242982376907 0 0 16781312 514 18446744073709551615 0 0 17 3 0 0 0
/proc/8765/statm: 82544 5697 400 364 0 18447 0
[pid=8767] ppid=8765 vsize=1018076 CPUtime=100.29 cores=1,3,5,7
/proc/8767/stat : 8767 (gnovelty+2) T 8765 8767 8767 0 -1 4202496 528 0 0 0 10029 0 0 0 25 0 1 0 658141183 1042509824 267 33554432000 134512640 135663704 4286594960 18446744073709551615 134524882 0 0 16781312 0 18446744071562691360 0 0 17 5 0 0 0
/proc/8767/statm: 254519 267 113 282 0 254235 0
[pid=8765/tid=8798] ppid=8723 vsize=330176 CPUtime=0 cores=1,3,5,7
/proc/8765/task/8798/stat : 8798 (python) S 8723 8723 8625 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 658151214 338100224 5697 33554432000 4194304 5683644 140735869315760 18446744073709551615 242982373809 0 0 16781312 514 18446604461630850304 0 0 -1 3 0 0 0
[pid=8769] ppid=8723 vsize=340972 CPUtime=0.3 cores=1,3,5,7
/proc/8769/stat : 8769 (python) S 8723 8723 8625 0 -1 4202560 1101 0 0 0 16 14 0 0 19 0 2 0 658141688 349155328 5836 33554432000 4194304 5683644 140735869315760 18446744073709551615 242982376907 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/8769/statm: 85243 5836 400 364 0 21143 0
[pid=8771] ppid=8769 vsize=247064 CPUtime=99 cores=1,3,5,7
/proc/8771/stat : 8771 (FH) T 8769 8771 8771 0 -1 4202496 625 0 0 0 9900 0 0 0 25 0 1 0 658141688 252993536 365 33554432000 134512640 134936988 4286776480 18446744073709551615 134552073 0 0 16781312 0 18446744071562691360 0 0 17 3 0 0 0
/proc/8771/statm: 61766 365 41 104 0 61270 0
[pid=8769/tid=8802] ppid=8723 vsize=340972 CPUtime=0 cores=1,3,5,7
/proc/8769/task/8802/stat : 8802 (python) S 8723 8723 8625 0 -1 4202560 49 0 0 0 0 0 0 0 19 0 2 0 658151719 349155328 5836 33554432000 4194304 5683644 140735869315760 18446744073709551615 242982373809 0 0 16781312 514 18446604457653875648 0 0 -1 1 0 0 0
[pid=8773] ppid=8723 vsize=351228 CPUtime=3 cores=1,3,5,7
/proc/8773/stat : 8773 (python) S 8723 8723 8625 0 -1 4202560 1208 0 0 0 165 135 0 0 15 0 2 0 658142451 359657472 5846 33554432000 4194304 5683644 140735869315760 18446744073709551615 242982376907 0 0 16781312 514 18446744073709551615 0 0 17 3 0 0 0
/proc/8773/statm: 87807 5846 406 364 0 23704 0
[pid=8775] ppid=8773 vsize=92944 CPUtime=878.89 cores=1,3,5,7
/proc/8775/stat : 8775 (march_hi) T 8773 8775 8775 0 -1 4202496 22102 0 0 0 87884 5 0 0 25 0 1 0 658142451 95174656 20952 33554432000 4194304 4955518 140736934912592 18446744073709551615 4300541 0 0 16781312 0 18446744071562691360 0 0 17 1 0 0 0
/proc/8775/statm: 23236 20952 106 186 0 23049 0
[pid=8773/tid=8847] ppid=8723 vsize=351228 CPUtime=0 cores=1,3,5,7
/proc/8773/task/8847/stat : 8847 (python) S 8723 8723 8625 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 2 0 658191341 359657472 5846 33554432000 4194304 5683644 140735869315760 18446744073709551615 242982373809 0 0 16781312 514 18446604470960044992 0 0 -1 3 0 0 0
[pid=8795] ppid=8723 vsize=360848 CPUtime=0.31 cores=1,3,5,7
/proc/8795/stat : 8795 (python) S 8723 8723 8625 0 -1 4202560 1145 0 0 0 16 15 0 0 19 0 2 0 658151117 369508352 5723 33554432000 4194304 5683644 140735869315760 18446744073709551615 242982376907 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/8795/statm: 90212 5723 406 364 0 26106 0
[pid=8797] ppid=8795 vsize=416920 CPUtime=99.96 cores=1,3,5,7
/proc/8797/stat : 8797 (adaptg2wsat2009) T 8795 8797 8797 0 -1 4202496 674 0 0 0 9996 0 0 0 25 0 1 0 658151117 426926080 405 33554432000 134512640 135107411 4288150640 18446744073709551615 134531731 0 0 16781312 0 18446744071562691360 0 0 17 1 0 0 0
/proc/8797/statm: 104230 405 59 146 0 103106 0
[pid=8795/tid=8814] ppid=8723 vsize=360848 CPUtime=0 cores=1,3,5,7
/proc/8795/task/8814/stat : 8814 (python) S 8723 8723 8625 0 -1 4202560 50 0 0 0 0 0 0 0 19 0 2 0 658161148 369508352 5723 33554432000 4194304 5683644 140735869315760 18446744073709551615 242982373809 0 0 16781312 514 18446604467241579648 0 0 -1 1 0 0 0
[pid=8799] ppid=8723 vsize=371676 CPUtime=3.38 cores=1,3,5,7
/proc/8799/stat : 8799 (python) S 8723 8723 8625 0 -1 4202560 1184 0 0 0 181 157 0 0 15 0 2 0 658151215 380596224 5832 33554432000 4194304 5683644 140735869315760 18446744073709551615 242982376907 0 0 16781312 514 18446744073709551615 0 0 17 7 0 0 0
/proc/8799/statm: 92919 5832 400 364 0 28810 0
[pid=8801] ppid=8799 vsize=137144 CPUtime=974.86 cores=1,3,5,7
/proc/8801/stat : 8801 (march_hi) T 8799 8801 8801 0 -1 4202496 24204 0 0 0 97481 5 0 0 25 0 1 0 658151215 140435456 23056 33554432000 4194304 4955518 140735140928240 18446744073709551615 4208656 0 0 16781312 0 18446744071562691360 0 0 17 1 0 0 0
/proc/8801/statm: 34286 23056 106 186 0 34099 0
[pid=8799/tid=8853] ppid=8723 vsize=371676 CPUtime=0 cores=1,3,5,7
/proc/8799/task/8853/stat : 8853 (python) S 8723 8723 8625 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 2 0 658201559 380596224 5832 33554432000 4194304 5683644 140735869315760 18446744073709551615 242982373809 0 0 16781312 514 18446604467459889152 0 0 -1 1 0 0 0
[pid=8803] ppid=8723 vsize=382156 CPUtime=3.03 cores=1,3,5,7
/proc/8803/stat : 8803 (python) S 8723 8723 8625 0 -1 4202560 1183 0 0 0 160 143 0 0 15 0 2 0 658151721 391327744 5892 33554432000 4194304 5683644 140735869315760 18446744073709551615 242982376907 0 0 16781312 514 18446744073709551615 0 0 17 5 0 0 0
/proc/8803/statm: 95539 5892 400 364 0 31427 0
[pid=8805] ppid=8803 vsize=92944 CPUtime=878.38 cores=1,3,5,7
/proc/8805/stat : 8805 (march_hi) T 8803 8805 8805 0 -1 4202496 22048 0 0 0 87820 18 0 0 25 0 1 0 658151721 95174656 20897 33554432000 4194304 4955518 140737370698480 18446744073709551615 4208784 0 0 16781312 0 18446744071562691360 0 0 17 1 0 0 0
/proc/8805/statm: 23236 20897 106 186 0 23049 0
[pid=8803/tid=8851] ppid=8723 vsize=382156 CPUtime=0 cores=1,3,5,7
/proc/8803/task/8851/stat : 8851 (python) S 8723 8723 8625 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 2 0 658200761 391327744 5892 33554432000 4194304 5683644 140735869315760 18446744073709551615 242982373809 0 0 16781312 514 18446604459425645824 0 0 -1 5 0 0 0
[pid=8815] ppid=8723 vsize=392412 CPUtime=0.31 cores=1,3,5,7
/proc/8815/stat : 8815 (python) S 8723 8723 8625 0 -1 4202560 1125 0 0 0 17 14 0 0 19 0 2 0 658161149 401829888 5896 33554432000 4194304 5683644 140735869315760 18446744073709551615 242982376907 0 0 16781312 514 18446744073709551615 0 0 17 3 0 0 0
/proc/8815/statm: 98103 5896 400 364 0 33988 0
[pid=8817] ppid=8815 vsize=247072 CPUtime=99.61 cores=1,3,5,7
/proc/8817/stat : 8817 (FH) T 8815 8817 8817 0 -1 4202496 633 0 0 0 9961 0 0 0 25 0 1 0 658161150 253001728 365 33554432000 134512640 134936988 4292922448 18446744073709551615 134554623 0 0 16781312 0 18446744071562691360 0 0 17 3 0 0 0
/proc/8817/statm: 61768 365 41 104 0 61272 0
[pid=8815/tid=8826] ppid=8723 vsize=392412 CPUtime=0 cores=1,3,5,7
/proc/8815/task/8826/stat : 8826 (python) S 8723 8723 8625 0 -1 4202560 50 0 0 0 0 0 0 0 19 0 2 0 658171181 401829888 5896 33554432000 4194304 5683644 140735869315760 18446744073709551615 242982373809 0 0 16781312 514 18446604470919858048 0 0 -1 3 0 0 0
[pid=8827] ppid=8723 vsize=402668 CPUtime=2 cores=1,3,5,7
/proc/8827/stat : 8827 (python) S 8723 8723 8625 0 -1 4202560 1185 0 0 0 106 94 0 0 16 0 2 0 658171182 412332032 5901 33554432000 4194304 5683644 140735869315760 18446744073709551615 242982376907 0 0 16781312 514 18446744073709551615 0 0 17 3 0 0 0
/proc/8827/statm: 100667 5901 400 364 0 36549 0
[pid=8829] ppid=8827 vsize=63476 CPUtime=582.92 cores=1,3,5,7
/proc/8829/stat : 8829 (march_hi) T 8827 8829 8829 0 -1 4202496 15617 0 0 0 58280 12 0 0 25 0 1 0 658171182 64999424 14466 33554432000 4194304 4955518 140736053194176 18446744073709551615 4237830 0 0 16781312 0 18446744071562691360 0 0 17 1 0 0 0
/proc/8829/statm: 15869 14466 106 186 0 15682 0
[pid=8827/tid=8859] ppid=8723 vsize=402668 CPUtime=0 cores=1,3,5,7
/proc/8827/task/8859/stat : 8859 (python) S 8723 8723 8625 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 2 0 658210248 412332032 5901 33554432000 4194304 5683644 140735869315760 18446744073709551615 242982373809 0 0 16781312 514 18446604466756427968 0 0 -1 3 0 0 0
[pid=9017] ppid=8723 vsize=413204 CPUtime=0.66 cores=1,3,5,7
/proc/9017/stat : 9017 (python) S 8723 8723 8625 0 -1 4202560 1028 0 0 0 38 28 0 0 18 0 1 0 658229742 423120896 5944 33554432000 4194304 5683644 140735869315760 18446744073709551615 242970570310 0 0 16781312 514 10646456742545686790 0 0 17 3 0 0 0
/proc/9017/statm: 103301 5944 371 364 0 39180 0
[pid=9019] ppid=9017 vsize=268420 CPUtime=208.79 cores=1,3,5,7
/proc/9019/stat : 9019 (hybridGM3) R 9017 9019 9019 0 -1 4202496 4898 0 0 0 20879 0 0 0 25 0 1 0 658229742 274862080 4628 33554432000 134512640 135204385 4289334848 18446744073709551615 134537290 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/9019/statm: 67105 4628 64 169 0 66935 0
[pid=9023] ppid=8723 vsize=423200 CPUtime=0.32 cores=1,3,5,7
/proc/9023/stat : 9023 (python) S 8723 8723 8625 0 -1 4202560 1041 0 0 0 18 14 0 0 18 0 1 0 658240346 433356800 5833 33554432000 4194304 5683644 140735869315760 18446744073709551615 242970570310 0 0 16781312 514 10646456742545686792 0 0 17 7 0 0 0
/proc/9023/statm: 105800 5833 381 364 0 41676 0
[pid=9025] ppid=9023 vsize=1018076 CPUtime=101.96 cores=1,3,5,7
/proc/9025/stat : 9025 (gnovelty+2) R 9023 9025 9025 0 -1 4202496 544 0 0 0 10196 0 0 0 25 0 1 0 658240347 1042509824 267 33554432000 134512640 135663704 4287149008 18446744073709551615 134525276 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/9025/statm: 254519 267 113 282 0 254235 0
[pid=8723/tid=8730] ppid=8721 vsize=433188 CPUtime=0 cores=1,3,5,7
/proc/8723/task/8730/stat : 8730 (python) S 8721 8723 8625 0 -1 4202560 26 935 0 0 0 0 0 0 20 0 16 0 658131150 443584512 7358 33554432000 4194304 5683644 140735869315760 18446744073709551615 242982373809 0 0 16781312 2 18446604467241580544 0 0 -1 7 0 0 0
[pid=8723/tid=8733] ppid=8721 vsize=433188 CPUtime=0 cores=1,3,5,7
/proc/8723/task/8733/stat : 8733 (python) S 8721 8723 8625 0 -1 4202560 24 935 0 0 0 0 0 0 22 0 16 0 658131151 443584512 7358 33554432000 4194304 5683644 140735869315760 18446744073709551615 242982373809 0 0 16781312 2 18446604467241580544 0 0 -1 7 0 0 0
[pid=8723/tid=8736] ppid=8721 vsize=433188 CPUtime=0 cores=1,3,5,7
/proc/8723/task/8736/stat : 8736 (python) S 8721 8723 8625 0 -1 4202560 27 935 0 0 0 0 0 0 18 0 16 0 658131152 443584512 7358 33554432000 4194304 5683644 140735869315760 18446744073709551615 242982373809 0 0 16781312 2 18446604467241580544 0 0 -1 7 0 0 0
[pid=8723/tid=8739] ppid=8721 vsize=433188 CPUtime=0 cores=1,3,5,7
/proc/8723/task/8739/stat : 8739 (python) S 8721 8723 8625 0 -1 4202560 34 935 0 0 0 0 0 0 18 0 16 0 658131153 443584512 7358 33554432000 4194304 5683644 140735869315760 18446744073709551615 242982373809 0 0 16781312 2 18446604467241580544 0 0 -1 7 0 0 0
[pid=8723/tid=8762] ppid=8721 vsize=433188 CPUtime=0 cores=1,3,5,7
/proc/8723/task/8762/stat : 8762 (python) S 8721 8723 8625 0 -1 4202560 25 935 0 0 0 0 0 0 20 0 16 0 658141085 443584512 7358 33554432000 4194304 5683644 140735869315760 18446744073709551615 242982373809 0 0 16781312 2 18446604467241580544 0 0 -1 3 0 0 0
[pid=8723/tid=8766] ppid=8721 vsize=433188 CPUtime=0 cores=1,3,5,7
/proc/8723/task/8766/stat : 8766 (python) S 8721 8723 8625 0 -1 4202560 27 935 0 0 0 0 0 0 20 0 16 0 658141183 443584512 7358 33554432000 4194304 5683644 140735869315760 18446744073709551615 242982373809 0 0 16781312 2 18446604467241580544 0 0 -1 3 0 0 0
[pid=8723/tid=8770] ppid=8721 vsize=433188 CPUtime=0 cores=1,3,5,7
/proc/8723/task/8770/stat : 8770 (python) S 8721 8723 8625 0 -1 4202560 29 935 0 0 0 0 0 0 20 0 16 0 658141688 443584512 7358 33554432000 4194304 5683644 140735869315760 18446744073709551615 242982373809 0 0 16781312 2 18446604467241580544 0 0 -1 3 0 0 0
[pid=8723/tid=8774] ppid=8721 vsize=433188 CPUtime=0 cores=1,3,5,7
/proc/8723/task/8774/stat : 8774 (python) S 8721 8723 8625 0 -1 4202560 32 935 0 0 0 0 0 0 18 0 16 0 658142451 443584512 7358 33554432000 4194304 5683644 140735869315760 18446744073709551615 242982373809 0 0 16781312 2 18446604467241580544 0 0 -1 3 0 0 0
[pid=8723/tid=8796] ppid=8721 vsize=433188 CPUtime=0 cores=1,3,5,7
/proc/8723/task/8796/stat : 8796 (python) S 8721 8723 8625 0 -1 4202560 23 935 0 0 0 0 0 0 20 0 16 0 658151117 443584512 7358 33554432000 4194304 5683644 140735869315760 18446744073709551615 242982373809 0 0 16781312 2 18446604467241580544 0 0 -1 3 0 0 0
[pid=8723/tid=8800] ppid=8721 vsize=433188 CPUtime=0 cores=1,3,5,7
/proc/8723/task/8800/stat : 8800 (python) S 8721 8723 8625 0 -1 4202560 33 935 0 0 0 0 0 0 18 0 16 0 658151215 443584512 7358 33554432000 4194304 5683644 140735869315760 18446744073709551615 242982373809 0 0 16781312 2 18446604467241580544 0 0 -1 3 0 0 0
[pid=8723/tid=8804] ppid=8721 vsize=433188 CPUtime=0 cores=1,3,5,7
/proc/8723/task/8804/stat : 8804 (python) S 8721 8723 8625 0 -1 4202560 36 935 0 0 0 0 0 0 18 0 16 0 658151721 443584512 7358 33554432000 4194304 5683644 140735869315760 18446744073709551615 242982373809 0 0 16781312 2 18446604467241580544 0 0 -1 3 0 0 0
[pid=8723/tid=8816] ppid=8721 vsize=433188 CPUtime=0 cores=1,3,5,7
/proc/8723/task/8816/stat : 8816 (python) S 8721 8723 8625 0 -1 4202560 26 935 0 0 0 0 0 0 20 0 16 0 658161150 443584512 7358 33554432000 4194304 5683644 140735869315760 18446744073709551615 242982373809 0 0 16781312 2 18446604467241580544 0 0 -1 3 0 0 0
[pid=8723/tid=8828] ppid=8721 vsize=433188 CPUtime=0 cores=1,3,5,7
/proc/8723/task/8828/stat : 8828 (python) S 8721 8723 8625 0 -1 4202560 24 935 0 0 0 0 0 0 18 0 16 0 658171182 443584512 7358 33554432000 4194304 5683644 140735869315760 18446744073709551615 242982373809 0 0 16781312 2 18446604467241580544 0 0 -1 3 0 0 0
[pid=8723/tid=9018] ppid=8721 vsize=433188 CPUtime=0 cores=1,3,5,7
/proc/8723/task/9018/stat : 9018 (python) S 8721 8723 8625 0 -1 4202560 28 935 0 0 0 0 0 0 20 0 16 0 658229742 443584512 7358 33554432000 4194304 5683644 140735869315760 18446744073709551615 242982373809 0 0 16781312 2 18446604467241580544 0 0 -1 3 0 0 0
[pid=8723/tid=9024] ppid=8721 vsize=433188 CPUtime=0 cores=1,3,5,7
/proc/8723/task/9024/stat : 9024 (python) S 8721 8723 8625 0 -1 4202560 29 935 0 0 0 0 0 0 20 0 16 0 658240346 443584512 7358 33554432000 4194304 5683644 140735869315760 18446744073709551615 242982373809 0 0 16781312 2 18446604467241580544 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4748.78
Current children cumulated vsize (KiB) 12598828

Child status: 0
Real time (s): 1198.46
CPU time (s): 4749.26
CPU user time (s): 4740
CPU system time (s): 9.25859
CPU usage (%): 396.279
Max. virtual memory (cumulated for all children) (KiB): 12598828

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4740
system time used= 9.25859
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 140883
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= 8169
involuntary context switches= 44500

runsolver used 8.27174 second user time and 18.1572 second system time

The end

Launcher Data 

Begin job on node128 at 2011-05-15 15:15:24
IDJOB=3378409
IDBENCH=82818
IDSOLVER=1859
FILE ID=node128/3378409-1305465324
RUNJOBID= node128-1305465319-8644
PBS_JOBID= 13325053
Free space on /tmp= 73588 MiB

SOLVER NAME= borg-sat 11.03.02-par-random (fixed)
BENCH NAME= SAT11/random/medium/unif-k7-r89-v70-c6230-S635440951-015.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-3378409-1305465324/watcher-3378409-1305465324 -o /tmp/evaluation-result-3378409-1305465324/solver-3378409-1305465324 -C 4800 -W 1300 -M 15500  python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3378409-1305465324.cnf -seed 1051148951 -budget 4800 -cores 4

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

MD5SUM BENCH= 84865a406d2a10d67b7d2a7ac3e327ce
RANDOM SEED=1051148951

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
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.82
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.852
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	: 5434.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      23833164 kB
Buffers:        283916 kB
Cached:        3235568 kB
SwapCached:       1440 kB
Active:        6647460 kB
Inactive:      2169528 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      23833164 kB
SwapTotal:    67111528 kB
SwapFree:     67093844 kB
Dirty:           64036 kB
Writeback:          24 kB
AnonPages:     5296020 kB
Mapped:          37940 kB
Slab:           193904 kB
PageTables:      41280 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS: 103783908 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73548 MiB
End job on node128 at 2011-05-15 15:35:23