Trace number 3385426

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)? (MO) 7895.65 1133.11

General information on the benchmark

Namerandom/large/
unif-k7-r85-v400-c34000-S94779963-093-UNKNOWN.cnf
MD5SUMaef8bd4e13046b42a5bc777dc56e10de
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 variables400
Number of clauses34000
Sum of the clauses size238000
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 534000

Solver Data 

0.36/0.50	c INFO: loaded portfolio from HOME/etc/borg-mix+class.random.pickle
0.36/0.50	c INFO: solving HOME/instance-3385426-1305566500.cnf
0.36/0.50	c INFO: computing task features
0.56/0.74	c INFO: computed variable-clause graph statistics
0.56/0.74	c INFO: computed clause balance statistics
1.76/1.97	c INFO: computed variable balance statistics
2.26/2.46	c INFO: computed small-clause counts
2.26/2.46	c INFO: computed Horn-clause counts
2.36/2.50	c INFO: computed variable graph statistics
2.36/2.50	c INFO: collected features for HOME/instance-3385426-1305566500.cnf in 1.99 s
2.36/2.53	c INFO: running gnovelty+2@0 for 97 with 4997 remaining (b = 0.38)
2.36/2.56	c INFO: running gnovelty+2@0 for 97 with 4997 remaining (b = 0.13)
2.36/2.59	c INFO: running adaptg2wsat2009++@0 for 97 with 4997 remaining (b = 0.08)
2.47/2.62	c INFO: running adaptg2wsat2009++@0 for 97 with 4997 remaining (b = 0.07)
2.47/2.65	c INFO: running adaptg2wsat2009++@0 for 97 with 4997 remaining (b = 0.05)
2.47/2.68	c INFO: running gnovelty+2@0 for 97 with 4997 remaining (b = 0.04)
2.56/2.71	c INFO: running FH@0 for 97 with 4997 remaining (b = 0.03)
2.56/2.76	c INFO: running adaptg2wsat2009++@0 for 97 with 4997 remaining (b = 0.03)
702.35/102.89	c INFO: running adaptg2wsat2009++@0 for 97 with 4897 remaining (b = 0.02)
703.02/102.93	c INFO: running FH@0 for 97 with 4897 remaining (b = 0.02)
703.02/102.97	c INFO: running hybridGM3@0 for 194 with 4897 remaining (b = 0.04)
703.94/103.13	c INFO: running gnovelty+2@0 for 97 with 4897 remaining (b = 0.02)
731.47/107.01	c INFO: running hybridGM3@0 for 194 with 4893 remaining (b = 0.03)
788.36/115.12	c INFO: running adaptg2wsat2009++@0 for 97 with 4885 remaining (b = 0.01)
1040.92/151.32	c INFO: running hybridGM3@0 for 194 with 4849 remaining (b = 0.03)
1082.12/157.23	c INFO: running hybridGM3@0 for 194 with 4843 remaining (b = 0.02)
1407.52/203.80	c INFO: running TNM@0 for 1552 with 4796 remaining (b = 0.18)
1528.85/221.27	c INFO: running FH@0 for 97 with 4779 remaining (b = 0.01)
1530.76/221.52	c INFO: running adaptg2wsat2009++@0 for 97 with 4779 remaining (b = 0.01)
1613.22/233.38	c INFO: running adaptg2wsat2009++@0 for 97 with 4767 remaining (b = 0.01)
2118.37/305.74	c INFO: running hybridGM3@99 for 97 with 4694 remaining (b = 0.01)
2146.33/309.72	c INFO: running hybridGM3@98 for 97 with 4690 remaining (b = 0.01)
2271.61/327.62	c INFO: running adaptg2wsat2009++@0 for 97 with 4672 remaining (b = 0.01)
2460.31/353.90	c INFO: running hybridGM3@98 for 97 with 4646 remaining (b = 0.01)
2557.39/366.96	c INFO: running adaptg2wsat2009++@97 for 97 with 4633 remaining (b = 0.01)
2597.86/372.81	c INFO: running hybridGM3@0 for 194 with 4627 remaining (b = 0.02)
2677.34/384.15	c INFO: running hybridGM3@100 for 97 with 4616 remaining (b = 0.01)
2837.16/407.08	c INFO: running hybridGM3@297 for 97 with 4593 remaining (b = 0.01)
2996.79/429.98	c INFO: running hybridGM3@0 for 194 with 4570 remaining (b = 0.02)
3116.70/447.14	c INFO: running TNM@0 for 1552 with 4553 remaining (b = 0.14)
3173.15/455.24	c INFO: running adaptg2wsat2009++@100 for 97 with 4545 remaining (b = 0.01)
3426.05/491.51	c INFO: running iPAWS@0 for 97 with 4509 remaining (b = 0.01)
3536.84/507.45	c INFO: running hybridGM3@393 for 97 with 4493 remaining (b = 0.01)
3571.70/512.43	c INFO: running FH@0 for 291 with 4488 remaining (b = 0.03)
4018.99/576.65	c INFO: running gnovelty+2@0 for 97 with 4423 remaining (b = 0.01)
4179.22/599.66	c INFO: running adaptg2wsat2009++@97 for 97 with 4400 remaining (b = 0.01)
4288.10/614.90	c INFO: running hybridGM3@0 for 194 with 4385 remaining (b = 0.02)
4289.45/615.05	c INFO: running FH@99 for 291 with 4385 remaining (b = 0.02)
4580.59/656.85	c INFO: running hybridGM3@96 for 97 with 4343 remaining (b = 0.01)
4756.61/682.10	c INFO: running iPAWS@0 for 97 with 4318 remaining (b = 0.01)
4943.78/709.08	c INFO: running hybridGM3@0 for 194 with 4291 remaining (b = 0.02)
5285.38/758.20	c INFO: running hybridGM3@0 for 194 with 4242 remaining (b = 0.01)
5580.42/800.51	c INFO: running TNM@0 for 1552 with 4200 remaining (b = 0.11)
5657.62/811.67	c INFO: running hybridGM3@100 for 97 with 4188 remaining (b = 0.01)
5885.83/844.44	c INFO: running adaptg2wsat2009++@99 for 97 with 4156 remaining (b = 0.01)
6446.69/925.05	c INFO: running hybridGM3@395 for 97 with 4075 remaining (b = 0.01)
6641.46/953.07	c INFO: running FH@293 for 97 with 4047 remaining (b = 0.01)
6731.91/966.01	c INFO: running hybridGM3@100 for 97 with 4034 remaining (b = 0.01)
6817.46/977.89	c INFO: running adaptg2wsat2009++@191 for 97 with 4022 remaining (b = 0.01)
6861.23/984.12	c INFO: running hybridGM3@99 for 97 with 4016 remaining (b = 0.01)
7154.96/1026.40	c INFO: running FH@0 for 97 with 3974 remaining (b = 0.01)
7494.25/1075.26	c INFO: running adaptg2wsat2009++@389 for 194 with 3925 remaining (b = 0.01)
7552.11/1083.52	c INFO: running NCVWr@0 for 485 with 3917 remaining (b = 0.03)
7599.99/1090.46	c INFO: running iPAWS@0 for 97 with 3910 remaining (b = 0.01)
7691.13/1103.52	c INFO: running gnovelty+2@0 for 97 with 3897 remaining (b = 0.01)
7894.14/1132.79	c INFO: running hybridGM3@0 for 194 with 3867 remaining (b = 0.01)
7895.65/1133.10	c INFO: running hybridGM3@0 for 194 with 3867 remaining (b = 0.01)

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

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-3385426-1305566500/watcher-3385426-1305566500 -o /tmp/evaluation-result-3385426-1305566500/solver-3385426-1305566500 -C 40000 -W 5100 -M 31000 python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3385426-1305566500.cnf -seed 1828143021 -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.25 8.41 6.78 2/357 6364
/proc/meminfo: memFree=23689120/32950928 swapFree=60044320/67111528
[pid=6364] ppid=6362 vsize=15380 CPUtime=0 cores=0-7
/proc/6364/stat : 6364 (python) S 6362 6364 5923 0 -1 4202496 819 0 0 0 0 0 0 0 25 0 1 0 746880670 15749120 704 33554432000 4194304 5683644 140733709205424 18446744073709551615 231895488512 0 2147483391 16781312 2 18446744071699215550 0 0 17 2 0 0 0
/proc/6364/statm: 3845 704 334 364 0 332 0

