Trace number 208266

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.40SAT 991.733 1000.78

General information on the benchmark

Namerandom/rand-2-40-19-fcd/
rand-2-40-19-443-230-fcd-27_ext.xml
MD5SUMfc31e74b7cf40a63c543bd632342ca6b
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark4.37033
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables40
Number of constraints338
Maximum constraint arity2
Maximum domain size19
Number of constraints which are defined in extension338
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/208266-1170097002/sugar-v0-40.jar)
0.05	
0.05	c # MAIN  BEGIN : /tmp/evaluation/208266-1170097002/unknown.xml [Mon Jan 29 19:56:43 2007]
0.05	c # CONVERT_XML  BEGIN : /tmp/evaluation/208266-1170097002/unknown.xml /tmp/evaluation/208266-1170097002/sugar25287.csp [Mon Jan 29 19:56:43 2007]
0.05	c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/208266-1170097002/sugar-v0-40.jar -convert /tmp/evaluation/208266-1170097002/unknown.xml /tmp/evaluation/208266-1170097002/sugar25287.csp
0.16	c BEGIN convert /tmp/evaluation/208266-1170097002/unknown.xml
0.64	c END convert (0.475665 seconds)
0.65	c # CONVERT_XML  END : /tmp/evaluation/208266-1170097002/sugar25287.csp 1083521 bytes (1 seconds) [Mon Jan 29 19:56:44 2007]
0.65	c # CONVERT_XML  CPU : 0.58 = 0 + 0 + 0.52 + 0.06
0.65	
0.65	c # GENERATE_SAT  BEGIN : /tmp/evaluation/208266-1170097002/sugar25287.bcnf [Mon Jan 29 19:56:44 2007]
0.65	c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/208266-1170097002/sugar-v0-40.jar -bcnf -map /tmp/evaluation/208266-1170097002/sugar25287.map /tmp/evaluation/208266-1170097002/sugar25287.csp /tmp/evaluation/208266-1170097002/sugar25287.bcnf
0.76	c BEGIN parse /tmp/evaluation/208266-1170097002/sugar25287.csp
16.65	c END parse (15.891972 seconds)
16.65	c BEGIN simplify
16.74	c END simplify (0.085964 seconds)
16.74	c BEGIN encode /tmp/evaluation/208266-1170097002/sugar25287.bcnf
17.48	c END encode (0.743249 seconds)
17.62	c # GENERATE_SAT  END : 8206 variables 48509 clauses 6668340 bytes (17 seconds) [Mon Jan 29 19:57:01 2007]
17.62	c # GENERATE_SAT  CPU : 16.82 = 0.07 + 0.01 + 16.36 + 0.38
17.62	
17.62	c # SOLVE_SAT  BEGIN : /tmp/evaluation/208266-1170097002/sugar25287.bcnf [Mon Jan 29 19:57:01 2007]
17.62	c # CMD : /tmp/evaluation/208266-1170097002/minisat /tmp/evaluation/208266-1170097002/sugar25287.bcnf /tmp/evaluation/208266-1170097002/sugar25287.out
17.77	c ==================================[MINISAT]===================================
17.77	c | Conflicts |     ORIGINAL     |              LEARNT              | Progress |
17.77	c |           | Clauses Literals |   Limit Clauses Literals  Lit/Cl |          |
17.77	c ==============================================================================
17.77	c |         0 |   48509  1618568 |   16169       0        0     nan |  0.000 % |
17.81	c |       101 |   48511  1618568 |   17785      99     1904    19.2 |  0.000 % |
17.86	c |       251 |   48511  1618568 |   19564     249     4508    18.1 |  0.000 % |
17.93	c |       476 |   48512  1618568 |   21520     473     7995    16.9 |  0.000 % |
18.06	c |       814 |   48512  1618568 |   23673     811    13778    17.0 |  0.000 % |
18.26	c |      1321 |   48512  1618568 |   26040    1318    21492    16.3 |  0.000 % |
18.52	c |      2081 |   48515  1618568 |   28644    2075    35394    17.1 |  0.000 % |
18.99	c |      3221 |   48515  1618568 |   31508    3215    58120    18.1 |  0.000 % |
19.69	c |      4930 |   48516  1618568 |   34659    4923    88675    18.0 |  0.000 % |
20.77	c |      7495 |   48520  1618568 |   38125    7484   139738    18.7 |  0.000 % |
22.28	c |     11339 |   48520  1618568 |   41938   11328   235409    20.8 |  0.000 % |
24.82	c |     17105 |   48521  1618568 |   46132   17093   378556    22.1 |  0.000 % |
29.08	c |     25754 |   48525  1618568 |   50745   25738   568216    22.1 |  0.000 % |
36.80	c |     38728 |   48527  1618568 |   55819   38710   855296    22.1 |  0.000 % |
51.06	c |     58190 |   48531  1618568 |   61401   16663   462345    27.7 |  0.000 % |
72.62	c |     87384 |   48539  1618568 |   67541   45849  1452550    31.7 |  0.000 % |
111.70	c |    131173 |   48551  1618568 |   74296   39215  1168686    29.8 |  0.000 % |
159.86	c |    196857 |   48574  1618568 |   81725   45557  1299424    28.5 |  0.000 % |
249.10	c |    295384 |   48604  1618568 |   89898   79562  2607233    32.8 |  0.000 % |
391.83	c |    443173 |   48625  1618568 |   98888   81674  3323350    40.7 |  0.000 % |
642.95	c |    664859 |   48656  1618568 |  108776   61215  2084577    34.1 |  0.000 % |
1000.34	c ==============================================================================
1000.34	c restarts              : 21
1000.34	c conflicts             : 976020         (1003 /sec)
1000.34	c decisions             : 1586407        (1630 /sec)
1000.34	c propagations          : 384904549      (395464 /sec)
1000.34	c conflict literals     : 36433296       (49.24 % deleted)
1000.34	c Memory used           : 35.88 MB
1000.34	c CPU time              : 973.299 s
1000.34	c 
1000.34	c SATISFIABLE
1000.35	c # SOLVE_SAT  END : SATISFIABLE (983 seconds) [Mon Jan 29 20:13:24 2007]
1000.35	c # SOLVE_SAT  CPU : 973.96 = 0 + 0 + 973.3 + 0.66
1000.35	
1000.35	c # RESULT : SATISFIABLE
1000.35	
1000.35	c # OUTPUT_SOL  BEGIN : SAT  [Mon Jan 29 20:13:24 2007]
1000.48	c BEGIN read SAT output /tmp/evaluation/208266-1170097002/sugar25287.out
1000.52	c END read SAT output (0.038467 seconds)
1000.52	c BEGIN write solution /tmp/evaluation/208266-1170097002/sugar25287.sol
1000.68	c END write solution (0.165025 seconds)
1000.70	s SATISFIABLE
1000.71	v 1 0 12 11 11 11 13 13 18 14 17 11 12 0 7 15 16 15 12 2 17 3 0 2 14 1 12 15 9 9 4 14 13 12 8 11 8 5 8 2
1000.71	c # OUTPUT_SOL  END :  (0 seconds) [Mon Jan 29 20:13:24 2007]
1000.71	c # OUTPUT_SOL  CPU : 0.320000000000086 = 0 + 0 + 0.280000000000086 + 0.0399999999999998
1000.71	
1000.71	c # MAIN  END :  (1001 seconds) [Mon Jan 29 20:13:24 2007]
1000.71	c # MAIN  CPU : 991.68 = 0.07 + 0.01 + 990.46 + 1.14
1000.71

