Trace number 221505

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 209.429 210.483

DiagnosticValue
CHECKS12242280
NODES0

General information on the benchmark

Namefapp/fapp31-35/fapp32/
fapp32-0550-8.xml
MD5SUM316a3812cc8931312682843c89f2669e
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 benchmark12.3821
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables550
Number of constraints9461
Maximum constraint arity2
Maximum domain size998
Number of constraints which are defined in extension0
Number of constraints which are defined in intension9461
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=esac.xml
0.33	   
0.33	   instance
0.33	     name=/tmp/evaluation/221505-1168259584/unknown.xml
0.36	   
0.36	   domains being loaded...
0.40	   
0.40	   variables being loaded...
0.54	     nbVariables=550  nbDomainTypes=8  minDomainSize=98  maxDomainSize=998
0.54	       =>  wckTime=0.232  cpuTime=0.19  mem=22M577
0.54	   
0.54	   predicates being loaded...
0.54	   
0.54	   constraints being loaded...
201.81	   
201.81	   INFO : Stopping converting binary constraints (cpu=200.01, mem = 81M97)
203.07	     nbConstraints=5017  nbMergedConstraints=4444  nbConvertedConstraints=544  nbConvertConstraintsChecks=389339206
203.07	     nbExtensionStructures=511  nbSharedExtensionStructures=33  nbConflictsStructures=511
203.07	     nbSharedConflictsStructures=33  nbSharedBinaryRepresentations=672936  nbEvaluationManagers=3855
203.07	     nbSharedEvaluationManagers=618  maxDegree=40  maxArity=2
203.07	       =>  wckTime=202.762  cpuTime=201.03  mem=101M431
203.28	   
203.28	   solver IterativeSystematicSolver being built... 
203.61	       =>  wckTime=203.301  cpuTime=201.27  mem=122M458
210.38	   
210.38	   preprocessing
210.38	     nbConstraintChecks=12242280  nbValidityChecks=1681978  nbPropagations=3837  nbRevisions=66228
210.38	     nbUselessRevisions=59458  nbSingletonTests=550  nbEffectiveSingletonTests=0  nbESACBranches=1
210.38	     nbRemovedValues=441317  detectedInconsistency=no
210.38	       =>  wckTime=6.765  cpuTime=6.68  mem=122M458
210.38	   
210.38	   global
210.38	     nbConstraintChecks=12242280  nbValidityChecks=1681978  nbPropagations=3837  nbRevisions=66228
210.38	     nbUselessRevisions=59458  nbRestartNogoods=0  solvingWckTime=6.768  solvingCpuTime=6.68  expiredTime=no
210.38	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=208.01
210.38	       =>  wckTime=210.079  cpuTime=207.97  mem=122M458
210.41	   
210.41	s SATISFIABLE
210.41	v -3792 2456 -2136 -3448 3976 -2812 -3524 -2804 -2836 -2224 -2824 3156 -4100 2572 -2848 -2268 3800 -3324 -3692 -2628 -2892 3572 -3968 2156 -3400 3196 -4060 2980 -3856 2212 -4096 -2844 3376 2788 -3476 -2160 -3024 3180 2732 -2664 3816 -2968 -2776 -4060 -2160 2828 3652 -2232 3436 -2268 -4100 2620 3924 -2116 -2752 2808 3640 4060 3764 -3400 -2884 -2928 3808 -3908 -3052 -2472 -3436 -2852 -2516 -2432 -2620 -2668 2476 -2268 -2196 -2460 -2784 -2680 2960 2132 3648 3220 2440 -2156 -2268 -2292 -3776 -2712 -3328 2108 -3400 -3896 3084 -2660 -2148 -3360 3072 -2472 3096 -2884 -2968 2884 -2432 -2784 3920 -3964 -2664 -4100 -2160 -3996 3476 3732 -2844 -2228 4052 2132 3032 -3892 -2276 -3400 -3360 2804 2136 4060 -3476 3764 -2660 -2664 -2844 2132 -3896 3032 2172 -2200 2108 2852 -3400 -2244 -2300 -2624 3608 -2884 -2224 2752 -2624 -2224 -3780 -3980 -4036 -4076 -2636 -2664 2108 -2164 2764 4016 2808 2780 3652 3936 -2640 -3724 2936 2164 -3060 -2172 -3400 2256 2928 3456 -4036 3600 -3648 -2664 -2772 -3360 -3360 -3792 3512 -2768 -3736 -2148 2732 -2840 -2424 -2668 3848 -3940 3156 -3360 -4060 -2808 3220 -2624 -2844 -2884 3196 3496 -3360 2108 3924 -2844 -2844 -4100 -2268 2572 -3284 2124 -2844 2732 -2840 -3284 2572 -2268 -3612 -3288 2880 2500 -2204 2148 -3820 -4076 -2308 -4096 -2264 2232 -3552 3964 3100 -4060 -3260 -3560 3280 2120 3980 -2624 -2172 3144 -2196 3476 2992 3000 -3696 3692 -2844 3092 -3324 -2884 -3972 2756 -3724 -3848 3436 3696 3800 -2172 -2476 -2164 3264 -2868 -3400 -2624 2648 -3360 3076 -2136 -2620 3924 2944 3832 3364 -2184 -3360 3648 -3324 2712 -3132 -2436 -3284 2516 3404 -2788 -2884 -2516 2260 -2884 2108 -2272 -3564 2416 -3856 3400 -4100 3372 -4060 -2476 -4076 2124 -4092 3880 2852 -2820 2376 -2272 -2824 3140 4060 -3360 4012 -2844 3080 -2656 3284 -4100 2984 -2272 4076 -2148 2516 -3400 -2628 3900 3000 2960 2500 -3328 2688 -3840 -2232 -3400 3136 2172 2984 3200 -3360 -2660 2896 -2748 -2496 -2176 -3360 -2792 2384 2984 -3556 -2792 -2308 -2624 -3596 2772 -2232 3020 -2176 -2268 3284 -2252 4100 -2248 -2228 -2884 -3284 -3968 -3400 -3320 -3772 -2176 -2312 -2884 3436 -3840 -3928 -2664 -2272 2808 -3124 2108 -2228 2160 2604 2712 -2156 2672 -2264 -3400 3688 3324 4016 -3400 -2844 -3932 3476 3032 -2144 -2268 -2228 -3400 2736 -2228 -2108 3496 3224 2772 -3324 4056 -3324 4056 -2416 2132 2616 -2660 3140 -2532 3836 -2228 -3888 -2844 -3400 -4056 -3888 3408 -2228 -2272 -3688 -3808 -2296 -2828 2156 -2752 2900 -3288 3184 3100 -3360 3120 -2876 -3360 2476 -2844 -2120 -2848 -3476 3012 3020 4052 2252 3072 -3848 -2916 -3360 2768 3900 -4060 4052 -2832 -3680 -2108 2648 -2796 -2268 -2812 -3360 3336 -3024 2232 2808 2264 -3180 3940 -3400 -2968 -4036 3768 2132 3860 -2532 -2620 -2268 -2264 -4100 4056 -2224 -2272 3160 -3832 3332 -2884 3456 -2688 -2268 -4100 -2148 -3852 -2476 3036 -2624 -2648 -2456 -2880 -2876 2596 2608 3140 -2288 3796 -2148 4100 -3360 -4012 -4036 4020 2480 -2884 3648 -2236 -2844 2940 2928 -3996 2968 -2644 -2196 -2848 3928 -2768 -2664 -4060 3964 -2228 -3360 -2612 3436 2124 -3400 4036 2120 3008 -2148 -2460 -3400 3436 2808 -3360 -4036 3656 3140 -3608 -2228 3868 -2148 3180 
210.41	d NODES 0
210.41	d CHECKS 12242280
210.41	   
210.41	   totalWckTime=210.179  totalCpuTime=208.03

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/node19/watcher-221505-1168259584 -o ROOT/results/node19/solver-221505-1168259584 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/221505-1168259584/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.93 2.00 1.85 4/87 19032
/proc/meminfo: memFree=1786320/2055920 swapFree=4171244/4192956
[pid=19031] ppid=19029 vsize=172 CPUtime=0
/proc/19031/stat : 19031 (java) R 19029 19031 18296 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 174353113 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7484196 0 0 4096 0 0 0 0 17 0 0 0
/proc/19031/statm: 43 24 18 14 0 3 0

