Trace number 195072

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.06 1809.95

General information on the benchmark

Namerandom/rand-2-50-23/
rand-2-50-23-587-230-18_ext.xml
MD5SUM8f948212b2819e3fd0e98ce18eeb5756
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of constraints484
Maximum constraint arity2
Maximum domain size23
Number of constraints which are defined in extension484
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/195072-1170092084/sugar-v0-40.jar)
0.05	
0.05	c # MAIN  BEGIN : /tmp/evaluation/195072-1170092084/unknown.xml [Mon Jan 29 18:34:44 2007]
0.05	c # CONVERT_XML  BEGIN : /tmp/evaluation/195072-1170092084/unknown.xml /tmp/evaluation/195072-1170092084/sugar25468.csp [Mon Jan 29 18:34:44 2007]
0.05	c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/195072-1170092084/sugar-v0-40.jar -convert /tmp/evaluation/195072-1170092084/unknown.xml /tmp/evaluation/195072-1170092084/sugar25468.csp
0.18	c BEGIN convert /tmp/evaluation/195072-1170092084/unknown.xml
0.86	c END convert (0.674217 seconds)
0.88	c # CONVERT_XML  END : /tmp/evaluation/195072-1170092084/sugar25468.csp 2203240 bytes (1 seconds) [Mon Jan 29 18:34:45 2007]
0.88	c # CONVERT_XML  CPU : 0.78 = 0 + 0 + 0.71 + 0.07
0.88	
0.88	c # GENERATE_SAT  BEGIN : /tmp/evaluation/195072-1170092084/sugar25468.bcnf [Mon Jan 29 18:34:45 2007]
0.88	c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/195072-1170092084/sugar-v0-40.jar -bcnf -map /tmp/evaluation/195072-1170092084/sugar25468.map /tmp/evaluation/195072-1170092084/sugar25468.csp /tmp/evaluation/195072-1170092084/sugar25468.bcnf
0.99	c BEGIN parse /tmp/evaluation/195072-1170092084/sugar25468.csp
26.73	c END parse (25.740192 seconds)
26.73	c BEGIN simplify
26.83	c END simplify (0.097681 seconds)
26.83	c BEGIN encode /tmp/evaluation/195072-1170092084/sugar25468.bcnf
27.68	c END encode (0.849647 seconds)
27.81	c # GENERATE_SAT  END : 5796 variables 77458 clauses 6780560 bytes (27 seconds) [Mon Jan 29 18:35:12 2007]
27.81	c # GENERATE_SAT  CPU : 26.72 = 0.04 + 0.01 + 26.24 + 0.43
27.81	
27.81	c # SOLVE_SAT  BEGIN : /tmp/evaluation/195072-1170092084/sugar25468.bcnf [Mon Jan 29 18:35:12 2007]
27.81	c # CMD : /tmp/evaluation/195072-1170092084/minisat /tmp/evaluation/195072-1170092084/sugar25468.bcnf /tmp/evaluation/195072-1170092084/sugar25468.out
27.97	c ==================================[MINISAT]===================================
27.97	c | Conflicts |     ORIGINAL     |              LEARNT              | Progress |
27.97	c |           | Clauses Literals |   Limit Clauses Literals  Lit/Cl |          |
27.97	c ==============================================================================
27.97	c |         0 |   77458  1617674 |   25819       0        0     nan |  0.000 % |
28.00	c |       101 |   77458  1617674 |   28400     101     2174    21.5 |  0.000 % |
28.06	c |       251 |   77458  1617674 |   31240     251     4228    16.8 |  0.000 % |
28.16	c |       478 |   77458  1617674 |   34365     478     7988    16.7 |  0.000 % |
28.28	c |       816 |   77458  1617674 |   37801     816    12108    14.8 |  0.000 % |
28.54	c |      1322 |   77459  1617674 |   41581    1321    20416    15.5 |  0.000 % |
28.88	c |      2081 |   77459  1617674 |   45739    2080    31419    15.1 |  0.000 % |
29.38	c |      3220 |   77460  1617674 |   50313    3218    48878    15.2 |  0.000 % |
30.24	c |      4928 |   77460  1617674 |   55345    4926    77701    15.8 |  0.000 % |
31.64	c |      7490 |   77461  1617674 |   60879    7487   123114    16.4 |  0.000 % |
33.70	c |     11336 |   77462  1617674 |   66967   11332   197409    17.4 |  0.000 % |
37.00	c |     17104 |   77462  1617674 |   73664   17100   298906    17.5 |  0.000 % |
41.99	c |     25754 |   77463  1617674 |   81031   25749   467581    18.2 |  0.000 % |
51.87	c |     38729 |   77466  1617674 |   89134   38721   751290    19.4 |  0.000 % |
69.82	c |     58191 |   77467  1617674 |   98047   58182  1187882    20.4 |  0.000 % |
99.05	c |     87384 |   77470  1617674 |  107852   87372  1755716    20.1 |  0.000 % |
142.73	c |    131175 |   77476  1617674 |  118637   38685   722021    18.7 |  0.000 % |
213.64	c |    196860 |   77483  1617674 |  130501  104363  2078837    19.9 |  0.000 % |
327.08	c |    295387 |   77490  1617674 |  143551   89029  2065339    23.2 |  0.000 % |
515.80	c |    443177 |   77498  1617674 |  157906  112915  2881268    25.5 |  0.000 % |
817.59	c |    664860 |   77509  1617674 |  173697   57729  1613602    28.0 |  0.000 % |
1312.73	c |    997385 |   77518  1617674 |  191067   80892  1910537    23.6 |  0.000 % |
1808.93	
1808.93	s UNKNOWN
1808.93	c # INTERRUPTED
1808.93	c # MAIN  END :  (1809 seconds) [Mon Jan 29 19:04:53 2007]
1808.93	c # MAIN  CPU : 27.5 = 0.04 + 0.01 + 26.95 + 0.5
1808.93

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/node17/watcher-195072-1170092084 -o ROOT/results/node17/solver-195072-1170092084 -C 1800 -M 900 /tmp/evaluation/195072-1170092084/solver /tmp/evaluation/195072-1170092084 /tmp/evaluation/195072-1170092084/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.92 1.98 1.72 4/95 25469
/proc/meminfo: memFree=1421832/2055920 swapFree=4192956/4192956
[pid=25468] ppid=25466 vsize=18540 CPUtime=0
/proc/25468/stat : 25468 (runsolver) R 25466 25468 25217 0 -1 4194368 16 0 0 0 0 0 0 0 18 0 1 0 29162664 18984960 280 18446744073709551615 4194304 4267372 548682069040 18446744073709551615 245482712359 0 0 4096 24578 0 0 0 17 1 0 0
/proc/25468/statm: 4635 280 244 17 0 2626 0

