Trace number 221537

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 214.107 215.139

DiagnosticValue
CHECKS18081197
NODES0

General information on the benchmark

Namefapp/fapp31-35/fapp32/
fapp32-0550-9.xml
MD5SUMbc7114b27a46a303eb3e9257cf5816e5
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.4391
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.39	   
0.39	Abscon 109 (November, 2006)
0.39	   
0.39	   configuration
0.39	     name=esac.xml
0.42	   
0.42	   instance
0.42	     name=/tmp/evaluation/221537-1168259741/unknown.xml
0.45	   
0.45	   domains being loaded...
0.48	   
0.48	   variables being loaded...
0.62	     nbVariables=550  nbDomainTypes=8  minDomainSize=98  maxDomainSize=998
0.62	       =>  wckTime=0.23  cpuTime=0.18  mem=22M577
0.62	   
0.62	   predicates being loaded...
0.62	   
0.62	   constraints being loaded...
202.20	   
202.20	   INFO : Stopping converting binary constraints (cpu=200.34, mem = 78M581)
203.54	     nbConstraints=5017  nbMergedConstraints=4444  nbConvertedConstraints=525  nbConvertConstraintsChecks=381180934
203.54	     nbExtensionStructures=493  nbSharedExtensionStructures=32  nbConflictsStructures=493
203.54	     nbSharedConflictsStructures=32  nbSharedBinaryRepresentations=646020  nbEvaluationManagers=3881
203.54	     nbSharedEvaluationManagers=611  maxDegree=40  maxArity=2
203.54	       =>  wckTime=203.148  cpuTime=201.42  mem=99M196
203.76	   
203.76	   solver IterativeSystematicSolver being built... 
204.10	       =>  wckTime=203.716  cpuTime=201.68  mem=123M145
215.06	   
215.06	   preprocessing
215.06	     nbConstraintChecks=18081197  nbValidityChecks=2094058  nbPropagations=5753  nbRevisions=95615
215.06	     nbUselessRevisions=86842  nbSingletonTests=915  nbEffectiveSingletonTests=0  nbESACBranches=2
215.06	     nbRemovedValues=439087  detectedInconsistency=no
215.06	       =>  wckTime=10.94  cpuTime=10.89  mem=123M145
215.06	   
215.06	   global
215.06	     nbConstraintChecks=18081197  nbValidityChecks=2094058  nbPropagations=5753  nbRevisions=95615
215.06	     nbUselessRevisions=86842  nbRestartNogoods=0  solvingWckTime=10.943  solvingCpuTime=10.89  expiredTime=no
215.06	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=212.63
215.06	       =>  wckTime=214.669  cpuTime=212.58  mem=123M145
215.09	   
215.09	s SATISFIABLE
215.09	v -3792 2452 -2156 3452 3980 -2812 -3524 -2804 -2832 -2224 -2820 3160 4100 2584 -2860 -2224 3796 -3320 -3700 -2628 -2892 3572 -3864 2176 -3400 3212 -4060 2980 -3864 2212 -4084 -2840 3372 2788 -3476 -2180 -3040 3180 2732 -2660 3840 -2968 -2772 -4036 -2180 2832 3636 -2236 3456 -2268 -4100 -2616 3924 -2112 -2752 -2820 3640 4060 3788 -3388 -2884 -2940 3808 -3908 -3052 -2472 -3436 -2852 -2512 -2432 -2620 -2668 2472 2264 -2192 -2452 -2780 -2680 2956 2132 3648 3220 2440 -2152 -2268 -2292 -3800 -2712 -3328 2108 -3400 -3904 3096 -2660 -2132 -3360 3068 -2472 3096 -2880 -2968 2880 -2432 -2780 3916 -3968 -2664 -4072 -2160 -3996 -3476 3732 -2844 -2224 4052 2156 3028 -3900 -2276 -3400 -3356 2820 2156 4060 -3476 3788 -2664 -2664 -2844 2132 -3904 3036 2172 -2200 2108 2848 -3400 -2164 -2308 -2620 3592 -2884 -2228 2768 -2620 -2224 -3776 3980 -4068 -4076 -2632 -2660 2108 -2184 2764 4016 2808 2784 3660 -3940 -2640 -3748 2952 2164 -3068 -2176 -3392 2268 2940 3444 -4036 3584 -3640 -2668 -2772 -3360 -3360 -3800 3512 -2764 -3720 -2168 2748 -2836 -2424 -2668 3856 -3940 3172 -3352 -4060 -2808 3220 -2620 -2860 -2884 3200 3484 -3360 -2172 3924 -2840 -2844 -4100 -2268 2572 -3284 2124 -2844 2748 2828 -3280 2588 -2264 -3612 -3288 2868 2492 -2204 -2148 -3816 -4076 -2308 -4060 -2264 2228 -3552 3964 3092 -4060 -3260 -3544 -3292 2140 -4068 -2624 -2192 3144 2216 3496 2996 2996 -3680 3676 -2844 3092 -3324 -2884 -3972 2768 -3748 -3848 3436 3680 3800 -2196 -2488 -2184 3276 -2872 -3400 -2624 2648 -3360 3076 2256 -2624 3928 2944 3840 3356 -2184 -3360 3632 -3324 2712 -3132 -2432 -3284 2528 -3396 -2788 -2884 -2512 2268 -2884 2108 -2276 -3564 2428 -3864 -3400 3996 3372 -4060 -2488 -4100 2144 4088 3876 2852 -2824 2376 -2272 -2820 3140 4032 -3348 4012 -2844 -3084 -2652 3284 -4100 3000 -2268 -4028 -2168 2528 -3400 -2628 3896 2996 2956 2492 -3324 2688 -3840 -2232 -3400 3136 2172 2984 3212 -3360 -2656 2912 -2748 -2492 -2196 -3360 2788 2384 3000 -3532 -2808 -2312 -2704 3572 2788 -2232 3020 -2196 -2268 3328 -2252 4100 -2240 -2264 -2884 -3280 -3968 -3400 -3332 -3772 -2296 -2312 -2884 3436 -3836 3824 2660 -2268 2804 -3136 2108 -2224 2160 2604 2712 -2152 2672 -2268 -3400 3680 3324 4016 -3396 -2844 -3932 3484 3028 -2144 -2264 -2228 -3400 2732 -2228 -2128 3492 3236 2788 -3368 4044 -3320 4056 -2416 -2136 2612 -2660 3140 -2548 -3924 -2228 -3896 -2844 -3400 4056 -3896 3412 -2224 -2272 -3688 -3804 -2308 -2748 2176 -2752 2896 -3284 3184 3100 -3360 3124 -2876 -3360 2472 -2844 2140 -2848 -3476 3012 3028 4048 2252 3068 -3856 -2916 -3356 2768 3896 -4060 4052 -2828 -3680 -2128 2648 -2808 -2272 2808 -3360 3332 -3040 2228 2824 -2264 -3180 3936 -3400 2980 -4036 3764 2152 3856 -2544 -2620 -2268 -2264 -4100 -4100 -2224 -2272 3172 -3832 3332 -2884 3452 2688 -2268 -4100 -2148 -3860 -2472 3036 -2628 -2652 -2468 -2876 -2872 2592 2612 3132 -2280 -3964 -2148 4100 -3360 4012 -4036 4028 2480 -2884 3632 -2236 -2844 2936 2928 -3996 2980 -2644 2216 -2864 3928 -2764 -2664 -4060 3964 2228 -3360 -2612 3444 2144 -3396 -4060 2120 3008 -2148 -2452 -3400 3436 2804 -3360 -4036 3640 3140 3592 -2228 3868 -2148 3180 
215.09	d NODES 0
215.09	d CHECKS 18081197
215.09	   
215.09	   totalWckTime=214.778  totalCpuTime=212.66

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/node43/watcher-221537-1168259741 -o ROOT/results/node43/solver-221537-1168259741 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/221537-1168259741/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.41 1.99 1.91 2/84 6978
/proc/meminfo: memFree=1056328/2055920 swapFree=4192812/4192956
[pid=6977] ppid=6975 vsize=18540 CPUtime=0
/proc/6977/stat : 6977 (runsolver) R 6975 6977 6787 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 174373285 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 216849247527 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/6977/statm: 4635 279 244 17 0 2626 0

