Trace number 221409

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 206.088 207.094

DiagnosticValue
CHECKS7938967
NODES0

General information on the benchmark

Namefapp/fapp31-35/fapp34/
fapp34-0750-10.xml
MD5SUMcd04ae5638f2aca685208979f08ea162
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 benchmark6.34803
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables750
Number of constraints8639
Maximum constraint arity2
Maximum domain size998
Number of constraints which are defined in extension0
Number of constraints which are defined in intension8639
Global constraints used (with number of constraints)

Solver Data (download as text)

0.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=esac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/221409-1168258921/unknown.xml
0.38	   
0.38	   domains being loaded...
0.41	   
0.41	   variables being loaded...
0.57	     nbVariables=750  nbDomainTypes=14  minDomainSize=82  maxDomainSize=998
0.57	       =>  wckTime=0.258  cpuTime=0.19  mem=18M627
0.57	   
0.57	   predicates being loaded...
0.58	   
0.58	   constraints being loaded...
202.06	   
202.06	   INFO : Stopping converting binary constraints (cpu=200.01, mem = 95M579)
202.77	     nbConstraints=4623  nbMergedConstraints=4016  nbConvertedConstraints=2234  nbConvertConstraintsChecks=359900586
202.77	     nbExtensionStructures=1950  nbSharedExtensionStructures=284  nbConflictsStructures=1950
202.77	     nbSharedConflictsStructures=284  nbSharedBinaryRepresentations=1389789  nbEvaluationManagers=2075
202.77	     nbSharedEvaluationManagers=314  maxDegree=16  maxArity=2
202.77	       =>  wckTime=202.453  cpuTime=200.56  mem=109M163
203.02	   
203.02	   solver IterativeSystematicSolver being built... 
203.29	       =>  wckTime=202.97  cpuTime=200.77  mem=118M107
207.02	   
207.02	   preprocessing
207.02	     nbConstraintChecks=7938967  nbValidityChecks=800928  nbPropagations=4702  nbRevisions=42671
207.02	     nbUselessRevisions=36537  nbSingletonTests=750  nbEffectiveSingletonTests=0  nbESACBranches=1
207.02	     nbRemovedValues=305713  detectedInconsistency=no
207.02	       =>  wckTime=3.725  cpuTime=3.66  mem=118M107
207.02	   
207.02	   global
207.02	     nbConstraintChecks=7938967  nbValidityChecks=800928  nbPropagations=4702  nbRevisions=42671
207.02	     nbUselessRevisions=36537  nbRestartNogoods=0  solvingWckTime=3.728  solvingCpuTime=3.66  expiredTime=no
207.02	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=204.49
207.02	       =>  wckTime=206.707  cpuTime=204.44  mem=118M107
207.05	   
207.05	s SATISFIABLE
207.05	v -2518 -2558 -3086 -3312 -3312 -3126 -2558 -2518 -2992 -2758 -2632 -2582 -2590 -2758 -3036 2624 -3044 -2566 -3190 -2628 -2586 -2568 -2572 -2518 -3044 -2572 -3278 -3310 -2622 2624 -2828 2750 -2582 -2852 -3150 -2516 -3102 3302 -3096 -3352 -2786 -2790 -2998 -3076 -2788 2612 3292 -2734 2584 -2788 -2522 -3186 -2890 -3150 -2606 3010 -2798 -2518 -2592 -2520 2568 -2584 2356 2778 -2828 -2482 -3150 -2828 -2558 -3038 2914 -3312 -2610 -2524 -3352 -2598 -3190 -3004 -2626 -3150 -2758 -2814 -3150 -2440 -2828 2610 -3176 -3044 3188 -2860 -2828 -2486 2694 -2578 -2482 -2788 -3004 -3112 -3054 -2564 -3352 -2930 -3312 -3104 3004 -3044 -3004 -2988 -3150 -2758 -2568 -2558 -2434 -2628 -3056 -3004 -2828 -2518 -3144 -2484 -2422 3034 -3312 -3352 3038 3026 -2992 -2610 -3044 -2606 -3104 -2558 -3190 -3150 -2606 -3150 2770 -3014 -2622 -3076 -2614 -3142 -3004 3028 -2706 -2518 -2606 -2758 -2550 3174 -2484 -3004 3190 -2758 2976 2820 -2586 -2586 -2488 -3022 -2628 3144 -3150 -3148 -3190 -2570 -2526 2826 -2482 -2622 -3190 -3150 -2518 -2620 -2542 2896 -3114 -2518 -2596 -2588 -2784 -2710 2728 -3146 2356 -3056 -2518 -2478 2786 -3142 -2500 -2582 -3004 -2788 -2384 -3334 -2630 -2982 -2992 -3150 -3154 2630 -3142 -2552 -3044 -2372 -2520 -3352 -2680 -2952 -3190 -3352 -2612 -2556 -3312 -2608 -2518 -3190 -2798 -2558 2816 -2948 -2788 -2688 2612 -2580 -2628 -2396 -3150 -2480 -2558 -3190 -3312 -2854 2926 -2798 -2738 -2540 -2970 -2832 -2828 -2826 -2594 -2566 -3210 3228 -3190 -2566 -2618 3088 -3144 -2522 2482 -2478 -2480 -2620 -3150 -2412 2732 -3004 2930 -2828 -3190 -2632 -2592 -3352 2574 3294 -2652 -2788 -2612 -3352 -2786 2356 -3058 -2524 -2378 -3004 -3146 -2788 2590 -2524 -3044 -3144 -3044 -3230 -2518 2912 -3352 2848 -2768 -3190 -2734 -3312 -3036 -3004 -2400 -2520 -3196 -3016 -3104 -2626 -2828 -3216 2694 -2632 -3150 -3004 -3044 -3004 -3136 -2630 -3190 2558 -2590 -3190 -3190 -2584 -2982 3182 -3004 2396 -3312 -2592 -3190 2396 2874 -3018 -3348 2776 2678 -3004 -2516 -2598 3166 -2648 3170 3146 -3078 -2758 -2558 2558 -3190 3148 -3206 -2746 -2396 -2758 -2828 3050 -2932 -2758 -2482 -2568 -3152 -2408 3150 3178 -2978 -3144 3142 2356 -3106 -2630 -2592 -2798 -2632 -3004 -3200 -2518 2630 -2518 -3314 -2618 2356 -2952 -2956 3180 -2590 -2630 -2638 -2584 -3312 -3342 -2824 -3190 2780 -2622 -2798 -2676 -2832 -3312 -2518 -2614 -2658 2356 -3190 -3352 -3150 2594 -3038 -2650 2588 -2828 2816 3248 -2728 -2356 -2616 -2714 -2798 -3044 -2382 -2788 -3044 -2558 -3242 -3150 -3308 -3044 -2516 -2584 -2634 -2580 -3004 -2624 -3004 -2518 -2938 -3102 -2562 2994 -2624 -2788 -3054 -2558 -2558 -2558 -2730 -3044 -2558 2788 2588 -3150 -2868 -2482 2396 -3004 -2632 2942 -2798 2952 -2788 -3150 2396 -3044 -2828 -3076 -2798 -2588 -3312 -3190 2592 -3312 2670 -3332 -3146 2582 -2772 -2584 -2788 -2518 -3150 -2480 -2604 2794 2608 -2952 -2996 -3014 -3190 -2522 -3352 2464 2914 2580 3016 -2636 -2570 -2584 -2798 -2820 3352 -2590 -3058 -3150 -3150 -3004 -2888 -2396 -2490 -2966 2874 -2720 -2602 2820 -2758 -2526 -2758 -2518 3270 -3312 -3312 -2612 -3036 -2614 2936 2512 -2758 3128 -2798 2812 -3150 -2622 -3004 -2798 3112 -2956 -3044 -3110 -3318 -2716 2590 -2404 -3004 -2828 -2522 -3190 2754 -2638 -2788 2654 -2758 -2526 -3140 3274 -3146 -2608 2566 -3150 -2554 -3190 -2540 -2534 -3352 -3004 -2788 -2404 -2758 -2574 -2828 -3138 -2518 2522 -2474 -2624 -2620 -2798 -2826 -2486 -2558 -3044 -2518 -3146 -2554 -2528 -2558 2518 -2396 -2590 -2626 3068 -3044 -3150 -2608 -2518 -2580 -2996 -2558 -3240 -2448 -3026 -2450 -2396 -2518 -2620 -2514 -2522 3142 -2568 -3150 -3214 -2632 -3096 -3044 -2996 -2482 -2788 2892 -3066 -2630 -2792 -2788 -2558 -2482 2926 -2758 -2522 2552 -2486 -2514 2620 -3004 -2592 -2364 -3104 2518 -2828 -2576 -2798 -3202 -3102 -2556 -2758 -2364 -2624 -3242 -2788 -2522 -2524 2960 -2674 -3104 -3150 -2634 -2570 -2518 -2584 2758 -2828 -2478 2582 -3044 -2608 3060 -2592 -3152 -2572 -2758 -2828 -3190 2970 -2580 -3186 -2626 -2590 3202 -3044 -2518 -3078 -3352 2856 -2780 2356 -2828 -2610 -3044 -3186 -2798 -2624 -2586 -3106 -3066 -2558 -3044 -2958 -2828 -2356 2792 2742 -2788 -2782 -2608 -3190 -3044 -2624 -2798 -3188 -2500 -2798 -3036 2502 -2788 3000 -2494 -3144 3156 -3108 -3102 -2558 -2628 2484 -2624 2584 -3018 -2482 -3190 -3078 -3184 -2624 -2424 -3044 -2798 -2828 -2522 3020 -2566 -3352 -3288 2886 -2504 -2718 -2584 2624 -2788 2908 -2572 -2798 3010 -2418 -3190 -2526 -2484 -2588 -2476 -3106 -2584 2518 -2478 2478 
207.05	d NODES 0
207.05	d CHECKS 7938967
207.05	   
207.05	   totalWckTime=206.81  totalCpuTime=204.52

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/node47/watcher-221409-1168258921 -o ROOT/results/node47/solver-221409-1168258921 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/221409-1168258921/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.05 2.02 1.82 4/74 31690
/proc/meminfo: memFree=1820744/2055920 swapFree=4183952/4192956
[pid=31689] ppid=31687 vsize=18540 CPUtime=0
/proc/31689/stat : 31689 (runsolver) R 31687 31689 31491 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 174291346 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 208717540647 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/31689/statm: 4635 279 244 17 0 2626 0

