Trace number 3317320

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-random? (TO) 4800.25 1205.71

General information on the benchmark

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

Solver Data 

0.31/0.47	c INFO: loaded portfolio from HOME/etc/borg-mix+class.random.pickle
0.31/0.47	c INFO: solving HOME/instance-3317320-1304268736.cnf
0.31/0.47	c INFO: computing task features
0.41/0.51	c INFO: computed variable-clause graph statistics
0.41/0.51	c INFO: computed clause balance statistics
0.60/0.75	c INFO: computed variable balance statistics
0.70/0.84	c INFO: computed small-clause counts
0.70/0.84	c INFO: computed Horn-clause counts
0.70/0.85	c INFO: computed variable graph statistics
0.70/0.85	c INFO: collected features for HOME/instance-3317320-1304268736.cnf in 0.38 s
0.70/0.88	c INFO: running gnovelty+2@0 for 97 with 4799 remaining (b = 0.52)
0.80/0.91	c INFO: running gnovelty+2@0 for 97 with 4799 remaining (b = 0.10)
0.80/0.94	c INFO: running adaptg2wsat2009++@0 for 97 with 4799 remaining (b = 0.05)
0.80/0.97	c INFO: running adaptg2wsat2009++@0 for 97 with 4799 remaining (b = 0.04)
392.46/99.06	c INFO: running adaptg2wsat2009++@0 for 97 with 4701 remaining (b = 0.03)
396.81/100.11	c INFO: running gnovelty+2@0 for 97 with 4700 remaining (b = 0.03)
399.79/101.11	c INFO: running FH@0 for 97 with 4699 remaining (b = 0.02)
399.79/101.16	c INFO: running march_hi@0 for 388 with 4699 remaining (b = 0.07)
792.50/199.29	c INFO: running adaptg2wsat2009++@0 for 97 with 4601 remaining (b = 0.02)
792.85/199.33	c INFO: running march_hi@0 for 388 with 4601 remaining (b = 0.06)
796.86/200.31	c INFO: running adaptg2wsat2009++@0 for 97 with 4600 remaining (b = 0.01)
1183.60/297.48	c INFO: running adaptg2wsat2009++@97 for 97 with 4503 remaining (b = 0.01)
1191.56/299.47	c INFO: running FH@0 for 97 with 4501 remaining (b = 0.01)
1562.83/392.68	c INFO: running march_hi@0 for 485 with 4407 remaining (b = 0.07)
1586.71/398.68	c INFO: running hybridGM3@0 for 194 with 4401 remaining (b = 0.03)
1968.74/494.56	c INFO: running march_hi@100 for 291 with 4305 remaining (b = 0.05)
2369.01/595.00	c INFO: running march_hi@98 for 291 with 4205 remaining (b = 0.05)
2369.01/595.05	c INFO: running gnovelty+2@0 for 97 with 4205 remaining (b = 0.01)
2768.20/695.26	c INFO: running march_hi@0 for 485 with 4105 remaining (b = 0.06)
3140.22/788.84	c INFO: running march_hi@493 for 1649 with 4011 remaining (b = 0.19)
3511.40/882.08	c INFO: running march_hi@97 for 291 with 3918 remaining (b = 0.05)
3514.21/882.74	c INFO: running march_hi@294 for 97 with 3917 remaining (b = 0.03)
3908.88/981.83	c INFO: running march_hi@391 for 97 with 3818 remaining (b = 0.02)
4317.12/1084.32	c INFO: running hybridGM3@0 for 194 with 3716 remaining (b = 0.02)
4667.57/1172.31	c INFO: running march_hi@384 for 97 with 3628 remaining (b = 0.03)
4726.90/1187.23	c INFO: running march_hi@492 for 1649 with 3613 remaining (b = 0.18)
4800.25/1205.70	c INFO: running march_hi@290 for 194 with 3594 remaining (b = 0.05)
4800.25/1205.70	Traceback (most recent call last):
4800.25/1205.70	  File "HOME/solve", line 33, in <module>
4800.25/1205.70	    plac.call(main)
4800.25/1205.70	  File "/home/evaluation/evaluation/tools64/lib/python2.7/site-packages/plac-0.8.1-py2.7.egg/plac_core.py", line 311, in call
4800.25/1205.70	    cmd, result = parser_from(obj).consume(arglist)
4800.25/1205.70	  File "/home/evaluation/evaluation/tools64/lib/python2.7/site-packages/plac-0.8.1-py2.7.egg/plac_core.py", line 192, in consume
4800.25/1205.70	    return cmd, self.func(*(args + varargs + extraopts), **kwargs)
4800.25/1205.70	  File "HOME/borg/build/lib/borg/tools/solve.py", line 84, in main
4800.25/1205.70	    (_, answer, _) = solver(input_path, budget, cores)
4800.25/1205.70	  File "HOME/borg/build/lib/borg/bilevel.py", line 202, in __call__
4800.25/1205.70	    solver.go(max_cost * borg.defaults.machine_speed)
4800.25/1205.70	  File "HOME/borg/build/lib/borg/solvers.py", line 179, in go
4800.25/1205.70	    self._process.start()
4800.25/1205.70	  File "/home/evaluation/evaluation/tools64/lib/python2.7/multiprocessing/process.py", line 94, in start

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: 935)

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-3317320-1304268736/watcher-3317320-1304268736 -o /tmp/evaluation-result-3317320-1304268736/solver-3317320-1304268736 -C 4800 -W 1300 -M 15500 python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3317320-1304268736.cnf -seed 1401861513 -budget 4800 -cores 4 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 9.02 8.54 6.55 6/222 24057
/proc/meminfo: memFree=29946108/32951124 swapFree=67107188/67111528
[pid=24057] ppid=24055 vsize=15772 CPUtime=0 cores=0,2,4,6
/proc/24057/stat : 24057 (python) R 24055 24057 23486 0 -1 4202496 863 0 0 0 0 0 0 0 25 0 1 0 538472128 16150528 744 33554432000 4194304 5683644 140734458720464 18446744073709551615 4851904 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/24057/statm: 3943 746 341 364 0 430 0

[startup+0.100408 s]
/proc/loadavg: 9.02 8.54 6.55 6/222 24057
/proc/meminfo: memFree=29946108/32951124 swapFree=67107188/67111528
[pid=24057] ppid=24055 vsize=104224 CPUtime=0.07 cores=0,2,4,6
/proc/24057/stat : 24057 (python) S 24055 24057 23486 0 -1 4202496 3059 0 0 0 5 2 0 0 17 0 1 0 538472128 106725376 2741 33554432000 4194304 5683644 140734458720464 18446744073709551615 210204645376 0 2147483391 16781312 2 18446744071699207358 0 0 17 6 0 0 0
/proc/24057/statm: 26056 2741 847 364 0 1804 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 104224

[startup+0.200532 s]
/proc/loadavg: 9.02 8.54 6.55 6/222 24057
/proc/meminfo: memFree=29946108/32951124 swapFree=67107188/67111528
[pid=24057] ppid=24055 vsize=128860 CPUtime=0.15 cores=0,2,4,6
/proc/24057/stat : 24057 (python) S 24055 24057 23486 0 -1 4202496 5585 934 1 0 12 3 0 0 18 0 1 0 538472128 131952640 4018 33554432000 4194304 5683644 140734458720464 18446744073709551615 210204645376 0 2147483391 16781312 2 18446744071699207358 0 0 17 6 0 0 0
/proc/24057/statm: 32215 4018 1011 364 0 2994 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 128860