[startup+0.102568 s]
/proc/loadavg: 2.41 1.99 1.91 2/84 6978
/proc/meminfo: memFree=1056328/2055920 swapFree=4192812/4192956
[pid=6977] ppid=6975 vsize=47416 CPUtime=0
/proc/6977/stat : 6977 (java) D 6975 6977 6787 0 -1 0 1211 0 1 0 0 0 0 0 17 0 1 0 174373285 48553984 960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/6977/statm: 11854 960 760 14 0 1707 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 47416

[startup+0.510629 s]
/proc/loadavg: 2.41 1.99 1.91 2/84 6978
/proc/meminfo: memFree=1056328/2055920 swapFree=4192812/4192956
[pid=6977] ppid=6975 vsize=915328 CPUtime=0.39
/proc/6977/stat : 6977 (java) R 6975 6977 6787 0 -1 0 6153 0 1 0 36 3 0 0 24 0 8 0 174373285 937295872 5892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6977/statm: 228832 5892 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 915328

[startup+1.33376 s]
/proc/loadavg: 2.41 1.99 1.91 3/91 6985
/proc/meminfo: memFree=980240/2055920 swapFree=4192812/4192956
[pid=6977] ppid=6975 vsize=915632 CPUtime=1.21
/proc/6977/stat : 6977 (java) R 6975 6977 6787 0 -1 0 20173 0 1 0 112 9 0 0 25 0 8 0 174373285 937607168 19911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479196 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6977/statm: 228908 19911 2180 14 0 215378 0
[pid=6977/tid=6979] ppid=6975 vsize=915632 CPUtime=0.03
/proc/6977/task/6979/stat : 6979 (java) S 6975 6977 6787 0 -1 64 3571 0 0 0 3 0 0 0 16 0 8 0 174373298 937607168 19911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6977/tid=6980] ppid=6975 vsize=915632 CPUtime=0
/proc/6977/task/6980/stat : 6980 (java) S 6975 6977 6787 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 174373299 937607168 19911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6977/tid=6981] ppid=6975 vsize=915632 CPUtime=0
/proc/6977/task/6981/stat : 6981 (java) S 6975 6977 6787 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 174373299 937607168 19911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6977/tid=6982] ppid=6975 vsize=915632 CPUtime=0
/proc/6977/task/6982/stat : 6982 (java) S 6975 6977 6787 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 174373302 937607168 19911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6977/tid=6983] ppid=6975 vsize=915632 CPUtime=0.15
/proc/6977/task/6983/stat : 6983 (java) S 6975 6977 6787 0 -1 64 413 0 0 0 15 0 0 0 16 0 8 0 174373302 937607168 19911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6977/tid=6984] ppid=6975 vsize=915632 CPUtime=0
/proc/6977/task/6984/stat : 6984 (java) S 6975 6977 6787 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 174373302 937607168 19911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6977/tid=6985] ppid=6975 vsize=915632 CPUtime=0
/proc/6977/task/6985/stat : 6985 (java) S 6975 6977 6787 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174373302 937607168 19911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 915632

