Trace number 207557

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 ACSAT 36.8914 37.2201

DiagnosticValue
CHECKS53073214
NODES1262

General information on the benchmark

Namefapp/test01-04/test04/
test04-1250-9.xml
MD5SUMd3dec74f6acf47deb39467d9536ae53f
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 benchmark9.8445
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables1250
Number of constraints18359
Maximum constraint arity2
Maximum domain size350
Number of constraints which are defined in extension0
Number of constraints which are defined in intension18359
Global constraints used (with number of constraints)

Solver Data (download as text)

0.30	   
0.30	Abscon 109 (November, 2006)
0.30	   
0.30	   configuration
0.30	     name=mac.xml
0.33	   
0.33	   instance
0.33	     name=/tmp/evaluation/207557-1168074326/unknown.xml
0.36	   
0.36	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.56	     nbVariables=1250  nbDomainTypes=41  minDomainSize=42  maxDomainSize=350
0.56	       =>  wckTime=0.258  cpuTime=0.19  mem=16M649
0.56	   
0.56	   predicates being loaded...
0.56	   
0.56	   constraints being loaded...
4.55	   
4.55	   INFO : Stopping converting binary constraints (cpu=4.01, mem = 41M171)
7.19	     nbConstraints=9745  nbMergedConstraints=8614  nbConvertedConstraints=104  nbConvertConstraintsChecks=5652272
7.19	     nbExtensionStructures=99  nbSharedExtensionStructures=5  nbConflictsStructures=99  nbSharedConflictsStructures=5
7.19	     nbSharedBinaryRepresentations=24563  nbEvaluationManagers=8478  nbSharedEvaluationManagers=1163  maxDegree=25
7.19	     maxArity=2
7.19	       =>  wckTime=6.894  cpuTime=6.28  mem=38M641
7.34	   
7.35	   solver IterativeSystematicSolver being built... 
7.70	       =>  wckTime=7.404  cpuTime=6.55  mem=70M910
26.27	   
26.27	   preprocessing
26.27	     nbConstraintChecks=36059267  nbValidityChecks=1059935  nbPropagations=1480  nbRevisions=27008
26.27	     nbUselessRevisions=24987  nbRemovedValues=101415  detectedInconsistency=no
26.27	       =>  wckTime=18.559  cpuTime=18.39  mem=70M910
37.11	   
37.11	   search
37.11	     run=0  nbConstraintChecks=17013947  nbValidityChecks=13146896  nbPropagations=15344  nbRevisions=189877
37.11	     nbUselessRevisions=173275  nbAssignments=1262  nbFailedAssignments=11  nbBacktracks=1  nbVisitedNodes=1275
37.11	     nbRestartNogoods=0  mapSize=1  nbInferences=0  nbTooLargeKeys=0
37.11	       =>  wckTime=29.393  cpuTime=29.12  mem=94M551
37.11	   
37.11	   global
37.11	     nbConstraintChecks=53073214  nbValidityChecks=14206831  nbPropagations=16824  nbRevisions=216885
37.11	     nbUselessRevisions=198262  nbRestartNogoods=0  solvingWckTime=29.396  solvingCpuTime=29.12  expiredTime=no
37.11	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=35.73
37.11	       =>  wckTime=36.809  cpuTime=35.68  mem=94M551
37.11	   
37.11	s SATISFIABLE
37.11	v -2800 2760 -2444 -2796 -2164 -2608 2160 2680 -2676 2756 -2396 2720 -2368 2648 -2544 -2184 2340 -2516 2488 -2484 -2460 -2696 -2600 2220 -2728 2576 -2752 -2460 -2788 -2632 -2436 -2732 -2664 2416 -2424 -2496 2252 2124 2156 -2776 -2776 -2816 -2200 2168 -2448 -2340 -2708 -2808 -2164 -2688 -2624 2764 -2516 -2656 -2492 -2636 2120 2140 2732 -2272 2776 -2460 -2240 2160 -2452 -2716 -2656 2388 2160 -2592 -2172 -2548 2804 2752 -2636 -2660 -2232 -2636 2720 -2736 -2724 -2792 2708 -2724 -2524 2132 -2584 -2792 -2748 -2552 2160 -2792 -2620 -2600 -2804 -2216 -2784 -2452 2384 -2428 -2632 2252 -2692 2672 -2528 -2476 -2612 -2372 2688 -2184 -2784 -2776 -2628 -2652 -2400 2468 2724 -2760 -2508 -2772 -2508 -2792 -2536 -2804 2740 2736 2656 2672 2468 -2244 2280 -2496 -2488 -2436 -2460 -2700 -2560 -2648 -2816 -2200 -2588 -2272 2228 -2636 -2656 2420 -2468 -2192 -2720 -2412 -2504 2356 2632 2772 2608 -2140 2512 -2428 -2520 2220 -2776 -2160 2644 -2180 -2352 2576 2292 -2168 2648 2680 -2296 -2132 2544 2816 2516 2668 -2760 -2160 -2816 -2568 2228 2256 -2184 2664 -2284 2240 -2360 2560 -2148 -2592 -2212 2344 2252 -2776 2456 -2348 -2752 -2612 -2212 -2712 2768 2176 -2572 2392 -2736 2628 -2312 2180 -2476 2636 -2532 -2664 -2716 -2464 2588 -2508 -2428 2396 2384 -2256 2616 2712 2588 -2468 -2580 2120 -2664 -2520 -2712 2508 -2144 2588 -2572 2596 -2220 -2408 2232 -2664 -2120 2388 -2524 -2780 -2696 -2776 2480 -2652 -2524 2160 -2500 -2656 2252 2584 -2180 -2488 -2752 2776 -2816 -2728 -2400 2676 2748 -2416 -2756 -2756 -2752 2572 -2132 2416 -2692 -2696 -2372 -2232 -2704 2288 -2752 -2148 2704 2140 2536 2492 2120 2632 -2736 2776 2284 2776 2656 2456 -2304 -2816 -2124 -2420 -2792 -2656 -2768 -2720 -2740 -2364 2120 2428 -2564 -2752 -2748 -2316 2664 -2708 -2720 -2740 2404 -2472 2232 2736 2120 -2640 -2444 -2676 2688 2732 -2364 -2172 -2792 -2460 2428 -2776 -2756 2276 -2212 2120 -2164 -2800 -2556 -2540 2720 -2784 2776 2296 -2284 -2752 2512 2680 2488 -2816 -2620 -2504 2136 -2424 2432 -2348 -2628 -2360 -2452 2560 -2708 -2676 2780 -2700 -2656 -2464 -2564 -2580 -2752 -2776 2428 -2312 -2796 -2624 2232 -2764 -2444 -2668 -2652 -2512 -2604 -2556 -2760 -2700 -2608 2308 2524 -2800 -2732 2316 2192 -2628 -2652 -2324 -2668 2256 2188 -2204 -2648 -2720 2668 -2736 -2204 -2664 2772 -2672 -2612 -2200 -2628 -2476 -2160 2120 -2316 -2776 -2252 2624 2628 2412 2276 -2760 -2560 -2740 -2204 2264 -2128 2452 -2696 -2572 -2624 -2580 2452 2580 -2408 -2756 -2704 -2200 -2816 -2756 -2392 -2328 -2484 -2692 -2776 -2500 -2800 -2264 -2564 2816 -2740 2428 -2780 -2464 -2800 -2392 -2580 -2716 -2700 -2560 2736 -2452 -2760 -2744 -2700 -2728 -2816 2464 -2260 -2780 -2696 2576 -2676 -2608 2380 -2780 2484 -2480 -2776 -2632 -2564 -2120 -2536 2392 2732 -2756 -2304 -2756 2572 -2320 -2776 -2460 -2588 -2448 -2404 -2612 2576 -2776 -2312 2628 2596 -2432 -2316 2716 -2792 -2776 -2772 -2780 2724 2548 2256 -2660 -2496 -2452 2592 2252 -2588 2452 2628 2384 -2740 -2300 -2560 -2404 -2172 -2620 2380 -2756 2768 2624 2348 2412 2216 -2776 -2532 -2176 2412 -2604 -2448 -2652 -2172 -2664 -2800 -2348 -2760 -2376 -2776 -2232 2348 -2760 -2760 -2220 2128 2692 -2388 -2708 -2796 2448 2496 -2180 -2472 -2160 2724 -2792 -2344 -2292 -2312 -2732 -2148 2588 2756 -2332 2444 -2684 -2180 -2460 -2612 -2428 -2484 -2708 -2752 2708 2800 2528 -2236 -2736 2352 2492 2816 -2632 -2732 2612 -2520 2580 -2676 -2560 -2764 -2292 -2132 2492 -2248 -2564 -2748 -2184 2572 -2504 2412 2776 -2596 -2752 -2740 2520 2216 -2720 -2500 -2688 2164 -2804 -2552 -2764 -2552 -2668 2592 -2164 -2340 -2816 -2796 -2428 2412 -2712 -2756 -2520 -2480 -2584 -2760 -2788 -2292 -2288 2244 2188 2720 -2160 2592 2256 -2760 -2192 -2516 -2140 -2268 -2680 2744 -2636 2308 2728 -2476 2160 -2704 2448 -2388 -2484 2436 -2700 -2808 -2424 2736 2748 2224 2484 -2696 2768 -2772 -2692 -2708 -2776 -2612 -2400 -2548 -2316 -2272 2716 2708 -2760 2680 -2296 -2732 -2720 2740 -2468 -2160 -2708 -2256 -2740 2352 -2776 2504 -2232 2680 2432 2364 -2612 -2696 2808 2188 2764 2364 2464 2600 -2520 -2348 -2628 -2288 2744 2272 -2340 -2420 -2524 -2640 2512 -2800 2704 -2440 -2636 2120 -2732 -2784 -2736 -2592 2680 -2120 -2324 2124 2632 -2696 -2696 2420 2400 -2392 -2468 -2124 -2172 -2236 -2676 2460 -2328 -2120 2420 -2436 -2324 2484 -2460 2720 -2812 2400 -2804 -2468 -2536 2164 -2772 2388 -2776 -2760 -2816 2164 -2608 -2604 -2748 -2524 -2520 -2772 2636 2508 -2532 2232 -2324 -2752 2188 -2504 -2676 2648 -2488 -2748 -2544 -2772 2224 2432 -2684 -2472 -2528 -2760 2720 -2640 -2380 -2648 -2632 2660 2136 2816 -2644 -2628 -2548 2756 2352 -2812 2712 2752 2120 2764 -2648 -2488 -2176 -2128 2180 -2812 -2784 -2648 -2620 -2408 -2540 -2448 -2420 -2380 2440 -2348 2468 -2676 2444 2392 2452 -2512 2732 -2772 -2560 -2688 2348 2728 2168 -2644 -2692 2276 -2340 -2500 2140 -2756 -2276 -2692 -2460 -2780 -2716 -2520 -2812 2528 2468 -2732 -2704 -2724 -2400 2636 -2760 2592 -2388 -2800 -2504 -2620 -2512 -2812 -2528 -2724 -2736 2160 -2528 -2676 -2280 -2736 -2604 -2552 -2524 -2564 2328 -2672 -2436 2388 2764 -2792 -2384 -2684 2736 2520 2120 2740 -2788 2124 -2380 -2612 2172 -2596 -2716 2692 -2188 -2652 2388 2720 2748 -2656 -2612 -2636 2160 -2816 2412 -2192 -2492 -2792 -2644 -2552 -2756 2352 2748 -2424 2160 2172 2572 -2524 -2572 -2720 -2516 2452 2508 -2792 -2664 2692 2520 2660 -2232 -2732 -2736 2364 -2548 -2160 2624 -2492 -2440 2588 -2616 -2692 -2776 -2260 -2148 -2456 -2160 -2404 2748 2744 -2712 2528 2240 -2264 2120 -2744 -2776 2580 -2196 -2628 -2732 -2452 2760 -2248 -2720 2756 -2352 -2760 2556 2268 2720 -2600 -2660 -2792 2128 -2728 -2340 2612 2360 -2712 2776 -2680 -2744 2380 -2412 -2308 2472 -2632 -2452 2480 -2684 2480 2784 2760 -2708 -2308 -2752 2416 -2752 -2408 -2536 2736 -2620 2772 -2776 2452 2260 -2804 2624 -2412 -2192 2744 2216 2740 -2796 -2220 2652 -2652 2260 -2524 -2796 -2784 -2716 -2796 -2660 -2232 -2316 -2712 -2456 -2444 2504 -2800 2680 2644 2696 -2428 2704 2228 2376 -2796 2144 2748 2472 -2444 2620 2764 2260 2144 2580 -2224 -2224 -2736 -2764 2576 -2660 -2688 -2800 2572 -2256 -2408 -2792 -2816 -2120 -2556 -2160 -2388 2744 -2616 -2620 2516 -2792 -2572 -2512 -2396 -2680 -2504 -2420 -2164 2672 -2160 2308 -2672 -2652 -2748 2484 -2164 -2184 -2748 -2548 -2196 -2788 2680 -2588 2356 -2520 -2144 -2176 2576 -2732 -2616 2124 2724 -2816 2360 -2480 2620 -2132 -2588 -2568 -2180 -2544 2716 -2508 -2796 -2696 2404 -2568 -2268 -2552 2508 2324 2216 2120 -2476 -2752 -2772 -2420 2164 -2356 2264 -2288 -2576 -2272 -2796 2392 -2692 -2360 -2652 -2160 -2776 -2800 -2380 -2428 -2272 2196 2792 -2236 -2752 -2796 -2204 -2612 2304 -2456 -2612 -2292 -2776 -2760 -2752 -2308 -2752 -2688 2160 -2668 -2512 -2816 2628 2748 2672 -2332 -2724 -2788 2652 -2768 2668 2408 2592 -2736 -2300 2736 -2492 2120 -2676 -2616 -2736 -2692 -2788 -2696 -2252 2480 -2388 -2684 2672 -2604 -2760 2124 -2816 -2448 -2420 -2756 -2576 2536 2164 2220 -2692 2720 2168 -2204 -2508 -2652 2304 2180 -2220 -2688 -2476 -2648 -2776 -2540 -2692 -2764 -2700 2612 2236 -2212 2816 -2800 -2368 -2344 -2800 -2772 -2764 -2596 -2696 -2708 -2188 -2264 -2572 2620 2664 -2692 -2668 2712 -2272 2136 2440 2664 -2612 -2388 -2696 -2328 2596 -2276 -2652 -2544 -2448 -2796 -2760 -2212 2436 -2716 
37.11	d NODES 1262
37.11	d CHECKS 53073214
37.11	   
37.11	   totalWckTime=36.887  totalCpuTime=35.73

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/node42/watcher-207557-1168074326 -o ROOT/results/node42/solver-207557-1168074326 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/207557-1168074326/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.30 1.18 1.33 4/80 23520
/proc/meminfo: memFree=1316424/2055920 swapFree=4191892/4192956
[pid=23519] ppid=23517 vsize=18540 CPUtime=0
/proc/23519/stat : 23519 (runsolver) R 23517 23519 22955 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 155831883 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 259415141671 0 0 4096 24578 0 0 0 17 1 0 0
/proc/23519/statm: 4635 279 244 17 0 2626 0

