Trace number 207525

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 55.4456 55.5585

DiagnosticValue
CHECKS71408841
NODES3314

General information on the benchmark

Namefapp/test01-04/test04/
test04-1250-8.xml
MD5SUMa88130445cb0a25bd66e79fb321e4404
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 benchmark18.3002
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.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/207525-1168074323/unknown.xml
0.37	   
0.37	   domains being loaded...
0.41	   
0.41	   variables being loaded...
0.58	     nbVariables=1250  nbDomainTypes=41  minDomainSize=42  maxDomainSize=350
0.58	       =>  wckTime=0.272  cpuTime=0.19  mem=16M649
0.58	   
0.58	   predicates being loaded...
0.58	   
0.58	   constraints being loaded...
4.56	   
4.56	   INFO : Stopping converting binary constraints (cpu=4.06, mem = 41M221)
7.35	     nbConstraints=9745  nbMergedConstraints=8614  nbConvertedConstraints=98  nbConvertConstraintsChecks=5357544
7.35	     nbExtensionStructures=93  nbSharedExtensionStructures=5  nbConflictsStructures=93  nbSharedConflictsStructures=5
7.35	     nbSharedBinaryRepresentations=22692  nbEvaluationManagers=8564  nbSharedEvaluationManagers=1083  maxDegree=25
7.35	     maxArity=2
7.35	       =>  wckTime=7.044  cpuTime=6.47  mem=39M762
7.50	   
7.50	   solver IterativeSystematicSolver being built... 
7.89	       =>  wckTime=7.584  cpuTime=6.77  mem=71M132
26.06	   
26.06	   preprocessing
26.06	     nbConstraintChecks=32575085  nbValidityChecks=1103171  nbPropagations=1551  nbRevisions=28563
26.06	     nbUselessRevisions=26077  nbRemovedValues=123360  detectedInconsistency=no
26.06	       =>  wckTime=18.159  cpuTime=18.12  mem=71M132
30.66	   
30.66	   search
30.66	     run=0  nbConstraintChecks=6882764  nbValidityChecks=6042659  nbPropagations=6836  nbRevisions=104708
30.66	     nbUselessRevisions=94593  nbAssignments=164  nbFailedAssignments=22  nbBacktracks=10  nbVisitedNodes=191
30.66	     nbRestartNogoods=0  mapSize=7  nbInferences=0  nbTooLargeKeys=0
30.66	       =>  wckTime=22.757  cpuTime=22.69  mem=76M35
32.37	   
32.37	   search
32.37	     run=1  nbConstraintChecks=9007424  nbValidityChecks=12260394  nbPropagations=19147  nbRevisions=287353
32.37	     nbUselessRevisions=259747  nbAssignments=340  nbFailedAssignments=41  nbBacktracks=26  nbVisitedNodes=393
32.37	     nbRestartNogoods=7  mapSize=17  nbInferences=0  nbTooLargeKeys=0
32.37	       =>  wckTime=24.467  cpuTime=24.39  mem=81M152
34.00	   
34.00	   search
34.00	     run=2  nbConstraintChecks=10941337  nbValidityChecks=18344680  nbPropagations=36832  nbRevisions=547693
34.00	     nbUselessRevisions=494502  nbAssignments=517  nbFailedAssignments=64  nbBacktracks=48  nbVisitedNodes=601
34.00	     nbRestartNogoods=11  mapSize=30  nbInferences=0  nbTooLargeKeys=0
34.00	       =>  wckTime=26.097  cpuTime=26.01  mem=85M873
38.15	   
38.15	   search
38.15	     run=3  nbConstraintChecks=16165845  nbValidityChecks=29041084  nbPropagations=66250  nbRevisions=970432
38.15	     nbUselessRevisions=871688  nbAssignments=858  nbFailedAssignments=141  nbBacktracks=81  nbVisitedNodes=1033
38.15	     nbRestartNogoods=12  mapSize=57  nbInferences=0  nbTooLargeKeys=0
38.15	       =>  wckTime=30.252  cpuTime=30.16  mem=95M135
44.25	   
44.25	   search
44.25	     run=4  nbConstraintChecks=24716945  nbValidityChecks=39662697  nbPropagations=107417  nbRevisions=1544080
44.25	     nbUselessRevisions=1384483  nbAssignments=1528  nbFailedAssignments=295  nbBacktracks=131  nbVisitedNodes=1883
44.25	     nbRestartNogoods=41  mapSize=99  nbInferences=0  nbTooLargeKeys=0
44.25	       =>  wckTime=36.349  cpuTime=36.18  mem=77M370
49.41	   
49.41	   search
49.41	     run=5  nbConstraintChecks=30903311  nbValidityChecks=52139418  nbPropagations=166630  nbRevisions=2354196
49.41	     nbUselessRevisions=2093510  nbAssignments=2048  nbFailedAssignments=547  nbBacktracks=206  nbVisitedNodes=2695
49.41	     nbRestartNogoods=87  mapSize=160  nbInferences=0  nbTooLargeKeys=0
49.41	       =>  wckTime=41.506  cpuTime=41.32  mem=85M939
55.49	   
55.49	   search
55.49	     run=6  nbConstraintChecks=38833756  nbValidityChecks=63104804  nbPropagations=239866  nbRevisions=3332506
55.49	     nbUselessRevisions=2956094  nbAssignments=3314  nbFailedAssignments=562  nbBacktracks=207  nbVisitedNodes=3977
55.49	     nbRestartNogoods=92  mapSize=161  nbInferences=0  nbTooLargeKeys=0
55.49	       =>  wckTime=47.586  cpuTime=47.4  mem=109M326
55.49	   
55.49	   global
55.49	     nbConstraintChecks=71408841  nbValidityChecks=64207975  nbPropagations=241417  nbRevisions=3361069
55.49	     nbUselessRevisions=2982171  nbRestartNogoods=92  solvingWckTime=47.587  solvingCpuTime=47.4  expiredTime=no
55.49	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=54.23
55.49	       =>  wckTime=55.18  cpuTime=54.18  mem=109M326
55.49	   
55.49	s SATISFIABLE
55.49	v -2740 -2760 -2452 -2796 -2164 -2544 2120 -2692 2692 2700 2440 -2792 -2388 2736 -2516 -2268 -2308 -2516 -2444 -2452 2392 2756 -2660 2244 2752 2516 -2752 2400 -2732 -2728 2512 -2704 2648 2432 2436 -2428 -2300 2228 2268 -2776 -2764 2600 2200 2236 2396 2248 -2692 2776 -2188 -2724 -2596 2740 -2144 2608 -2440 -2600 2120 -2160 -2732 -2220 -2788 -2400 -2292 2160 -2412 -2760 2632 2408 2120 -2592 -2160 2776 2760 2764 -2696 -2600 -2192 2544 2784 -2736 2700 2752 2664 -2692 -2540 -2120 -2600 -2792 2624 2512 2160 -2760 -2660 -2600 -2776 -2296 2784 2500 2492 -2468 -2648 2252 -2644 2652 2576 -2472 -2520 2508 2704 2164 2704 -2160 -2620 2480 -2392 2476 -2676 -2752 -2364 -2752 -2516 -2792 2468 2804 2796 -2792 -2656 -2656 -2608 2236 -2264 2412 -2396 -2564 -2448 -2740 -2524 -2680 -2776 -2200 -2616 -2140 -2276 2584 -2656 -2448 -2500 2160 2728 2452 -2516 -2380 2604 2756 -2660 -2304 2336 -2420 -2504 -2248 -2792 2176 2652 -2128 -2408 -2664 -2272 2132 2676 -2764 -2340 2176 -2496 -2804 -2436 -2652 -2800 2172 -2816 -2308 2188 2256 -2132 -2628 2276 2348 -2372 2532 2184 2616 2232 -2348 2212 -2752 -2520 -2440 -2792 -2548 -2260 -2700 2712 2164 -2600 -2500 -2696 -2620 -2280 -2264 -2476 -2716 -2504 -2636 2580 2468 2540 -2488 2364 -2560 2432 2312 -2616 2712 2580 -2476 2656 -2160 2688 2464 -2696 -2816 2180 -2756 2588 -2616 -2156 2428 2180 -2704 -2160 -2480 -2536 -2800 2684 -2744 2512 -2672 -2524 -2140 -2440 -2808 2252 -2636 -2216 2508 -2752 2816 -2816 -2700 -2440 -2736 2744 -2472 -2756 -2756 -2752 -2632 -2132 -2384 -2700 -2736 -2344 -2120 -2648 2236 -2744 -2140 2652 -2140 -2556 -2460 2160 -2612 -2708 2768 -2292 -2812 -2652 -2472 2416 2776 -2176 -2360 2704 -2644 -2716 -2692 -2740 2436 2148 2516 2564 -2736 -2788 2340 -2692 2692 -2720 -2780 -2428 -2580 -2236 2748 -2164 -2656 -2504 -2620 -2700 2796 2308 2140 -2724 -2460 2464 -2736 -2700 -2324 2180 2172 -2200 -2796 -2564 2592 -2816 -2748 2776 -2296 -2284 -2752 2508 -2732 -2436 -2816 2584 -2460 2204 -2532 2460 -2288 2796 2264 -2528 -2700 2612 -2684 -2800 -2700 -2576 2480 -2564 -2664 -2752 -2768 -2464 -2244 -2756 -2628 -2320 2752 -2436 -2672 2720 -2512 -2576 -2444 -2760 -2696 -2608 -2328 -2552 2760 -2692 -2388 -2196 2596 -2624 2268 -2732 2288 -2236 -2240 -2664 -2732 2668 -2776 2164 2536 -2756 -2680 -2692 2172 -2600 -2476 -2208 2136 2364 -2752 -2312 -2596 -2620 -2416 -2240 -2728 -2576 2788 2340 2296 -2172 2476 -2736 -2572 -2608 -2616 -2464 -2640 -2500 -2756 2744 -2308 2756 -2796 -2368 -2216 -2520 2680 -2776 2552 2780 2312 -2456 -2588 -2700 2540 -2756 -2476 -2776 -2364 -2516 -2732 2696 -2540 2744 -2508 -2760 -2716 -2788 -2660 2728 -2476 2252 2776 2640 -2604 -2656 2640 -2420 2740 2496 -2452 2748 -2656 -2580 2168 -2576 -2420 2784 2684 -2340 -2708 2564 -2224 2748 -2436 -2604 -2420 2464 2600 -2644 -2816 2364 -2576 -2560 -2380 2220 2700 2712 2628 -2796 2748 -2676 2564 -2216 -2560 -2536 2480 -2660 -2272 -2596 -2536 2628 -2376 -2796 -2288 -2544 -2356 -2180 2608 2312 2776 2720 2652 -2352 -2468 -2352 -2776 -2428 -2164 -2436 2604 -2460 2576 -2136 -2600 -2700 -2304 2736 2352 2704 -2232 2424 -2800 -2740 -2216 -2196 -2732 -2460 -2748 -2748 -2300 -2560 2120 -2420 -2168 2716 -2800 -2380 -2292 -2308 -2732 -2192 -2556 2748 -2308 -2560 -2652 2120 -2460 -2600 -2428 -2512 -2784 -2720 -2748 2720 2500 -2200 -2652 -2460 2464 2816 -2592 -2760 -2604 -2552 2624 -2756 2524 -2752 2268 2220 2496 -2240 -2564 -2788 -2140 2640 -2456 -2428 2776 -2720 -2760 2760 2524 -2124 2508 -2440 -2744 -2200 -2804 2552 -2764 -2552 -2664 2564 -2188 -2340 -2816 -2796 -2420 -2504 2748 -2800 2500 -2504 -2588 -2760 -2752 2292 2288 2380 2224 2656 -2188 -2588 2256 -2760 -2280 2524 -2160 2268 2696 -2788 -2656 -2308 2764 -2184 -2132 -2672 -2444 -2388 -2476 -2520 -2740 2752 -2472 2752 -2652 2172 2560 2672 -2816 -2744 -2724 -2712 2776 -2768 2412 -2640 -2168 2284 2660 2640 -2732 -2688 -2328 -2720 2752 -2760 -2424 -2232 2752 2380 -2700 2404 2640 -2440 2196 -2680 -2432 2396 -2672 2612 2676 -2228 -2764 2344 -2500 2572 -2520 -2288 2704 -2280 -2708 2348 -2352 -2432 2608 -2640 2540 2768 -2788 -2312 -2680 2120 -2692 2660 -2728 2608 -2816 2160 2384 2228 -2700 -2636 2692 -2408 -2352 -2452 2428 -2160 -2172 2120 -2660 2408 2276 2192 -2484 -2480 -2332 2568 -2524 -2804 -2804 2392 2792 -2796 2564 -2288 -2764 -2404 2764 -2760 -2784 2124 -2640 -2660 -2712 -2496 -2564 2792 -2644 2756 -2436 2264 -2324 2740 -2152 -2472 2676 -2504 -2488 -2744 -2560 -2744 -2188 2412 -2676 -2296 -2484 -2760 -2772 2556 -2348 2700 -2804 -2736 -2144 -2724 -2636 2576 2564 2768 -2320 -2752 -2716 2772 2208 -2816 -2600 2448 -2184 -2160 -2128 -2756 2756 -2740 2696 -2484 2576 -2480 -2396 -2400 -2416 -2308 -2528 -2752 -2520 2392 -2576 2432 -2792 -2800 -2560 -2700 2428 -2704 2240 2616 -2624 -2260 -2364 -2500 -2176 2788 -2128 2732 -2460 -2756 2728 -2504 2760 2448 2500 -2740 2576 -2652 -2476 -2636 -2712 -2764 -2392 -2800 -2408 2600 -2492 -2796 -2436 -2724 2676 -2124 -2488 -2624 2252 -2696 -2612 -2628 2436 -2420 2332 -2788 2448 -2388 -2764 -2728 -2388 2716 -2788 -2564 2248 2736 -2724 2124 2452 -2612 2208 -2584 -2740 -2744 2180 -2664 -2384 2756 2764 -2796 -2612 -2680 2120 -2772 -2468 -2232 2536 -2752 -2700 -2392 -2756 -2612 2712 -2336 -2212 -2124 2652 -2524 -2468 -2776 -2516 2444 -2600 -2792 2632 2632 2536 2592 -2232 2700 -2680 -2172 2500 -2232 2560 -2488 -2400 -2788 -2648 2616 -2716 -2176 -2132 -2496 -2128 2476 2600 -2664 2720 -2348 -2224 -2148 2192 -2744 -2776 2604 -2160 -2636 2724 -2456 -2756 -2328 -2720 2768 2404 -2780 -2588 -2308 -2752 -2596 -2620 -2776 2280 -2760 2492 2476 2436 -2724 -2776 -2548 -2748 -2380 2480 2248 -2532 -2576 2468 -2484 2636 -2544 2636 -2740 2692 2264 -2764 -2392 -2792 -2380 2624 2740 -2632 2800 2740 -2440 -2284 2804 -2668 -2404 -2192 2700 -2216 -2748 -2796 -2168 -2728 2684 2160 -2460 -2708 -2668 -2656 2748 -2648 -2180 2420 -2720 2432 2412 -2476 -2800 2680 -2716 -2704 -2368 2744 2244 2424 2728 -2124 -2672 -2716 -2388 -2600 2800 2208 -2120 -2620 -2308 -2272 -2792 2764 2536 2736 -2636 -2800 -2804 -2256 -2340 -2792 2744 -2180 -2556 -2160 2388 2676 -2524 -2704 2484 -2720 -2516 2552 2432 -2744 2428 -2420 -2164 2660 -2212 2348 -2632 -2656 -2788 2476 -2160 2160 -2772 -2404 2228 -2784 -2776 2580 -2460 2492 -2172 -2164 -2632 -2732 -2684 2124 -2812 -2816 -2432 -2520 -2644 -2168 -2580 -2616 2180 -2432 -2712 -2460 -2796 2640 -2412 2540 -2284 -2468 -2604 2212 2256 2172 -2524 -2768 -2700 -2420 2164 2348 2376 2256 -2564 -2272 -2724 -2572 -2692 -2352 -2640 2120 -2780 -2800 -2324 -2428 -2224 -2132 2732 2204 -2760 -2816 -2328 -2616 2256 -2452 -2640 -2252 2760 -2796 2756 -2268 -2752 2660 -2160 -2536 -2756 2120 2748 2788 -2680 2304 -2792 -2748 -2660 -2792 -2652 -2440 -2696 2700 -2292 -2600 2396 -2132 -2696 -2528 -2800 -2692 -2748 -2696 -2272 -2456 -2504 -2692 2768 -2596 2696 2124 -2816 2468 -2460 -2684 -2568 2592 2136 -2200 -2760 -2720 2120 2120 2568 -2684 -2616 -2196 -2168 -2776 -2488 -2648 -2816 2556 -2684 2772 -2560 2584 -2172 -2164 -2776 -2800 2292 -2576 -2760 -2772 2756 -2720 2768 2632 -2172 2132 2572 -2660 2784 -2660 -2560 2700 2236 -2124 -2560 -2692 -2764 -2380 -2696 -2348 -2548 -2244 2704 -2368 2468 2724 -2792 2232 2392 2696 
55.49	d NODES 3314
55.49	d CHECKS 71408841
55.49	   
55.49	   totalWckTime=55.264  totalCpuTime=54.23

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-207525-1168074323 -o ROOT/results/node42/solver-207525-1168074323 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/207525-1168074323/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 3/68 23475
/proc/meminfo: memFree=1350832/2055920 swapFree=4191892/4192956
[pid=23474] ppid=23472 vsize=18540 CPUtime=0
/proc/23474/stat : 23474 (runsolver) R 23472 23474 22928 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 155831818 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 259415141671 0 0 4096 24578 0 0 0 17 1 0 0
/proc/23474/statm: 0 0 0 0 0 0 0

