Trace number 208105

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, and are wall clock time (not CPU 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
sugar 0.40? (TO) 1800.04 1808.95

General information on the benchmark

Namerandom/rand-2-26/
rand-26-26-325-155-56021_ext.xml
MD5SUM0e87c6c27c1f9bb5bfcab323b377dfc4
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark345.71
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables26
Number of constraints325
Maximum constraint arity2
Maximum domain size26
Number of constraints which are defined in extension325
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.05	c # Sugar v0-40 (/tmp/evaluation/208105-1170096991/sugar-v0-40.jar)
0.05	
0.05	c # MAIN  BEGIN : /tmp/evaluation/208105-1170096991/unknown.xml [Mon Jan 29 19:56:34 2007]
0.05	c # CONVERT_XML  BEGIN : /tmp/evaluation/208105-1170096991/unknown.xml /tmp/evaluation/208105-1170096991/sugar25715.csp [Mon Jan 29 19:56:34 2007]
0.05	c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/208105-1170096991/sugar-v0-40.jar -convert /tmp/evaluation/208105-1170096991/unknown.xml /tmp/evaluation/208105-1170096991/sugar25715.csp
0.17	c BEGIN convert /tmp/evaluation/208105-1170096991/unknown.xml
0.75	c END convert (0.585634 seconds)
0.81	c # CONVERT_XML  END : /tmp/evaluation/208105-1170096991/sugar25715.csp 1635646 bytes (0 seconds) [Mon Jan 29 19:56:34 2007]
0.81	c # CONVERT_XML  CPU : 0.7 = 0 + 0 + 0.64 + 0.06
0.81	
0.81	c # GENERATE_SAT  BEGIN : /tmp/evaluation/208105-1170096991/sugar25715.bcnf [Mon Jan 29 19:56:34 2007]
0.81	c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/208105-1170096991/sugar-v0-40.jar -bcnf -map /tmp/evaluation/208105-1170096991/sugar25715.map /tmp/evaluation/208105-1170096991/sugar25715.csp /tmp/evaluation/208105-1170096991/sugar25715.bcnf
0.92	c BEGIN parse /tmp/evaluation/208105-1170096991/sugar25715.csp
6.79	c END parse (5.873909 seconds)
6.79	c BEGIN simplify
6.82	c END simplify (0.025924 seconds)
6.82	c BEGIN encode /tmp/evaluation/208105-1170096991/sugar25715.bcnf
7.09	c END encode (0.272634 seconds)
7.14	c # GENERATE_SAT  END : 650 variables 50999 clauses 983940 bytes (7 seconds) [Mon Jan 29 19:56:41 2007]
7.15	c # GENERATE_SAT  CPU : 6.26 = 0 + 0 + 6.11 + 0.15
7.15	
7.15	c # SOLVE_SAT  BEGIN : /tmp/evaluation/208105-1170096991/sugar25715.bcnf [Mon Jan 29 19:56:41 2007]
7.15	c # CMD : /tmp/evaluation/208105-1170096991/minisat /tmp/evaluation/208105-1170096991/sugar25715.bcnf /tmp/evaluation/208105-1170096991/sugar25715.out
7.18	c ==================================[MINISAT]===================================
7.18	c | Conflicts |     ORIGINAL     |              LEARNT              | Progress |
7.18	c |           | Clauses Literals |   Limit Clauses Literals  Lit/Cl |          |
7.18	c ==============================================================================
7.18	c |         0 |   50999   194980 |   16999       0        0     nan |  0.000 % |
7.20	c |       100 |   50999   194980 |   18698     100      841     8.4 |  0.000 % |
7.24	c |       250 |   51000   194980 |   20568     249     2186     8.8 |  0.010 % |
7.29	c |       475 |   51001   194980 |   22625     473     4536     9.6 |  0.009 % |
7.36	c |       812 |   51001   194980 |   24888     810     8022     9.9 |  0.009 % |
7.47	c |      1318 |   51001   194980 |   27377    1316    13014     9.9 |  0.010 % |
7.64	c |      2077 |   51001   194980 |   30114    2075    21108    10.2 |  0.009 % |
7.89	c |      3217 |   51001   194980 |   33126    3215    34526    10.7 |  0.010 % |
8.28	c |      4926 |   51001   194980 |   36438    4924    53295    10.8 |  0.009 % |
8.90	c |      7489 |   51002   194980 |   40082    7486    81535    10.9 |  0.009 % |
9.92	c |     11334 |   51002   194980 |   44091   11331   126821    11.2 |  0.011 % |
11.60	c |     17100 |   51002   194980 |   48500   17097   194005    11.3 |  0.009 % |
14.76	c |     25749 |   51006   194980 |   53350   25742   301934    11.7 |  0.009 % |
20.75	c |     38723 |   51008   194980 |   58685   38714   481519    12.4 |  0.009 % |
32.87	c |     58184 |   51008   194980 |   64553   58175   745365    12.8 |  0.006 % |
48.75	c |     87377 |   51009   194980 |   71009   36747   515300    14.0 |  0.009 % |
79.51	c |    131167 |   51010   194980 |   78109   25024   368545    14.7 |  0.009 % |
127.06	c |    196855 |   51011   194980 |   85920   29016   393028    13.5 |  0.006 % |
193.88	c |    295383 |   51020   194980 |   94513   56401   889747    15.8 |  0.009 % |
301.83	c |    443172 |   51027   194980 |  103964   46365   697048    15.0 |  0.009 % |
476.07	c |    664855 |   51037   194980 |  114360   91949  1539806    16.7 |  0.006 % |
755.24	c |    997380 |   51052   194980 |  125796   29952   484975    16.2 |  0.011 % |
1194.01	c |   1496170 |   51066   194980 |  138376   96151  1538240    16.0 |  0.011 % |
1808.94	s UNKNOWN
1808.94	c # ERROR No such file or directory /tmp/evaluation/208105-1170096991/sugar25715.out, at /tmp/evaluation/208105-1170096991/sugar line 393.
1808.94	
1808.94	c # MAIN  END :  (1808 seconds) [Mon Jan 29 20:26:42 2007]
1808.94	c # MAIN  CPU : 1799.99 = 0.01 + 0 + 1799.57 + 0.41
1808.94

Verifier Data (download as text)

ERROR: Unexpected answer ! (SAT/UNSAT expected)
Got answer: UNKNOWN

Watcher Data (download as text)

runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node15/watcher-208105-1170096991 -o ROOT/results/node15/solver-208105-1170096991 -C 1800 -M 900 /tmp/evaluation/208105-1170096991/solver /tmp/evaluation/208105-1170096991 /tmp/evaluation/208105-1170096991/unknown.xml 

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

/proc/loadavg: 1.60 2.67 2.98 5/95 25716
/proc/meminfo: memFree=1780568/2055920 swapFree=4192812/4192956
[pid=25715] ppid=25713 vsize=12128 CPUtime=0
/proc/25715/stat : 25715 (sugar) R 25713 25715 25150 0 -1 4194304 492 0 0 0 0 0 0 0 21 0 1 0 29653721 12419072 211 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 240490464914 0 0 4224 0 0 0 0 17 1 0 0
/proc/25715/statm: 3032 211 158 3 0 132 0

[startup+0.105514 s]
/proc/loadavg: 1.60 2.67 2.98 5/95 25716
/proc/meminfo: memFree=1780568/2055920 swapFree=4192812/4192956
[pid=25715] ppid=25713 vsize=13724 CPUtime=0.03
/proc/25715/stat : 25715 (sugar) S 25713 25715 25150 0 -1 4194304 1112 0 0 0 3 0 0 0 21 0 1 0 29653721 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25715/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724

[startup+0.513588 s]
/proc/loadavg: 1.60 2.67 2.98 5/95 25716
/proc/meminfo: memFree=1780568/2055920 swapFree=4192812/4192956
[pid=25715] ppid=25713 vsize=13724 CPUtime=0.03
/proc/25715/stat : 25715 (sugar) S 25713 25715 25150 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 29653721 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25715/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724

[startup+1.33673 s]
/proc/loadavg: 1.60 2.67 2.98 5/103 25732
/proc/meminfo: memFree=1747224/2055920 swapFree=4192812/4192956
[pid=25715] ppid=25713 vsize=13724 CPUtime=0.73
/proc/25715/stat : 25715 (sugar) S 25713 25715 25150 0 -1 4194304 1190 7673 0 1 3 0 64 6 15 0 1 0 29653721 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25715/statm: 3431 809 371 3 0 531 0
[pid=25725] ppid=25715 vsize=807064 CPUtime=0.51
/proc/25725/stat : 25725 (java) R 25715 25715 25150 0 -1 0 7734 0 1 0 47 4 0 0 24 0 8 0 29653802 826433536 7482 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25725/statm: 201766 7482 1494 14 0 189044 0
[pid=25725/tid=25726] ppid=25715 vsize=807064 CPUtime=0.08
/proc/25725/task/25726/stat : 25726 (java) R 25715 25715 25150 0 -1 64 1681 0 0 0 8 0 0 0 16 0 8 0 29653805 826433536 7482 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25725/tid=25727] ppid=25715 vsize=807064 CPUtime=0
/proc/25725/task/25727/stat : 25727 (java) S 25715 25715 25150 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29653805 826433536 7482 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25725/tid=25728] ppid=25715 vsize=807064 CPUtime=0
/proc/25725/task/25728/stat : 25728 (java) S 25715 25715 25150 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29653806 826433536 7482 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25725/tid=25729] ppid=25715 vsize=807064 CPUtime=0
/proc/25725/task/25729/stat : 25729 (java) S 25715 25715 25150 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 29653809 826433536 7482 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25725/tid=25730] ppid=25715 vsize=807064 CPUtime=0.05
/proc/25725/task/25730/stat : 25730 (java) S 25715 25715 25150 0 -1 64 292 0 0 0 5 0 0 0 18 0 8 0 29653809 826433536 7482 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25725/tid=25731] ppid=25715 vsize=807064 CPUtime=0
/proc/25725/task/25731/stat : 25731 (java) S 25715 25715 25150 0 -1 64 2 0 0 0 0 0 0 0 24 0 8 0 29653809 826433536 7482 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25725/tid=25732] ppid=25715 vsize=807064 CPUtime=0
/proc/25725/task/25732/stat : 25732 (java) S 25715 25715 25150 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29653809 826433536 7482 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 820788

