Trace number 3322102

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? (exit code) 356.61 90.4899

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v550-c2343-S960198064-030.SATISFIABLE.cnf
MD5SUM06e5d4421198459b1bb719e60182593d
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.007997
Satisfiable
(Un)Satisfiability was proved
Number of variables550
Number of clauses2343
Sum of the clauses size7029
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32343
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.30/0.47	c INFO: loaded portfolio from HOME/etc/borg-mix+class.random.pickle
0.30/0.47	c INFO: solving HOME/instance-3322102-1304374431.cnf
0.30/0.47	c INFO: computing task features
0.30/0.48	c INFO: computed variable-clause graph statistics
0.30/0.48	c INFO: computed clause balance statistics
0.39/0.53	c INFO: computed variable balance statistics
0.39/0.57	c INFO: computed small-clause counts
0.39/0.57	c INFO: computed Horn-clause counts
0.39/0.57	c INFO: computed variable graph statistics
0.39/0.57	c INFO: collected features for HOME/instance-3322102-1304374431.cnf in 0.10 s
0.48/0.61	c INFO: running gnovelty+2@0 for 97 with 39999 remaining (b = 0.57)
0.48/0.65	c INFO: running march_hi@0 for 388 with 39999 remaining (b = 0.33)
0.48/0.69	c INFO: running march_hi@0 for 388 with 39999 remaining (b = 0.29)
0.64/0.73	c INFO: running march_hi@0 for 97 with 39999 remaining (b = 0.08)
0.64/0.77	c INFO: running gnovelty+2@0 for 97 with 39999 remaining (b = 0.08)
0.74/0.81	c INFO: running march_hi@0 for 679 with 39999 remaining (b = 0.31)
0.74/0.85	c INFO: running march_hi@0 for 679 with 39999 remaining (b = 0.28)
0.74/0.89	c INFO: running march_hi@0 for 679 with 39999 remaining (b = 0.25)
0.74/0.89	Traceback (most recent call last):
0.74/0.89	  File "HOME/solve", line 33, in <module>
0.74/0.89	    plac.call(main)
0.74/0.89	  File "/home/evaluation/evaluation/tools64/lib/python2.7/site-packages/plac-0.8.1-py2.7.egg/plac_core.py", line 311, in call
0.74/0.89	    cmd, result = parser_from(obj).consume(arglist)
0.74/0.89	  File "/home/evaluation/evaluation/tools64/lib/python2.7/site-packages/plac-0.8.1-py2.7.egg/plac_core.py", line 192, in consume
0.74/0.89	    return cmd, self.func(*(args + varargs + extraopts), **kwargs)
0.74/0.89	  File "HOME/borg/build/lib/borg/tools/solve.py", line 84, in main
0.74/0.89	    (_, answer, _) = solver(input_path, budget, cores)
0.74/0.89	  File "HOME/borg/build/lib/borg/bilevel.py", line 226, in __call__
0.74/0.89	    process.die()
0.74/0.89	  File "HOME/borg/build/lib/borg/solvers.py", line 185, in die
0.74/0.89	    os.kill(self._process.pid, signal.SIGUSR1)
0.74/0.89	OSError: [Errno 3] No such process

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-3322102-1304374431/watcher-3322102-1304374431 -o /tmp/evaluation-result-3322102-1304374431/solver-3322102-1304374431 -C 40000 -W 5100 -M 31000 python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3322102-1304374431.cnf -seed 1563762038 -budget 40000 -cores 8 

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

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


[startup+0 s]
/proc/loadavg: 8.51 9.12 9.54 5/290 8698
/proc/meminfo: memFree=17409728/32950928 swapFree=67111528/67111528
[pid=8698] ppid=8696 vsize=15908 CPUtime=0 cores=0-7
/proc/8698/stat : 8698 (python) S 8696 8698 8616 0 -1 4202496 945 0 0 0 0 0 0 0 17 0 1 0 5052540 16289792 821 33554432000 4194304 5683644 140736119339360 18446744073709551615 218880563200 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 0
/proc/8698/statm: 3977 821 357 364 0 464 0

[startup+0.0428281 s]
/proc/loadavg: 8.51 9.12 9.54 5/290 8698
/proc/meminfo: memFree=17409728/32950928 swapFree=67111528/67111528
[pid=8698] ppid=8696 vsize=29788 CPUtime=0.02 cores=0-7
/proc/8698/stat : 8698 (python) R 8696 8698 8616 0 -1 4202496 1384 0 0 0 2 0 0 0 17 0 1 0 5052540 30502912 1227 33554432000 4194304 5683644 140736119339360 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/8698/statm: 7447 1231 443 364 0 817 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 29788

[startup+0.100833 s]
/proc/loadavg: 8.51 9.12 9.54 5/290 8698
/proc/meminfo: memFree=17409728/32950928 swapFree=67111528/67111528
[pid=8698] ppid=8696 vsize=104612 CPUtime=0.06 cores=0-7
/proc/8698/stat : 8698 (python) R 8696 8698 8616 0 -1 4202496 3144 0 0 0 5 1 0 0 17 0 1 0 5052540 107122688 2821 33554432000 4194304 5683644 140736119339360 18446744073709551615 218880563200 0 0 16781312 2 0 0 0 17 6 0 0 0
/proc/8698/statm: 26153 2821 847 364 0 1901 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 104612

[startup+0.300785 s]
/proc/loadavg: 8.51 9.12 9.54 5/290 8698
/proc/meminfo: memFree=17409728/32950928 swapFree=67111528/67111528
[pid=8698] ppid=8696 vsize=190252 CPUtime=0.21 cores=0-7
/proc/8698/stat : 8698 (python) R 8696 8698 8616 0 -1 4202496 6858 932 1 0 16 5 0 0 17 0 1 0 5052540 194818048 4913 33554432000 4194304 5683644 140736119339360 18446744073709551615 218875595627 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/8698/statm: 47563 4914 1411 364 0 3723 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 190252

