Trace number 3385432

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) 9229.96 1311.32

General information on the benchmark

Namerandom/large/
unif-k7-r85-v300-c25500-S415002759-031-UNKNOWN.cnf
MD5SUM6d4469ea6d617a494594ad07b4996367
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 variables300
Number of clauses25500
Sum of the clauses size178500
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 525500

Solver Data 

0.32/0.47	c INFO: loaded portfolio from HOME/etc/borg-mix+class.random.pickle
0.32/0.47	c INFO: solving HOME/instance-3385432-1305566550.cnf
0.32/0.47	c INFO: computing task features
0.51/0.64	c INFO: computed variable-clause graph statistics
0.51/0.65	c INFO: computed clause balance statistics
1.41/1.55	c INFO: computed variable balance statistics
1.81/1.90	c INFO: computed small-clause counts
1.81/1.90	c INFO: computed Horn-clause counts
1.81/1.93	c INFO: computed variable graph statistics
1.81/1.93	c INFO: collected features for HOME/instance-3385432-1305566550.cnf in 1.46 s
1.81/1.96	c INFO: running gnovelty+2@0 for 97 with 4998 remaining (b = 0.37)
1.90/2.00	c INFO: running gnovelty+2@0 for 97 with 4998 remaining (b = 0.13)
1.90/2.03	c INFO: running adaptg2wsat2009++@0 for 97 with 4998 remaining (b = 0.08)
1.90/2.06	c INFO: running adaptg2wsat2009++@0 for 97 with 4998 remaining (b = 0.07)
1.90/2.09	c INFO: running adaptg2wsat2009++@0 for 97 with 4998 remaining (b = 0.05)
2.34/2.12	c INFO: running gnovelty+2@0 for 97 with 4998 remaining (b = 0.04)
2.34/2.16	c INFO: running FH@0 for 97 with 4998 remaining (b = 0.03)
2.34/2.19	c INFO: running adaptg2wsat2009++@0 for 97 with 4998 remaining (b = 0.03)
702.18/102.33	c INFO: running adaptg2wsat2009++@0 for 97 with 4898 remaining (b = 0.02)
702.18/102.37	c INFO: running FH@0 for 97 with 4898 remaining (b = 0.02)
703.23/102.54	c INFO: running hybridGM3@0 for 194 with 4897 remaining (b = 0.04)
744.57/108.44	c INFO: running gnovelty+2@0 for 97 with 4892 remaining (b = 0.02)
872.95/126.57	c INFO: running hybridGM3@0 for 194 with 4873 remaining (b = 0.03)
873.53/126.64	c INFO: running adaptg2wsat2009++@0 for 97 with 4873 remaining (b = 0.01)
914.00/132.43	c INFO: running hybridGM3@0 for 194 with 4868 remaining (b = 0.03)
955.82/138.47	c INFO: running hybridGM3@0 for 194 with 4862 remaining (b = 0.02)
1445.18/208.70	c INFO: running TNM@0 for 1552 with 4791 remaining (b = 0.19)
1530.85/220.93	c INFO: running FH@0 for 97 with 4779 remaining (b = 0.01)
1657.89/238.82	c INFO: running adaptg2wsat2009++@0 for 97 with 4761 remaining (b = 0.01)
1659.33/239.06	c INFO: running adaptg2wsat2009++@100 for 97 with 4761 remaining (b = 0.01)
2122.27/305.30	c INFO: running hybridGM3@98 for 97 with 4695 remaining (b = 0.01)
2320.67/333.33	c INFO: running hybridGM3@0 for 194 with 4667 remaining (b = 0.02)
2334.55/335.31	c INFO: running hybridGM3@101 for 97 with 4665 remaining (b = 0.01)
2417.67/347.21	c INFO: running hybridGM3@102 for 97 with 4653 remaining (b = 0.01)
2547.35/365.29	c INFO: running hybridGM3@99 for 97 with 4635 remaining (b = 0.01)
2596.03/372.27	c INFO: running hybridGM3@0 for 194 with 4628 remaining (b = 0.02)
2639.91/378.52	c INFO: running TNM@0 for 1455 with 4621 remaining (b = 0.14)
2849.20/406.65	c INFO: running adaptg2wsat2009++@0 for 97 with 4593 remaining (b = 0.01)
3058.40/436.67	c INFO: running hybridGM3@301 for 97 with 4563 remaining (b = 0.01)
3141.26/448.57	c INFO: running hybridGM3@300 for 97 with 4551 remaining (b = 0.01)
3393.54/484.70	c INFO: running adaptg2wsat2009++@0 for 97 with 4515 remaining (b = 0.01)
3653.50/522.06	c INFO: running adaptg2wsat2009++@99 for 97 with 4478 remaining (b = 0.01)
3854.31/550.06	c INFO: running FH@0 for 291 with 4450 remaining (b = 0.03)
3883.52/554.21	c INFO: running gnovelty+2@0 for 97 with 4446 remaining (b = 0.01)
4071.19/581.05	c INFO: running hybridGM3@97 for 97 with 4419 remaining (b = 0.01)
4106.13/586.03	c INFO: running hybridGM3@394 for 97 with 4414 remaining (b = 0.01)
4162.12/594.10	c INFO: running hybridGM3@398 for 97 with 4406 remaining (b = 0.01)
4381.30/625.44	c INFO: running adaptg2wsat2009++@296 for 291 with 4375 remaining (b = 0.03)
4627.75/660.73	c INFO: running hybridGM3@0 for 194 with 4339 remaining (b = 0.01)
4796.71/683.39	c INFO: running TNM@0 for 1552 with 4317 remaining (b = 0.12)
4879.73/694.45	c INFO: running iPAWS@0 for 97 with 4306 remaining (b = 0.01)
4900.72/697.48	c INFO: running FH@99 for 291 with 4303 remaining (b = 0.02)
5585.32/794.82	c INFO: running iPAWS@0 for 97 with 4205 remaining (b = 0.01)
6067.62/864.07	c INFO: running FH@198 for 194 with 4136 remaining (b = 0.01)
6189.58/881.53	c INFO: running hybridGM3@97 for 97 with 4118 remaining (b = 0.01)
6494.12/925.28	c INFO: running gnovelty+2@0 for 97 with 4075 remaining (b = 0.01)
6920.71/982.89	c INFO: running hybridGM3@0 for 194 with 4017 remaining (b = 0.01)
7204.14/1023.53	c INFO: running adaptg2wsat2009++@101 for 97 with 3976 remaining (b = 0.01)
7247.35/1029.72	c INFO: running adaptg2wsat2009++@399 for 194 with 3970 remaining (b = 0.01)
7261.38/1031.74	c INFO: running FH@0 for 97 with 3968 remaining (b = 0.01)
7555.91/1072.78	c INFO: running hybridGM3@0 for 194 with 3927 remaining (b = 0.01)
8018.54/1138.15	c INFO: running NCVWr@0 for 485 with 3862 remaining (b = 0.03)
8024.14/1138.96	c INFO: running adaptg2wsat2009++@395 for 194 with 3861 remaining (b = 0.01)
8477.91/1203.71	c INFO: running iPAWS@0 for 97 with 3796 remaining (b = 0.01)
8814.19/1251.48	c INFO: running adaptg2wsat2009++@496 for 97 with 3749 remaining (b = 0.01)
9150.40/1299.71	c INFO: running hybridGM3@101 for 97 with 3700 remaining (b = 0.01)
9222.86/1310.12	c INFO: running hybridGM3@0 for 194 with 3690 remaining (b = 0.01)
9229.96/1311.23	c INFO: running FH@196 for 194 with 3689 remaining (b = 0.01)
9229.96/1311.24	Traceback (most recent call last):
9229.96/1311.24	  File "HOME/solve", line 33, in <module>
9229.96/1311.24	    plac.call(main)
9229.96/1311.24	  File "/home/evaluation/evaluation/tools64/lib/python2.7/site-packages/plac-0.8.1-py2.7.egg/plac_core.py", line 311, in call
9229.96/1311.24	    cmd, result = parser_from(obj).consume(arglist)
9229.96/1311.24	  File "/home/evaluation/evaluation/tools64/lib/python2.7/site-packages/plac-0.8.1-py2.7.egg/plac_core.py", line 192, in consume
9229.96/1311.24	    return cmd, self.func(*(args + varargs + extraopts), **kwargs)
9229.96/1311.24	  File "HOME/borg/build/lib/borg/tools/solve.py", line 84, in main
9229.96/1311.24	    (_, answer, _) = solver(input_path, budget / cores, cores)
9229.96/1311.24	  File "HOME/borg/build/lib/borg/bilevel.py", line 202, in __call__
9229.96/1311.24	    solver.go(max_cost * borg.defaults.machine_speed)
9229.96/1311.24	  File "HOME/borg/build/lib/borg/solvers.py", line 179, in go
9229.96/1311.24	    self._process.start()
9229.96/1311.24	  File "/home/evaluation/evaluation/tools64/lib/python2.7/multiprocessing/process.py", line 94, in start
9229.96/1311.24	    assert self._popen is None, 'cannot start a process twice'
9229.96/1311.24	AssertionError: cannot start a process twice

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-3385432-1305566550/watcher-3385432-1305566550 -o /tmp/evaluation-result-3385432-1305566550/solver-3385432-1305566550 -C 40000 -W 5100 -M 31000 python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3385432-1305566550.cnf -seed 464605975 -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: 7.74 8.52 6.96 2/384 24703
/proc/meminfo: memFree=20823180/32950928 swapFree=62959404/67111528
[pid=24703] ppid=24701 vsize=16240 CPUtime=0 cores=0-7
/proc/24703/stat : 24703 (python) R 24701 24703 24145 0 -1 4202496 1038 0 0 0 0 0 0 0 17 0 1 0 124264438 16629760 910 33554432000 4194304 5683644 140736621137712 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/24703/statm: 4060 910 380 364 0 547 0

