Trace number 252629

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.02 1802.24

General information on the benchmark

NamesocialGolfers/
socialGolfer-9-4-8.xml
MD5SUM0fa2224912b1d835827875229dbae41a
Bench CategoryN-ARY-INT (n-ary constraints in intension)
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 variables6768
Number of constraints36568
Maximum constraint arity32
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension36568
Global constraints used (with number of constraints)

Solver Data (download as text)

0.04	c # Sugar v0-40 (/tmp/evaluation/252629-1170112298/sugar-v0-40.jar)
0.04	
0.04	c # MAIN  BEGIN : /tmp/evaluation/252629-1170112298/unknown.xml [Tue Jan 30 00:11:40 2007]
0.04	c # CONVERT_XML  BEGIN : /tmp/evaluation/252629-1170112298/unknown.xml /tmp/evaluation/252629-1170112298/sugar30584.csp [Tue Jan 30 00:11:40 2007]
0.04	c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/252629-1170112298/sugar-v0-40.jar -convert /tmp/evaluation/252629-1170112298/unknown.xml /tmp/evaluation/252629-1170112298/sugar30584.csp
0.26	c BEGIN convert /tmp/evaluation/252629-1170112298/unknown.xml
3.00	c END convert (2.744438 seconds)
3.05	c # CONVERT_XML  END : /tmp/evaluation/252629-1170112298/sugar30584.csp 1392436 bytes (3 seconds) [Tue Jan 30 00:11:43 2007]
3.05	c # CONVERT_XML  CPU : 2.87 = 0 + 0.01 + 2.67 + 0.19
3.05	
3.05	c # GENERATE_SAT  BEGIN : /tmp/evaluation/252629-1170112298/sugar30584.bcnf [Tue Jan 30 00:11:43 2007]
3.05	c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/252629-1170112298/sugar-v0-40.jar -bcnf -map /tmp/evaluation/252629-1170112298/sugar30584.map /tmp/evaluation/252629-1170112298/sugar30584.csp /tmp/evaluation/252629-1170112298/sugar30584.bcnf
3.18	c BEGIN parse /tmp/evaluation/252629-1170112298/sugar30584.csp
8.16	c END parse (4.982139 seconds)
8.16	c BEGIN simplify
8.18	c END simplify (0.018047 seconds)
8.18	c BEGIN encode /tmp/evaluation/252629-1170112298/sugar30584.bcnf
8.67	c END encode (0.49494 seconds)
8.93	c # GENERATE_SAT  END : 37248 variables 194168 clauses 2747672 bytes (6 seconds) [Tue Jan 30 00:11:49 2007]
8.93	c # GENERATE_SAT  CPU : 5.77 = 0.2 + 0.01 + 5.39 + 0.17
8.93	
8.93	c # SOLVE_SAT  BEGIN : /tmp/evaluation/252629-1170112298/sugar30584.bcnf [Tue Jan 30 00:11:49 2007]
8.93	c # CMD : /tmp/evaluation/252629-1170112298/minisat /tmp/evaluation/252629-1170112298/sugar30584.bcnf /tmp/evaluation/252629-1170112298/sugar30584.out
9.06	c ==================================[MINISAT]===================================
9.06	c | Conflicts |     ORIGINAL     |              LEARNT              | Progress |
9.06	c |           | Clauses Literals |   Limit Clauses Literals  Lit/Cl |          |
9.06	c ==============================================================================
9.06	c |         0 |  155504   427424 |   51834       0        0     nan |  0.000 % |
9.18	c |       103 |  155554   427424 |   57017      53      565    10.7 | 22.809 % |
9.25	c |       253 |  155560   427424 |   62719     197     4305    21.9 | 22.809 % |
9.29	c |       478 |  155562   427424 |   68991     420    11203    26.7 | 22.809 % |
9.34	c |       815 |  155567   427424 |   75890     752    22007    29.3 | 22.809 % |
9.39	c |      1321 |  155567   427424 |   83479    1258    38704    30.8 | 22.809 % |
9.45	c |      2080 |  155567   427424 |   91827    2017    63551    31.5 | 22.809 % |
9.59	c |      3219 |  155572   427424 |  101009    3151   101816    32.3 | 22.809 % |
9.75	c |      4928 |  155572   427424 |  111110    4860   159390    32.8 | 22.809 % |
10.00	c |      7490 |  155576   427424 |  122221    7418   247575    33.4 | 22.809 % |
10.47	c |     11334 |  155590   427424 |  134444   11248   380462    33.8 | 22.809 % |
11.45	c |     17100 |  155632   427424 |  147888   16972   576239    34.0 | 22.809 % |
12.70	c |     25749 |  155689   427424 |  162677   25564   868363    34.0 | 22.809 % |
14.90	c |     38723 |  155791   427424 |  178945   38436  1239469    32.2 | 22.809 % |
18.71	c |     58184 |  155956   427424 |  196839   57732  1939867    33.6 | 22.809 % |
24.21	c |     87376 |  156044   427424 |  216523   86836  3094225    35.6 | 22.809 % |
42.59	c |    131165 |  156060   427424 |  238175  130609  5920537    45.3 | 22.809 % |
79.89	c |    196849 |  156220   427424 |  261993  196133  9181323    46.8 | 22.809 % |
238.54	c |    295376 |  156277   427424 |  288192   38075  2873520    75.5 | 22.809 % |
463.33	c |    443166 |  156368   427424 |  317012  185774 16446788    88.5 | 22.809 % |
1087.25	c |    664851 |  156452   427424 |  348713   96298  8011645    83.2 | 22.809 % |
1801.22	
1801.22	s UNKNOWN
1801.22	c # INTERRUPTED
1801.22	c # MAIN  END :  (1801 seconds) [Tue Jan 30 00:41:41 2007]
1801.22	c # MAIN  CPU : 8.64 = 0.2 + 0.02 + 8.06 + 0.36
1801.22

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/node62/watcher-252629-1170112298 -o ROOT/results/node62/solver-252629-1170112298 -C 1800 -M 900 /tmp/evaluation/252629-1170112298/solver /tmp/evaluation/252629-1170112298 /tmp/evaluation/252629-1170112298/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: 2.03 4.07 5.35 5/74 30585
/proc/meminfo: memFree=542800/2055920 swapFree=4192812/4192956
[pid=30584] ppid=30582 vsize=12132 CPUtime=0
/proc/30584/stat : 30584 (sugar) R 30582 30584 29563 0 -1 4194304 540 0 0 0 0 0 0 0 18 0 1 0 31187026 12423168 259 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 236437541601 0 0 4224 0 0 0 0 17 1 0 0
/proc/30584/statm: 3066 271 201 3 0 166 0