[startup+2.99001 s]
/proc/loadavg: 1.60 2.67 2.98 4/96 25733
/proc/meminfo: memFree=1805392/2055920 swapFree=4192812/4192956
[pid=25715] ppid=25713 vsize=13724 CPUtime=0.73
/proc/25715/stat : 25715 (sugar) S 25713 25715 25150 0 -1 4194304 1190 7673 0 1 3 0 64 6 15 0 1 0 29653721 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25715/statm: 3431 809 371 3 0 531 0
[pid=25725] ppid=25715 vsize=807336 CPUtime=2.15
/proc/25725/stat : 25725 (java) R 25715 25715 25150 0 -1 0 13829 0 1 0 207 8 0 0 24 0 8 0 29653802 826712064 13563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25725/statm: 201834 13563 1506 14 0 189112 0
[pid=25725/tid=25726] ppid=25715 vsize=807336 CPUtime=0.55
/proc/25725/task/25726/stat : 25726 (java) S 25715 25715 25150 0 -1 64 7636 0 0 0 51 4 0 0 16 0 8 0 29653805 826712064 13563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25725/tid=25727] ppid=25715 vsize=807336 CPUtime=0
/proc/25725/task/25727/stat : 25727 (java) S 25715 25715 25150 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29653805 826712064 13563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25725/tid=25728] ppid=25715 vsize=807336 CPUtime=0
/proc/25725/task/25728/stat : 25728 (java) S 25715 25715 25150 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29653806 826712064 13563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25725/tid=25729] ppid=25715 vsize=807336 CPUtime=0
/proc/25725/task/25729/stat : 25729 (java) S 25715 25715 25150 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 29653809 826712064 13563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25725/tid=25730] ppid=25715 vsize=807336 CPUtime=0.12
/proc/25725/task/25730/stat : 25730 (java) R 25715 25715 25150 0 -1 64 394 0 0 0 12 0 0 0 16 0 8 0 29653809 826712064 13563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25725/tid=25731] ppid=25715 vsize=807336 CPUtime=0
/proc/25725/task/25731/stat : 25731 (java) S 25715 25715 25150 0 -1 64 2 0 0 0 0 0 0 0 24 0 8 0 29653809 826712064 13563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25725/tid=25732] ppid=25715 vsize=807336 CPUtime=0
/proc/25725/task/25732/stat : 25732 (java) S 25715 25715 25150 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29653809 826712064 13563 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 821060

