Trace number 3378532

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
borg-sat 11.03.02-par-random (fixed)UNSAT 36.5054 9.60753

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v350-c1491-S1733949620-064.UNKNOWN.cnf
MD5SUM60552051d2d5a0c0eefaeedea18e63df
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark7.9058
Satisfiable
(Un)Satisfiability was proved
Number of variables350
Number of clauses1491
Sum of the clauses size4473
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 31491
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.29/0.46	c INFO: loaded portfolio from HOME/etc/borg-mix+class.random.pickle
0.29/0.46	c INFO: solving HOME/instance-3378532-1305466045.cnf
0.29/0.46	c INFO: computing task features
0.29/0.47	c INFO: computed variable-clause graph statistics
0.29/0.47	c INFO: computed clause balance statistics
0.38/0.50	c INFO: computed variable balance statistics
0.38/0.52	c INFO: computed small-clause counts
0.38/0.52	c INFO: computed Horn-clause counts
0.38/0.52	c INFO: computed variable graph statistics
0.38/0.52	c INFO: collected features for HOME/instance-3378532-1305466045.cnf in 0.06 s
0.38/0.53	c INFO: running TNM@0 for 97 with 1199 remaining (b = 0.56)
0.38/0.54	c INFO: running march_hi@0 for 388 with 1199 remaining (b = 0.41)
0.38/0.57	c INFO: running march_hi@0 for 679 with 1199 remaining (b = 0.46)
0.38/0.57	c INFO: running march_hi@0 for 388 with 1199 remaining (b = 0.33)
36.06/9.58	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3378532-1305466045/watcher-3378532-1305466045 -o /tmp/evaluation-result-3378532-1305466045/solver-3378532-1305466045 -C 4800 -W 1300 -M 15500 python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3378532-1305466045.cnf -seed 326647503 -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: 8.27 8.22 8.03 5/404 23275
/proc/meminfo: memFree=18902440/32951124 swapFree=57331800/67111528
[pid=23275] ppid=23273 vsize=16236 CPUtime=0 cores=0,2,4,6
/proc/23275/stat : 23275 (python) R 23273 23275 21694 0 -1 4202496 1039 0 0 0 0 0 0 0 25 0 1 0 658206913 16625664 911 33554432000 4194304 5683644 140735560024816 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/23275/statm: 4059 911 380 364 0 546 0

[startup+0.0452089 s]
/proc/loadavg: 8.27 8.22 8.03 5/404 23275
/proc/meminfo: memFree=18902440/32951124 swapFree=57331800/67111528
[pid=23275] ppid=23273 vsize=29784 CPUtime=0.03 cores=0,2,4,6
/proc/23275/stat : 23275 (python) R 23273 23275 21694 0 -1 4202496 1401 0 0 0 3 0 0 0 25 0 1 0 658206913 30498816 1245 33554432000 4194304 5683644 140735560024816 18446744073709551615 5212345 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/23275/statm: 7446 1245 443 364 0 816 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 29784

[startup+0.100216 s]
/proc/loadavg: 8.27 8.22 8.03 5/404 23275
/proc/meminfo: memFree=18902440/32951124 swapFree=57331800/67111528
[pid=23275] ppid=23273 vsize=104224 CPUtime=0.06 cores=0,2,4,6
/proc/23275/stat : 23275 (python) R 23273 23275 21694 0 -1 4202496 3068 0 0 0 5 1 0 0 25 0 1 0 658206913 106725376 2749 33554432000 4194304 5683644 140735560024816 18446744073709551615 212436015104 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/23275/statm: 26056 2751 847 364 0 1804 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 104224

[startup+0.300158 s]
/proc/loadavg: 8.27 8.22 8.03 5/404 23275
/proc/meminfo: memFree=18902440/32951124 swapFree=57331800/67111528
[pid=23275] ppid=23273 vsize=187736 CPUtime=0.21 cores=0,2,4,6
/proc/23275/stat : 23275 (python) R 23273 23275 21694 0 -1 4202496 6799 933 1 0 16 5 0 0 17 0 1 0 658206913 192241664 4864 33554432000 4194304 5683644 140735560024816 18446744073709551615 212431047536 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/23275/statm: 46934 4866 1385 364 0 3722 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 187736

[startup+0.701076 s]
/proc/loadavg: 8.27 8.22 8.03 5/404 23275
/proc/meminfo: memFree=18902440/32951124 swapFree=57331800/67111528
[pid=23275] ppid=23273 vsize=385204 CPUtime=0.44 cores=0,2,4,6
/proc/23275/stat : 23275 (python) S 23273 23275 21694 0 -1 4202496 12126 933 1 0 36 8 0 0 21 0 5 0 658206913 394448896 7279 33554432000 4194304 5683644 140735560024816 18446744073709551615 212447843787 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23275/statm: 96301 7279 1873 364 0 32210 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 385204