[startup+0.103917 s]
/proc/loadavg: 2.03 4.07 5.35 5/74 30585
/proc/meminfo: memFree=542800/2055920 swapFree=4192812/4192956
[pid=30584] ppid=30582 vsize=13724 CPUtime=0.03
/proc/30584/stat : 30584 (sugar) S 30582 30584 29563 0 -1 4194304 1112 0 0 0 3 0 0 0 18 0 1 0 31187026 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30584/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724

[startup+0.511966 s]
/proc/loadavg: 2.03 4.07 5.35 5/74 30585
/proc/meminfo: memFree=542800/2055920 swapFree=4192812/4192956
[pid=30584] ppid=30582 vsize=13724 CPUtime=0.04
/proc/30584/stat : 30584 (sugar) S 30582 30584 29563 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 31187026 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30584/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724

[startup+1.33407 s]
/proc/loadavg: 2.03 4.07 5.35 3/82 30593
/proc/meminfo: memFree=489808/2055920 swapFree=4192812/4192956
[pid=30584] ppid=30582 vsize=13724 CPUtime=0.04
/proc/30584/stat : 30584 (sugar) S 30582 30584 29563 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 31187026 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30584/statm: 3431 805 368 3 0 531 0
[pid=30586] ppid=30584 vsize=807288 CPUtime=1.17
/proc/30586/stat : 30586 (java) R 30584 30584 29563 0 -1 0 15807 0 2 0 106 11 0 0 24 0 8 0 31187031 826662912 15553 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30586/statm: 201822 15554 1690 14 0 189100 0
[pid=30586/tid=30587] ppid=30584 vsize=807288 CPUtime=0.2
/proc/30586/task/30587/stat : 30587 (java) R 30584 30584 29563 0 -1 64 9254 0 0 0 15 5 0 0 16 0 8 0 31187035 826662912 15555 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4153968433 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30586/tid=30588] ppid=30584 vsize=807288 CPUtime=0
/proc/30586/task/30588/stat : 30588 (java) S 30584 30584 29563 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 31187035 826662912 15556 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30586/tid=30589] ppid=30584 vsize=807288 CPUtime=0
/proc/30586/task/30589/stat : 30589 (java) S 30584 30584 29563 0 -1 64 3 0 0 0 0 0 0 0 20 0 8 0 31187035 826662912 15557 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30586/tid=30590] ppid=30584 vsize=807288 CPUtime=0
/proc/30586/task/30590/stat : 30590 (java) S 30584 30584 29563 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 31187039 826662912 15559 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30586/tid=30591] ppid=30584 vsize=807288 CPUtime=0.12
/proc/30586/task/30591/stat : 30591 (java) S 30584 30584 29563 0 -1 64 393 0 0 0 12 0 0 0 16 0 8 0 31187039 826662912 15559 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30586/tid=30592] ppid=30584 vsize=807288 CPUtime=0
/proc/30586/task/30592/stat : 30592 (java) S 30584 30584 29563 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 31187039 826662912 15560 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30586/tid=30593] ppid=30584 vsize=807288 CPUtime=0
/proc/30586/task/30593/stat : 30593 (java) S 30584 30584 29563 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 31187039 826662912 15562 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 821012