[startup+0.104417 s]
/proc/loadavg: 1.30 1.18 1.33 4/80 23520
/proc/meminfo: memFree=1316424/2055920 swapFree=4191892/4192956
[pid=23519] ppid=23517 vsize=914988 CPUtime=0.08
/proc/23519/stat : 23519 (java) R 23517 23519 22955 0 -1 0 3020 0 1 0 6 2 0 0 24 0 8 0 155831883 936947712 2766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4160642522 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23519/statm: 228747 2766 1435 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.51246 s]
/proc/loadavg: 1.30 1.18 1.33 4/80 23520
/proc/meminfo: memFree=1316424/2055920 swapFree=4191892/4192956
[pid=23519] ppid=23517 vsize=915328 CPUtime=0.48
/proc/23519/stat : 23519 (java) R 23517 23519 22955 0 -1 0 7410 0 1 0 43 5 0 0 25 0 8 0 155831883 937295872 7149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23519/statm: 228832 7149 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.33355 s]
/proc/loadavg: 1.36 1.19 1.33 3/87 23527
/proc/meminfo: memFree=1202256/2055920 swapFree=4191892/4192956
[pid=23519] ppid=23517 vsize=915628 CPUtime=1.3
/proc/23519/stat : 23519 (java) R 23517 23519 22955 0 -1 0 20960 0 1 0 117 13 0 0 25 0 8 0 155831883 937603072 20697 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152161114 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23519/statm: 228907 20697 2160 14 0 215377 0
[pid=23519/tid=23521] ppid=23517 vsize=915628 CPUtime=0.07
/proc/23519/task/23521/stat : 23521 (java) S 23517 23519 22955 0 -1 64 4418 0 0 0 6 1 0 0 16 0 8 0 155831887 937603072 20697 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23519/tid=23522] ppid=23517 vsize=915628 CPUtime=0
/proc/23519/task/23522/stat : 23522 (java) S 23517 23519 22955 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 155831887 937603072 20697 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23519/tid=23523] ppid=23517 vsize=915628 CPUtime=0
/proc/23519/task/23523/stat : 23523 (java) S 23517 23519 22955 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155831887 937603072 20697 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23519/tid=23524] ppid=23517 vsize=915628 CPUtime=0
/proc/23519/task/23524/stat : 23524 (java) S 23517 23519 22955 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155831890 937603072 20697 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23519/tid=23525] ppid=23517 vsize=915628 CPUtime=0.15
/proc/23519/task/23525/stat : 23525 (java) S 23517 23519 22955 0 -1 64 403 0 0 0 14 1 0 0 16 0 8 0 155831890 937603072 20697 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23519/tid=23526] ppid=23517 vsize=915628 CPUtime=0
/proc/23519/task/23526/stat : 23526 (java) S 23517 23519 22955 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155831890 937603072 20697 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23519/tid=23527] ppid=23517 vsize=915628 CPUtime=0
/proc/23519/task/23527/stat : 23527 (java) S 23517 23519 22955 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155831890 937603072 20697 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915628