[startup+6.28059 s]
/proc/loadavg: 1.63 2.66 2.97 4/96 25733
/proc/meminfo: memFree=1768912/2055920 swapFree=4192812/4192956
[pid=25715] ppid=25713 vsize=13724 CPUtime=0.73
/proc/25715/stat : 25715 (sugar) S 25713 25715 25150 0 -1 4194304 1190 7673 0 1 3 0 64 6 15 0 1 0 29653721 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25715/statm: 3431 809 371 3 0 531 0
[pid=25725] ppid=25715 vsize=807336 CPUtime=5.43
/proc/25725/stat : 25725 (java) R 25715 25715 25150 0 -1 0 21457 0 1 0 531 12 0 0 25 0 8 0 29653802 826712064 21158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073448315 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25725/statm: 201834 21158 1506 14 0 189112 0
[pid=25725/tid=25726] ppid=25715 vsize=807336 CPUtime=0.94
/proc/25725/task/25726/stat : 25726 (java) S 25715 25715 25150 0 -1 64 15224 0 0 0 88 6 0 0 16 0 8 0 29653805 826712064 21158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25725/tid=25727] ppid=25715 vsize=807336 CPUtime=0
/proc/25725/task/25727/stat : 25727 (java) S 25715 25715 25150 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29653805 826712064 21158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25725/tid=25728] ppid=25715 vsize=807336 CPUtime=0
/proc/25725/task/25728/stat : 25728 (java) S 25715 25715 25150 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29653806 826712064 21158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25725/tid=25729] ppid=25715 vsize=807336 CPUtime=0
/proc/25725/task/25729/stat : 25729 (java) S 25715 25715 25150 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 29653809 826712064 21158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25725/tid=25730] ppid=25715 vsize=807336 CPUtime=0.12
/proc/25725/task/25730/stat : 25730 (java) S 25715 25715 25150 0 -1 64 400 0 0 0 12 0 0 0 16 0 8 0 29653809 826712064 21158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25725/tid=25731] ppid=25715 vsize=807336 CPUtime=0
/proc/25725/task/25731/stat : 25731 (java) S 25715 25715 25150 0 -1 64 2 0 0 0 0 0 0 0 24 0 8 0 29653809 826712064 21158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25725/tid=25732] ppid=25715 vsize=807336 CPUtime=0
/proc/25725/task/25732/stat : 25732 (java) S 25715 25715 25150 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29653809 826712064 21158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 821060

