Trace number 196422

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
Abscon 109 ESACSAT 75.5425 75.6743

DiagnosticValue
CHECKS6018735
NODES0

General information on the benchmark

Namefapp/fapp06-10/fapp09/
fapp09-0800-7.xml
MD5SUMb866e3bcf8413b96fd501a75c264e533
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark3.9604
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables800
Number of constraints8975
Maximum constraint arity2
Maximum domain size350
Number of constraints which are defined in extension0
Number of constraints which are defined in intension8975
Global constraints used (with number of constraints)

Solver Data (download as text)

0.29	   
0.29	Abscon 109 (November, 2006)
0.29	   
0.29	   configuration
0.29	     name=esac.xml
0.32	   
0.32	   instance
0.32	     name=/tmp/evaluation/196422-1168123264/unknown.xml
0.35	   
0.35	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.50	     nbVariables=800  nbDomainTypes=33  minDomainSize=42  maxDomainSize=350
0.50	       =>  wckTime=0.214  cpuTime=0.15  mem=11M768
0.50	   
0.50	   predicates being loaded...
0.51	   
0.51	   constraints being loaded...
74.24	     nbConstraints=4800  nbMergedConstraints=4175  nbConvertedConstraints=4800  nbConvertConstraintsChecks=128592360
74.24	     nbExtensionStructures=4372  nbSharedExtensionStructures=428  nbConflictsStructures=4372
74.24	     nbSharedConflictsStructures=428  nbSharedBinaryRepresentations=1017587  maxDegree=19  maxArity=2
74.24	       =>  wckTime=73.945  cpuTime=72.95  mem=73M974
74.45	   
74.45	   solver IterativeSystematicSolver being built... 
74.66	       =>  wckTime=74.366  cpuTime=73.13  mem=75M738
75.60	   
75.60	   preprocessing
75.60	     nbConstraintChecks=6018735  nbPropagations=11540  nbRevisions=54696  nbUselessRevisions=43622
75.60	     nbSingletonTests=1037  nbEffectiveSingletonTests=0  nbESACBranches=2  nbRemovedValues=46504
75.60	     detectedInconsistency=no
75.60	       =>  wckTime=0.937  cpuTime=0.9  mem=75M738
75.60	   
75.60	   global
75.60	     nbConstraintChecks=6018735  nbPropagations=11540  nbRevisions=54696  nbUselessRevisions=43622  nbRestartNogoods=0
75.60	     solvingWckTime=0.941  solvingCpuTime=0.9  expiredTime=no  totalExploration=no  nbFoundSolutions=1
75.60	     globalCpuTime=74.09
75.60	       =>  wckTime=75.312  cpuTime=74.04  mem=75M738
75.61	   
75.61	s SATISFIABLE
75.61	v -2580 -2640 -2120 2508 -2704 -2572 2596 -2168 -2604 2656 -2716 -2704 -2200 2364 -2640 2508 -2692 -2264 -2360 2564 -2508 -2524 2596 -2280 2340 -2600 -2180 -2688 -2532 2484 2564 -2196 -2200 2620 -2264 -2272 2124 -2660 2680 -2308 -2340 -2620 -2248 2496 -2616 -2360 -2420 -2500 2584 -2504 2060 -2576 -2508 2020 -2612 2224 -2292 -2556 -2352 -2152 -2336 -2172 -2476 -2300 -2632 -2320 -2232 2356 -2528 -2636 -2484 -2268 -2224 -2324 -2376 2120 -2268 2412 -2628 -2680 -2492 -2628 -2716 2332 2540 -2600 -2104 2520 -2160 -2288 2580 -2624 -2044 2452 -2044 2580 -2620 -2612 -2172 -2580 -2060 -2656 -2624 -2260 -2704 -2588 2544 -2220 -2384 -2644 2628 2484 -2220 -2704 2596 -2116 -2584 2256 -2236 2368 -2620 -2536 2360 -2636 -2524 -2668 -2664 -2264 -2220 2548 -2504 2348 -2516 -2664 2176 -2256 2552 2640 2660 -2332 -2452 -2112 -2176 2592 2140 -2588 -2544 -2292 -2580 -2060 -2556 -2100 2676 -2108 -2496 2368 2672 2644 2648 -2512 -2648 -2640 2568 -2580 -2648 2612 -2320 -2584 -2392 -2216 -2144 2592 -2676 2212 2212 -2468 -2380 2604 -2340 -2500 -2524 -2036 -2704 2520 -2584 2304 -2256 -2612 -2084 -2232 2304 -2232 -2600 -2664 2268 -2500 2656 -2228 -2560 2292 2604 -2704 2292 -2452 -2540 -2316 -2060 -2216 -2628 -2364 2164 2532 2204 -2592 2188 2512 -2520 -2216 2620 -2132 -2440 -2180 -2580 -2264 -2092 2400 -2320 -2504 2328 -2600 -2192 -2400 2716 -2576 2584 -2668 2260 -2132 -2244 2488 -2524 -2224 -2580 -2716 -2296 -2540 -2244 -2484 -2304 -2608 -2120 -2704 -2524 -2560 -2620 -2224 2516 2488 2360 -2192 -2360 2616 2132 -2696 -2704 -2592 -2616 -2088 2020 -2644 2652 2652 2552 2064 -2668 2616 -2272 2536 2604 2200 -2584 -2500 2020 -2676 -2464 -2196 2652 -2472 2324 -2460 -2620 -2648 2632 -2264 -2536 2620 -2520 2592 -2660 -2564 -2460 -2328 -2408 -2304 2432 -2516 -2716 2512 -2656 -2340 -2184 2560 2264 -2552 -2520 -2492 2344 2500 -2320 -2340 2544 -2416 -2640 2224 -2572 -2588 -2156 -2684 2656 -2160 -2304 2604 2280 -2688 2312 -2144 -2192 2568 -2640 2400 -2252 2424 2628 -2492 2020 2560 -2340 2524 2020 2652 -2620 -2696 -2688 -2648 2284 2456 -2096 -2180 -2092 -2372 -2540 -2384 -2680 2084 -2276 -2372 -2664 -2556 -2516 -2640 -2264 -2484 -2272 -2524 -2696 -2244 -2484 -2304 2656 -2548 -2420 -2576 2268 -2620 -2264 -2636 -2224 2520 2056 2540 -2300 2596 -2424 -2616 -2388 -2540 -2336 -2512 -2416 -2324 -2440 -2028 -2064 2332 -2216 -2480 2628 -2532 -2296 -2580 -2716 -2272 -2692 2624 2612 2480 -2028 -2524 -2460 -2660 -2656 -2676 -2628 -2680 -2640 2468 -2580 2020 2472 -2660 2556 -2220 2164 2264 -2512 -2600 -2072 2224 -2504 -2476 2160 2472 2160 2224 -2456 -2524 -2216 -2692 -2664 -2540 -2132 -2584 2684 2620 -2220 2420 2580 -2652 -2356 -2576 -2556 2316 -2024 -2204 2604 -2660 -2264 -2344 -2640 2660 -2484 -2440 -2572 -2664 -2060 2516 -2564 -2380 -2060 -2632 -2264 2152 2544 -2380 -2364 -2112 -2504 -2240 -2624 -2260 -2616 -2628 2612 -2624 -2312 -2524 2352 -2664 -2512 2308 -2400 -2508 -2520 -2532 -2552 2020 2224 2636 -2580 -2628 -2716 -2324 -2224 -2608 -2264 2520 2300 -2320 -2448 -2676 2308 -2068 -2520 -2292 2672 2268 -2652 -2400 -2484 2568 -2296 -2232 2564 2020 -2588 2688 2524 2684 -2576 -2332 -2604 2388 -2640 -2584 -2160 -2664 2076 -2624 2452 -2648 2496 -2172 -2572 2608 2224 -2624 2172 -2640 2388 -2592 -2204 -2608 2348 -2564 -2392 2316 -2264 2208 -2564 2020 2440 -2256 2120 2468 -2492 -2048 2312 -2180 -2652 -2396 -2136 -2176 2432 -2528 2372 -2444 2224 2464 -2632 2452 -2676 2380 2644 2380 -2648 -2684 2484 2540 -2252 -2376 -2296 -2688 2668 2208 -2296 -2592 -2536 -2356 -2560 2656 -2280 -2696 2668 -2612 2472 2140 2420 -2060 -2300 -2528 2572 2544 -2684 2020 2596 2652 -2692 -2476 2552 2488 2604 -2572 -2620 -2540 -2308 -2512 -2332 -2660 2192 -2612 -2572 2580 -2428 2308 -2152 -2596 -2588 2320 -2676 -2264 -2620 2548 2472 2600 2192 -2540 -2468 -2360 -2644 -2308 -2416 -2160 2552 2148 -2124 -2368 2436 -2676 -2344 2536 -2508 -2084 -2656 -2060 -2564 -2528 2236 -2616 -2556 2428 -2480 -2268 -2392 2480 -2252 -2148 2412 -2184 -2108 2332 -2592 -2060 2564 2188 -2640 -2028 2480 2276 -2524 -2060 -2264 -2684 -2404 -2596 -2252 2300 -2200 -2184 -2304 -2260 -2192 -2484 -2612 -2592 -2400 -2132 2092 -2656 -2376 -2664 -2336 -2600 -2360 -2452 -2688 2212 2148 -2060 2312 -2432 -2176 2068 -2232 2656 -2412 -2132 2212 2624 -2380 2664 2616 2572 -2540 -2336 -2388 -2612 -2644 -2584 -2552 -2160 -2328 -2068 2552 -2548 -2204 -2680 2496 -2212 -2624 -2648 -2412 -2156 -2676 -2696 -2716 -2548 2252 2580 -2636 -2544 -2588 2420 -2620 2240 2644 -2664 2632 2560 -2252 -2488 -2508 2660 2624 -2520 -2600 2572 -2588 2436 2320 2552 -2264 2372 2476 2620 -2628 -2688 2696 -2308 2348 -2648 
75.61	d NODES 0
75.61	d CHECKS 6018735
75.61	   
75.61	   totalWckTime=75.392  totalCpuTime=74.1

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/node48/watcher-196422-1168123264 -o ROOT/results/node48/solver-196422-1168123264 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/196422-1168123264/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.99 2.00 1.96 4/82 12902
/proc/meminfo: memFree=1256208/2055920 swapFree=4192812/4192956
[pid=12901] ppid=12899 vsize=1784 CPUtime=0
/proc/12901/stat : 12901 (java) R 12899 12901 11852 0 -1 0 374 0 0 0 0 0 0 0 18 0 1 0 160725138 1826816 163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 3531556 0 0 4096 0 0 0 0 17 0 0 0
/proc/12901/statm: 446 163 128 14 0 91 0