[startup+0.108347 s]
/proc/loadavg: 1.92 1.98 1.72 4/95 25469
/proc/meminfo: memFree=1421832/2055920 swapFree=4192956/4192956
[pid=25468] ppid=25466 vsize=13724 CPUtime=0.03
/proc/25468/stat : 25468 (sugar) S 25466 25468 25217 0 -1 4194304 1112 0 0 0 3 0 0 0 16 0 1 0 29162664 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25468/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724

[startup+0.51638 s]
/proc/loadavg: 1.92 1.98 1.72 4/95 25469
/proc/meminfo: memFree=1421832/2055920 swapFree=4192956/4192956
[pid=25468] ppid=25466 vsize=13724 CPUtime=0.03
/proc/25468/stat : 25468 (sugar) S 25466 25468 25217 0 -1 4194304 1121 0 0 0 3 0 0 0 16 0 1 0 29162664 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25468/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724

[startup+1.33746 s]
/proc/loadavg: 1.92 1.98 1.72 3/103 25485
/proc/meminfo: memFree=1406984/2055920 swapFree=4192956/4192956
[pid=25468] ppid=25466 vsize=13724 CPUtime=0.81
/proc/25468/stat : 25468 (sugar) S 25466 25468 25217 0 -1 4194304 1190 7937 0 1 3 0 71 7 16 0 1 0 29162664 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25468/statm: 3431 809 371 3 0 531 0
[pid=25478] ppid=25468 vsize=807064 CPUtime=0.43
/proc/25478/stat : 25478 (java) R 25468 25468 25217 0 -1 0 7316 0 1 0 39 4 0 0 24 0 8 0 29162752 826433536 7065 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073455756 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25478/statm: 201766 7065 1494 14 0 189044 0
[pid=25478/tid=25479] ppid=25468 vsize=807064 CPUtime=0.05
/proc/25478/task/25479/stat : 25479 (java) S 25468 25468 25217 0 -1 64 1264 0 0 0 5 0 0 0 16 0 8 0 29162755 826433536 7065 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25478/tid=25480] ppid=25468 vsize=807064 CPUtime=0
/proc/25478/task/25480/stat : 25480 (java) S 25468 25468 25217 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29162756 826433536 7065 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25478/tid=25481] ppid=25468 vsize=807064 CPUtime=0
/proc/25478/task/25481/stat : 25481 (java) S 25468 25468 25217 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29162756 826433536 7065 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25478/tid=25482] ppid=25468 vsize=807064 CPUtime=0
/proc/25478/task/25482/stat : 25482 (java) S 25468 25468 25217 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 29162759 826433536 7065 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25478/tid=25483] ppid=25468 vsize=807064 CPUtime=0.05
/proc/25478/task/25483/stat : 25483 (java) S 25468 25468 25217 0 -1 64 292 0 0 0 5 0 0 0 17 0 8 0 29162759 826433536 7065 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25478/tid=25484] ppid=25468 vsize=807064 CPUtime=0
/proc/25478/task/25484/stat : 25484 (java) S 25468 25468 25217 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 29162759 826433536 7065 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25478/tid=25485] ppid=25468 vsize=807064 CPUtime=0
/proc/25478/task/25485/stat : 25485 (java) S 25468 25468 25217 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29162759 826433536 7065 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.97464 s]
/proc/loadavg: 1.92 1.98 1.72 3/103 25485
/proc/meminfo: memFree=1381512/2055920 swapFree=4192956/4192956
[pid=25468] ppid=25466 vsize=13724 CPUtime=0.81
/proc/25468/stat : 25468 (sugar) S 25466 25468 25217 0 -1 4194304 1190 7937 0 1 3 0 71 7 16 0 1 0 29162664 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25468/statm: 3431 809 371 3 0 531 0
[pid=25478] ppid=25468 vsize=807064 CPUtime=2.07
/proc/25478/stat : 25478 (java) R 25468 25468 25217 0 -1 0 13758 0 1 0 198 9 0 0 25 0 8 0 29162752 826433536 13492 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073495319 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25478/statm: 201766 13492 1494 14 0 189044 0
[pid=25478/tid=25479] ppid=25468 vsize=807064 CPUtime=0.59
/proc/25478/task/25479/stat : 25479 (java) S 25468 25468 25217 0 -1 64 7691 0 0 0 55 4 0 0 16 0 8 0 29162755 826433536 13492 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25478/tid=25480] ppid=25468 vsize=807064 CPUtime=0
/proc/25478/task/25480/stat : 25480 (java) S 25468 25468 25217 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29162756 826433536 13492 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25478/tid=25481] ppid=25468 vsize=807064 CPUtime=0
/proc/25478/task/25481/stat : 25481 (java) S 25468 25468 25217 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29162756 826433536 13492 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25478/tid=25482] ppid=25468 vsize=807064 CPUtime=0
/proc/25478/task/25482/stat : 25482 (java) S 25468 25468 25217 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 29162759 826433536 13492 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25478/tid=25483] ppid=25468 vsize=807064 CPUtime=0.05
/proc/25478/task/25483/stat : 25483 (java) S 25468 25468 25217 0 -1 64 292 0 0 0 5 0 0 0 16 0 8 0 29162759 826433536 13492 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25478/tid=25484] ppid=25468 vsize=807064 CPUtime=0
/proc/25478/task/25484/stat : 25484 (java) S 25468 25468 25217 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 29162759 826433536 13492 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25478/tid=25485] ppid=25468 vsize=807064 CPUtime=0
/proc/25478/task/25485/stat : 25485 (java) S 25468 25468 25217 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29162759 826433536 13492 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) 820788