Verifier Data (download as text)

OK

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node14/watcher-208266-1170097002 -o ROOT/results/node14/solver-208266-1170097002 -C 1800 -M 900 /tmp/evaluation/208266-1170097002/solver /tmp/evaluation/208266-1170097002 /tmp/evaluation/208266-1170097002/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: 4.07 3.76 3.71 5/95 25288
/proc/meminfo: memFree=350728/2055920 swapFree=4192812/4192956
[pid=25287] ppid=25285 vsize=18540 CPUtime=0
/proc/25287/stat : 25287 (runsolver) R 25285 25287 24861 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 29654758 18984960 279 18446744073709551615 4194304 4267372 548682069040 18446744073709551615 212234464551 0 0 4096 24578 0 0 0 17 1 0 0
/proc/25287/statm: 4635 279 244 17 0 2626 0

[startup+0.131253 s]
/proc/loadavg: 4.07 3.76 3.71 5/95 25288
/proc/meminfo: memFree=350728/2055920 swapFree=4192812/4192956
[pid=25287] ppid=25285 vsize=13724 CPUtime=0.03
/proc/25287/stat : 25287 (sugar) S 25285 25287 24861 0 -1 4194304 1112 0 0 0 3 0 0 0 20 0 1 0 29654758 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25287/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724

[startup+0.539291 s]
/proc/loadavg: 4.07 3.76 3.71 5/95 25288
/proc/meminfo: memFree=350728/2055920 swapFree=4192812/4192956
[pid=25287] ppid=25285 vsize=13724 CPUtime=0.03
/proc/25287/stat : 25287 (sugar) S 25285 25287 24861 0 -1 4194304 1121 0 0 0 3 0 0 0 16 0 1 0 29654758 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25287/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724