[startup+0.107416 s]
/proc/loadavg: 1.99 2.00 1.96 4/82 12902
/proc/meminfo: memFree=1256208/2055920 swapFree=4192812/4192956
[pid=12901] ppid=12899 vsize=914988 CPUtime=0.09
/proc/12901/stat : 12901 (java) R 12899 12901 11852 0 -1 0 3112 0 1 0 8 1 0 0 24 0 8 0 160725138 936947712 2858 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12901/statm: 228747 2859 1466 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.51545 s]
/proc/loadavg: 1.99 2.00 1.96 4/82 12902
/proc/meminfo: memFree=1256208/2055920 swapFree=4192812/4192956
[pid=12901] ppid=12899 vsize=915328 CPUtime=0.5
/proc/12901/stat : 12901 (java) R 12899 12901 11852 0 -1 0 7395 0 1 0 46 4 0 0 25 0 8 0 160725138 937295872 7134 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12901/statm: 228832 7134 2147 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328

[startup+1.33653 s]
/proc/loadavg: 1.99 2.00 1.96 3/89 12909
/proc/meminfo: memFree=1193496/2055920 swapFree=4192812/4192956
[pid=12901] ppid=12899 vsize=915632 CPUtime=1.32
/proc/12901/stat : 12901 (java) R 12899 12901 11852 0 -1 0 18073 0 1 0 121 11 0 0 25 0 8 0 160725138 937607168 17811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073807016 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12901/statm: 228908 17811 2180 14 0 215378 0
[pid=12901/tid=12903] ppid=12899 vsize=915632 CPUtime=0.02
/proc/12901/task/12903/stat : 12903 (java) S 12899 12901 11852 0 -1 64 1469 0 0 0 2 0 0 0 17 0 8 0 160725141 937607168 17811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12901/tid=12904] ppid=12899 vsize=915632 CPUtime=0
/proc/12901/task/12904/stat : 12904 (java) S 12899 12901 11852 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 160725141 937607168 17811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12901/tid=12905] ppid=12899 vsize=915632 CPUtime=0
/proc/12901/task/12905/stat : 12905 (java) S 12899 12901 11852 0 -1 64 6 0 0 0 0 0 0 0 17 0 8 0 160725141 937607168 17811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12901/tid=12906] ppid=12899 vsize=915632 CPUtime=0
/proc/12901/task/12906/stat : 12906 (java) S 12899 12901 11852 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 160725144 937607168 17811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12901/tid=12907] ppid=12899 vsize=915632 CPUtime=0.16
/proc/12901/task/12907/stat : 12907 (java) S 12899 12901 11852 0 -1 64 410 0 0 0 15 1 0 0 15 0 8 0 160725144 937607168 17811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12901/tid=12908] ppid=12899 vsize=915632 CPUtime=0
/proc/12901/task/12908/stat : 12908 (java) S 12899 12901 11852 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 160725144 937607168 17811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12901/tid=12909] ppid=12899 vsize=915632 CPUtime=0
/proc/12901/task/12909/stat : 12909 (java) S 12899 12901 11852 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160725144 937607168 17811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915632

