Trace number 3495916

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
MoUsSaka 2011-03-26UNSAT 293.768 293.763

General information on the benchmark

Namemus/marques-silva/fpga-routing/
alu2_gr_rcs_w7.shuffled.cnf
MD5SUMd42b5e34cfb164a6f58db1ec2594faf2
Bench CategoryMUS (MUS)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark12.3361
Satisfiable
(Un)Satisfiability was proved
Number of variables3570
Number of clauses73478
Sum of the clauses size149506
Maximum clause length7
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 272968
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 5510

Solver Data 

0.00/0.00	c MoUsSaka vegetarian
2.39/2.42	
2.39/2.42	s UNSATISFIABLE
293.70/293.75	c Core is minimal
293.70/293.75	
293.70/293.75	v 32492 14134 33308 44731 9321 14120 16805 55429 11288 50892 14432 5757 12011 30958 17137 10745 38802 1777 40348 10407 14845 56291 4589 20427 28633 481 19434 9904 60025 21919 49795 42523 27069 9873 31170 69967 25754 48164 33838 54532 10902 23193 72833 37972 54582 43587 70877 66159 34763 70451 48757 73188 19335 11198 2920 34101 39876 38030 56934 71595 69530 34220 504 54055 13616 13688 43964 43666 15101 57795 34534 9567 36672 1453 48814 62256 11369 40651 36219 50533 35284 9470 29475 63696 73089 16991 22031 33179 51506 8109 47274 57043 2316 66563 16205 32617 51362 50460 39181 5772 2231 44408 63988 45827 17985 4290 50619 64337 18321 1205 24825 63642 12833 59448 23782 58544 23882 2945 9684 60052 65654 2923 47513 51726 57556 35455 46882 27356 71499 55526 32348 61023 264 68280 28075 72218 71628 53215 52072 67424 40384 30961 4474 3031 26337 62114 5230 18643 41910 65635 51113 52818 49557 49543 44869 13543 62037 5735 71744 54461 49555 26298 43920 69451 29346 11607 23694 12207 31441 44424 72507 51308 61823 68827 48581 36031 26003 59190 59011 14780 42689 27571 61282 56542 43902 48201 62741 39948 12577 28936 43347 64731 39423 11984 30514 70949 45008 10802 11396 15019 60644 12313 12642 72061 38136 52305 45243 29319 37375 753 4725 23861 65785 31794 11673 46742 13122 59066 53851 19194 3170 61673 23124 22295 3026 48612 42846 66210 49260 58526 28719 44691 51164 30318 18717 53097 28345 20889 20683 38612 68111 48526 35477 56462 38638 50461 66003 67207 31839 15613 23863 64672 10233 39957 55741 29002 20998 63738 70513 6362 21436 27381 66654 14341 49142 62482 64196 59091 33452 47417 37257 56099 65432 26282 8702 73421 68079 22240 68850 48721 64728 5952 12925 52785 39228 51221 10419 18824 42564 43645 31791 43122 33766 19025 58909 23677 59326 923 13653 41473 46120 50152 11142 3573 61611 34262 70964 8862 42148 33099 38944 61876 4357 5922 59348 63933 19297 53717 66282 52842 65581 50149 23748 28239 70890 54368 48660 58144 72670 4767 11357 49251 19840 40209 37697 16259 14755 59819 47942 27588 66546 54421 68001 21768 70929 32852 71672 37085 64807 52894 68669 19861 48778 47989 65706 17778 37690 23154 17540 38262 3315 54740 70762 17037 2355 38979 19928 43456 69974 3127 48083 13684 26785 27857 29893 11899 10727 48005 35719 71074 59181 18002 62517 65436 44840 29796 63556 52852 30071 19079 61624 4485 60615 900 59302 13993 44018 25781 66585 44485 21760 55677 32219 63526 16156 53886 67287 35382 73152 5936 8294 56098 9798 51141 16192 23487 18132 16425 33739 56592 20394 46113 56884 35684 4268 31188 25367 26666 10484 3964 73339 66780 16181 32673 50167 43266 38825 42775 25056 21540 45920 8149 35312 70897 30195 72021 30831 11964 29453 22941 9195 34328 61780 5337 6246 17475 18543 6035 47400 69096 26519 7150 16208 35688 4050 7195 28546 45189 3014 40761 35257 40811 40000 2968 29691 27870 26059 63004 42387 23067 39099 6163 66222 39471 54154 6264 1388 10393 46315 47075 43358 50623 50463 38577 18145 37468 18811 69489 32785 9929 4639 17559 52639 57106 52843 48461 53710 61827 51315 71405 44234 53478 19174 25815 38977 16172 26730 55198 26022 61956 14622 14021 71097 57878 19380 67330 38257 29652 72457 43254 66644 63431 57321 42228 50852 6148 10913 45780 35241 50299 73223 28575 33008 2163 2205 871 55926 33599 36408 3193 24311 28317 19155 53961 61426 33932 17484 37467 68994 64777 34646 59078 23449 44046 18020 71479 38483 6709 64007 73394 56212 59303 4764 5656 18114 68870 7926 48867 7037 66429 32289 26949 35867 64549 47279 71902 1880 2279 73139 11207 7134 32075 16514 32308 1719 7805 2230 23668 60755 41284 65603 69503 67314 31 47505 70519 2379 52743 56965 54098 52335 70464 34690 32453 13320 33672 60137 56561 63189 28995 25302 46259 41402 33092 18337 40931 58209 20107 41520 42862 60259 71665 52088 54207 13592 48792 16127 52830 15700 11655 17558 20367 41742 10238 54031 29229 71788 9285 2429 38748 13030 25615 50168 48548 57433 50906 7181 33466 68147 6905 61789 20908 19097 62932 41262 30519 17499 42670 11516 46056 44963 11691 42056 23090 10684 40185 28484 51647 68590 26680 10467 56304 62389  0
293.70/293.75	
293.70/293.75	c Core has size 683