[startup+12.7577 s]
/proc/loadavg: 1.66 2.64 2.97 3/89 25734
/proc/meminfo: memFree=1836176/2055920 swapFree=4192812/4192956
[pid=25715] ppid=25713 vsize=13724 CPUtime=7
/proc/25715/stat : 25715 (sugar) S 25713 25715 25150 0 -1 4194304 1275 31993 0 2 4 0 675 21 16 0 1 0 29653721 14053376 815 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25715/statm: 3431 815 373 3 0 531 0
[pid=25734] ppid=25715 vsize=5376 CPUtime=5.57
/proc/25734/stat : 25734 (minisat) R 25715 25715 25150 0 -1 0 1246 0 0 0 556 1 0 0 25 0 1 0 29654436 5505024 992 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134525952 0 0 4096 3 0 0 0 17 1 0 0
/proc/25734/statm: 1344 992 51 112 0 1228 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 19100

[startup+25.5939 s]
/proc/loadavg: 1.73 2.61 2.95 3/89 25734
/proc/meminfo: memFree=1831888/2055920 swapFree=4192812/4192956
[pid=25715] ppid=25713 vsize=13724 CPUtime=7
/proc/25715/stat : 25715 (sugar) S 25713 25715 25150 0 -1 4194304 1275 31993 0 2 4 0 675 21 16 0 1 0 29653721 14053376 815 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25715/statm: 3431 815 373 3 0 531 0
[pid=25734] ppid=25715 vsize=7876 CPUtime=18.35
/proc/25734/stat : 25734 (minisat) R 25715 25715 25150 0 -1 0 1839 0 0 0 1833 2 0 0 25 0 1 0 29654436 8065024 1585 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528379 0 0 4096 3 0 0 0 17 1 0 0
/proc/25734/statm: 1969 1585 51 112 0 1853 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 21600

[startup+51.2744 s]
/proc/loadavg: 1.82 2.56 2.92 3/89 25734
/proc/meminfo: memFree=1829008/2055920 swapFree=4192812/4192956
[pid=25715] ppid=25713 vsize=13724 CPUtime=7
/proc/25715/stat : 25715 (sugar) S 25713 25715 25150 0 -1 4194304 1275 31993 0 2 4 0 675 21 16 0 1 0 29653721 14053376 815 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25715/statm: 3431 815 373 3 0 531 0
[pid=25734] ppid=25715 vsize=9580 CPUtime=43.87
/proc/25734/stat : 25734 (minisat) R 25715 25715 25150 0 -1 0 2275 0 0 0 4385 2 0 0 25 0 1 0 29654436 9809920 2021 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528758 0 0 4096 3 0 0 0 17 1 0 0
/proc/25734/statm: 2395 2021 51 112 0 2279 0
Current children cumulated CPU time (s) 50.87
Current children cumulated vsize (KiB) 23304