[startup+1.36237 s]
/proc/loadavg: 3.98 3.75 3.70 4/104 25305
/proc/meminfo: memFree=306048/2055920 swapFree=4192812/4192956
[pid=25287] ppid=25285 vsize=13724 CPUtime=0.61
/proc/25287/stat : 25287 (sugar) S 25285 25287 24861 0 -1 4194304 1190 7505 0 1 3 0 52 6 15 0 1 0 29654758 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25287/statm: 3431 809 371 3 0 531 0
[pid=25298] ppid=25287 vsize=807064 CPUtime=0.68
/proc/25298/stat : 25298 (java) R 25287 25287 24861 0 -1 0 8188 0 1 0 64 4 0 0 25 0 8 0 29654824 826433536 7934 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25298/statm: 201766 7934 1494 14 0 189044 0
[pid=25298/tid=25299] ppid=25287 vsize=807064 CPUtime=0.12
/proc/25298/task/25299/stat : 25299 (java) R 25287 25287 24861 0 -1 64 2133 0 0 0 12 0 0 0 16 0 8 0 29654827 826433536 7934 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153827336 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25298/tid=25300] ppid=25287 vsize=807064 CPUtime=0
/proc/25298/task/25300/stat : 25300 (java) S 25287 25287 24861 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29654827 826433536 7934 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25298/tid=25301] ppid=25287 vsize=807064 CPUtime=0
/proc/25298/task/25301/stat : 25301 (java) S 25287 25287 24861 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29654827 826433536 7934 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25298/tid=25302] ppid=25287 vsize=807064 CPUtime=0
/proc/25298/task/25302/stat : 25302 (java) S 25287 25287 24861 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 29654830 826433536 7934 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25298/tid=25303] ppid=25287 vsize=807064 CPUtime=0.04
/proc/25298/task/25303/stat : 25303 (java) S 25287 25287 24861 0 -1 64 292 0 0 0 4 0 0 0 18 0 8 0 29654830 826433536 7934 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25298/tid=25304] ppid=25287 vsize=807064 CPUtime=0
/proc/25298/task/25304/stat : 25304 (java) S 25287 25287 24861 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 29654830 826433536 7934 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25298/tid=25305] ppid=25287 vsize=807064 CPUtime=0
/proc/25298/task/25305/stat : 25305 (java) S 25287 25287 24861 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29654830 826433536 7934 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 820788

[startup+3.01553 s]
/proc/loadavg: 3.98 3.75 3.70 3/103 25305
/proc/meminfo: memFree=271368/2055920 swapFree=4192812/4192956
[pid=25287] ppid=25285 vsize=13724 CPUtime=0.61
/proc/25287/stat : 25287 (sugar) S 25285 25287 24861 0 -1 4194304 1190 7505 0 1 3 0 52 6 15 0 1 0 29654758 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25287/statm: 3431 809 371 3 0 531 0
[pid=25298] ppid=25287 vsize=807336 CPUtime=2.34
/proc/25298/stat : 25298 (java) R 25287 25287 24861 0 -1 0 16677 0 1 0 225 9 0 0 23 0 8 0 29654824 826712064 16396 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073702090 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25298/statm: 201834 16396 1506 14 0 189112 0
[pid=25298/tid=25299] ppid=25287 vsize=807336 CPUtime=0.57
/proc/25298/task/25299/stat : 25299 (java) S 25287 25287 24861 0 -1 64 10449 0 0 0 53 4 0 0 16 0 8 0 29654827 826712064 16396 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25298/tid=25300] ppid=25287 vsize=807336 CPUtime=0
/proc/25298/task/25300/stat : 25300 (java) S 25287 25287 24861 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29654827 826712064 16396 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25298/tid=25301] ppid=25287 vsize=807336 CPUtime=0
/proc/25298/task/25301/stat : 25301 (java) S 25287 25287 24861 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29654827 826712064 16396 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25298/tid=25302] ppid=25287 vsize=807336 CPUtime=0
/proc/25298/task/25302/stat : 25302 (java) S 25287 25287 24861 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 29654830 826712064 16396 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25298/tid=25303] ppid=25287 vsize=807336 CPUtime=0.12
/proc/25298/task/25303/stat : 25303 (java) S 25287 25287 24861 0 -1 64 400 0 0 0 12 0 0 0 16 0 8 0 29654830 826712064 16396 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25298/tid=25304] ppid=25287 vsize=807336 CPUtime=0
/proc/25298/task/25304/stat : 25304 (java) S 25287 25287 24861 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 29654830 826712064 16396 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25298/tid=25305] ppid=25287 vsize=807336 CPUtime=0
/proc/25298/task/25305/stat : 25305 (java) S 25287 25287 24861 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29654830 826712064 16396 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 821060