[startup+1.50093 s]
/proc/loadavg: 8.27 8.22 8.03 9/417 23292
/proc/meminfo: memFree=18863512/32951124 swapFree=57331800/67111528
[pid=23275] ppid=23273 vsize=385204 CPUtime=0.44 cores=0,2,4,6
/proc/23275/stat : 23275 (python) S 23273 23275 21694 0 -1 4202496 12126 933 1 0 36 8 0 0 21 0 5 0 658206913 394448896 7279 33554432000 4194304 5683644 140735560024816 18446744073709551615 212447843787 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23275/statm: 96301 7279 1873 364 0 32210 0
[pid=23281] ppid=23275 vsize=278452 CPUtime=0 cores=0,2,4,6
/proc/23281/stat : 23281 (python) S 23275 23275 21694 0 -1 4202560 710 0 0 0 0 0 0 0 18 0 1 0 658206967 285134848 5530 33554432000 4194304 5683644 140735560024816 18446744073709551615 212436037135 0 0 16781312 514 17442591169560182783 0 0 17 4 0 0 0
/proc/23281/statm: 69613 5530 347 364 0 5531 0
[pid=23283] ppid=23281 vsize=454892 CPUtime=0.96 cores=0,2,4,6
/proc/23283/stat : 23283 (TNM) R 23281 23283 23283 0 -1 4202496 413 0 0 0 96 0 0 0 21 0 1 0 658206967 465809408 150 33554432000 134512640 135008748 4290896800 18446744073709551615 134527477 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/23283/statm: 113723 150 46 122 0 112623 0
[pid=23284] ppid=23275 vsize=289284 CPUtime=0 cores=0,2,4,6
/proc/23284/stat : 23284 (python) S 23275 23275 21694 0 -1 4202560 745 0 0 0 0 0 0 0 15 0 1 0 658206967 296226816 5679 33554432000 4194304 5683644 140735560024816 18446744073709551615 212436037190 0 0 16781312 514 1512782868579844353 0 0 17 2 0 0 0
/proc/23284/statm: 72321 5679 348 364 0 8236 0
[pid=23286] ppid=23284 vsize=1808 CPUtime=0.95 cores=0,2,4,6
/proc/23286/stat : 23286 (march_hi) R 23284 23286 23286 0 -1 4202496 552 0 0 0 95 0 0 0 25 0 1 0 658206968 1851392 290 33554432000 4194304 4955518 140735590363968 18446744073709551615 4413718 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/23286/statm: 452 290 104 186 0 265 0
[pid=23287] ppid=23275 vsize=299168 CPUtime=0 cores=0,2,4,6
/proc/23287/stat : 23287 (python) S 23275 23275 21694 0 -1 4202560 754 0 0 0 0 0 0 0 15 0 1 0 658206968 306348032 5573 33554432000 4194304 5683644 140735560024816 18446744073709551615 212436037190 0 0 16781312 514 7821529900107399425 0 0 17 6 0 0 0
/proc/23287/statm: 74792 5573 348 364 0 10704 0
[pid=23289] ppid=23287 vsize=1808 CPUtime=0.92 cores=0,2,4,6
/proc/23289/stat : 23289 (march_hi) R 23287 23289 23289 0 -1 4202496 549 0 0 0 92 0 0 0 23 0 1 0 658206969 1851392 290 33554432000 4194304 4955518 140735304931344 18446744073709551615 4238345 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/23289/statm: 452 290 104 186 0 265 0
[pid=23290] ppid=23275 vsize=374960 CPUtime=0 cores=0,2,4,6
/proc/23290/stat : 23290 (python) S 23275 23275 21694 0 -1 4202560 723 0 0 0 0 0 0 0 15 0 1 0 658206969 383959040 5750 33554432000 4194304 5683644 140735560024816 18446744073709551615 212436037190 0 0 16781312 514 8006274791608647938 0 0 17 4 0 0 0
/proc/23290/statm: 93740 5750 348 364 0 29649 0
[pid=23292] ppid=23290 vsize=1808 CPUtime=0.93 cores=0,2,4,6
/proc/23292/stat : 23292 (march_hi) R 23290 23292 23292 0 -1 4202496 541 0 0 0 93 0 0 0 25 0 1 0 658206970 1851392 290 33554432000 4194304 4955518 140735123440352 18446744073709551615 4261424 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/23292/statm: 452 290 104 186 0 265 0
[pid=23275/tid=23282] ppid=23273 vsize=385204 CPUtime=0 cores=0,2,4,6
/proc/23275/task/23282/stat : 23282 (python) S 23273 23275 21694 0 -1 4202560 26 933 0 0 0 0 0 0 19 0 5 0 658206967 394448896 7279 33554432000 4194304 5683644 140735560024816 18446744073709551615 212447840689 0 0 16781312 2 18446604448574381120 0 0 -1 4 0 0 0
[pid=23275/tid=23285] ppid=23273 vsize=385204 CPUtime=0 cores=0,2,4,6
/proc/23275/task/23285/stat : 23285 (python) S 23273 23275 21694 0 -1 4202560 25 933 0 0 0 0 0 0 21 0 5 0 658206968 394448896 7279 33554432000 4194304 5683644 140735560024816 18446744073709551615 212447840689 0 0 16781312 2 18446604448574381120 0 0 -1 2 0 0 0
[pid=23275/tid=23288] ppid=23273 vsize=385204 CPUtime=0 cores=0,2,4,6
/proc/23275/task/23288/stat : 23288 (python) S 23273 23275 21694 0 -1 4202560 27 933 0 0 0 0 0 0 20 0 5 0 658206969 394448896 7279 33554432000 4194304 5683644 140735560024816 18446744073709551615 212447840689 0 0 16781312 2 18446604448574381120 0 0 -1 4 0 0 0
[pid=23275/tid=23291] ppid=23273 vsize=385204 CPUtime=0 cores=0,2,4,6
/proc/23275/task/23291/stat : 23291 (python) S 23273 23275 21694 0 -1 4202560 57 933 0 0 0 0 0 0 22 0 5 0 658206970 394448896 7279 33554432000 4194304 5683644 140735560024816 18446744073709551615 212447840689 0 0 16781312 2 18446604448574381120 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.2
Current children cumulated vsize (KiB) 2087384