[startup+102.528 s]
/proc/loadavg: 1.92 2.47 2.87 3/89 25734
/proc/meminfo: memFree=1825232/2055920 swapFree=4192812/4192956
[pid=25715] ppid=25713 vsize=13724 CPUtime=7
/proc/25715/stat : 25715 (sugar) S 25713 25715 25150 0 -1 4194304 1275 31993 0 2 4 0 675 21 16 0 1 0 29653721 14053376 815 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25715/statm: 3431 815 373 3 0 531 0
[pid=25734] ppid=25715 vsize=11324 CPUtime=94.88
/proc/25734/stat : 25734 (minisat) R 25715 25715 25150 0 -1 0 2720 0 0 0 9485 3 0 0 25 0 1 0 29654436 11595776 2466 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/25734/statm: 2831 2466 51 112 0 2715 0
Current children cumulated CPU time (s) 101.88
Current children cumulated vsize (KiB) 25048

[startup+162.614 s]
/proc/loadavg: 1.97 2.38 2.81 3/89 25734
/proc/meminfo: memFree=1822160/2055920 swapFree=4192812/4192956
[pid=25715] ppid=25713 vsize=13724 CPUtime=7
/proc/25715/stat : 25715 (sugar) S 25713 25715 25150 0 -1 4194304 1275 31993 0 2 4 0 675 21 16 0 1 0 29653721 14053376 815 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25715/statm: 3431 815 373 3 0 531 0
[pid=25734] ppid=25715 vsize=12696 CPUtime=154.69
/proc/25734/stat : 25734 (minisat) R 25715 25715 25150 0 -1 0 3055 0 0 0 15465 4 0 0 25 0 1 0 29654436 13000704 2801 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/25734/statm: 3174 2801 51 112 0 3058 0
Current children cumulated CPU time (s) 161.69
Current children cumulated vsize (KiB) 26420

[startup+222.709 s]
/proc/loadavg: 1.99 2.31 2.76 3/89 25734
/proc/meminfo: memFree=1818640/2055920 swapFree=4192812/4192956
[pid=25715] ppid=25713 vsize=13724 CPUtime=7
/proc/25715/stat : 25715 (sugar) S 25713 25715 25150 0 -1 4194304 1275 31993 0 2 4 0 675 21 16 0 1 0 29653721 14053376 815 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25715/statm: 3431 815 373 3 0 531 0
[pid=25734] ppid=25715 vsize=14436 CPUtime=214.49
/proc/25734/stat : 25734 (minisat) R 25715 25715 25150 0 -1 0 3503 0 0 0 21444 5 0 0 25 0 1 0 29654436 14782464 3249 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/25734/statm: 3609 3249 51 112 0 3493 0
Current children cumulated CPU time (s) 221.49
Current children cumulated vsize (KiB) 28160

[startup+282.806 s]
/proc/loadavg: 1.99 2.25 2.71 3/95 25808
/proc/meminfo: memFree=1814976/2055920 swapFree=4192812/4192956
[pid=25715] ppid=25713 vsize=13724 CPUtime=7
/proc/25715/stat : 25715 (sugar) S 25713 25715 25150 0 -1 4194304 1275 31993 0 2 4 0 675 21 16 0 1 0 29653721 14053376 815 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25715/statm: 3431 815 373 3 0 531 0
[pid=25734] ppid=25715 vsize=15468 CPUtime=274.25
/proc/25734/stat : 25734 (minisat) R 25715 25715 25150 0 -1 0 3701 0 0 0 27419 6 0 0 25 0 1 0 29654436 15839232 3447 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528416 0 0 4096 3 0 0 0 17 1 0 0
/proc/25734/statm: 3867 3447 51 112 0 3751 0
Current children cumulated CPU time (s) 281.25
Current children cumulated vsize (KiB) 29192

[startup+342.816 s]
/proc/loadavg: 1.99 2.20 2.66 3/95 25900
/proc/meminfo: memFree=1813584/2055920 swapFree=4192812/4192956
[pid=25715] ppid=25713 vsize=13724 CPUtime=7

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

/proc/25715/stat : 25715 (sugar) S 25713 25715 25150 0 -1 4194304 1275 31993 0 2 4 0 675 21 16 0 1 0 29653721 14053376 815 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25715/statm: 3431 815 373 3 0 531 0
[pid=25734] ppid=25715 vsize=24988 CPUtime=1051.45
/proc/25734/stat : 25734 (minisat) R 25715 25715 25150 0 -1 0 6010 0 0 0 105132 13 0 0 25 0 1 0 29654436 25587712 5756 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528786 0 0 4096 3 0 0 0 17 1 0 0
/proc/25734/statm: 6247 5756 51 112 0 6131 0
Current children cumulated CPU time (s) 1058.45
Current children cumulated vsize (KiB) 38712