[startup+6.19498 s]
/proc/loadavg: 1.93 1.98 1.72 4/103 25485
/proc/meminfo: memFree=1320072/2055920 swapFree=4192956/4192956
[pid=25468] ppid=25466 vsize=13724 CPUtime=0.81
/proc/25468/stat : 25468 (sugar) S 25466 25468 25217 0 -1 4194304 1190 7937 0 1 3 0 71 7 16 0 1 0 29162664 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25468/statm: 3431 809 371 3 0 531 0
[pid=25478] ppid=25468 vsize=807336 CPUtime=5.27
/proc/25478/stat : 25478 (java) R 25468 25468 25217 0 -1 0 30168 0 1 0 508 19 0 0 25 0 8 0 29162752 826712064 29833 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073632879 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25478/statm: 201834 29833 1507 14 0 189112 0
[pid=25478/tid=25479] ppid=25468 vsize=807336 CPUtime=1.44
/proc/25478/task/25479/stat : 25479 (java) S 25468 25468 25217 0 -1 64 23881 0 0 0 131 13 0 0 16 0 8 0 29162755 826712064 29833 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25478/tid=25480] ppid=25468 vsize=807336 CPUtime=0
/proc/25478/task/25480/stat : 25480 (java) S 25468 25468 25217 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29162756 826712064 29833 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25478/tid=25481] ppid=25468 vsize=807336 CPUtime=0
/proc/25478/task/25481/stat : 25481 (java) S 25468 25468 25217 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29162756 826712064 29833 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25478/tid=25482] ppid=25468 vsize=807336 CPUtime=0
/proc/25478/task/25482/stat : 25482 (java) S 25468 25468 25217 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 29162759 826712064 29833 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25478/tid=25483] ppid=25468 vsize=807336 CPUtime=0.12
/proc/25478/task/25483/stat : 25483 (java) S 25468 25468 25217 0 -1 64 400 0 0 0 12 0 0 0 16 0 8 0 29162759 826712064 29833 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25478/tid=25484] ppid=25468 vsize=807336 CPUtime=0
/proc/25478/task/25484/stat : 25484 (java) S 25468 25468 25217 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 29162759 826712064 29833 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25478/tid=25485] ppid=25468 vsize=807336 CPUtime=0
/proc/25478/task/25485/stat : 25485 (java) S 25468 25468 25217 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29162759 826712064 29833 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.08
Current children cumulated vsize (KiB) 821060