[startup+0.300245 s]
/proc/loadavg: 9.02 8.54 6.55 6/222 24057
/proc/meminfo: memFree=29946108/32951124 swapFree=67107188/67111528
[pid=24057] ppid=24055 vsize=170748 CPUtime=0.23 cores=0,2,4,6
/proc/24057/stat : 24057 (python) S 24055 24057 23486 0 -1 4202496 6733 934 1 0 17 6 0 0 17 0 1 0 538472128 174845952 4804 33554432000 4194304 5683644 140734458720464 18446744073709551615 210204645376 0 2147483391 16781312 2 0 0 0 17 6 0 0 0
/proc/24057/statm: 42687 4805 1336 364 0 3452 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 170748

[startup+0.700217 s]
/proc/loadavg: 9.02 8.54 6.55 6/222 24057
/proc/meminfo: memFree=29946108/32951124 swapFree=67107188/67111528
[pid=24057] ppid=24055 vsize=279748 CPUtime=0.6 cores=0,2,4,6
/proc/24057/stat : 24057 (python) R 24055 24057 23486 0 -1 4202496 10028 934 1 0 52 8 0 0 17 0 1 0 538472128 286461952 7322 33554432000 4194304 5683644 140734458720464 18446744073709551615 47211007871425 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/24057/statm: 69937 7322 1826 364 0 5861 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 279748

[startup+1.50103 s]
/proc/loadavg: 9.02 8.54 6.55 10/235 24074
/proc/meminfo: memFree=29905332/32951124 swapFree=67107188/67111528
[pid=24057] ppid=24055 vsize=320264 CPUtime=0.87 cores=0,2,4,6
/proc/24057/stat : 24057 (python) S 24055 24057 23486 0 -1 4202496 12987 934 1 0 78 9 0 0 22 0 5 0 538472128 327950336 7265 33554432000 4194304 5683644 140734458720464 18446744073709551615 210216474059 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0
/proc/24057/statm: 80066 7265 1883 364 0 15975 0
[pid=24063] ppid=24057 vsize=278748 CPUtime=0 cores=0,2,4,6
/proc/24063/stat : 24063 (python) S 24057 24057 23486 0 -1 4202560 742 0 0 0 0 0 0 0 19 0 1 0 538472216 285437952 5626 33554432000 4194304 5683644 140734458720464 18446744073709551615 210204667407 0 0 16781312 514 16579430561290911743 0 0 17 6 0 0 0
/proc/24063/statm: 69687 5626 354 364 0 5605 0
[pid=24065] ppid=24063 vsize=1018076 CPUtime=0.61 cores=0,2,4,6
/proc/24065/stat : 24065 (gnovelty+2) R 24063 24065 24065 0 -1 4202496 531 0 0 0 61 0 0 0 22 0 1 0 538472216 1042509824 267 33554432000 134512640 135663704 4290331392 18446744073709551615 134525298 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/24065/statm: 254519 267 113 282 0 254235 0
[pid=24066] ppid=24057 vsize=289376 CPUtime=0 cores=0,2,4,6
/proc/24066/stat : 24066 (python) S 24057 24057 23486 0 -1 4202560 747 0 0 0 0 0 0 0 21 0 1 0 538472219 296321024 5701 33554432000 4194304 5683644 140734458720464 18446744073709551615 210204667462 0 0 16781312 514 4244999169736966143 0 0 17 6 0 0 0
/proc/24066/statm: 72344 5701 348 364 0 8259 0
[pid=24068] ppid=24066 vsize=1018076 CPUtime=0.58 cores=0,2,4,6
/proc/24068/stat : 24068 (gnovelty+2) R 24066 24068 24068 0 -1 4202496 531 0 0 0 58 0 0 0 25 0 1 0 538472219 1042509824 267 33554432000 134512640 135663704 4290711728 18446744073709551615 134525243 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/24068/statm: 254519 267 113 282 0 254235 0
[pid=24069] ppid=24057 vsize=299764 CPUtime=0 cores=0,2,4,6
/proc/24069/stat : 24069 (python) S 24057 24057 23486 0 -1 4202560 723 0 0 0 0 0 0 0 19 0 1 0 538472222 306958336 5718 33554432000 4194304 5683644 140734458720464 18446744073709551615 210204667462 0 0 16781312 514 6623097410203680767 0 0 17 0 0 0 0
/proc/24069/statm: 74941 5718 344 364 0 10853 0
[pid=24071] ppid=24069 vsize=416784 CPUtime=0.55 cores=0,2,4,6
/proc/24071/stat : 24071 (adaptg2wsat2009) R 24069 24071 24071 0 -1 4202496 605 0 0 0 55 0 0 0 22 0 1 0 538472222 426786816 340 33554432000 134512640 135107411 4287698080 18446744073709551615 134523544 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/24071/statm: 104196 340 49 146 0 103072 0
[pid=24072] ppid=24057 vsize=310020 CPUtime=0 cores=0,2,4,6
/proc/24072/stat : 24072 (python) S 24057 24057 23486 0 -1 4202560 735 0 0 0 0 0 0 0 21 0 1 0 538472225 317460480 5722 33554432000 4194304 5683644 140734458720464 18446744073709551615 210204667462 0 0 16781312 514 10742470500224598015 0 0 17 6 0 0 0
/proc/24072/statm: 77505 5722 344 364 0 13414 0
[pid=24074] ppid=24072 vsize=416784 CPUtime=0.51 cores=0,2,4,6
/proc/24074/stat : 24074 (adaptg2wsat2009) R 24072 24074 24074 0 -1 4202496 603 0 0 0 51 0 0 0 25 0 1 0 538472225 426786816 340 33554432000 134512640 135107411 4290215392 18446744073709551615 134523245 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/24074/statm: 104196 340 49 146 0 103072 0
[pid=24057/tid=24064] ppid=24055 vsize=320264 CPUtime=0 cores=0,2,4,6
/proc/24057/task/24064/stat : 24064 (python) S 24055 24057 23486 0 -1 4202560 26 934 0 0 0 0 0 0 20 0 5 0 538472216 327950336 7265 33554432000 4194304 5683644 140734458720464 18446744073709551615 210216470961 0 0 16781312 2 18446604441569852288 0 0 -1 6 0 0 0
[pid=24057/tid=24067] ppid=24055 vsize=320264 CPUtime=0 cores=0,2,4,6
/proc/24057/task/24067/stat : 24067 (python) S 24055 24057 23486 0 -1 4202560 22 934 0 0 0 0 0 0 22 0 5 0 538472219 327950336 7265 33554432000 4194304 5683644 140734458720464 18446744073709551615 210216470961 0 0 16781312 2 18446604441569852288 0 0 -1 6 0 0 0
[pid=24057/tid=24070] ppid=24055 vsize=320264 CPUtime=0 cores=0,2,4,6
/proc/24057/task/24070/stat : 24070 (python) S 24055 24057 23486 0 -1 4202560 20 934 0 0 0 0 0 0 20 0 5 0 538472222 327950336 7265 33554432000 4194304 5683644 140734458720464 18446744073709551615 210216470961 0 0 16781312 2 18446604441569852288 0 0 -1 6 0 0 0
[pid=24057/tid=24073] ppid=24055 vsize=320264 CPUtime=0 cores=0,2,4,6
/proc/24057/task/24073/stat : 24073 (python) S 24055 24057 23486 0 -1 4202560 31 934 0 0 0 0 0 0 22 0 5 0 538472225 327950336 7265 33554432000 4194304 5683644 140734458720464 18446744073709551615 210216470961 0 0 16781312 2 18446604441569852288 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 4367892

