Trace number 223790

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 ESACUNSAT 27.1719 27.7843

DiagnosticValue
CHECKS207196019
NODES155815

General information on the benchmark

Nametightness/tightness0.5/
rand-2-40-25-180-500-61_ext.xml
MD5SUM189074ce2eb910bea352f8b76cce4ad2
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark9.16661
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables40
Number of constraints180
Maximum constraint arity2
Maximum domain size25
Number of constraints which are defined in extension180
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.69	   
0.69	Abscon 109 (November, 2006)
0.69	   
0.69	   configuration
0.69	     name=esac.xml
0.76	   
0.76	   instance
0.76	     name=/tmp/evaluation/223790-1168266460/unknown.xml
0.80	   
0.80	   domains being loaded...
0.80	   
0.80	   variables being loaded...
0.85	     nbVariables=40  nbDomainTypes=1  minDomainSize=25  maxDomainSize=25
0.85	       =>  wckTime=0.149  cpuTime=0.09  mem=6M951
0.85	   
0.85	   relations being loaded...
0.94	   
0.94	   constraints being loaded...
1.04	     nbConstraints=180  nbRelationTypes=180  nbExtensionStructures=180  nbSharedExtensionStructures=0
1.04	     nbConflictsStructures=180  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=0  maxDegree=15  maxArity=2
1.04	       =>  wckTime=0.34  cpuTime=0.22  mem=13M827
1.07	   
1.07	   solver IterativeSystematicSolver being built... 
1.23	       =>  wckTime=0.531  cpuTime=0.35  mem=14M840
1.28	   
1.28	   preprocessing
1.28	     nbConstraintChecks=78816  nbPropagations=906  nbRevisions=5713  nbUselessRevisions=4391  nbSingletonTests=53
1.28	     nbEffectiveSingletonTests=0  nbESACBranches=7  nbRemovedValues=0  detectedInconsistency=no
1.28	       =>  wckTime=0.046  cpuTime=0.03  mem=14M840
1.30	   
1.30	   search
1.30	     run=0  nbConstraintChecks=40884  nbPropagations=1479  nbRevisions=10290  nbUselessRevisions=7624  nbAssignments=30
1.30	     nbFailedAssignments=15  nbBacktracks=10  nbVisitedNodes=51  nbRestartNogoods=0  mapSize=8  nbInferences=0
1.30	     nbTooLargeKeys=0
1.30	       =>  wckTime=0.068  cpuTime=0.05  mem=14M840
1.32	   
1.32	   search
1.32	     run=1  nbConstraintChecks=97757  nbPropagations=3868  nbRevisions=27586  nbUselessRevisions=20138  nbAssignments=77
1.32	     nbFailedAssignments=40  nbBacktracks=27  nbVisitedNodes=135  nbRestartNogoods=3  mapSize=22  nbInferences=0
1.32	     nbTooLargeKeys=0
1.32	       =>  wckTime=0.088  cpuTime=0.07  mem=14M840
1.33	   
1.33	   search
1.33	     run=2  nbConstraintChecks=152737  nbPropagations=7055  nbRevisions=51280  nbUselessRevisions=37111
1.33	     nbAssignments=114  nbFailedAssignments=54  nbBacktracks=49  nbVisitedNodes=201  nbRestartNogoods=6  mapSize=40
1.33	     nbInferences=0  nbTooLargeKeys=0
1.33	       =>  wckTime=0.102  cpuTime=0.07  mem=14M840
1.35	   
1.35	   search
1.35	     run=3  nbConstraintChecks=256235  nbPropagations=12068  nbRevisions=89269  nbUselessRevisions=64057
1.35	     nbAssignments=193  nbFailedAssignments=93  nbBacktracks=82  nbVisitedNodes=342  nbRestartNogoods=7  mapSize=67
1.35	     nbInferences=0  nbTooLargeKeys=0
1.35	       =>  wckTime=0.121  cpuTime=0.09  mem=14M840
1.38	   
1.38	   search
1.38	     run=4  nbConstraintChecks=397635  nbPropagations=19228  nbRevisions=143978  nbUselessRevisions=102828
1.38	     nbAssignments=300  nbFailedAssignments=134  nbBacktracks=132  nbVisitedNodes=506  nbRestartNogoods=13  mapSize=107
1.38	     nbInferences=0  nbTooLargeKeys=0
1.38	       =>  wckTime=0.146  cpuTime=0.12  mem=14M840
1.41	   
1.41	   search
1.41	     run=5  nbConstraintChecks=590417  nbPropagations=29913  nbRevisions=226112  nbUselessRevisions=160845
1.41	     nbAssignments=447  nbFailedAssignments=202  nbBacktracks=207  nbVisitedNodes=775  nbRestartNogoods=17  mapSize=174
1.41	     nbInferences=0  nbTooLargeKeys=0
1.41	       =>  wckTime=0.178  cpuTime=0.15  mem=14M840
1.45	   
1.45	   search
1.45	     run=6  nbConstraintChecks=860070  nbPropagations=44870  nbRevisions=341667  nbUselessRevisions=241606
1.45	     nbAssignments=640  nbFailedAssignments=278  nbBacktracks=321  nbVisitedNodes=1106  nbRestartNogoods=20  mapSize=264
1.45	     nbInferences=0  nbTooLargeKeys=0
1.45	       =>  wckTime=0.22  cpuTime=0.19  mem=14M840
1.53	   
1.53	   search
1.53	     run=7  nbConstraintChecks=1381787  nbPropagations=68246  nbRevisions=525882  nbUselessRevisions=369642
1.53	     nbAssignments=1015  nbFailedAssignments=478  nbBacktracks=492  nbVisitedNodes=1809  nbRestartNogoods=23
1.53	     mapSize=421  nbInferences=0  nbTooLargeKeys=0
1.53	       =>  wckTime=0.3  cpuTime=0.26  mem=14M840
1.62	   
1.62	   search
1.62	     run=8  nbConstraintChecks=1950461  nbPropagations=101115  nbRevisions=783697  nbUselessRevisions=548416
1.62	     nbAssignments=1463  nbFailedAssignments=665  nbBacktracks=749  nbVisitedNodes=2588  nbRestartNogoods=27
1.62	     mapSize=631  nbInferences=0  nbTooLargeKeys=0
1.62	       =>  wckTime=0.391  cpuTime=0.34  mem=14M840
1.78	   
1.78	   search
1.78	     run=9  nbConstraintChecks=2997181  nbPropagations=151079  nbRevisions=1178303  nbUselessRevisions=821135
1.78	     nbAssignments=2230  nbFailedAssignments=1045  nbBacktracks=1133  nbVisitedNodes=3972  nbRestartNogoods=33
1.78	     mapSize=959  nbInferences=0  nbTooLargeKeys=0
1.78	       =>  wckTime=0.547  cpuTime=0.49  mem=14M840
1.80	   
1.80	   INFO : Stopping hyperNogood (mapSize=1012, nbTooLargekeys=0, mem=14M840)
1.99	   
1.99	   search
1.99	     run=10  nbConstraintChecks=4565442  nbPropagations=226409  nbRevisions=1777719  nbUselessRevisions=1235855
1.99	     nbAssignments=3415  nbFailedAssignments=1648  nbBacktracks=1709  nbVisitedNodes=6126  nbRestartNogoods=37
1.99	       =>  wckTime=0.763  cpuTime=0.69  mem=14M840
2.24	   
2.24	   search
2.24	     run=11  nbConstraintChecks=6539261  nbPropagations=334370  nbRevisions=2626790  nbUselessRevisions=1821787
2.24	     nbAssignments=4912  nbFailedAssignments=2276  nbBacktracks=2573  nbVisitedNodes=8734  nbRestartNogoods=45
2.24	       =>  wckTime=1.011  cpuTime=0.94  mem=14M840
2.65	   
2.65	   search
2.65	     run=12  nbConstraintChecks=9954391  nbPropagations=494233  nbRevisions=3885476  nbUselessRevisions=2686373
2.65	     nbAssignments=7282  nbFailedAssignments=3343  nbBacktracks=3871  nbVisitedNodes=12939  nbRestartNogoods=55
2.65	       =>  wckTime=1.422  cpuTime=1.35  mem=14M840
3.22	   
3.22	   search
3.22	     run=13  nbConstraintChecks=14306796  nbPropagations=730223  nbRevisions=5733962  nbUselessRevisions=3959375
3.22	     nbAssignments=10827  nbFailedAssignments=4936  nbBacktracks=5818  nbVisitedNodes=19250  nbRestartNogoods=66
3.22	       =>  wckTime=1.987  cpuTime=1.91  mem=15M815
4.27	   
4.27	   search
4.27	     run=14  nbConstraintChecks=22843034  nbPropagations=1100128  nbRevisions=8691769  nbUselessRevisions=5999955
4.27	     nbAssignments=16740  nbFailedAssignments=7925  nbBacktracks=8738  nbVisitedNodes=30131  nbRestartNogoods=71
4.27	       =>  wckTime=3.044  cpuTime=2.95  mem=15M815
5.57	   
5.57	   search
5.57	     run=15  nbConstraintChecks=33167417  nbPropagations=1641526  nbRevisions=13009735  nbUselessRevisions=8981909
5.57	     nbAssignments=24640  nbFailedAssignments=11440  nbBacktracks=13119  nbVisitedNodes=44193  nbRestartNogoods=84
5.57	       =>  wckTime=4.345  cpuTime=4.25  mem=15M815
7.69	   
7.69	   search
7.69	     run=16  nbConstraintChecks=50662016  nbPropagations=2449298  nbRevisions=19454656  nbUselessRevisions=13417240
7.69	     nbAssignments=36625  nbFailedAssignments=16852  nbBacktracks=19688  nbVisitedNodes=65488  nbRestartNogoods=92
7.69	       =>  wckTime=6.46  cpuTime=6.35  mem=15M815
10.63	   
10.63	   search
10.63	     run=17  nbConstraintChecks=73699290  nbPropagations=3648165  nbRevisions=28961260  nbUselessRevisions=19967070
10.63	     nbAssignments=54341  nbFailedAssignments=24701  nbBacktracks=29541  nbVisitedNodes=96967  nbRestartNogoods=100
10.63	       =>  wckTime=9.397  cpuTime=9.28  mem=15M815
15.08	   
15.08	   search
15.08	     run=18  nbConstraintChecks=108215839  nbPropagations=5443015  nbRevisions=43228231  nbUselessRevisions=29832280
15.08	     nbAssignments=81770  nbFailedAssignments=37347  nbBacktracks=44319  nbVisitedNodes=146126  nbRestartNogoods=113
15.08	       =>  wckTime=13.852  cpuTime=13.71  mem=15M815
22.13	   
22.13	   search
22.13	     run=19  nbConstraintChecks=163383697  nbPropagations=8158573  nbRevisions=64869240  nbUselessRevisions=44808549
22.13	     nbAssignments=123429  nbFailedAssignments=56833  nbBacktracks=66487  nbVisitedNodes=221031  nbRestartNogoods=121
22.13	       =>  wckTime=20.9  cpuTime=20.7  mem=15M815
27.72	   
27.72	   search
27.72	     run=20  nbConstraintChecks=207117203  nbPropagations=11599125  nbRevisions=92393405  nbUselessRevisions=63873445
27.72	     nbAssignments=155815  nbFailedAssignments=72589  nbBacktracks=83118  nbVisitedNodes=279787  nbRestartNogoods=125
27.72	       =>  wckTime=26.492  cpuTime=26.26  mem=15M815
27.72	   
27.72	   global
27.72	     nbConstraintChecks=207196019  nbPropagations=11600031  nbRevisions=92399118  nbUselessRevisions=63877836
27.72	     nbRestartNogoods=125  solvingWckTime=26.494  solvingCpuTime=26.27  expiredTime=no  totalExploration=yes
27.72	     nbFoundSolutions=0  globalCpuTime=26.68
27.72	       =>  wckTime=27.028  cpuTime=26.62  mem=15M815
27.73	   
27.73	s UNSATISFIABLE
27.73	d NODES 155815
27.73	d CHECKS 207196019
27.73	   
27.73	   totalWckTime=27.109  totalCpuTime=26.68