[startup+0.107314 s]
/proc/loadavg: 1.93 2.00 1.85 4/87 19032
/proc/meminfo: memFree=1786320/2055920 swapFree=4171244/4192956
[pid=19031] ppid=19029 vsize=914988 CPUtime=0.08
/proc/19031/stat : 19031 (java) R 19029 19031 18296 0 -1 0 3006 0 1 0 7 1 0 0 23 0 8 0 174353113 936947712 2752 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19031/statm: 228747 2754 1431 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.515385 s]
/proc/loadavg: 1.93 2.00 1.85 4/87 19032
/proc/meminfo: memFree=1786320/2055920 swapFree=4171244/4192956
[pid=19031] ppid=19029 vsize=915328 CPUtime=0.48
/proc/19031/stat : 19031 (java) R 19029 19031 18296 0 -1 0 9041 0 1 0 44 4 0 0 25 0 8 0 174353113 937295872 8780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19031/statm: 228832 8780 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.33654 s]
/proc/loadavg: 1.93 2.00 1.85 3/94 19039
/proc/meminfo: memFree=1715032/2055920 swapFree=4171244/4192956
[pid=19031] ppid=19029 vsize=915632 CPUtime=1.3
/proc/19031/stat : 19031 (java) R 19029 19031 18296 0 -1 0 20174 0 1 0 120 10 0 0 25 0 8 0 174353113 937607168 19912 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073798189 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19031/statm: 228908 19912 2180 14 0 215378 0
[pid=19031/tid=19033] ppid=19029 vsize=915632 CPUtime=0.04
/proc/19031/task/19033/stat : 19033 (java) S 19029 19031 18296 0 -1 64 3571 0 0 0 3 1 0 0 17 0 8 0 174353117 937607168 19912 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19031/tid=19034] ppid=19029 vsize=915632 CPUtime=0
/proc/19031/task/19034/stat : 19034 (java) S 19029 19031 18296 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174353117 937607168 19912 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19031/tid=19035] ppid=19029 vsize=915632 CPUtime=0
/proc/19031/task/19035/stat : 19035 (java) S 19029 19031 18296 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 174353117 937607168 19912 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19031/tid=19036] ppid=19029 vsize=915632 CPUtime=0
/proc/19031/task/19036/stat : 19036 (java) S 19029 19031 18296 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 174353121 937607168 19912 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19031/tid=19037] ppid=19029 vsize=915632 CPUtime=0.15
/proc/19031/task/19037/stat : 19037 (java) S 19029 19031 18296 0 -1 64 413 0 0 0 15 0 0 0 16 0 8 0 174353121 937607168 19912 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19031/tid=19038] ppid=19029 vsize=915632 CPUtime=0
/proc/19031/task/19038/stat : 19038 (java) S 19029 19031 18296 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 174353121 937607168 19912 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19031/tid=19039] ppid=19029 vsize=915632 CPUtime=0
/proc/19031/task/19039/stat : 19039 (java) S 19029 19031 18296 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174353121 937607168 19912 18446744073709551615 134512640 134570532 4294956464 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) 915632

