Trace number 196550

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 78.1181 78.6014

DiagnosticValue
CHECKS12808249
NODES804

General information on the benchmark

Namefapp/fapp06-10/fapp09/
fapp09-0800-8.xml
MD5SUM98512f16e1ee914547090e130fb41158
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 benchmark4.02439
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.35	   
0.35	Abscon 109 (November, 2006)
0.35	   
0.35	   configuration
0.35	     name=esac.xml
0.38	   
0.38	   instance
0.38	     name=/tmp/evaluation/196550-1168124147/unknown.xml
0.42	   
0.42	   domains being loaded...
0.45	   
0.45	   variables being loaded...
0.58	     nbVariables=800  nbDomainTypes=33  minDomainSize=42  maxDomainSize=350
0.58	       =>  wckTime=0.227  cpuTime=0.16  mem=11M768
0.58	   
0.58	   predicates being loaded...
0.58	   
0.58	   constraints being loaded...
76.06	     nbConstraints=4800  nbMergedConstraints=4175  nbConvertedConstraints=4800  nbConvertConstraintsChecks=128485256
76.06	     nbExtensionStructures=4370  nbSharedExtensionStructures=430  nbConflictsStructures=4370
76.06	     nbSharedConflictsStructures=430  nbSharedBinaryRepresentations=1018794  maxDegree=19  maxArity=2
76.06	       =>  wckTime=75.706  cpuTime=74.21  mem=73M529
76.35	   
76.35	   solver IterativeSystematicSolver being built... 
76.56	       =>  wckTime=76.211  cpuTime=74.39  mem=75M736
77.84	   
77.84	   preprocessing
77.84	     nbConstraintChecks=9741628  nbPropagations=17665  nbRevisions=76641  nbUselessRevisions=59659
77.84	     nbSingletonTests=1162  nbEffectiveSingletonTests=0  nbESACBranches=4  nbRemovedValues=41608
77.84	     detectedInconsistency=no
77.84	       =>  wckTime=1.272  cpuTime=1.23  mem=75M736
78.54	   
78.54	   search
78.54	     run=0  nbConstraintChecks=3066621  nbPropagations=23643  nbRevisions=100083  nbUselessRevisions=77577
78.54	     nbAssignments=804  nbFailedAssignments=4  nbBacktracks=0  nbVisitedNodes=809  nbRestartNogoods=0  mapSize=0
78.54	     nbInferences=0  nbTooLargeKeys=0
78.54	       =>  wckTime=1.966  cpuTime=1.9  mem=83M582
78.54	   
78.54	   global
78.54	     nbConstraintChecks=12808249  nbPropagations=41308  nbRevisions=176724  nbUselessRevisions=137236
78.54	     nbRestartNogoods=0  solvingWckTime=1.967  solvingCpuTime=1.9  expiredTime=no  totalExploration=no
78.54	     nbFoundSolutions=1  globalCpuTime=76.35
78.54	       =>  wckTime=78.185  cpuTime=76.29  mem=83M582
78.54	   
78.54	s SATISFIABLE
78.54	v -2656 -2600 -2108 -2476 -2636 2584 2716 -2072 -2624 -2676 2532 -2704 -2200 -2224 -2640 2580 2564 2192 2120 -2640 -2532 2532 2620 -2252 -2544 2600 -2148 -2528 2472 2488 -2584 -2120 -2148 2648 2228 -2232 -2020 -2660 2648 -2460 -2212 2684 -2288 2436 -2656 -2360 -2364 -2480 -2612 2444 2060 2560 -2524 -2020 2620 -2224 -2192 -2600 -2176 -2100 -2308 2160 -2372 -2148 -2696 -2252 2168 2444 2548 -2696 -2476 -2268 -2200 -2264 2280 -2120 2192 2508 -2628 2680 2576 2648 -2060 -2264 -2524 2612 -2060 2652 -2076 2268 -2584 -2624 -2420 2404 -2020 2616 2620 -2716 -2160 2548 2084 -2656 2600 -2340 -2704 -2588 -2696 2380 -2332 2628 2536 -2520 -2224 2704 -2584 2020 2620 -2092 2212 -2364 2620 2556 -2312 2664 2480 -2684 2664 -2160 2196 2564 2516 -2296 -2580 2640 2124 -2268 2580 2676 2644 2232 -2388 -2140 2096 2632 -2108 2588 2476 -2248 -2620 -2212 -2624 -2124 -2704 -2124 -2480 2328 2656 2668 2700 2672 2648 2640 2640 -2636 -2660 2616 -2308 2656 -2360 -2060 -2108 -2660 2020 -2160 -2212 -2452 -2504 -2660 -2320 -2528 2548 -2020 -2704 -2584 -2448 2308 -2256 -2656 -2380 2100 2224 -2220 2620 2664 -2208 -2444 -2684 2244 2524 -2020 -2552 -2704 -2332 -2460 2532 -2208 -2164 -2052 -2660 -2364 2160 2540 -2060 -2628 -2204 2472 -2424 -2216 2624 -2020 -2440 -2112 2572 -2264 -2076 -2308 -2304 -2552 -2368 2664 2276 -2400 2676 -2636 -2684 2496 2184 -2120 -2200 -2624 2484 -2232 2580 -2292 -2184 -2520 -2160 -2588 -2320 -2584 -2160 -2704 -2584 -2496 -2700 -2200 2548 -2508 2376 -2128 2348 2676 -2072 2704 2656 -2592 -2444 -2080 -2060 2620 -2704 -2704 2544 -2020 2640 -2496 2288 2604 2640 2116 -2612 2496 2252 2708 -2540 -2172 -2656 2508 2324 -2348 2508 -2544 2620 2200 -2520 -2656 2508 2636 2656 2592 -2456 2308 -2324 -2188 2468 2488 2668 -2532 -2696 -2320 -2160 -2560 -2268 -2592 -2520 -2500 -2360 -2536 -2320 -2272 2588 2320 -2680 -2160 2632 2620 -2160 2692 -2536 -2120 -2328 -2552 2212 2700 2272 2092 2192 -2656 2632 -2400 2204 2428 2684 2444 2088 2480 -2108 2548 2260 2676 2652 -2696 -2688 -2628 -2308 2396 -2060 -2148 -2032 2400 2580 2264 2640 -2060 -2344 -2348 2696 2540 2516 -2636 -2204 2460 -2232 -2484 -2716 2020 -2524 2120 -2628 2516 2252 -2548 -2500 -2620 2160 2616 -2256 2484 2020 -2488 -2244 2656 -2224 2600 -2324 -2616 2224 2648 2308 -2268 2268 -2060 -2080 -2360 -2164 -2464 2680 2500 2280 2540 2704 2284 2652 -2680 -2624 2500 -2060 -2484 2404 -2660 2656 2664 2644 2512 2552 -2620 -2452 2044 2688 -2660 2580 2152 -2188 -2264 2568 2632 -2112 2224 -2580 -2540 2120 -2512 2160 2256 -2268 -2516 -2200 2664 2640 -2540 2064 2584 2668 2640 -2208 2308 -2580 -2660 2400 -2484 -2528 2368 -2120 -2120 -2640 -2608 2296 -2372 2608 2660 2544 -2436 2512 2664 -2060 -2580 -2492 -2324 2220 2696 -2264 -2152 2512 -2252 -2364 -2072 -2488 -2108 -2572 2156 -2616 -2628 -2588 -2644 2244 2500 -2400 2664 2632 -2308 -2272 2020 -2520 2572 -2528 2020 -2244 2580 -2564 2656 2540 -2324 -2200 2600 -2160 -2520 -2360 -2296 -2460 -2332 -2248 -2020 -2540 -2224 2656 -2368 2604 -2336 2444 -2624 2228 -2272 -2592 2020 2584 -2632 2528 -2648 2564 -2292 2600 2348 2572 -2628 -2148 2676 -2060 2488 2468 -2648 -2516 2024 2580 2648 2224 -2680 2080 2624 -2336 -2508 -2160 2616 -2364 2588 -2324 -2404 -2172 -2328 -2524 -2020 -2440 -2228 2160 2620 -2532 -2040 2328 -2168 2616 2440 -2056 2160 2284 -2584 2440 -2424 -2212 -2468 2548 2284 -2492 2544 2652 2212 -2488 -2644 -2508 2492 -2392 2268 -2268 -2688 2644 -2112 2344 -2584 2520 -2248 2560 2640 -2268 2656 -2688 -2552 2672 -2188 -2348 2060 -2360 2584 -2592 2528 2628 -2044 -2656 2692 2664 -2436 2588 -2500 2628 2676 2596 2540 -2408 -2580 2360 -2604 -2020 2672 2540 -2580 2072 -2300 -2236 2620 -2588 -2160 -2716 2296 2620 2488 2632 2592 -2180 -2576 2060 -2336 -2608 2316 -2464 -2160 2540 -2108 -2148 2364 -2412 -2580 -2244 2508 -2492 -2060 2616 2084 2600 2020 -2304 2644 -2508 -2308 2548 -2260 -2380 2612 -2200 2164 2244 -2148 -2148 -2388 -2620 2020 2680 -2204 2580 -2052 2544 -2328 -2484 -2048 -2288 2636 -2464 2640 -2252 -2312 -2120 -2132 2284 2284 -2060 -2524 2636 -2540 2396 -2120 -2060 2696 2424 2664 -2304 -2640 -2264 -2616 2668 -2200 2164 -2060 2216 -2420 2020 -2020 -2060 2664 -2348 -2036 2244 -2572 2388 -2684 2680 -2628 2580 -2320 -2112 2616 2676 -2640 2596 2160 -2324 2092 -2632 -2544 -2200 -2716 -2560 2432 2644 2608 -2400 -2060 2676 2656 -2716 2492 2060 2612 -2676 2484 2616 2504 2616 -2292 -2684 -2664 -2660 -2592 -2208 2060 2580 2600 -2660 -2536 2676 2576 -2528 -2476 -2308 -2492 -2264 2400 -2476 2644 -2628 2660 -2668 -2232 2356 2672 
78.54	d NODES 804
78.54	d CHECKS 12808249
78.54	   
78.54	   totalWckTime=78.266  totalCpuTime=76.36

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/node44/watcher-196550-1168124147 -o ROOT/results/node44/solver-196550-1168124147 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/196550-1168124147/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.02 2.11 2.08 5/81 24446
/proc/meminfo: memFree=1021960/2055920 swapFree=4192812/4192956
[pid=24445] ppid=24443 vsize=172 CPUtime=0
/proc/24445/stat : 24445 (java) R 24443 24445 23778 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 160813726 176128 24 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 11280683 0 0 4096 0 0 0 0 17 0 0 0
/proc/24445/statm: 43 24 18 14 0 3 0