[startup+0.103818 s]
/proc/loadavg: 1.30 1.18 1.33 3/68 23475
/proc/meminfo: memFree=1350832/2055920 swapFree=4191892/4192956
[pid=23474] ppid=23472 vsize=914988 CPUtime=0.08
/proc/23474/stat : 23474 (java) R 23472 23474 22928 0 -1 0 3002 0 1 0 7 1 0 0 22 0 8 0 155831818 936947712 2748 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152842725 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23474/statm: 228747 2748 1429 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.511865 s]
/proc/loadavg: 1.30 1.18 1.33 3/68 23475
/proc/meminfo: memFree=1350832/2055920 swapFree=4191892/4192956
[pid=23474] ppid=23472 vsize=915328 CPUtime=0.47
/proc/23474/stat : 23474 (java) R 23472 23474 22928 0 -1 0 7137 0 1 0 42 5 0 0 17 0 8 0 155831818 937295872 6876 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23474/statm: 228832 6878 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915328

[startup+1.33296 s]
/proc/loadavg: 1.30 1.18 1.33 4/87 23527
/proc/meminfo: memFree=1258256/2055920 swapFree=4191892/4192956
[pid=23474] ppid=23472 vsize=915628 CPUtime=1.3
/proc/23474/stat : 23474 (java) R 23472 23474 22928 0 -1 0 20955 0 1 0 118 12 0 0 21 0 8 0 155831818 937603072 20692 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073452490 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23474/statm: 228907 20692 2160 14 0 215377 0
[pid=23474/tid=23476] ppid=23472 vsize=915628 CPUtime=0.07
/proc/23474/task/23476/stat : 23476 (java) S 23472 23474 22928 0 -1 64 4419 0 0 0 6 1 0 0 16 0 8 0 155831822 937603072 20692 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23474/tid=23477] ppid=23472 vsize=915628 CPUtime=0
/proc/23474/task/23477/stat : 23477 (java) S 23472 23474 22928 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155831823 937603072 20692 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23474/tid=23478] ppid=23472 vsize=915628 CPUtime=0
/proc/23474/task/23478/stat : 23478 (java) S 23472 23474 22928 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155831823 937603072 20692 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23474/tid=23479] ppid=23472 vsize=915628 CPUtime=0
/proc/23474/task/23479/stat : 23479 (java) S 23472 23474 22928 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155831826 937603072 20692 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23474/tid=23480] ppid=23472 vsize=915628 CPUtime=0.16
/proc/23474/task/23480/stat : 23480 (java) S 23472 23474 22928 0 -1 64 402 0 0 0 15 1 0 0 16 0 8 0 155831826 937603072 20692 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23474/tid=23481] ppid=23472 vsize=915628 CPUtime=0
/proc/23474/task/23481/stat : 23481 (java) S 23472 23474 22928 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155831826 937603072 20692 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23474/tid=23482] ppid=23472 vsize=915628 CPUtime=0
/proc/23474/task/23482/stat : 23482 (java) S 23472 23474 22928 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155831826 937603072 20692 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915628