[startup+3.10076 s]
/proc/loadavg: 9.02 8.54 6.55 10/235 24074
/proc/meminfo: memFree=29903860/32951124 swapFree=67107188/67111528
[pid=24057] ppid=24055 vsize=320264 CPUtime=0.87 cores=0,2,4,6
/proc/24057/stat : 24057 (python) S 24055 24057 23486 0 -1 4202496 12987 934 1 0 78 9 0 0 22 0 5 0 538472128 327950336 7265 33554432000 4194304 5683644 140734458720464 18446744073709551615 210216474059 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0
/proc/24057/statm: 80066 7265 1883 364 0 15975 0
[pid=24063] ppid=24057 vsize=278748 CPUtime=0 cores=0,2,4,6
/proc/24063/stat : 24063 (python) S 24057 24057 23486 0 -1 4202560 742 0 0 0 0 0 0 0 18 0 1 0 538472216 285437952 5626 33554432000 4194304 5683644 140734458720464 18446744073709551615 210204667407 0 0 16781312 514 16579430561290879236 0 0 17 6 0 0 0
/proc/24063/statm: 69687 5626 354 364 0 5605 0
[pid=24065] ppid=24063 vsize=1018076 CPUtime=2.21 cores=0,2,4,6
/proc/24065/stat : 24065 (gnovelty+2) R 24063 24065 24065 0 -1 4202496 531 0 0 0 221 0 0 0 25 0 1 0 538472216 1042509824 267 33554432000 134512640 135663704 4290331392 18446744073709551615 134525276 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/24065/statm: 254519 267 113 282 0 254235 0
[pid=24066] ppid=24057 vsize=289376 CPUtime=0 cores=0,2,4,6
/proc/24066/stat : 24066 (python) S 24057 24057 23486 0 -1 4202560 747 0 0 0 0 0 0 0 18 0 1 0 538472219 296321024 5701 33554432000 4194304 5683644 140734458720464 18446744073709551615 210204667462 0 0 16781312 514 4244999169736933636 0 0 17 6 0 0 0
/proc/24066/statm: 72344 5701 348 364 0 8259 0
[pid=24068] ppid=24066 vsize=1018076 CPUtime=2.18 cores=0,2,4,6
/proc/24068/stat : 24068 (gnovelty+2) R 24066 24068 24068 0 -1 4202496 531 0 0 0 218 0 0 0 25 0 1 0 538472219 1042509824 267 33554432000 134512640 135663704 4290711728 18446744073709551615 134525309 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/24068/statm: 254519 267 113 282 0 254235 0
[pid=24069] ppid=24057 vsize=299764 CPUtime=0 cores=0,2,4,6
/proc/24069/stat : 24069 (python) S 24057 24057 23486 0 -1 4202560 742 0 0 0 0 0 0 0 18 0 1 0 538472222 306958336 5722 33554432000 4194304 5683644 140734458720464 18446744073709551615 210204667462 0 0 16781312 514 6623097410203648260 0 0 17 0 0 0 0
/proc/24069/statm: 74941 5722 348 364 0 10853 0
[pid=24071] ppid=24069 vsize=416920 CPUtime=2.15 cores=0,2,4,6
/proc/24071/stat : 24071 (adaptg2wsat2009) R 24069 24071 24071 0 -1 4202496 670 0 0 0 215 0 0 0 25 0 1 0 538472222 426926080 405 33554432000 134512640 135107411 4287698080 18446744073709551615 134531848 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/24071/statm: 104230 405 59 146 0 103106 0
[pid=24072] ppid=24057 vsize=310020 CPUtime=0 cores=0,2,4,6
/proc/24072/stat : 24072 (python) S 24057 24057 23486 0 -1 4202560 753 0 0 0 0 0 0 0 18 0 1 0 538472225 317460480 5726 33554432000 4194304 5683644 140734458720464 18446744073709551615 210204667462 0 0 16781312 514 10742470500224565505 0 0 17 6 0 0 0
/proc/24072/statm: 77505 5726 348 364 0 13414 0
[pid=24074] ppid=24072 vsize=416920 CPUtime=2.11 cores=0,2,4,6
/proc/24074/stat : 24074 (adaptg2wsat2009) R 24072 24074 24074 0 -1 4202496 668 0 0 0 211 0 0 0 25 0 1 0 538472225 426926080 405 33554432000 134512640 135107411 4290215392 18446744073709551615 134531411 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/24074/statm: 104230 405 59 146 0 103106 0
[pid=24057/tid=24064] ppid=24055 vsize=320264 CPUtime=0 cores=0,2,4,6
/proc/24057/task/24064/stat : 24064 (python) S 24055 24057 23486 0 -1 4202560 26 934 0 0 0 0 0 0 20 0 5 0 538472216 327950336 7265 33554432000 4194304 5683644 140734458720464 18446744073709551615 210216470961 0 0 16781312 2 18446604441569852288 0 0 -1 6 0 0 0
[pid=24057/tid=24067] ppid=24055 vsize=320264 CPUtime=0 cores=0,2,4,6
/proc/24057/task/24067/stat : 24067 (python) S 24055 24057 23486 0 -1 4202560 22 934 0 0 0 0 0 0 22 0 5 0 538472219 327950336 7265 33554432000 4194304 5683644 140734458720464 18446744073709551615 210216470961 0 0 16781312 2 18446604441569852288 0 0 -1 6 0 0 0
[pid=24057/tid=24070] ppid=24055 vsize=320264 CPUtime=0 cores=0,2,4,6
/proc/24057/task/24070/stat : 24070 (python) S 24055 24057 23486 0 -1 4202560 20 934 0 0 0 0 0 0 20 0 5 0 538472222 327950336 7265 33554432000 4194304 5683644 140734458720464 18446744073709551615 210216470961 0 0 16781312 2 18446604441569852288 0 0 -1 6 0 0 0
[pid=24057/tid=24073] ppid=24055 vsize=320264 CPUtime=0 cores=0,2,4,6
/proc/24057/task/24073/stat : 24073 (python) S 24055 24057 23486 0 -1 4202560 31 934 0 0 0 0 0 0 22 0 5 0 538472225 327950336 7265 33554432000 4194304 5683644 140734458720464 18446744073709551615 210216470961 0 0 16781312 2 18446604441569852288 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 9.52
Current children cumulated vsize (KiB) 4368164