[startup+6.23984 s]
/proc/loadavg: 4.06 3.77 3.71 3/103 25305
/proc/meminfo: memFree=112904/2055920 swapFree=4192812/4192956
[pid=25287] ppid=25285 vsize=13724 CPUtime=0.61
/proc/25287/stat : 25287 (sugar) S 25285 25287 24861 0 -1 4194304 1190 7505 0 1 3 0 52 6 15 0 1 0 29654758 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25287/statm: 3431 809 371 3 0 531 0
[pid=25298] ppid=25287 vsize=807336 CPUtime=5.55
/proc/25298/stat : 25298 (java) R 25287 25287 24861 0 -1 0 38140 0 1 0 535 20 0 0 25 0 8 0 29654824 826712064 37766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153380222 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25298/statm: 201834 37766 1506 14 0 189112 0
[pid=25298/tid=25299] ppid=25287 vsize=807336 CPUtime=1.52
/proc/25298/task/25299/stat : 25299 (java) S 25287 25287 24861 0 -1 64 31816 0 0 0 138 14 0 0 16 0 8 0 29654827 826712064 37766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25298/tid=25300] ppid=25287 vsize=807336 CPUtime=0
/proc/25298/task/25300/stat : 25300 (java) S 25287 25287 24861 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29654827 826712064 37766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25298/tid=25301] ppid=25287 vsize=807336 CPUtime=0
/proc/25298/task/25301/stat : 25301 (java) S 25287 25287 24861 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29654827 826712064 37766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25298/tid=25302] ppid=25287 vsize=807336 CPUtime=0
/proc/25298/task/25302/stat : 25302 (java) S 25287 25287 24861 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 29654830 826712064 37766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25298/tid=25303] ppid=25287 vsize=807336 CPUtime=0.14
/proc/25298/task/25303/stat : 25303 (java) S 25287 25287 24861 0 -1 64 403 0 0 0 13 1 0 0 16 0 8 0 29654830 826712064 37766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25298/tid=25304] ppid=25287 vsize=807336 CPUtime=0
/proc/25298/task/25304/stat : 25304 (java) S 25287 25287 24861 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 29654830 826712064 37766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25298/tid=25305] ppid=25287 vsize=807336 CPUtime=0
/proc/25298/task/25305/stat : 25305 (java) S 25287 25287 24861 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29654830 826712064 37766 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.6855 s]
/proc/loadavg: 4.14 3.79 3.72 4/103 25307
/proc/meminfo: memFree=15368/2055920 swapFree=4192812/4192956
[pid=25287] ppid=25285 vsize=13724 CPUtime=0.61
/proc/25287/stat : 25287 (sugar) S 25285 25287 24861 0 -1 4194304 1190 7505 0 1 3 0 52 6 15 0 1 0 29654758 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25287/statm: 3431 809 371 3 0 531 0
[pid=25298] ppid=25287 vsize=807336 CPUtime=11.95
/proc/25298/stat : 25298 (java) R 25287 25287 24861 0 -1 0 54804 0 1 0 1165 30 0 0 25 0 8 0 29654824 826712064 54109 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073332702 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25298/statm: 201834 54109 1507 14 0 189112 0
[pid=25298/tid=25299] ppid=25287 vsize=807336 CPUtime=3.76
/proc/25298/task/25299/stat : 25299 (java) S 25287 25287 24861 0 -1 64 48252 0 0 0 354 22 0 0 16 0 8 0 29654827 826712064 54109 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25298/tid=25300] ppid=25287 vsize=807336 CPUtime=0
/proc/25298/task/25300/stat : 25300 (java) S 25287 25287 24861 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29654827 826712064 54109 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25298/tid=25301] ppid=25287 vsize=807336 CPUtime=0
/proc/25298/task/25301/stat : 25301 (java) S 25287 25287 24861 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29654827 826712064 54109 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25298/tid=25302] ppid=25287 vsize=807336 CPUtime=0
/proc/25298/task/25302/stat : 25302 (java) S 25287 25287 24861 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 29654830 826712064 54109 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25298/tid=25303] ppid=25287 vsize=807336 CPUtime=0.14
/proc/25298/task/25303/stat : 25303 (java) S 25287 25287 24861 0 -1 64 403 0 0 0 13 1 0 0 16 0 8 0 29654830 826712064 54109 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25298/tid=25304] ppid=25287 vsize=807336 CPUtime=0
/proc/25298/task/25304/stat : 25304 (java) S 25287 25287 24861 0 -1 64 3 0 0 0 0 0 0 0 25 0 8 0 29654830 826712064 54109 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25298/tid=25305] ppid=25287 vsize=807336 CPUtime=0
/proc/25298/task/25305/stat : 25305 (java) S 25287 25287 24861 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29654830 826712064 54109 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 821060