[startup+2.97113 s]
/proc/loadavg: 1.36 1.19 1.33 3/87 23527
/proc/meminfo: memFree=1193808/2055920 swapFree=4191892/4192956
[pid=23474] ppid=23472 vsize=915628 CPUtime=2.93
/proc/23474/stat : 23474 (java) R 23472 23474 22928 0 -1 0 21030 0 1 0 281 12 0 0 25 0 8 0 155831818 937603072 20766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073820071 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23474/statm: 228907 20766 2180 14 0 215377 0
[pid=23474/tid=23476] ppid=23472 vsize=915628 CPUtime=0.07
/proc/23474/task/23476/stat : 23476 (java) S 23472 23474 22928 0 -1 64 4419 0 0 0 6 1 0 0 17 0 8 0 155831822 937603072 20766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23474/tid=23477] ppid=23472 vsize=915628 CPUtime=0
/proc/23474/task/23477/stat : 23477 (java) S 23472 23474 22928 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155831823 937603072 20766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23474/tid=23478] ppid=23472 vsize=915628 CPUtime=0
/proc/23474/task/23478/stat : 23478 (java) S 23472 23474 22928 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155831823 937603072 20766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23474/tid=23479] ppid=23472 vsize=915628 CPUtime=0
/proc/23474/task/23479/stat : 23479 (java) S 23472 23474 22928 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155831826 937603072 20766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23474/tid=23480] ppid=23472 vsize=915628 CPUtime=0.18
/proc/23474/task/23480/stat : 23480 (java) S 23472 23474 22928 0 -1 64 416 0 0 0 17 1 0 0 16 0 8 0 155831826 937603072 20766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23474/tid=23481] ppid=23472 vsize=915628 CPUtime=0
/proc/23474/task/23481/stat : 23481 (java) S 23472 23474 22928 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155831826 937603072 20766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23474/tid=23482] ppid=23472 vsize=915628 CPUtime=0
/proc/23474/task/23482/stat : 23482 (java) S 23472 23474 22928 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155831826 937603072 20766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915628