Verifier Data 

OK	683

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 988)

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-3495916-1307809190/watcher-3495916-1307809190 -o /tmp/evaluation-result-3495916-1307809190/solver-3495916-1307809190 -C 1800 -W 1850 -M 7680 MoUsSaka HOME/instance-3495916-1307809190.cnf 

running on 2 cores: 1,3

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1850 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 4.00 3.62 3.37 4/187 1379
/proc/meminfo: memFree=29018948/32951132 swapFree=67054616/67111528
[pid=1379] ppid=1377 vsize=14308 CPUtime=0 cores=1,3
/proc/1379/stat : 1379 (MoUsSaka) R 1377 1379 31313 0 -1 4202496 734 0 0 0 0 0 0 0 25 0 1 0 892518665 14651392 668 33554432000 4194304 4365125 140737022769552 18446744073709551615 4266084 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1379/statm: 3577 668 253 42 0 725 0

[startup+0.098951 s]
/proc/loadavg: 4.00 3.62 3.37 4/187 1379
/proc/meminfo: memFree=29018948/32951132 swapFree=67054616/67111528
[pid=1379] ppid=1377 vsize=19268 CPUtime=0.09 cores=1,3
/proc/1379/stat : 1379 (MoUsSaka) R 1377 1379 31313 0 -1 4202496 3509 0 0 0 9 0 0 0 25 0 1 0 892518665 19730432 2009 33554432000 4194304 4365125 140737022769552 18446744073709551615 4258110 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1379/statm: 4817 2009 262 42 0 1965 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19268

[startup+0.100945 s]
/proc/loadavg: 4.00 3.62 3.37 4/187 1379
/proc/meminfo: memFree=29018948/32951132 swapFree=67054616/67111528
[pid=1379] ppid=1377 vsize=19268 CPUtime=0.09 cores=1,3
/proc/1379/stat : 1379 (MoUsSaka) R 1377 1379 31313 0 -1 4202496 3515 0 0 0 9 0 0 0 25 0 1 0 892518665 19730432 2012 33554432000 4194304 4365125 140737022769552 18446744073709551615 4257980 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1379/statm: 4817 2012 262 42 0 1965 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19268