[startup+0.107457 s]
/proc/loadavg: 2.05 2.02 1.82 4/74 31690
/proc/meminfo: memFree=1820744/2055920 swapFree=4183952/4192956
[pid=31689] ppid=31687 vsize=914988 CPUtime=0.08
/proc/31689/stat : 31689 (java) R 31687 31689 31491 0 -1 0 2987 0 1 0 7 1 0 0 18 0 8 0 174291346 936947712 2733 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154100119 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31689/statm: 228747 2733 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.5155 s]
/proc/loadavg: 2.05 2.02 1.82 4/74 31690
/proc/meminfo: memFree=1820744/2055920 swapFree=4183952/4192956
[pid=31689] ppid=31687 vsize=915328 CPUtime=0.49
/proc/31689/stat : 31689 (java) R 31687 31689 31491 0 -1 0 7691 0 1 0 45 4 0 0 18 0 8 0 174291346 937295872 7430 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072919657 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31689/statm: 228832 7430 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33758 s]
/proc/loadavg: 2.05 2.02 1.82 3/81 31697
/proc/meminfo: memFree=1752464/2055920 swapFree=4183952/4192956
[pid=31689] ppid=31687 vsize=915632 CPUtime=1.3
/proc/31689/stat : 31689 (java) R 31687 31689 31491 0 -1 0 19422 0 1 0 120 10 0 0 24 0 8 0 174291346 937607168 19160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073802279 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31689/statm: 228908 19160 2181 14 0 215378 0
[pid=31689/tid=31691] ppid=31687 vsize=915632 CPUtime=0.03
/proc/31689/task/31691/stat : 31691 (java) S 31687 31689 31491 0 -1 64 2820 0 0 0 2 1 0 0 16 0 8 0 174291350 937607168 19160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31692] ppid=31687 vsize=915632 CPUtime=0
/proc/31689/task/31692/stat : 31692 (java) S 31687 31689 31491 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 174291350 937607168 19160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31693] ppid=31687 vsize=915632 CPUtime=0
/proc/31689/task/31693/stat : 31693 (java) S 31687 31689 31491 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 174291351 937607168 19160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31694] ppid=31687 vsize=915632 CPUtime=0
/proc/31689/task/31694/stat : 31694 (java) S 31687 31689 31491 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 174291354 937607168 19160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31695] ppid=31687 vsize=915632 CPUtime=0.17
/proc/31689/task/31695/stat : 31695 (java) S 31687 31689 31491 0 -1 64 411 0 0 0 16 1 0 0 16 0 8 0 174291354 937607168 19160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31696] ppid=31687 vsize=915632 CPUtime=0
/proc/31689/task/31696/stat : 31696 (java) S 31687 31689 31491 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174291354 937607168 19160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31697] ppid=31687 vsize=915632 CPUtime=0
/proc/31689/task/31697/stat : 31697 (java) S 31687 31689 31491 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174291354 937607168 19160 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) 915632