Verifier Data (download as text)

No possible verification on an UNSAT instance

Watcher Data (download as text)

runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node24/watcher-223790-1168266460 -o ROOT/results/node24/solver-223790-1168266460 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/223790-1168266460/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.10 1.82 1.99 6/90 20617
/proc/meminfo: memFree=605240/2055920 swapFree=4192812/4192956
[pid=20615] ppid=20611 vsize=1784 CPUtime=0
/proc/20615/stat : 20615 (java) D 20611 20615 20463 0 -1 0 194 0 0 0 0 0 0 0 18 0 1 0 175041380 1826816 160 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099855350 0 0 17 1 0 0
/proc/20615/statm: 446 160 125 14 0 91 0

[startup+0.10491 s]
/proc/loadavg: 1.10 1.82 1.99 6/90 20617
/proc/meminfo: memFree=605240/2055920 swapFree=4192812/4192956
[pid=20615] ppid=20611 vsize=913068 CPUtime=0.08
/proc/20615/stat : 20615 (java) S 20611 20615 20463 0 -1 0 2861 0 1 0 7 1 0 0 19 0 8 0 175041380 934981632 2607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20615/statm: 228267 2607 1395 14 0 215168 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913068

[startup+0.512952 s]
/proc/loadavg: 1.10 1.82 1.99 6/90 20617
/proc/meminfo: memFree=605240/2055920 swapFree=4192812/4192956
[pid=20615] ppid=20611 vsize=915120 CPUtime=0.23
/proc/20615/stat : 20615 (java) D 20611 20615 20463 0 -1 0 4038 0 19 0 19 4 0 0 18 0 8 0 175041380 937082880 3802 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4151974723 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20615/statm: 228780 3802 1836 14 0 215275 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 915120