[startup+25.5357 s]
/proc/loadavg: 4.12 3.79 3.72 3/96 25311
/proc/meminfo: memFree=83392/2055920 swapFree=4192812/4192956
[pid=25287] ppid=25285 vsize=17764 CPUtime=17.43
/proc/25287/stat : 25287 (sugar) S 25285 25287 24861 0 -1 4194304 2295 62581 0 3 10 1 1688 44 16 0 1 0 29654758 18190336 1806 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25287/statm: 4441 1806 373 3 0 1541 0
[pid=25310] ppid=25287 vsize=12368 CPUtime=7.81
/proc/25310/stat : 25310 (minisat) R 25287 25287 24861 0 -1 0 3738 0 0 0 779 2 0 0 25 0 1 0 29656521 12664832 2699 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528535 0 0 4096 3 0 0 0 17 1 0 0
/proc/25310/statm: 3092 2699 52 112 0 2976 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 30132

[startup+51.2241 s]
/proc/loadavg: 4.23 3.86 3.74 3/96 25319
/proc/meminfo: memFree=14912/2055920 swapFree=4192812/4192956
[pid=25287] ppid=25285 vsize=17764 CPUtime=17.43
/proc/25287/stat : 25287 (sugar) S 25285 25287 24861 0 -1 4194304 2295 62581 0 3 10 1 1688 44 16 0 1 0 29654758 18190336 1806 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25287/statm: 4441 1806 373 3 0 1541 0
[pid=25310] ppid=25287 vsize=17304 CPUtime=33.22
/proc/25310/stat : 25310 (minisat) R 25287 25287 24861 0 -1 0 4977 0 0 0 3308 14 0 0 25 0 1 0 29656521 17719296 3938 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134524981 0 0 4096 3 0 0 0 17 1 0 0
/proc/25310/statm: 4326 3938 52 112 0 4210 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 35068

[startup+102.482 s]
/proc/loadavg: 3.93 3.81 3.73 3/98 25335
/proc/meminfo: memFree=15088/2055920 swapFree=4192812/4192956
[pid=25287] ppid=25285 vsize=17764 CPUtime=17.43
/proc/25287/stat : 25287 (sugar) S 25285 25287 24861 0 -1 4194304 2295 62581 0 3 10 1 1688 44 16 0 1 0 29654758 18190336 1806 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25287/statm: 4441 1806 373 3 0 1541 0
[pid=25310] ppid=25287 vsize=21480 CPUtime=84.03
/proc/25310/stat : 25310 (minisat) R 25287 25287 24861 0 -1 0 6009 0 0 0 8366 37 0 0 25 0 1 0 29656521 21995520 4970 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134525952 0 0 4096 3 0 0 0 17 1 0 0
/proc/25310/statm: 5370 4970 52 112 0 5254 0
Current children cumulated CPU time (s) 101.46
Current children cumulated vsize (KiB) 39244

[startup+162.489 s]
/proc/loadavg: 3.18 3.65 3.68 2/89 25343
/proc/meminfo: memFree=1855616/2055920 swapFree=4192812/4192956
[pid=25287] ppid=25285 vsize=17764 CPUtime=17.43
/proc/25287/stat : 25287 (sugar) S 25285 25287 24861 0 -1 4194304 2295 62581 0 3 10 1 1688 44 16 0 1 0 29654758 18190336 1806 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25287/statm: 4441 1806 373 3 0 1541 0
[pid=25310] ppid=25287 vsize=22288 CPUtime=143.41
/proc/25310/stat : 25310 (minisat) R 25287 25287 24861 0 -1 0 6231 0 0 0 14290 51 0 0 25 0 1 0 29656521 22822912 5192 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528316 0 0 4096 3 0 0 0 17 1 0 0
/proc/25310/statm: 5572 5192 52 112 0 5456 0
Current children cumulated CPU time (s) 160.84
Current children cumulated vsize (KiB) 40052

[startup+222.565 s]
/proc/loadavg: 2.64 3.41 3.59 4/95 25440
/proc/meminfo: memFree=1510856/2055920 swapFree=4192812/4192956
[pid=25287] ppid=25285 vsize=17764 CPUtime=17.43
/proc/25287/stat : 25287 (sugar) S 25285 25287 24861 0 -1 4194304 2295 62581 0 3 10 1 1688 44 16 0 1 0 29654758 18190336 1806 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25287/statm: 4441 1806 373 3 0 1541 0
[pid=25310] ppid=25287 vsize=23616 CPUtime=202.92
/proc/25310/stat : 25310 (minisat) R 25287 25287 24861 0 -1 0 6552 0 0 0 20235 57 0 0 25 0 1 0 29656521 24182784 5513 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/25310/statm: 5904 5513 52 112 0 5788 0
Current children cumulated CPU time (s) 220.35
Current children cumulated vsize (KiB) 41380