[startup+2.98304 s]
/proc/loadavg: 2.41 1.99 1.91 3/91 6985
/proc/meminfo: memFree=979152/2055920 swapFree=4192812/4192956
[pid=6977] ppid=6975 vsize=915632 CPUtime=2.85
/proc/6977/stat : 6977 (java) R 6975 6977 6787 0 -1 0 20177 0 1 0 276 9 0 0 25 0 8 0 174373285 937607168 19914 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073798242 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6977/statm: 228908 19914 2180 14 0 215378 0
[pid=6977/tid=6979] ppid=6975 vsize=915632 CPUtime=0.03
/proc/6977/task/6979/stat : 6979 (java) S 6975 6977 6787 0 -1 64 3571 0 0 0 3 0 0 0 16 0 8 0 174373298 937607168 19914 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6977/tid=6980] ppid=6975 vsize=915632 CPUtime=0
/proc/6977/task/6980/stat : 6980 (java) S 6975 6977 6787 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 174373299 937607168 19914 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6977/tid=6981] ppid=6975 vsize=915632 CPUtime=0
/proc/6977/task/6981/stat : 6981 (java) S 6975 6977 6787 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 174373299 937607168 19914 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6977/tid=6982] ppid=6975 vsize=915632 CPUtime=0
/proc/6977/task/6982/stat : 6982 (java) S 6975 6977 6787 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 174373302 937607168 19914 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6977/tid=6983] ppid=6975 vsize=915632 CPUtime=0.16
/proc/6977/task/6983/stat : 6983 (java) S 6975 6977 6787 0 -1 64 416 0 0 0 16 0 0 0 15 0 8 0 174373302 937607168 19914 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6977/tid=6984] ppid=6975 vsize=915632 CPUtime=0
/proc/6977/task/6984/stat : 6984 (java) S 6975 6977 6787 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 174373302 937607168 19914 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6977/tid=6985] ppid=6975 vsize=915632 CPUtime=0
/proc/6977/task/6985/stat : 6985 (java) S 6975 6977 6787 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174373302 937607168 19914 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 915632