[startup+0.300918 s]
/proc/loadavg: 4.00 3.62 3.37 4/187 1379
/proc/meminfo: memFree=29018948/32951132 swapFree=67054616/67111528
[pid=1379] ppid=1377 vsize=31164 CPUtime=0.29 cores=1,3
/proc/1379/stat : 1379 (MoUsSaka) R 1377 1379 31313 0 -1 4202496 7867 0 0 0 28 1 0 0 25 0 1 0 892518665 31911936 3844 33554432000 4194304 4365125 140737022769552 18446744073709551615 274664505813 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1379/statm: 7791 3861 262 42 0 4939 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31164

[startup+0.700848 s]
/proc/loadavg: 4.00 3.62 3.37 4/187 1379
/proc/meminfo: memFree=29018948/32951132 swapFree=67054616/67111528
[pid=1379] ppid=1377 vsize=34996 CPUtime=0.69 cores=1,3
/proc/1379/stat : 1379 (MoUsSaka) R 1377 1379 31313 0 -1 4202496 17317 0 0 0 67 2 0 0 25 0 1 0 892518665 35835904 5673 33554432000 4194304 4365125 140737022769552 18446744073709551615 4262060 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1379/statm: 8749 5673 262 42 0 5897 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 34996

[startup+1.50071 s]
/proc/loadavg: 4.00 3.63 3.37 5/188 1380
/proc/meminfo: memFree=28997140/32951132 swapFree=67054616/67111528
[pid=1379] ppid=1377 vsize=53456 CPUtime=1.49 cores=1,3
/proc/1379/stat : 1379 (MoUsSaka) R 1377 1379 31313 0 -1 4202496 31475 0 0 0 146 3 0 0 25 0 1 0 892518665 54738944 8161 33554432000 4194304 4365125 140737022769552 18446744073709551615 4272031 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1379/statm: 13364 8161 262 42 0 10512 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 53456

[startup+3.10043 s]
/proc/loadavg: 4.00 3.63 3.37 5/188 1380
/proc/meminfo: memFree=28978932/32951132 swapFree=67054616/67111528
[pid=1379] ppid=1377 vsize=76748 CPUtime=3.09 cores=1,3
/proc/1379/stat : 1379 (MoUsSaka) R 1377 1379 31313 0 -1 4202496 36603 0 0 0 305 4 0 0 25 0 1 0 892518665 78589952 12287 33554432000 4194304 4365125 140737022769552 18446744073709551615 4262570 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1379/statm: 19187 12287 264 42 0 16335 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 76748

[startup+6.30087 s]
/proc/loadavg: 4.00 3.64 3.37 5/188 1380
/proc/meminfo: memFree=28937640/32951132 swapFree=67054616/67111528
[pid=1379] ppid=1377 vsize=123712 CPUtime=6.29 cores=1,3
/proc/1379/stat : 1379 (MoUsSaka) R 1377 1379 31313 0 -1 4202496 76045 0 0 0 621 8 0 0 25 0 1 0 892518665 126681088 21738 33554432000 4194304 4365125 140737022769552 18446744073709551615 4257412 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1379/statm: 30928 21738 264 42 0 28076 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 123712

[startup+12.7008 s]
/proc/loadavg: 4.00 3.64 3.38 5/188 1380
/proc/meminfo: memFree=28877000/32951132 swapFree=67054616/67111528
[pid=1379] ppid=1377 vsize=166724 CPUtime=12.69 cores=1,3
/proc/1379/stat : 1379 (MoUsSaka) R 1377 1379 31313 0 -1 4202496 133184 0 0 0 1253 16 0 0 25 0 1 0 892518665 170725376 36526 33554432000 4194304 4365125 140737022769552 18446744073709551615 4266165 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1379/statm: 41681 36526 264 42 0 38829 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 166724

[startup+25.5005 s]
/proc/loadavg: 3.92 3.64 3.38 4/182 1404
/proc/meminfo: memFree=29059860/32951132 swapFree=67054616/67111528
[pid=1379] ppid=1377 vsize=213704 CPUtime=25.49 cores=1,3
/proc/1379/stat : 1379 (MoUsSaka) R 1377 1379 31313 0 -1 4202496 203578 0 0 0 2526 23 0 0 25 0 1 0 892518665 218832896 45740 33554432000 4194304 4365125 140737022769552 18446744073709551615 4262567 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1379/statm: 53426 45740 288 42 0 50574 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 213704