[startup+0.107452 s]
/proc/loadavg: 2.02 2.11 2.08 5/81 24446
/proc/meminfo: memFree=1021960/2055920 swapFree=4192812/4192956
[pid=24445] ppid=24443 vsize=911488 CPUtime=0.07
/proc/24445/stat : 24445 (java) R 24443 24445 23778 0 -1 0 2591 0 1 0 6 1 0 0 23 0 8 0 160813726 933363712 2339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155581175 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24445/statm: 227872 2339 1273 14 0 215051 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 911488

[startup+0.515489 s]
/proc/loadavg: 2.02 2.11 2.08 5/81 24446
/proc/meminfo: memFree=1021960/2055920 swapFree=4192812/4192956
[pid=24445] ppid=24443 vsize=915328 CPUtime=0.46
/proc/24445/stat : 24445 (java) R 24443 24445 23778 0 -1 0 6514 0 1 0 41 5 0 0 25 0 8 0 160813726 937295872 6253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073576848 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24445/statm: 228832 6254 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 915328

[startup+1.33858 s]
/proc/loadavg: 2.02 2.11 2.08 3/88 24453
/proc/meminfo: memFree=958992/2055920 swapFree=4192812/4192956
[pid=24445] ppid=24443 vsize=915632 CPUtime=1.28
/proc/24445/stat : 24445 (java) R 24443 24445 23778 0 -1 0 18073 0 1 0 116 12 0 0 25 0 8 0 160813726 937607168 17811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073798630 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24445/statm: 228908 17811 2180 14 0 215378 0
[pid=24445/tid=24447] ppid=24443 vsize=915632 CPUtime=0.03
/proc/24445/task/24447/stat : 24447 (java) S 24443 24445 23778 0 -1 64 1469 0 0 0 3 0 0 0 17 0 8 0 160813732 937607168 17811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24445/tid=24448] ppid=24443 vsize=915632 CPUtime=0
/proc/24445/task/24448/stat : 24448 (java) S 24443 24445 23778 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 160813733 937607168 17811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24445/tid=24449] ppid=24443 vsize=915632 CPUtime=0
/proc/24445/task/24449/stat : 24449 (java) S 24443 24445 23778 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 160813733 937607168 17811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24445/tid=24450] ppid=24443 vsize=915632 CPUtime=0
/proc/24445/task/24450/stat : 24450 (java) S 24443 24445 23778 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 160813736 937607168 17811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24445/tid=24451] ppid=24443 vsize=915632 CPUtime=0.16
/proc/24445/task/24451/stat : 24451 (java) S 24443 24445 23778 0 -1 64 410 0 0 0 15 1 0 0 15 0 8 0 160813736 937607168 17811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24445/tid=24452] ppid=24443 vsize=915632 CPUtime=0
/proc/24445/task/24452/stat : 24452 (java) S 24443 24445 23778 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 160813736 937607168 17811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24445/tid=24453] ppid=24443 vsize=915632 CPUtime=0
/proc/24445/task/24453/stat : 24453 (java) S 24443 24445 23778 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160813736 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.28
Current children cumulated vsize (KiB) 915632