[startup+3.10062 s]
/proc/loadavg: 8.27 8.22 8.03 9/417 23292
/proc/meminfo: memFree=18861404/32951124 swapFree=57331800/67111528
[pid=23275] ppid=23273 vsize=385204 CPUtime=0.44 cores=0,2,4,6
/proc/23275/stat : 23275 (python) S 23273 23275 21694 0 -1 4202496 12126 933 1 0 36 8 0 0 21 0 5 0 658206913 394448896 7279 33554432000 4194304 5683644 140735560024816 18446744073709551615 212447843787 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23275/statm: 96301 7279 1873 364 0 32210 0
[pid=23281] ppid=23275 vsize=278452 CPUtime=0 cores=0,2,4,6
/proc/23281/stat : 23281 (python) S 23275 23275 21694 0 -1 4202560 734 0 0 0 0 0 0 0 18 0 1 0 658206967 285134848 5537 33554432000 4194304 5683644 140735560024816 18446744073709551615 212436037135 0 0 16781312 514 17442591169560150276 0 0 17 4 0 0 0
/proc/23281/statm: 69613 5537 354 364 0 5531 0
[pid=23283] ppid=23281 vsize=454892 CPUtime=2.56 cores=0,2,4,6
/proc/23283/stat : 23283 (TNM) R 23281 23283 23283 0 -1 4202496 413 0 0 0 256 0 0 0 25 0 1 0 658206967 465809408 150 33554432000 134512640 135008748 4290896800 18446744073709551615 134527146 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/23283/statm: 113723 150 46 122 0 112623 0
[pid=23284] ppid=23275 vsize=289284 CPUtime=0 cores=0,2,4,6
/proc/23284/stat : 23284 (python) S 23275 23275 21694 0 -1 4202560 747 0 0 0 0 0 0 0 15 0 1 0 658206967 296226816 5679 33554432000 4194304 5683644 140735560024816 18446744073709551615 212436037190 0 0 16781312 514 1512782868579844353 0 0 17 2 0 0 0
/proc/23284/statm: 72321 5679 348 364 0 8236 0
[pid=23286] ppid=23284 vsize=1948 CPUtime=2.54 cores=0,2,4,6
/proc/23286/stat : 23286 (march_hi) R 23284 23286 23286 0 -1 4202496 572 0 0 0 254 0 0 0 25 0 1 0 658206968 1994752 310 33554432000 4194304 4955518 140735590363968 18446744073709551615 4227824 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/23286/statm: 487 310 104 186 0 300 0
[pid=23287] ppid=23275 vsize=299168 CPUtime=0 cores=0,2,4,6
/proc/23287/stat : 23287 (python) S 23275 23275 21694 0 -1 4202560 760 0 0 0 0 0 0 0 15 0 1 0 658206968 306348032 5573 33554432000 4194304 5683644 140735560024816 18446744073709551615 212436037190 0 0 16781312 514 7821529900107399425 0 0 17 6 0 0 0
/proc/23287/statm: 74792 5573 348 364 0 10704 0
[pid=23289] ppid=23287 vsize=1948 CPUtime=2.51 cores=0,2,4,6
/proc/23289/stat : 23289 (march_hi) R 23287 23289 23289 0 -1 4202496 569 0 0 0 251 0 0 0 25 0 1 0 658206969 1994752 310 33554432000 4194304 4955518 140735304931344 18446744073709551615 4209717 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/23289/statm: 487 310 104 186 0 300 0
[pid=23290] ppid=23275 vsize=374960 CPUtime=0 cores=0,2,4,6
/proc/23290/stat : 23290 (python) S 23275 23275 21694 0 -1 4202560 725 0 0 0 0 0 0 0 15 0 1 0 658206969 383959040 5750 33554432000 4194304 5683644 140735560024816 18446744073709551615 212436037190 0 0 16781312 514 6346451488562184450 0 0 17 4 0 0 0
/proc/23290/statm: 93740 5750 348 364 0 29649 0
[pid=23292] ppid=23290 vsize=1948 CPUtime=2.52 cores=0,2,4,6
/proc/23292/stat : 23292 (march_hi) R 23290 23292 23292 0 -1 4202496 561 0 0 0 252 0 0 0 25 0 1 0 658206970 1994752 310 33554432000 4194304 4955518 140735123440352 18446744073709551615 4227565 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/23292/statm: 487 310 104 186 0 300 0
[pid=23275/tid=23282] ppid=23273 vsize=385204 CPUtime=0 cores=0,2,4,6
/proc/23275/task/23282/stat : 23282 (python) S 23273 23275 21694 0 -1 4202560 26 933 0 0 0 0 0 0 19 0 5 0 658206967 394448896 7279 33554432000 4194304 5683644 140735560024816 18446744073709551615 212447840689 0 0 16781312 2 18446604448574381120 0 0 -1 4 0 0 0
[pid=23275/tid=23285] ppid=23273 vsize=385204 CPUtime=0 cores=0,2,4,6
/proc/23275/task/23285/stat : 23285 (python) S 23273 23275 21694 0 -1 4202560 25 933 0 0 0 0 0 0 21 0 5 0 658206968 394448896 7279 33554432000 4194304 5683644 140735560024816 18446744073709551615 212447840689 0 0 16781312 2 18446604448574381120 0 0 -1 2 0 0 0
[pid=23275/tid=23288] ppid=23273 vsize=385204 CPUtime=0 cores=0,2,4,6
/proc/23275/task/23288/stat : 23288 (python) S 23273 23275 21694 0 -1 4202560 27 933 0 0 0 0 0 0 20 0 5 0 658206969 394448896 7279 33554432000 4194304 5683644 140735560024816 18446744073709551615 212447840689 0 0 16781312 2 18446604448574381120 0 0 -1 4 0 0 0
[pid=23275/tid=23291] ppid=23273 vsize=385204 CPUtime=0 cores=0,2,4,6
/proc/23275/task/23291/stat : 23291 (python) S 23273 23275 21694 0 -1 4202560 57 933 0 0 0 0 0 0 22 0 5 0 658206970 394448896 7279 33554432000 4194304 5683644 140735560024816 18446744073709551615 212447840689 0 0 16781312 2 18446604448574381120 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 10.57
Current children cumulated vsize (KiB) 2087804