[startup+0.700716 s]
/proc/loadavg: 8.51 9.12 9.54 5/290 8698
/proc/meminfo: memFree=17409728/32950928 swapFree=67111528/67111528
[pid=8698] ppid=8696 vsize=309972 CPUtime=0.64 cores=0-7
/proc/8698/stat : 8698 (python) R 8696 8698 8616 0 -1 4202496 11870 2436 1 0 49 9 6 0 18 0 4 0 5052540 317411328 7247 33554432000 4194304 5683644 140736119339360 18446744073709551615 218880256103 0 0 16781312 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8698/statm: 77493 7247 1878 364 0 13405 0
Current children cumulated CPU time (s) 0.64
Current children cumulated vsize (KiB) 309972

[startup+1.50152 s]
/proc/loadavg: 8.39 9.09 9.52 11/303 8729
/proc/meminfo: memFree=17357536/32950928 swapFree=67111528/67111528
[pid=8698] ppid=8696 vsize=310164 CPUtime=0.86 cores=0-7
/proc/8698/stat : 8698 (python) S 8696 8698 8616 0 -1 4202496 16025 3980 1 0 67 10 8 1 24 0 1 0 5052540 317607936 7293 33554432000 4194304 5683644 140736119339360 18446744073709551615 218892395327 0 0 16781312 2 18446744071562232103 0 0 17 6 0 0 0
/proc/8698/statm: 77541 7293 1891 364 0 13438 0
[pid=8707] ppid=8698 vsize=289368 CPUtime=0 cores=0-7
/proc/8707/stat : 8707 (python) S 8698 8698 8616 0 -1 4202560 752 0 0 0 0 0 0 0 15 0 1 0 5052605 296312832 5700 33554432000 4194304 5683644 140736119339360 18446744073709551615 218880585286 0 0 16781312 514 6228377133878575363 0 0 17 3 0 0 0
/proc/8707/statm: 72342 5700 348 364 0 8257 0
[pid=8709] ppid=8707 vsize=2488 CPUtime=0.83 cores=0-7
/proc/8709/stat : 8709 (march_hi) R 8707 8709 8709 0 -1 4202496 704 0 0 0 83 0 0 0 25 0 1 0 5052606 2547712 441 33554432000 4194304 4955518 140735651431920 18446744073709551615 4227571 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/8709/statm: 622 441 104 186 0 435 0
[pid=8711] ppid=8698 vsize=299312 CPUtime=0 cores=0-7
/proc/8711/stat : 8711 (python) S 8698 8698 8616 0 -1 4202560 752 0 0 0 0 0 0 0 15 0 1 0 5052609 306495488 5625 33554432000 4194304 5683644 140736119339360 18446744073709551615 218880585286 0 0 16781312 514 17049084479194235137 0 0 17 7 0 0 0
/proc/8711/statm: 74828 5625 348 364 0 10740 0
[pid=8713] ppid=8711 vsize=2488 CPUtime=0.78 cores=0-7
/proc/8713/stat : 8713 (march_hi) R 8711 8713 8713 0 -1 4202496 705 0 0 0 78 0 0 0 22 0 1 0 5052610 2547712 438 33554432000 4194304 4955518 140734216441712 18446744073709551615 4209737 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/8713/statm: 622 438 104 186 0 435 0
[pid=8714] ppid=8698 vsize=309984 CPUtime=0 cores=0-7
/proc/8714/stat : 8714 (python) S 8698 8698 8616 0 -1 4202560 754 0 0 0 0 0 0 0 15 0 1 0 5052613 317423616 5717 33554432000 4194304 5683644 140736119339360 18446744073709551615 218880585286 0 0 16781312 514 10171687625966977281 0 0 17 2 0 0 0
/proc/8714/statm: 77496 5717 348 364 0 13405 0
[pid=8716] ppid=8714 vsize=2488 CPUtime=0.74 cores=0-7
/proc/8716/stat : 8716 (march_hi) R 8714 8716 8716 0 -1 4202496 704 0 0 0 74 0 0 0 23 0 1 0 5052614 2547712 438 33554432000 4194304 4955518 140734796655184 18446744073709551615 4209688 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/8716/statm: 622 438 104 186 0 435 0
[pid=8721] ppid=8698 vsize=330628 CPUtime=0 cores=0-7
/proc/8721/stat : 8721 (python) S 8698 8698 8616 0 -1 4202560 774 0 0 0 0 0 0 0 15 0 1 0 5052621 338563072 5758 33554432000 4194304 5683644 140736119339360 18446744073709551615 218880585286 0 0 16781312 514 13944283544680366340 0 0 17 2 0 0 0
/proc/8721/statm: 82657 5758 348 364 0 18560 0
[pid=8723] ppid=8721 vsize=2488 CPUtime=0.68 cores=0-7
/proc/8723/stat : 8723 (march_hi) R 8721 8723 8723 0 -1 4202496 700 0 0 0 68 0 0 0 22 0 1 0 5052621 2547712 435 33554432000 4194304 4955518 140734387672304 18446744073709551615 4227502 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/8723/statm: 622 435 104 186 0 435 0
[pid=8724] ppid=8698 vsize=340884 CPUtime=0 cores=0-7
/proc/8724/stat : 8724 (python) S 8698 8698 8616 0 -1 4202560 786 0 0 0 0 0 0 0 16 0 1 0 5052625 349065216 5762 33554432000 4194304 5683644 140736119339360 18446744073709551615 218880585286 0 0 16781312 514 6823054594830991620 0 0 17 6 0 0 0
/proc/8724/statm: 85221 5762 348 364 0 21121 0
[pid=8726] ppid=8724 vsize=2488 CPUtime=0.59 cores=0-7
/proc/8726/stat : 8726 (march_hi) R 8724 8726 8726 0 -1 4202496 699 0 0 0 59 0 0 0 25 0 1 0 5052627 2547712 432 33554432000 4194304 4955518 140736634716768 18446744073709551615 4413771 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/8726/statm: 622 432 104 186 0 435 0
[pid=8727] ppid=8698 vsize=351140 CPUtime=0 cores=0-7
/proc/8727/stat : 8727 (python) S 8698 8698 8616 0 -1 4202560 813 0 0 0 0 0 0 0 18 0 1 0 5052629 359567360 5772 33554432000 4194304 5683644 140736119339360 18446744073709551615 218880585286 0 0 16781312 514 17740343041530495234 0 0 17 6 0 0 0
/proc/8727/statm: 87785 5772 354 364 0 23682 0
[pid=8729] ppid=8727 vsize=2352 CPUtime=0.24 cores=0-7
/proc/8729/stat : 8729 (march_hi) R 8727 8729 8729 0 -1 4202496 648 0 0 0 24 0 0 0 25 0 1 0 5052630 2408448 377 33554432000 4194304 4955518 140735601733456 18446744073709551615 4227664 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/8729/statm: 588 377 104 186 0 401 0
Current children cumulated CPU time (s) 4.72
Current children cumulated vsize (KiB) 2246272