[startup+0.047479 s]
/proc/loadavg: 8.25 8.41 6.78 2/357 6364
/proc/meminfo: memFree=23689120/32950928 swapFree=60044320/67111528
[pid=6364] ppid=6362 vsize=29784 CPUtime=0.02 cores=0-7
/proc/6364/stat : 6364 (python) R 6362 6364 5923 0 -1 4202496 1412 0 0 0 2 0 0 0 25 0 1 0 746880670 30498816 1256 33554432000 4194304 5683644 140733709205424 18446744073709551615 5375744 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/6364/statm: 7446 1256 443 364 0 816 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 29784

[startup+0.100495 s]
/proc/loadavg: 8.25 8.41 6.78 2/357 6364
/proc/meminfo: memFree=23689120/32950928 swapFree=60044320/67111528
[pid=6364] ppid=6362 vsize=104220 CPUtime=0.06 cores=0-7
/proc/6364/stat : 6364 (python) R 6362 6364 5923 0 -1 4202496 3049 0 0 0 4 2 0 0 17 0 1 0 746880670 106721280 2733 33554432000 4194304 5683644 140733709205424 18446744073709551615 231895486309 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/6364/statm: 26055 2733 847 364 0 1803 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 104220

[startup+0.300447 s]
/proc/loadavg: 8.25 8.41 6.78 2/357 6364
/proc/meminfo: memFree=23689120/32950928 swapFree=60044320/67111528
[pid=6364] ppid=6362 vsize=135748 CPUtime=0.21 cores=0-7
/proc/6364/stat : 6364 (python) R 6362 6364 5923 0 -1 4202496 6002 933 1 0 15 6 0 0 17 0 1 0 746880670 139005952 4170 33554432000 4194304 5683644 140733709205424 18446744073709551615 4892519 0 0 16781312 2 0 0 0 17 2 0 0 3
/proc/6364/statm: 33937 4170 1032 364 0 3123 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 135748

[startup+0.700347 s]
/proc/loadavg: 8.25 8.41 6.78 2/357 6364
/proc/meminfo: memFree=23689120/32950928 swapFree=60044320/67111528
[pid=6364] ppid=6362 vsize=288220 CPUtime=0.56 cores=0-7
/proc/6364/stat : 6364 (python) R 6362 6364 5923 0 -1 4202496 11337 933 1 0 47 9 0 0 17 0 1 0 746880670 295137280 9018 33554432000 4194304 5683644 140733709205424 18446744073709551615 47665146170053 0 0 16781312 2 0 0 0 17 2 0 0 3
/proc/6364/statm: 72055 9020 1761 364 0 7979 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 288220

[startup+1.50021 s]
/proc/loadavg: 8.25 8.41 6.78 3/358 6369
/proc/meminfo: memFree=23656132/32950928 swapFree=60044320/67111528
[pid=6364] ppid=6362 vsize=289492 CPUtime=1.36 cores=0-7
/proc/6364/stat : 6364 (python) R 6362 6364 5923 0 -1 4202496 13882 933 1 0 126 10 0 0 18 0 1 0 746880670 296439808 9758 33554432000 4194304 5683644 140733709205424 18446744073709551615 47665146069221 0 0 16781312 2 0 0 0 17 2 0 0 3
/proc/6364/statm: 72373 9758 1826 364 0 8297 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 289492

[startup+3.10084 s]
/proc/loadavg: 8.25 8.41 6.78 3/358 6369
/proc/meminfo: memFree=23655264/32950928 swapFree=60044320/67111528
[pid=6364] ppid=6362 vsize=429948 CPUtime=2.62 cores=0-7
/proc/6364/stat : 6364 (python) S 6362 6364 5923 0 -1 4202496 19802 933 1 0 250 12 0 0 24 0 9 0 746880670 440266752 8235 33554432000 4194304 5683644 140733709205424 18446744073709551615 231907317195 0 0 16781312 2 18446744073709551615 0 0 17 1 0 0 3
/proc/6364/statm: 107487 8235 1891 364 0 43384 0
Current children cumulated CPU time (s) 2.62
Current children cumulated vsize (KiB) 429948