[startup+6.30101 s]
/proc/loadavg: 8.33 8.24 8.03 9/417 23292
/proc/meminfo: memFree=18858556/32951124 swapFree=57331800/67111528
[pid=23275] ppid=23273 vsize=385204 CPUtime=0.44 cores=0,2,4,6
/proc/23275/stat : 23275 (python) S 23273 23275 21694 0 -1 4202496 12126 933 1 0 36 8 0 0 21 0 5 0 658206913 394448896 7279 33554432000 4194304 5683644 140735560024816 18446744073709551615 212447843787 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23275/statm: 96301 7279 1873 364 0 32210 0
[pid=23281] ppid=23275 vsize=278452 CPUtime=0.01 cores=0,2,4,6
/proc/23281/stat : 23281 (python) S 23275 23275 21694 0 -1 4202560 897 0 0 0 1 0 0 0 18 0 1 0 658206967 285134848 5560 33554432000 4194304 5683644 140735560024816 18446744073709551615 212436037135 0 0 16781312 514 17442591169560150276 0 0 17 4 0 0 0
/proc/23281/statm: 69613 5560 377 364 0 5531 0
[pid=23283] ppid=23281 vsize=454892 CPUtime=5.76 cores=0,2,4,6
/proc/23283/stat : 23283 (TNM) R 23281 23283 23283 0 -1 4202496 413 0 0 0 576 0 0 0 25 0 1 0 658206967 465809408 150 33554432000 134512640 135008748 4290896800 18446744073709551615 134527111 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/23283/statm: 113723 150 46 122 0 112623 0
[pid=23284] ppid=23275 vsize=289284 CPUtime=0.01 cores=0,2,4,6
/proc/23284/stat : 23284 (python) S 23275 23275 21694 0 -1 4202560 924 0 0 0 1 0 0 0 15 0 1 0 658206967 296226816 5702 33554432000 4194304 5683644 140735560024816 18446744073709551615 212436037190 0 0 16781312 514 1512782868579844353 0 0 17 2 0 0 0
/proc/23284/statm: 72321 5702 371 364 0 8236 0
[pid=23286] ppid=23284 vsize=2152 CPUtime=5.72 cores=0,2,4,6
/proc/23286/stat : 23286 (march_hi) R 23284 23286 23286 0 -1 4202496 619 0 0 0 572 0 0 0 25 0 1 0 658206968 2203648 357 33554432000 4194304 4955518 140735590363968 18446744073709551615 4238696 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/23286/statm: 538 357 104 186 0 351 0
[pid=23287] ppid=23275 vsize=299168 CPUtime=0.02 cores=0,2,4,6
/proc/23287/stat : 23287 (python) S 23275 23275 21694 0 -1 4202560 911 0 0 0 1 1 0 0 15 0 1 0 658206968 306348032 5596 33554432000 4194304 5683644 140735560024816 18446744073709551615 212436037190 0 0 16781312 514 7821529900107399425 0 0 17 6 0 0 0
/proc/23287/statm: 74792 5596 371 364 0 10704 0
[pid=23289] ppid=23287 vsize=2152 CPUtime=5.65 cores=0,2,4,6
/proc/23289/stat : 23289 (march_hi) R 23287 23289 23289 0 -1 4202496 615 0 0 0 565 0 0 0 25 0 1 0 658206969 2203648 356 33554432000 4194304 4955518 140735304931344 18446744073709551615 4209688 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/23289/statm: 538 356 104 186 0 351 0
[pid=23290] ppid=23275 vsize=374960 CPUtime=0.01 cores=0,2,4,6
/proc/23290/stat : 23290 (python) S 23275 23275 21694 0 -1 4202560 805 0 0 0 1 0 0 0 15 0 1 0 658206969 383959040 5773 33554432000 4194304 5683644 140735560024816 18446744073709551615 212436037190 0 0 16781312 514 6346451488562184450 0 0 17 4 0 0 0
/proc/23290/statm: 93740 5773 371 364 0 29649 0
[pid=23292] ppid=23290 vsize=2152 CPUtime=5.68 cores=0,2,4,6
/proc/23292/stat : 23292 (march_hi) R 23290 23292 23292 0 -1 4202496 608 0 0 0 568 0 0 0 25 0 1 0 658206970 2203648 357 33554432000 4194304 4955518 140735123440352 18446744073709551615 4209695 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/23292/statm: 538 357 104 186 0 351 0
[pid=23275/tid=23282] ppid=23273 vsize=385204 CPUtime=0 cores=0,2,4,6
/proc/23275/task/23282/stat : 23282 (python) S 23273 23275 21694 0 -1 4202560 26 933 0 0 0 0 0 0 19 0 5 0 658206967 394448896 7279 33554432000 4194304 5683644 140735560024816 18446744073709551615 212447840689 0 0 16781312 2 18446604448574381120 0 0 -1 4 0 0 0
[pid=23275/tid=23285] ppid=23273 vsize=385204 CPUtime=0 cores=0,2,4,6
/proc/23275/task/23285/stat : 23285 (python) S 23273 23275 21694 0 -1 4202560 25 933 0 0 0 0 0 0 21 0 5 0 658206968 394448896 7279 33554432000 4194304 5683644 140735560024816 18446744073709551615 212447840689 0 0 16781312 2 18446604448574381120 0 0 -1 2 0 0 0
[pid=23275/tid=23288] ppid=23273 vsize=385204 CPUtime=0 cores=0,2,4,6
/proc/23275/task/23288/stat : 23288 (python) S 23273 23275 21694 0 -1 4202560 27 933 0 0 0 0 0 0 20 0 5 0 658206969 394448896 7279 33554432000 4194304 5683644 140735560024816 18446744073709551615 212447840689 0 0 16781312 2 18446604448574381120 0 0 -1 4 0 0 0
[pid=23275/tid=23291] ppid=23273 vsize=385204 CPUtime=0 cores=0,2,4,6
/proc/23275/task/23291/stat : 23291 (python) S 23273 23275 21694 0 -1 4202560 57 933 0 0 0 0 0 0 22 0 5 0 658206970 394448896 7279 33554432000 4194304 5683644 140735560024816 18446744073709551615 212447840689 0 0 16781312 2 18446604448574381120 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 23.3
Current children cumulated vsize (KiB) 2088416

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