[startup+0.029192 s]
/proc/loadavg: 7.74 8.52 6.96 2/384 24703
/proc/meminfo: memFree=20823180/32950928 swapFree=62959404/67111528
[pid=24703] ppid=24701 vsize=18884 CPUtime=0.01 cores=0-7
/proc/24703/stat : 24703 (python) S 24701 24703 24145 0 -1 4202496 1259 0 0 0 1 0 0 0 17 0 1 0 124264438 19337216 1113 33554432000 4194304 5683644 140736621137712 18446744073709551615 218880563200 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/24703/statm: 4721 1113 421 364 0 690 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 18884

[startup+0.101178 s]
/proc/loadavg: 7.74 8.52 6.96 2/384 24703
/proc/meminfo: memFree=20823180/32950928 swapFree=62959404/67111528
[pid=24703] ppid=24701 vsize=104228 CPUtime=0.07 cores=0-7
/proc/24703/stat : 24703 (python) R 24701 24703 24145 0 -1 4202496 3066 0 0 0 5 2 0 0 17 0 1 0 124264438 106729472 2748 33554432000 4194304 5683644 140736621137712 18446744073709551615 218880561076 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/24703/statm: 26057 2748 847 364 0 1805 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 104228

[startup+0.301162 s]
/proc/loadavg: 7.74 8.52 6.96 2/384 24703
/proc/meminfo: memFree=20823180/32950928 swapFree=62959404/67111528
[pid=24703] ppid=24701 vsize=170760 CPUtime=0.24 cores=0-7
/proc/24703/stat : 24703 (python) R 24701 24703 24145 0 -1 4202496 6740 934 1 0 18 6 0 0 17 0 1 0 124264438 174858240 4809 33554432000 4194304 5683644 140736621137712 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/24703/statm: 42689 4808 1336 364 0 3454 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 170760

[startup+0.701067 s]
/proc/loadavg: 7.74 8.52 6.96 2/384 24703
/proc/meminfo: memFree=20823180/32950928 swapFree=62959404/67111528
[pid=24703] ppid=24701 vsize=285636 CPUtime=0.61 cores=0-7
/proc/24703/stat : 24703 (python) R 24701 24703 24145 0 -1 4202496 12501 934 1 0 53 8 0 0 17 0 1 0 124264438 292491264 8794 33554432000 4194304 5683644 140736621137712 18446744073709551615 47822118033938 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/24703/statm: 71409 8794 1826 364 0 7333 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 285636

[startup+1.50093 s]
/proc/loadavg: 7.74 8.52 6.96 3/385 24708
/proc/meminfo: memFree=20794468/32950928 swapFree=62959404/67111528
[pid=24703] ppid=24701 vsize=285636 CPUtime=1.41 cores=0-7
/proc/24703/stat : 24703 (python) R 24701 24703 24145 0 -1 4202496 12501 934 1 0 133 8 0 0 19 0 1 0 124264438 292491264 8794 33554432000 4194304 5683644 140736621137712 18446744073709551615 4619779 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/24703/statm: 71409 8794 1826 364 0 7333 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 285636