[startup+2.98626 s]
/proc/loadavg: 2.03 4.07 5.35 3/82 30593
/proc/meminfo: memFree=457744/2055920 swapFree=4192812/4192956
[pid=30584] ppid=30582 vsize=13724 CPUtime=0.04
/proc/30584/stat : 30584 (sugar) S 30582 30584 29563 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 31187026 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30584/statm: 3431 805 368 3 0 531 0
[pid=30586] ppid=30584 vsize=807412 CPUtime=2.82
/proc/30586/stat : 30586 (java) R 30584 30584 29563 0 -1 0 23980 0 2 0 265 17 0 0 25 0 8 0 31187031 826789888 23719 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073715492 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30586/statm: 201853 23719 1694 14 0 189131 0
[pid=30586/tid=30587] ppid=30584 vsize=807412 CPUtime=0.57
/proc/30586/task/30587/stat : 30587 (java) S 30584 30584 29563 0 -1 64 17364 0 0 0 48 9 0 0 16 0 8 0 31187035 826789888 23719 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30586/tid=30588] ppid=30584 vsize=807412 CPUtime=0
/proc/30586/task/30588/stat : 30588 (java) S 30584 30584 29563 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 31187035 826789888 23719 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30586/tid=30589] ppid=30584 vsize=807412 CPUtime=0
/proc/30586/task/30589/stat : 30589 (java) S 30584 30584 29563 0 -1 64 3 0 0 0 0 0 0 0 20 0 8 0 31187035 826789888 23719 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30586/tid=30590] ppid=30584 vsize=807412 CPUtime=0
/proc/30586/task/30590/stat : 30590 (java) S 30584 30584 29563 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 31187039 826789888 23719 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30586/tid=30591] ppid=30584 vsize=807412 CPUtime=0.18
/proc/30586/task/30591/stat : 30591 (java) S 30584 30584 29563 0 -1 64 426 0 0 0 17 1 0 0 16 0 8 0 31187039 826789888 23719 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30586/tid=30592] ppid=30584 vsize=807412 CPUtime=0
/proc/30586/task/30592/stat : 30592 (java) S 30584 30584 29563 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 31187039 826789888 23719 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30586/tid=30593] ppid=30584 vsize=807412 CPUtime=0
/proc/30586/task/30593/stat : 30593 (java) S 30584 30584 29563 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 31187039 826789888 23719 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 821136

[startup+6.28365 s]
/proc/loadavg: 2.03 4.04 5.33 3/82 30601
/proc/meminfo: memFree=485264/2055920 swapFree=4192812/4192956
[pid=30584] ppid=30582 vsize=13724 CPUtime=2.9
/proc/30584/stat : 30584 (sugar) S 30582 30584 29563 0 -1 4194304 1190 23991 0 2 3 1 267 19 15 0 1 0 31187026 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30584/statm: 3431 809 371 3 0 531 0
[pid=30594] ppid=30584 vsize=807356 CPUtime=3.17
/proc/30594/stat : 30594 (java) R 30584 30584 29563 0 -1 0 16202 0 7 0 307 10 0 0 25 0 8 0 31187332 826732544 15936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154523543 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30594/statm: 201839 15936 1506 14 0 189117 0
[pid=30594/tid=30595] ppid=30584 vsize=807356 CPUtime=0.64
/proc/30594/task/30595/stat : 30595 (java) S 30584 30584 29563 0 -1 64 9987 0 0 0 60 4 0 0 16 0 8 0 31187336 826732544 15936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30594/tid=30596] ppid=30584 vsize=807356 CPUtime=0
/proc/30594/task/30596/stat : 30596 (java) S 30584 30584 29563 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 31187336 826732544 15936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30594/tid=30597] ppid=30584 vsize=807356 CPUtime=0
/proc/30594/task/30597/stat : 30597 (java) S 30584 30584 29563 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 31187336 826732544 15936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30594/tid=30598] ppid=30584 vsize=807356 CPUtime=0
/proc/30594/task/30598/stat : 30598 (java) S 30584 30584 29563 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 31187339 826732544 15936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30594/tid=30599] ppid=30584 vsize=807356 CPUtime=0.14
/proc/30594/task/30599/stat : 30599 (java) S 30584 30584 29563 0 -1 64 412 0 0 0 14 0 0 0 16 0 8 0 31187339 826732544 15936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30594/tid=30600] ppid=30584 vsize=807356 CPUtime=0
/proc/30594/task/30600/stat : 30600 (java) S 30584 30584 29563 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 31187339 826732544 15936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30594/tid=30601] ppid=30584 vsize=807356 CPUtime=0
/proc/30594/task/30601/stat : 30601 (java) S 30584 30584 29563 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 31187340 826732544 15936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.07
Current children cumulated vsize (KiB) 821080