[startup+2.97373 s]
/proc/loadavg: 1.36 1.19 1.33 3/87 23527
/proc/meminfo: memFree=1193808/2055920 swapFree=4191892/4192956
[pid=23519] ppid=23517 vsize=915628 CPUtime=2.9
/proc/23519/stat : 23519 (java) R 23517 23519 22955 0 -1 0 21030 0 1 0 277 13 0 0 25 0 8 0 155831883 937603072 20766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073806460 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23519/statm: 228907 20766 2180 14 0 215377 0
[pid=23519/tid=23521] ppid=23517 vsize=915628 CPUtime=0.07
/proc/23519/task/23521/stat : 23521 (java) S 23517 23519 22955 0 -1 64 4418 0 0 0 6 1 0 0 17 0 8 0 155831887 937603072 20766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23519/tid=23522] ppid=23517 vsize=915628 CPUtime=0
/proc/23519/task/23522/stat : 23522 (java) S 23517 23519 22955 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 155831887 937603072 20766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23519/tid=23523] ppid=23517 vsize=915628 CPUtime=0
/proc/23519/task/23523/stat : 23523 (java) S 23517 23519 22955 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155831887 937603072 20766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23519/tid=23524] ppid=23517 vsize=915628 CPUtime=0
/proc/23519/task/23524/stat : 23524 (java) S 23517 23519 22955 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155831890 937603072 20766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23519/tid=23525] ppid=23517 vsize=915628 CPUtime=0.17
/proc/23519/task/23525/stat : 23525 (java) S 23517 23519 22955 0 -1 64 416 0 0 0 16 1 0 0 15 0 8 0 155831890 937603072 20766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23519/tid=23526] ppid=23517 vsize=915628 CPUtime=0
/proc/23519/task/23526/stat : 23526 (java) S 23517 23519 22955 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155831890 937603072 20766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23519/tid=23527] ppid=23517 vsize=915628 CPUtime=0
/proc/23519/task/23527/stat : 23527 (java) S 23517 23519 22955 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155831890 937603072 20766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 915628