[startup+6.17449 s]
/proc/loadavg: 1.36 1.19 1.33 3/87 23527
/proc/meminfo: memFree=1184848/2055920 swapFree=4191892/4192956
[pid=23474] ppid=23472 vsize=915628 CPUtime=6.13
/proc/23474/stat : 23474 (java) R 23472 23474 22928 0 -1 0 23795 0 1 0 598 15 0 0 25 0 8 0 155831818 937603072 23528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073448385 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23474/statm: 228907 23528 2181 14 0 215377 0
[pid=23474/tid=23476] ppid=23472 vsize=915628 CPUtime=0.25
/proc/23474/task/23476/stat : 23476 (java) S 23472 23474 22928 0 -1 64 7156 0 0 0 22 3 0 0 16 0 8 0 155831822 937603072 23528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23474/tid=23477] ppid=23472 vsize=915628 CPUtime=0
/proc/23474/task/23477/stat : 23477 (java) S 23472 23474 22928 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155831823 937603072 23528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23474/tid=23478] ppid=23472 vsize=915628 CPUtime=0
/proc/23474/task/23478/stat : 23478 (java) S 23472 23474 22928 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155831823 937603072 23528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23474/tid=23479] ppid=23472 vsize=915628 CPUtime=0
/proc/23474/task/23479/stat : 23479 (java) S 23472 23474 22928 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155831826 937603072 23528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23474/tid=23480] ppid=23472 vsize=915628 CPUtime=0.21
/proc/23474/task/23480/stat : 23480 (java) S 23472 23474 22928 0 -1 64 440 0 0 0 20 1 0 0 16 0 8 0 155831826 937603072 23528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23474/tid=23481] ppid=23472 vsize=915628 CPUtime=0
/proc/23474/task/23481/stat : 23481 (java) S 23472 23474 22928 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155831826 937603072 23528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23474/tid=23482] ppid=23472 vsize=915628 CPUtime=0
/proc/23474/task/23482/stat : 23482 (java) S 23472 23474 22928 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155831826 937603072 23528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 915628