[startup+7.90071 s]
/proc/loadavg: 8.31 8.23 8.03 9/417 23292
/proc/meminfo: memFree=18857688/32951124 swapFree=57331800/67111528
[pid=23275] ppid=23273 vsize=385204 CPUtime=0.44 cores=0,2,4,6
/proc/23275/stat : 23275 (python) S 23273 23275 21694 0 -1 4202496 12126 933 1 0 36 8 0 0 21 0 5 0 658206913 394448896 7279 33554432000 4194304 5683644 140735560024816 18446744073709551615 212447843787 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23275/statm: 96301 7279 1873 364 0 32210 0
[pid=23281] ppid=23275 vsize=278452 CPUtime=0.01 cores=0,2,4,6
/proc/23281/stat : 23281 (python) S 23275 23275 21694 0 -1 4202560 897 0 0 0 1 0 0 0 18 0 1 0 658206967 285134848 5560 33554432000 4194304 5683644 140735560024816 18446744073709551615 212436037135 0 0 16781312 514 17442591169560150276 0 0 17 4 0 0 0
/proc/23281/statm: 69613 5560 377 364 0 5531 0
[pid=23283] ppid=23281 vsize=454892 CPUtime=7.36 cores=0,2,4,6
/proc/23283/stat : 23283 (TNM) R 23281 23283 23283 0 -1 4202496 413 0 0 0 736 0 0 0 25 0 1 0 658206967 465809408 150 33554432000 134512640 135008748 4290896800 18446744073709551615 134529392 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/23283/statm: 113723 150 46 122 0 112623 0
[pid=23284] ppid=23275 vsize=289284 CPUtime=0.02 cores=0,2,4,6
/proc/23284/stat : 23284 (python) S 23275 23275 21694 0 -1 4202560 932 0 0 0 1 1 0 0 15 0 1 0 658206967 296226816 5702 33554432000 4194304 5683644 140735560024816 18446744073709551615 212436037190 0 0 16781312 514 1512782868579844353 0 0 17 2 0 0 0
/proc/23284/statm: 72321 5702 371 364 0 8236 0
[pid=23286] ppid=23284 vsize=2252 CPUtime=7.31 cores=0,2,4,6
/proc/23286/stat : 23286 (march_hi) R 23284 23286 23286 0 -1 4202496 634 0 0 0 731 0 0 0 25 0 1 0 658206968 2306048 372 33554432000 4194304 4955518 140735590363968 18446744073709551615 4224532 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/23286/statm: 563 372 104 186 0 376 0
[pid=23287] ppid=23275 vsize=299168 CPUtime=0.02 cores=0,2,4,6
/proc/23287/stat : 23287 (python) S 23275 23275 21694 0 -1 4202560 913 0 0 0 1 1 0 0 15 0 1 0 658206968 306348032 5596 33554432000 4194304 5683644 140735560024816 18446744073709551615 212436037190 0 0 16781312 514 7821529900107399425 0 0 17 6 0 0 0
/proc/23287/statm: 74792 5596 371 364 0 10704 0
[pid=23289] ppid=23287 vsize=2252 CPUtime=7.21 cores=0,2,4,6
/proc/23289/stat : 23289 (march_hi) R 23287 23289 23289 0 -1 4202496 630 0 0 0 721 0 0 0 25 0 1 0 658206969 2306048 371 33554432000 4194304 4955518 140735304931344 18446744073709551615 4224658 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/23289/statm: 563 371 104 186 0 376 0
[pid=23290] ppid=23275 vsize=374960 CPUtime=0.02 cores=0,2,4,6
/proc/23290/stat : 23290 (python) S 23275 23275 21694 0 -1 4202560 811 0 0 0 2 0 0 0 15 0 1 0 658206969 383959040 5773 33554432000 4194304 5683644 140735560024816 18446744073709551615 212436037190 0 0 16781312 514 5606934012263104770 0 0 17 4 0 0 0
/proc/23290/statm: 93740 5773 371 364 0 29649 0
[pid=23292] ppid=23290 vsize=2252 CPUtime=7.28 cores=0,2,4,6
/proc/23292/stat : 23292 (march_hi) R 23290 23292 23292 0 -1 4202496 623 0 0 0 728 0 0 0 25 0 1 0 658206970 2306048 372 33554432000 4194304 4955518 140735123440352 18446744073709551615 4235379 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/23292/statm: 563 372 104 186 0 376 0
[pid=23275/tid=23282] ppid=23273 vsize=385204 CPUtime=0 cores=0,2,4,6
/proc/23275/task/23282/stat : 23282 (python) S 23273 23275 21694 0 -1 4202560 26 933 0 0 0 0 0 0 19 0 5 0 658206967 394448896 7279 33554432000 4194304 5683644 140735560024816 18446744073709551615 212447840689 0 0 16781312 2 18446604448574381120 0 0 -1 4 0 0 0
[pid=23275/tid=23285] ppid=23273 vsize=385204 CPUtime=0 cores=0,2,4,6
/proc/23275/task/23285/stat : 23285 (python) S 23273 23275 21694 0 -1 4202560 25 933 0 0 0 0 0 0 21 0 5 0 658206968 394448896 7279 33554432000 4194304 5683644 140735560024816 18446744073709551615 212447840689 0 0 16781312 2 18446604448574381120 0 0 -1 2 0 0 0
[pid=23275/tid=23288] ppid=23273 vsize=385204 CPUtime=0 cores=0,2,4,6
/proc/23275/task/23288/stat : 23288 (python) S 23273 23275 21694 0 -1 4202560 27 933 0 0 0 0 0 0 20 0 5 0 658206969 394448896 7279 33554432000 4194304 5683644 140735560024816 18446744073709551615 212447840689 0 0 16781312 2 18446604448574381120 0 0 -1 4 0 0 0
[pid=23275/tid=23291] ppid=23273 vsize=385204 CPUtime=0 cores=0,2,4,6
/proc/23275/task/23291/stat : 23291 (python) S 23273 23275 21694 0 -1 4202560 57 933 0 0 0 0 0 0 22 0 5 0 658206970 394448896 7279 33554432000 4194304 5683644 140735560024816 18446744073709551615 212447840689 0 0 16781312 2 18446604448574381120 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 29.67
Current children cumulated vsize (KiB) 2088716