[startup+6.30123 s]
/proc/loadavg: 8.31 8.42 6.79 10/382 6393
/proc/meminfo: memFree=23595116/32950928 swapFree=60044320/67111528
[pid=6364] ppid=6362 vsize=429948 CPUtime=2.62 cores=0-7
/proc/6364/stat : 6364 (python) S 6362 6364 5923 0 -1 4202496 19802 933 1 0 250 12 0 0 24 0 9 0 746880670 440266752 8235 33554432000 4194304 5683644 140733709205424 18446744073709551615 231907317195 0 0 16781312 2 18446744073709551615 0 0 17 1 0 0 3
/proc/6364/statm: 107487 8235 1891 364 0 43384 0
[pid=6370] ppid=6364 vsize=282232 CPUtime=0 cores=0-7
/proc/6370/stat : 6370 (python) S 6364 6364 5923 0 -1 4202560 736 0 0 0 0 0 0 0 18 0 1 0 746880924 289005568 6329 33554432000 4194304 5683644 140733709205424 18446744073709551615 231895510543 0 0 16781312 514 16238807081686106369 0 0 17 0 0 0 0
/proc/6370/statm: 70558 6329 355 364 0 6476 0
[pid=6372] ppid=6370 vsize=1020188 CPUtime=3.75 cores=0-7
/proc/6372/stat : 6372 (gnovelty+2) R 6370 6372 6372 0 -1 4202496 1142 0 0 0 375 0 0 0 25 0 1 0 746880924 1044672512 876 33554432000 134512640 135663704 4288458336 18446744073709551615 134545670 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/6372/statm: 255047 876 113 282 0 254763 0
[pid=6373] ppid=6364 vsize=293116 CPUtime=0 cores=0-7
/proc/6373/stat : 6373 (python) S 6364 6364 5923 0 -1 4202560 745 0 0 0 0 0 0 0 18 0 1 0 746880927 300150784 6366 33554432000 4194304 5683644 140733709205424 18446744073709551615 231895510598 0 0 16781312 514 4269764844518867201 0 0 17 1 0 0 0
/proc/6373/statm: 73279 6366 349 364 0 9194 0
[pid=6375] ppid=6373 vsize=1020188 CPUtime=3.72 cores=0-7
/proc/6375/stat : 6375 (gnovelty+2) R 6373 6375 6375 0 -1 4202496 1141 0 0 0 372 0 0 0 25 0 1 0 746880927 1044672512 877 33554432000 134512640 135663704 4290322144 18446744073709551615 134525070 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/6375/statm: 255047 877 113 282 0 254763 0
[pid=6376] ppid=6364 vsize=302888 CPUtime=0 cores=0-7
/proc/6376/stat : 6376 (python) S 6364 6364 5923 0 -1 4202560 736 0 0 0 0 0 0 0 18 0 1 0 746880930 310157312 6503 33554432000 4194304 5683644 140733709205424 18446744073709551615 231895510598 0 0 16781312 514 3592755952878584068 0 0 17 1 0 0 0
/proc/6376/statm: 75722 6503 347 364 0 11634 0
[pid=6378] ppid=6376 vsize=421140 CPUtime=3.69 cores=0-7
/proc/6378/stat : 6378 (adaptg2wsat2009) R 6376 6378 6378 0 -1 4202496 1803 0 0 0 369 0 0 0 25 0 1 0 746880930 431247360 1538 33554432000 134512640 135107411 4288640624 18446744073709551615 134523314 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/6378/statm: 105285 1538 49 146 0 104161 0
[pid=6379] ppid=6364 vsize=378680 CPUtime=0 cores=0-7
/proc/6379/stat : 6379 (python) S 6364 6364 5923 0 -1 4202560 713 0 0 0 0 0 0 0 18 0 1 0 746880933 387768320 6680 33554432000 4194304 5683644 140733709205424 18446744073709551615 231895510598 0 0 16781312 514 16677071591883899137 0 0 17 1 0 0 0
/proc/6379/statm: 94670 6680 348 364 0 30579 0
[pid=6381] ppid=6379 vsize=421140 CPUtime=3.66 cores=0-7
/proc/6381/stat : 6381 (adaptg2wsat2009) R 6379 6381 6381 0 -1 4202496 1790 0 0 0 366 0 0 0 25 0 1 0 746880933 431247360 1538 33554432000 134512640 135107411 4292667088 18446744073709551615 134523314 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/6381/statm: 105285 1538 49 146 0 104161 0
[pid=6382] ppid=6364 vsize=388936 CPUtime=0 cores=0-7
/proc/6382/stat : 6382 (python) S 6364 6364 5923 0 -1 4202560 725 0 0 0 0 0 0 0 18 0 1 0 746880936 398270464 6641 33554432000 4194304 5683644 140733709205424 18446744073709551615 231895510598 0 0 16781312 514 12588600825917440258 0 0 17 7 0 0 0
/proc/6382/statm: 97234 6641 348 364 0 33140 0
[pid=6384] ppid=6382 vsize=421140 CPUtime=3.59 cores=0-7
/proc/6384/stat : 6384 (adaptg2wsat2009) R 6382 6384 6384 0 -1 4202496 1798 0 0 0 359 0 0 0 25 0 1 0 746880936 431247360 1538 33554432000 134512640 135107411 4291631168 18446744073709551615 134523323 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/6384/statm: 105285 1538 49 146 0 104161 0
[pid=6385] ppid=6364 vsize=399192 CPUtime=0 cores=0-7
/proc/6385/stat : 6385 (python) S 6364 6364 5923 0 -1 4202560 730 0 0 0 0 0 0 0 18 0 1 0 746880939 408772608 6663 33554432000 4194304 5683644 140733709205424 18446744073709551615 231895510598 0 0 16781312 514 16677060047011807489 0 0 17 1 0 0 0
/proc/6385/statm: 99798 6663 348 364 0 35701 0
[pid=6387] ppid=6385 vsize=1020188 CPUtime=1.85 cores=0-7
/proc/6387/stat : 6387 (gnovelty+2) R 6385 6387 6387 0 -1 4202496 1131 0 0 0 185 0 0 0 25 0 1 0 746880941 1044672512 876 33554432000 134512640 135663704 4290564752 18446744073709551615 134525276 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/6387/statm: 255047 876 113 282 0 254763 0
[pid=6388] ppid=6364 vsize=409448 CPUtime=0 cores=0-7
/proc/6388/stat : 6388 (python) S 6364 6364 5923 0 -1 4202560 734 0 0 0 0 0 0 0 18 0 1 0 746880942 419274752 6667 33554432000 4194304 5683644 140733709205424 18446744073709551615 231895510598 0 0 16781312 514 11882267134530650372 0 0 17 1 0 0 0
/proc/6388/statm: 102362 6667 348 364 0 38262 0
[pid=6390] ppid=6388 vsize=249144 CPUtime=3.52 cores=0-7
/proc/6390/stat : 6390 (FH) R 6388 6390 6390 0 -1 4202496 1555 0 0 0 352 0 0 0 25 0 1 0 746880946 255123456 1296 33554432000 134512640 134936988 4288755152 18446744073709551615 134523470 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/6390/statm: 62286 1296 37 104 0 61790 0
[pid=6391] ppid=6364 vsize=419704 CPUtime=0 cores=0-7
/proc/6391/stat : 6391 (python) S 6364 6364 5923 0 -1 4202560 774 0 0 0 0 0 0 0 18 0 1 0 746880947 429776896 6694 33554432000 4194304 5683644 140733709205424 18446744073709551615 231895510598 0 0 16781312 514 2899583690554179845 0 0 17 1 0 0 0
/proc/6391/statm: 104926 6694 354 364 0 40823 0
[pid=6393] ppid=6391 vsize=421140 CPUtime=1.71 cores=0-7
/proc/6393/stat : 6393 (adaptg2wsat2009) R 6391 6393 6393 0 -1 4202496 1804 0 0 0 171 0 0 0 25 0 1 0 746880947 431247360 1538 33554432000 134512640 135107411 4288403856 18446744073709551615 134523217 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/6393/statm: 105285 1538 49 146 0 104161 0
[pid=6364/tid=6371] ppid=6362 vsize=429948 CPUtime=0 cores=0-7
/proc/6364/task/6371/stat : 6371 (python) S 6362 6364 5923 0 -1 4202560 27 933 0 0 0 0 0 0 22 0 9 0 746880924 440266752 8235 33554432000 4194304 5683644 140733709205424 18446744073709551615 231907314097 0 0 16781312 2 18446604442958806080 0 0 -1 4 0 0 0
[pid=6364/tid=6374] ppid=6362 vsize=429948 CPUtime=0 cores=0-7
/proc/6364/task/6374/stat : 6374 (python) S 6362 6364 5923 0 -1 4202560 26 933 0 0 0 0 0 0 19 0 9 0 746880927 440266752 8235 33554432000 4194304 5683644 140733709205424 18446744073709551615 231907314097 0 0 16781312 2 18446604442958806080 0 0 -1 0 0 0 0
[pid=6364/tid=6377] ppid=6362 vsize=429948 CPUtime=0 cores=0-7
/proc/6364/task/6377/stat : 6377 (python) S 6362 6364 5923 0 -1 4202560 23 933 0 0 0 0 0 0 18 0 9 0 746880930 440266752 8235 33554432000 4194304 5683644 140733709205424 18446744073709551615 231907314097 0 0 16781312 2 18446604442958806080 0 0 -1 3 0 0 0
[pid=6364/tid=6380] ppid=6362 vsize=429948 CPUtime=0 cores=0-7
/proc/6364/task/6380/stat : 6380 (python) S 6362 6364 5923 0 -1 4202560 89 933 0 0 0 0 0 0 19 0 9 0 746880933 440266752 8235 33554432000 4194304 5683644 140733709205424 18446744073709551615 231907314097 0 0 16781312 2 18446604442958806080 0 0 -1 0 0 0 0
[pid=6364/tid=6383] ppid=6362 vsize=429948 CPUtime=0 cores=0-7
/proc/6364/task/6383/stat : 6383 (python) S 6362 6364 5923 0 -1 4202560 34 933 0 0 0 0 0 0 20 0 9 0 746880936 440266752 8235 33554432000 4194304 5683644 140733709205424 18446744073709551615 231907314097 0 0 16781312 2 18446604442958806080 0 0 -1 7 0 0 0
[pid=6364/tid=6386] ppid=6362 vsize=429948 CPUtime=0 cores=0-7
/proc/6364/task/6386/stat : 6386 (python) S 6362 6364 5923 0 -1 4202560 34 933 0 0 0 0 0 0 21 0 9 0 746880939 440266752 8235 33554432000 4194304 5683644 140733709205424 18446744073709551615 231907314097 0 0 16781312 2 18446604442958806080 0 0 -1 1 0 0 0
[pid=6364/tid=6389] ppid=6362 vsize=429948 CPUtime=0 cores=0-7
/proc/6364/task/6389/stat : 6389 (python) S 6362 6364 5923 0 -1 4202560 33 933 0 0 0 0 0 0 22 0 9 0 746880942 440266752 8235 33554432000 4194304 5683644 140733709205424 18446744073709551615 231907314097 0 0 16781312 2 18446604442958806080 0 0 -1 1 0 0 0
[pid=6364/tid=6392] ppid=6362 vsize=429948 CPUtime=0 cores=0-7
/proc/6364/task/6392/stat : 6392 (python) S 6362 6364 5923 0 -1 4202560 34 933 0 0 0 0 0 0 25 0 9 0 746880947 440266752 8235 33554432000 4194304 5683644 140733709205424 18446744073709551615 231907314097 0 0 16781312 2 18446604442958806080 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 28.11
Current children cumulated vsize (KiB) 8298412