[startup+2.97585 s]
/proc/loadavg: 1.93 2.00 1.85 3/94 19039
/proc/meminfo: memFree=1714840/2055920 swapFree=4171244/4192956
[pid=19031] ppid=19029 vsize=915632 CPUtime=2.93
/proc/19031/stat : 19031 (java) R 19029 19031 18296 0 -1 0 20178 0 1 0 283 10 0 0 25 0 8 0 174353113 937607168 19915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073800103 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19031/statm: 228908 19915 2180 14 0 215378 0
[pid=19031/tid=19033] ppid=19029 vsize=915632 CPUtime=0.04
/proc/19031/task/19033/stat : 19033 (java) S 19029 19031 18296 0 -1 64 3571 0 0 0 3 1 0 0 16 0 8 0 174353117 937607168 19915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19031/tid=19034] ppid=19029 vsize=915632 CPUtime=0
/proc/19031/task/19034/stat : 19034 (java) S 19029 19031 18296 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174353117 937607168 19915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19031/tid=19035] ppid=19029 vsize=915632 CPUtime=0
/proc/19031/task/19035/stat : 19035 (java) S 19029 19031 18296 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 174353117 937607168 19915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19031/tid=19036] ppid=19029 vsize=915632 CPUtime=0
/proc/19031/task/19036/stat : 19036 (java) S 19029 19031 18296 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 174353121 937607168 19915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19031/tid=19037] ppid=19029 vsize=915632 CPUtime=0.16
/proc/19031/task/19037/stat : 19037 (java) S 19029 19031 18296 0 -1 64 416 0 0 0 16 0 0 0 15 0 8 0 174353121 937607168 19915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19031/tid=19038] ppid=19029 vsize=915632 CPUtime=0
/proc/19031/task/19038/stat : 19038 (java) S 19029 19031 18296 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 174353121 937607168 19915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19031/tid=19039] ppid=19029 vsize=915632 CPUtime=0
/proc/19031/task/19039/stat : 19039 (java) S 19029 19031 18296 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174353121 937607168 19915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915632