[startup+1123.94 s]
/proc/loadavg: 2.00 2.00 2.26 3/89 25932
/proc/meminfo: memFree=1797272/2055920 swapFree=4192812/4192956
[pid=25715] ppid=25713 vsize=13724 CPUtime=7
/proc/25715/stat : 25715 (sugar) S 25713 25715 25150 0 -1 4194304 1275 31993 0 2 4 0 675 21 16 0 1 0 29653721 14053376 815 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25715/statm: 3431 815 373 3 0 531 0
[pid=25734] ppid=25715 vsize=25628 CPUtime=1111.24
/proc/25734/stat : 25734 (minisat) R 25715 25715 25150 0 -1 0 6145 0 0 0 111111 13 0 0 25 0 1 0 29654436 26243072 5891 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528771 0 0 4096 3 0 0 0 17 1 0 0
/proc/25734/statm: 6407 5891 51 112 0 6291 0
Current children cumulated CPU time (s) 1118.24
Current children cumulated vsize (KiB) 39352

[startup+1184.02 s]
/proc/loadavg: 2.00 2.00 2.25 3/89 25932
/proc/meminfo: memFree=1797016/2055920 swapFree=4192812/4192956
[pid=25715] ppid=25713 vsize=13724 CPUtime=7
/proc/25715/stat : 25715 (sugar) S 25713 25715 25150 0 -1 4194304 1275 31993 0 2 4 0 675 21 16 0 1 0 29653721 14053376 815 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25715/statm: 3431 815 373 3 0 531 0
[pid=25734] ppid=25715 vsize=25628 CPUtime=1171.05
/proc/25734/stat : 25734 (minisat) R 25715 25715 25150 0 -1 0 6145 0 0 0 117091 14 0 0 25 0 1 0 29654436 26243072 5891 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/25734/statm: 6407 5891 51 112 0 6291 0
Current children cumulated CPU time (s) 1178.05
Current children cumulated vsize (KiB) 39352

[startup+1244.12 s]
/proc/loadavg: 2.00 2.00 2.23 4/89 25932
/proc/meminfo: memFree=1796120/2055920 swapFree=4192812/4192956
[pid=25715] ppid=25713 vsize=13724 CPUtime=7
/proc/25715/stat : 25715 (sugar) S 25713 25715 25150 0 -1 4194304 1275 31993 0 2 4 0 675 21 16 0 1 0 29653721 14053376 815 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25715/statm: 3431 815 373 3 0 531 0
[pid=25734] ppid=25715 vsize=26072 CPUtime=1230.84
/proc/25734/stat : 25734 (minisat) R 25715 25715 25150 0 -1 0 6264 0 0 0 123070 14 0 0 25 0 1 0 29654436 26697728 6010 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528559 0 0 4096 3 0 0 0 17 1 0 0
/proc/25734/statm: 6518 6010 51 112 0 6402 0
Current children cumulated CPU time (s) 1237.84
Current children cumulated vsize (KiB) 39796

[startup+1304.21 s]
/proc/loadavg: 2.00 2.00 2.21 3/89 25932
/proc/meminfo: memFree=1795096/2055920 swapFree=4192812/4192956
[pid=25715] ppid=25713 vsize=13724 CPUtime=7
/proc/25715/stat : 25715 (sugar) S 25713 25715 25150 0 -1 4194304 1275 31993 0 2 4 0 675 21 16 0 1 0 29653721 14053376 815 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25715/statm: 3431 815 373 3 0 531 0
[pid=25734] ppid=25715 vsize=27028 CPUtime=1290.66
/proc/25734/stat : 25734 (minisat) R 25715 25715 25150 0 -1 0 6424 0 0 0 129051 15 0 0 25 0 1 0 29654436 27676672 6170 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/25734/statm: 6757 6170 51 112 0 6641 0
Current children cumulated CPU time (s) 1297.66
Current children cumulated vsize (KiB) 40752

[startup+1364.29 s]
/proc/loadavg: 2.00 2.00 2.19 3/89 25932
/proc/meminfo: memFree=1794264/2055920 swapFree=4192812/4192956
[pid=25715] ppid=25713 vsize=13724 CPUtime=7
/proc/25715/stat : 25715 (sugar) S 25713 25715 25150 0 -1 4194304 1275 31993 0 2 4 0 675 21 16 0 1 0 29653721 14053376 815 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25715/statm: 3431 815 373 3 0 531 0
[pid=25734] ppid=25715 vsize=27256 CPUtime=1350.45
/proc/25734/stat : 25734 (minisat) R 25715 25715 25150 0 -1 0 6474 0 0 0 135030 15 0 0 25 0 1 0 29654436 27910144 6220 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/25734/statm: 6814 6220 51 112 0 6698 0
Current children cumulated CPU time (s) 1357.45
Current children cumulated vsize (KiB) 40980