[startup+8.70056 s]
/proc/loadavg: 8.31 8.23 8.03 13/417 23292
/proc/meminfo: memFree=18859072/32951124 swapFree=57331800/67111528
[pid=23275] ppid=23273 vsize=385204 CPUtime=0.44 cores=0,2,4,6
/proc/23275/stat : 23275 (python) S 23273 23275 21694 0 -1 4202496 12126 933 1 0 36 8 0 0 21 0 5 0 658206913 394448896 7279 33554432000 4194304 5683644 140735560024816 18446744073709551615 212447843787 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23275/statm: 96301 7279 1873 364 0 32210 0
[pid=23281] ppid=23275 vsize=278452 CPUtime=0.01 cores=0,2,4,6
/proc/23281/stat : 23281 (python) R 23275 23275 21694 0 -1 4202560 897 0 0 0 1 0 0 0 18 0 1 0 658206967 285134848 5560 33554432000 4194304 5683644 140735560024816 18446744073709551615 212436037135 0 0 16781312 514 0 0 0 17 4 0 0 0
/proc/23281/statm: 69613 5560 377 364 0 5531 0
[pid=23283] ppid=23281 vsize=454892 CPUtime=8.17 cores=0,2,4,6
/proc/23283/stat : 23283 (TNM) R 23281 23283 23283 0 -1 4202496 413 0 0 0 817 0 0 0 25 0 1 0 658206967 465809408 150 33554432000 134512640 135008748 4290896800 18446744073709551615 134528982 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/23283/statm: 113723 150 46 122 0 112623 0
[pid=23284] ppid=23275 vsize=289284 CPUtime=0.82 cores=0,2,4,6
/proc/23284/stat : 23284 (python) R 23275 23275 21694 0 -1 4202560 933 0 0 0 72 10 0 0 16 0 1 0 658206967 296226816 5702 33554432000 4194304 5683644 140735560024816 18446744073709551615 212447847231 0 0 16781312 514 0 0 0 17 2 0 0 0
/proc/23284/statm: 72321 5702 371 364 0 8236 0
[pid=23286] ppid=23284 vsize=0 CPUtime=7.32 cores=0,2,4,6
/proc/23286/stat : 23286 (march_hi) R 23284 23286 23286 0 -1 4202500 636 0 0 0 732 0 0 0 25 0 1 0 658206968 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/23286/statm: 0 0 0 0 0 0 0
[pid=23287] ppid=23275 vsize=299168 CPUtime=0.67 cores=0,2,4,6
/proc/23287/stat : 23287 (python) R 23275 23275 21694 0 -1 4202560 914 0 0 0 59 8 0 0 16 0 1 0 658206968 306348032 5596 33554432000 4194304 5683644 140735560024816 18446744073709551615 212435377911 0 0 16781312 514 0 0 0 17 6 0 0 0
/proc/23287/statm: 74792 5596 371 364 0 10704 0
[pid=23289] ppid=23287 vsize=0 CPUtime=7.37 cores=0,2,4,6
/proc/23289/stat : 23289 (march_hi) R 23287 23289 23289 0 -1 4202500 633 0 0 0 737 0 0 0 25 0 1 0 658206969 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 0
/proc/23289/statm: 0 0 0 0 0 0 0
[pid=23290] ppid=23275 vsize=374960 CPUtime=0.79 cores=0,2,4,6
/proc/23290/stat : 23290 (python) R 23275 23275 21694 0 -1 4202560 815 0 0 0 69 10 0 0 16 0 1 0 658206969 383959040 5773 33554432000 4194304 5683644 140735560024816 18446744073709551615 212436037190 0 0 16781312 514 0 0 0 17 4 0 0 0
/proc/23290/statm: 93740 5773 371 364 0 29649 0
[pid=23292] ppid=23290 vsize=0 CPUtime=7.32 cores=0,2,4,6
/proc/23292/stat : 23292 (march_hi) R 23290 23292 23292 0 -1 4202500 625 0 0 0 732 0 0 0 25 0 1 0 658206970 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 4 0 0 0
/proc/23292/statm: 0 0 0 0 0 0 0
[pid=23275/tid=23282] ppid=23273 vsize=385204 CPUtime=0 cores=0,2,4,6
/proc/23275/task/23282/stat : 23282 (python) S 23273 23275 21694 0 -1 4202560 26 933 0 0 0 0 0 0 19 0 5 0 658206967 394448896 7279 33554432000 4194304 5683644 140735560024816 18446744073709551615 212447840689 0 0 16781312 2 18446604448574381120 0 0 -1 4 0 0 0
[pid=23275/tid=23285] ppid=23273 vsize=385204 CPUtime=0 cores=0,2,4,6
/proc/23275/task/23285/stat : 23285 (python) S 23273 23275 21694 0 -1 4202560 25 933 0 0 0 0 0 0 21 0 5 0 658206968 394448896 7279 33554432000 4194304 5683644 140735560024816 18446744073709551615 212447840689 0 0 16781312 2 18446604448574381120 0 0 -1 2 0 0 0
[pid=23275/tid=23288] ppid=23273 vsize=385204 CPUtime=0 cores=0,2,4,6
/proc/23275/task/23288/stat : 23288 (python) S 23273 23275 21694 0 -1 4202560 27 933 0 0 0 0 0 0 20 0 5 0 658206969 394448896 7279 33554432000 4194304 5683644 140735560024816 18446744073709551615 212447840689 0 0 16781312 2 18446604448574381120 0 0 -1 4 0 0 0
[pid=23275/tid=23291] ppid=23273 vsize=385204 CPUtime=0 cores=0,2,4,6
/proc/23275/task/23291/stat : 23291 (python) S 23273 23275 21694 0 -1 4202560 57 933 0 0 0 0 0 0 22 0 5 0 658206970 394448896 7279 33554432000 4194304 5683644 140735560024816 18446744073709551615 212447840689 0 0 16781312 2 18446604448574381120 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 32.91
Current children cumulated vsize (KiB) 2081960