[startup+6.27547 s]
/proc/loadavg: 1.94 2.00 1.85 3/94 19039
/proc/meminfo: memFree=1714840/2055920 swapFree=4171244/4192956
[pid=19031] ppid=19029 vsize=915632 CPUtime=6.22
/proc/19031/stat : 19031 (java) R 19029 19031 18296 0 -1 0 20178 0 1 0 612 10 0 0 25 0 8 0 174353113 937607168 19915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073479196 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19031/statm: 228908 19915 2180 14 0 215378 0
[pid=19031/tid=19033] ppid=19029 vsize=915632 CPUtime=0.04
/proc/19031/task/19033/stat : 19033 (java) S 19029 19031 18296 0 -1 64 3571 0 0 0 3 1 0 0 16 0 8 0 174353117 937607168 19915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19031/tid=19034] ppid=19029 vsize=915632 CPUtime=0
/proc/19031/task/19034/stat : 19034 (java) S 19029 19031 18296 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174353117 937607168 19915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19031/tid=19035] ppid=19029 vsize=915632 CPUtime=0
/proc/19031/task/19035/stat : 19035 (java) S 19029 19031 18296 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 174353117 937607168 19915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19031/tid=19036] ppid=19029 vsize=915632 CPUtime=0
/proc/19031/task/19036/stat : 19036 (java) S 19029 19031 18296 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 174353121 937607168 19915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19031/tid=19037] ppid=19029 vsize=915632 CPUtime=0.16
/proc/19031/task/19037/stat : 19037 (java) S 19029 19031 18296 0 -1 64 416 0 0 0 16 0 0 0 16 0 8 0 174353121 937607168 19915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19031/tid=19038] ppid=19029 vsize=915632 CPUtime=0
/proc/19031/task/19038/stat : 19038 (java) S 19029 19031 18296 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 174353121 937607168 19915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19031/tid=19039] ppid=19029 vsize=915632 CPUtime=0
/proc/19031/task/19039/stat : 19039 (java) S 19029 19031 18296 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174353121 937607168 19915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915632