[startup+6.26759 s]
/proc/loadavg: 2.38 1.99 1.91 3/91 6985
/proc/meminfo: memFree=961616/2055920 swapFree=4192812/4192956
[pid=6977] ppid=6975 vsize=915632 CPUtime=6.13
/proc/6977/stat : 6977 (java) R 6975 6977 6787 0 -1 0 20177 0 1 0 603 10 0 0 25 0 8 0 174373285 937607168 19914 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803128 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6977/statm: 228908 19914 2180 14 0 215378 0
[pid=6977/tid=6979] ppid=6975 vsize=915632 CPUtime=0.03
/proc/6977/task/6979/stat : 6979 (java) S 6975 6977 6787 0 -1 64 3571 0 0 0 3 0 0 0 16 0 8 0 174373298 937607168 19914 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6977/tid=6980] ppid=6975 vsize=915632 CPUtime=0
/proc/6977/task/6980/stat : 6980 (java) S 6975 6977 6787 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 174373299 937607168 19914 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6977/tid=6981] ppid=6975 vsize=915632 CPUtime=0
/proc/6977/task/6981/stat : 6981 (java) S 6975 6977 6787 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 174373299 937607168 19914 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6977/tid=6982] ppid=6975 vsize=915632 CPUtime=0
/proc/6977/task/6982/stat : 6982 (java) S 6975 6977 6787 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 174373302 937607168 19914 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6977/tid=6983] ppid=6975 vsize=915632 CPUtime=0.16
/proc/6977/task/6983/stat : 6983 (java) S 6975 6977 6787 0 -1 64 416 0 0 0 16 0 0 0 16 0 8 0 174373302 937607168 19914 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6977/tid=6984] ppid=6975 vsize=915632 CPUtime=0
/proc/6977/task/6984/stat : 6984 (java) S 6975 6977 6787 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 174373302 937607168 19914 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6977/tid=6985] ppid=6975 vsize=915632 CPUtime=0
/proc/6977/task/6985/stat : 6985 (java) S 6975 6977 6787 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174373302 937607168 19914 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 915632