[startup+3.10124 s]
/proc/loadavg: 8.39 9.09 9.52 10/303 8729
/proc/meminfo: memFree=17355056/32950928 swapFree=67111528/67111528
[pid=8698] ppid=8696 vsize=310164 CPUtime=0.86 cores=0-7
/proc/8698/stat : 8698 (python) S 8696 8698 8616 0 -1 4202496 16025 3980 1 0 67 10 8 1 24 0 1 0 5052540 317607936 7293 33554432000 4194304 5683644 140736119339360 18446744073709551615 218892395327 0 0 16781312 2 18446744071562232103 0 0 17 6 0 0 0
/proc/8698/statm: 77541 7293 1891 364 0 13438 0
[pid=8707] ppid=8698 vsize=289368 CPUtime=0 cores=0-7
/proc/8707/stat : 8707 (python) S 8698 8698 8616 0 -1 4202560 754 0 0 0 0 0 0 0 15 0 1 0 5052605 296312832 5700 33554432000 4194304 5683644 140736119339360 18446744073709551615 218880585286 0 0 16781312 514 6228377133878575363 0 0 17 3 0 0 0
/proc/8707/statm: 72342 5700 348 364 0 8257 0
[pid=8709] ppid=8707 vsize=2808 CPUtime=2.43 cores=0-7
/proc/8709/stat : 8709 (march_hi) R 8707 8709 8709 0 -1 4202496 763 0 0 0 243 0 0 0 25 0 1 0 5052606 2875392 500 33554432000 4194304 4955518 140735651431920 18446744073709551615 4209787 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/8709/statm: 702 500 104 186 0 515 0
[pid=8711] ppid=8698 vsize=299312 CPUtime=0 cores=0-7
/proc/8711/stat : 8711 (python) S 8698 8698 8616 0 -1 4202560 754 0 0 0 0 0 0 0 15 0 1 0 5052609 306495488 5625 33554432000 4194304 5683644 140736119339360 18446744073709551615 218880585286 0 0 16781312 514 17049084479194235137 0 0 17 7 0 0 0
/proc/8711/statm: 74828 5625 348 364 0 10740 0
[pid=8713] ppid=8711 vsize=2808 CPUtime=2.37 cores=0-7
/proc/8713/stat : 8713 (march_hi) R 8711 8713 8713 0 -1 4202496 763 0 0 0 237 0 0 0 25 0 1 0 5052610 2875392 496 33554432000 4194304 4955518 140734216441712 18446744073709551615 4235369 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/8713/statm: 702 496 104 186 0 515 0
[pid=8714] ppid=8698 vsize=309984 CPUtime=0 cores=0-7
/proc/8714/stat : 8714 (python) S 8698 8698 8616 0 -1 4202560 757 0 0 0 0 0 0 0 15 0 1 0 5052613 317423616 5717 33554432000 4194304 5683644 140736119339360 18446744073709551615 218880585286 0 0 16781312 514 10171687625966977281 0 0 17 2 0 0 0
/proc/8714/statm: 77496 5717 348 364 0 13405 0
[pid=8716] ppid=8714 vsize=2808 CPUtime=2.34 cores=0-7
/proc/8716/stat : 8716 (march_hi) R 8714 8716 8716 0 -1 4202496 763 0 0 0 234 0 0 0 25 0 1 0 5052614 2875392 497 33554432000 4194304 4955518 140734796655184 18446744073709551615 4285450 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/8716/statm: 702 497 104 186 0 515 0
[pid=8721] ppid=8698 vsize=330628 CPUtime=0 cores=0-7
/proc/8721/stat : 8721 (python) S 8698 8698 8616 0 -1 4202560 778 0 0 0 0 0 0 0 15 0 1 0 5052621 338563072 5758 33554432000 4194304 5683644 140736119339360 18446744073709551615 218880585286 0 0 16781312 514 13944283544680366340 0 0 17 2 0 0 0
/proc/8721/statm: 82657 5758 348 364 0 18560 0
[pid=8723] ppid=8721 vsize=2808 CPUtime=2.28 cores=0-7
/proc/8723/stat : 8723 (march_hi) R 8721 8723 8723 0 -1 4202496 759 0 0 0 228 0 0 0 25 0 1 0 5052621 2875392 494 33554432000 4194304 4955518 140734387672304 18446744073709551615 4311944 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/8723/statm: 702 494 104 186 0 515 0
[pid=8724] ppid=8698 vsize=340884 CPUtime=0 cores=0-7
/proc/8724/stat : 8724 (python) S 8698 8698 8616 0 -1 4202560 791 0 0 0 0 0 0 0 15 0 1 0 5052625 349065216 5762 33554432000 4194304 5683644 140736119339360 18446744073709551615 218880585286 0 0 16781312 514 6823054594830991620 0 0 17 6 0 0 0
/proc/8724/statm: 85221 5762 348 364 0 21121 0
[pid=8726] ppid=8724 vsize=2808 CPUtime=2.19 cores=0-7
/proc/8726/stat : 8726 (march_hi) R 8724 8726 8726 0 -1 4202496 759 0 0 0 219 0 0 0 25 0 1 0 5052627 2875392 492 33554432000 4194304 4955518 140736634716768 18446744073709551615 4209776 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/8726/statm: 702 492 104 186 0 515 0
[pid=8727] ppid=8698 vsize=351140 CPUtime=0 cores=0-7
/proc/8727/stat : 8727 (python) S 8698 8698 8616 0 -1 4202560 816 0 0 0 0 0 0 0 15 0 1 0 5052629 359567360 5772 33554432000 4194304 5683644 140736119339360 18446744073709551615 218880585286 0 0 16781312 514 3346979644820684799 0 0 17 6 0 0 0
/proc/8727/statm: 87785 5772 354 364 0 23682 0
[pid=8729] ppid=8727 vsize=2556 CPUtime=1.04 cores=0-7
/proc/8729/stat : 8729 (march_hi) R 8727 8729 8729 0 -1 4202496 719 0 0 0 104 0 0 0 25 0 1 0 5052630 2617344 448 33554432000 4194304 4955518 140735601733456 18446744073709551615 4285403 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/8729/statm: 639 448 104 186 0 452 0
Current children cumulated CPU time (s) 13.51
Current children cumulated vsize (KiB) 2248076