[startup+2.99076 s]
/proc/loadavg: 2.05 2.02 1.82 3/81 31697
/proc/meminfo: memFree=1752336/2055920 swapFree=4183952/4192956
[pid=31689] ppid=31687 vsize=915632 CPUtime=2.95
/proc/31689/stat : 31689 (java) R 31687 31689 31491 0 -1 0 19425 0 1 0 285 10 0 0 25 0 8 0 174291346 937607168 19162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073812961 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31689/statm: 228908 19162 2181 14 0 215378 0
[pid=31689/tid=31691] ppid=31687 vsize=915632 CPUtime=0.03
/proc/31689/task/31691/stat : 31691 (java) S 31687 31689 31491 0 -1 64 2820 0 0 0 2 1 0 0 16 0 8 0 174291350 937607168 19162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31692] ppid=31687 vsize=915632 CPUtime=0
/proc/31689/task/31692/stat : 31692 (java) S 31687 31689 31491 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 174291350 937607168 19162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31693] ppid=31687 vsize=915632 CPUtime=0
/proc/31689/task/31693/stat : 31693 (java) S 31687 31689 31491 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 174291351 937607168 19162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31694] ppid=31687 vsize=915632 CPUtime=0
/proc/31689/task/31694/stat : 31694 (java) S 31687 31689 31491 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 174291354 937607168 19162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31695] ppid=31687 vsize=915632 CPUtime=0.18
/proc/31689/task/31695/stat : 31695 (java) S 31687 31689 31491 0 -1 64 413 0 0 0 17 1 0 0 16 0 8 0 174291354 937607168 19162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31696] ppid=31687 vsize=915632 CPUtime=0
/proc/31689/task/31696/stat : 31696 (java) S 31687 31689 31491 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174291354 937607168 19162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31697] ppid=31687 vsize=915632 CPUtime=0
/proc/31689/task/31697/stat : 31697 (java) S 31687 31689 31491 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174291354 937607168 19162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915632