[startup+9.10048 s]
/proc/loadavg: 8.31 8.23 8.03 13/417 23292
/proc/meminfo: memFree=18859072/32951124 swapFree=57331800/67111528
[pid=23275] ppid=23273 vsize=385204 CPUtime=0.44 cores=0,2,4,6
/proc/23275/stat : 23275 (python) S 23273 23275 21694 0 -1 4202496 12126 933 1 0 36 8 0 0 21 0 5 0 658206913 394448896 7279 33554432000 4194304 5683644 140735560024816 18446744073709551615 212447843787 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23275/statm: 96301 7279 1873 364 0 32210 0
[pid=23281] ppid=23275 vsize=278452 CPUtime=0.01 cores=0,2,4,6
/proc/23281/stat : 23281 (python) S 23275 23275 21694 0 -1 4202560 897 0 0 0 1 0 0 0 18 0 1 0 658206967 285134848 5560 33554432000 4194304 5683644 140735560024816 18446744073709551615 212436037135 0 0 16781312 514 17442591169560150276 0 0 17 0 0 0 0
/proc/23281/statm: 69613 5560 377 364 0 5531 0
[pid=23283] ppid=23281 vsize=454892 CPUtime=8.56 cores=0,2,4,6
/proc/23283/stat : 23283 (TNM) R 23281 23283 23283 0 -1 4202496 413 0 0 0 856 0 0 0 25 0 1 0 658206967 465809408 150 33554432000 134512640 135008748 4290896800 18446744073709551615 134527524 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/23283/statm: 113723 150 46 122 0 112623 0
[pid=23284] ppid=23275 vsize=289284 CPUtime=1.2 cores=0,2,4,6
/proc/23284/stat : 23284 (python) R 23275 23275 21694 0 -1 4202560 933 0 0 0 105 15 0 0 17 0 1 0 658206967 296226816 5702 33554432000 4194304 5683644 140735560024816 18446744073709551615 212447847231 0 0 16781312 514 0 0 0 17 2 0 0 0
/proc/23284/statm: 72321 5702 371 364 0 8236 0
[pid=23286] ppid=23284 vsize=0 CPUtime=7.32 cores=0,2,4,6
/proc/23286/stat : 23286 (march_hi) R 23284 23286 23286 0 -1 4202500 636 0 0 0 732 0 0 0 25 0 1 0 658206968 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/23286/statm: 0 0 0 0 0 0 0
[pid=23287] ppid=23275 vsize=299168 CPUtime=1.05 cores=0,2,4,6
/proc/23287/stat : 23287 (python) R 23275 23275 21694 0 -1 4202560 914 0 0 0 92 13 0 0 17 0 1 0 658206968 306348032 5596 33554432000 4194304 5683644 140735560024816 18446744073709551615 212439498574 0 0 16781312 514 0 0 0 17 6 0 0 0
/proc/23287/statm: 74792 5596 371 364 0 10704 0
[pid=23289] ppid=23287 vsize=0 CPUtime=7.37 cores=0,2,4,6
/proc/23289/stat : 23289 (march_hi) R 23287 23289 23289 0 -1 4202500 633 0 0 0 737 0 0 0 25 0 1 0 658206969 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 0
/proc/23289/statm: 0 0 0 0 0 0 0
[pid=23290] ppid=23275 vsize=374960 CPUtime=1.17 cores=0,2,4,6
/proc/23290/stat : 23290 (python) R 23275 23275 21694 0 -1 4202560 815 0 0 0 103 14 0 0 17 0 1 0 658206969 383959040 5773 33554432000 4194304 5683644 140735560024816 18446744073709551615 212447847231 0 0 16781312 514 0 0 0 17 4 0 0 0
/proc/23290/statm: 93740 5773 371 364 0 29649 0
[pid=23292] ppid=23290 vsize=0 CPUtime=7.32 cores=0,2,4,6
/proc/23292/stat : 23292 (march_hi) R 23290 23292 23292 0 -1 4202500 625 0 0 0 732 0 0 0 25 0 1 0 658206970 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 4 0 0 0
/proc/23292/statm: 0 0 0 0 0 0 0
[pid=23275/tid=23282] ppid=23273 vsize=385204 CPUtime=0 cores=0,2,4,6
/proc/23275/task/23282/stat : 23282 (python) S 23273 23275 21694 0 -1 4202560 26 933 0 0 0 0 0 0 19 0 5 0 658206967 394448896 7279 33554432000 4194304 5683644 140735560024816 18446744073709551615 212447840689 0 0 16781312 2 18446604448574381120 0 0 -1 4 0 0 0
[pid=23275/tid=23285] ppid=23273 vsize=385204 CPUtime=0 cores=0,2,4,6
/proc/23275/task/23285/stat : 23285 (python) S 23273 23275 21694 0 -1 4202560 25 933 0 0 0 0 0 0 21 0 5 0 658206968 394448896 7279 33554432000 4194304 5683644 140735560024816 18446744073709551615 212447840689 0 0 16781312 2 18446604448574381120 0 0 -1 2 0 0 0
[pid=23275/tid=23288] ppid=23273 vsize=385204 CPUtime=0 cores=0,2,4,6
/proc/23275/task/23288/stat : 23288 (python) S 23273 23275 21694 0 -1 4202560 27 933 0 0 0 0 0 0 20 0 5 0 658206969 394448896 7279 33554432000 4194304 5683644 140735560024816 18446744073709551615 212447840689 0 0 16781312 2 18446604448574381120 0 0 -1 4 0 0 0
[pid=23275/tid=23291] ppid=23273 vsize=385204 CPUtime=0 cores=0,2,4,6
/proc/23275/task/23291/stat : 23291 (python) S 23273 23275 21694 0 -1 4202560 57 933 0 0 0 0 0 0 22 0 5 0 658206970 394448896 7279 33554432000 4194304 5683644 140735560024816 18446744073709551615 212447840689 0 0 16781312 2 18446604448574381120 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 34.44
Current children cumulated vsize (KiB) 2081960

[startup+9.50141 s]
/proc/loadavg: 8.31 8.23 8.03 13/417 23292
/proc/meminfo: memFree=18859072/32951124 swapFree=57331800/67111528
[pid=23275] ppid=23273 vsize=385204 CPUtime=0.44 cores=0,2,4,6
/proc/23275/stat : 23275 (python) S 23273 23275 21694 0 -1 4202496 12126 933 1 0 36 8 0 0 21 0 5 0 658206913 394448896 7279 33554432000 4194304 5683644 140735560024816 18446744073709551615 212447843787 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23275/statm: 96301 7279 1873 364 0 32210 0
[pid=23281] ppid=23275 vsize=278452 CPUtime=0.01 cores=0,2,4,6
/proc/23281/stat : 23281 (python) S 23275 23275 21694 0 -1 4202560 897 0 0 0 1 0 0 0 18 0 1 0 658206967 285134848 5560 33554432000 4194304 5683644 140735560024816 18446744073709551615 212436037135 0 0 16781312 514 17442591169560150276 0 0 17 0 0 0 0
/proc/23281/statm: 69613 5560 377 364 0 5531 0
[pid=23283] ppid=23281 vsize=454892 CPUtime=8.96 cores=0,2,4,6
/proc/23283/stat : 23283 (TNM) R 23281 23283 23283 0 -1 4202496 413 0 0 0 896 0 0 0 25 0 1 0 658206967 465809408 150 33554432000 134512640 135008748 4290896800 18446744073709551615 134529402 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/23283/statm: 113723 150 46 122 0 112623 0
[pid=23284] ppid=23275 vsize=289284 CPUtime=1.61 cores=0,2,4,6
/proc/23284/stat : 23284 (python) R 23275 23275 21694 0 -1 4202560 933 0 0 0 141 20 0 0 17 0 1 0 658206967 296226816 5702 33554432000 4194304 5683644 140735560024816 18446744073709551615 212447847231 0 0 16781312 514 0 0 0 17 2 0 0 0
/proc/23284/statm: 72321 5702 371 364 0 8236 0
[pid=23286] ppid=23284 vsize=0 CPUtime=7.32 cores=0,2,4,6
/proc/23286/stat : 23286 (march_hi) R 23284 23286 23286 0 -1 4202500 636 0 0 0 732 0 0 0 25 0 1 0 658206968 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0
/proc/23286/statm: 0 0 0 0 0 0 0
[pid=23287] ppid=23275 vsize=299168 CPUtime=1.46 cores=0,2,4,6
/proc/23287/stat : 23287 (python) R 23275 23275 21694 0 -1 4202560 914 0 0 0 127 19 0 0 17 0 1 0 658206968 306348032 5596 33554432000 4194304 5683644 140735560024816 18446744073709551615 212435675378 0 0 16781312 514 0 0 0 17 6 0 0 0
/proc/23287/statm: 74792 5596 371 364 0 10704 0
[pid=23289] ppid=23287 vsize=0 CPUtime=7.37 cores=0,2,4,6
/proc/23289/stat : 23289 (march_hi) R 23287 23289 23289 0 -1 4202500 633 0 0 0 737 0 0 0 25 0 1 0 658206969 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 0
/proc/23289/statm: 0 0 0 0 0 0 0
[pid=23290] ppid=23275 vsize=374960 CPUtime=1.57 cores=0,2,4,6
/proc/23290/stat : 23290 (python) R 23275 23275 21694 0 -1 4202560 815 0 0 0 138 19 0 0 17 0 1 0 658206969 383959040 5773 33554432000 4194304 5683644 140735560024816 18446744073709551615 212447847231 0 0 16781312 514 0 0 0 17 4 0 0 0
/proc/23290/statm: 93740 5773 371 364 0 29649 0
[pid=23292] ppid=23290 vsize=0 CPUtime=7.32 cores=0,2,4,6
/proc/23292/stat : 23292 (march_hi) R 23290 23292 23292 0 -1 4202500 625 0 0 0 732 0 0 0 25 0 1 0 658206970 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 4 0 0 0
/proc/23292/statm: 0 0 0 0 0 0 0
[pid=23275/tid=23282] ppid=23273 vsize=385204 CPUtime=0 cores=0,2,4,6
/proc/23275/task/23282/stat : 23282 (python) S 23273 23275 21694 0 -1 4202560 26 933 0 0 0 0 0 0 19 0 5 0 658206967 394448896 7279 33554432000 4194304 5683644 140735560024816 18446744073709551615 212447840689 0 0 16781312 2 18446604448574381120 0 0 -1 4 0 0 0
[pid=23275/tid=23285] ppid=23273 vsize=385204 CPUtime=0 cores=0,2,4,6
/proc/23275/task/23285/stat : 23285 (python) S 23273 23275 21694 0 -1 4202560 25 933 0 0 0 0 0 0 21 0 5 0 658206968 394448896 7279 33554432000 4194304 5683644 140735560024816 18446744073709551615 212447840689 0 0 16781312 2 18446604448574381120 0 0 -1 2 0 0 0
[pid=23275/tid=23288] ppid=23273 vsize=385204 CPUtime=0 cores=0,2,4,6
/proc/23275/task/23288/stat : 23288 (python) S 23273 23275 21694 0 -1 4202560 27 933 0 0 0 0 0 0 20 0 5 0 658206969 394448896 7279 33554432000 4194304 5683644 140735560024816 18446744073709551615 212447840689 0 0 16781312 2 18446604448574381120 0 0 -1 4 0 0 0
[pid=23275/tid=23291] ppid=23273 vsize=385204 CPUtime=0 cores=0,2,4,6
/proc/23275/task/23291/stat : 23291 (python) S 23273 23275 21694 0 -1 4202560 57 933 0 0 0 0 0 0 22 0 5 0 658206970 394448896 7279 33554432000 4194304 5683644 140735560024816 18446744073709551615 212447840689 0 0 16781312 2 18446604448574381120 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 36.06
Current children cumulated vsize (KiB) 2081960