[startup+12.7607 s]
/proc/loadavg: 2.35 1.99 1.91 3/91 6985
/proc/meminfo: memFree=944144/2055920 swapFree=4192812/4192956
[pid=6977] ppid=6975 vsize=915632 CPUtime=12.58
/proc/6977/stat : 6977 (java) R 6975 6977 6787 0 -1 0 20178 0 1 0 1248 10 0 0 25 0 8 0 174373285 937607168 19915 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073798258 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6977/statm: 228908 19915 2180 14 0 215378 0
[pid=6977/tid=6979] ppid=6975 vsize=915632 CPUtime=0.03
/proc/6977/task/6979/stat : 6979 (java) S 6975 6977 6787 0 -1 64 3571 0 0 0 3 0 0 0 16 0 8 0 174373298 937607168 19915 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6977/tid=6980] ppid=6975 vsize=915632 CPUtime=0
/proc/6977/task/6980/stat : 6980 (java) S 6975 6977 6787 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 174373299 937607168 19915 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6977/tid=6981] ppid=6975 vsize=915632 CPUtime=0
/proc/6977/task/6981/stat : 6981 (java) S 6975 6977 6787 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 174373299 937607168 19915 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6977/tid=6982] ppid=6975 vsize=915632 CPUtime=0
/proc/6977/task/6982/stat : 6982 (java) S 6975 6977 6787 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 174373302 937607168 19915 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6977/tid=6983] ppid=6975 vsize=915632 CPUtime=0.16
/proc/6977/task/6983/stat : 6983 (java) S 6975 6977 6787 0 -1 64 417 0 0 0 16 0 0 0 15 0 8 0 174373302 937607168 19915 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6977/tid=6984] ppid=6975 vsize=915632 CPUtime=0
/proc/6977/task/6984/stat : 6984 (java) S 6975 6977 6787 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 174373302 937607168 19915 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6977/tid=6985] ppid=6975 vsize=915632 CPUtime=0
/proc/6977/task/6985/stat : 6985 (java) S 6975 6977 6787 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174373302 937607168 19915 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 915632

[startup+25.6098 s]
/proc/loadavg: 2.27 1.99 1.91 4/91 6985
/proc/meminfo: memFree=935120/2055920 swapFree=4192812/4192956
[pid=6977] ppid=6975 vsize=915632 CPUtime=25.37
/proc/6977/stat : 6977 (java) R 6975 6977 6787 0 -1 0 20189 0 1 0 2527 10 0 0 25 0 8 0 174373285 937607168 19926 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073802061 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6977/statm: 228908 19926 2180 14 0 215378 0
[pid=6977/tid=6979] ppid=6975 vsize=915632 CPUtime=0.03
/proc/6977/task/6979/stat : 6979 (java) S 6975 6977 6787 0 -1 64 3571 0 0 0 3 0 0 0 16 0 8 0 174373298 937607168 19926 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6977/tid=6980] ppid=6975 vsize=915632 CPUtime=0
/proc/6977/task/6980/stat : 6980 (java) S 6975 6977 6787 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 174373299 937607168 19926 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6977/tid=6981] ppid=6975 vsize=915632 CPUtime=0
/proc/6977/task/6981/stat : 6981 (java) S 6975 6977 6787 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 174373299 937607168 19926 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6977/tid=6982] ppid=6975 vsize=915632 CPUtime=0
/proc/6977/task/6982/stat : 6982 (java) S 6975 6977 6787 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 174373302 937607168 19926 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6977/tid=6983] ppid=6975 vsize=915632 CPUtime=0.17
/proc/6977/task/6983/stat : 6983 (java) S 6975 6977 6787 0 -1 64 428 0 0 0 17 0 0 0 16 0 8 0 174373302 937607168 19926 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6977/tid=6984] ppid=6975 vsize=915632 CPUtime=0
/proc/6977/task/6984/stat : 6984 (java) S 6975 6977 6787 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 174373302 937607168 19926 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6977/tid=6985] ppid=6975 vsize=915632 CPUtime=0
/proc/6977/task/6985/stat : 6985 (java) S 6975 6977 6787 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174373302 937607168 19926 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915632