[startup+12.7494 s]
/proc/loadavg: 2.03 4.00 5.31 3/75 30602
/proc/meminfo: memFree=508688/2055920 swapFree=4192812/4192956
[pid=30584] ppid=30582 vsize=28024 CPUtime=8.67
/proc/30584/stat : 30584 (sugar) S 30582 30584 29563 0 -1 4194304 4710 46941 0 9 23 2 806 36 16 0 1 0 31187026 28696576 4224 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30584/statm: 7006 4224 373 3 0 4106 0
[pid=30602] ppid=30584 vsize=13920 CPUtime=3.8
/proc/30602/stat : 30602 (minisat) R 30584 30584 29563 0 -1 0 3692 0 0 0 377 3 0 0 25 0 1 0 31187920 14254080 3007 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/30602/statm: 3480 3007 52 112 0 3364 0
Current children cumulated CPU time (s) 12.47
Current children cumulated vsize (KiB) 41944

[startup+25.5759 s]
/proc/loadavg: 2.02 3.94 5.28 3/75 30602
/proc/meminfo: memFree=495504/2055920 swapFree=4192812/4192956
[pid=30584] ppid=30582 vsize=28024 CPUtime=8.67
/proc/30584/stat : 30584 (sugar) S 30582 30584 29563 0 -1 4194304 4710 46941 0 9 23 2 806 36 16 0 1 0 31187026 28696576 4224 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30584/statm: 7006 4224 373 3 0 4106 0
[pid=30602] ppid=30584 vsize=27780 CPUtime=16.62
/proc/30602/stat : 30602 (minisat) R 30584 30584 29563 0 -1 0 7101 0 0 0 1658 4 0 0 25 0 1 0 31187920 28446720 6416 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134525748 0 0 4096 3 0 0 0 17 1 0 0
/proc/30602/statm: 6945 6416 52 112 0 6829 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 55804

[startup+51.242 s]
/proc/loadavg: 2.01 3.75 5.17 3/75 30602
/proc/meminfo: memFree=480272/2055920 swapFree=4192812/4192956
[pid=30584] ppid=30582 vsize=28024 CPUtime=8.67
/proc/30584/stat : 30584 (sugar) S 30582 30584 29563 0 -1 4194304 4710 46941 0 9 23 2 806 36 16 0 1 0 31187026 28696576 4224 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30584/statm: 7006 4224 373 3 0 4106 0
[pid=30602] ppid=30584 vsize=42684 CPUtime=42.28
/proc/30602/stat : 30602 (minisat) R 30584 30584 29563 0 -1 0 10767 0 0 0 4218 10 0 0 25 0 1 0 31187920 43708416 10082 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/30602/statm: 10671 10082 52 112 0 10555 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 70708

[startup+102.466 s]
/proc/loadavg: 2.00 3.48 5.00 3/75 30602
/proc/meminfo: memFree=460816/2055920 swapFree=4192812/4192956
[pid=30584] ppid=30582 vsize=28024 CPUtime=8.67
/proc/30584/stat : 30584 (sugar) S 30582 30584 29563 0 -1 4194304 4710 46941 0 9 23 2 806 36 16 0 1 0 31187026 28696576 4224 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30584/statm: 7006 4224 373 3 0 4106 0
[pid=30602] ppid=30584 vsize=62868 CPUtime=93.49
/proc/30602/stat : 30602 (minisat) R 30584 30584 29563 0 -1 0 15673 0 0 0 9335 14 0 0 25 0 1 0 31187920 64376832 14988 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528316 0 0 4096 3 0 0 0 17 1 0 0
/proc/30602/statm: 15717 14988 52 112 0 15601 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 90892