[startup+2.97368 s]
/proc/loadavg: 1.99 2.00 1.96 3/89 12909
/proc/meminfo: memFree=1193432/2055920 swapFree=4192812/4192956
[pid=12901] ppid=12899 vsize=915632 CPUtime=2.96
/proc/12901/stat : 12901 (java) R 12899 12901 11852 0 -1 0 18092 0 1 0 285 11 0 0 25 0 8 0 160725138 937607168 17829 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073802272 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12901/statm: 228908 17829 2181 14 0 215378 0
[pid=12901/tid=12903] ppid=12899 vsize=915632 CPUtime=0.02
/proc/12901/task/12903/stat : 12903 (java) S 12899 12901 11852 0 -1 64 1469 0 0 0 2 0 0 0 16 0 8 0 160725141 937607168 17829 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12901/tid=12904] ppid=12899 vsize=915632 CPUtime=0
/proc/12901/task/12904/stat : 12904 (java) S 12899 12901 11852 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 160725141 937607168 17829 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12901/tid=12905] ppid=12899 vsize=915632 CPUtime=0
/proc/12901/task/12905/stat : 12905 (java) S 12899 12901 11852 0 -1 64 6 0 0 0 0 0 0 0 17 0 8 0 160725141 937607168 17829 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12901/tid=12906] ppid=12899 vsize=915632 CPUtime=0
/proc/12901/task/12906/stat : 12906 (java) S 12899 12901 11852 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 160725144 937607168 17829 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12901/tid=12907] ppid=12899 vsize=915632 CPUtime=0.18
/proc/12901/task/12907/stat : 12907 (java) S 12899 12901 11852 0 -1 64 427 0 0 0 17 1 0 0 15 0 8 0 160725144 937607168 17829 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12901/tid=12908] ppid=12899 vsize=915632 CPUtime=0
/proc/12901/task/12908/stat : 12908 (java) S 12899 12901 11852 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 160725144 937607168 17829 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12901/tid=12909] ppid=12899 vsize=915632 CPUtime=0
/proc/12901/task/12909/stat : 12909 (java) S 12899 12901 11852 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160725144 937607168 17829 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915632