[startup+9.60144 s]
/proc/loadavg: 8.31 8.23 8.03 13/417 23292
/proc/meminfo: memFree=18859072/32951124 swapFree=57331800/67111528
[pid=23275] ppid=23273 vsize=385152 CPUtime=36.47 cores=0,2,4,6
/proc/23275/stat : 23275 (python) R 23273 23275 21694 0 -1 4202496 15972 7417 1 0 37 8 3537 65 17 0 4 0 658206913 394395648 7140 33554432000 4194304 5683644 140735560024816 18446744073709551615 5258879 0 0 16781312 0 18446744073709551615 0 0 17 4 0 0 0
/proc/23275/statm: 96288 7140 1868 364 0 32210 0
[pid=23275/tid=23282] ppid=23273 vsize=385152 CPUtime=36.02 cores=0,2,4,6
/proc/23275/task/23282/stat : 23282 (python) S 23273 23275 21694 0 -1 4202560 28 7417 0 0 0 0 3537 65 18 0 4 0 658206967 394395648 7140 33554432000 4194304 5683644 140735560024816 18446744073709551615 212447840689 0 0 16781312 0 18446604448574381120 0 0 -1 2 0 0 0
[pid=23275/tid=23285] ppid=23273 vsize=385152 CPUtime=36.02 cores=0,2,4,6
/proc/23275/task/23285/stat : 23285 (python) S 23273 23275 21694 0 -1 4202560 27 7417 0 0 0 0 3537 65 18 0 4 0 658206968 394395648 7140 33554432000 4194304 5683644 140735560024816 18446744073709551615 212447840689 0 0 16781312 0 18446604448574381120 0 0 -1 2 0 0 0
[pid=23275/tid=23288] ppid=23273 vsize=385152 CPUtime=36.02 cores=0,2,4,6
/proc/23275/task/23288/stat : 23288 (python) S 23273 23275 21694 0 -1 4202560 29 7417 0 0 0 0 3537 65 18 0 4 0 658206969 394395648 7140 33554432000 4194304 5683644 140735560024816 18446744073709551615 212447840689 0 0 16781312 0 18446604448574381120 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 36.47
Current children cumulated vsize (KiB) 385152

Child status: 0
Real time (s): 9.60753
CPU time (s): 36.5054
CPU user time (s): 35.7576
CPU system time (s): 0.747886
CPU usage (%): 379.967
Max. virtual memory (cumulated for all children) (KiB): 2088716

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 35.7576
system time used= 0.747886
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23900
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= 2623
involuntary context switches= 1690

runsolver used 0.029995 second user time and 0.097985 second system time

The end

Launcher Data 

Begin job on node102 at 2011-05-15 15:27:25
IDJOB=3378532
IDBENCH=82941
IDSOLVER=1859
FILE ID=node102/3378532-1305466045
RUNJOBID= node102-1305462764-21712
PBS_JOBID= 13324973
Free space on /tmp= 73580 MiB

SOLVER NAME= borg-sat 11.03.02-par-random (fixed)
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v350-c1491-S1733949620-064.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-3378532-1305466045/watcher-3378532-1305466045 -o /tmp/evaluation-result-3378532-1305466045/solver-3378532-1305466045 -C 4800 -W 1300 -M 15500  python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3378532-1305466045.cnf -seed 326647503 -budget 4800 -cores 4

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

MD5SUM BENCH= 60552051d2d5a0c0eefaeedea18e63df
RANDOM SEED=326647503

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      18902596 kB
Buffers:         45464 kB
Cached:         767812 kB
SwapCached:      89980 kB
Active:        4554796 kB
Inactive:      9289460 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      18902596 kB
SwapTotal:    67111528 kB
SwapFree:     57331800 kB
Dirty:           32764 kB
Writeback:           0 kB
AnonPages:    12951524 kB
Mapped:          25584 kB
Slab:            64876 kB
PageTables:      72256 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 96225672 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= 73552 MiB
End job on node102 at 2011-05-15 15:27:35