[startup+2.99174 s]
/proc/loadavg: 2.02 2.11 2.08 3/88 24453
/proc/meminfo: memFree=958928/2055920 swapFree=4192812/4192956
[pid=24445] ppid=24443 vsize=915632 CPUtime=2.92
/proc/24445/stat : 24445 (java) R 24443 24445 23778 0 -1 0 18092 0 1 0 280 12 0 0 25 0 8 0 160813726 937607168 17829 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073798626 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24445/statm: 228908 17829 2181 14 0 215378 0
[pid=24445/tid=24447] ppid=24443 vsize=915632 CPUtime=0.03
/proc/24445/task/24447/stat : 24447 (java) S 24443 24445 23778 0 -1 64 1469 0 0 0 3 0 0 0 17 0 8 0 160813732 937607168 17829 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24445/tid=24448] ppid=24443 vsize=915632 CPUtime=0
/proc/24445/task/24448/stat : 24448 (java) S 24443 24445 23778 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 160813733 937607168 17829 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24445/tid=24449] ppid=24443 vsize=915632 CPUtime=0
/proc/24445/task/24449/stat : 24449 (java) S 24443 24445 23778 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 160813733 937607168 17829 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24445/tid=24450] ppid=24443 vsize=915632 CPUtime=0
/proc/24445/task/24450/stat : 24450 (java) S 24443 24445 23778 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 160813736 937607168 17829 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24445/tid=24451] ppid=24443 vsize=915632 CPUtime=0.18
/proc/24445/task/24451/stat : 24451 (java) S 24443 24445 23778 0 -1 64 427 0 0 0 17 1 0 0 15 0 8 0 160813736 937607168 17829 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24445/tid=24452] ppid=24443 vsize=915632 CPUtime=0
/proc/24445/task/24452/stat : 24452 (java) S 24443 24445 23778 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 160813736 937607168 17829 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24445/tid=24453] ppid=24443 vsize=915632 CPUtime=0
/proc/24445/task/24453/stat : 24453 (java) S 24443 24445 23778 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160813736 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.92
Current children cumulated vsize (KiB) 915632