[startup+1.33404 s]
/proc/loadavg: 1.10 1.82 1.99 3/101 20628
/proc/meminfo: memFree=559008/2055920 swapFree=4192812/4192956
[pid=20615] ppid=20611 vsize=915452 CPUtime=0.91
/proc/20615/stat : 20615 (java) R 20611 20615 20463 0 -1 0 8626 0 23 0 83 8 0 0 21 0 8 0 175041380 937422848 8386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073788953 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20615/statm: 228863 8386 2524 14 0 215333 0
[pid=20615/tid=20618] ppid=20611 vsize=915452 CPUtime=0.02
/proc/20615/task/20618/stat : 20618 (java) S 20611 20615 20463 0 -1 64 244 0 0 0 2 0 0 0 17 0 8 0 175041384 937422848 8386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20615/tid=20619] ppid=20611 vsize=915452 CPUtime=0
/proc/20615/task/20619/stat : 20619 (java) S 20611 20615 20463 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175041385 937422848 8386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20615/tid=20620] ppid=20611 vsize=915452 CPUtime=0
/proc/20615/task/20620/stat : 20620 (java) S 20611 20615 20463 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 175041385 937422848 8386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20615/tid=20625] ppid=20611 vsize=915452 CPUtime=0
/proc/20615/task/20625/stat : 20625 (java) S 20611 20615 20463 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 175041388 937422848 8386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20615/tid=20626] ppid=20611 vsize=915452 CPUtime=0.17
/proc/20615/task/20626/stat : 20626 (java) S 20611 20615 20463 0 -1 64 369 0 0 0 16 1 0 0 15 0 8 0 175041388 937422848 8386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20615/tid=20627] ppid=20611 vsize=915452 CPUtime=0
/proc/20615/task/20627/stat : 20627 (java) S 20611 20615 20463 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 175041388 937422848 8386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20615/tid=20628] ppid=20611 vsize=915452 CPUtime=0
/proc/20615/task/20628/stat : 20628 (java) S 20611 20615 20463 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 175041388 937422848 8386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.91
Current children cumulated vsize (KiB) 915452