[startup+12.6496 s]
/proc/loadavg: 2.02 2.00 1.73 4/103 25485
/proc/meminfo: memFree=1206480/2055920 swapFree=4192956/4192956
[pid=25468] ppid=25466 vsize=13724 CPUtime=0.81
/proc/25468/stat : 25468 (sugar) S 25466 25468 25217 0 -1 4194304 1190 7937 0 1 3 0 71 7 16 0 1 0 29162664 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25468/statm: 3431 809 371 3 0 531 0
[pid=25478] ppid=25468 vsize=807336 CPUtime=11.68
/proc/25478/stat : 25478 (java) R 25468 25468 25217 0 -1 0 54920 0 1 0 1137 31 0 0 25 0 8 0 29162752 826712064 54113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073580360 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25478/statm: 201834 54113 1507 14 0 189112 0
[pid=25478/tid=25479] ppid=25468 vsize=807336 CPUtime=3.59
/proc/25478/task/25479/stat : 25479 (java) S 25468 25468 25217 0 -1 64 48451 0 0 0 335 24 0 0 16 0 8 0 29162755 826712064 54113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25478/tid=25480] ppid=25468 vsize=807336 CPUtime=0
/proc/25478/task/25480/stat : 25480 (java) S 25468 25468 25217 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29162756 826712064 54113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25478/tid=25481] ppid=25468 vsize=807336 CPUtime=0
/proc/25478/task/25481/stat : 25481 (java) S 25468 25468 25217 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29162756 826712064 54113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25478/tid=25482] ppid=25468 vsize=807336 CPUtime=0
/proc/25478/task/25482/stat : 25482 (java) S 25468 25468 25217 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 29162759 826712064 54113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25478/tid=25483] ppid=25468 vsize=807336 CPUtime=0.14
/proc/25478/task/25483/stat : 25483 (java) S 25468 25468 25217 0 -1 64 403 0 0 0 13 1 0 0 16 0 8 0 29162759 826712064 54113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25478/tid=25484] ppid=25468 vsize=807336 CPUtime=0
/proc/25478/task/25484/stat : 25484 (java) S 25468 25468 25217 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 29162759 826712064 54113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25478/tid=25485] ppid=25468 vsize=807336 CPUtime=0
/proc/25478/task/25485/stat : 25485 (java) S 25468 25468 25217 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29162759 826712064 54113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.49
Current children cumulated vsize (KiB) 821060

[startup+25.542 s]
/proc/loadavg: 2.31 2.06 1.75 4/96 25486
/proc/meminfo: memFree=1390984/2055920 swapFree=4192956/4192956
[pid=25468] ppid=25466 vsize=13724 CPUtime=0.81
/proc/25468/stat : 25468 (sugar) S 25466 25468 25217 0 -1 4194304 1190 7937 0 1 3 0 71 7 16 0 1 0 29162664 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25468/statm: 3431 809 371 3 0 531 0
[pid=25478] ppid=25468 vsize=807336 CPUtime=24.5
/proc/25478/stat : 25478 (java) R 25468 25468 25217 0 -1 0 56223 0 1 0 2413 37 0 0 25 0 8 0 29162752 826712064 54113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153380222 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25478/statm: 201834 54113 1507 14 0 189112 0
[pid=25478/tid=25479] ppid=25468 vsize=807336 CPUtime=8.46
/proc/25478/task/25479/stat : 25479 (java) S 25468 25468 25217 0 -1 64 49389 0 0 0 819 27 0 0 16 0 8 0 29162755 826712064 54113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25478/tid=25480] ppid=25468 vsize=807336 CPUtime=0
/proc/25478/task/25480/stat : 25480 (java) S 25468 25468 25217 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29162756 826712064 54113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25478/tid=25481] ppid=25468 vsize=807336 CPUtime=0
/proc/25478/task/25481/stat : 25481 (java) S 25468 25468 25217 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29162756 826712064 54113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25478/tid=25482] ppid=25468 vsize=807336 CPUtime=0
/proc/25478/task/25482/stat : 25482 (java) S 25468 25468 25217 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 29162759 826712064 54113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25478/tid=25483] ppid=25468 vsize=807336 CPUtime=0.14
/proc/25478/task/25483/stat : 25483 (java) S 25468 25468 25217 0 -1 64 403 0 0 0 13 1 0 0 16 0 8 0 29162759 826712064 54113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25478/tid=25484] ppid=25468 vsize=807336 CPUtime=0
/proc/25478/task/25484/stat : 25484 (java) S 25468 25468 25217 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 29162759 826712064 54113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25478/tid=25485] ppid=25468 vsize=807336 CPUtime=0
/proc/25478/task/25485/stat : 25485 (java) S 25468 25468 25217 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29162759 826712064 54113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 821060