[startup+6.28809 s]
/proc/loadavg: 2.02 2.11 2.08 3/88 24453
/proc/meminfo: memFree=958800/2055920 swapFree=4192812/4192956
[pid=24445] ppid=24443 vsize=915632 CPUtime=6.2
/proc/24445/stat : 24445 (java) R 24443 24445 23778 0 -1 0 18094 0 1 0 607 13 0 0 25 0 8 0 160813726 937607168 17830 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073801428 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24445/statm: 228908 17830 2181 14 0 215378 0
[pid=24445/tid=24447] ppid=24443 vsize=915632 CPUtime=0.03
/proc/24445/task/24447/stat : 24447 (java) S 24443 24445 23778 0 -1 64 1469 0 0 0 3 0 0 0 16 0 8 0 160813732 937607168 17830 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24445/tid=24448] ppid=24443 vsize=915632 CPUtime=0
/proc/24445/task/24448/stat : 24448 (java) S 24443 24445 23778 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 160813733 937607168 17830 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24445/tid=24449] ppid=24443 vsize=915632 CPUtime=0
/proc/24445/task/24449/stat : 24449 (java) S 24443 24445 23778 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 160813733 937607168 17830 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24445/tid=24450] ppid=24443 vsize=915632 CPUtime=0
/proc/24445/task/24450/stat : 24450 (java) S 24443 24445 23778 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 160813736 937607168 17830 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24445/tid=24451] ppid=24443 vsize=915632 CPUtime=0.18
/proc/24445/task/24451/stat : 24451 (java) S 24443 24445 23778 0 -1 64 428 0 0 0 17 1 0 0 15 0 8 0 160813736 937607168 17830 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24445/tid=24452] ppid=24443 vsize=915632 CPUtime=0
/proc/24445/task/24452/stat : 24452 (java) S 24443 24445 23778 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 160813736 937607168 17830 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24445/tid=24453] ppid=24443 vsize=915632 CPUtime=0
/proc/24445/task/24453/stat : 24453 (java) S 24443 24445 23778 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160813736 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.2
Current children cumulated vsize (KiB) 915632