[startup+12.7547 s]
/proc/loadavg: 1.94 2.00 1.85 3/94 19039
/proc/meminfo: memFree=1714840/2055920 swapFree=4171244/4192956
[pid=19031] ppid=19029 vsize=915632 CPUtime=12.65
/proc/19031/stat : 19031 (java) R 19029 19031 18296 0 -1 0 20179 0 1 0 1255 10 0 0 25 0 8 0 174353113 937607168 19916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073798198 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19031/statm: 228908 19916 2180 14 0 215378 0
[pid=19031/tid=19033] ppid=19029 vsize=915632 CPUtime=0.04
/proc/19031/task/19033/stat : 19033 (java) S 19029 19031 18296 0 -1 64 3571 0 0 0 3 1 0 0 16 0 8 0 174353117 937607168 19916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19031/tid=19034] ppid=19029 vsize=915632 CPUtime=0
/proc/19031/task/19034/stat : 19034 (java) S 19029 19031 18296 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174353117 937607168 19916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19031/tid=19035] ppid=19029 vsize=915632 CPUtime=0
/proc/19031/task/19035/stat : 19035 (java) S 19029 19031 18296 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 174353117 937607168 19916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19031/tid=19036] ppid=19029 vsize=915632 CPUtime=0
/proc/19031/task/19036/stat : 19036 (java) S 19029 19031 18296 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 174353121 937607168 19916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19031/tid=19037] ppid=19029 vsize=915632 CPUtime=0.16
/proc/19031/task/19037/stat : 19037 (java) S 19029 19031 18296 0 -1 64 417 0 0 0 16 0 0 0 15 0 8 0 174353121 937607168 19916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19031/tid=19038] ppid=19029 vsize=915632 CPUtime=0
/proc/19031/task/19038/stat : 19038 (java) S 19029 19031 18296 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 174353121 937607168 19916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19031/tid=19039] ppid=19029 vsize=915632 CPUtime=0
/proc/19031/task/19039/stat : 19039 (java) S 19029 19031 18296 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174353121 937607168 19916 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 915632

[startup+25.6261 s]
/proc/loadavg: 1.95 2.00 1.85 3/94 19039
/proc/meminfo: memFree=1714904/2055920 swapFree=4171244/4192956
[pid=19031] ppid=19029 vsize=915632 CPUtime=25.46
/proc/19031/stat : 19031 (java) R 19029 19031 18296 0 -1 0 20190 0 1 0 2536 10 0 0 25 0 8 0 174353113 937607168 19927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073803575 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19031/statm: 228908 19927 2180 14 0 215378 0
[pid=19031/tid=19033] ppid=19029 vsize=915632 CPUtime=0.04
/proc/19031/task/19033/stat : 19033 (java) S 19029 19031 18296 0 -1 64 3571 0 0 0 3 1 0 0 16 0 8 0 174353117 937607168 19927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19031/tid=19034] ppid=19029 vsize=915632 CPUtime=0
/proc/19031/task/19034/stat : 19034 (java) S 19029 19031 18296 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174353117 937607168 19927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19031/tid=19035] ppid=19029 vsize=915632 CPUtime=0
/proc/19031/task/19035/stat : 19035 (java) S 19029 19031 18296 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 174353117 937607168 19927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19031/tid=19036] ppid=19029 vsize=915632 CPUtime=0
/proc/19031/task/19036/stat : 19036 (java) S 19029 19031 18296 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 174353121 937607168 19927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19031/tid=19037] ppid=19029 vsize=915632 CPUtime=0.17
/proc/19031/task/19037/stat : 19037 (java) S 19029 19031 18296 0 -1 64 428 0 0 0 17 0 0 0 16 0 8 0 174353121 937607168 19927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19031/tid=19038] ppid=19029 vsize=915632 CPUtime=0
/proc/19031/task/19038/stat : 19038 (java) S 19029 19031 18296 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 174353121 937607168 19927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19031/tid=19039] ppid=19029 vsize=915632 CPUtime=0
/proc/19031/task/19039/stat : 19039 (java) S 19029 19031 18296 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174353121 937607168 19927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 915632