[startup+51.2336 s]
/proc/loadavg: 2.20 2.06 1.76 3/89 25487
/proc/meminfo: memFree=1575104/2055920 swapFree=4192956/4192956
[pid=25468] ppid=25466 vsize=16452 CPUtime=27.53
/proc/25468/stat : 25468 (sugar) S 25466 25468 25217 0 -1 4194304 1957 64743 0 2 7 1 2695 50 16 0 1 0 29162664 16846848 1468 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25468/statm: 4113 1468 373 3 0 1213 0
[pid=25487] ppid=25468 vsize=14704 CPUtime=23.3
/proc/25487/stat : 25487 (minisat) R 25468 25468 25217 0 -1 0 4345 0 0 0 2327 3 0 0 25 0 1 0 29165445 15056896 3306 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/25487/statm: 3676 3306 52 112 0 3560 0
Current children cumulated CPU time (s) 50.83
Current children cumulated vsize (KiB) 31156

[startup+102.467 s]
/proc/loadavg: 2.09 2.05 1.77 3/89 25489
/proc/meminfo: memFree=1562688/2055920 swapFree=4192956/4192956
[pid=25468] ppid=25466 vsize=16452 CPUtime=27.53
/proc/25468/stat : 25468 (sugar) S 25466 25468 25217 0 -1 4194304 1957 64743 0 2 7 1 2695 50 16 0 1 0 29162664 16846848 1468 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25468/statm: 4113 1468 373 3 0 1213 0
[pid=25487] ppid=25468 vsize=20700 CPUtime=74.28
/proc/25487/stat : 25487 (minisat) R 25468 25468 25217 0 -1 0 5855 0 0 0 7423 5 0 0 25 0 1 0 29165445 21196800 4816 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/25487/statm: 5175 4816 52 112 0 5059 0
Current children cumulated CPU time (s) 101.81
Current children cumulated vsize (KiB) 37152

[startup+162.533 s]
/proc/loadavg: 2.03 2.04 1.78 3/89 25489
/proc/meminfo: memFree=1555520/2055920 swapFree=4192956/4192956
[pid=25468] ppid=25466 vsize=16452 CPUtime=27.53
/proc/25468/stat : 25468 (sugar) S 25466 25468 25217 0 -1 4194304 1957 64743 0 2 7 1 2695 50 16 0 1 0 29162664 16846848 1468 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25468/statm: 4113 1468 373 3 0 1213 0
[pid=25487] ppid=25468 vsize=22864 CPUtime=134.06
/proc/25487/stat : 25487 (minisat) R 25468 25468 25217 0 -1 0 6341 0 0 0 13400 6 0 0 25 0 1 0 29165445 23412736 5302 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528677 0 0 4096 3 0 0 0 17 1 0 0
/proc/25487/statm: 5716 5302 52 112 0 5600 0
Current children cumulated CPU time (s) 161.59
Current children cumulated vsize (KiB) 39316


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

/proc/loadavg: 2.00 2.01 1.91 3/89 25489
/proc/meminfo: memFree=1523712/2055920 swapFree=4192956/4192956
[pid=25468] ppid=25466 vsize=16452 CPUtime=27.53
/proc/25468/stat : 25468 (sugar) S 25466 25468 25217 0 -1 4194304 1957 64743 0 2 7 1 2695 50 16 0 1 0 29162664 16846848 1468 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25468/statm: 4113 1468 373 3 0 1213 0
[pid=25487] ppid=25468 vsize=38464 CPUtime=1090.64
/proc/25487/stat : 25487 (minisat) R 25468 25468 25217 0 -1 0 10214 0 0 0 109050 14 0 0 25 0 1 0 29165445 39387136 9166 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/25487/statm: 9616 9166 52 112 0 9500 0
Current children cumulated CPU time (s) 1118.17
Current children cumulated vsize (KiB) 54916