[startup+6.30122 s]
/proc/loadavg: 9.01 8.54 6.56 10/239 24078
/proc/meminfo: memFree=29896900/32951124 swapFree=67107188/67111528
[pid=24057] ppid=24055 vsize=320264 CPUtime=0.87 cores=0,2,4,6
/proc/24057/stat : 24057 (python) S 24055 24057 23486 0 -1 4202496 12987 934 1 0 78 9 0 0 22 0 5 0 538472128 327950336 7265 33554432000 4194304 5683644 140734458720464 18446744073709551615 210216474059 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0
/proc/24057/statm: 80066 7265 1883 364 0 15975 0
[pid=24063] ppid=24057 vsize=278748 CPUtime=0 cores=0,2,4,6
/proc/24063/stat : 24063 (python) S 24057 24057 23486 0 -1 4202560 911 0 0 0 0 0 0 0 18 0 1 0 538472216 285437952 5649 33554432000 4194304 5683644 140734458720464 18446744073709551615 210204667407 0 0 16781312 514 16579430561290879236 0 0 17 6 0 0 0
/proc/24063/statm: 69687 5649 377 364 0 5605 0
[pid=24065] ppid=24063 vsize=1018076 CPUtime=5.39 cores=0,2,4,6
/proc/24065/stat : 24065 (gnovelty+2) R 24063 24065 24065 0 -1 4202496 531 0 0 0 539 0 0 0 25 0 1 0 538472216 1042509824 267 33554432000 134512640 135663704 4290331392 18446744073709551615 134524548 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/24065/statm: 254519 267 113 282 0 254235 0
[pid=24066] ppid=24057 vsize=289376 CPUtime=0 cores=0,2,4,6
/proc/24066/stat : 24066 (python) S 24057 24057 23486 0 -1 4202560 910 0 0 0 0 0 0 0 18 0 1 0 538472219 296321024 5724 33554432000 4194304 5683644 140734458720464 18446744073709551615 210204667462 0 0 16781312 514 4244999169736933636 0 0 17 6 0 0 0
/proc/24066/statm: 72344 5724 371 364 0 8259 0
[pid=24068] ppid=24066 vsize=1018076 CPUtime=5.37 cores=0,2,4,6
/proc/24068/stat : 24068 (gnovelty+2) R 24066 24068 24068 0 -1 4202496 531 0 0 0 537 0 0 0 25 0 1 0 538472219 1042509824 267 33554432000 134512640 135663704 4290711728 18446744073709551615 134524755 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/24068/statm: 254519 267 113 282 0 254235 0
[pid=24069] ppid=24057 vsize=299764 CPUtime=0 cores=0,2,4,6
/proc/24069/stat : 24069 (python) S 24057 24057 23486 0 -1 4202560 901 0 0 0 0 0 0 0 18 0 1 0 538472222 306958336 5744 33554432000 4194304 5683644 140734458720464 18446744073709551615 210204667462 0 0 16781312 514 6623097410203648260 0 0 17 0 0 0 0
/proc/24069/statm: 74941 5744 370 364 0 10853 0
[pid=24071] ppid=24069 vsize=416920 CPUtime=5.35 cores=0,2,4,6
/proc/24071/stat : 24071 (adaptg2wsat2009) R 24069 24071 24071 0 -1 4202496 670 0 0 0 535 0 0 0 25 0 1 0 538472222 426926080 405 33554432000 134512640 135107411 4287698080 18446744073709551615 134532107 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/24071/statm: 104230 405 59 146 0 103106 0
[pid=24072] ppid=24057 vsize=310020 CPUtime=0 cores=0,2,4,6
/proc/24072/stat : 24072 (python) S 24057 24057 23486 0 -1 4202560 933 0 0 0 0 0 0 0 18 0 1 0 538472225 317460480 5749 33554432000 4194304 5683644 140734458720464 18446744073709551615 210204667462 0 0 16781312 514 10742470500224565505 0 0 17 6 0 0 0
/proc/24072/statm: 77505 5749 371 364 0 13414 0
[pid=24074] ppid=24072 vsize=416920 CPUtime=5.26 cores=0,2,4,6
/proc/24074/stat : 24074 (adaptg2wsat2009) R 24072 24074 24074 0 -1 4202496 668 0 0 0 526 0 0 0 25 0 1 0 538472225 426926080 405 33554432000 134512640 135107411 4290215392 18446744073709551615 134532097 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/24074/statm: 104230 405 59 146 0 103106 0
[pid=24057/tid=24064] ppid=24055 vsize=320264 CPUtime=0 cores=0,2,4,6
/proc/24057/task/24064/stat : 24064 (python) S 24055 24057 23486 0 -1 4202560 26 934 0 0 0 0 0 0 20 0 5 0 538472216 327950336 7265 33554432000 4194304 5683644 140734458720464 18446744073709551615 210216470961 0 0 16781312 2 18446604441569852288 0 0 -1 6 0 0 0
[pid=24057/tid=24067] ppid=24055 vsize=320264 CPUtime=0 cores=0,2,4,6
/proc/24057/task/24067/stat : 24067 (python) S 24055 24057 23486 0 -1 4202560 22 934 0 0 0 0 0 0 22 0 5 0 538472219 327950336 7265 33554432000 4194304 5683644 140734458720464 18446744073709551615 210216470961 0 0 16781312 2 18446604441569852288 0 0 -1 6 0 0 0
[pid=24057/tid=24070] ppid=24055 vsize=320264 CPUtime=0 cores=0,2,4,6
/proc/24057/task/24070/stat : 24070 (python) S 24055 24057 23486 0 -1 4202560 20 934 0 0 0 0 0 0 20 0 5 0 538472222 327950336 7265 33554432000 4194304 5683644 140734458720464 18446744073709551615 210216470961 0 0 16781312 2 18446604441569852288 0 0 -1 6 0 0 0
[pid=24057/tid=24073] ppid=24055 vsize=320264 CPUtime=0 cores=0,2,4,6
/proc/24057/task/24073/stat : 24073 (python) S 24055 24057 23486 0 -1 4202560 31 934 0 0 0 0 0 0 22 0 5 0 538472225 327950336 7265 33554432000 4194304 5683644 140734458720464 18446744073709551615 210216470961 0 0 16781312 2 18446604441569852288 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 22.24
Current children cumulated vsize (KiB) 4368164

[startup+12.7011 s]
/proc/loadavg: 9.01 8.55 6.58 10/239 24078
/proc/meminfo: memFree=29893628/32951124 swapFree=67107188/67111528
[pid=24057] ppid=24055 vsize=320264 CPUtime=0.87 cores=0,2,4,6
/proc/24057/stat : 24057 (python) S 24055 24057 23486 0 -1 4202496 12987 934 1 0 78 9 0 0 22 0 5 0 538472128 327950336 7265 33554432000 4194304 5683644 140734458720464 18446744073709551615 210216474059 0 0 16781312 2 18446744073709551615 0 0 17 6 0 0 0
/proc/24057/statm: 80066 7265 1883 364 0 15975 0
[pid=24063] ppid=24057 vsize=278748 CPUtime=0.01 cores=0,2,4,6
/proc/24063/stat : 24063 (python) S 24057 24057 23486 0 -1 4202560 914 0 0 0 0 1 0 0 18 0 1 0 538472216 285437952 5649 33554432000 4194304 5683644 140734458720464 18446744073709551615 210204667407 0 0 16781312 514 3876930776096276740 0 0 17 6 0 0 0
/proc/24063/statm: 69687 5649 377 364 0 5605 0
[pid=24065] ppid=24063 vsize=1018076 CPUtime=11.78 cores=0,2,4,6
/proc/24065/stat : 24065 (gnovelty+2) R 24063 24065 24065 0 -1 4202496 531 0 0 0 1178 0 0 0 25 0 1 0 538472216 1042509824 267 33554432000 134512640 135663704 4290331392 18446744073709551615 134544268 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/24065/statm: 254519 267 113 282 0 254235 0
[pid=24066] ppid=24057 vsize=289376 CPUtime=0 cores=0,2,4,6

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