[startup+12.701 s]
/proc/loadavg: 8.36 8.43 6.81 10/382 6394
/proc/meminfo: memFree=23588056/32950928 swapFree=60044320/67111528
[pid=6364] ppid=6362 vsize=429948 CPUtime=2.62 cores=0-7
/proc/6364/stat : 6364 (python) S 6362 6364 5923 0 -1 4202496 19802 933 1 0 250 12 0 0 24 0 9 0 746880670 440266752 8235 33554432000 4194304 5683644 140733709205424 18446744073709551615 231907317195 0 0 16781312 2 18446744073709551615 0 0 17 1 0 0 3
/proc/6364/statm: 107487 8235 1891 364 0 43384 0
[pid=6370] ppid=6364 vsize=282232 CPUtime=0.02 cores=0-7
/proc/6370/stat : 6370 (python) S 6364 6364 5923 0 -1 4202560 902 0 0 0 1 1 0 0 18 0 1 0 746880924 289005568 6352 33554432000 4194304 5683644 140733709205424 18446744073709551615 231895510543 0 0 16781312 514 16505358382777991425 0 0 17 0 0 0 0
/proc/6370/statm: 70558 6352 378 364 0 6476 0
[pid=6372] ppid=6370 vsize=1020188 CPUtime=10.15 cores=0-7
/proc/6372/stat : 6372 (gnovelty+2) R 6370 6372 6372 0 -1 4202496 1142 0 0 0 1015 0 0 0 25 0 1 0 746880924 1044672512 876 33554432000 134512640 135663704 4288458336 18446744073709551615 134524551 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/6372/statm: 255047 876 113 282 0 254763 0
[pid=6373] ppid=6364 vsize=293116 CPUtime=0.02 cores=0-7
/proc/6373/stat : 6373 (python) S 6364 6364 5923 0 -1 4202560 908 0 0 0 1 1 0 0 18 0 1 0 746880927 300150784 6389 33554432000 4194304 5683644 140733709205424 18446744073709551615 231895510598 0 0 16781312 514 16505358382777991425 0 0 17 1 0 0 0
/proc/6373/statm: 73279 6389 372 364 0 9194 0
[pid=6375] ppid=6373 vsize=1020188 CPUtime=10.12 cores=0-7
/proc/6375/stat : 6375 (gnovelty+2) R 6373 6375 6375 0 -1 4202496 1141 0 0 0 1012 0 0 0 25 0 1 0 746880927 1044672512 877 33554432000 134512640 135663704 4290322144 18446744073709551615 134524918 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/6375/statm: 255047 877 113 282 0 254763 0
[pid=6376] ppid=6364 vsize=302888 CPUtime=0.02 cores=0-7
/proc/6376/stat : 6376 (python) S 6364 6364 5923 0 -1 4202560 901 0 0 0 1 1 0 0 18 0 1 0 746880930 310157312 6526 33554432000 4194304 5683644 140733709205424 18446744073709551615 231895510598 0 0 16781312 514 16505358382777991428 0 0 17 1 0 0 0
/proc/6376/statm: 75722 6526 370 364 0 11634 0
[pid=6378] ppid=6376 vsize=421804 CPUtime=10.09 cores=0-7
/proc/6378/stat : 6378 (adaptg2wsat2009) R 6376 6378 6378 0 -1 4202496 2137 0 0 0 1009 0 0 0 25 0 1 0 746880930 431927296 1872 33554432000 134512640 135107411 4288640624 18446744073709551615 134531239 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/6378/statm: 105451 1872 59 146 0 104327 0
[pid=6379] ppid=6364 vsize=378680 CPUtime=0.03 cores=0-7
/proc/6379/stat : 6379 (python) S 6364 6364 5923 0 -1 4202560 791 0 0 0 1 2 0 0 18 0 1 0 746880933 387768320 6703 33554432000 4194304 5683644 140733709205424 18446744073709551615 231895510598 0 0 16781312 514 16505358382777991425 0 0 17 1 0 0 0
/proc/6379/statm: 94670 6703 371 364 0 30579 0
[pid=6381] ppid=6379 vsize=421804 CPUtime=10.03 cores=0-7
/proc/6381/stat : 6381 (adaptg2wsat2009) R 6379 6381 6381 0 -1 4202496 2124 0 0 0 1003 0 0 0 25 0 1 0 746880933 431927296 1872 33554432000 134512640 135107411 4292667088 18446744073709551615 134532128 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/6381/statm: 105451 1872 59 146 0 104327 0
[pid=6382] ppid=6364 vsize=388936 CPUtime=0.01 cores=0-7
/proc/6382/stat : 6382 (python) R 6364 6364 5923 0 -1 4202560 802 0 0 0 0 1 0 0 18 0 1 0 746880936 398270464 6664 33554432000 4194304 5683644 140733709205424 18446744073709551615 231895488571 0 0 16781312 514 0 0 0 17 7 0 0 0
/proc/6382/statm: 97234 6664 371 364 0 33140 0
[pid=6384] ppid=6382 vsize=421804 CPUtime=9.89 cores=0-7
/proc/6384/stat : 6384 (adaptg2wsat2009) R 6382 6384 6384 0 -1 4202496 2132 0 0 0 989 0 0 0 25 0 1 0 746880936 431927296 1872 33554432000 134512640 135107411 4291631168 18446744073709551615 134531696 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/6384/statm: 105451 1872 59 146 0 104327 0
[pid=6385] ppid=6364 vsize=399192 CPUtime=0.01 cores=0-7
/proc/6385/stat : 6385 (python) S 6364 6364 5923 0 -1 4202560 808 0 0 0 0 1 0 0 18 0 1 0 746880939 408772608 6686 33554432000 4194304 5683644 140733709205424 18446744073709551615 231895510598 0 0 16781312 514 16677060047011807489 0 0 17 1 0 0 0
/proc/6385/statm: 99798 6686 371 364 0 35701 0
[pid=6387] ppid=6385 vsize=1020188 CPUtime=5.05 cores=0-7
/proc/6387/stat : 6387 (gnovelty+2) R 6385 6387 6387 0 -1 4202496 1131 0 0 0 505 0 0 0 25 0 1 0 746880941 1044672512 876 33554432000 134512640 135663704 4290564752 18446744073709551615 134525302 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/6387/statm: 255047 876 113 282 0 254763 0
[pid=6388] ppid=6364 vsize=409448 CPUtime=0 cores=0-7
/proc/6388/stat : 6388 (python) S 6364 6364 5923 0 -1 4202560 818 0 0 0 0 0 0 0 18 0 1 0 746880942 419274752 6690 33554432000 4194304 5683644 140733709205424 18446744073709551615 231895510598 0 0 16781312 514 11882267134530650372 0 0 17 1 0 0 0
/proc/6388/statm: 102362 6690 371 364 0 38262 0

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