[startup+51.2531 s]
/proc/loadavg: 2.18 1.99 1.91 3/91 6985
/proc/meminfo: memFree=919376/2055920 swapFree=4192812/4192956
[pid=6977] ppid=6975 vsize=915632 CPUtime=50.86
/proc/6977/stat : 6977 (java) R 6975 6977 6787 0 -1 0 24344 0 1 0 5074 12 0 0 25 0 8 0 174373285 937607168 24080 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479193 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6977/statm: 228908 24080 2181 14 0 215378 0
[pid=6977/tid=6979] ppid=6975 vsize=915632 CPUtime=0.12
/proc/6977/task/6979/stat : 6979 (java) S 6975 6977 6787 0 -1 64 7720 0 0 0 10 2 0 0 16 0 8 0 174373298 937607168 24080 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6977/tid=6980] ppid=6975 vsize=915632 CPUtime=0
/proc/6977/task/6980/stat : 6980 (java) S 6975 6977 6787 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 174373299 937607168 24080 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6977/tid=6981] ppid=6975 vsize=915632 CPUtime=0
/proc/6977/task/6981/stat : 6981 (java) S 6975 6977 6787 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 174373299 937607168 24080 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6977/tid=6982] ppid=6975 vsize=915632 CPUtime=0
/proc/6977/task/6982/stat : 6982 (java) S 6975 6977 6787 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 174373302 937607168 24080 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6977/tid=6983] ppid=6975 vsize=915632 CPUtime=0.18
/proc/6977/task/6983/stat : 6983 (java) S 6975 6977 6787 0 -1 64 432 0 0 0 18 0 0 0 16 0 8 0 174373302 937607168 24080 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6977/tid=6984] ppid=6975 vsize=915632 CPUtime=0
/proc/6977/task/6984/stat : 6984 (java) S 6975 6977 6787 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 174373302 937607168 24080 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6977/tid=6985] ppid=6975 vsize=915632 CPUtime=0
/proc/6977/task/6985/stat : 6985 (java) S 6975 6977 6787 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174373302 937607168 24080 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.86
Current children cumulated vsize (KiB) 915632

[startup+102.528 s]
/proc/loadavg: 2.07 1.99 1.91 3/91 6985
/proc/meminfo: memFree=903952/2055920 swapFree=4192812/4192956
[pid=6977] ppid=6975 vsize=915632 CPUtime=101.85
/proc/6977/stat : 6977 (java) R 6975 6977 6787 0 -1 0 28090 0 1 0 10170 15 0 0 25 0 8 0 174373285 937607168 27823 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073805129 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6977/statm: 228908 27823 2181 14 0 215378 0
[pid=6977/tid=6979] ppid=6975 vsize=915632 CPUtime=0.28
/proc/6977/task/6979/stat : 6979 (java) S 6975 6977 6787 0 -1 64 11461 0 0 0 24 4 0 0 16 0 8 0 174373298 937607168 27823 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6977/tid=6980] ppid=6975 vsize=915632 CPUtime=0
/proc/6977/task/6980/stat : 6980 (java) S 6975 6977 6787 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 174373299 937607168 27823 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6977/tid=6981] ppid=6975 vsize=915632 CPUtime=0
/proc/6977/task/6981/stat : 6981 (java) S 6975 6977 6787 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 174373299 937607168 27823 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6977/tid=6982] ppid=6975 vsize=915632 CPUtime=0
/proc/6977/task/6982/stat : 6982 (java) S 6975 6977 6787 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 174373302 937607168 27823 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6977/tid=6983] ppid=6975 vsize=915632 CPUtime=0.18
/proc/6977/task/6983/stat : 6983 (java) S 6975 6977 6787 0 -1 64 434 0 0 0 18 0 0 0 16 0 8 0 174373302 937607168 27823 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6977/tid=6984] ppid=6975 vsize=915632 CPUtime=0
/proc/6977/task/6984/stat : 6984 (java) S 6975 6977 6787 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 174373302 937607168 27823 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6977/tid=6985] ppid=6975 vsize=915632 CPUtime=0
/proc/6977/task/6985/stat : 6985 (java) S 6975 6977 6787 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174373302 937607168 27823 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.85
Current children cumulated vsize (KiB) 915632