[startup+12.6432 s]
/proc/loadavg: 1.45 1.22 1.34 4/87 23527
/proc/meminfo: memFree=1125088/2055920 swapFree=4191892/4192956
[pid=23474] ppid=23472 vsize=915628 CPUtime=12.6
/proc/23474/stat : 23474 (java) R 23472 23474 22928 0 -1 0 29972 0 1 0 1240 20 0 0 25 0 8 0 155831818 937603072 29700 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073811048 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23474/statm: 228907 29700 2533 14 0 215377 0
[pid=23474/tid=23476] ppid=23472 vsize=915628 CPUtime=0.54
/proc/23474/task/23476/stat : 23476 (java) S 23472 23474 22928 0 -1 64 12866 0 0 0 49 5 0 0 16 0 8 0 155831822 937603072 29700 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23474/tid=23477] ppid=23472 vsize=915628 CPUtime=0
/proc/23474/task/23477/stat : 23477 (java) S 23472 23474 22928 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155831823 937603072 29700 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23474/tid=23478] ppid=23472 vsize=915628 CPUtime=0
/proc/23474/task/23478/stat : 23478 (java) S 23472 23474 22928 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155831823 937603072 29700 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23474/tid=23479] ppid=23472 vsize=915628 CPUtime=0
/proc/23474/task/23479/stat : 23479 (java) S 23472 23474 22928 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155831826 937603072 29700 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23474/tid=23480] ppid=23472 vsize=915628 CPUtime=0.31
/proc/23474/task/23480/stat : 23480 (java) S 23472 23474 22928 0 -1 64 489 0 0 0 29 2 0 0 15 0 8 0 155831826 937603072 29700 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23474/tid=23481] ppid=23472 vsize=915628 CPUtime=0
/proc/23474/task/23481/stat : 23481 (java) S 23472 23474 22928 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155831826 937603072 29700 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23474/tid=23482] ppid=23472 vsize=915628 CPUtime=0
/proc/23474/task/23482/stat : 23482 (java) S 23472 23474 22928 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155831826 937603072 29700 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915628