[startup+1424.37 s]
/proc/loadavg: 2.00 2.00 2.18 3/89 25932
/proc/meminfo: memFree=1793304/2055920 swapFree=4192812/4192956
[pid=25715] ppid=25713 vsize=13724 CPUtime=7
/proc/25715/stat : 25715 (sugar) S 25713 25715 25150 0 -1 4194304 1275 31993 0 2 4 0 675 21 16 0 1 0 29653721 14053376 815 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25715/statm: 3431 815 373 3 0 531 0
[pid=25734] ppid=25715 vsize=27404 CPUtime=1410.25
/proc/25734/stat : 25734 (minisat) R 25715 25715 25150 0 -1 0 6532 0 0 0 141010 15 0 0 25 0 1 0 29654436 28061696 6278 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/25734/statm: 6851 6278 51 112 0 6735 0
Current children cumulated CPU time (s) 1417.25
Current children cumulated vsize (KiB) 41128

[startup+1484.46 s]
/proc/loadavg: 2.00 2.00 2.17 3/89 25932
/proc/meminfo: memFree=1792088/2055920 swapFree=4192812/4192956
[pid=25715] ppid=25713 vsize=13724 CPUtime=7
/proc/25715/stat : 25715 (sugar) S 25713 25715 25150 0 -1 4194304 1275 31993 0 2 4 0 675 21 16 0 1 0 29653721 14053376 815 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25715/statm: 3431 815 373 3 0 531 0
[pid=25734] ppid=25715 vsize=28124 CPUtime=1470.06
/proc/25734/stat : 25734 (minisat) R 25715 25715 25150 0 -1 0 6703 0 0 0 146990 16 0 0 25 0 1 0 29654436 28798976 6449 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/25734/statm: 7031 6449 51 112 0 6915 0
Current children cumulated CPU time (s) 1477.06
Current children cumulated vsize (KiB) 41848

[startup+1544.55 s]
/proc/loadavg: 2.00 2.00 2.15 3/89 25932
/proc/meminfo: memFree=1791320/2055920 swapFree=4192812/4192956
[pid=25715] ppid=25713 vsize=13724 CPUtime=7
/proc/25715/stat : 25715 (sugar) S 25713 25715 25150 0 -1 4194304 1275 31993 0 2 4 0 675 21 16 0 1 0 29653721 14053376 815 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25715/statm: 3431 815 373 3 0 531 0
[pid=25734] ppid=25715 vsize=28712 CPUtime=1529.87
/proc/25734/stat : 25734 (minisat) R 25715 25715 25150 0 -1 0 6828 0 0 0 152970 17 0 0 25 0 1 0 29654436 29401088 6574 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/25734/statm: 7178 6574 51 112 0 7062 0
Current children cumulated CPU time (s) 1536.87
Current children cumulated vsize (KiB) 42436

[startup+1604.65 s]
/proc/loadavg: 2.00 2.00 2.14 3/89 25932
/proc/meminfo: memFree=1790424/2055920 swapFree=4192812/4192956
[pid=25715] ppid=25713 vsize=13724 CPUtime=7
/proc/25715/stat : 25715 (sugar) S 25713 25715 25150 0 -1 4194304 1275 31993 0 2 4 0 675 21 16 0 1 0 29653721 14053376 815 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25715/statm: 3431 815 373 3 0 531 0
[pid=25734] ppid=25715 vsize=28984 CPUtime=1589.66
/proc/25734/stat : 25734 (minisat) R 25715 25715 25150 0 -1 0 6895 0 0 0 158949 17 0 0 25 0 1 0 29654436 29679616 6641 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/25734/statm: 7246 6641 51 112 0 7130 0
Current children cumulated CPU time (s) 1596.66
Current children cumulated vsize (KiB) 42708

[startup+1664.73 s]
/proc/loadavg: 2.04 2.01 2.14 3/89 25932
/proc/meminfo: memFree=1789720/2055920 swapFree=4192812/4192956
[pid=25715] ppid=25713 vsize=13724 CPUtime=7
/proc/25715/stat : 25715 (sugar) S 25713 25715 25150 0 -1 4194304 1275 31993 0 2 4 0 675 21 16 0 1 0 29653721 14053376 815 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25715/statm: 3431 815 373 3 0 531 0
[pid=25734] ppid=25715 vsize=29408 CPUtime=1649.47
/proc/25734/stat : 25734 (minisat) R 25715 25715 25150 0 -1 0 7018 0 0 0 164929 18 0 0 25 0 1 0 29654436 30113792 6764 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134522710 0 0 4096 3 0 0 0 17 1 0 0
/proc/25734/statm: 7352 6764 51 112 0 7236 0
Current children cumulated CPU time (s) 1656.47
Current children cumulated vsize (KiB) 43132