[startup+1183.67 s]
/proc/loadavg: 2.00 2.01 1.91 3/89 25489
/proc/meminfo: memFree=1523200/2055920 swapFree=4192956/4192956
[pid=25468] ppid=25466 vsize=16452 CPUtime=27.53
/proc/25468/stat : 25468 (sugar) S 25466 25468 25217 0 -1 4194304 1957 64743 0 2 7 1 2695 50 16 0 1 0 29162664 16846848 1468 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25468/statm: 4113 1468 373 3 0 1213 0
[pid=25487] ppid=25468 vsize=38972 CPUtime=1150.42
/proc/25487/stat : 25487 (minisat) R 25468 25468 25217 0 -1 0 10321 0 0 0 115028 14 0 0 25 0 1 0 29165445 39907328 9273 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528401 0 0 4096 3 0 0 0 17 1 0 0
/proc/25487/statm: 9743 9273 52 112 0 9627 0
Current children cumulated CPU time (s) 1177.95
Current children cumulated vsize (KiB) 55424

[startup+1243.74 s]
/proc/loadavg: 2.05 2.02 1.91 3/89 25489
/proc/meminfo: memFree=1519424/2055920 swapFree=4192956/4192956
[pid=25468] ppid=25466 vsize=16452 CPUtime=27.53
/proc/25468/stat : 25468 (sugar) S 25466 25468 25217 0 -1 4194304 1957 64743 0 2 7 1 2695 50 16 0 1 0 29162664 16846848 1468 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25468/statm: 4113 1468 373 3 0 1213 0
[pid=25487] ppid=25468 vsize=42572 CPUtime=1210.21
/proc/25487/stat : 25487 (minisat) R 25468 25468 25217 0 -1 0 11217 0 0 0 121005 16 0 0 25 0 1 0 29165445 43593728 10169 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/25487/statm: 10643 10169 52 112 0 10527 0
Current children cumulated CPU time (s) 1237.74
Current children cumulated vsize (KiB) 59024

[startup+1303.8 s]
/proc/loadavg: 2.02 2.01 1.91 3/89 25489
/proc/meminfo: memFree=1518272/2055920 swapFree=4192956/4192956
[pid=25468] ppid=25466 vsize=16452 CPUtime=27.53
/proc/25468/stat : 25468 (sugar) S 25466 25468 25217 0 -1 4194304 1957 64743 0 2 7 1 2695 50 16 0 1 0 29162664 16846848 1468 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25468/statm: 4113 1468 373 3 0 1213 0
[pid=25487] ppid=25468 vsize=42736 CPUtime=1269.99
/proc/25487/stat : 25487 (minisat) R 25468 25468 25217 0 -1 0 11245 0 0 0 126983 16 0 0 25 0 1 0 29165445 43761664 10197 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528771 0 0 4096 3 0 0 0 17 1 0 0
/proc/25487/statm: 10684 10197 52 112 0 10568 0
Current children cumulated CPU time (s) 1297.52
Current children cumulated vsize (KiB) 59188

[startup+1363.87 s]
/proc/loadavg: 2.00 2.00 1.91 3/89 25489
/proc/meminfo: memFree=1515264/2055920 swapFree=4192956/4192956
[pid=25468] ppid=25466 vsize=16452 CPUtime=27.53
/proc/25468/stat : 25468 (sugar) S 25466 25468 25217 0 -1 4194304 1957 64743 0 2 7 1 2695 50 16 0 1 0 29162664 16846848 1468 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25468/statm: 4113 1468 373 3 0 1213 0
[pid=25487] ppid=25468 vsize=42900 CPUtime=1329.78
/proc/25487/stat : 25487 (minisat) R 25468 25468 25217 0 -1 0 11273 0 0 0 132961 17 0 0 25 0 1 0 29165445 43929600 10225 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528371 0 0 4096 3 0 0 0 17 1 0 0
/proc/25487/statm: 10725 10225 52 112 0 10609 0
Current children cumulated CPU time (s) 1357.31
Current children cumulated vsize (KiB) 59352

[startup+1423.94 s]
/proc/loadavg: 2.00 2.00 1.91 3/89 25489
/proc/meminfo: memFree=1515136/2055920 swapFree=4192956/4192956
[pid=25468] ppid=25466 vsize=16452 CPUtime=27.53
/proc/25468/stat : 25468 (sugar) S 25466 25468 25217 0 -1 4194304 1957 64743 0 2 7 1 2695 50 16 0 1 0 29162664 16846848 1468 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25468/statm: 4113 1468 373 3 0 1213 0
[pid=25487] ppid=25468 vsize=42900 CPUtime=1389.56
/proc/25487/stat : 25487 (minisat) R 25468 25468 25217 0 -1 0 11302 0 0 0 138939 17 0 0 25 0 1 0 29165445 43929600 10254 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/25487/statm: 10725 10254 52 112 0 10609 0
Current children cumulated CPU time (s) 1417.09
Current children cumulated vsize (KiB) 59352