[startup+6.27911 s]
/proc/loadavg: 2.05 2.02 1.82 3/81 31697
/proc/meminfo: memFree=1752272/2055920 swapFree=4183952/4192956
[pid=31689] ppid=31687 vsize=915632 CPUtime=6.23
/proc/31689/stat : 31689 (java) R 31687 31689 31491 0 -1 0 19435 0 1 0 612 11 0 0 25 0 8 0 174291346 937607168 19172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073812151 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31689/statm: 228908 19172 2181 14 0 215378 0
[pid=31689/tid=31691] ppid=31687 vsize=915632 CPUtime=0.03
/proc/31689/task/31691/stat : 31691 (java) S 31687 31689 31491 0 -1 64 2820 0 0 0 2 1 0 0 16 0 8 0 174291350 937607168 19172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31692] ppid=31687 vsize=915632 CPUtime=0
/proc/31689/task/31692/stat : 31692 (java) S 31687 31689 31491 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 174291350 937607168 19172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31693] ppid=31687 vsize=915632 CPUtime=0
/proc/31689/task/31693/stat : 31693 (java) S 31687 31689 31491 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 174291351 937607168 19172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31694] ppid=31687 vsize=915632 CPUtime=0
/proc/31689/task/31694/stat : 31694 (java) S 31687 31689 31491 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 174291354 937607168 19172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31695] ppid=31687 vsize=915632 CPUtime=0.19
/proc/31689/task/31695/stat : 31695 (java) S 31687 31689 31491 0 -1 64 423 0 0 0 18 1 0 0 16 0 8 0 174291354 937607168 19172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31696] ppid=31687 vsize=915632 CPUtime=0
/proc/31689/task/31696/stat : 31696 (java) S 31687 31689 31491 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174291354 937607168 19172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31697] ppid=31687 vsize=915632 CPUtime=0
/proc/31689/task/31697/stat : 31697 (java) S 31687 31689 31491 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174291354 937607168 19172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915632