[startup+6.30068 s]
/proc/loadavg: 8.39 9.09 9.52 10/303 8729
/proc/meminfo: memFree=17350732/32950928 swapFree=67111528/67111528
[pid=8698] ppid=8696 vsize=310164 CPUtime=0.86 cores=0-7
/proc/8698/stat : 8698 (python) S 8696 8698 8616 0 -1 4202496 16025 3980 1 0 67 10 8 1 24 0 1 0 5052540 317607936 7293 33554432000 4194304 5683644 140736119339360 18446744073709551615 218892395327 0 0 16781312 2 18446744071562232103 0 0 17 6 0 0 0
/proc/8698/statm: 77541 7293 1891 364 0 13438 0
[pid=8707] ppid=8698 vsize=289368 CPUtime=0 cores=0-7
/proc/8707/stat : 8707 (python) S 8698 8698 8616 0 -1 4202560 897 0 0 0 0 0 0 0 15 0 1 0 5052605 296312832 5723 33554432000 4194304 5683644 140736119339360 18446744073709551615 218880585286 0 0 16781312 514 6228377133878575363 0 0 17 3 0 0 0
/proc/8707/statm: 72342 5723 371 364 0 8257 0
[pid=8709] ppid=8707 vsize=3608 CPUtime=5.62 cores=0-7
/proc/8709/stat : 8709 (march_hi) R 8707 8709 8709 0 -1 4202496 907 0 0 0 562 0 0 0 25 0 1 0 5052606 3694592 644 33554432000 4194304 4955518 140735651431920 18446744073709551615 4286784 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/8709/statm: 902 644 104 186 0 715 0
[pid=8711] ppid=8698 vsize=299312 CPUtime=0.01 cores=0-7
/proc/8711/stat : 8711 (python) S 8698 8698 8616 0 -1 4202560 910 0 0 0 1 0 0 0 15 0 1 0 5052609 306495488 5648 33554432000 4194304 5683644 140736119339360 18446744073709551615 218880585286 0 0 16781312 514 17049084479194235137 0 0 17 7 0 0 0
/proc/8711/statm: 74828 5648 371 364 0 10740 0
[pid=8713] ppid=8711 vsize=3608 CPUtime=5.52 cores=0-7
/proc/8713/stat : 8713 (march_hi) R 8711 8713 8713 0 -1 4202496 904 0 0 0 552 0 0 0 25 0 1 0 5052610 3694592 637 33554432000 4194304 4955518 140734216441712 18446744073709551615 4239108 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/8713/statm: 902 637 104 186 0 715 0
[pid=8714] ppid=8698 vsize=309984 CPUtime=0.01 cores=0-7
/proc/8714/stat : 8714 (python) S 8698 8698 8616 0 -1 4202560 915 0 0 0 1 0 0 0 15 0 1 0 5052613 317423616 5740 33554432000 4194304 5683644 140736119339360 18446744073709551615 218880585286 0 0 16781312 514 10171687625966977281 0 0 17 2 0 0 0
/proc/8714/statm: 77496 5740 371 364 0 13405 0
[pid=8716] ppid=8714 vsize=3608 CPUtime=5.51 cores=0-7
/proc/8716/stat : 8716 (march_hi) R 8714 8716 8716 0 -1 4202496 907 0 0 0 551 0 0 0 25 0 1 0 5052614 3694592 641 33554432000 4194304 4955518 140734796655184 18446744073709551615 4244760 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/8716/statm: 902 641 104 186 0 715 0
[pid=8721] ppid=8698 vsize=330628 CPUtime=0 cores=0-7
/proc/8721/stat : 8721 (python) S 8698 8698 8616 0 -1 4202560 954 0 0 0 0 0 0 0 15 0 1 0 5052621 338563072 5781 33554432000 4194304 5683644 140736119339360 18446744073709551615 218880585286 0 0 16781312 514 13944283544680366340 0 0 17 2 0 0 0
/proc/8721/statm: 82657 5781 371 364 0 18560 0
[pid=8723] ppid=8721 vsize=3608 CPUtime=5.48 cores=0-7
/proc/8723/stat : 8723 (march_hi) R 8721 8723 8723 0 -1 4202496 902 0 0 0 548 0 0 0 25 0 1 0 5052621 3694592 637 33554432000 4194304 4955518 140734387672304 18446744073709551615 4328284 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/8723/statm: 902 637 104 186 0 715 0
[pid=8724] ppid=8698 vsize=340884 CPUtime=0.01 cores=0-7
/proc/8724/stat : 8724 (python) S 8698 8698 8616 0 -1 4202560 954 0 0 0 0 1 0 0 15 0 1 0 5052625 349065216 5785 33554432000 4194304 5683644 140736119339360 18446744073709551615 218880585286 0 0 16781312 514 6823054594830991620 0 0 17 6 0 0 0
/proc/8724/statm: 85221 5785 371 364 0 21121 0
[pid=8726] ppid=8724 vsize=3608 CPUtime=5.37 cores=0-7
/proc/8726/stat : 8726 (march_hi) R 8724 8726 8726 0 -1 4202496 902 0 0 0 537 0 0 0 25 0 1 0 5052627 3694592 635 33554432000 4194304 4955518 140736634716768 18446744073709551615 4206520 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/8726/statm: 902 635 104 186 0 715 0
[pid=8727] ppid=8698 vsize=351140 CPUtime=0 cores=0-7
/proc/8727/stat : 8727 (python) S 8698 8698 8616 0 -1 4202560 966 0 0 0 0 0 0 0 15 0 1 0 5052629 359567360 5795 33554432000 4194304 5683644 140736119339360 18446744073709551615 218880585286 0 0 16781312 514 17740343041530495234 0 0 17 6 0 0 0
/proc/8727/statm: 87785 5795 377 364 0 23682 0
[pid=8729] ppid=8727 vsize=3040 CPUtime=2.64 cores=0-7
/proc/8729/stat : 8729 (march_hi) R 8727 8729 8729 0 -1 4202496 793 0 0 0 264 0 0 0 25 0 1 0 5052630 3112960 522 33554432000 4194304 4955518 140735601733456 18446744073709551615 4238377 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/8729/statm: 760 522 104 186 0 573 0
Current children cumulated CPU time (s) 31.03
Current children cumulated vsize (KiB) 2252560