[startup+1724.82 s]
/proc/loadavg: 2.01 2.01 2.12 3/89 25932
/proc/meminfo: memFree=1788824/2055920 swapFree=4192812/4192956
[pid=25715] ppid=25713 vsize=13724 CPUtime=7
/proc/25715/stat : 25715 (sugar) S 25713 25715 25150 0 -1 4194304 1275 31993 0 2 4 0 675 21 16 0 1 0 29653721 14053376 815 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25715/statm: 3431 815 373 3 0 531 0
[pid=25734] ppid=25715 vsize=29984 CPUtime=1709.26
/proc/25734/stat : 25734 (minisat) R 25715 25715 25150 0 -1 0 7146 0 0 0 170908 18 0 0 25 0 1 0 29654436 30703616 6892 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/25734/statm: 7496 6892 51 112 0 7380 0
Current children cumulated CPU time (s) 1716.26
Current children cumulated vsize (KiB) 43708

[startup+1784.9 s]
/proc/loadavg: 2.00 2.00 2.11 3/89 25932
/proc/meminfo: memFree=1788120/2055920 swapFree=4192812/4192956
[pid=25715] ppid=25713 vsize=13724 CPUtime=7
/proc/25715/stat : 25715 (sugar) S 25713 25715 25150 0 -1 4194304 1275 31993 0 2 4 0 675 21 16 0 1 0 29653721 14053376 815 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25715/statm: 3431 815 373 3 0 531 0
[pid=25734] ppid=25715 vsize=30468 CPUtime=1769.07
/proc/25734/stat : 25734 (minisat) R 25715 25715 25150 0 -1 0 7255 0 0 0 176888 19 0 0 25 0 1 0 29654436 31199232 7001 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/25734/statm: 7617 7001 51 112 0 7501 0
Current children cumulated CPU time (s) 1776.07
Current children cumulated vsize (KiB) 44192



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1808.93 s]
/proc/loadavg: 2.00 2.00 2.11 2/82 25945
/proc/meminfo: memFree=1819600/2055920 swapFree=4192812/4192956
[pid=25715] ppid=25713 vsize=13724 CPUtime=7
/proc/25715/stat : 25715 (sugar) S 25713 25715 25150 0 -1 4194304 1275 31993 0 2 4 0 675 21 16 0 1 0 29653721 14053376 815 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 240481513570 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25715/statm: 3431 815 373 3 0 531 0
[pid=25734] ppid=25715 vsize=30468 CPUtime=1793
/proc/25734/stat : 25734 (minisat) R 25715 25715 25150 0 -1 0 7282 0 0 0 179281 19 0 0 25 0 1 0 29654436 31199232 7028 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/25734/statm: 7617 7028 51 112 0 7501 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 44192

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Child status: 1
Real time (s): 1808.95
CPU time (s): 1800.04
CPU user time (s): 1799.62
CPU system time (s): 0.425935
CPU usage (%): 99.5074
Max. virtual memory (cumulated for all children) (KiB): 821060

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.62
system time used= 0.425935
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40640
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1681
involuntary context switches= 56960

runsolver used 2.09468 s user time and 5.9281 s system time

The end

Launcher Data (download as text)

Begin job on node15 on Mon Jan 29 18:56:32 UTC 2007


IDJOB= 208105
IDBENCH= 4352
IDSOLVER= 86
FILE ID= node15/208105-1170096991

PBS_JOBID= 3689453

Free space on /tmp= 66559 MiB

SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-26/rand-26-26-325-155-56021_ext.xml
COMMAND LINE= /tmp/evaluation/208105-1170096991/solver /tmp/evaluation/208105-1170096991 /tmp/evaluation/208105-1170096991/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node15/watcher-208105-1170096991 -o ROOT/results/node15/solver-208105-1170096991 -C 1800 -M 900  /tmp/evaluation/208105-1170096991/solver /tmp/evaluation/208105-1170096991 /tmp/evaluation/208105-1170096991/unknown.xml

META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH=  0e87c6c27c1f9bb5bfcab323b377dfc4

RANDOM SEED= 431716382

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.276
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.276
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1795448 kB
Buffers:         34156 kB
Cached:          55808 kB
SwapCached:          0 kB
Active:         163192 kB
Inactive:        49396 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1795448 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            4060 kB
Writeback:           0 kB
Mapped:         148204 kB
Slab:            32500 kB
Committed_AS:   586764 kB
PageTables:       2332 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66561 MiB



End job on node15 on Mon Jan 29 19:26:43 UTC 2007