[startup+12.7678 s]
/proc/loadavg: 2.04 2.02 1.82 3/81 31697
/proc/meminfo: memFree=1752272/2055920 swapFree=4183952/4192956
[pid=31689] ppid=31687 vsize=915632 CPUtime=12.68
/proc/31689/stat : 31689 (java) R 31687 31689 31491 0 -1 0 19440 0 1 0 1257 11 0 0 25 0 8 0 174291346 937607168 19177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073799248 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31689/statm: 228908 19177 2182 14 0 215378 0
[pid=31689/tid=31691] ppid=31687 vsize=915632 CPUtime=0.03
/proc/31689/task/31691/stat : 31691 (java) S 31687 31689 31491 0 -1 64 2820 0 0 0 2 1 0 0 16 0 8 0 174291350 937607168 19177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31692] ppid=31687 vsize=915632 CPUtime=0
/proc/31689/task/31692/stat : 31692 (java) S 31687 31689 31491 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 174291350 937607168 19177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31693] ppid=31687 vsize=915632 CPUtime=0
/proc/31689/task/31693/stat : 31693 (java) S 31687 31689 31491 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 174291351 937607168 19177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31694] ppid=31687 vsize=915632 CPUtime=0
/proc/31689/task/31694/stat : 31694 (java) S 31687 31689 31491 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 174291354 937607168 19177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31695] ppid=31687 vsize=915632 CPUtime=0.19
/proc/31689/task/31695/stat : 31695 (java) S 31687 31689 31491 0 -1 64 427 0 0 0 18 1 0 0 16 0 8 0 174291354 937607168 19177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31696] ppid=31687 vsize=915632 CPUtime=0
/proc/31689/task/31696/stat : 31696 (java) S 31687 31689 31491 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174291354 937607168 19177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31697] ppid=31687 vsize=915632 CPUtime=0
/proc/31689/task/31697/stat : 31697 (java) S 31687 31689 31491 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174291354 937607168 19177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 915632

[startup+25.6052 s]
/proc/loadavg: 2.03 2.02 1.82 3/81 31697
/proc/meminfo: memFree=1752400/2055920 swapFree=4183952/4192956
[pid=31689] ppid=31687 vsize=915632 CPUtime=25.46
/proc/31689/stat : 31689 (java) R 31687 31689 31491 0 -1 0 19443 0 1 0 2534 12 0 0 25 0 8 0 174291346 937607168 19178 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073799213 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31689/statm: 228908 19178 2182 14 0 215378 0
[pid=31689/tid=31691] ppid=31687 vsize=915632 CPUtime=0.03
/proc/31689/task/31691/stat : 31691 (java) S 31687 31689 31491 0 -1 64 2820 0 0 0 2 1 0 0 16 0 8 0 174291350 937607168 19178 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31692] ppid=31687 vsize=915632 CPUtime=0
/proc/31689/task/31692/stat : 31692 (java) S 31687 31689 31491 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 174291350 937607168 19178 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31693] ppid=31687 vsize=915632 CPUtime=0
/proc/31689/task/31693/stat : 31693 (java) S 31687 31689 31491 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 174291351 937607168 19178 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31694] ppid=31687 vsize=915632 CPUtime=0
/proc/31689/task/31694/stat : 31694 (java) S 31687 31689 31491 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 174291354 937607168 19178 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31695] ppid=31687 vsize=915632 CPUtime=0.2
/proc/31689/task/31695/stat : 31695 (java) S 31687 31689 31491 0 -1 64 428 0 0 0 19 1 0 0 16 0 8 0 174291354 937607168 19178 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31696] ppid=31687 vsize=915632 CPUtime=0
/proc/31689/task/31696/stat : 31696 (java) S 31687 31689 31491 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174291354 937607168 19178 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31697] ppid=31687 vsize=915632 CPUtime=0
/proc/31689/task/31697/stat : 31697 (java) S 31687 31689 31491 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174291354 937607168 19178 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 915632