[startup+6.27198 s]
/proc/loadavg: 1.99 2.00 1.96 3/89 12909
/proc/meminfo: memFree=1193304/2055920 swapFree=4192812/4192956
[pid=12901] ppid=12899 vsize=915632 CPUtime=6.26
/proc/12901/stat : 12901 (java) R 12899 12901 11852 0 -1 0 18094 0 1 0 613 13 0 0 25 0 8 0 160725138 937607168 17830 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073798695 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12901/statm: 228908 17830 2181 14 0 215378 0
[pid=12901/tid=12903] ppid=12899 vsize=915632 CPUtime=0.02
/proc/12901/task/12903/stat : 12903 (java) S 12899 12901 11852 0 -1 64 1469 0 0 0 2 0 0 0 16 0 8 0 160725141 937607168 17830 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12901/tid=12904] ppid=12899 vsize=915632 CPUtime=0
/proc/12901/task/12904/stat : 12904 (java) S 12899 12901 11852 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 160725141 937607168 17830 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12901/tid=12905] ppid=12899 vsize=915632 CPUtime=0
/proc/12901/task/12905/stat : 12905 (java) S 12899 12901 11852 0 -1 64 6 0 0 0 0 0 0 0 17 0 8 0 160725141 937607168 17830 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12901/tid=12906] ppid=12899 vsize=915632 CPUtime=0
/proc/12901/task/12906/stat : 12906 (java) S 12899 12901 11852 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 160725144 937607168 17830 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12901/tid=12907] ppid=12899 vsize=915632 CPUtime=0.18
/proc/12901/task/12907/stat : 12907 (java) S 12899 12901 11852 0 -1 64 428 0 0 0 17 1 0 0 16 0 8 0 160725144 937607168 17830 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12901/tid=12908] ppid=12899 vsize=915632 CPUtime=0
/proc/12901/task/12908/stat : 12908 (java) S 12899 12901 11852 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 160725144 937607168 17830 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12901/tid=12909] ppid=12899 vsize=915632 CPUtime=0
/proc/12901/task/12909/stat : 12909 (java) S 12899 12901 11852 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160725144 937607168 17830 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 915632