[startup+12.7016 s]

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

/proc/8729/statm: 1378 968 104 186 0 1191 0
Current children cumulated CPU time (s) 136.44
Current children cumulated vsize (KiB) 2272792

[startup+51.1008 s]
/proc/loadavg: 8.87 9.12 9.51 10/303 8731
/proc/meminfo: memFree=17316692/32950928 swapFree=67111528/67111528
[pid=8698] ppid=8696 vsize=310164 CPUtime=0.86 cores=0-7
/proc/8698/stat : 8698 (python) S 8696 8698 8616 0 -1 4202496 16025 3980 1 0 67 10 8 1 24 0 1 0 5052540 317607936 7293 33554432000 4194304 5683644 140736119339360 18446744073709551615 218892395327 0 0 16781312 2 18446744071562232103 0 0 17 6 0 0 0
/proc/8698/statm: 77541 7293 1891 364 0 13438 0
[pid=8707] ppid=8698 vsize=289368 CPUtime=0.12 cores=0-7
/proc/8707/stat : 8707 (python) S 8698 8698 8616 0 -1 4202560 922 0 0 0 7 5 0 0 15 0 1 0 5052605 296312832 5723 33554432000 4194304 5683644 140736119339360 18446744073709551615 218880585286 0 0 16781312 514 6228377133878575363 0 0 17 3 0 0 0
/proc/8707/statm: 72342 5723 371 364 0 8257 0
[pid=8709] ppid=8707 vsize=12460 CPUtime=50.3 cores=0-7
/proc/8709/stat : 8709 (march_hi) R 8707 8709 8709 0 -1 4202496 2613 0 0 0 5029 1 0 0 25 0 1 0 5052606 12759040 2350 33554432000 4194304 4955518 140735651431920 18446744073709551615 4209740 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/8709/statm: 3115 2350 104 186 0 2928 0
[pid=8711] ppid=8698 vsize=299312 CPUtime=0.12 cores=0-7
/proc/8711/stat : 8711 (python) S 8698 8698 8616 0 -1 4202560 936 0 0 0 8 4 0 0 15 0 1 0 5052609 306495488 5648 33554432000 4194304 5683644 140736119339360 18446744073709551615 218880585286 0 0 16781312 514 17049084479194235137 0 0 17 7 0 0 0
/proc/8711/statm: 74828 5648 371 364 0 10740 0
[pid=8713] ppid=8711 vsize=12460 CPUtime=49.79 cores=0-7
/proc/8713/stat : 8713 (march_hi) R 8711 8713 8713 0 -1 4202496 2585 0 0 0 4978 1 0 0 25 0 1 0 5052610 12759040 2318 33554432000 4194304 4955518 140734216441712 18446744073709551615 4261356 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/8713/statm: 3115 2318 104 186 0 2928 0
[pid=8714] ppid=8698 vsize=309984 CPUtime=0.11 cores=0-7
/proc/8714/stat : 8714 (python) S 8698 8698 8616 0 -1 4202560 937 0 0 0 5 6 0 0 15 0 1 0 5052613 317423616 5740 33554432000 4194304 5683644 140736119339360 18446744073709551615 218880585286 0 0 16781312 514 10171687625966977281 0 0 17 2 0 0 0
/proc/8714/statm: 77496 5740 371 364 0 13405 0
[pid=8716] ppid=8714 vsize=12460 CPUtime=50.1 cores=0-7
/proc/8716/stat : 8716 (march_hi) R 8714 8716 8716 0 -1 4202496 2622 0 0 0 5010 0 0 0 25 0 1 0 5052614 12759040 2356 33554432000 4194304 4955518 140734796655184 18446744073709551615 4209742 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/8716/statm: 3115 2356 104 186 0 2928 0
[pid=8721] ppid=8698 vsize=330628 CPUtime=0.1 cores=0-7
/proc/8721/stat : 8721 (python) S 8698 8698 8616 0 -1 4202560 972 0 0 0 5 5 0 0 15 0 1 0 5052621 338563072 5781 33554432000 4194304 5683644 140736119339360 18446744073709551615 218880585286 0 0 16781312 514 13944283544680366340 0 0 17 2 0 0 0
/proc/8721/statm: 82657 5781 371 364 0 18560 0
[pid=8723] ppid=8721 vsize=12460 CPUtime=50.28 cores=0-7
/proc/8723/stat : 8723 (march_hi) R 8721 8723 8723 0 -1 4202496 2606 0 0 0 5027 1 0 0 25 0 1 0 5052621 12759040 2341 33554432000 4194304 4955518 140734387672304 18446744073709551615 4209787 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/8723/statm: 3115 2341 104 186 0 2928 0
[pid=8724] ppid=8698 vsize=340884 CPUtime=0.11 cores=0-7
/proc/8724/stat : 8724 (python) S 8698 8698 8616 0 -1 4202560 974 0 0 0 5 6 0 0 15 0 1 0 5052625 349065216 5785 33554432000 4194304 5683644 140736119339360 18446744073709551615 218880585286 0 0 16781312 514 6823054594830991620 0 0 17 6 0 0 0
/proc/8724/statm: 85221 5785 371 364 0 21121 0
[pid=8726] ppid=8724 vsize=12460 CPUtime=49.96 cores=0-7
/proc/8726/stat : 8726 (march_hi) R 8724 8726 8726 0 -1 4202496 2616 0 0 0 4996 0 0 0 25 0 1 0 5052627 12759040 2349 33554432000 4194304 4955518 140736634716768 18446744073709551615 4209717 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/8726/statm: 3115 2349 104 186 0 2928 0
[pid=8727] ppid=8698 vsize=351140 CPUtime=0.1 cores=0-7
/proc/8727/stat : 8727 (python) S 8698 8698 8616 0 -1 4202560 987 0 0 0 6 4 0 0 15 0 1 0 5052629 359567360 5795 33554432000 4194304 5683644 140736119339360 18446744073709551615 218880585286 0 0 16781312 514 17740343041530495234 0 0 17 6 0 0 0
/proc/8727/statm: 87785 5795 377 364 0 23682 0
[pid=8729] ppid=8727 vsize=7160 CPUtime=25.04 cores=0-7
/proc/8729/stat : 8729 (march_hi) R 8727 8729 8729 0 -1 4202496 1723 0 0 0 2504 0 0 0 25 0 1 0 5052630 7331840 1452 33554432000 4194304 4955518 140735601733456 18446744073709551615 4224658 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/8729/statm: 1790 1452 104 186 0 1603 0
Current children cumulated CPU time (s) 276.99
Current children cumulated vsize (KiB) 2300940