[startup+51.2519 s]
/proc/loadavg: 1.97 2.00 1.85 3/94 19039
/proc/meminfo: memFree=1698392/2055920 swapFree=4171244/4192956
[pid=19031] ppid=19029 vsize=915632 CPUtime=50.98
/proc/19031/stat : 19031 (java) R 19029 19031 18296 0 -1 0 24341 0 1 0 5086 12 0 0 25 0 8 0 174353113 937607168 24077 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073798291 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19031/statm: 228908 24077 2181 14 0 215378 0
[pid=19031/tid=19033] ppid=19029 vsize=915632 CPUtime=0.12
/proc/19031/task/19033/stat : 19033 (java) S 19029 19031 18296 0 -1 64 7716 0 0 0 10 2 0 0 16 0 8 0 174353117 937607168 24077 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19031/tid=19034] ppid=19029 vsize=915632 CPUtime=0
/proc/19031/task/19034/stat : 19034 (java) S 19029 19031 18296 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174353117 937607168 24077 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19031/tid=19035] ppid=19029 vsize=915632 CPUtime=0
/proc/19031/task/19035/stat : 19035 (java) S 19029 19031 18296 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 174353117 937607168 24077 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19031/tid=19036] ppid=19029 vsize=915632 CPUtime=0
/proc/19031/task/19036/stat : 19036 (java) S 19029 19031 18296 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 174353121 937607168 24077 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19031/tid=19037] ppid=19029 vsize=915632 CPUtime=0.18
/proc/19031/task/19037/stat : 19037 (java) S 19029 19031 18296 0 -1 64 432 0 0 0 18 0 0 0 16 0 8 0 174353121 937607168 24077 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19031/tid=19038] ppid=19029 vsize=915632 CPUtime=0
/proc/19031/task/19038/stat : 19038 (java) S 19029 19031 18296 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 174353121 937607168 24077 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19031/tid=19039] ppid=19029 vsize=915632 CPUtime=0
/proc/19031/task/19039/stat : 19039 (java) S 19029 19031 18296 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174353121 937607168 24077 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 915632

[startup+102.495 s]
/proc/loadavg: 1.98 2.00 1.85 3/94 19039
/proc/meminfo: memFree=1683992/2055920 swapFree=4171244/4192956
[pid=19031] ppid=19029 vsize=915632 CPUtime=101.97
/proc/19031/stat : 19031 (java) R 19029 19031 18296 0 -1 0 27951 0 1 0 10183 14 0 0 25 0 8 0 174353113 937607168 27684 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073798224 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19031/statm: 228908 27684 2181 14 0 215378 0
[pid=19031/tid=19033] ppid=19029 vsize=915632 CPUtime=0.27
/proc/19031/task/19033/stat : 19033 (java) S 19029 19031 18296 0 -1 64 11321 0 0 0 24 3 0 0 16 0 8 0 174353117 937607168 27684 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19031/tid=19034] ppid=19029 vsize=915632 CPUtime=0
/proc/19031/task/19034/stat : 19034 (java) S 19029 19031 18296 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174353117 937607168 27684 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19031/tid=19035] ppid=19029 vsize=915632 CPUtime=0
/proc/19031/task/19035/stat : 19035 (java) S 19029 19031 18296 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 174353117 937607168 27684 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19031/tid=19036] ppid=19029 vsize=915632 CPUtime=0
/proc/19031/task/19036/stat : 19036 (java) S 19029 19031 18296 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 174353121 937607168 27684 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19031/tid=19037] ppid=19029 vsize=915632 CPUtime=0.18
/proc/19031/task/19037/stat : 19037 (java) S 19029 19031 18296 0 -1 64 434 0 0 0 18 0 0 0 16 0 8 0 174353121 937607168 27684 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19031/tid=19038] ppid=19029 vsize=915632 CPUtime=0
/proc/19031/task/19038/stat : 19038 (java) S 19029 19031 18296 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 174353121 937607168 27684 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19031/tid=19039] ppid=19029 vsize=915632 CPUtime=0
/proc/19031/task/19039/stat : 19039 (java) S 19029 19031 18296 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174353121 937607168 27684 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.97
Current children cumulated vsize (KiB) 915632