[startup+6.17809 s]
/proc/loadavg: 1.36 1.19 1.33 3/87 23527
/proc/meminfo: memFree=1174736/2055920 swapFree=4191892/4192956
[pid=23519] ppid=23517 vsize=915628 CPUtime=6.08
/proc/23519/stat : 23519 (java) R 23517 23519 22955 0 -1 0 23805 0 1 0 594 14 0 0 25 0 8 0 155831883 937603072 23538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155890588 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23519/statm: 228907 23538 2182 14 0 215377 0
[pid=23519/tid=23521] ppid=23517 vsize=915628 CPUtime=0.25
/proc/23519/task/23521/stat : 23521 (java) S 23517 23519 22955 0 -1 64 7165 0 0 0 23 2 0 0 16 0 8 0 155831887 937603072 23538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23519/tid=23522] ppid=23517 vsize=915628 CPUtime=0
/proc/23519/task/23522/stat : 23522 (java) S 23517 23519 22955 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 155831887 937603072 23538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23519/tid=23523] ppid=23517 vsize=915628 CPUtime=0
/proc/23519/task/23523/stat : 23523 (java) S 23517 23519 22955 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155831887 937603072 23538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23519/tid=23524] ppid=23517 vsize=915628 CPUtime=0
/proc/23519/task/23524/stat : 23524 (java) S 23517 23519 22955 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155831890 937603072 23538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23519/tid=23525] ppid=23517 vsize=915628 CPUtime=0.21
/proc/23519/task/23525/stat : 23525 (java) S 23517 23519 22955 0 -1 64 440 0 0 0 20 1 0 0 15 0 8 0 155831890 937603072 23538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23519/tid=23526] ppid=23517 vsize=915628 CPUtime=0
/proc/23519/task/23526/stat : 23526 (java) S 23517 23519 22955 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155831890 937603072 23538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23519/tid=23527] ppid=23517 vsize=915628 CPUtime=0
/proc/23519/task/23527/stat : 23527 (java) S 23517 23519 22955 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155831890 937603072 23538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.08
Current children cumulated vsize (KiB) 915628