[startup+3.10157 s]
/proc/loadavg: 7.74 8.52 6.96 9/399 24723
/proc/meminfo: memFree=20769920/32950928 swapFree=62959404/67111528
[pid=24703] ppid=24701 vsize=362920 CPUtime=2.09 cores=0-7
/proc/24703/stat : 24703 (python) S 24701 24703 24145 0 -1 4202496 18959 934 1 0 199 10 0 0 22 0 9 0 124264438 371630080 7697 33554432000 4194304 5683644 140736621137712 18446744073709551615 218892391883 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0
/proc/24703/statm: 90730 7697 1891 364 0 26627 0
[pid=24709] ppid=24703 vsize=280760 CPUtime=0 cores=0-7
/proc/24709/stat : 24709 (python) S 24703 24703 24145 0 -1 4202560 740 0 0 0 0 0 0 0 18 0 1 0 124264635 287498240 5978 33554432000 4194304 5683644 140736621137712 18446744073709551615 218880585231 0 0 16781312 514 4354881063281983745 0 0 17 0 0 0 0
/proc/24709/statm: 70190 5978 355 364 0 6108 0
[pid=24711] ppid=24709 vsize=1019708 CPUtime=1.12 cores=0-7
/proc/24711/stat : 24711 (gnovelty+2) R 24709 24711 24711 0 -1 4202496 953 0 0 0 112 0 0 0 25 0 1 0 124264635 1044180992 690 33554432000 134512640 135663704 4287513920 18446744073709551615 134544218 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/24711/statm: 254927 690 113 282 0 254643 0
[pid=24712] ppid=24703 vsize=291084 CPUtime=0 cores=0-7
/proc/24712/stat : 24712 (python) S 24703 24703 24145 0 -1 4202560 741 0 0 0 0 0 0 0 18 0 1 0 124264638 298070016 5976 33554432000 4194304 5683644 140736621137712 18446744073709551615 218880585286 0 0 16781312 514 4354884911572680962 0 0 17 6 0 0 0
/proc/24712/statm: 72771 5976 349 364 0 8686 0
[pid=24714] ppid=24712 vsize=1019708 CPUtime=1.07 cores=0-7
/proc/24714/stat : 24714 (gnovelty+2) R 24712 24714 24714 0 -1 4202496 951 0 0 0 107 0 0 0 25 0 1 0 124264639 1044180992 690 33554432000 134512640 135663704 4289930144 18446744073709551615 134524548 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/24714/statm: 254927 690 113 282 0 254643 0
[pid=24715] ppid=24703 vsize=301408 CPUtime=0 cores=0-7
/proc/24715/stat : 24715 (python) S 24703 24703 24145 0 -1 4202560 742 0 0 0 0 0 0 0 18 0 1 0 124264641 308641792 5997 33554432000 4194304 5683644 140736621137712 18446744073709551615 218880585286 0 0 16781312 514 15384406557433266175 0 0 17 6 0 0 0
/proc/24715/statm: 75352 5997 349 364 0 11264 0
[pid=24717] ppid=24715 vsize=419820 CPUtime=1.06 cores=0-7
/proc/24717/stat : 24717 (adaptg2wsat2009) R 24715 24717 24717 0 -1 4202496 1443 0 0 0 106 0 0 0 24 0 1 0 124264642 429895680 1174 33554432000 134512640 135107411 4289765488 18446744073709551615 134523300 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/24717/statm: 104955 1174 49 146 0 103831 0
[pid=24718] ppid=24703 vsize=311528 CPUtime=0 cores=0-7
/proc/24718/stat : 24718 (python) S 24703 24703 24145 0 -1 4202560 751 0 0 0 0 0 0 0 18 0 1 0 124264645 319004672 6018 33554432000 4194304 5683644 140736621137712 18446744073709551615 218880585286 0 0 16781312 514 4091838024621490175 0 0 17 0 0 0 0
/proc/24718/statm: 77882 6018 349 364 0 13791 0
[pid=24720] ppid=24718 vsize=419820 CPUtime=1.02 cores=0-7
/proc/24720/stat : 24720 (adaptg2wsat2009) R 24718 24720 24720 0 -1 4202496 1438 0 0 0 102 0 0 0 25 0 1 0 124264645 429895680 1173 33554432000 134512640 135107411 4290633872 18446744073709551615 134523317 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/24720/statm: 104955 1173 49 146 0 103831 0
[pid=24721] ppid=24703 vsize=322392 CPUtime=0 cores=0-7
/proc/24721/stat : 24721 (python) S 24703 24703 24145 0 -1 4202560 744 0 0 0 0 0 0 0 19 0 1 0 124264648 330129408 6018 33554432000 4194304 5683644 140736621137712 18446744073709551615 218880585286 0 0 16781312 514 4091845721202884607 0 0 17 4 0 0 0
/proc/24721/statm: 80598 6018 345 364 0 16504 0
[pid=24703/tid=24710] ppid=24701 vsize=362920 CPUtime=0 cores=0-7
/proc/24703/task/24710/stat : 24710 (python) S 24701 24703 24145 0 -1 4202560 27 934 0 0 0 0 0 0 22 0 9 0 124264635 371630080 7697 33554432000 4194304 5683644 140736621137712 18446744073709551615 218892388785 0 0 16781312 2 18446604453909173184 0 0 -1 6 0 0 0
[pid=24703/tid=24713] ppid=24701 vsize=362920 CPUtime=0 cores=0-7
/proc/24703/task/24713/stat : 24713 (python) S 24701 24703 24145 0 -1 4202560 23 934 0 0 0 0 0 0 24 0 9 0 124264639 371630080 7697 33554432000 4194304 5683644 140736621137712 18446744073709551615 218892388785 0 0 16781312 2 18446604453909173184 0 0 -1 4 0 0 0
[pid=24703/tid=24716] ppid=24701 vsize=362920 CPUtime=0 cores=0-7
/proc/24703/task/24716/stat : 24716 (python) S 24701 24703 24145 0 -1 4202560 20 934 0 0 0 0 0 0 20 0 9 0 124264641 371630080 7697 33554432000 4194304 5683644 140736621137712 18446744073709551615 218892388785 0 0 16781312 2 18446604453909173184 0 0 -1 2 0 0 0
[pid=24703/tid=24719] ppid=24701 vsize=362920 CPUtime=0 cores=0-7
/proc/24703/task/24719/stat : 24719 (python) S 24701 24703 24145 0 -1 4202560 25 934 0 0 0 0 0 0 22 0 9 0 124264645 371630080 7697 33554432000 4194304 5683644 140736621137712 18446744073709551615 218892388785 0 0 16781312 2 18446604453909173184 0 0 -1 4 0 0 0
[pid=24703/tid=24722] ppid=24701 vsize=362920 CPUtime=0 cores=0-7
/proc/24703/task/24722/stat : 24722 (python) S 24701 24703 24145 0 -1 4202560 25 934 0 0 0 0 0 0 20 0 9 0 124264648 371630080 7697 33554432000 4194304 5683644 140736621137712 18446744073709551615 218892388785 0 0 16781312 2 18446604453909173184 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.36
Current children cumulated vsize (KiB) 4749148