[startup+51.2149 s]
/proc/loadavg: 2.02 2.01 1.82 3/81 31697
/proc/meminfo: memFree=1733712/2055920 swapFree=4183952/4192956
[pid=31689] ppid=31687 vsize=915632 CPUtime=50.95
/proc/31689/stat : 31689 (java) R 31687 31689 31491 0 -1 0 24112 0 1 0 5080 15 0 0 25 0 8 0 174291346 937607168 23844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073801603 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31689/statm: 228908 23844 2182 14 0 215378 0
[pid=31689/tid=31691] ppid=31687 vsize=915632 CPUtime=0.16
/proc/31689/task/31691/stat : 31691 (java) S 31687 31689 31491 0 -1 64 7480 0 0 0 13 3 0 0 16 0 8 0 174291350 937607168 23844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31692] ppid=31687 vsize=915632 CPUtime=0
/proc/31689/task/31692/stat : 31692 (java) S 31687 31689 31491 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 174291350 937607168 23844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31693] ppid=31687 vsize=915632 CPUtime=0
/proc/31689/task/31693/stat : 31693 (java) S 31687 31689 31491 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 174291351 937607168 23844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31694] ppid=31687 vsize=915632 CPUtime=0
/proc/31689/task/31694/stat : 31694 (java) S 31687 31689 31491 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 174291354 937607168 23844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31695] ppid=31687 vsize=915632 CPUtime=0.21
/proc/31689/task/31695/stat : 31695 (java) S 31687 31689 31491 0 -1 64 434 0 0 0 20 1 0 0 16 0 8 0 174291354 937607168 23844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31696] ppid=31687 vsize=915632 CPUtime=0
/proc/31689/task/31696/stat : 31696 (java) S 31687 31689 31491 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174291354 937607168 23844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31697] ppid=31687 vsize=915632 CPUtime=0
/proc/31689/task/31697/stat : 31697 (java) S 31687 31689 31491 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174291354 937607168 23844 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 915632

[startup+102.423 s]
/proc/loadavg: 2.01 2.01 1.83 3/81 31697
/proc/meminfo: memFree=1717776/2055920 swapFree=4183952/4192956
[pid=31689] ppid=31687 vsize=915632 CPUtime=101.92
/proc/31689/stat : 31689 (java) R 31687 31689 31491 0 -1 0 28091 0 1 0 10173 19 0 0 25 0 8 0 174291346 937607168 27822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073799251 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31689/statm: 228908 27822 2182 14 0 215378 0
[pid=31689/tid=31691] ppid=31687 vsize=915632 CPUtime=0.34
/proc/31689/task/31691/stat : 31691 (java) S 31687 31689 31491 0 -1 64 11457 0 0 0 30 4 0 0 16 0 8 0 174291350 937607168 27822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31692] ppid=31687 vsize=915632 CPUtime=0
/proc/31689/task/31692/stat : 31692 (java) S 31687 31689 31491 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 174291350 937607168 27822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31693] ppid=31687 vsize=915632 CPUtime=0
/proc/31689/task/31693/stat : 31693 (java) S 31687 31689 31491 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 174291351 937607168 27822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31694] ppid=31687 vsize=915632 CPUtime=0
/proc/31689/task/31694/stat : 31694 (java) S 31687 31689 31491 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 174291354 937607168 27822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31695] ppid=31687 vsize=915632 CPUtime=0.21
/proc/31689/task/31695/stat : 31695 (java) S 31687 31689 31491 0 -1 64 435 0 0 0 20 1 0 0 16 0 8 0 174291354 937607168 27822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31696] ppid=31687 vsize=915632 CPUtime=0
/proc/31689/task/31696/stat : 31696 (java) S 31687 31689 31491 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174291354 937607168 27822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31697] ppid=31687 vsize=915632 CPUtime=0
/proc/31689/task/31697/stat : 31697 (java) S 31687 31689 31491 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174291354 937607168 27822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.92
Current children cumulated vsize (KiB) 915632