[startup+162.542 s]
/proc/loadavg: 1.81 3.16 4.80 2/66 30682
/proc/meminfo: memFree=1762776/2055920 swapFree=4192812/4192956
[pid=30584] ppid=30582 vsize=28024 CPUtime=8.67
/proc/30584/stat : 30584 (sugar) S 30582 30584 29563 0 -1 4194304 4710 46941 0 9 23 2 806 36 16 0 1 0 31187026 28696576 4224 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30584/statm: 7006 4224 373 3 0 4106 0
[pid=30602] ppid=30584 vsize=74192 CPUtime=153.3
/proc/30602/stat : 30602 (minisat) R 30584 30584 29563 0 -1 0 18519 0 0 0 15253 77 0 0 25 0 1 0 31187920 75972608 17834 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/30602/statm: 18548 17834 52 112 0 18432 0
Current children cumulated CPU time (s) 161.97
Current children cumulated vsize (KiB) 102216

[startup+222.619 s]
/proc/loadavg: 1.30 2.76 4.56 2/66 30682
/proc/meminfo: memFree=1752984/2055920 swapFree=4192812/4192956
[pid=30584] ppid=30582 vsize=28024 CPUtime=8.67
/proc/30584/stat : 30584 (sugar) S 30582 30584 29563 0 -1 4194304 4710 46941 0 9 23 2 806 36 16 0 1 0 31187026 28696576 4224 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30584/statm: 7006 4224 373 3 0 4106 0
[pid=30602] ppid=30584 vsize=84152 CPUtime=213.35
/proc/30602/stat : 30602 (minisat) R 30584 30584 29563 0 -1 0 20992 0 0 0 21255 80 0 0 25 0 1 0 31187920 86171648 20307 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/30602/statm: 21038 20307 52 112 0 20922 0
Current children cumulated CPU time (s) 222.02
Current children cumulated vsize (KiB) 112176

[startup+282.687 s]
/proc/loadavg: 1.11 2.44 4.33 2/66 30682
/proc/meminfo: memFree=1752152/2055920 swapFree=4192812/4192956
[pid=30584] ppid=30582 vsize=28024 CPUtime=8.67
/proc/30584/stat : 30584 (sugar) S 30582 30584 29563 0 -1 4194304 4710 46941 0 9 23 2 806 36 16 0 1 0 31187026 28696576 4224 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30584/statm: 7006 4224 373 3 0 4106 0
[pid=30602] ppid=30584 vsize=84948 CPUtime=273.41
/proc/30602/stat : 30602 (minisat) R 30584 30584 29563 0 -1 0 21202 0 0 0 27260 81 0 0 25 0 1 0 31187920 86986752 20517 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/30602/statm: 21237 20517 52 112 0 21121 0
Current children cumulated CPU time (s) 282.08
Current children cumulated vsize (KiB) 112972

[startup+342.761 s]
/proc/loadavg: 1.04 2.18 4.12 2/66 30682
/proc/meminfo: memFree=1752152/2055920 swapFree=4192812/4192956
[pid=30584] ppid=30582 vsize=28024 CPUtime=8.67

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

/proc/loadavg: 1.09 1.11 2.34 2/66 30682
/proc/meminfo: memFree=1678232/2055920 swapFree=4192812/4192956
[pid=30584] ppid=30582 vsize=28024 CPUtime=8.67
/proc/30584/stat : 30584 (sugar) S 30582 30584 29563 0 -1 4194304 4710 46941 0 9 23 2 806 36 16 0 1 0 31187026 28696576 4224 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30584/statm: 7006 4224 373 3 0 4106 0
[pid=30602] ppid=30584 vsize=161236 CPUtime=1114.2
/proc/30602/stat : 30602 (minisat) R 30584 30584 29563 0 -1 0 39596 0 0 0 111319 101 0 0 25 0 1 0 31187920 165105664 38911 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134525591 0 0 4096 3 0 0 0 17 0 0 0
/proc/30602/statm: 40309 38911 52 112 0 40193 0
Current children cumulated CPU time (s) 1122.87
Current children cumulated vsize (KiB) 189260