[startup+12.6478 s]
/proc/loadavg: 1.45 1.22 1.34 3/87 23527
/proc/meminfo: memFree=1125088/2055920 swapFree=4191892/4192956
[pid=23519] ppid=23517 vsize=915628 CPUtime=12.5
/proc/23519/stat : 23519 (java) R 23517 23519 22955 0 -1 0 29963 0 1 0 1232 18 0 0 25 0 8 0 155831883 937603072 29691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074069843 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23519/statm: 228907 29691 2533 14 0 215377 0
[pid=23519/tid=23521] ppid=23517 vsize=915628 CPUtime=0.53
/proc/23519/task/23521/stat : 23521 (java) S 23517 23519 22955 0 -1 64 12856 0 0 0 49 4 0 0 16 0 8 0 155831887 937603072 29691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23519/tid=23522] ppid=23517 vsize=915628 CPUtime=0
/proc/23519/task/23522/stat : 23522 (java) S 23517 23519 22955 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155831887 937603072 29691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23519/tid=23523] ppid=23517 vsize=915628 CPUtime=0
/proc/23519/task/23523/stat : 23523 (java) S 23517 23519 22955 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155831887 937603072 29691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23519/tid=23524] ppid=23517 vsize=915628 CPUtime=0
/proc/23519/task/23524/stat : 23524 (java) S 23517 23519 22955 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155831890 937603072 29691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23519/tid=23525] ppid=23517 vsize=915628 CPUtime=0.29
/proc/23519/task/23525/stat : 23525 (java) S 23517 23519 22955 0 -1 64 489 0 0 0 28 1 0 0 15 0 8 0 155831890 937603072 29691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23519/tid=23526] ppid=23517 vsize=915628 CPUtime=0
/proc/23519/task/23526/stat : 23526 (java) S 23517 23519 22955 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155831890 937603072 29691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23519/tid=23527] ppid=23517 vsize=915628 CPUtime=0
/proc/23519/task/23527/stat : 23527 (java) S 23517 23519 22955 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155831890 937603072 29691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 915628