[startup+12.7798 s]
/proc/loadavg: 2.02 2.11 2.08 3/88 24453
/proc/meminfo: memFree=953304/2055920 swapFree=4192812/4192956
[pid=24445] ppid=24443 vsize=915632 CPUtime=12.66
/proc/24445/stat : 24445 (java) R 24443 24445 23778 0 -1 0 18103 0 1 0 1251 15 0 0 25 0 8 0 160813726 937607168 17837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479196 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24445/statm: 228908 17837 2181 14 0 215378 0
[pid=24445/tid=24447] ppid=24443 vsize=915632 CPUtime=0.03
/proc/24445/task/24447/stat : 24447 (java) S 24443 24445 23778 0 -1 64 1469 0 0 0 3 0 0 0 16 0 8 0 160813732 937607168 17837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24445/tid=24448] ppid=24443 vsize=915632 CPUtime=0
/proc/24445/task/24448/stat : 24448 (java) S 24443 24445 23778 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 160813733 937607168 17837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24445/tid=24449] ppid=24443 vsize=915632 CPUtime=0
/proc/24445/task/24449/stat : 24449 (java) S 24443 24445 23778 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 160813733 937607168 17837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24445/tid=24450] ppid=24443 vsize=915632 CPUtime=0
/proc/24445/task/24450/stat : 24450 (java) S 24443 24445 23778 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 160813736 937607168 17837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24445/tid=24451] ppid=24443 vsize=915632 CPUtime=0.2
/proc/24445/task/24451/stat : 24451 (java) S 24443 24445 23778 0 -1 64 435 0 0 0 19 1 0 0 15 0 8 0 160813736 937607168 17837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24445/tid=24452] ppid=24443 vsize=915632 CPUtime=0
/proc/24445/task/24452/stat : 24452 (java) S 24443 24445 23778 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 160813736 937607168 17837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24445/tid=24453] ppid=24443 vsize=915632 CPUtime=0
/proc/24445/task/24453/stat : 24453 (java) S 24443 24445 23778 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160813736 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.66
Current children cumulated vsize (KiB) 915632

[startup+25.6331 s]
/proc/loadavg: 2.01 2.10 2.08 3/88 24453
/proc/meminfo: memFree=928664/2055920 swapFree=4192812/4192956
[pid=24445] ppid=24443 vsize=915632 CPUtime=25.45
/proc/24445/stat : 24445 (java) R 24443 24445 23778 0 -1 0 22452 0 1 0 2522 23 0 0 25 0 8 0 160813726 937607168 22184 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479193 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24445/statm: 228908 22184 2181 14 0 215378 0
[pid=24445/tid=24447] ppid=24443 vsize=915632 CPUtime=0.23
/proc/24445/task/24447/stat : 24447 (java) S 24443 24445 23778 0 -1 64 5811 0 0 0 19 4 0 0 17 0 8 0 160813732 937607168 22184 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24445/tid=24448] ppid=24443 vsize=915632 CPUtime=0
/proc/24445/task/24448/stat : 24448 (java) S 24443 24445 23778 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 160813733 937607168 22184 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24445/tid=24449] ppid=24443 vsize=915632 CPUtime=0
/proc/24445/task/24449/stat : 24449 (java) S 24443 24445 23778 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 160813733 937607168 22184 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24445/tid=24450] ppid=24443 vsize=915632 CPUtime=0
/proc/24445/task/24450/stat : 24450 (java) S 24443 24445 23778 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 160813736 937607168 22184 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24445/tid=24451] ppid=24443 vsize=915632 CPUtime=0.21
/proc/24445/task/24451/stat : 24451 (java) S 24443 24445 23778 0 -1 64 440 0 0 0 20 1 0 0 15 0 8 0 160813736 937607168 22184 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24445/tid=24452] ppid=24443 vsize=915632 CPUtime=0
/proc/24445/task/24452/stat : 24452 (java) S 24443 24445 23778 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 160813736 937607168 22184 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24445/tid=24453] ppid=24443 vsize=915632 CPUtime=0
/proc/24445/task/24453/stat : 24453 (java) S 24443 24445 23778 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160813736 937607168 22184 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 915632