Solver just ended. Dumping a history of the last processes samples

[startup+76.7004 s]
/proc/loadavg: 7.50 8.78 9.39 5/293 8736
/proc/meminfo: memFree=17375812/32950928 swapFree=67111528/67111528
[pid=8698] ppid=8696 vsize=310164 CPUtime=295.75 cores=0-7
/proc/8698/stat : 8698 (python) S 8696 8698 8616 0 -1 4202496 16028 24560 1 0 67 10 29368 130 17 0 1 0 5052540 317607936 7293 33554432000 4194304 5683644 140736119339360 18446744073709551615 218892395327 0 0 16781312 2 18446744071562232103 0 0 17 3 0 0 0
/proc/8698/statm: 77541 7293 1891 364 0 13438 0
[pid=8727] ppid=8698 vsize=351140 CPUtime=0.15 cores=0-7
/proc/8727/stat : 8727 (python) S 8698 8698 8616 0 -1 4202560 994 0 0 0 9 6 0 0 15 0 1 0 5052629 359567360 5795 33554432000 4194304 5683644 140736119339360 18446744073709551615 218880585286 0 0 16781312 514 7370492633912672514 0 0 17 6 0 0 0
/proc/8727/statm: 87785 5795 377 364 0 23682 0
[pid=8729] ppid=8727 vsize=12460 CPUtime=46.84 cores=0-7
/proc/8729/stat : 8729 (march_hi) R 8727 8729 8729 0 -1 4202496 2431 0 0 0 4684 0 0 0 25 0 1 0 5052630 12759040 2160 33554432000 4194304 4955518 140735601733456 18446744073709551615 4238743 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/8729/statm: 3115 2160 104 186 0 2928 0
Current children cumulated CPU time (s) 342.74
Current children cumulated vsize (KiB) 673764

[startup+83.1003 s]
/proc/loadavg: 7.22 8.70 9.36 5/293 8736
/proc/meminfo: memFree=17375988/32950928 swapFree=67111528/67111528
[pid=8698] ppid=8696 vsize=310164 CPUtime=295.75 cores=0-7
/proc/8698/stat : 8698 (python) S 8696 8698 8616 0 -1 4202496 16028 24560 1 0 67 10 29368 130 17 0 1 0 5052540 317607936 7293 33554432000 4194304 5683644 140736119339360 18446744073709551615 218892395327 0 0 16781312 2 18446744071562232103 0 0 17 3 0 0 0
/proc/8698/statm: 77541 7293 1891 364 0 13438 0
[pid=8727] ppid=8698 vsize=351140 CPUtime=0.18 cores=0-7
/proc/8727/stat : 8727 (python) S 8698 8698 8616 0 -1 4202560 998 0 0 0 10 8 0 0 15 0 1 0 5052629 359567360 5795 33554432000 4194304 5683644 140736119339360 18446744073709551615 218880585286 0 0 16781312 514 17740343041530495234 0 0 17 6 0 0 0
/proc/8727/statm: 87785 5795 377 364 0 23682 0
[pid=8729] ppid=8727 vsize=12460 CPUtime=53.24 cores=0-7
/proc/8729/stat : 8729 (march_hi) R 8727 8729 8729 0 -1 4202496 2651 0 0 0 5324 0 0 0 25 0 1 0 5052630 12759040 2380 33554432000 4194304 4955518 140735601733456 18446744073709551615 4224615 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/8729/statm: 3115 2380 104 186 0 2928 0
Current children cumulated CPU time (s) 349.17
Current children cumulated vsize (KiB) 673764