/proc/6461/stat : 6461 (TNM) R 6459 6461 6461 0 -1 4202496 1932 0 0 0 63566 4 0 0 25 0 1 0 746925386 470798336 1657 33554432000 134512640 135008748 4290894912 18446744073709551615 134529076 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/6461/statm: 114941 1657 46 122 0 113841 0
[pid=6463] ppid=6364 vsize=563288 CPUtime=0.37 cores=0-7
/proc/6463/stat : 6463 (python) S 6364 6364 5923 0 -1 4202560 1187 0 0 0 20 17 0 0 19 0 2 0 746929822 576806912 6989 33554432000 4194304 5683644 140733709205424 18446744073709551615 231907317195 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/6463/statm: 140822 6989 407 364 0 76677 0
[pid=6465] ppid=6463 vsize=335996 CPUtime=100.67 cores=0-7
/proc/6465/stat : 6465 (iPAWS) T 6463 6465 6465 0 -1 4202496 2029 0 0 0 10067 0 0 0 25 0 1 0 746929828 344059904 1750 33554432000 134512640 135114423 4294311504 18446744073709551615 134515584 0 0 16781312 0 18446744071562691360 0 0 17 1 0 0 0
/proc/6465/statm: 83999 1750 59 147 0 83851 0
[pid=6463/tid=6477] ppid=6364 vsize=563288 CPUtime=0 cores=0-7
/proc/6463/task/6477/stat : 6477 (python) S 6364 6364 5923 0 -1 4202560 80 0 0 0 0 0 0 0 19 0 2 0 746942169 576806912 6989 33554432000 4194304 5683644 140733709205424 18446744073709551615 231907314097 0 0 16781312 514 18446604462811940672 0 0 -1 1 0 0 0
[pid=6469] ppid=6364 vsize=573544 CPUtime=0.32 cores=0-7
/proc/6469/stat : 6469 (python) S 6364 6364 5923 0 -1 4202560 1186 0 0 0 18 14 0 0 19 0 2 0 746938336 587309056 7053 33554432000 4194304 5683644 140733709205424 18446744073709551615 231907317195 0 0 16781312 514 18446744073709551615 0 0 17 2 0 0 0
/proc/6469/statm: 143386 7053 407 364 0 79238 0
[pid=6471] ppid=6469 vsize=1020188 CPUtime=101.45 cores=0-7
/proc/6471/stat : 6471 (gnovelty+2) T 6469 6471 6471 0 -1 4202496 1158 0 0 0 10145 0 0 0 25 0 1 0 746938336 1044672512 877 33554432000 134512640 135663704 4291110480 18446744073709551615 134524897 0 0 16781312 0 18446744071562691360 0 0 17 2 0 0 0
/proc/6471/statm: 255047 877 113 282 0 254763 0
[pid=6469/tid=6480] ppid=6364 vsize=573544 CPUtime=0 cores=0-7
/proc/6469/task/6480/stat : 6480 (python) S 6364 6364 5923 0 -1 4202560 85 0 0 0 0 0 0 0 19 0 2 0 746948875 587309056 7053 33554432000 4194304 5683644 140733709205424 18446744073709551615 231907314097 0 0 16781312 514 18446604458757191552 0 0 -1 1 0 0 0
[pid=6474] ppid=6364 vsize=583800 CPUtime=1.24 cores=0-7
/proc/6474/stat : 6474 (python) S 6364 6364 5923 0 -1 4202560 1210 0 0 0 62 62 0 0 18 0 2 0 746942160 597811200 7061 33554432000 4194304 5683644 140733709205424 18446744073709551615 231907317195 0 0 16781312 514 18446744073709551615 0 0 17 3 0 0 0
/proc/6474/statm: 145950 7061 406 364 0 81799 0
[pid=6476] ppid=6474 vsize=268424 CPUtime=389.73 cores=0-7
/proc/6476/stat : 6476 (hybridGM3) T 6474 6476 6476 0 -1 4202496 5663 0 0 0 38972 1 0 0 25 0 1 0 746942161 274866176 5378 33554432000 134512640 135204385 4291008816 18446744073709551615 134537704 0 0 16781312 0 18446744071562691360 0 0 17 7 0 0 0
/proc/6476/statm: 67106 5378 63 169 0 66936 0
[pid=6474/tid=6498] ppid=6364 vsize=583800 CPUtime=0 cores=0-7
/proc/6474/task/6498/stat : 6498 (python) S 6364 6364 5923 0 -1 4202560 92 0 0 0 0 0 0 0 18 0 2 0 746961831 597811200 7061 33554432000 4194304 5683644 140733709205424 18446744073709551615 231907314097 0 0 16781312 514 18446604454223473344 0 0 -1 0 0 0 0
[pid=6481] ppid=6364 vsize=594056 CPUtime=0.35 cores=0-7
/proc/6481/stat : 6481 (python) S 6364 6364 5923 0 -1 4202560 1192 0 0 0 20 15 0 0 19 0 2 0 746948881 608313344 7048 33554432000 4194304 5683644 140733709205424 18446744073709551615 231907317195 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/6481/statm: 148514 7048 400 364 0 84360 0
[pid=6483] ppid=6481 vsize=335996 CPUtime=99.53 cores=0-7
/proc/6483/stat : 6483 (iPAWS) T 6481 6483 6483 0 -1 4202496 2035 0 0 0 9953 0 0 0 25 0 1 0 746948881 344059904 1749 33554432000 134512640 135114423 4293786128 18446744073709551615 134517532 0 0 16781312 0 18446744071562691360 0 0 17 3 0 0 0
/proc/6483/statm: 83999 1749 59 147 0 83851 0
[pid=6481/tid=6494] ppid=6364 vsize=594056 CPUtime=0 cores=0-7
/proc/6481/task/6494/stat : 6494 (python) S 6364 6364 5923 0 -1 4202560 89 0 0 0 0 0 0 0 19 0 2 0 746960715 608313344 7048 33554432000 4194304 5683644 140733709205424 18446744073709551615 231907314097 0 0 16781312 514 18446604470767675264 0 0 -1 0 0 0 0
[pid=6485] ppid=6364 vsize=604312 CPUtime=1.15 cores=0-7
/proc/6485/stat : 6485 (python) S 6364 6364 5923 0 -1 4202560 1197 0 0 0 61 54 0 0 18 0 2 0 746951579 618815488 7121 33554432000 4194304 5683644 140733709205424 18446744073709551615 231907317195 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/6485/statm: 151078 7121 400 364 0 86921 0
[pid=6487] ppid=6485 vsize=268420 CPUtime=294.46 cores=0-7
/proc/6487/stat : 6487 (hybridGM3) T 6485 6487 6487 0 -1 4202496 5659 0 0 0 29446 0 0 0 25 0 1 0 746951579 274862080 5377 33554432000 134512640 135204385 4288573408 18446744073709551615 134538534 0 0 16781312 0 18446744071562691360 0 0 17 6 0 0 0
/proc/6487/statm: 67105 5377 63 169 0 66935 0
[pid=6485/tid=6503] ppid=6364 vsize=604312 CPUtime=0 cores=0-7
/proc/6485/task/6503/stat : 6503 (python) S 6364 6364 5923 0 -1 4202560 88 0 0 0 0 0 0 0 18 0 2 0 746977265 618815488 7121 33554432000 4194304 5683644 140733709205424 18446744073709551615 231907314097 0 0 16781312 514 18446604463741718976 0 0 -1 1 0 0 0
[pid=6489] ppid=6364 vsize=614568 CPUtime=1.04 cores=0-7
/proc/6489/stat : 6489 (python) S 6364 6364 5923 0 -1 4202560 1207 0 0 0 51 53 0 0 18 0 2 0 746956490 629317632 7064 33554432000 4194304 5683644 140733709205424 18446744073709551615 231907317195 0 0 16781312 514 18446744073709551615 0 0 17 2 0 0 0
/proc/6489/statm: 153642 7064 400 364 0 89482 0
[pid=6491] ppid=6489 vsize=268424 CPUtime=296.48 cores=0-7
/proc/6491/stat : 6491 (hybridGM3) T 6489 6491 6491 0 -1 4202496 5661 0 0 0 29648 0 0 0 25 0 1 0 746956491 274866176 5378 33554432000 134512640 135204385 4290655824 18446744073709551615 134538284 0 0 16781312 0 18446744071562691360 0 0 17 4 0 0 0
/proc/6491/statm: 67106 5378 63 169 0 66936 0
[pid=6489/tid=6504] ppid=6364 vsize=614568 CPUtime=0 cores=0-7
/proc/6489/task/6504/stat : 6504 (python) S 6364 6364 5923 0 -1 4202560 87 0 0 0 0 0 0 0 18 0 2 0 746979076 629317632 7064 33554432000 4194304 5683644 140733709205424 18446744073709551615 231907314097 0 0 16781312 514 18446604463741720768 0 0 -1 2 0 0 0
[pid=6495] ppid=6364 vsize=624824 CPUtime=1 cores=0-7
/proc/6495/stat : 6495 (python) S 6364 6364 5923 0 -1 4202560 1009 0 0 0 55 45 0 0 18 0 1 0 746960722 639819776 7116 33554432000 4194304 5683644 140733709205424 18446744073709551615 231895510598 0 0 16781312 514 16505358382777991429 0 0 17 0 0 0 0
/proc/6495/statm: 156206 7116 373 364 0 92043 0
[pid=6497] ppid=6495 vsize=459772 CPUtime=275.75 cores=0-7
/proc/6497/stat : 6497 (TNM) R 6495 6497 6497 0 -1 4202496 1939 0 0 0 27575 0 0 0 25 0 1 0 746960722 470806528 1657 33554432000 134512640 135008748 4294613792 18446744073709551615 134527327 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/6497/statm: 114943 1657 46 122 0 113843 0
[pid=6509] ppid=6364 vsize=635080 CPUtime=0.34 cores=0-7
/proc/6509/stat : 6509 (python) S 6364 6364 5923 0 -1 4202560 1254 0 0 0 16 18 0 0 19 0 2 0 746983310 650321920 7141 33554432000 4194304 5683644 140733709205424 18446744073709551615 231907317195 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/6509/statm: 158770 7141 406 364 0 94604 0
[pid=6511] ppid=6509 vsize=251288 CPUtime=99.71 cores=0-7
/proc/6511/stat : 6511 (FH) T 6509 6511 6511 0 -1 4202496 1991 0 0 0 9971 0 0 0 25 0 1 0 746983311 257318912 1693 33554432000 134512640 134936988 4293755888 18446744073709551615 134553554 0 0 16781312 0 18446744071562691360 0 0 17 6 0 0 0
/proc/6511/statm: 62822 1693 41 104 0 62326 0
[pid=6509/tid=6524] ppid=6364 vsize=635080 CPUtime=0 cores=0-7
/proc/6509/task/6524/stat : 6524 (python) S 6364 6364 5923 0 -1 4202560 94 0 0 0 0 0 0 0 19 0 2 0 746993943 650321920 7141 33554432000 4194304 5683644 140733709205424 18446744073709551615 231907314097 0 0 16781312 514 18446604456794782592 0 0 -1 4 0 0 0
[pid=6514] ppid=6364 vsize=645336 CPUtime=0.14 cores=0-7
/proc/6514/stat : 6514 (python) S 6364 6364 5923 0 -1 4202560 1044 0 0 0 7 7 0 0 18 0 1 0 746989022 660824064 7202 33554432000 4194304 5683644 140733709205424 18446744073709551615 231895510598 0 0 16781312 514 16505358382777991428 0 0 17 0 0 0 0
/proc/6514/statm: 161334 7202 379 364 0 97165 0
[pid=6516] ppid=6514 vsize=421344 CPUtime=45.95 cores=0-7
/proc/6516/stat : 6516 (NCVWr) R 6514 6516 6516 0 -1 4202496 1997 0 0 0 4595 0 0 0 25 0 1 0 746989023 431456256 1712 33554432000 134512640 135113558 4288931728 18446744073709551615 134534097 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/6516/statm: 105336 1712 58 147 0 104211 0
[pid=6517] ppid=6364 vsize=655592 CPUtime=0.13 cores=0-7
/proc/6517/stat : 6517 (python) S 6364 6364 5923 0 -1 4202560 1055 0 0 0 7 6 0 0 18 0 1 0 746989717 671326208 7153 33554432000 4194304 5683644 140733709205424 18446744073709551615 231895510598 0 0 16781312 514 16505358382777991430 0 0 17 0 0 0 0
/proc/6517/statm: 163898 7153 379 364 0 99726 0
[pid=6519] ppid=6517 vsize=335996 CPUtime=35.57 cores=0-7
/proc/6519/stat : 6519 (iPAWS) R 6517 6519 6519 0 -1 4202496 2037 0 0 0 3557 0 0 0 25 0 1 0 746989718 344059904 1750 33554432000 134512640 135114423 4289622416 18446744073709551615 134515629 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/6519/statm: 83999 1750 59 147 0 83851 0
[pid=6521] ppid=6364 vsize=665848 CPUtime=0.09 cores=0-7
/proc/6521/stat : 6521 (python) S 6364 6364 5923 0 -1 4202560 1064 0 0 0 5 4 0 0 18 0 1 0 746991023 681828352 7218 33554432000 4194304 5683644 140733709205424 18446744073709551615 231895510598 0 0 16781312 514 16505358382777991431 0 0 17 0 0 0 0
/proc/6521/statm: 166462 7218 378 364 0 102287 0
[pid=6523] ppid=6521 vsize=1020188 CPUtime=14.8 cores=0-7
/proc/6523/stat : 6523 (gnovelty+2) R 6521 6523 6523 0 -1 4202496 1165 0 0 0 1480 0 0 0 25 0 1 0 746991023 1044672512 876 33554432000 134512640 135663704 4294609856 18446744073709551615 134544196 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/6523/statm: 255047 876 113 282 0 254763 0
[pid=6525] ppid=6364 vsize=676104 CPUtime=0 cores=0-7
/proc/6525/stat : 6525 (python) S 6364 6364 5923 0 -1 4202560 938 0 0 0 0 0 0 0 19 0 1 0 746993950 692330496 7118 33554432000 4194304 5683644 140733709205424 18446744073709551615 231895510598 0 0 16781312 514 4543746099730448383 0 0 17 0 0 0 0
/proc/6525/statm: 169026 7118 351 364 0 104848 0
[pid=6527] ppid=6525 vsize=268420 CPUtime=0.06 cores=0-7
/proc/6527/stat : 6527 (hybridGM3) R 6525 6527 6527 0 -1 4202496 2890 0 0 0 6 0 0 0 21 0 1 0 746993950 274862080 2599 33554432000 134512640 135204385 4288593104 18446744073709551615 134543993 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/6527/statm: 67105 2599 57 169 0 66935 0
[pid=6364/tid=6371] ppid=6362 vsize=686348 CPUtime=0 cores=0-7
/proc/6364/task/6371/stat : 6371 (python) S 6362 6364 5923 0 -1 4202560 27 933 0 0 0 0 0 0 22 0 34 0 746880924 702820352 8713 33554432000 4194304 5683644 140733709205424 18446744073709551615 231907314097 0 0 16781312 2 18446604442958806080 0 0 -1 4 0 0 0
[pid=6364/tid=6374] ppid=6362 vsize=686348 CPUtime=0 cores=0-7
/proc/6364/task/6374/stat : 6374 (python) S 6362 6364 5923 0 -1 4202560 26 933 0 0 0 0 0 0 19 0 34 0 746880927 702820352 8713 33554432000 4194304 5683644 140733709205424 18446744073709551615 231907314097 0 0 16781312 2 18446604442958806080 0 0 -1 0 0 0 0
[pid=6364/tid=6377] ppid=6362 vsize=686348 CPUtime=0 cores=0-7
/proc/6364/task/6377/stat : 6377 (python) S 6362 6364 5923 0 -1 4202560 36 933 0 0 0 0 0 0 18 0 34 0 746880930 702820352 8713 33554432000 4194304 5683644 140733709205424 18446744073709551615 231907314097 0 0 16781312 2 18446604442958806080 0 0 -1 3 0 0 0
[pid=6364/tid=6380] ppid=6362 vsize=686348 CPUtime=0 cores=0-7
/proc/6364/task/6380/stat : 6380 (python) S 6362 6364 5923 0 -1 4202560 94 933 0 0 0 0 0 0 18 0 34 0 746880933 702820352 8713 33554432000 4194304 5683644 140733709205424 18446744073709551615 231907314097 0 0 16781312 2 18446604442958806080 0 0 -1 0 0 0 0
[pid=6364/tid=6383] ppid=6362 vsize=686348 CPUtime=0 cores=0-7
/proc/6364/task/6383/stat : 6383 (python) S 6362 6364 5923 0 -1 4202560 39 933 0 0 0 0 0 0 18 0 34 0 746880936 702820352 8713 33554432000 4194304 5683644 140733709205424 18446744073709551615 231907314097 0 0 16781312 2 18446604442958806080 0 0 -1 7 0 0 0
[pid=6364/tid=6386] ppid=6362 vsize=686348 CPUtime=0 cores=0-7
/proc/6364/task/6386/stat : 6386 (python) S 6362 6364 5923 0 -1 4202560 34 933 0 0 0 0 0 0 21 0 34 0 746880939 702820352 8713 33554432000 4194304 5683644 140733709205424 18446744073709551615 231907314097 0 0 16781312 2 18446604442958806080 0 0 -1 1 0 0 0
[pid=6364/tid=6389] ppid=6362 vsize=686348 CPUtime=0 cores=0-7
/proc/6364/task/6389/stat : 6389 (python) S 6362 6364 5923 0 -1 4202560 40 933 0 0 0 0 0 0 18 0 34 0 746880942 702820352 8713 33554432000 4194304 5683644 140733709205424 18446744073709551615 231907314097 0 0 16781312 2 18446604442958806080 0 0 -1 1 0 0 0
[pid=6364/tid=6392] ppid=6362 vsize=686348 CPUtime=0 cores=0-7
/proc/6364/task/6392/stat : 6392 (python) S 6362 6364 5923 0 -1 4202560 40 933 0 0 0 0 0 0 18 0 34 0 746880947 702820352 8713 33554432000 4194304 5683644 140733709205424 18446744073709551615 231907314097 0 0 16781312 2 18446604442958806080 0 0 -1 1 0 0 0
[pid=6364/tid=6402] ppid=6362 vsize=686348 CPUtime=0 cores=0-7
/proc/6364/task/6402/stat : 6402 (python) S 6362 6364 5923 0 -1 4202560 47 933 0 0 0 0 0 0 18 0 34 0 746890960 702820352 8713 33554432000 4194304 5683644 140733709205424 18446744073709551615 231907314097 0 0 16781312 2 18446604442958806080 0 0 -1 1 0 0 0
[pid=6364/tid=6405] ppid=6362 vsize=686348 CPUtime=0 cores=0-7
/proc/6364/task/6405/stat : 6405 (python) S 6362 6364 5923 0 -1 4202560 44 933 0 0 0 0 0 0 18 0 34 0 746890964 702820352 8713 33554432000 4194304 5683644 140733709205424 18446744073709551615 231907314097 0 0 16781312 2 18446604442958806080 0 0 -1 0 0 0 0
[pid=6364/tid=6408] ppid=6362 vsize=686348 CPUtime=0 cores=0-7
/proc/6364/task/6408/stat : 6408 (python) S 6362 6364 5923 0 -1 4202560 51 933 0 0 0 0 0 0 18 0 34 0 746890968 702820352 8713 33554432000 4194304 5683644 140733709205424 18446744073709551615 231907314097 0 0 16781312 2 18446604442958806080 0 0 -1 3 0 0 0
[pid=6364/tid=6411] ppid=6362 vsize=686348 CPUtime=0 cores=0-7
/proc/6364/task/6411/stat : 6411 (python) S 6362 6364 5923 0 -1 4202560 32 933 0 0 0 0 0 0 22 0 34 0 746890984 702820352 8713 33554432000 4194304 5683644 140733709205424 18446744073709551615 231907314097 0 0 16781312 2 18446604442958806080 0 0 -1 2 0 0 0
[pid=6364/tid=6415] ppid=6362 vsize=686348 CPUtime=0 cores=0-7
/proc/6364/task/6415/stat : 6415 (python) S 6362 6364 5923 0 -1 4202560 43 933 0 0 0 0 0 0 18 0 34 0 746891372 702820352 8713 33554432000 4194304 5683644 140733709205424 18446744073709551615 231907314097 0 0 16781312 2 18446604442958806080 0 0 -1 3 0 0 0
[pid=6364/tid=6419] ppid=6362 vsize=686348 CPUtime=0 cores=0-7
/proc/6364/task/6419/stat : 6419 (python) S 6362 6364 5923 0 -1 4202560 53 933 0 0 0 0 0 0 18 0 34 0 746892182 702820352 8713 33554432000 4194304 5683644 140733709205424 18446744073709551615 231907314097 0 0 16781312 2 18446604442958806080 0 0 -1 3 0 0 0
[pid=6364/tid=6424] ppid=6362 vsize=686348 CPUtime=0 cores=0-7
/proc/6364/task/6424/stat : 6424 (python) S 6362 6364 5923 0 -1 4202560 38 933 0 0 0 0 0 0 18 0 34 0 746895803 702820352 8713 33554432000 4194304 5683644 140733709205424 18446744073709551615 231907314097 0 0 16781312 2 18446604442958806080 0 0 -1 3 0 0 0
[pid=6364/tid=6428] ppid=6362 vsize=686348 CPUtime=0 cores=0-7
/proc/6364/task/6428/stat : 6428 (python) S 6362 6364 5923 0 -1 4202560 39 933 0 0 0 0 0 0 18 0 34 0 746896394 702820352 8713 33554432000 4194304 5683644 140733709205424 18446744073709551615 231907314097 0 0 16781312 2 18446604442958806080 0 0 -1 3 0 0 0
[pid=6364/tid=6434] ppid=6362 vsize=686348 CPUtime=0 cores=0-7
/proc/6364/task/6434/stat : 6434 (python) S 6362 6364 5923 0 -1 4202560 34 933 0 0 0 0 0 0 19 0 34 0 746901051 702820352 8713 33554432000 4194304 5683644 140733709205424 18446744073709551615 231907314097 0 0 16781312 2 18446604442958806080 0 0 -1 3 0 0 0
[pid=6364/tid=6438] ppid=6362 vsize=686348 CPUtime=0 cores=0-7
/proc/6364/task/6438/stat : 6438 (python) S 6362 6364 5923 0 -1 4202560 32 933 0 0 0 0 0 0 20 0 34 0 746902798 702820352 8713 33554432000 4194304 5683644 140733709205424 18446744073709551615 231907314097 0 0 16781312 2 18446604442958806080 0 0 -1 3 0 0 0
[pid=6364/tid=6451] ppid=6362 vsize=686348 CPUtime=0 cores=0-7
/proc/6364/task/6451/stat : 6451 (python) S 6362 6364 5923 0 -1 4202560 43 933 0 0 0 0 0 0 19 0 34 0 746917952 702820352 8713 33554432000 4194304 5683644 140733709205424 18446744073709551615 231907314097 0 0 16781312 2 18446604442958806080 0 0 -1 2 0 0 0
[pid=6364/tid=6457] ppid=6362 vsize=686348 CPUtime=0 cores=0-7
/proc/6364/task/6457/stat : 6457 (python) S 6362 6364 5923 0 -1 4202560 47 933 0 0 0 0 0 0 18 0 34 0 746923669 702820352 8713 33554432000 4194304 5683644 140733709205424 18446744073709551615 231907314097 0 0 16781312 2 18446604442958806080 0 0 -1 3 0 0 0
[pid=6364/tid=6460] ppid=6362 vsize=686348 CPUtime=0 cores=0-7
/proc/6364/task/6460/stat : 6460 (python) S 6362 6364 5923 0 -1 4202560 36 933 0 0 0 0 0 0 19 0 34 0 746925385 702820352 8713 33554432000 4194304 5683644 140733709205424 18446744073709551615 231907314097 0 0 16781312 2 18446604442958806080 0 0 -1 3 0 0 0
[pid=6364/tid=6464] ppid=6362 vsize=686348 CPUtime=0 cores=0-7
/proc/6364/task/6464/stat : 6464 (python) S 6362 6364 5923 0 -1 4202560 35 933 0 0 0 0 0 0 20 0 34 0 746929822 702820352 8713 33554432000 4194304 5683644 140733709205424 18446744073709551615 231907314097 0 0 16781312 2 18446604442958806080 0 0 -1 3 0 0 0
[pid=6364/tid=6470] ppid=6362 vsize=686348 CPUtime=0 cores=0-7
/proc/6364/task/6470/stat : 6470 (python) S 6362 6364 5923 0 -1 4202560 34 933 0 0 0 0 0 0 19 0 34 0 746938336 702820352 8713 33554432000 4194304 5683644 140733709205424 18446744073709551615 231907314097 0 0 16781312 2 18446604442958806080 0 0 -1 3 0 0 0
[pid=6364/tid=6475] ppid=6362 vsize=686348 CPUtime=0 cores=0-7
/proc/6364/task/6475/stat : 6475 (python) S 6362 6364 5923 0 -1 4202560 41 933 0 0 0 0 0 0 18 0 34 0 746942161 702820352 8713 33554432000 4194304 5683644 140733709205424 18446744073709551615 231907314097 0 0 16781312 2 18446604442958806080 0 0 -1 3 0 0 0
[pid=6364/tid=6482] ppid=6362 vsize=686348 CPUtime=0 cores=0-7
/proc/6364/task/6482/stat : 6482 (python) S 6362 6364 5923 0 -1 4202560 36 933 0 0 0 0 0 0 19 0 34 0 746948881 702820352 8713 33554432000 4194304 5683644 140733709205424 18446744073709551615 231907314097 0 0 16781312 2 18446604442958806080 0 0 -1 3 0 0 0
[pid=6364/tid=6486] ppid=6362 vsize=686348 CPUtime=0 cores=0-7
/proc/6364/task/6486/stat : 6486 (python) S 6362 6364 5923 0 -1 4202560 40 933 0 0 0 0 0 0 18 0 34 0 746951579 702820352 8713 33554432000 4194304 5683644 140733709205424 18446744073709551615 231907314097 0 0 16781312 2 18446604442958806080 0 0 -1 3 0 0 0
[pid=6364/tid=6490] ppid=6362 vsize=686348 CPUtime=0 cores=0-7
/proc/6364/task/6490/stat : 6490 (python) S 6362 6364 5923 0 -1 4202560 34 933 0 0 0 0 0 0 18 0 34 0 746956491 702820352 8713 33554432000 4194304 5683644 140733709205424 18446744073709551615 231907314097 0 0 16781312 2 18446604442958806080 0 0 -1 3 0 0 0
[pid=6364/tid=6496] ppid=6362 vsize=686348 CPUtime=0 cores=0-7
/proc/6364/task/6496/stat : 6496 (python) S 6362 6364 5923 0 -1 4202560 33 933 0 0 0 0 0 0 19 0 34 0 746960722 702820352 8713 33554432000 4194304 5683644 140733709205424 18446744073709551615 231907314097 0 0 16781312 2 18446604442958806080 0 0 -1 3 0 0 0
[pid=6364/tid=6510] ppid=6362 vsize=686348 CPUtime=0 cores=0-7
/proc/6364/task/6510/stat : 6510 (python) S 6362 6364 5923 0 -1 4202560 36 933 0 0 0 0 0 0 20 0 34 0 746983311 702820352 8713 33554432000 4194304 5683644 140733709205424 18446744073709551615 231907314097 0 0 16781312 2 18446604442958806080 0 0 -1 3 0 0 0
[pid=6364/tid=6515] ppid=6362 vsize=686348 CPUtime=0 cores=0-7
/proc/6364/task/6515/stat : 6515 (python) S 6362 6364 5923 0 -1 4202560 37 933 0 0 0 0 0 0 19 0 34 0 746989023 702820352 8713 33554432000 4194304 5683644 140733709205424 18446744073709551615 231907314097 0 0 16781312 2 18446604442958806080 0 0 -1 3 0 0 0
[pid=6364/tid=6518] ppid=6362 vsize=686348 CPUtime=0 cores=0-7
/proc/6364/task/6518/stat : 6518 (python) S 6362 6364 5923 0 -1 4202560 34 933 0 0 0 0 0 0 19 0 34 0 746989717 702820352 8713 33554432000 4194304 5683644 140733709205424 18446744073709551615 231907314097 0 0 16781312 2 18446604442958806080 0 0 -1 3 0 0 0
[pid=6364/tid=6522] ppid=6362 vsize=686348 CPUtime=0 cores=0-7
/proc/6364/task/6522/stat : 6522 (python) S 6362 6364 5923 0 -1 4202560 32 933 0 0 0 0 0 0 19 0 34 0 746991023 702820352 8713 33554432000 4194304 5683644 140733709205424 18446744073709551615 231907314097 0 0 16781312 2 18446604442958806080 0 0 -1 3 0 0 0
[pid=6364/tid=6526] ppid=6362 vsize=686348 CPUtime=0 cores=0-7
/proc/6364/task/6526/stat : 6526 (python) S 6362 6364 5923 0 -1 4202560 30 933 0 0 0 0 0 0 19 0 34 0 746993950 702820352 8713 33554432000 4194304 5683644 140733709205424 18446744073709551615 231907314097 0 0 16781312 2 18446604442958806080 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 7895.65
Current children cumulated vsize (KiB) 32546576

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 6364 and gives
#  childrusage.ru_utime.tv_sec=1027
#  childrusage.ru_utime.tv_usec=832745
#  childrusage.ru_stime.tv_sec=13
#  childrusage.ru_stime.tv_usec=337972
# CPU time returned by wait4() is 1041.17
# while last known CPU time is 7895.65
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1133.11
CPU time (s): 7895.65
CPU user time (s): 7882.34
CPU system time (s): 13.31
CPU usage (%): 696.811
Max. virtual memory (cumulated for all children) (KiB): 32546580

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1027.83
system time used= 13.338
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 119946
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= 12617
involuntary context switches= 8067