[startup+282.638 s]
/proc/loadavg: 2.54 3.24 3.52 4/101 25524
/proc/meminfo: memFree=1484880/2055920 swapFree=4192812/4192956
[pid=25287] ppid=25285 vsize=17764 CPUtime=17.43
/proc/25287/stat : 25287 (sugar) S 25285 25287 24861 0 -1 4194304 2295 62581 0 3 10 1 1688 44 16 0 1 0 29654758 18190336 1806 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25287/statm: 4441 1806 373 3 0 1541 0
[pid=25310] ppid=25287 vsize=26892 CPUtime=262.49
/proc/25310/stat : 25310 (minisat) R 25287 25287 24861 0 -1 0 7389 0 0 0 26190 59 0 0 25 0 1 0 29656521 27537408 6350 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528572 0 0 4096 3 0 0 0 17 1 0 0
/proc/25310/statm: 6723 6350 52 112 0 6607 0
Current children cumulated CPU time (s) 279.92
Current children cumulated vsize (KiB) 44656

[startup+342.66 s]
/proc/loadavg: 2.66 3.13 3.47 4/101 25612
/proc/meminfo: memFree=1455896/2055920 swapFree=4192812/4192956
[pid=25287] ppid=25285 vsize=17764 CPUtime=17.43
/proc/25287/stat : 25287 (sugar) S 25285 25287 24861 0 -1 4194304 2295 62581 0 3 10 1 1688 44 16 0 1 0 29654758 18190336 1806 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25287/statm: 4441 1806 373 3 0 1541 0
[pid=25310] ppid=25287 vsize=28504 CPUtime=322.11
/proc/25310/stat : 25310 (minisat) R 25287 25287 24861 0 -1 0 7765 0 0 0 32151 60 0 0 25 0 1 0 29656521 29188096 6726 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528316 0 0 4096 3 0 0 0 17 1 0 0
/proc/25310/statm: 7126 6726 52 112 0 7010 0
Current children cumulated CPU time (s) 339.54
Current children cumulated vsize (KiB) 46268

[startup+402.66 s]
/proc/loadavg: 2.91 3.12 3.44 4/95 25638
/proc/meminfo: memFree=1433672/2055920 swapFree=4192812/4192956
[pid=25287] ppid=25285 vsize=17764 CPUtime=17.43
/proc/25287/stat : 25287 (sugar) S 25285 25287 24861 0 -1 4194304 2295 62581 0 3 10 1 1688 44 16 0 1 0 29654758 18190336 1806 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25287/statm: 4441 1806 373 3 0 1541 0
[pid=25310] ppid=25287 vsize=29456 CPUtime=381.78
/proc/25310/stat : 25310 (minisat) R 25287 25287 24861 0 -1 0 8014 0 0 0 38118 60 0 0 25 0 1 0 29656521 30162944 6975 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134527303 0 0 4096 3 0 0 0 17 1 0 0
/proc/25310/statm: 7364 6975 52 112 0 7248 0
Current children cumulated CPU time (s) 399.21
Current children cumulated vsize (KiB) 47220

[startup+462.762 s]
/proc/loadavg: 2.84 3.06 3.40 4/95 25638
/proc/meminfo: memFree=1402760/2055920 swapFree=4192812/4192956
[pid=25287] ppid=25285 vsize=17764 CPUtime=17.43
/proc/25287/stat : 25287 (sugar) S 25285 25287 24861 0 -1 4194304 2295 62581 0 3 10 1 1688 44 16 0 1 0 29654758 18190336 1806 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25287/statm: 4441 1806 373 3 0 1541 0
[pid=25310] ppid=25287 vsize=31220 CPUtime=441.4
/proc/25310/stat : 25310 (minisat) R 25287 25287 24861 0 -1 0 8410 0 0 0 44079 61 0 0 25 0 1 0 29656521 31969280 7371 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/25310/statm: 7805 7371 52 112 0 7689 0
Current children cumulated CPU time (s) 458.83
Current children cumulated vsize (KiB) 48984