[startup+25.4976 s]
/proc/loadavg: 1.54 1.24 1.34 3/87 23527
/proc/meminfo: memFree=1125344/2055920 swapFree=4191892/4192956
[pid=23474] ppid=23472 vsize=915628 CPUtime=25.45
/proc/23474/stat : 23474 (java) R 23472 23474 22928 0 -1 0 29973 0 1 0 2525 20 0 0 25 0 8 0 155831818 937603072 29700 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803915 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23474/statm: 228907 29700 2533 14 0 215377 0
[pid=23474/tid=23476] ppid=23472 vsize=915628 CPUtime=0.54
/proc/23474/task/23476/stat : 23476 (java) S 23472 23474 22928 0 -1 64 12866 0 0 0 49 5 0 0 16 0 8 0 155831822 937603072 29700 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23474/tid=23477] ppid=23472 vsize=915628 CPUtime=0
/proc/23474/task/23477/stat : 23477 (java) S 23472 23474 22928 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155831823 937603072 29700 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23474/tid=23478] ppid=23472 vsize=915628 CPUtime=0
/proc/23474/task/23478/stat : 23478 (java) S 23472 23474 22928 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155831823 937603072 29700 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23474/tid=23479] ppid=23472 vsize=915628 CPUtime=0
/proc/23474/task/23479/stat : 23479 (java) S 23472 23474 22928 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155831826 937603072 29700 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23474/tid=23480] ppid=23472 vsize=915628 CPUtime=0.31
/proc/23474/task/23480/stat : 23480 (java) S 23472 23474 22928 0 -1 64 490 0 0 0 29 2 0 0 16 0 8 0 155831826 937603072 29700 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23474/tid=23481] ppid=23472 vsize=915628 CPUtime=0
/proc/23474/task/23481/stat : 23481 (java) S 23472 23474 22928 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155831826 937603072 29700 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23474/tid=23482] ppid=23472 vsize=915628 CPUtime=0
/proc/23474/task/23482/stat : 23482 (java) S 23472 23474 22928 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155831826 937603072 29700 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 915628