[startup+6.301 s]
/proc/loadavg: 8.00 8.56 6.98 10/409 24732
/proc/meminfo: memFree=20736796/32950928 swapFree=62959404/67111528
[pid=24703] ppid=24701 vsize=362920 CPUtime=2.09 cores=0-7
/proc/24703/stat : 24703 (python) S 24701 24703 24145 0 -1 4202496 18959 934 1 0 199 10 0 0 22 0 9 0 124264438 371630080 7697 33554432000 4194304 5683644 140736621137712 18446744073709551615 218892391883 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0
/proc/24703/statm: 90730 7697 1891 364 0 26627 0
[pid=24709] ppid=24703 vsize=280760 CPUtime=0.01 cores=0-7
/proc/24709/stat : 24709 (python) S 24703 24703 24145 0 -1 4202560 905 0 0 0 0 1 0 0 18 0 1 0 124264635 287498240 6001 33554432000 4194304 5683644 140736621137712 18446744073709551615 218880585231 0 0 16781312 514 4354881063281983745 0 0 17 0 0 0 0
/proc/24709/statm: 70190 6001 378 364 0 6108 0
[pid=24711] ppid=24709 vsize=1019708 CPUtime=4.32 cores=0-7
/proc/24711/stat : 24711 (gnovelty+2) R 24709 24711 24711 0 -1 4202496 953 0 0 0 432 0 0 0 25 0 1 0 124264635 1044180992 690 33554432000 134512640 135663704 4287513920 18446744073709551615 134524548 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/24711/statm: 254927 690 113 282 0 254643 0
[pid=24712] ppid=24703 vsize=291084 CPUtime=0.02 cores=0-7
/proc/24712/stat : 24712 (python) S 24703 24703 24145 0 -1 4202560 913 0 0 0 1 1 0 0 18 0 1 0 124264638 298070016 5998 33554432000 4194304 5683644 140736621137712 18446744073709551615 218880585286 0 0 16781312 514 4354884911572680962 0 0 17 6 0 0 0
/proc/24712/statm: 72771 5998 371 364 0 8686 0
[pid=24714] ppid=24712 vsize=1019708 CPUtime=4.23 cores=0-7
/proc/24714/stat : 24714 (gnovelty+2) R 24712 24714 24714 0 -1 4202496 951 0 0 0 423 0 0 0 25 0 1 0 124264639 1044180992 690 33554432000 134512640 135663704 4289930144 18446744073709551615 134545631 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/24714/statm: 254927 690 113 282 0 254643 0
[pid=24715] ppid=24703 vsize=301408 CPUtime=0.01 cores=0-7
/proc/24715/stat : 24715 (python) S 24703 24703 24145 0 -1 4202560 898 0 0 0 0 1 0 0 18 0 1 0 124264641 308641792 6020 33554432000 4194304 5683644 140736621137712 18446744073709551615 218880585286 0 0 16781312 514 15384406557433233666 0 0 17 6 0 0 0
/proc/24715/statm: 75352 6020 372 364 0 11264 0
[pid=24717] ppid=24715 vsize=420220 CPUtime=4.26 cores=0-7
/proc/24717/stat : 24717 (adaptg2wsat2009) R 24715 24717 24717 0 -1 4202496 1670 0 0 0 426 0 0 0 25 0 1 0 124264642 430305280 1401 33554432000 134512640 135107411 4289765488 18446744073709551615 134531744 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/24717/statm: 105055 1401 59 146 0 103931 0
[pid=24718] ppid=24703 vsize=311528 CPUtime=0.01 cores=0-7
/proc/24718/stat : 24718 (python) S 24703 24703 24145 0 -1 4202560 933 0 0 0 0 1 0 0 18 0 1 0 124264645 319004672 6041 33554432000 4194304 5683644 140736621137712 18446744073709551615 218880585286 0 0 16781312 514 4091838024621457667 0 0 17 0 0 0 0
/proc/24718/statm: 77882 6041 372 364 0 13791 0
[pid=24720] ppid=24718 vsize=420220 CPUtime=4.18 cores=0-7
/proc/24720/stat : 24720 (adaptg2wsat2009) R 24718 24720 24720 0 -1 4202496 1665 0 0 0 417 1 0 0 25 0 1 0 124264645 430305280 1400 33554432000 134512640 135107411 4290633872 18446744073709551615 134531840 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/24720/statm: 105055 1400 59 146 0 103931 0
[pid=24721] ppid=24703 vsize=322392 CPUtime=0.01 cores=0-7
/proc/24721/stat : 24721 (python) S 24703 24703 24145 0 -1 4202560 949 0 0 0 1 0 0 0 18 0 1 0 124264648 330129408 6045 33554432000 4194304 5683644 140736621137712 18446744073709551615 218880585286 0 0 16781312 514 4091845721202852098 0 0 17 4 0 0 0
/proc/24721/statm: 80598 6045 372 364 0 16504 0
[pid=24723] ppid=24721 vsize=419820 CPUtime=3.24 cores=0-7
/proc/24723/stat : 24723 (adaptg2wsat2009) R 24721 24723 24723 0 -1 4202496 1440 0 0 0 324 0 0 0 25 0 1 0 124264648 429895680 1173 33554432000 134512640 135107411 4291981680 18446744073709551615 134523455 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/24723/statm: 104955 1173 49 146 0 103831 0
[pid=24724] ppid=24703 vsize=332164 CPUtime=0.01 cores=0-7
/proc/24724/stat : 24724 (python) S 24703 24703 24145 0 -1 4202560 946 0 0 0 0 1 0 0 18 0 1 0 124264651 340135936 6165 33554432000 4194304 5683644 140736621137712 18446744073709551615 218880585286 0 0 16781312 514 4091849569493549313 0 0 17 4 0 0 0
/proc/24724/statm: 83041 6165 370 364 0 18944 0
[pid=24726] ppid=24724 vsize=1019708 CPUtime=3.06 cores=0-7
/proc/24726/stat : 24726 (gnovelty+2) R 24724 24726 24726 0 -1 4202496 953 0 0 0 306 0 0 0 25 0 1 0 124264651 1044180992 689 33554432000 134512640 135663704 4292115952 18446744073709551615 134525224 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/24726/statm: 254927 689 113 282 0 254643 0
[pid=24727] ppid=24703 vsize=342420 CPUtime=0 cores=0-7
/proc/24727/stat : 24727 (python) S 24703 24703 24145 0 -1 4202560 961 0 0 0 0 0 0 0 18 0 1 0 124264654 350638080 6169 33554432000 4194304 5683644 140736621137712 18446744073709551615 218880585286 0 0 16781312 514 4354877214991286530 0 0 17 6 0 0 0
/proc/24727/statm: 85605 6169 370 364 0 21505 0
[pid=24729] ppid=24727 vsize=247956 CPUtime=2.02 cores=0-7
/proc/24729/stat : 24729 (FH) R 24727 24729 24729 0 -1 4202496 1254 0 0 0 202 0 0 0 25 0 1 0 124264657 253906944 987 33554432000 134512640 134936988 4288726432 18446744073709551615 134523497 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/24729/statm: 61989 987 37 104 0 61493 0
[pid=24730] ppid=24703 vsize=352676 CPUtime=0.01 cores=0-7
/proc/24730/stat : 24730 (python) S 24703 24703 24145 0 -1 4202560 1008 0 0 0 0 1 0 0 18 0 1 0 124264658 361140224 6179 33554432000 4194304 5683644 140736621137712 18446744073709551615 218880585286 0 0 16781312 514 16664141060263378943 0 0 17 6 0 0 0
/proc/24730/statm: 88169 6179 376 364 0 24066 0
[pid=24732] ppid=24730 vsize=420220 CPUtime=4.02 cores=0-7
/proc/24732/stat : 24732 (adaptg2wsat2009) R 24730 24732 24732 0 -1 4202496 1677 0 0 0 402 0 0 0 25 0 1 0 124264658 430305280 1400 33554432000 134512640 135107411 4287649360 18446744073709551615 134539292 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/24732/statm: 105055 1400 59 146 0 103931 0
[pid=24703/tid=24710] ppid=24701 vsize=362920 CPUtime=0 cores=0-7
/proc/24703/task/24710/stat : 24710 (python) S 24701 24703 24145 0 -1 4202560 27 934 0 0 0 0 0 0 22 0 9 0 124264635 371630080 7697 33554432000 4194304 5683644 140736621137712 18446744073709551615 218892388785 0 0 16781312 2 18446604453909173184 0 0 -1 6 0 0 0
[pid=24703/tid=24713] ppid=24701 vsize=362920 CPUtime=0 cores=0-7
/proc/24703/task/24713/stat : 24713 (python) S 24701 24703 24145 0 -1 4202560 23 934 0 0 0 0 0 0 24 0 9 0 124264639 371630080 7697 33554432000 4194304 5683644 140736621137712 18446744073709551615 218892388785 0 0 16781312 2 18446604453909173184 0 0 -1 4 0 0 0
[pid=24703/tid=24716] ppid=24701 vsize=362920 CPUtime=0 cores=0-7
/proc/24703/task/24716/stat : 24716 (python) S 24701 24703 24145 0 -1 4202560 20 934 0 0 0 0 0 0 20 0 9 0 124264641 371630080 7697 33554432000 4194304 5683644 140736621137712 18446744073709551615 218892388785 0 0 16781312 2 18446604453909173184 0 0 -1 2 0 0 0
[pid=24703/tid=24719] ppid=24701 vsize=362920 CPUtime=0 cores=0-7
/proc/24703/task/24719/stat : 24719 (python) S 24701 24703 24145 0 -1 4202560 25 934 0 0 0 0 0 0 22 0 9 0 124264645 371630080 7697 33554432000 4194304 5683644 140736621137712 18446744073709551615 218892388785 0 0 16781312 2 18446604453909173184 0 0 -1 4 0 0 0
[pid=24703/tid=24722] ppid=24701 vsize=362920 CPUtime=0 cores=0-7
/proc/24703/task/24722/stat : 24722 (python) S 24701 24703 24145 0 -1 4202560 25 934 0 0 0 0 0 0 20 0 9 0 124264648 371630080 7697 33554432000 4194304 5683644 140736621137712 18446744073709551615 218892388785 0 0 16781312 2 18446604453909173184 0 0 -1 0 0 0 0
[pid=24703/tid=24725] ppid=24701 vsize=362920 CPUtime=0 cores=0-7
/proc/24703/task/24725/stat : 24725 (python) S 24701 24703 24145 0 -1 4202560 25 934 0 0 0 0 0 0 20 0 9 0 124264651 371630080 7697 33554432000 4194304 5683644 140736621137712 18446744073709551615 218892388785 0 0 16781312 2 18446604453909173184 0 0 -1 4 0 0 0
[pid=24703/tid=24728] ppid=24701 vsize=362920 CPUtime=0 cores=0-7
/proc/24703/task/24728/stat : 24728 (python) S 24701 24703 24145 0 -1 4202560 26 934 0 0 0 0 0 0 20 0 9 0 124264655 371630080 7697 33554432000 4194304 5683644 140736621137712 18446744073709551615 218892388785 0 0 16781312 2 18446604453909173184 0 0 -1 6 0 0 0
[pid=24703/tid=24731] ppid=24701 vsize=362920 CPUtime=0 cores=0-7
/proc/24703/task/24731/stat : 24731 (python) S 24701 24703 24145 0 -1 4202560 32 934 0 0 0 0 0 0 22 0 9 0 124264658 371630080 7697 33554432000 4194304 5683644 140736621137712 18446744073709551615 218892388785 0 0 16781312 2 18446604453909173184 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 31.5
Current children cumulated vsize (KiB) 7884912