[startup+522.764 s]
/proc/loadavg: 2.65 2.97 3.34 4/95 25638
/proc/meminfo: memFree=1396168/2055920 swapFree=4192812/4192956
[pid=25287] ppid=25285 vsize=17764 CPUtime=17.43
/proc/25287/stat : 25287 (sugar) S 25285 25287 24861 0 -1 4194304 2295 62581 0 3 10 1 1688 44 16 0 1 0 29654758 18190336 1806 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25287/statm: 4441 1806 373 3 0 1541 0
[pid=25310] ppid=25287 vsize=31484 CPUtime=500.84
/proc/25310/stat : 25310 (minisat) R 25287 25287 24861 0 -1 0 8472 0 0 0 50023 61 0 0 25 0 1 0 29656521 32239616 7433 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528677 0 0 4096 3 0 0 0 17 1 0 0
/proc/25310/statm: 7871 7433 52 112 0 7755 0
Current children cumulated CPU time (s) 518.27
Current children cumulated vsize (KiB) 49248

[startup+582.802 s]
/proc/loadavg: 2.71 2.93 3.30 4/95 25638
/proc/meminfo: memFree=1374152/2055920 swapFree=4192812/4192956
[pid=25287] ppid=25285 vsize=17764 CPUtime=17.43
/proc/25287/stat : 25287 (sugar) S 25285 25287 24861 0 -1 4194304 2295 62581 0 3 10 1 1688 44 16 0 1 0 29654758 18190336 1806 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25287/statm: 4441 1806 373 3 0 1541 0
[pid=25310] ppid=25287 vsize=31628 CPUtime=560.31
/proc/25310/stat : 25310 (minisat) R 25287 25287 24861 0 -1 0 8501 0 0 0 55970 61 0 0 25 0 1 0 29656521 32387072 7462 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528442 0 0 4096 3 0 0 0 17 1 0 0
/proc/25310/statm: 7907 7462 52 112 0 7791 0
Current children cumulated CPU time (s) 577.74
Current children cumulated vsize (KiB) 49392

[startup+642.816 s]
/proc/loadavg: 2.69 2.88 3.26 5/95 25638
/proc/meminfo: memFree=1351688/2055920 swapFree=4192812/4192956
[pid=25287] ppid=25285 vsize=17764 CPUtime=17.43
/proc/25287/stat : 25287 (sugar) S 25285 25287 24861 0 -1 4194304 2295 62581 0 3 10 1 1688 44 16 0 1 0 29654758 18190336 1806 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25287/statm: 4441 1806 373 3 0 1541 0
[pid=25310] ppid=25287 vsize=31628 CPUtime=619.76
/proc/25310/stat : 25310 (minisat) R 25287 25287 24861 0 -1 0 8502 0 0 0 61915 61 0 0 25 0 1 0 29656521 32387072 7463 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/25310/statm: 7907 7463 52 112 0 7791 0
Current children cumulated CPU time (s) 637.19
Current children cumulated vsize (KiB) 49392

[startup+702.831 s]
/proc/loadavg: 2.67 2.84 3.22 4/95 25638
/proc/meminfo: memFree=1338312/2055920 swapFree=4192812/4192956
[pid=25287] ppid=25285 vsize=17764 CPUtime=17.43
/proc/25287/stat : 25287 (sugar) S 25285 25287 24861 0 -1 4194304 2295 62581 0 3 10 1 1688 44 16 0 1 0 29654758 18190336 1806 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25287/statm: 4441 1806 373 3 0 1541 0
[pid=25310] ppid=25287 vsize=31628 CPUtime=679.21
/proc/25310/stat : 25310 (minisat) R 25287 25287 24861 0 -1 0 8512 0 0 0 67859 62 0 0 25 0 1 0 29656521 32387072 7473 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528342 0 0 4096 3 0 0 0 17 1 0 0
/proc/25310/statm: 7907 7473 52 112 0 7791 0
Current children cumulated CPU time (s) 696.64
Current children cumulated vsize (KiB) 49392

[startup+762.882 s]
/proc/loadavg: 2.81 2.84 3.19 3/95 25638
/proc/meminfo: memFree=1337864/2055920 swapFree=4192812/4192956
[pid=25287] ppid=25285 vsize=17764 CPUtime=17.43
/proc/25287/stat : 25287 (sugar) S 25285 25287 24861 0 -1 4194304 2295 62581 0 3 10 1 1688 44 16 0 1 0 29654758 18190336 1806 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25287/statm: 4441 1806 373 3 0 1541 0
[pid=25310] ppid=25287 vsize=32148 CPUtime=738.7
/proc/25310/stat : 25310 (minisat) R 25287 25287 24861 0 -1 0 8630 0 0 0 73808 62 0 0 25 0 1 0 29656521 32919552 7591 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/25310/statm: 8037 7591 52 112 0 7921 0
Current children cumulated CPU time (s) 756.13
Current children cumulated vsize (KiB) 49912