[startup+1183.82 s]
/proc/loadavg: 1.03 1.09 2.25 2/66 30682
/proc/meminfo: memFree=1678168/2055920 swapFree=4192812/4192956
[pid=30584] ppid=30582 vsize=28024 CPUtime=8.67
/proc/30584/stat : 30584 (sugar) S 30582 30584 29563 0 -1 4194304 4710 46941 0 9 23 2 806 36 16 0 1 0 31187026 28696576 4224 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30584/statm: 7006 4224 373 3 0 4106 0
[pid=30602] ppid=30584 vsize=161236 CPUtime=1174.26
/proc/30602/stat : 30602 (minisat) R 30584 30584 29563 0 -1 0 39596 0 0 0 117325 101 0 0 25 0 1 0 31187920 165105664 38911 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/30602/statm: 40309 38911 52 112 0 40193 0
Current children cumulated CPU time (s) 1182.93
Current children cumulated vsize (KiB) 189260

[startup+1243.89 s]
/proc/loadavg: 1.01 1.07 2.17 2/66 30682
/proc/meminfo: memFree=1678168/2055920 swapFree=4192812/4192956
[pid=30584] ppid=30582 vsize=28024 CPUtime=8.67
/proc/30584/stat : 30584 (sugar) S 30582 30584 29563 0 -1 4194304 4710 46941 0 9 23 2 806 36 16 0 1 0 31187026 28696576 4224 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30584/statm: 7006 4224 373 3 0 4106 0
[pid=30602] ppid=30584 vsize=161236 CPUtime=1234.32
/proc/30602/stat : 30602 (minisat) R 30584 30584 29563 0 -1 0 39602 0 0 0 123331 101 0 0 25 0 1 0 31187920 165105664 38917 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134527127 0 0 4096 3 0 0 0 17 0 0 0
/proc/30602/statm: 40309 38917 52 112 0 40193 0
Current children cumulated CPU time (s) 1242.99
Current children cumulated vsize (KiB) 189260

[startup+1303.97 s]
/proc/loadavg: 1.00 1.05 2.09 2/66 30682
/proc/meminfo: memFree=1678104/2055920 swapFree=4192812/4192956
[pid=30584] ppid=30582 vsize=28024 CPUtime=8.67
/proc/30584/stat : 30584 (sugar) S 30582 30584 29563 0 -1 4194304 4710 46941 0 9 23 2 806 36 16 0 1 0 31187026 28696576 4224 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30584/statm: 7006 4224 373 3 0 4106 0
[pid=30602] ppid=30584 vsize=161236 CPUtime=1294.38
/proc/30602/stat : 30602 (minisat) R 30584 30584 29563 0 -1 0 39610 0 0 0 129337 101 0 0 25 0 1 0 31187920 165105664 38925 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/30602/statm: 40309 38925 52 112 0 40193 0
Current children cumulated CPU time (s) 1303.05
Current children cumulated vsize (KiB) 189260

[startup+1364.04 s]
/proc/loadavg: 1.00 1.04 2.02 2/66 30682
/proc/meminfo: memFree=1678040/2055920 swapFree=4192812/4192956
[pid=30584] ppid=30582 vsize=28024 CPUtime=8.67
/proc/30584/stat : 30584 (sugar) S 30582 30584 29563 0 -1 4194304 4710 46941 0 9 23 2 806 36 16 0 1 0 31187026 28696576 4224 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30584/statm: 7006 4224 373 3 0 4106 0
[pid=30602] ppid=30584 vsize=161236 CPUtime=1354.43
/proc/30602/stat : 30602 (minisat) R 30584 30584 29563 0 -1 0 39622 0 0 0 135342 101 0 0 25 0 1 0 31187920 165105664 38937 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/30602/statm: 40309 38937 52 112 0 40193 0
Current children cumulated CPU time (s) 1363.1
Current children cumulated vsize (KiB) 189260

[startup+1424.13 s]
/proc/loadavg: 1.00 1.03 1.95 2/69 30750
/proc/meminfo: memFree=1671352/2055920 swapFree=4192812/4192956
[pid=30584] ppid=30582 vsize=28024 CPUtime=8.67
/proc/30584/stat : 30584 (sugar) S 30582 30584 29563 0 -1 4194304 4710 46941 0 9 23 2 806 36 16 0 1 0 31187026 28696576 4224 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30584/statm: 7006 4224 373 3 0 4106 0
[pid=30602] ppid=30584 vsize=161236 CPUtime=1414.49
/proc/30602/stat : 30602 (minisat) R 30584 30584 29563 0 -1 0 39633 0 0 0 141347 102 0 0 25 0 1 0 31187920 165105664 38948 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528535 0 0 4096 3 0 0 0 17 0 0 0
/proc/30602/statm: 40309 38948 52 112 0 40193 0
Current children cumulated CPU time (s) 1423.16
Current children cumulated vsize (KiB) 189260