[startup+51.2657 s]
/proc/loadavg: 2.01 2.09 2.08 3/88 24453
/proc/meminfo: memFree=899736/2055920 swapFree=4192812/4192956
[pid=24445] ppid=24443 vsize=915632 CPUtime=50.93
/proc/24445/stat : 24445 (java) R 24443 24445 23778 0 -1 0 28734 0 1 0 5059 34 0 0 25 0 8 0 160813726 937607168 28464 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073804711 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24445/statm: 228908 28464 2181 14 0 215378 0
[pid=24445/tid=24447] ppid=24443 vsize=915632 CPUtime=0.71
/proc/24445/task/24447/stat : 24447 (java) S 24443 24445 23778 0 -1 64 12087 0 0 0 64 7 0 0 16 0 8 0 160813732 937607168 28464 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24445/tid=24448] ppid=24443 vsize=915632 CPUtime=0
/proc/24445/task/24448/stat : 24448 (java) S 24443 24445 23778 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 160813733 937607168 28464 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24445/tid=24449] ppid=24443 vsize=915632 CPUtime=0
/proc/24445/task/24449/stat : 24449 (java) S 24443 24445 23778 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 160813733 937607168 28464 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24445/tid=24450] ppid=24443 vsize=915632 CPUtime=0
/proc/24445/task/24450/stat : 24450 (java) S 24443 24445 23778 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 160813736 937607168 28464 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24445/tid=24451] ppid=24443 vsize=915632 CPUtime=0.21
/proc/24445/task/24451/stat : 24451 (java) S 24443 24445 23778 0 -1 64 444 0 0 0 20 1 0 0 16 0 8 0 160813736 937607168 28464 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24445/tid=24452] ppid=24443 vsize=915632 CPUtime=0
/proc/24445/task/24452/stat : 24452 (java) S 24443 24445 23778 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 160813736 937607168 28464 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24445/tid=24453] ppid=24443 vsize=915632 CPUtime=0
/proc/24445/task/24453/stat : 24453 (java) S 24443 24445 23778 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 160813736 937607168 28464 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.93
Current children cumulated vsize (KiB) 915632

Child status: 0
Real time (s): 78.6014
CPU time (s): 78.1181
CPU user time (s): 77.6302
CPU system time (s): 0.487925
CPU usage (%): 99.3852
Max. virtual memory (cumulated for all children) (KiB): 915636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 77.6302
system time used= 0.487925
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33904
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= 3155
involuntary context switches= 5664

runsolver used 0.086986 s user time and 0.272958 s system time

The end

Launcher Data (download as text)

Begin job on node44 on Sat Jan  6 22:55:47 UTC 2007


IDJOB= 196550
IDBENCH= 3358
FILE ID= node44/196550-1168124147

PBS_JOBID= 3477502

Free space on /tmp= 66534 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  98512f16e1ee914547090e130fb41158

RANDOM SEED= 578644226

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.213
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.213
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:       1022376 kB
Buffers:         36040 kB
Cached:         393448 kB
SwapCached:          0 kB
Active:         636016 kB
Inactive:       327292 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1022376 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2868 kB
Writeback:           0 kB
Mapped:         552744 kB
Slab:            54508 kB
Committed_AS:  3872120 kB
PageTables:       2856 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= 66534 MiB



End job on node44 on Sat Jan  6 22:57:05 UTC 2007