[startup+12.7496 s]
/proc/loadavg: 2.07 2.02 1.96 3/89 12909
/proc/meminfo: memFree=1193312/2055920 swapFree=4192812/4192956
[pid=12901] ppid=12899 vsize=915632 CPUtime=12.73
/proc/12901/stat : 12901 (java) R 12899 12901 11852 0 -1 0 18103 0 1 0 1259 14 0 0 25 0 8 0 160725138 937607168 17837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073798620 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12901/statm: 228908 17837 2181 14 0 215378 0
[pid=12901/tid=12903] ppid=12899 vsize=915632 CPUtime=0.02
/proc/12901/task/12903/stat : 12903 (java) S 12899 12901 11852 0 -1 64 1469 0 0 0 2 0 0 0 16 0 8 0 160725141 937607168 17837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12901/tid=12904] ppid=12899 vsize=915632 CPUtime=0
/proc/12901/task/12904/stat : 12904 (java) S 12899 12901 11852 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 160725141 937607168 17837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12901/tid=12905] ppid=12899 vsize=915632 CPUtime=0
/proc/12901/task/12905/stat : 12905 (java) S 12899 12901 11852 0 -1 64 6 0 0 0 0 0 0 0 17 0 8 0 160725141 937607168 17837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12901/tid=12906] ppid=12899 vsize=915632 CPUtime=0
/proc/12901/task/12906/stat : 12906 (java) S 12899 12901 11852 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 160725144 937607168 17837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12901/tid=12907] ppid=12899 vsize=915632 CPUtime=0.19
/proc/12901/task/12907/stat : 12907 (java) S 12899 12901 11852 0 -1 64 435 0 0 0 18 1 0 0 16 0 8 0 160725144 937607168 17837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12901/tid=12908] ppid=12899 vsize=915632 CPUtime=0
/proc/12901/task/12908/stat : 12908 (java) S 12899 12901 11852 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 160725144 937607168 17837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12901/tid=12909] ppid=12899 vsize=915632 CPUtime=0
/proc/12901/task/12909/stat : 12909 (java) S 12899 12901 11852 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160725144 937607168 17837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.73
Current children cumulated vsize (KiB) 915632

[startup+25.6348 s]
/proc/loadavg: 2.05 2.01 1.96 3/89 12909
/proc/meminfo: memFree=1176096/2055920 swapFree=4192812/4192956
[pid=12901] ppid=12899 vsize=915632 CPUtime=25.6
/proc/12901/stat : 12901 (java) R 12899 12901 11852 0 -1 0 22461 0 1 0 2541 19 0 0 25 0 8 0 160725138 937607168 22193 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073798630 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12901/statm: 228908 22193 2181 14 0 215378 0
[pid=12901/tid=12903] ppid=12899 vsize=915632 CPUtime=0.18
/proc/12901/task/12903/stat : 12903 (java) S 12899 12901 11852 0 -1 64 5820 0 0 0 16 2 0 0 16 0 8 0 160725141 937607168 22193 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12901/tid=12904] ppid=12899 vsize=915632 CPUtime=0
/proc/12901/task/12904/stat : 12904 (java) S 12899 12901 11852 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 160725141 937607168 22193 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12901/tid=12905] ppid=12899 vsize=915632 CPUtime=0
/proc/12901/task/12905/stat : 12905 (java) S 12899 12901 11852 0 -1 64 6 0 0 0 0 0 0 0 17 0 8 0 160725141 937607168 22193 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12901/tid=12906] ppid=12899 vsize=915632 CPUtime=0
/proc/12901/task/12906/stat : 12906 (java) S 12899 12901 11852 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 160725144 937607168 22193 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12901/tid=12907] ppid=12899 vsize=915632 CPUtime=0.2
/proc/12901/task/12907/stat : 12907 (java) S 12899 12901 11852 0 -1 64 440 0 0 0 19 1 0 0 15 0 8 0 160725144 937607168 22193 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12901/tid=12908] ppid=12899 vsize=915632 CPUtime=0
/proc/12901/task/12908/stat : 12908 (java) S 12899 12901 11852 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 160725144 937607168 22193 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12901/tid=12909] ppid=12899 vsize=915632 CPUtime=0
/proc/12901/task/12909/stat : 12909 (java) S 12899 12901 11852 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160725144 937607168 22193 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.6
Current children cumulated vsize (KiB) 915632