[startup+51.1011 s]
/proc/loadavg: 3.56 3.57 3.36 4/182 1404
/proc/meminfo: memFree=29042748/32951132 swapFree=67054616/67111528
[pid=1379] ppid=1377 vsize=228024 CPUtime=51.09 cores=1,3
/proc/1379/stat : 1379 (MoUsSaka) R 1377 1379 31313 0 -1 4202496 205433 0 0 0 5086 23 0 0 25 0 1 0 892518665 233496576 47595 33554432000 4194304 4365125 140737022769552 18446744073709551615 4264072 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1379/statm: 57006 47595 288 42 0 54154 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 228024

[startup+102.306 s]
/proc/loadavg: 3.24 3.48 3.34 4/182 1406
/proc/meminfo: memFree=29051796/32951132 swapFree=67054616/67111528
[pid=1379] ppid=1377 vsize=215676 CPUtime=102.3 cores=1,3
/proc/1379/stat : 1379 (MoUsSaka) R 1377 1379 31313 0 -1 4202496 209655 0 0 0 10206 24 0 0 25 0 1 0 892518665 220852224 45263 33554432000 4194304 4365125 140737022769552 18446744073709551615 4262650 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1379/statm: 53919 45263 288 42 0 51067 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 215676

[startup+162.301 s]
/proc/loadavg: 3.09 3.39 3.32 4/182 1408
/proc/meminfo: memFree=29038644/32951132 swapFree=67054616/67111528
[pid=1379] ppid=1377 vsize=223868 CPUtime=162.29 cores=1,3
/proc/1379/stat : 1379 (MoUsSaka) R 1377 1379 31313 0 -1 4202496 210683 0 0 0 16205 24 0 0 25 0 1 0 892518665 229240832 46291 33554432000 4194304 4365125 140737022769552 18446744073709551615 4262098 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1379/statm: 55967 46291 288 42 0 53115 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 223868

[startup+222.3 s]
/proc/loadavg: 3.07 3.33 3.30 4/182 1410
/proc/meminfo: memFree=29024372/32951132 swapFree=67054616/67111528
[pid=1379] ppid=1377 vsize=230012 CPUtime=222.29 cores=1,3
/proc/1379/stat : 1379 (MoUsSaka) R 1377 1379 31313 0 -1 4202496 211456 0 0 0 22205 24 0 0 25 0 1 0 892518665 235532288 47064 33554432000 4194304 4365125 140737022769552 18446744073709551615 4258454 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1379/statm: 57503 47064 288 42 0 54651 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 230012

[startup+282.301 s]
/proc/loadavg: 2.54 3.14 3.24 3/176 1435
/proc/meminfo: memFree=29658416/32951132 swapFree=67054616/67111528
[pid=1379] ppid=1377 vsize=230012 CPUtime=282.3 cores=1,3
/proc/1379/stat : 1379 (MoUsSaka) R 1377 1379 31313 0 -1 4202496 211456 0 0 0 28206 24 0 0 25 0 1 0 892518665 235532288 47064 33554432000 4194304 4365125 140737022769552 18446744073709551615 4250173 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1379/statm: 57503 47064 288 42 0 54651 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 230012

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

[startup+287.901 s]
/proc/loadavg: 2.50 3.13 3.23 3/176 1435
/proc/meminfo: memFree=29658416/32951132 swapFree=67054616/67111528
[pid=1379] ppid=1377 vsize=230012 CPUtime=287.89 cores=1,3
/proc/1379/stat : 1379 (MoUsSaka) R 1377 1379 31313 0 -1 4202496 211456 0 0 0 28765 24 0 0 25 0 1 0 892518665 235532288 47064 33554432000 4194304 4365125 140737022769552 18446744073709551615 4257958 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1379/statm: 57503 47064 288 42 0 54651 0
Current children cumulated CPU time (s) 287.89
Current children cumulated vsize (KiB) 230012

[startup+291.101 s]
/proc/loadavg: 2.46 3.11 3.22 3/176 1435
/proc/meminfo: memFree=29658416/32951132 swapFree=67054616/67111528
[pid=1379] ppid=1377 vsize=230012 CPUtime=291.09 cores=1,3
/proc/1379/stat : 1379 (MoUsSaka) R 1377 1379 31313 0 -1 4202496 211456 0 0 0 29085 24 0 0 25 0 1 0 892518665 235532288 47064 33554432000 4194304 4365125 140737022769552 18446744073709551615 4257476 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1379/statm: 57503 47064 288 42 0 54651 0
Current children cumulated CPU time (s) 291.09
Current children cumulated vsize (KiB) 230012