[startup+1484.01 s]
/proc/loadavg: 2.00 2.00 1.91 3/89 25489
/proc/meminfo: memFree=1514688/2055920 swapFree=4192956/4192956
[pid=25468] ppid=25466 vsize=16452 CPUtime=27.53
/proc/25468/stat : 25468 (sugar) S 25466 25468 25217 0 -1 4194304 1957 64743 0 2 7 1 2695 50 16 0 1 0 29162664 16846848 1468 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25468/statm: 4113 1468 373 3 0 1213 0
[pid=25487] ppid=25468 vsize=43428 CPUtime=1449.36
/proc/25487/stat : 25487 (minisat) R 25468 25468 25217 0 -1 0 11399 0 0 0 144918 18 0 0 25 0 1 0 29165445 44470272 10351 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/25487/statm: 10857 10351 52 112 0 10741 0
Current children cumulated CPU time (s) 1476.89
Current children cumulated vsize (KiB) 59880

[startup+1544.07 s]
/proc/loadavg: 2.00 2.00 1.91 3/89 25489
/proc/meminfo: memFree=1514240/2055920 swapFree=4192956/4192956
[pid=25468] ppid=25466 vsize=16452 CPUtime=27.53
/proc/25468/stat : 25468 (sugar) S 25466 25468 25217 0 -1 4194304 1957 64743 0 2 7 1 2695 50 16 0 1 0 29162664 16846848 1468 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25468/statm: 4113 1468 373 3 0 1213 0
[pid=25487] ppid=25468 vsize=43428 CPUtime=1509.13
/proc/25487/stat : 25487 (minisat) R 25468 25468 25217 0 -1 0 11413 0 0 0 150895 18 0 0 25 0 1 0 29165445 44470272 10365 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/25487/statm: 10857 10365 52 112 0 10741 0
Current children cumulated CPU time (s) 1536.66
Current children cumulated vsize (KiB) 59880

[startup+1604.15 s]
/proc/loadavg: 2.06 2.01 1.92 3/95 25591
/proc/meminfo: memFree=1512648/2055920 swapFree=4192956/4192956
[pid=25468] ppid=25466 vsize=16452 CPUtime=27.53
/proc/25468/stat : 25468 (sugar) S 25466 25468 25217 0 -1 4194304 1957 64743 0 2 7 1 2695 50 16 0 1 0 29162664 16846848 1468 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25468/statm: 4113 1468 373 3 0 1213 0
[pid=25487] ppid=25468 vsize=43592 CPUtime=1568.82
/proc/25487/stat : 25487 (minisat) R 25468 25468 25217 0 -1 0 11450 0 0 0 156864 18 0 0 25 0 1 0 29165445 44638208 10402 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528392 0 0 4096 3 0 0 0 17 1 0 0
/proc/25487/statm: 10898 10402 52 112 0 10782 0
Current children cumulated CPU time (s) 1596.35
Current children cumulated vsize (KiB) 60044

[startup+1664.25 s]
/proc/loadavg: 2.14 2.04 1.93 3/95 25663
/proc/meminfo: memFree=1510352/2055920 swapFree=4192956/4192956
[pid=25468] ppid=25466 vsize=16452 CPUtime=27.53
/proc/25468/stat : 25468 (sugar) S 25466 25468 25217 0 -1 4194304 1957 64743 0 2 7 1 2695 50 16 0 1 0 29162664 16846848 1468 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25468/statm: 4113 1468 373 3 0 1213 0
[pid=25487] ppid=25468 vsize=43592 CPUtime=1628.55
/proc/25487/stat : 25487 (minisat) R 25468 25468 25217 0 -1 0 11451 0 0 0 162836 19 0 0 25 0 1 0 29165445 44638208 10403 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/25487/statm: 10898 10403 52 112 0 10782 0
Current children cumulated CPU time (s) 1656.08
Current children cumulated vsize (KiB) 60044