[startup+2.97121 s]
/proc/loadavg: 1.10 1.82 1.99 3/101 20628
/proc/meminfo: memFree=557920/2055920 swapFree=4192812/4192956
[pid=20615] ppid=20611 vsize=915452 CPUtime=2.55
/proc/20615/stat : 20615 (java) R 20611 20615 20463 0 -1 0 8708 0 23 0 246 9 0 0 25 0 8 0 175041380 937422848 8467 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073801803 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20615/statm: 228863 8467 2524 14 0 215333 0
[pid=20615/tid=20618] ppid=20611 vsize=915452 CPUtime=0.02
/proc/20615/task/20618/stat : 20618 (java) S 20611 20615 20463 0 -1 64 244 0 0 0 2 0 0 0 17 0 8 0 175041384 937422848 8467 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20615/tid=20619] ppid=20611 vsize=915452 CPUtime=0
/proc/20615/task/20619/stat : 20619 (java) S 20611 20615 20463 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175041385 937422848 8467 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20615/tid=20620] ppid=20611 vsize=915452 CPUtime=0
/proc/20615/task/20620/stat : 20620 (java) S 20611 20615 20463 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 175041385 937422848 8467 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20615/tid=20625] ppid=20611 vsize=915452 CPUtime=0
/proc/20615/task/20625/stat : 20625 (java) S 20611 20615 20463 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 175041388 937422848 8467 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20615/tid=20626] ppid=20611 vsize=915452 CPUtime=0.21
/proc/20615/task/20626/stat : 20626 (java) S 20611 20615 20463 0 -1 64 389 0 0 0 20 1 0 0 15 0 8 0 175041388 937422848 8467 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20615/tid=20627] ppid=20611 vsize=915452 CPUtime=0
/proc/20615/task/20627/stat : 20627 (java) S 20611 20615 20463 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 175041388 937422848 8467 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20615/tid=20628] ppid=20611 vsize=915452 CPUtime=0
/proc/20615/task/20628/stat : 20628 (java) S 20611 20615 20463 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 175041388 937422848 8467 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.55
Current children cumulated vsize (KiB) 915452