[startup+25.4952 s]
/proc/loadavg: 1.54 1.24 1.34 3/87 23527
/proc/meminfo: memFree=1125344/2055920 swapFree=4191892/4192956
[pid=23519] ppid=23517 vsize=915628 CPUtime=25.25
/proc/23519/stat : 23519 (java) R 23517 23519 22955 0 -1 0 29964 0 1 0 2507 18 0 0 25 0 8 0 155831883 937603072 29691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479184 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23519/statm: 228907 29691 2533 14 0 215377 0
[pid=23519/tid=23521] ppid=23517 vsize=915628 CPUtime=0.53
/proc/23519/task/23521/stat : 23521 (java) S 23517 23519 22955 0 -1 64 12856 0 0 0 49 4 0 0 16 0 8 0 155831887 937603072 29691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23519/tid=23522] ppid=23517 vsize=915628 CPUtime=0
/proc/23519/task/23522/stat : 23522 (java) S 23517 23519 22955 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155831887 937603072 29691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23519/tid=23523] ppid=23517 vsize=915628 CPUtime=0
/proc/23519/task/23523/stat : 23523 (java) S 23517 23519 22955 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155831887 937603072 29691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23519/tid=23524] ppid=23517 vsize=915628 CPUtime=0
/proc/23519/task/23524/stat : 23524 (java) S 23517 23519 22955 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155831890 937603072 29691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23519/tid=23525] ppid=23517 vsize=915628 CPUtime=0.29
/proc/23519/task/23525/stat : 23525 (java) S 23517 23519 22955 0 -1 64 490 0 0 0 28 1 0 0 16 0 8 0 155831890 937603072 29691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23519/tid=23526] ppid=23517 vsize=915628 CPUtime=0
/proc/23519/task/23526/stat : 23526 (java) S 23517 23519 22955 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155831890 937603072 29691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23519/tid=23527] ppid=23517 vsize=915628 CPUtime=0
/proc/23519/task/23527/stat : 23527 (java) S 23517 23519 22955 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155831890 937603072 29691 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 915628