/proc/24065/stat : 24065 (gnovelty+2) T 24063 24065 24065 0 -1 4202496 531 0 0 0 9798 0 0 0 25 0 1 0 538472216 1042509824 267 33554432000 134512640 135663704 4290331392 18446744073709551615 134525276 0 0 16781312 0 18446744071562691360 0 0 17 0 0 0 0
/proc/24065/statm: 254519 267 113 282 0 254235 0
[pid=24063/tid=24301] ppid=24057 vsize=288992 CPUtime=0 cores=0,2,4,6
/proc/24063/task/24301/stat : 24301 (python) S 24057 24057 23486 0 -1 4202560 49 0 0 0 0 0 0 0 19 0 2 0 538482032 295927808 5696 33554432000 4194304 5683644 140734458720464 18446744073709551615 210216470961 0 0 16781312 514 18446604448182958144 0 0 -1 0 0 0 0
[pid=24066] ppid=24057 vsize=289376 CPUtime=0.15 cores=0,2,4,6
/proc/24066/stat : 24066 (python) S 24057 24057 23486 0 -1 4202560 1091 0 0 0 9 6 0 0 19 0 2 0 538472219 296321024 5754 33554432000 4194304 5683644 140734458720464 18446744073709551615 210216474059 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/24066/statm: 72344 5754 400 364 0 8259 0
[pid=24068] ppid=24066 vsize=1018076 CPUtime=99.12 cores=0,2,4,6
/proc/24068/stat : 24068 (gnovelty+2) T 24066 24068 24068 0 -1 4202496 531 0 0 0 9912 0 0 0 25 0 1 0 538472219 1042509824 267 33554432000 134512640 135663704 4290711728 18446744073709551615 134524882 0 0 16781312 0 18446744071562691360 0 0 17 4 0 0 0
/proc/24068/statm: 254519 267 113 282 0 254235 0
[pid=24066/tid=24305] ppid=24057 vsize=289376 CPUtime=0 cores=0,2,4,6
/proc/24066/task/24305/stat : 24305 (python) S 24057 24057 23486 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 2 0 538482135 296321024 5754 33554432000 4194304 5683644 140734458720464 18446744073709551615 210216470961 0 0 16781312 514 18446604453901059136 0 0 -1 4 0 0 0
[pid=24069] ppid=24057 vsize=299764 CPUtime=0.3 cores=0,2,4,6
/proc/24069/stat : 24069 (python) S 24057 24057 23486 0 -1 4202560 1127 0 0 0 17 13 0 0 18 0 2 0 538472222 306958336 5775 33554432000 4194304 5683644 140734458720464 18446744073709551615 210216474059 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/24069/statm: 74941 5775 400 364 0 10853 0
[pid=24071] ppid=24069 vsize=416920 CPUtime=197.13 cores=0,2,4,6
/proc/24071/stat : 24071 (adaptg2wsat2009) T 24069 24071 24071 0 -1 4202496 670 0 0 0 19712 1 0 0 25 0 1 0 538472222 426926080 405 33554432000 134512640 135107411 4287698080 18446744073709551615 134532313 0 0 16781312 0 18446744071562691360 0 0 17 2 0 0 0
/proc/24071/statm: 104230 405 59 146 0 103106 0
[pid=24069/tid=24309] ppid=24057 vsize=299764 CPUtime=0 cores=0,2,4,6
/proc/24069/task/24309/stat : 24309 (python) S 24057 24057 23486 0 -1 4202560 51 0 0 0 0 0 0 0 18 0 2 0 538482236 306958336 5775 33554432000 4194304 5683644 140734458720464 18446744073709551615 210216470961 0 0 16781312 514 18446604441569851392 0 0 -1 0 0 0 0
[pid=24072] ppid=24057 vsize=310020 CPUtime=0.3 cores=0,2,4,6
/proc/24072/stat : 24072 (python) S 24057 24057 23486 0 -1 4202560 1151 0 0 0 15 15 0 0 18 0 2 0 538472225 317460480 5779 33554432000 4194304 5683644 140734458720464 18446744073709551615 210216474059 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/24072/statm: 77505 5779 400 364 0 13414 0
[pid=24074] ppid=24072 vsize=416920 CPUtime=194.22 cores=0,2,4,6
/proc/24074/stat : 24074 (adaptg2wsat2009) T 24072 24074 24074 0 -1 4202496 668 0 0 0 19418 4 0 0 25 0 1 0 538472225 426926080 405 33554432000 134512640 135107411 4290215392 18446744073709551615 134531942 0 0 16781312 0 18446744071562691360 0 0 17 2 0 0 0
/proc/24074/statm: 104230 405 59 146 0 103106 0
[pid=24072/tid=24313] ppid=24057 vsize=310020 CPUtime=0 cores=0,2,4,6
/proc/24072/task/24313/stat : 24313 (python) S 24057 24057 23486 0 -1 4202560 49 0 0 0 0 0 0 0 18 0 2 0 538482241 317460480 5779 33554432000 4194304 5683644 140734458720464 18446744073709551615 210216470961 0 0 16781312 514 18446604442528967680 0 0 -1 6 0 0 0
[pid=24302] ppid=24057 vsize=320276 CPUtime=0.15 cores=0,2,4,6
/proc/24302/stat : 24302 (python) S 24057 24057 23486 0 -1 4202560 1115 0 0 0 8 7 0 0 19 0 2 0 538482035 327962624 5783 33554432000 4194304 5683644 140734458720464 18446744073709551615 210216474059 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/24302/statm: 80069 5783 400 364 0 15975 0
[pid=24304] ppid=24302 vsize=416920 CPUtime=100.16 cores=0,2,4,6
/proc/24304/stat : 24304 (adaptg2wsat2009) T 24302 24304 24304 0 -1 4202496 671 0 0 0 10016 0 0 0 25 0 1 0 538482035 426926080 407 33554432000 134512640 135107411 4294681504 18446744073709551615 134531600 0 0 16781312 0 18446744071562691360 0 0 17 4 0 0 0
/proc/24304/statm: 104230 407 59 146 0 103106 0
[pid=24302/tid=24319] ppid=24057 vsize=320276 CPUtime=0 cores=0,2,4,6
/proc/24302/task/24319/stat : 24319 (python) S 24057 24057 23486 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 2 0 538492052 327962624 5783 33554432000 4194304 5683644 140734458720464 18446744073709551615 210216470961 0 0 16781312 514 18446604453910036672 0 0 -1 4 0 0 0
[pid=24306] ppid=24057 vsize=330684 CPUtime=0.15 cores=0,2,4,6
/proc/24306/stat : 24306 (python) S 24057 24057 23486 0 -1 4202560 1130 0 0 0 8 7 0 0 19 0 2 0 538482139 338620416 5825 33554432000 4194304 5683644 140734458720464 18446744073709551615 210216474059 0 0 16781312 514 18446744073709551615 0 0 17 2 0 0 0
/proc/24306/statm: 82671 5825 400 364 0 18574 0
[pid=24308] ppid=24306 vsize=1018076 CPUtime=99.13 cores=0,2,4,6
/proc/24308/stat : 24308 (gnovelty+2) T 24306 24308 24308 0 -1 4202496 531 0 0 0 9913 0 0 0 25 0 1 0 538482139 1042509824 266 33554432000 134512640 135663704 4293897552 18446744073709551615 134525479 0 0 16781312 0 18446744071562691360 0 0 17 2 0 0 0
/proc/24308/statm: 254519 266 113 282 0 254235 0
[pid=24306/tid=24320] ppid=24057 vsize=330684 CPUtime=0 cores=0,2,4,6
/proc/24306/task/24320/stat : 24320 (python) S 24057 24057 23486 0 -1 4202560 49 0 0 0 0 0 0 0 19 0 2 0 538492055 338620416 5825 33554432000 4194304 5683644 140734458720464 18446744073709551615 210216470961 0 0 16781312 514 18446604441453241600 0 0 -1 2 0 0 0
[pid=24310] ppid=24057 vsize=340940 CPUtime=0.15 cores=0,2,4,6
/proc/24310/stat : 24310 (python) S 24057 24057 23486 0 -1 4202560 1188 0 0 0 8 7 0 0 19 0 2 0 538482240 349122560 5856 33554432000 4194304 5683644 140734458720464 18446744073709551615 210216474059 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/24310/statm: 85235 5856 406 364 0 21135 0
[pid=24312] ppid=24310 vsize=247068 CPUtime=98.06 cores=0,2,4,6
/proc/24312/stat : 24312 (FH) T 24310 24312 24312 0 -1 4202496 633 0 0 0 9806 0 0 0 25 0 1 0 538482240 252997632 366 33554432000 134512640 134936988 4291061648 18446744073709551615 134553236 0 0 16781312 0 18446744071562691360 0 0 17 4 0 0 0
/proc/24312/statm: 61767 366 41 104 0 61271 0
[pid=24310/tid=24327] ppid=24057 vsize=340940 CPUtime=0 cores=0,2,4,6
/proc/24310/task/24327/stat : 24327 (python) S 24057 24057 23486 0 -1 4202560 96 0 0 0 0 0 0 0 19 0 2 0 538492155 349122560 5856 33554432000 4194304 5683644 140734458720464 18446744073709551615 210216470961 0 0 16781312 514 18446604453917013120 0 0 -1 6 0 0 0
[pid=24314] ppid=24057 vsize=351196 CPUtime=1.88 cores=0,2,4,6
/proc/24314/stat : 24314 (python) S 24057 24057 23486 0 -1 4202560 1233 0 0 0 104 84 0 0 15 0 2 0 538482245 359624704 5860 33554432000 4194304 5683644 140734458720464 18446744073709551615 210204667462 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/24314/statm: 87799 5860 406 364 0 23696 0
[pid=24316] ppid=24314 vsize=8032 CPUtime=1098.19 cores=0,2,4,6
/proc/24316/stat : 24316 (march_hi) R 24314 24316 24316 0 -1 4202496 2615 0 0 0 109818 1 0 0 25 0 1 0 538482245 8224768 1577 33554432000 4194304 4955518 140735514489232 18446744073709551615 4235606 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/24316/statm: 2008 1577 106 186 0 1821 0
[pid=24314/tid=24356] ppid=24057 vsize=351196 CPUtime=0 cores=0,2,4,6
/proc/24314/task/24356/stat : 24356 (python) S 24057 24057 23486 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 2 0 538521580 359624704 5860 33554432000 4194304 5683644 140734458720464 18446744073709551615 210216470961 0 0 16781312 514 18446604453919592576 0 0 -1 0 0 0 0
[pid=24321] ppid=24057 vsize=361588 CPUtime=0.15 cores=0,2,4,6
/proc/24321/stat : 24321 (python) S 24057 24057 23486 0 -1 4202560 1151 0 0 0 8 7 0 0 19 0 2 0 538492057 370266112 5871 33554432000 4194304 5683644 140734458720464 18446744073709551615 210216474059 0 0 16781312 514 18446744073709551615 0 0 17 2 0 0 0
/proc/24321/statm: 90397 5871 400 364 0 26291 0
[pid=24323] ppid=24321 vsize=416920 CPUtime=98.33 cores=0,2,4,6
/proc/24323/stat : 24323 (adaptg2wsat2009) T 24321 24323 24323 0 -1 4202496 674 0 0 0 9833 0 0 0 25 0 1 0 538492057 426926080 406 33554432000 134512640 135107411 4294449424 18446744073709551615 134532288 0 0 16781312 0 18446744071562691360 0 0 17 6 0 0 0
/proc/24323/statm: 104230 406 59 146 0 103106 0
[pid=24321/tid=24336] ppid=24057 vsize=361588 CPUtime=0 cores=0,2,4,6
/proc/24321/task/24336/stat : 24336 (python) S 24057 24057 23486 0 -1 4202560 51 0 0 0 0 0 0 0 19 0 2 0 538502071 370266112 5871 33554432000 4194304 5683644 140734458720464 18446744073709551615 210216470961 0 0 16781312 514 18446604451036731584 0 0 -1 2 0 0 0
[pid=24324] ppid=24057 vsize=371844 CPUtime=1.58 cores=0,2,4,6
/proc/24324/stat : 24324 (python) S 24057 24057 23486 0 -1 4202560 1200 0 0 0 89 69 0 0 15 0 2 0 538492061 380768256 5901 33554432000 4194304 5683644 140734458720464 18446744073709551615 210204667462 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/24324/statm: 92961 5901 400 364 0 28852 0
[pid=24326] ppid=24324 vsize=8032 CPUtime=896.17 cores=0,2,4,6
/proc/24326/stat : 24326 (march_hi) R 24324 24326 24326 0 -1 4202496 2402 0 0 0 89612 5 0 0 25 0 1 0 538492061 8224768 1363 33554432000 4194304 4955518 140734131965696 18446744073709551615 4224656 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/24326/statm: 2008 1363 106 186 0 1821 0
[pid=24324/tid=24368] ppid=24057 vsize=371844 CPUtime=0 cores=0,2,4,6
/proc/24324/task/24368/stat : 24368 (python) S 24057 24057 23486 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 538531624 380768256 5901 33554432000 4194304 5683644 140734458720464 18446744073709551615 210216470961 0 0 16781312 514 18446604453922717888 0 0 -1 6 0 0 0
[pid=24337] ppid=24057 vsize=382264 CPUtime=0.15 cores=0,2,4,6
/proc/24337/stat : 24337 (python) S 24057 24057 23486 0 -1 4202560 1181 0 0 0 8 7 0 0 19 0 2 0 538502075 391438336 5920 33554432000 4194304 5683644 140734458720464 18446744073709551615 210216474059 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/24337/statm: 95566 5920 400 364 0 31454 0
[pid=24339] ppid=24337 vsize=247068 CPUtime=97.19 cores=0,2,4,6
/proc/24339/stat : 24339 (FH) T 24337 24339 24339 0 -1 4202496 636 0 0 0 9719 0 0 0 25 0 1 0 538502076 252997632 366 33554432000 134512640 134936988 4287562192 18446744073709551615 134547132 0 0 16781312 0 18446744071562691360 0 0 17 2 0 0 0
/proc/24339/statm: 61767 366 41 104 0 61271 0
[pid=24337/tid=24346] ppid=24057 vsize=382264 CPUtime=0 cores=0,2,4,6
/proc/24337/task/24346/stat : 24346 (python) S 24057 24057 23486 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 538511992 391438336 5920 33554432000 4194304 5683644 140734458720464 18446744073709551615 210216470961 0 0 16781312 514 18446604451267810304 0 0 -1 6 0 0 0
[pid=24342] ppid=24057 vsize=392520 CPUtime=1.42 cores=0,2,4,6
/proc/24342/stat : 24342 (python) S 24057 24057 23486 0 -1 4202560 1207 0 0 0 76 66 0 0 15 0 2 0 538511396 401940480 5924 33554432000 4194304 5683644 140734458720464 18446744073709551615 210204667462 0 0 16781312 514 18446744073709551615 0 0 17 2 0 0 0
/proc/24342/statm: 98130 5924 400 364 0 34015 0
[pid=24344] ppid=24342 vsize=6308 CPUtime=810.63 cores=0,2,4,6
/proc/24344/stat : 24344 (march_hi) R 24342 24344 24344 0 -1 4202496 2315 0 0 0 81060 3 0 0 25 0 1 0 538511396 6459392 1275 33554432000 4194304 4955518 140736645546448 18446744073709551615 4297477 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/24344/statm: 1577 1275 106 186 0 1390 0
[pid=24342/tid=24394] ppid=24057 vsize=392520 CPUtime=0 cores=0,2,4,6
/proc/24342/task/24394/stat : 24394 (python) S 24057 24057 23486 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 2 0 538560332 401940480 5924 33554432000 4194304 5683644 140734458720464 18446744073709551615 210216470961 0 0 16781312 514 18446604453923297152 0 0 -1 2 0 0 0
[pid=24347] ppid=24057 vsize=402776 CPUtime=0.32 cores=0,2,4,6
/proc/24347/stat : 24347 (python) S 24057 24057 23486 0 -1 4202560 1194 0 0 0 19 13 0 0 19 0 2 0 538511996 412442624 5939 33554432000 4194304 5683644 140734458720464 18446744073709551615 210216474059 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/24347/statm: 100694 5939 400 364 0 36576 0
[pid=24349] ppid=24347 vsize=268420 CPUtime=195.99 cores=0,2,4,6
/proc/24349/stat : 24349 (hybridGM3) T 24347 24349 24349 0 -1 4202496 4894 0 0 0 19599 0 0 0 25 0 1 0 538511996 274862080 4628 33554432000 134512640 135204385 4288834368 18446744073709551615 134537462 0 0 16781312 0 18446744071562691360 0 0 17 0 0 0 0
/proc/24349/statm: 67105 4628 64 169 0 66935 0
[pid=24347/tid=24369] ppid=24057 vsize=402776 CPUtime=0 cores=0,2,4,6
/proc/24347/task/24369/stat : 24369 (python) S 24057 24057 23486 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 2 0 538531629 412442624 5939 33554432000 4194304 5683644 140734458720464 18446744073709551615 210216470961 0 0 16781312 514 18446604448182959040 0 0 -1 0 0 0 0
[pid=24370] ppid=24057 vsize=413212 CPUtime=0.16 cores=0,2,4,6
/proc/24370/stat : 24370 (python) S 24057 24057 23486 0 -1 4202560 1182 0 0 0 10 6 0 0 19 0 2 0 538531633 423129088 5987 33554432000 4194304 5683644 140734458720464 18446744073709551615 210216474059 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/24370/statm: 103303 5987 400 364 0 39182 0
[pid=24372] ppid=24370 vsize=1018076 CPUtime=99.98 cores=0,2,4,6
/proc/24372/stat : 24372 (gnovelty+2) T 24370 24372 24372 0 -1 4202496 537 0 0 0 9998 0 0 0 25 0 1 0 538531634 1042509824 267 33554432000 134512640 135663704 4294362752 18446744073709551615 134524548 0 0 16781312 0 18446744071562691360 0 0 17 4 0 0 0
/proc/24372/statm: 254519 267 113 282 0 254235 0
[pid=24370/tid=24381] ppid=24057 vsize=413212 CPUtime=0 cores=0,2,4,6
/proc/24370/task/24381/stat : 24381 (python) S 24057 24057 23486 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 2 0 538541650 423129088 5987 33554432000 4194304 5683644 140734458720464 18446744073709551615 210216470961 0 0 16781312 514 18446604453894722752 0 0 -1 4 0 0 0
[pid=24382] ppid=24057 vsize=423468 CPUtime=0.88 cores=0,2,4,6
/proc/24382/stat : 24382 (python) S 24057 24057 23486 0 -1 4202560 1241 0 0 0 48 40 0 0 16 0 2 0 538541654 433631232 5999 33554432000 4194304 5683644 140734458720464 18446744073709551615 210216474059 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/24382/statm: 105867 5999 408 364 0 41743 0
[pid=24384] ppid=24382 vsize=5156 CPUtime=488.65 cores=0,2,4,6
/proc/24384/stat : 24384 (march_hi) T 24382 24384 24384 0 -1 4202496 1999 0 0 0 48865 0 0 0 25 0 1 0 538541655 5279744 961 33554432000 4194304 4955518 140734759910352 18446744073709551615 4208638 0 0 16781312 0 18446744071562691360 0 0 17 4 0 0 0
/proc/24384/statm: 1289 961 106 186 0 1102 0
[pid=24382/tid=24410] ppid=24057 vsize=423468 CPUtime=0 cores=0,2,4,6
/proc/24382/task/24410/stat : 24410 (python) S 24057 24057 23486 0 -1 4202560 47 0 0 0 0 0 0 0 16 0 2 0 538590848 433631232 5999 33554432000 4194304 5683644 140734458720464 18446744073709551615 210216470961 0 0 16781312 514 18446604446083315520 0 0 -1 4 0 0 0
[pid=24402] ppid=24057 vsize=433724 CPUtime=0.2 cores=0,2,4,6
/proc/24402/stat : 24402 (python) S 24057 24057 23486 0 -1 4202560 1069 0 0 0 11 9 0 0 18 0 1 0 538580560 444133376 5988 33554432000 4194304 5683644 140734458720464 18446744073709551615 210204667462 0 0 16781312 514 3876930776096276738 0 0 17 6 0 0 0
/proc/24402/statm: 108431 5988 379 364 0 44304 0
[pid=24404] ppid=24402 vsize=268424 CPUtime=119.52 cores=0,2,4,6
/proc/24404/stat : 24404 (hybridGM3) R 24402 24404 24404 0 -1 4202496 4899 0 0 0 11952 0 0 0 25 0 1 0 538580561 274866176 4628 33554432000 134512640 135204385 4290039248 18446744073709551615 134537322 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/24404/statm: 67106 4628 64 169 0 66936 0
[pid=24057/tid=24064] ppid=24055 vsize=443968 CPUtime=0 cores=0,2,4,6
/proc/24057/task/24064/stat : 24064 (python) S 24055 24057 23486 0 -1 4202560 26 934 0 0 0 0 0 0 20 0 17 0 538472216 454623232 7525 33554432000 4194304 5683644 140734458720464 18446744073709551615 210216470961 0 0 16781312 2 18446604441569852288 0 0 -1 6 0 0 0
[pid=24057/tid=24067] ppid=24055 vsize=443968 CPUtime=0 cores=0,2,4,6
/proc/24057/task/24067/stat : 24067 (python) S 24055 24057 23486 0 -1 4202560 22 934 0 0 0 0 0 0 22 0 17 0 538472219 454623232 7525 33554432000 4194304 5683644 140734458720464 18446744073709551615 210216470961 0 0 16781312 2 18446604441569852288 0 0 -1 6 0 0 0
[pid=24057/tid=24070] ppid=24055 vsize=443968 CPUtime=0 cores=0,2,4,6
/proc/24057/task/24070/stat : 24070 (python) S 24055 24057 23486 0 -1 4202560 24 934 0 0 0 0 0 0 18 0 17 0 538472222 454623232 7525 33554432000 4194304 5683644 140734458720464 18446744073709551615 210216470961 0 0 16781312 2 18446604441569852288 0 0 -1 6 0 0 0
[pid=24057/tid=24073] ppid=24055 vsize=443968 CPUtime=0 cores=0,2,4,6
/proc/24057/task/24073/stat : 24073 (python) S 24055 24057 23486 0 -1 4202560 36 934 0 0 0 0 0 0 18 0 17 0 538472225 454623232 7525 33554432000 4194304 5683644 140734458720464 18446744073709551615 210216470961 0 0 16781312 2 18446604441569852288 0 0 -1 6 0 0 0
[pid=24057/tid=24303] ppid=24055 vsize=443968 CPUtime=0 cores=0,2,4,6
/proc/24057/task/24303/stat : 24303 (python) S 24055 24057 23486 0 -1 4202560 31 934 0 0 0 0 0 0 20 0 17 0 538482035 454623232 7525 33554432000 4194304 5683644 140734458720464 18446744073709551615 210216470961 0 0 16781312 2 18446604441569852288 0 0 -1 6 0 0 0
[pid=24057/tid=24307] ppid=24055 vsize=443968 CPUtime=0 cores=0,2,4,6
/proc/24057/task/24307/stat : 24307 (python) S 24055 24057 23486 0 -1 4202560 32 934 0 0 0 0 0 0 20 0 17 0 538482139 454623232 7525 33554432000 4194304 5683644 140734458720464 18446744073709551615 210216470961 0 0 16781312 2 18446604441569852288 0 0 -1 6 0 0 0
[pid=24057/tid=24311] ppid=24055 vsize=443968 CPUtime=0 cores=0,2,4,6
/proc/24057/task/24311/stat : 24311 (python) S 24055 24057 23486 0 -1 4202560 31 934 0 0 0 0 0 0 20 0 17 0 538482240 454623232 7525 33554432000 4194304 5683644 140734458720464 18446744073709551615 210216470961 0 0 16781312 2 18446604441569852288 0 0 -1 6 0 0 0
[pid=24057/tid=24315] ppid=24055 vsize=443968 CPUtime=0 cores=0,2,4,6
/proc/24057/task/24315/stat : 24315 (python) S 24055 24057 23486 0 -1 4202560 41 934 0 0 0 0 0 0 18 0 17 0 538482245 454623232 7525 33554432000 4194304 5683644 140734458720464 18446744073709551615 210216470961 0 0 16781312 2 18446604441569852288 0 0 -1 6 0 0 0
[pid=24057/tid=24322] ppid=24055 vsize=443968 CPUtime=0 cores=0,2,4,6
/proc/24057/task/24322/stat : 24322 (python) S 24055 24057 23486 0 -1 4202560 24 934 0 0 0 0 0 0 20 0 17 0 538492057 454623232 7525 33554432000 4194304 5683644 140734458720464 18446744073709551615 210216470961 0 0 16781312 2 18446604441569852288 0 0 -1 2 0 0 0
[pid=24057/tid=24325] ppid=24055 vsize=443968 CPUtime=0 cores=0,2,4,6
/proc/24057/task/24325/stat : 24325 (python) S 24055 24057 23486 0 -1 4202560 44 934 0 0 0 0 0 0 18 0 17 0 538492061 454623232 7525 33554432000 4194304 5683644 140734458720464 18446744073709551615 210216470961 0 0 16781312 2 18446604441569852288 0 0 -1 6 0 0 0
[pid=24057/tid=24338] ppid=24055 vsize=443968 CPUtime=0 cores=0,2,4,6
/proc/24057/task/24338/stat : 24338 (python) S 24055 24057 23486 0 -1 4202560 30 934 0 0 0 0 0 0 20 0 17 0 538502075 454623232 7525 33554432000 4194304 5683644 140734458720464 18446744073709551615 210216470961 0 0 16781312 2 18446604441569852288 0 0 -1 6 0 0 0
[pid=24057/tid=24343] ppid=24055 vsize=443968 CPUtime=0 cores=0,2,4,6
/proc/24057/task/24343/stat : 24343 (python) S 24055 24057 23486 0 -1 4202560 38 934 0 0 0 0 0 0 18 0 17 0 538511396 454623232 7525 33554432000 4194304 5683644 140734458720464 18446744073709551615 210216470961 0 0 16781312 2 18446604441569852288 0 0 -1 6 0 0 0
[pid=24057/tid=24348] ppid=24055 vsize=443968 CPUtime=0 cores=0,2,4,6
/proc/24057/task/24348/stat : 24348 (python) S 24055 24057 23486 0 -1 4202560 26 934 0 0 0 0 0 0 20 0 17 0 538511996 454623232 7525 33554432000 4194304 5683644 140734458720464 18446744073709551615 210216470961 0 0 16781312 2 18446604441569852288 0 0 -1 6 0 0 0
[pid=24057/tid=24371] ppid=24055 vsize=443968 CPUtime=0 cores=0,2,4,6
/proc/24057/task/24371/stat : 24371 (python) S 24055 24057 23486 0 -1 4202560 30 934 0 0 0 0 0 0 20 0 17 0 538531633 454623232 7525 33554432000 4194304 5683644 140734458720464 18446744073709551615 210216470961 0 0 16781312 2 18446604441569852288 0 0 -1 6 0 0 0
[pid=24057/tid=24383] ppid=24055 vsize=443968 CPUtime=0 cores=0,2,4,6
/proc/24057/task/24383/stat : 24383 (python) S 24055 24057 23486 0 -1 4202560 25 934 0 0 0 0 0 0 20 0 17 0 538541655 454623232 7525 33554432000 4194304 5683644 140734458720464 18446744073709551615 210216470961 0 0 16781312 2 18446604441569852288 0 0 -1 6 0 0 0
[pid=24057/tid=24403] ppid=24055 vsize=443968 CPUtime=0 cores=0,2,4,6
/proc/24057/task/24403/stat : 24403 (python) S 24055 24057 23486 0 -1 4202560 30 934 0 0 0 0 0 0 20 0 17 0 538580560 454623232 7525 33554432000 4194304 5683644 140734458720464 18446744073709551615 210216470961 0 0 16781312 2 18446604441569852288 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.25
Current children cumulated vsize (KiB) 12955104

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 24057 and gives
#  childrusage.ru_utime.tv_sec=2
#  childrusage.ru_utime.tv_usec=123677
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=535918
# CPU time returned by wait4() is 2.6596
# while last known CPU time is 4800.25
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1205.71
CPU time (s): 4800.25
CPU user time (s): 4796.37
CPU system time (s): 3.88
CPU usage (%): 398.127
Max. virtual memory (cumulated for all children) (KiB): 12955104

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.12368
system time used= 0.535918
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27357
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= 2001
involuntary context switches= 99