[startup+292.7 s]
/proc/loadavg: 2.46 3.11 3.22 3/176 1436
/proc/meminfo: memFree=29658416/32951132 swapFree=67054616/67111528
[pid=1379] ppid=1377 vsize=230012 CPUtime=292.69 cores=1,3
/proc/1379/stat : 1379 (MoUsSaka) R 1377 1379 31313 0 -1 4202496 211456 0 0 0 29245 24 0 0 25 0 1 0 892518665 235532288 47064 33554432000 4194304 4365125 140737022769552 18446744073709551615 4258027 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1379/statm: 57503 47064 288 42 0 54651 0
Current children cumulated CPU time (s) 292.69
Current children cumulated vsize (KiB) 230012

[startup+293.501 s]
/proc/loadavg: 2.46 3.11 3.22 3/176 1436
/proc/meminfo: memFree=29658416/32951132 swapFree=67054616/67111528
[pid=1379] ppid=1377 vsize=230012 CPUtime=293.49 cores=1,3
/proc/1379/stat : 1379 (MoUsSaka) R 1377 1379 31313 0 -1 4202496 211456 0 0 0 29325 24 0 0 25 0 1 0 892518665 235532288 47064 33554432000 4194304 4365125 140737022769552 18446744073709551615 4262074 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1379/statm: 57503 47064 288 42 0 54651 0
Current children cumulated CPU time (s) 293.49
Current children cumulated vsize (KiB) 230012

[startup+293.706 s]
/proc/loadavg: 2.46 3.11 3.22 3/176 1436
/proc/meminfo: memFree=29658416/32951132 swapFree=67054616/67111528
[pid=1379] ppid=1377 vsize=230012 CPUtime=293.7 cores=1,3
/proc/1379/stat : 1379 (MoUsSaka) R 1377 1379 31313 0 -1 4202496 211456 0 0 0 29346 24 0 0 25 0 1 0 892518665 235532288 47064 33554432000 4194304 4365125 140737022769552 18446744073709551615 4264104 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1379/statm: 57503 47064 288 42 0 54651 0
Current children cumulated CPU time (s) 293.7
Current children cumulated vsize (KiB) 230012

Child status: 20
Real time (s): 293.763
CPU time (s): 293.768
CPU user time (s): 293.512
CPU system time (s): 0.255961
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 334920

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 293.512
system time used= 0.255961
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 211461
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 1013

runsolver used 0.45593 second user time and 1.11583 second system time

The end

Launcher Data 

Begin job on node131 at 2011-06-11 18:19:50
IDJOB=3495916
IDBENCH=89620
IDSOLVER=1989
FILE ID=node131/3495916-1307809190
RUNJOBID= node131-1307808750-723
PBS_JOBID= 13551052
Free space on /tmp= 74064 MiB

SOLVER NAME= MoUsSaka 2011-03-26
BENCH NAME= SAT11/mus/marques-silva/fpga-routing/alu2_gr_rcs_w7.shuffled.cnf
COMMAND LINE= MoUsSaka BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3495916-1307809190/watcher-3495916-1307809190 -o /tmp/evaluation-result-3495916-1307809190/solver-3495916-1307809190 -C 1800 -W 1850 -M 7680  MoUsSaka HOME/instance-3495916-1307809190.cnf

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= d42b5e34cfb164a6f58db1ec2594faf2
RANDOM SEED=1949890914

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

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


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      28987004 kB
Buffers:        297152 kB
Cached:        1821780 kB
SwapCached:       9824 kB
Active:        2108076 kB
Inactive:      1601936 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      28987004 kB
SwapTotal:    67111528 kB
SwapFree:     67054616 kB
Dirty:            1176 kB
Writeback:           0 kB
AnonPages:     1589520 kB
Mapped:          13768 kB
Slab:           186308 kB
PageTables:       8152 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:  2046684 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74068 MiB
End job on node131 at 2011-06-11 18:24:44