[startup+162.596 s]
/proc/loadavg: 1.99 2.00 1.86 3/94 19039
/proc/meminfo: memFree=1683992/2055920 swapFree=4171244/4192956
[pid=19031] ppid=19029 vsize=915632 CPUtime=161.79
/proc/19031/stat : 19031 (java) R 19029 19031 18296 0 -1 0 27953 0 1 0 16164 15 0 0 25 0 8 0 174353113 937607168 27685 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073801063 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19031/statm: 228908 27685 2181 14 0 215378 0
[pid=19031/tid=19033] ppid=19029 vsize=915632 CPUtime=0.27
/proc/19031/task/19033/stat : 19033 (java) S 19029 19031 18296 0 -1 64 11321 0 0 0 24 3 0 0 16 0 8 0 174353117 937607168 27685 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19031/tid=19034] ppid=19029 vsize=915632 CPUtime=0
/proc/19031/task/19034/stat : 19034 (java) S 19029 19031 18296 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174353117 937607168 27685 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19031/tid=19035] ppid=19029 vsize=915632 CPUtime=0
/proc/19031/task/19035/stat : 19035 (java) S 19029 19031 18296 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 174353117 937607168 27685 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19031/tid=19036] ppid=19029 vsize=915632 CPUtime=0
/proc/19031/task/19036/stat : 19036 (java) S 19029 19031 18296 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 174353121 937607168 27685 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19031/tid=19037] ppid=19029 vsize=915632 CPUtime=0.18
/proc/19031/task/19037/stat : 19037 (java) S 19029 19031 18296 0 -1 64 435 0 0 0 18 0 0 0 16 0 8 0 174353121 937607168 27685 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19031/tid=19038] ppid=19029 vsize=915632 CPUtime=0
/proc/19031/task/19038/stat : 19038 (java) S 19029 19031 18296 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 174353121 937607168 27685 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19031/tid=19039] ppid=19029 vsize=915632 CPUtime=0
/proc/19031/task/19039/stat : 19039 (java) S 19029 19031 18296 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174353121 937607168 27685 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 161.79
Current children cumulated vsize (KiB) 915632

Child status: 0
Real time (s): 210.483
CPU time (s): 209.429
CPU user time (s): 209.164
CPU system time (s): 0.264959
CPU usage (%): 99.4992
Max. virtual memory (cumulated for all children) (KiB): 915632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 209.164
system time used= 0.264959
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42562
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= 5711
involuntary context switches= 11891

runsolver used 0.25696 s user time and 0.677896 s system time

The end

Launcher Data (download as text)

Begin job on node19 on Mon Jan  8 12:33:05 UTC 2007


IDJOB= 221505
IDBENCH= 5453
FILE ID= node19/221505-1168259584

PBS_JOBID= 3482417

Free space on /tmp= 66317 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  316a3812cc8931312682843c89f2669e

RANDOM SEED= 399863787

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.260
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.260
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:       1786864 kB
Buffers:         40568 kB
Cached:          97360 kB
SwapCached:       9904 kB
Active:         143216 kB
Inactive:        69616 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1786864 kB
SwapTotal:     4192956 kB
SwapFree:      4171244 kB
Dirty:            3888 kB
Writeback:           0 kB
Mapped:          85560 kB
Slab:            40944 kB
Committed_AS:  4551416 kB
PageTables:       2424 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= 66317 MiB



End job on node19 on Mon Jan  8 12:36:37 UTC 2007