runsolver used 5.73513 second user time and 12.4041 second system time

The end

Launcher Data 

Begin job on node130 at 2011-05-01 18:52:16
IDJOB=3317320
IDBENCH=82785
IDSOLVER=1705
FILE ID=node130/3317320-1304268736
RUNJOBID= node130-1304267282-23504
PBS_JOBID= 13173949
Free space on /tmp= 72684 MiB

SOLVER NAME= borg-sat 11.03.02-random
BENCH NAME= SAT11/random/medium/unif-k7-r89-v70-c6230-S1780733482-097.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-3317320-1304268736/watcher-3317320-1304268736 -o /tmp/evaluation-result-3317320-1304268736/solver-3317320-1304268736 -C 4800 -W 1300 -M 15500  python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3317320-1304268736.cnf -seed 1401861513 -budget 4800 -cores 4

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

MD5SUM BENCH= 261ca77431063ab06f6a4cdf20ea9cf2
RANDOM SEED=1401861513

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29946388 kB
Buffers:        231872 kB
Cached:        1480404 kB
SwapCached:       1916 kB
Active:        1464188 kB
Inactive:      1247852 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29946388 kB
SwapTotal:    67111528 kB
SwapFree:     67107188 kB
Dirty:           31940 kB
Writeback:           0 kB
AnonPages:      998480 kB
Mapped:          22344 kB
Slab:           220288 kB
PageTables:      13720 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 11980092 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= 72652 MiB
End job on node130 at 2011-05-01 19:12:24