[startup+1484.22 s]
/proc/loadavg: 1.00 1.02 1.89 2/69 30788
/proc/meminfo: memFree=1670904/2055920 swapFree=4192812/4192956
[pid=30584] ppid=30582 vsize=28024 CPUtime=8.67
/proc/30584/stat : 30584 (sugar) S 30582 30584 29563 0 -1 4194304 4710 46941 0 9 23 2 806 36 16 0 1 0 31187026 28696576 4224 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30584/statm: 7006 4224 373 3 0 4106 0
[pid=30602] ppid=30584 vsize=161236 CPUtime=1474.54
/proc/30602/stat : 30602 (minisat) R 30584 30584 29563 0 -1 0 39637 0 0 0 147350 104 0 0 25 0 1 0 31187920 165105664 38952 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/30602/statm: 40309 38952 52 112 0 40193 0
Current children cumulated CPU time (s) 1483.21
Current children cumulated vsize (KiB) 189260

[startup+1544.3 s]
/proc/loadavg: 1.00 1.02 1.83 2/66 30828
/proc/meminfo: memFree=1676040/2055920 swapFree=4192812/4192956
[pid=30584] ppid=30582 vsize=28024 CPUtime=8.67
/proc/30584/stat : 30584 (sugar) S 30582 30584 29563 0 -1 4194304 4710 46941 0 9 23 2 806 36 16 0 1 0 31187026 28696576 4224 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30584/statm: 7006 4224 373 3 0 4106 0
[pid=30602] ppid=30584 vsize=161236 CPUtime=1534.58
/proc/30602/stat : 30602 (minisat) R 30584 30584 29563 0 -1 0 39640 0 0 0 153353 105 0 0 25 0 1 0 31187920 165105664 38955 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/30602/statm: 40309 38955 52 112 0 40193 0
Current children cumulated CPU time (s) 1543.25
Current children cumulated vsize (KiB) 189260

[startup+1604.38 s]
/proc/loadavg: 1.00 1.01 1.78 2/66 30828
/proc/meminfo: memFree=1676112/2055920 swapFree=4192812/4192956
[pid=30584] ppid=30582 vsize=28024 CPUtime=8.67
/proc/30584/stat : 30584 (sugar) S 30582 30584 29563 0 -1 4194304 4710 46941 0 9 23 2 806 36 16 0 1 0 31187026 28696576 4224 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30584/statm: 7006 4224 373 3 0 4106 0
[pid=30602] ppid=30584 vsize=161236 CPUtime=1594.61
/proc/30602/stat : 30602 (minisat) R 30584 30584 29563 0 -1 0 39664 0 0 0 159356 105 0 0 25 0 1 0 31187920 165105664 38979 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/30602/statm: 40309 38979 52 112 0 40193 0
Current children cumulated CPU time (s) 1603.28
Current children cumulated vsize (KiB) 189260

[startup+1664.46 s]
/proc/loadavg: 1.00 1.01 1.73 2/66 30828
/proc/meminfo: memFree=1676112/2055920 swapFree=4192812/4192956
[pid=30584] ppid=30582 vsize=28024 CPUtime=8.67
/proc/30584/stat : 30584 (sugar) S 30582 30584 29563 0 -1 4194304 4710 46941 0 9 23 2 806 36 16 0 1 0 31187026 28696576 4224 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30584/statm: 7006 4224 373 3 0 4106 0
[pid=30602] ppid=30584 vsize=161356 CPUtime=1654.65
/proc/30602/stat : 30602 (minisat) R 30584 30584 29563 0 -1 0 39681 0 0 0 165360 105 0 0 25 0 1 0 31187920 165228544 38996 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/30602/statm: 40339 38996 52 112 0 40223 0
Current children cumulated CPU time (s) 1663.32
Current children cumulated vsize (KiB) 189380