[startup+12.7019 s]
/proc/loadavg: 8.08 8.57 6.99 10/409 24732
/proc/meminfo: memFree=20731044/32950928 swapFree=62959404/67111528
[pid=24703] ppid=24701 vsize=362920 CPUtime=2.09 cores=0-7
/proc/24703/stat : 24703 (python) S 24701 24703 24145 0 -1 4202496 18959 934 1 0 199 10 0 0 22 0 9 0 124264438 371630080 7697 33554432000 4194304 5683644 140736621137712 18446744073709551615 218892391883 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0
/proc/24703/statm: 90730 7697 1891 364 0 26627 0
[pid=24709] ppid=24703 vsize=280760 CPUtime=0.02 cores=0-7
/proc/24709/stat : 24709 (python) S 24703 24703 24145 0 -1 4202560 909 0 0 0 1 1 0 0 18 0 1 0 124264635 287498240 6001 33554432000 4194304 5683644 140736621137712 18446744073709551615 218880585231 0 0 16781312 514 8164603911957610753 0 0 17 0 0 0 0

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

/proc/24804/statm: 140500 6591 406 364 0 76355 0
[pid=24806] ppid=24804 vsize=1019708 CPUtime=102.23 cores=0-7
/proc/24806/stat : 24806 (gnovelty+2) T 24804 24806 24806 0 -1 4202496 968 0 0 0 10223 0 0 0 25 0 1 0 124319861 1044180992 689 33554432000 134512640 135663704 4288293792 18446744073709551615 134524894 0 0 16781312 0 18446744071562691360 0 0 17 7 0 0 0
/proc/24806/statm: 254927 689 113 282 0 254643 0
[pid=24804/tid=24812] ppid=24703 vsize=562000 CPUtime=0 cores=0-7
/proc/24804/task/24812/stat : 24812 (python) S 24703 24703 24145 0 -1 4202560 102 0 0 0 0 0 0 0 19 0 2 0 124330506 575488000 6591 33554432000 4194304 5683644 140736621137712 18446744073709551615 218892388785 0 0 16781312 514 18446604452852467840 0 0 -1 0 0 0 0
[pid=24813] ppid=24703 vsize=572256 CPUtime=1.02 cores=0-7
/proc/24813/stat : 24813 (python) S 24703 24703 24145 0 -1 4202560 1203 0 0 0 53 49 0 0 18 0 2 0 124330511 585990144 6596 33554432000 4194304 5683644 140736621137712 18446744073709551615 218892391883 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/24813/statm: 143064 6596 407 364 0 78916 0
[pid=24815] ppid=24813 vsize=268420 CPUtime=292.07 cores=0-7
/proc/24815/stat : 24815 (hybridGM3) T 24813 24815 24815 0 -1 4202496 5407 0 0 0 29207 0 0 0 25 0 1 0 124330512 274862080 5126 33554432000 134512640 135204385 4294052688 18446744073709551615 134538480 0 0 16781312 0 18446744071562691360 0 0 17 6 0 0 0
/proc/24815/statm: 67105 5126 63 169 0 66935 0
[pid=24813/tid=24832] ppid=24703 vsize=572256 CPUtime=0 cores=0-7
/proc/24813/task/24832/stat : 24832 (python) S 24703 24703 24145 0 -1 4202560 102 0 0 0 0 0 0 0 18 0 2 0 124352586 585990144 6596 33554432000 4194304 5683644 140736621137712 18446744073709551615 218892388785 0 0 16781312 514 18446604453862998464 0 0 -1 1 0 0 0
[pid=24816] ppid=24703 vsize=582512 CPUtime=2.06 cores=0-7
/proc/24816/stat : 24816 (python) S 24703 24703 24145 0 -1 4202560 987 0 0 0 105 101 0 0 18 0 1 0 124332778 596492288 6722 33554432000 4194304 5683644 140736621137712 18446744073709551615 218880585286 0 0 16781312 514 8164603911957610754 0 0 17 7 0 0 0
/proc/24816/statm: 145628 6722 379 364 0 81477 0
[pid=24818] ppid=24816 vsize=458344 CPUtime=493.7 cores=0-7
/proc/24818/stat : 24818 (TNM) R 24816 24818 24818 0 -1 4202496 1520 0 0 0 49370 0 0 0 25 0 1 0 124332778 469344256 1239 33554432000 134512640 135008748 4287451440 18446744073709551615 134527640 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/24818/statm: 114586 1239 46 122 0 113486 0
[pid=24819] ppid=24703 vsize=593204 CPUtime=0.32 cores=0-7
/proc/24819/stat : 24819 (python) S 24703 24703 24145 0 -1 4202560 1246 0 0 0 16 16 0 0 19 0 2 0 124333883 607440896 6599 33554432000 4194304 5683644 140736621137712 18446744073709551615 218892391883 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/24819/statm: 148301 6599 401 364 0 84147 0
[pid=24821] ppid=24819 vsize=335996 CPUtime=97.24 cores=0-7
/proc/24821/stat : 24821 (iPAWS) T 24819 24821 24821 0 -1 4202496 1820 0 0 0 9724 0 0 0 25 0 1 0 124333884 344059904 1535 33554432000 134512640 135114423 4286876016 18446744073709551615 134514915 0 0 16781312 0 18446744071562691360 0 0 17 1 0 0 0
/proc/24821/statm: 83999 1535 59 147 0 83851 0
[pid=24819/tid=24825] ppid=24703 vsize=593204 CPUtime=0 cores=0-7
/proc/24819/task/24825/stat : 24825 (python) S 24703 24703 24145 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 124343915 607440896 6599 33554432000 4194304 5683644 140736621137712 18446744073709551615 218892388785 0 0 16781312 514 18446604443626180672 0 0 -1 1 0 0 0
[pid=24826] ppid=24703 vsize=603024 CPUtime=0.42 cores=0-7
/proc/24826/stat : 24826 (python) S 24703 24703 24145 0 -1 4202560 1241 0 0 0 22 20 0 0 18 0 2 0 124343920 617496576 6702 33554432000 4194304 5683644 140736621137712 18446744073709551615 218892391883 0 0 16781312 514 18446744073709551615 0 0 17 3 0 0 0
/proc/24826/statm: 150756 6702 400 364 0 86599 0
[pid=24828] ppid=24826 vsize=335996 CPUtime=97.41 cores=0-7
/proc/24828/stat : 24828 (iPAWS) T 24826 24828 24828 0 -1 4202496 1817 0 0 0 9741 0 0 0 25 0 1 0 124343921 344059904 1536 33554432000 134512640 135114423 4287788304 18446744073709551615 134515622 0 0 16781312 0 18446744071562691360 0 0 17 3 0 0 0
/proc/24828/statm: 83999 1536 59 147 0 83851 0
[pid=24826/tid=24833] ppid=24703 vsize=603024 CPUtime=0 cores=0-7
/proc/24826/task/24833/stat : 24833 (python) S 24703 24703 24145 0 -1 4202560 151 0 0 0 0 0 0 0 19 0 2 0 124356961 617496576 6702 33554432000 4194304 5683644 140736621137712 18446744073709551615 218892388785 0 0 16781312 514 18446604443626181568 0 0 -1 0 0 0 0
[pid=24834] ppid=24703 vsize=613280 CPUtime=0.34 cores=0-7
/proc/24834/stat : 24834 (python) S 24703 24703 24145 0 -1 4202560 1195 0 0 0 18 16 0 0 19 0 2 0 124356966 627998720 6657 33554432000 4194304 5683644 140736621137712 18446744073709551615 218892391883 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/24834/statm: 153320 6657 400 364 0 89160 0
[pid=24836] ppid=24834 vsize=1019708 CPUtime=97.07 cores=0-7
/proc/24836/stat : 24836 (gnovelty+2) T 24834 24836 24836 0 -1 4202496 971 0 0 0 9707 0 0 0 25 0 1 0 124356967 1044180992 689 33554432000 134512640 135663704 4291637120 18446744073709551615 134524897 0 0 16781312 0 18446744071562691360 0 0 17 1 0 0 0
/proc/24836/statm: 254927 689 113 282 0 254643 0
[pid=24834/tid=24844] ppid=24703 vsize=613280 CPUtime=0 cores=0-7
/proc/24834/task/24844/stat : 24844 (python) S 24703 24703 24145 0 -1 4202560 95 0 0 0 0 0 0 0 19 0 2 0 124367607 627998720 6657 33554432000 4194304 5683644 140736621137712 18446744073709551615 218892388785 0 0 16781312 514 18446604446740078656 0 0 -1 1 0 0 0
[pid=24839] ppid=24703 vsize=623536 CPUtime=0.72 cores=0-7
/proc/24839/stat : 24839 (python) S 24703 24703 24145 0 -1 4202560 1204 0 0 0 36 36 0 0 19 0 2 0 124362728 638500864 6720 33554432000 4194304 5683644 140736621137712 18446744073709551615 218892391883 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/24839/statm: 155884 6720 401 364 0 91721 0
[pid=24841] ppid=24839 vsize=268420 CPUtime=195.29 cores=0-7
/proc/24841/stat : 24841 (hybridGM3) T 24839 24841 24841 0 -1 4202496 5412 0 0 0 19529 0 0 0 25 0 1 0 124362728 274862080 5126 33554432000 134512640 135204385 4289192912 18446744073709551615 134538524 0 0 16781312 0 18446744071562691360 0 0 17 6 0 0 0
/proc/24841/statm: 67105 5126 63 169 0 66935 0
[pid=24839/tid=24859] ppid=24703 vsize=623536 CPUtime=0 cores=0-7
/proc/24839/task/24859/stat : 24859 (python) S 24703 24703 24145 0 -1 4202560 93 0 0 0 0 0 0 0 19 0 2 0 124384804 638500864 6720 33554432000 4194304 5683644 140736621137712 18446744073709551615 218892388785 0 0 16781312 514 18446604447596499392 0 0 -1 6 0 0 0
[pid=24845] ppid=24703 vsize=633792 CPUtime=0.35 cores=0-7
/proc/24845/stat : 24845 (python) S 24703 24703 24145 0 -1 4202560 1244 0 0 0 17 18 0 0 19 0 2 0 124367613 649003008 6674 33554432000 4194304 5683644 140736621137712 18446744073709551615 218892391883 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/24845/statm: 158448 6674 406 364 0 94282 0
[pid=24847] ppid=24845 vsize=249872 CPUtime=101.07 cores=0-7
/proc/24847/stat : 24847 (FH) T 24845 24847 24847 0 -1 4202496 1560 0 0 0 10107 0 0 0 25 0 1 0 124367613 255868928 1263 33554432000 134512640 134936988 4291955520 18446744073709551615 134553422 0 0 16781312 0 18446744071562691360 0 0 17 6 0 0 0
/proc/24847/statm: 62468 1263 41 104 0 61972 0
[pid=24845/tid=24853] ppid=24703 vsize=633792 CPUtime=0 cores=0-7
/proc/24845/task/24853/stat : 24853 (python) S 24703 24703 24145 0 -1 4202560 97 0 0 0 0 0 0 0 19 0 2 0 124378248 649003008 6674 33554432000 4194304 5683644 140736621137712 18446744073709551615 218892388785 0 0 16781312 514 18446604447596501184 0 0 -1 1 0 0 0
[pid=24848] ppid=24703 vsize=644048 CPUtime=0.79 cores=0-7
/proc/24848/stat : 24848 (python) S 24703 24703 24145 0 -1 4202560 1245 0 0 0 41 38 0 0 18 0 2 0 124371716 659505152 6798 33554432000 4194304 5683644 140736621137712 18446744073709551615 218880585286 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/24848/statm: 161012 6798 406 364 0 96843 0
[pid=24850] ppid=24848 vsize=268424 CPUtime=204.4 cores=0-7
/proc/24850/stat : 24850 (hybridGM3) R 24848 24850 24850 0 -1 4202496 5415 0 0 0 20440 0 0 0 25 0 1 0 124371717 274866176 5127 33554432000 134512640 135204385 4292179360 18446744073709551615 134538395 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/24850/statm: 67106 5127 63 169 0 66936 0
[pid=24848/tid=24865] ppid=24703 vsize=644048 CPUtime=0 cores=0-7
/proc/24848/task/24865/stat : 24865 (python) S 24703 24703 24145 0 -1 4202560 94 0 0 0 0 0 0 0 19 0 2 0 124394404 659505152 6798 33554432000 4194304 5683644 140736621137712 18446744073709551615 218892388785 0 0 16781312 514 18446604447596500288 0 0 -1 1 0 0 0
[pid=24854] ppid=24703 vsize=654304 CPUtime=0.58 cores=0-7
/proc/24854/stat : 24854 (python) S 24703 24703 24145 0 -1 4202560 1050 0 0 0 27 31 0 0 18 0 1 0 124378253 670007296 6804 33554432000 4194304 5683644 140736621137712 18446744073709551615 218880585286 0 0 16781312 514 8164603911957610755 0 0 17 1 0 0 0
/proc/24854/statm: 163576 6804 379 364 0 99404 0
[pid=24856] ppid=24854 vsize=419776 CPUtime=167.27 cores=0-7
/proc/24856/stat : 24856 (NCVWr) R 24854 24856 24856 0 -1 4202496 1568 0 0 0 16727 0 0 0 25 0 1 0 124378254 429850624 1281 33554432000 134512640 135113558 4289902288 18446744073709551615 134531602 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/24856/statm: 104944 1281 58 147 0 103819 0
[pid=24860] ppid=24703 vsize=664560 CPUtime=0.36 cores=0-7
/proc/24860/stat : 24860 (python) S 24703 24703 24145 0 -1 4202560 1263 0 0 0 18 18 0 0 19 0 2 0 124384810 680509440 6815 33554432000 4194304 5683644 140736621137712 18446744073709551615 218892391883 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/24860/statm: 166140 6815 407 364 0 101965 0
[pid=24862] ppid=24860 vsize=335996 CPUtime=98.93 cores=0-7
/proc/24862/stat : 24862 (iPAWS) T 24860 24862 24862 0 -1 4202496 1827 0 0 0 9893 0 0 0 25 0 1 0 124384811 344059904 1536 33554432000 134512640 135114423 4287906064 18446744073709551615 134516632 0 0 16781312 0 18446744071562691360 0 0 17 0 0 0 0
/proc/24862/statm: 83999 1536 59 147 0 83851 0
[pid=24860/tid=24867] ppid=24703 vsize=664560 CPUtime=0 cores=0-7
/proc/24860/task/24867/stat : 24867 (python) S 24703 24703 24145 0 -1 4202560 99 0 0 0 0 0 0 0 19 0 2 0 124395445 680509440 6815 33554432000 4194304 5683644 140736621137712 18446744073709551615 218892388785 0 0 16781312 514 18446604452354193280 0 0 -1 1 0 0 0
[pid=24868] ppid=24703 vsize=674816 CPUtime=0 cores=0-7
/proc/24868/stat : 24868 (python) S 24703 24703 24145 0 -1 4202560 966 0 0 0 0 0 0 0 18 0 1 0 124395451 691011584 6737 33554432000 4194304 5683644 140736621137712 18446744073709551615 218880585286 0 0 16781312 514 4675652035813572607 0 0 17 1 0 0 0
/proc/24868/statm: 168704 6737 355 364 0 104526 0
[pid=24870] ppid=24868 vsize=268420 CPUtime=0.5 cores=0-7
/proc/24870/stat : 24870 (hybridGM3) R 24868 24870 24870 0 -1 4202496 5417 0 0 0 50 0 0 0 22 0 1 0 124395452 274862080 5125 33554432000 134512640 135204385 4292477200 18446744073709551615 134538034 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/24870/statm: 67105 5125 63 169 0 66935 0
[pid=24703/tid=24710] ppid=24701 vsize=685060 CPUtime=0 cores=0-7
/proc/24703/task/24710/stat : 24710 (python) S 24701 24703 24145 0 -1 4202560 27 934 0 0 0 0 0 0 22 0 34 0 124264635 701501440 8328 33554432000 4194304 5683644 140736621137712 18446744073709551615 218892388785 0 0 16781312 2 18446604453909173184 0 0 -1 6 0 0 0
[pid=24703/tid=24713] ppid=24701 vsize=685060 CPUtime=0 cores=0-7
/proc/24703/task/24713/stat : 24713 (python) S 24701 24703 24145 0 -1 4202560 23 934 0 0 0 0 0 0 24 0 34 0 124264639 701501440 8328 33554432000 4194304 5683644 140736621137712 18446744073709551615 218892388785 0 0 16781312 2 18446604453909173184 0 0 -1 4 0 0 0
[pid=24703/tid=24716] ppid=24701 vsize=685060 CPUtime=0 cores=0-7
/proc/24703/task/24716/stat : 24716 (python) S 24701 24703 24145 0 -1 4202560 25 934 0 0 0 0 0 0 18 0 34 0 124264641 701501440 8328 33554432000 4194304 5683644 140736621137712 18446744073709551615 218892388785 0 0 16781312 2 18446604453909173184 0 0 -1 2 0 0 0
[pid=24703/tid=24719] ppid=24701 vsize=685060 CPUtime=0 cores=0-7
/proc/24703/task/24719/stat : 24719 (python) S 24701 24703 24145 0 -1 4202560 33 934 0 0 0 0 0 0 18 0 34 0 124264645 701501440 8328 33554432000 4194304 5683644 140736621137712 18446744073709551615 218892388785 0 0 16781312 2 18446604453909173184 0 0 -1 4 0 0 0
[pid=24703/tid=24722] ppid=24701 vsize=685060 CPUtime=0 cores=0-7
/proc/24703/task/24722/stat : 24722 (python) S 24701 24703 24145 0 -1 4202560 31 934 0 0 0 0 0 0 18 0 34 0 124264648 701501440 8328 33554432000 4194304 5683644 140736621137712 18446744073709551615 218892388785 0 0 16781312 2 18446604453909173184 0 0 -1 0 0 0 0
[pid=24703/tid=24725] ppid=24701 vsize=685060 CPUtime=0 cores=0-7
/proc/24703/task/24725/stat : 24725 (python) S 24701 24703 24145 0 -1 4202560 25 934 0 0 0 0 0 0 20 0 34 0 124264651 701501440 8328 33554432000 4194304 5683644 140736621137712 18446744073709551615 218892388785 0 0 16781312 2 18446604453909173184 0 0 -1 4 0 0 0
[pid=24703/tid=24728] ppid=24701 vsize=685060 CPUtime=0 cores=0-7
/proc/24703/task/24728/stat : 24728 (python) S 24701 24703 24145 0 -1 4202560 38 934 0 0 0 0 0 0 18 0 34 0 124264655 701501440 8328 33554432000 4194304 5683644 140736621137712 18446744073709551615 218892388785 0 0 16781312 2 18446604453909173184 0 0 -1 6 0 0 0
[pid=24703/tid=24731] ppid=24701 vsize=685060 CPUtime=0 cores=0-7
/proc/24703/task/24731/stat : 24731 (python) S 24701 24703 24145 0 -1 4202560 55 934 0 0 0 0 0 0 18 0 34 0 124264658 701501440 8328 33554432000 4194304 5683644 140736621137712 18446744073709551615 218892388785 0 0 16781312 2 18446604453909173184 0 0 -1 6 0 0 0
[pid=24703/tid=24737] ppid=24701 vsize=685060 CPUtime=0 cores=0-7
/proc/24703/task/24737/stat : 24737 (python) S 24701 24703 24145 0 -1 4202560 40 934 0 0 0 0 0 0 18 0 34 0 124274672 701501440 8328 33554432000 4194304 5683644 140736621137712 18446744073709551615 218892388785 0 0 16781312 2 18446604453909173184 0 0 -1 5 0 0 0
[pid=24703/tid=24741] ppid=24701 vsize=685060 CPUtime=0 cores=0-7
/proc/24703/task/24741/stat : 24741 (python) S 24701 24703 24145 0 -1 4202560 103 934 0 0 0 0 0 0 18 0 34 0 124274676 701501440 8328 33554432000 4194304 5683644 140736621137712 18446744073709551615 218892388785 0 0 16781312 2 18446604453909173184 0 0 -1 5 0 0 0
[pid=24703/tid=24745] ppid=24701 vsize=685060 CPUtime=0 cores=0-7
/proc/24703/task/24745/stat : 24745 (python) S 24701 24703 24145 0 -1 4202560 37 934 0 0 0 0 0 0 18 0 34 0 124274693 701501440 8328 33554432000 4194304 5683644 140736621137712 18446744073709551615 218892388785 0 0 16781312 2 18446604453909173184 0 0 -1 6 0 0 0
[pid=24703/tid=24750] ppid=24701 vsize=685060 CPUtime=0 cores=0-7
/proc/24703/task/24750/stat : 24750 (python) S 24701 24703 24145 0 -1 4202560 37 934 0 0 0 0 0 0 19 0 34 0 124275283 701501440 8328 33554432000 4194304 5683644 140736621137712 18446744073709551615 218892388785 0 0 16781312 2 18446604453909173184 0 0 -1 6 0 0 0
[pid=24703/tid=24755] ppid=24701 vsize=685060 CPUtime=0 cores=0-7
/proc/24703/task/24755/stat : 24755 (python) S 24701 24703 24145 0 -1 4202560 52 934 0 0 0 0 0 0 18 0 34 0 124277096 701501440 8328 33554432000 4194304 5683644 140736621137712 18446744073709551615 218892388785 0 0 16781312 2 18446604453909173184 0 0 -1 6 0 0 0
[pid=24703/tid=24759] ppid=24701 vsize=685060 CPUtime=0 cores=0-7
/proc/24703/task/24759/stat : 24759 (python) S 24701 24703 24145 0 -1 4202560 42 934 0 0 0 0 0 0 18 0 34 0 124277103 701501440 8328 33554432000 4194304 5683644 140736621137712 18446744073709551615 218892388785 0 0 16781312 2 18446604453909173184 0 0 -1 6 0 0 0
[pid=24703/tid=24763] ppid=24701 vsize=685060 CPUtime=0 cores=0-7
/proc/24703/task/24763/stat : 24763 (python) S 24701 24703 24145 0 -1 4202560 51 934 0 0 0 0 0 0 18 0 34 0 124277682 701501440 8328 33554432000 4194304 5683644 140736621137712 18446744073709551615 218892388785 0 0 16781312 2 18446604453909173184 0 0 -1 6 0 0 0
[pid=24703/tid=24767] ppid=24701 vsize=685060 CPUtime=0 cores=0-7
/proc/24703/task/24767/stat : 24767 (python) S 24701 24703 24145 0 -1 4202560 30 934 0 0 0 0 0 0 18 0 34 0 124278286 701501440 8328 33554432000 4194304 5683644 140736621137712 18446744073709551615 218892388785 0 0 16781312 2 18446604453909173184 0 0 -1 6 0 0 0
[pid=24703/tid=24773] ppid=24701 vsize=685060 CPUtime=0 cores=0-7
/proc/24703/task/24773/stat : 24773 (python) S 24701 24703 24145 0 -1 4202560 31 934 0 0 0 0 0 0 19 0 34 0 124285308 701501440 8328 33554432000 4194304 5683644 140736621137712 18446744073709551615 218892388785 0 0 16781312 2 18446604453909173184 0 0 -1 6 0 0 0
[pid=24703/tid=24777] ppid=24701 vsize=685060 CPUtime=0 cores=0-7
/proc/24703/task/24777/stat : 24777 (python) S 24701 24703 24145 0 -1 4202560 30 934 0 0 0 0 0 0 19 0 34 0 124286532 701501440 8328 33554432000 4194304 5683644 140736621137712 18446744073709551615 218892388785 0 0 16781312 2 18446604453909173184 0 0 -1 3 0 0 0
[pid=24703/tid=24787] ppid=24701 vsize=685060 CPUtime=0 cores=0-7
/proc/24703/task/24787/stat : 24787 (python) S 24701 24703 24145 0 -1 4202560 48 934 0 0 0 0 0 0 19 0 34 0 124297771 701501440 8328 33554432000 4194304 5683644 140736621137712 18446744073709551615 218892388785 0 0 16781312 2 18446604453909173184 0 0 -1 0 0 0 0
[pid=24703/tid=24794] ppid=24701 vsize=685060 CPUtime=0 cores=0-7
/proc/24703/task/24794/stat : 24794 (python) S 24701 24703 24145 0 -1 4202560 50 934 0 0 0 0 0 0 18 0 34 0 124301666 701501440 8328 33554432000 4194304 5683644 140736621137712 18446744073709551615 218892388785 0 0 16781312 2 18446604453909173184 0 0 -1 0 0 0 0
[pid=24703/tid=24797] ppid=24701 vsize=685060 CPUtime=0 cores=0-7
/proc/24703/task/24797/stat : 24797 (python) S 24701 24703 24145 0 -1 4202560 36 934 0 0 0 0 0 0 19 0 34 0 124302291 701501440 8328 33554432000 4194304 5683644 140736621137712 18446744073709551615 218892388785 0 0 16781312 2 18446604453909173184 0 0 -1 0 0 0 0
[pid=24703/tid=24805] ppid=24701 vsize=685060 CPUtime=0 cores=0-7
/proc/24703/task/24805/stat : 24805 (python) S 24701 24703 24145 0 -1 4202560 45 934 0 0 0 0 0 0 19 0 34 0 124319860 701501440 8328 33554432000 4194304 5683644 140736621137712 18446744073709551615 218892388785 0 0 16781312 2 18446604453909173184 0 0 -1 0 0 0 0
[pid=24703/tid=24814] ppid=24701 vsize=685060 CPUtime=0 cores=0-7
/proc/24703/task/24814/stat : 24814 (python) S 24701 24703 24145 0 -1 4202560 52 934 0 0 0 0 0 0 18 0 34 0 124330511 701501440 8328 33554432000 4194304 5683644 140736621137712 18446744073709551615 218892388785 0 0 16781312 2 18446604453909173184 0 0 -1 3 0 0 0
[pid=24703/tid=24817] ppid=24701 vsize=685060 CPUtime=0 cores=0-7
/proc/24703/task/24817/stat : 24817 (python) S 24701 24703 24145 0 -1 4202560 34 934 0 0 0 0 0 0 20 0 34 0 124332778 701501440 8328 33554432000 4194304 5683644 140736621137712 18446744073709551615 218892388785 0 0 16781312 2 18446604453909173184 0 0 -1 0 0 0 0
[pid=24703/tid=24820] ppid=24701 vsize=685060 CPUtime=0 cores=0-7
/proc/24703/task/24820/stat : 24820 (python) S 24701 24703 24145 0 -1 4202560 27 934 0 0 0 0 0 0 19 0 34 0 124333883 701501440 8328 33554432000 4194304 5683644 140736621137712 18446744073709551615 218892388785 0 0 16781312 2 18446604453909173184 0 0 -1 3 0 0 0
[pid=24703/tid=24827] ppid=24701 vsize=685060 CPUtime=0 cores=0-7
/proc/24703/task/24827/stat : 24827 (python) S 24701 24703 24145 0 -1 4202560 100 934 0 0 0 0 0 0 19 0 34 0 124343920 701501440 8328 33554432000 4194304 5683644 140736621137712 18446744073709551615 218892388785 0 0 16781312 2 18446604453909173184 0 0 -1 0 0 0 0
[pid=24703/tid=24835] ppid=24701 vsize=685060 CPUtime=0 cores=0-7
/proc/24703/task/24835/stat : 24835 (python) S 24701 24703 24145 0 -1 4202560 40 934 0 0 0 0 0 0 19 0 34 0 124356967 701501440 8328 33554432000 4194304 5683644 140736621137712 18446744073709551615 218892388785 0 0 16781312 2 18446604453909173184 0 0 -1 5 0 0 0
[pid=24703/tid=24840] ppid=24701 vsize=685060 CPUtime=0 cores=0-7
/proc/24703/task/24840/stat : 24840 (python) S 24701 24703 24145 0 -1 4202560 34 934 0 0 0 0 0 0 19 0 34 0 124362728 701501440 8328 33554432000 4194304 5683644 140736621137712 18446744073709551615 218892388785 0 0 16781312 2 18446604453909173184 0 0 -1 0 0 0 0
[pid=24703/tid=24846] ppid=24701 vsize=685060 CPUtime=0 cores=0-7
/proc/24703/task/24846/stat : 24846 (python) S 24701 24703 24145 0 -1 4202560 41 934 0 0 0 0 0 0 19 0 34 0 124367613 701501440 8328 33554432000 4194304 5683644 140736621137712 18446744073709551615 218892388785 0 0 16781312 2 18446604453909173184 0 0 -1 0 0 0 0
[pid=24703/tid=24849] ppid=24701 vsize=685060 CPUtime=0 cores=0-7
/proc/24703/task/24849/stat : 24849 (python) S 24701 24703 24145 0 -1 4202560 43 934 0 0 0 0 0 0 18 0 34 0 124371716 701501440 8328 33554432000 4194304 5683644 140736621137712 18446744073709551615 218892388785 0 0 16781312 2 18446604453909173184 0 0 -1 0 0 0 0
[pid=24703/tid=24855] ppid=24701 vsize=685060 CPUtime=0 cores=0-7
/proc/24703/task/24855/stat : 24855 (python) S 24701 24703 24145 0 -1 4202560 35 934 0 0 0 0 0 0 19 0 34 0 124378254 701501440 8328 33554432000 4194304 5683644 140736621137712 18446744073709551615 218892388785 0 0 16781312 2 18446604453909173184 0 0 -1 0 0 0 0
[pid=24703/tid=24861] ppid=24701 vsize=685060 CPUtime=0 cores=0-7
/proc/24703/task/24861/stat : 24861 (python) S 24701 24703 24145 0 -1 4202560 36 934 0 0 0 0 0 0 20 0 34 0 124384810 701501440 8328 33554432000 4194304 5683644 140736621137712 18446744073709551615 218892388785 0 0 16781312 2 18446604453909173184 0 0 -1 0 0 0 0
[pid=24703/tid=24869] ppid=24701 vsize=685060 CPUtime=0 cores=0-7
/proc/24703/task/24869/stat : 24869 (python) S 24701 24703 24145 0 -1 4202560 39 934 0 0 0 0 0 0 19 0 34 0 124395451 701501440 8328 33554432000 4194304 5683644 140736621137712 18446744073709551615 218892388785 0 0 16781312 2 18446604453909173184 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 9229.96
Current children cumulated vsize (KiB) 32150296

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 24703 and gives
#  childrusage.ru_utime.tv_sec=3443
#  childrusage.ru_utime.tv_usec=82571
#  childrusage.ru_stime.tv_sec=16
#  childrusage.ru_stime.tv_usec=669465
# CPU time returned by wait4() is 3459.75
# while last known CPU time is 9229.96
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1311.32
CPU time (s): 9229.96
CPU user time (s): 9213.53
CPU system time (s): 16.43
CPU usage (%): 703.87
Max. virtual memory (cumulated for all children) (KiB): 32150296

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3443.08
system time used= 16.6695
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 113731
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= 15647
involuntary context switches= 29000

runsolver used 14.6388 second user time and 34.4728 second system time

The end

Launcher Data 

Begin job on node112 at 2011-05-16 19:22:30
IDJOB=3385432
IDBENCH=82697
IDSOLVER=1870
FILE ID=node112/3385432-1305566550
RUNJOBID= node112-1305564965-24159
PBS_JOBID= 13350138
Free space on /tmp= 73500 MiB

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

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

MD5SUM BENCH= 6d4469ea6d617a494594ad07b4996367
RANDOM SEED=464605975

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      20823460 kB
Buffers:         59100 kB
Cached:         419252 kB
SwapCached:      73604 kB
Active:         490556 kB
Inactive:     11434844 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      20823460 kB
SwapTotal:    67111528 kB
SwapFree:     62959404 kB
Dirty:           32320 kB
Writeback:           0 kB
AnonPages:    11381592 kB
Mapped:          21524 kB
Slab:            77568 kB
PageTables:      56308 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 87136388 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= 73468 MiB
End job on node112 at 2011-05-16 19:44:24