[startup+6.26856 s]
/proc/loadavg: 1.17 1.82 1.99 3/101 20628
/proc/meminfo: memFree=557792/2055920 swapFree=4192812/4192956
[pid=20615] ppid=20611 vsize=915452 CPUtime=5.82
/proc/20615/stat : 20615 (java) R 20611 20615 20463 0 -1 0 8717 0 23 0 573 9 0 0 25 0 8 0 175041380 937422848 8475 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073781494 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20615/statm: 228863 8475 2524 14 0 215333 0
[pid=20615/tid=20618] ppid=20611 vsize=915452 CPUtime=0.02
/proc/20615/task/20618/stat : 20618 (java) S 20611 20615 20463 0 -1 64 244 0 0 0 2 0 0 0 16 0 8 0 175041384 937422848 8475 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20615/tid=20619] ppid=20611 vsize=915452 CPUtime=0
/proc/20615/task/20619/stat : 20619 (java) S 20611 20615 20463 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175041385 937422848 8475 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20615/tid=20620] ppid=20611 vsize=915452 CPUtime=0
/proc/20615/task/20620/stat : 20620 (java) S 20611 20615 20463 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 175041385 937422848 8475 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20615/tid=20625] ppid=20611 vsize=915452 CPUtime=0
/proc/20615/task/20625/stat : 20625 (java) S 20611 20615 20463 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 175041388 937422848 8475 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20615/tid=20626] ppid=20611 vsize=915452 CPUtime=0.21
/proc/20615/task/20626/stat : 20626 (java) S 20611 20615 20463 0 -1 64 389 0 0 0 20 1 0 0 16 0 8 0 175041388 937422848 8475 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20615/tid=20627] ppid=20611 vsize=915452 CPUtime=0
/proc/20615/task/20627/stat : 20627 (java) S 20611 20615 20463 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 175041388 937422848 8475 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20615/tid=20628] ppid=20611 vsize=915452 CPUtime=0
/proc/20615/task/20628/stat : 20628 (java) S 20611 20615 20463 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 175041388 937422848 8475 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.82
Current children cumulated vsize (KiB) 915452

[startup+12.7402 s]
/proc/loadavg: 1.24 1.82 1.99 4/101 20628
/proc/meminfo: memFree=557816/2055920 swapFree=4192812/4192956
[pid=20615] ppid=20611 vsize=915452 CPUtime=12.26
/proc/20615/stat : 20615 (java) R 20611 20615 20463 0 -1 0 8722 0 23 0 1217 9 0 0 25 0 8 0 175041380 937422848 8480 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073780637 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20615/statm: 228863 8480 2524 14 0 215333 0
[pid=20615/tid=20618] ppid=20611 vsize=915452 CPUtime=0.02
/proc/20615/task/20618/stat : 20618 (java) S 20611 20615 20463 0 -1 64 244 0 0 0 2 0 0 0 16 0 8 0 175041384 937422848 8480 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20615/tid=20619] ppid=20611 vsize=915452 CPUtime=0
/proc/20615/task/20619/stat : 20619 (java) S 20611 20615 20463 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175041385 937422848 8480 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20615/tid=20620] ppid=20611 vsize=915452 CPUtime=0
/proc/20615/task/20620/stat : 20620 (java) S 20611 20615 20463 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 175041385 937422848 8480 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20615/tid=20625] ppid=20611 vsize=915452 CPUtime=0
/proc/20615/task/20625/stat : 20625 (java) S 20611 20615 20463 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 175041388 937422848 8480 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20615/tid=20626] ppid=20611 vsize=915452 CPUtime=0.21
/proc/20615/task/20626/stat : 20626 (java) S 20611 20615 20463 0 -1 64 389 0 0 0 20 1 0 0 16 0 8 0 175041388 937422848 8480 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20615/tid=20627] ppid=20611 vsize=915452 CPUtime=0
/proc/20615/task/20627/stat : 20627 (java) S 20611 20615 20463 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 175041388 937422848 8480 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20615/tid=20628] ppid=20611 vsize=915452 CPUtime=0
/proc/20615/task/20628/stat : 20628 (java) S 20611 20615 20463 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 175041388 937422848 8480 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.26
Current children cumulated vsize (KiB) 915452