[startup+822.898 s]
/proc/loadavg: 2.70 2.80 3.16 4/95 25638
/proc/meminfo: memFree=1297672/2055920 swapFree=4192812/4192956
[pid=25287] ppid=25285 vsize=17764 CPUtime=17.43
/proc/25287/stat : 25287 (sugar) S 25285 25287 24861 0 -1 4194304 2295 62581 0 3 10 1 1688 44 16 0 1 0 29654758 18190336 1806 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25287/statm: 4441 1806 373 3 0 1541 0
[pid=25310] ppid=25287 vsize=36300 CPUtime=798.16
/proc/25310/stat : 25310 (minisat) R 25287 25287 24861 0 -1 0 9684 0 0 0 79752 64 0 0 25 0 1 0 29656521 37171200 8645 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/25310/statm: 9075 8645 52 112 0 8959 0
Current children cumulated CPU time (s) 815.59
Current children cumulated vsize (KiB) 54064

[startup+882.934 s]
/proc/loadavg: 2.91 2.84 3.15 4/95 25638
/proc/meminfo: memFree=1274568/2055920 swapFree=4192812/4192956
[pid=25287] ppid=25285 vsize=17764 CPUtime=17.43
/proc/25287/stat : 25287 (sugar) S 25285 25287 24861 0 -1 4194304 2295 62581 0 3 10 1 1688 44 16 0 1 0 29654758 18190336 1806 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25287/statm: 4441 1806 373 3 0 1541 0
[pid=25310] ppid=25287 vsize=36596 CPUtime=857.63
/proc/25310/stat : 25310 (minisat) R 25287 25287 24861 0 -1 0 9732 0 0 0 85699 64 0 0 25 0 1 0 29656521 37474304 8693 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/25310/statm: 9149 8693 52 112 0 9033 0
Current children cumulated CPU time (s) 875.06
Current children cumulated vsize (KiB) 54360

[startup+942.958 s]
/proc/loadavg: 2.79 2.80 3.11 4/95 25638
/proc/meminfo: memFree=1272136/2055920 swapFree=4192812/4192956
[pid=25287] ppid=25285 vsize=17764 CPUtime=17.43
/proc/25287/stat : 25287 (sugar) S 25285 25287 24861 0 -1 4194304 2295 62581 0 3 10 1 1688 44 16 0 1 0 29654758 18190336 1806 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25287/statm: 4441 1806 373 3 0 1541 0
[pid=25310] ppid=25287 vsize=36740 CPUtime=917.09
/proc/25310/stat : 25310 (minisat) R 25287 25287 24861 0 -1 0 9766 0 0 0 91645 64 0 0 25 0 1 0 29656521 37621760 8727 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/25310/statm: 9185 8727 52 112 0 9069 0
Current children cumulated CPU time (s) 934.52
Current children cumulated vsize (KiB) 54504

Child status: 0
Real time (s): 1000.78
CPU time (s): 991.733
CPU user time (s): 990.569
CPU system time (s): 1.16382
CPU usage (%): 99.096
Max. virtual memory (cumulated for all children) (KiB): 821312

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 990.569
system time used= 1.16382
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79787
page faults= 6
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5355
involuntary context switches= 50821

runsolver used 1.09583 s user time and 3.38348 s system time

The end

Launcher Data (download as text)

Begin job on node14 on Mon Jan 29 18:56:43 UTC 2007


IDJOB= 208266
IDBENCH= 4363
IDSOLVER= 86
FILE ID= node14/208266-1170097002

PBS_JOBID= 3689454

Free space on /tmp= 37704 MiB

SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-27_ext.xml
COMMAND LINE= /tmp/evaluation/208266-1170097002/solver /tmp/evaluation/208266-1170097002 /tmp/evaluation/208266-1170097002/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node14/watcher-208266-1170097002 -o ROOT/results/node14/solver-208266-1170097002 -C 1800 -M 900  /tmp/evaluation/208266-1170097002/solver /tmp/evaluation/208266-1170097002 /tmp/evaluation/208266-1170097002/unknown.xml

META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH=  fc31e74b7cf40a63c543bd632342ca6b

RANDOM SEED= 687067345

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.216
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.216
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:        351592 kB
Buffers:          3492 kB
Cached:        1486796 kB
SwapCached:          0 kB
Active:         161084 kB
Inactive:      1459768 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        351592 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:          783728 kB
Writeback:           0 kB
Mapped:         156032 kB
Slab:            68104 kB
Committed_AS:   521628 kB
PageTables:       2324 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= 66551 MiB



End job on node14 on Mon Jan 29 19:13:24 UTC 2007