[startup+51.2821 s]
/proc/loadavg: 2.03 2.01 1.96 3/89 12909
/proc/meminfo: memFree=1150880/2055920 swapFree=4192812/4192956
[pid=12901] ppid=12899 vsize=915632 CPUtime=51.22
/proc/12901/stat : 12901 (java) R 12899 12901 11852 0 -1 0 28786 0 1 0 5092 30 0 0 25 0 8 0 160725138 937607168 28516 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073798400 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12901/statm: 228908 28516 2181 14 0 215378 0
[pid=12901/tid=12903] ppid=12899 vsize=915632 CPUtime=0.57
/proc/12901/task/12903/stat : 12903 (java) S 12899 12901 11852 0 -1 64 12139 0 0 0 51 6 0 0 16 0 8 0 160725141 937607168 28516 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12901/tid=12904] ppid=12899 vsize=915632 CPUtime=0
/proc/12901/task/12904/stat : 12904 (java) S 12899 12901 11852 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 160725141 937607168 28516 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12901/tid=12905] ppid=12899 vsize=915632 CPUtime=0
/proc/12901/task/12905/stat : 12905 (java) S 12899 12901 11852 0 -1 64 6 0 0 0 0 0 0 0 17 0 8 0 160725141 937607168 28516 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12901/tid=12906] ppid=12899 vsize=915632 CPUtime=0
/proc/12901/task/12906/stat : 12906 (java) S 12899 12901 11852 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 160725144 937607168 28516 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12901/tid=12907] ppid=12899 vsize=915632 CPUtime=0.2
/proc/12901/task/12907/stat : 12907 (java) S 12899 12901 11852 0 -1 64 444 0 0 0 19 1 0 0 16 0 8 0 160725144 937607168 28516 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12901/tid=12908] ppid=12899 vsize=915632 CPUtime=0
/proc/12901/task/12908/stat : 12908 (java) S 12899 12901 11852 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 160725144 937607168 28516 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12901/tid=12909] ppid=12899 vsize=915632 CPUtime=0
/proc/12901/task/12909/stat : 12909 (java) S 12899 12901 11852 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160725144 937607168 28516 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.22
Current children cumulated vsize (KiB) 915632

Child status: 0
Real time (s): 75.6743
CPU time (s): 75.5425
CPU user time (s): 75.1206
CPU system time (s): 0.421935
CPU usage (%): 99.8258
Max. virtual memory (cumulated for all children) (KiB): 915636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 75.1206
system time used= 0.421935
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33952
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2976
involuntary context switches= 3192

runsolver used 0.105983 s user time and 0.276957 s system time

The end

Launcher Data (download as text)

Begin job on node48 on Sat Jan  6 22:41:04 UTC 2007


IDJOB= 196422
IDBENCH= 3350
FILE ID= node48/196422-1168123264

PBS_JOBID= 3477491

Free space on /tmp= 66553 MiB

BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp06-10/fapp09/fapp09-0800-7.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/196422-1168123264/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node48/watcher-196422-1168123264 -o ROOT/results/node48/solver-196422-1168123264 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/196422-1168123264/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  b866e3bcf8413b96fd501a75c264e533

RANDOM SEED= 556047798

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.218
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.218
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:       1256624 kB
Buffers:         43884 kB
Cached:         383700 kB
SwapCached:          0 kB
Active:         399896 kB
Inactive:       325356 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1256624 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3124 kB
Writeback:           0 kB
Mapped:         316804 kB
Slab:            58624 kB
Committed_AS:  4066712 kB
PageTables:       2380 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= 66553 MiB



End job on node48 on Sat Jan  6 22:42:20 UTC 2007