[startup+25.6126 s]
/proc/loadavg: 1.41 1.83 1.99 3/101 20628
/proc/meminfo: memFree=557880/2055920 swapFree=4192812/4192956
[pid=20615] ppid=20611 vsize=915452 CPUtime=25.05
/proc/20615/stat : 20615 (java) R 20611 20615 20463 0 -1 0 8728 0 23 0 2496 9 0 0 25 0 8 0 175041380 937422848 8486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073781414 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20615/statm: 228863 8486 2524 14 0 215333 0
[pid=20615/tid=20618] ppid=20611 vsize=915452 CPUtime=0.02
/proc/20615/task/20618/stat : 20618 (java) S 20611 20615 20463 0 -1 64 244 0 0 0 2 0 0 0 16 0 8 0 175041384 937422848 8486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20615/tid=20619] ppid=20611 vsize=915452 CPUtime=0
/proc/20615/task/20619/stat : 20619 (java) S 20611 20615 20463 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175041385 937422848 8486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20615/tid=20620] ppid=20611 vsize=915452 CPUtime=0
/proc/20615/task/20620/stat : 20620 (java) S 20611 20615 20463 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 175041385 937422848 8486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20615/tid=20625] ppid=20611 vsize=915452 CPUtime=0
/proc/20615/task/20625/stat : 20625 (java) S 20611 20615 20463 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 175041388 937422848 8486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20615/tid=20626] ppid=20611 vsize=915452 CPUtime=0.21
/proc/20615/task/20626/stat : 20626 (java) S 20611 20615 20463 0 -1 64 390 0 0 0 20 1 0 0 16 0 8 0 175041388 937422848 8486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20615/tid=20627] ppid=20611 vsize=915452 CPUtime=0
/proc/20615/task/20627/stat : 20627 (java) S 20611 20615 20463 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 175041388 937422848 8486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20615/tid=20628] ppid=20611 vsize=915452 CPUtime=0
/proc/20615/task/20628/stat : 20628 (java) S 20611 20615 20463 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 175041388 937422848 8486 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.05
Current children cumulated vsize (KiB) 915452

Child status: 0
Real time (s): 27.7843
CPU time (s): 27.1719
CPU user time (s): 27.0689
CPU system time (s): 0.102984
CPU usage (%): 97.7956
Max. virtual memory (cumulated for all children) (KiB): 915452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 27.0689
system time used= 0.102984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8819
page faults= 23
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1687
involuntary context switches= 1893

runsolver used 0.033994 s user time and 0.101984 s system time

The end

Launcher Data (download as text)

Begin job on node24 on Mon Jan  8 14:27:41 UTC 2007


IDJOB= 223790
IDBENCH= 5679
FILE ID= node24/223790-1168266460

PBS_JOBID= 3482857

Free space on /tmp= 66476 MiB

BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.5/rand-2-40-25-180-500-61_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/223790-1168266460/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node24/watcher-223790-1168266460 -o ROOT/results/node24/solver-223790-1168266460 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/223790-1168266460/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  189074ce2eb910bea352f8b76cce4ad2

RANDOM SEED= 606744934

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.234
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.234
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:        610480 kB
Buffers:          4728 kB
Cached:        1330928 kB
SwapCached:          0 kB
Active:         786168 kB
Inactive:       607684 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        610480 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2712 kB
Writeback:           0 kB
Mapped:          79128 kB
Slab:            36248 kB
Committed_AS:  3728188 kB
PageTables:       2356 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= 66476 MiB



End job on node24 on Mon Jan  8 14:28:09 UTC 2007