[startup+86.3008 s]
/proc/loadavg: 7.22 8.70 9.36 5/293 8736
/proc/meminfo: memFree=17375612/32950928 swapFree=67111528/67111528
[pid=8698] ppid=8696 vsize=310164 CPUtime=295.75 cores=0-7
/proc/8698/stat : 8698 (python) S 8696 8698 8616 0 -1 4202496 16028 24560 1 0 67 10 29368 130 17 0 1 0 5052540 317607936 7293 33554432000 4194304 5683644 140736119339360 18446744073709551615 218892395327 0 0 16781312 2 18446744071562232103 0 0 17 3 0 0 0
/proc/8698/statm: 77541 7293 1891 364 0 13438 0
[pid=8727] ppid=8698 vsize=351140 CPUtime=0.18 cores=0-7
/proc/8727/stat : 8727 (python) S 8698 8698 8616 0 -1 4202560 998 0 0 0 10 8 0 0 15 0 1 0 5052629 359567360 5795 33554432000 4194304 5683644 140736119339360 18446744073709551615 218880585286 0 0 16781312 514 17740343041530495234 0 0 17 6 0 0 0
/proc/8727/statm: 87785 5795 377 364 0 23682 0
[pid=8729] ppid=8727 vsize=12460 CPUtime=56.44 cores=0-7
/proc/8729/stat : 8729 (march_hi) R 8727 8729 8729 0 -1 4202496 2755 0 0 0 5644 0 0 0 25 0 1 0 5052630 12759040 2484 33554432000 4194304 4955518 140735601733456 18446744073709551615 4245468 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/8729/statm: 3115 2484 104 186 0 2928 0
Current children cumulated CPU time (s) 352.37
Current children cumulated vsize (KiB) 673764

[startup+87.9005 s]
/proc/loadavg: 6.96 8.62 9.33 5/293 8736
/proc/meminfo: memFree=17375116/32950928 swapFree=67111528/67111528
[pid=8698] ppid=8696 vsize=310164 CPUtime=295.75 cores=0-7
/proc/8698/stat : 8698 (python) S 8696 8698 8616 0 -1 4202496 16028 24560 1 0 67 10 29368 130 17 0 1 0 5052540 317607936 7293 33554432000 4194304 5683644 140736119339360 18446744073709551615 218892395327 0 0 16781312 2 18446744071562232103 0 0 17 3 0 0 0
/proc/8698/statm: 77541 7293 1891 364 0 13438 0
[pid=8727] ppid=8698 vsize=351140 CPUtime=0.19 cores=0-7
/proc/8727/stat : 8727 (python) S 8698 8698 8616 0 -1 4202560 1001 0 0 0 10 9 0 0 15 0 1 0 5052629 359567360 5795 33554432000 4194304 5683644 140736119339360 18446744073709551615 218880585286 0 0 16781312 514 7370492633912672514 0 0 17 6 0 0 0
/proc/8727/statm: 87785 5795 377 364 0 23682 0
[pid=8729] ppid=8727 vsize=12460 CPUtime=58.05 cores=0-7
/proc/8729/stat : 8729 (march_hi) R 8727 8729 8729 0 -1 4202496 2811 0 0 0 5805 0 0 0 25 0 1 0 5052630 12759040 2540 33554432000 4194304 4955518 140735601733456 18446744073709551615 4224648 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/8729/statm: 3115 2540 104 186 0 2928 0
Current children cumulated CPU time (s) 353.99
Current children cumulated vsize (KiB) 673764

[startup+89.5012 s]
/proc/loadavg: 6.96 8.62 9.33 5/293 8737
/proc/meminfo: memFree=17374988/32950928 swapFree=67111528/67111528
[pid=8698] ppid=8696 vsize=310164 CPUtime=295.75 cores=0-7
/proc/8698/stat : 8698 (python) S 8696 8698 8616 0 -1 4202496 16028 24560 1 0 67 10 29368 130 17 0 1 0 5052540 317607936 7293 33554432000 4194304 5683644 140736119339360 18446744073709551615 218892395327 0 0 16781312 2 18446744071562232103 0 0 17 3 0 0 0
/proc/8698/statm: 77541 7293 1891 364 0 13438 0
[pid=8727] ppid=8698 vsize=351140 CPUtime=0.19 cores=0-7
/proc/8727/stat : 8727 (python) S 8698 8698 8616 0 -1 4202560 1001 0 0 0 10 9 0 0 15 0 1 0 5052629 359567360 5795 33554432000 4194304 5683644 140736119339360 18446744073709551615 218880585286 0 0 16781312 514 7370492633912672514 0 0 17 6 0 0 0
/proc/8727/statm: 87785 5795 377 364 0 23682 0
[pid=8729] ppid=8727 vsize=12460 CPUtime=59.64 cores=0-7
/proc/8729/stat : 8729 (march_hi) R 8727 8729 8729 0 -1 4202496 2869 0 0 0 5964 0 0 0 25 0 1 0 5052630 12759040 2598 33554432000 4194304 4955518 140735601733456 18446744073709551615 4238469 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/8729/statm: 3115 2598 104 186 0 2928 0
Current children cumulated CPU time (s) 355.58
Current children cumulated vsize (KiB) 673764

[startup+89.9011 s]
/proc/loadavg: 6.96 8.62 9.33 5/293 8737
/proc/meminfo: memFree=17374988/32950928 swapFree=67111528/67111528
[pid=8698] ppid=8696 vsize=310164 CPUtime=295.75 cores=0-7
/proc/8698/stat : 8698 (python) S 8696 8698 8616 0 -1 4202496 16028 24560 1 0 67 10 29368 130 17 0 1 0 5052540 317607936 7293 33554432000 4194304 5683644 140736119339360 18446744073709551615 218892395327 0 0 16781312 2 18446744071562232103 0 0 17 3 0 0 0
/proc/8698/statm: 77541 7293 1891 364 0 13438 0
[pid=8727] ppid=8698 vsize=351140 CPUtime=0.19 cores=0-7
/proc/8727/stat : 8727 (python) S 8698 8698 8616 0 -1 4202560 1001 0 0 0 10 9 0 0 15 0 1 0 5052629 359567360 5795 33554432000 4194304 5683644 140736119339360 18446744073709551615 218880585286 0 0 16781312 514 7370492633912672514 0 0 17 6 0 0 0
/proc/8727/statm: 87785 5795 377 364 0 23682 0
[pid=8729] ppid=8727 vsize=12460 CPUtime=60.04 cores=0-7
/proc/8729/stat : 8729 (march_hi) R 8727 8729 8729 0 -1 4202496 2883 0 0 0 6004 0 0 0 25 0 1 0 5052630 12759040 2612 33554432000 4194304 4955518 140735601733456 18446744073709551615 4209688 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/8729/statm: 3115 2612 104 186 0 2928 0
Current children cumulated CPU time (s) 355.98
Current children cumulated vsize (KiB) 673764