Child status: 0
Real time (s): 37.2201
CPU time (s): 36.8914
CPU user time (s): 36.6504
CPU system time (s): 0.240963
CPU usage (%): 99.1169
Max. virtual memory (cumulated for all children) (KiB): 915628

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 36.6504
system time used= 0.240963
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37542
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= 2277
involuntary context switches= 3176

runsolver used 0.034994 s user time and 0.108983 s system time

The end

Launcher Data (download as text)

Begin job on node42 on Sat Jan  6 09:05:27 UTC 2007


IDJOB= 207557
IDBENCH= 4298
FILE ID= node42/207557-1168074326

PBS_JOBID= 3476013

Free space on /tmp= 66537 MiB

BENCH NAME= HOME/pub/bench/CPAI06/fapp/test01-04/test04/test04-1250-9.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/207557-1168074326/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node42/watcher-207557-1168074326 -o ROOT/results/node42/solver-207557-1168074326 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/207557-1168074326/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  d3dec74f6acf47deb39467d9536ae53f

RANDOM SEED= 709482004

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.229
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.229
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1318952 kB
Buffers:         49748 kB
Cached:         567220 kB
SwapCached:        268 kB
Active:         134396 kB
Inactive:       527100 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1318952 kB
SwapTotal:     4192956 kB
SwapFree:      4191892 kB
Dirty:            8456 kB
Writeback:           0 kB
Mapped:          62560 kB
Slab:            60848 kB
Committed_AS:  3478764 kB
PageTables:       1864 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= 66537 MiB



End job on node42 on Sat Jan  6 09:06:05 UTC 2007