[startup+51.1995 s]
/proc/loadavg: 1.62 1.29 1.35 2/72 23541
/proc/meminfo: memFree=1227872/2055920 swapFree=4191892/4192956
[pid=23474] ppid=23472 vsize=915628 CPUtime=51.12
/proc/23474/stat : 23474 (java) R 23472 23474 22928 0 -1 0 34123 0 1 0 5091 21 0 0 25 0 8 0 155831818 937603072 33838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073802643 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23474/statm: 228907 33838 2538 14 0 215377 0
[pid=23474/tid=23476] ppid=23472 vsize=915628 CPUtime=0.59
/proc/23474/task/23476/stat : 23476 (java) S 23472 23474 22928 0 -1 64 16969 0 0 0 53 6 0 0 16 0 8 0 155831822 937603072 33838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23474/tid=23477] ppid=23472 vsize=915628 CPUtime=0
/proc/23474/task/23477/stat : 23477 (java) S 23472 23474 22928 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155831823 937603072 33838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23474/tid=23478] ppid=23472 vsize=915628 CPUtime=0
/proc/23474/task/23478/stat : 23478 (java) S 23472 23474 22928 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155831823 937603072 33838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23474/tid=23479] ppid=23472 vsize=915628 CPUtime=0
/proc/23474/task/23479/stat : 23479 (java) S 23472 23474 22928 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155831826 937603072 33838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23474/tid=23480] ppid=23472 vsize=915628 CPUtime=0.37
/proc/23474/task/23480/stat : 23480 (java) S 23472 23474 22928 0 -1 64 521 0 0 0 35 2 0 0 17 0 8 0 155831826 937603072 33838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23474/tid=23481] ppid=23472 vsize=915628 CPUtime=0
/proc/23474/task/23481/stat : 23481 (java) S 23472 23474 22928 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155831826 937603072 33838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23474/tid=23482] ppid=23472 vsize=915628 CPUtime=0
/proc/23474/task/23482/stat : 23482 (java) S 23472 23474 22928 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155831826 937603072 33838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 915628

Child status: 0
Real time (s): 55.5585
CPU time (s): 55.4456
CPU user time (s): 55.2066
CPU system time (s): 0.238963
CPU usage (%): 99.7967
Max. virtual memory (cumulated for all children) (KiB): 915628

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 55.2066
system time used= 0.238963
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34130
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= 2713
involuntary context switches= 2570

runsolver used 0.06399 s user time and 0.145977 s system time

The end

Launcher Data (download as text)

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


IDJOB= 207525
IDBENCH= 4296
FILE ID= node42/207525-1168074323

PBS_JOBID= 3476012

Free space on /tmp= 66541 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  a88130445cb0a25bd66e79fb321e4404

RANDOM SEED= 625591020

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:       1351184 kB
Buffers:         49748 kB
Cached:         560488 kB
SwapCached:        268 kB
Active:         105308 kB
Inactive:       524564 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1351184 kB
SwapTotal:     4192956 kB
SwapFree:      4191892 kB
Dirty:            4312 kB
Writeback:           0 kB
Mapped:          28560 kB
Slab:            60612 kB
Committed_AS:  2656968 kB
PageTables:       1616 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= 66541 MiB



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