[startup+90.3011 s]
/proc/loadavg: 6.96 8.62 9.33 5/293 8737
/proc/meminfo: memFree=17374616/32950928 swapFree=67111528/67111528
[pid=8698] ppid=8696 vsize=310164 CPUtime=295.75 cores=0-7
/proc/8698/stat : 8698 (python) S 8696 8698 8616 0 -1 4202496 16028 24560 1 0 67 10 29368 130 17 0 1 0 5052540 317607936 7293 33554432000 4194304 5683644 140736119339360 18446744073709551615 218892395327 0 0 16781312 2 18446744071562232103 0 0 17 3 0 0 0
/proc/8698/statm: 77541 7293 1891 364 0 13438 0
[pid=8727] ppid=8698 vsize=351140 CPUtime=0.19 cores=0-7
/proc/8727/stat : 8727 (python) S 8698 8698 8616 0 -1 4202560 1001 0 0 0 10 9 0 0 15 0 1 0 5052629 359567360 5795 33554432000 4194304 5683644 140736119339360 18446744073709551615 218880585286 0 0 16781312 514 7370492633912672514 0 0 17 6 0 0 0
/proc/8727/statm: 87785 5795 377 364 0 23682 0
[pid=8729] ppid=8727 vsize=12460 CPUtime=60.44 cores=0-7
/proc/8729/stat : 8729 (march_hi) R 8727 8729 8729 0 -1 4202496 2897 0 0 0 6044 0 0 0 25 0 1 0 5052630 12759040 2626 33554432000 4194304 4955518 140735601733456 18446744073709551615 4209664 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/8729/statm: 3115 2626 104 186 0 2928 0
Current children cumulated CPU time (s) 356.38
Current children cumulated vsize (KiB) 673764

[startup+90.401 s]
/proc/loadavg: 6.96 8.62 9.33 5/293 8737
/proc/meminfo: memFree=17374616/32950928 swapFree=67111528/67111528
[pid=8698] ppid=8696 vsize=310164 CPUtime=295.75 cores=0-7
/proc/8698/stat : 8698 (python) S 8696 8698 8616 0 -1 4202496 16028 24560 1 0 67 10 29368 130 17 0 1 0 5052540 317607936 7293 33554432000 4194304 5683644 140736119339360 18446744073709551615 218892395327 0 0 16781312 2 18446744071562232103 0 0 17 3 0 0 0
/proc/8698/statm: 77541 7293 1891 364 0 13438 0
[pid=8727] ppid=8698 vsize=351140 CPUtime=0.19 cores=0-7
/proc/8727/stat : 8727 (python) S 8698 8698 8616 0 -1 4202560 1001 0 0 0 10 9 0 0 15 0 1 0 5052629 359567360 5795 33554432000 4194304 5683644 140736119339360 18446744073709551615 218880585286 0 0 16781312 514 7370492633912672514 0 0 17 6 0 0 0
/proc/8727/statm: 87785 5795 377 364 0 23682 0
[pid=8729] ppid=8727 vsize=12460 CPUtime=60.54 cores=0-7
/proc/8729/stat : 8729 (march_hi) R 8727 8729 8729 0 -1 4202496 2900 0 0 0 6054 0 0 0 25 0 1 0 5052630 12759040 2629 33554432000 4194304 4955518 140735601733456 18446744073709551615 4263698 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/8729/statm: 3115 2629 104 186 0 2928 0
Current children cumulated CPU time (s) 356.48
Current children cumulated vsize (KiB) 673764

Child status: 1
Real time (s): 90.4899
CPU time (s): 356.61
CPU user time (s): 355.099
CPU system time (s): 1.51077
CPU usage (%): 394.088
Max. virtual memory (cumulated for all children) (KiB): 2302668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 355.099
system time used= 1.51077
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48961
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= 2712
involuntary context switches= 3532

runsolver used 0.252961 second user time and 0.580911 second system time

The end

Launcher Data 

Begin job on node112 at 2011-05-03 00:13:51
IDJOB=3322102
IDBENCH=82880
IDSOLVER=1712
FILE ID=node112/3322102-1304374431
RUNJOBID= node112-1304374430-8630
PBS_JOBID= 13181779
Free space on /tmp= 72380 MiB

SOLVER NAME= borg-sat 11.03.02-random
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v550-c2343-S960198064-030.SATISFIABLE.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-3322102-1304374431/watcher-3322102-1304374431 -o /tmp/evaluation-result-3322102-1304374431/solver-3322102-1304374431 -C 40000 -W 5100 -M 31000  python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3322102-1304374431.cnf -seed 1563762038 -budget 40000 -cores 8

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

MD5SUM BENCH= 06e5d4421198459b1bb719e60182593d
RANDOM SEED=1563762038

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:      17409768 kB
Buffers:         88112 kB
Cached:        1382568 kB
SwapCached:          0 kB
Active:       14259820 kB
Inactive:      1113452 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      17409768 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           33024 kB
Writeback:           0 kB
AnonPages:    13903136 kB
Mapped:          21520 kB
Slab:            58168 kB
PageTables:      43136 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 35121792 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= 72348 MiB
End job on node112 at 2011-05-03 00:15:22