[startup+162.481 s]
/proc/loadavg: 2.05 2.02 1.84 3/81 31697
/proc/meminfo: memFree=1702032/2055920 swapFree=4183952/4192956
[pid=31689] ppid=31687 vsize=915632 CPUtime=161.69
/proc/31689/stat : 31689 (java) R 31687 31689 31491 0 -1 0 32007 0 1 0 16146 23 0 0 25 0 8 0 174291346 937607168 31736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073800423 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31689/statm: 228908 31736 2182 14 0 215378 0
[pid=31689/tid=31691] ppid=31687 vsize=915632 CPUtime=0.5
/proc/31689/task/31691/stat : 31691 (java) S 31687 31689 31491 0 -1 64 15362 0 0 0 45 5 0 0 16 0 8 0 174291350 937607168 31736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31692] ppid=31687 vsize=915632 CPUtime=0
/proc/31689/task/31692/stat : 31692 (java) S 31687 31689 31491 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 174291350 937607168 31736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31693] ppid=31687 vsize=915632 CPUtime=0
/proc/31689/task/31693/stat : 31693 (java) S 31687 31689 31491 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 174291351 937607168 31736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31694] ppid=31687 vsize=915632 CPUtime=0
/proc/31689/task/31694/stat : 31694 (java) S 31687 31689 31491 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 174291354 937607168 31736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31695] ppid=31687 vsize=915632 CPUtime=0.23
/proc/31689/task/31695/stat : 31695 (java) S 31687 31689 31491 0 -1 64 444 0 0 0 22 1 0 0 16 0 8 0 174291354 937607168 31736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31696] ppid=31687 vsize=915632 CPUtime=0
/proc/31689/task/31696/stat : 31696 (java) S 31687 31689 31491 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174291354 937607168 31736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31689/tid=31697] ppid=31687 vsize=915632 CPUtime=0
/proc/31689/task/31697/stat : 31697 (java) S 31687 31689 31491 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174291354 937607168 31736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.69
Current children cumulated vsize (KiB) 915632

Child status: 0
Real time (s): 207.094
CPU time (s): 206.088
CPU user time (s): 205.766
CPU system time (s): 0.321951
CPU usage (%): 99.5143
Max. virtual memory (cumulated for all children) (KiB): 915632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 205.766
system time used= 0.321951
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39078
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= 5675
involuntary context switches= 7902

runsolver used 0.241963 s user time and 0.684895 s system time

The end

Launcher Data (download as text)

Begin job on node47 on Mon Jan  8 12:22:01 UTC 2007


IDJOB= 221409
IDBENCH= 5447
FILE ID= node47/221409-1168258921

PBS_JOBID= 3482623

Free space on /tmp= 66554 MiB

BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp31-35/fapp34/fapp34-0750-10.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/221409-1168258921/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node47/watcher-221409-1168258921 -o ROOT/results/node47/solver-221409-1168258921 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/221409-1168258921/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  cd04ae5638f2aca685208979f08ea162

RANDOM SEED= 319174860

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.240
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.240
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:       1821160 kB
Buffers:         35260 kB
Cached:          99164 kB
SwapCached:       3480 kB
Active:         114864 kB
Inactive:        66720 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1821160 kB
SwapTotal:     4192956 kB
SwapFree:      4183952 kB
Dirty:            2824 kB
Writeback:           0 kB
Mapped:          53724 kB
Slab:            38544 kB
Committed_AS:  3830544 kB
PageTables:       1872 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= 66554 MiB



End job on node47 on Mon Jan  8 12:25:28 UTC 2007