[startup+1724.53 s]
/proc/loadavg: 1.04 1.02 1.68 2/66 30828
/proc/meminfo: memFree=1674064/2055920 swapFree=4192812/4192956
[pid=30584] ppid=30582 vsize=28024 CPUtime=8.67
/proc/30584/stat : 30584 (sugar) S 30582 30584 29563 0 -1 4194304 4710 46941 0 9 23 2 806 36 16 0 1 0 31187026 28696576 4224 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30584/statm: 7006 4224 373 3 0 4106 0
[pid=30602] ppid=30584 vsize=163656 CPUtime=1714.69
/proc/30602/stat : 30602 (minisat) R 30584 30584 29563 0 -1 0 40235 0 0 0 171363 106 0 0 25 0 1 0 31187920 167583744 39550 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528556 0 0 4096 3 0 0 0 17 0 0 0
/proc/30602/statm: 40914 39550 52 112 0 40798 0
Current children cumulated CPU time (s) 1723.36
Current children cumulated vsize (KiB) 191680

[startup+1784.61 s]
/proc/loadavg: 1.01 1.01 1.64 2/66 30828
/proc/meminfo: memFree=1667792/2055920 swapFree=4192812/4192956
[pid=30584] ppid=30582 vsize=28024 CPUtime=8.67
/proc/30584/stat : 30584 (sugar) S 30582 30584 29563 0 -1 4194304 4710 46941 0 9 23 2 806 36 16 0 1 0 31187026 28696576 4224 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30584/statm: 7006 4224 373 3 0 4106 0
[pid=30602] ppid=30584 vsize=170060 CPUtime=1774.72
/proc/30602/stat : 30602 (minisat) R 30584 30584 29563 0 -1 0 41800 0 0 0 177365 107 0 0 25 0 1 0 31187920 174141440 41115 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/30602/statm: 42515 41115 52 112 0 42399 0
Current children cumulated CPU time (s) 1783.39
Current children cumulated vsize (KiB) 198084



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.22 s]
/proc/loadavg: 1.01 1.01 1.62 2/66 30828
/proc/meminfo: memFree=1666128/2055920 swapFree=4192812/4192956
[pid=30584] ppid=30582 vsize=28024 CPUtime=8.67
/proc/30584/stat : 30584 (sugar) S 30582 30584 29563 0 -1 4194304 4710 46941 0 9 23 2 806 36 16 0 1 0 31187026 28696576 4224 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30584/statm: 7006 4224 373 3 0 4106 0
[pid=30602] ppid=30584 vsize=171644 CPUtime=1791.33
/proc/30602/stat : 30602 (minisat) R 30584 30584 29563 0 -1 0 42206 0 0 0 179025 108 0 0 25 0 1 0 31187920 175763456 41521 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/30602/statm: 42911 41521 52 112 0 42795 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 199668

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

Child status: 1

!!! problem with CPU time !!!
wait4(...,&childrusage) returns 30584 and gives childrusage.ru_utime.tv_sec=8 childrusage.ru_utime.tv_usec=301737 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=400939
CPU time returned by wait4() is 8.70268
while last known CPU time is 1800.02

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

Real time (s): 1802.24
CPU time (s): 1800.02
CPU user time (s): 1798.54
CPU system time (s): 1.48
CPU usage (%): 99.8769
Max. virtual memory (cumulated for all children) (KiB): 821136

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.30174
system time used= 0.400939
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51735
page faults= 9
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1969
involuntary context switches= 1908

runsolver used 1.73673 s user time and 4.71328 s system time

The end

Launcher Data (download as text)

Begin job on node62 on Mon Jan 29 23:11:39 UTC 2007


IDJOB= 252629
IDBENCH= 12958
IDSOLVER= 86
FILE ID= node62/252629-1170112298

PBS_JOBID= 3690254

Free space on /tmp= 66036 MiB

SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/socialGolfers/socialGolfer-9-4-8.xml
COMMAND LINE= /tmp/evaluation/252629-1170112298/solver /tmp/evaluation/252629-1170112298 /tmp/evaluation/252629-1170112298/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node62/watcher-252629-1170112298 -o ROOT/results/node62/solver-252629-1170112298 -C 1800 -M 900  /tmp/evaluation/252629-1170112298/solver /tmp/evaluation/252629-1170112298 /tmp/evaluation/252629-1170112298/unknown.xml

META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH=  0fa2224912b1d835827875229dbae41a

RANDOM SEED= 925097151

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.234
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.234
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:        543664 kB
Buffers:          9096 kB
Cached:         576724 kB
SwapCached:          0 kB
Active:        1399768 kB
Inactive:        53668 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        543664 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:          294604 kB
Writeback:           0 kB
Mapped:         878596 kB
Slab:            42376 kB
Committed_AS:  1230332 kB
PageTables:       3692 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= 66559 MiB



End job on node62 on Mon Jan 29 23:41:42 UTC 2007