runsolver used 11.5402 second user time and 27.0699 second system time

The end

Launcher Data 

Begin job on node114 at 2011-05-16 19:21:40
IDJOB=3385426
IDBENCH=82691
IDSOLVER=1870
FILE ID=node114/3385426-1305566500
RUNJOBID= node114-1305564965-5937
PBS_JOBID= 13350136
Free space on /tmp= 72952 MiB

SOLVER NAME= borg-sat 11.03.02-par-random (fixed)
BENCH NAME= SAT11/random/large/unif-k7-r85-v400-c34000-S94779963-093-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-3385426-1305566500/watcher-3385426-1305566500 -o /tmp/evaluation-result-3385426-1305566500/solver-3385426-1305566500 -C 40000 -W 5100 -M 31000  python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3385426-1305566500.cnf -seed 1828143021 -budget 40000 -cores 8

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

MD5SUM BENCH= aef8bd4e13046b42a5bc777dc56e10de
RANDOM SEED=1828143021

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      23689276 kB
Buffers:         57728 kB
Cached:         517668 kB
SwapCached:      48528 kB
Active:         847580 kB
Inactive:      8218884 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      23689276 kB
SwapTotal:    67111528 kB
SwapFree:     60044320 kB
Dirty:           33052 kB
Writeback:           0 kB
AnonPages:     8449072 kB
Mapped:          21616 kB
Slab:            77004 kB
PageTables:      50532 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 69926220 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= 72920 MiB
End job on node114 at 2011-05-16 19:40:35