[startup+162.55 s]
/proc/loadavg: 2.03 1.99 1.91 3/91 6985
/proc/meminfo: memFree=903504/2055920 swapFree=4192812/4192956
[pid=6977] ppid=6975 vsize=915632 CPUtime=161.55
/proc/6977/stat : 6977 (java) R 6975 6977 6787 0 -1 0 28092 0 1 0 16138 17 0 0 25 0 8 0 174373285 937607168 27824 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073807216 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6977/statm: 228908 27824 2181 14 0 215378 0
[pid=6977/tid=6979] ppid=6975 vsize=915632 CPUtime=0.28
/proc/6977/task/6979/stat : 6979 (java) S 6975 6977 6787 0 -1 64 11461 0 0 0 24 4 0 0 16 0 8 0 174373298 937607168 27824 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6977/tid=6980] ppid=6975 vsize=915632 CPUtime=0
/proc/6977/task/6980/stat : 6980 (java) S 6975 6977 6787 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 174373299 937607168 27824 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6977/tid=6981] ppid=6975 vsize=915632 CPUtime=0
/proc/6977/task/6981/stat : 6981 (java) S 6975 6977 6787 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 174373299 937607168 27824 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6977/tid=6982] ppid=6975 vsize=915632 CPUtime=0
/proc/6977/task/6982/stat : 6982 (java) S 6975 6977 6787 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 174373302 937607168 27824 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6977/tid=6983] ppid=6975 vsize=915632 CPUtime=0.18
/proc/6977/task/6983/stat : 6983 (java) S 6975 6977 6787 0 -1 64 435 0 0 0 18 0 0 0 16 0 8 0 174373302 937607168 27824 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6977/tid=6984] ppid=6975 vsize=915632 CPUtime=0
/proc/6977/task/6984/stat : 6984 (java) S 6975 6977 6787 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 174373302 937607168 27824 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6977/tid=6985] ppid=6975 vsize=915632 CPUtime=0
/proc/6977/task/6985/stat : 6985 (java) S 6975 6977 6787 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174373302 937607168 27824 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 161.55
Current children cumulated vsize (KiB) 915632

Child status: 0
Real time (s): 215.139
CPU time (s): 214.107
CPU user time (s): 213.831
CPU system time (s): 0.275958
CPU usage (%): 99.5203
Max. virtual memory (cumulated for all children) (KiB): 915632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 213.831
system time used= 0.275958
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42713
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= 5837
involuntary context switches= 7646

runsolver used 0.255961 s user time and 0.71789 s system time

The end

Launcher Data (download as text)

Begin job on node43 on Mon Jan  8 12:35:42 UTC 2007


IDJOB= 221537
IDBENCH= 5455
FILE ID= node43/221537-1168259741

PBS_JOBID= 3482638

Free space on /tmp= 66495 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  bc7114b27a46a303eb3e9257cf5816e5

RANDOM SEED= 798694255

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.278
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.278
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:       1056808 kB
Buffers:         48124 kB
Cached:         194840 kB
SwapCached:          0 kB
Active:         821236 kB
Inactive:       124460 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1056808 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2924 kB
Writeback:           0 kB
Mapped:         723452 kB
Slab:            37440 kB
Committed_AS:  4578240 kB
PageTables:       3140 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= 66495 MiB



End job on node43 on Mon Jan  8 12:39:17 UTC 2007