[startup+1724.32 s]
/proc/loadavg: 2.05 2.03 1.93 3/89 25687
/proc/meminfo: memFree=1510720/2055920 swapFree=4192956/4192956
[pid=25468] ppid=25466 vsize=16452 CPUtime=27.53
/proc/25468/stat : 25468 (sugar) S 25466 25468 25217 0 -1 4194304 1957 64743 0 2 7 1 2695 50 16 0 1 0 29162664 16846848 1468 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25468/statm: 4113 1468 373 3 0 1213 0
[pid=25487] ppid=25468 vsize=43752 CPUtime=1688.31
/proc/25487/stat : 25487 (minisat) R 25468 25468 25217 0 -1 0 11475 0 0 0 168812 19 0 0 25 0 1 0 29165445 44802048 10427 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/25487/statm: 10938 10427 52 112 0 10822 0
Current children cumulated CPU time (s) 1715.84
Current children cumulated vsize (KiB) 60204

[startup+1784.39 s]
/proc/loadavg: 2.13 2.05 1.94 3/89 25687
/proc/meminfo: memFree=1510400/2055920 swapFree=4192956/4192956
[pid=25468] ppid=25466 vsize=16452 CPUtime=27.53
/proc/25468/stat : 25468 (sugar) S 25466 25468 25217 0 -1 4194304 1957 64743 0 2 7 1 2695 50 16 0 1 0 29162664 16846848 1468 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25468/statm: 4113 1468 373 3 0 1213 0
[pid=25487] ppid=25468 vsize=44052 CPUtime=1748.1
/proc/25487/stat : 25487 (minisat) R 25468 25468 25217 0 -1 0 11521 0 0 0 174791 19 0 0 25 0 1 0 29165445 45109248 10473 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134522262 0 0 4096 3 0 0 0 17 1 0 0
/proc/25487/statm: 11013 10473 52 112 0 10897 0
Current children cumulated CPU time (s) 1775.63
Current children cumulated vsize (KiB) 60504



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1808.92 s]
/proc/loadavg: 2.01 2.03 1.94 3/90 25752
/proc/meminfo: memFree=1571448/2055920 swapFree=4192956/4192956
[pid=25468] ppid=25466 vsize=16452 CPUtime=27.53
/proc/25468/stat : 25468 (sugar) S 25466 25468 25217 0 -1 4194304 1957 64743 0 2 7 1 2695 50 16 0 1 0 29162664 16846848 1468 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25468/statm: 4113 1468 373 3 0 1213 0
[pid=25487] ppid=25468 vsize=44052 CPUtime=1772.52
/proc/25487/stat : 25487 (minisat) R 25468 25468 25217 0 -1 0 11521 0 0 0 177232 20 0 0 25 0 1 0 29165445 45109248 10473 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528401 0 0 4096 3 0 0 0 17 0 0 0
/proc/25487/statm: 11013 10473 52 112 0 10897 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 60504

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

Child status: 1

!!! problem with CPU time !!!
wait4(...,&childrusage) returns 25468 and gives childrusage.ru_utime.tv_sec=27 childrusage.ru_utime.tv_usec=28890 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=524920
CPU time returned by wait4() is 27.5538
while last known CPU time is 1800.06

Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...

Real time (s): 1809.95
CPU time (s): 1800.06
CPU user time (s): 1799.34
CPU system time (s): 0.72
CPU usage (%): 99.4538
Max. virtual memory (cumulated for all children) (KiB): 821564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 27.0289
system time used= 0.52492
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66785
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= 6324
involuntary context switches= 6715

runsolver used 2.28665 s user time and 5.48217 s system time

The end

Launcher Data (download as text)

Begin job on node17 on Mon Jan 29 17:34:44 UTC 2007


IDJOB= 195072
IDBENCH= 3247
IDSOLVER= 86
FILE ID= node17/195072-1170092084

PBS_JOBID= 3689398

Free space on /tmp= 66558 MiB

SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-50-23/rand-2-50-23-587-230-18_ext.xml
COMMAND LINE= /tmp/evaluation/195072-1170092084/solver /tmp/evaluation/195072-1170092084 /tmp/evaluation/195072-1170092084/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node17/watcher-195072-1170092084 -o ROOT/results/node17/solver-195072-1170092084 -C 1800 -M 900  /tmp/evaluation/195072-1170092084/solver /tmp/evaluation/195072-1170092084 /tmp/evaluation/195072-1170092084/unknown.xml

META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH=  8f948212b2819e3fd0e98ce18eeb5756

RANDOM SEED= 832796367

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.229
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.229
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:       1422312 kB
Buffers:         49368 kB
Cached:         252552 kB
SwapCached:          0 kB
Active:         410996 kB
Inactive:       153296 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1422312 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            4656 kB
Writeback:           0 kB
Mapped:         287892 kB
Slab:            53724 kB
Committed_AS:   461796 kB
PageTables:       2628 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= 66560 MiB



End job on node17 on Mon Jan 29 18:04:55 UTC 2007