Trace number 224008

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 19.75 20.1552

DiagnosticValue
CHECKS137138630
NODES122012

General information on the benchmark

Nametightness/tightness0.5/
rand-2-40-25-180-500-5_ext.xml
MD5SUMe87527d3d9cb650583ee9e0c941502a5
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark10.9663
SatisfiableYES
(Un)Satisfiability was provedYES
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.72	   
0.72	Abscon 109 (November, 2006)
0.72	   
0.72	   configuration
0.72	     name=esac.xml
0.77	   
0.77	   instance
0.77	     name=/tmp/evaluation/224008-1168267516/unknown.xml
0.80	   
0.80	   domains being loaded...
0.80	   
0.80	   variables being loaded...
0.84	     nbVariables=40  nbDomainTypes=1  minDomainSize=25  maxDomainSize=25
0.84	       =>  wckTime=0.106  cpuTime=0.09  mem=6M951
0.84	   
0.84	   relations being loaded...
0.93	   
0.93	   constraints being loaded...
1.03	     nbConstraints=180  nbRelationTypes=180  nbExtensionStructures=180  nbSharedExtensionStructures=0
1.03	     nbConflictsStructures=180  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=2  maxDegree=15  maxArity=2
1.03	       =>  wckTime=0.299  cpuTime=0.23  mem=13M942
1.07	   
1.07	   solver IterativeSystematicSolver being built... 
1.22	       =>  wckTime=0.488  cpuTime=0.35  mem=14M839
1.27	   
1.27	   preprocessing
1.27	     nbConstraintChecks=67336  nbPropagations=727  nbRevisions=4372  nbUselessRevisions=3328  nbSingletonTests=47
1.27	     nbEffectiveSingletonTests=0  nbESACBranches=7  nbRemovedValues=0  detectedInconsistency=no
1.27	       =>  wckTime=0.044  cpuTime=0.03  mem=14M839
1.29	   
1.29	   search
1.29	     run=0  nbConstraintChecks=29763  nbPropagations=1284  nbRevisions=8390  nbUselessRevisions=6130  nbAssignments=31
1.29	     nbFailedAssignments=12  nbBacktracks=12  nbVisitedNodes=49  nbRestartNogoods=0  mapSize=7  nbInferences=0
1.29	     nbTooLargeKeys=0
1.29	       =>  wckTime=0.065  cpuTime=0.04  mem=14M839
1.30	   
1.30	   search
1.30	     run=1  nbConstraintChecks=72960  nbPropagations=3409  nbRevisions=22851  nbUselessRevisions=16582  nbAssignments=75
1.30	     nbFailedAssignments=29  nbBacktracks=28  nbVisitedNodes=120  nbRestartNogoods=1  mapSize=19  nbInferences=0
1.30	     nbTooLargeKeys=0
1.30	       =>  wckTime=0.082  cpuTime=0.06  mem=14M839
1.32	   
1.32	   search
1.32	     run=2  nbConstraintChecks=138331  nbPropagations=6731  nbRevisions=46388  nbUselessRevisions=33369
1.32	     nbAssignments=128  nbFailedAssignments=52  nbBacktracks=50  nbVisitedNodes=212  nbRestartNogoods=3  mapSize=41
1.32	     nbInferences=0  nbTooLargeKeys=0
1.32	       =>  wckTime=0.101  cpuTime=0.07  mem=14M839
1.35	   
1.35	   search
1.35	     run=3  nbConstraintChecks=274818  nbPropagations=12236  nbRevisions=86186  nbUselessRevisions=61912
1.35	     nbAssignments=237  nbFailedAssignments=90  nbBacktracks=85  nbVisitedNodes=349  nbRestartNogoods=8  mapSize=72
1.35	     nbInferences=0  nbTooLargeKeys=0
1.35	       =>  wckTime=0.123  cpuTime=0.09  mem=14M839
1.37	   
1.37	   search
1.37	     run=4  nbConstraintChecks=399613  nbPropagations=19849  nbRevisions=141988  nbUselessRevisions=101585
1.37	     nbAssignments=341  nbFailedAssignments=137  nbBacktracks=135  nbVisitedNodes=531  nbRestartNogoods=9  mapSize=115
1.37	     nbInferences=0  nbTooLargeKeys=0
1.37	       =>  wckTime=0.148  cpuTime=0.11  mem=14M839
1.40	   
1.40	   search
1.40	     run=5  nbConstraintChecks=581703  nbPropagations=30870  nbRevisions=224768  nbUselessRevisions=160043
1.40	     nbAssignments=514  nbFailedAssignments=228  nbBacktracks=210  nbVisitedNodes=842  nbRestartNogoods=14  mapSize=181
1.40	     nbInferences=0  nbTooLargeKeys=0
1.40	       =>  wckTime=0.18  cpuTime=0.14  mem=14M839
1.44	   
1.44	   search
1.44	     run=6  nbConstraintChecks=790189  nbPropagations=46032  nbRevisions=338100  nbUselessRevisions=239928
1.44	     nbAssignments=720  nbFailedAssignments=312  nbBacktracks=323  nbVisitedNodes=1202  nbRestartNogoods=18  mapSize=275
1.44	     nbInferences=0  nbTooLargeKeys=0
1.44	       =>  wckTime=0.218  cpuTime=0.18  mem=14M839
1.50	   
1.50	   search
1.50	     run=7  nbConstraintChecks=1137875  nbPropagations=67677  nbRevisions=501315  nbUselessRevisions=354876
1.50	     nbAssignments=1024  nbFailedAssignments=438  nbBacktracks=493  nbVisitedNodes=1732  nbRestartNogoods=23
1.50	     mapSize=419  nbInferences=0  nbTooLargeKeys=0
1.50	       =>  wckTime=0.276  cpuTime=0.24  mem=14M839
1.61	   
1.61	   search
1.61	     run=8  nbConstraintChecks=1745698  nbPropagations=100903  nbRevisions=753986  nbUselessRevisions=532066
1.61	     nbAssignments=1524  nbFailedAssignments=675  nbBacktracks=750  nbVisitedNodes=2635  nbRestartNogoods=32
1.61	     mapSize=648  nbInferences=0  nbTooLargeKeys=0
1.61	       =>  wckTime=0.384  cpuTime=0.33  mem=14M839
1.74	   
1.74	   search
1.74	     run=9  nbConstraintChecks=2544046  nbPropagations=149880  nbRevisions=1126163  nbUselessRevisions=792000
1.74	     nbAssignments=2267  nbFailedAssignments=1026  nbBacktracks=1134  nbVisitedNodes=3969  nbRestartNogoods=41
1.74	     mapSize=991  nbInferences=0  nbTooLargeKeys=0
1.74	       =>  wckTime=0.516  cpuTime=0.45  mem=14M839
1.75	   
1.75	   INFO : Stopping hyperNogood (mapSize=1005, nbTooLargekeys=0, mem=14M839)
1.90	   
1.90	   search
1.90	     run=10  nbConstraintChecks=3597067  nbPropagations=220442  nbRevisions=1658533  nbUselessRevisions=1163347
1.90	     nbAssignments=3284  nbFailedAssignments=1462  nbBacktracks=1711  nbVisitedNodes=5778  nbRestartNogoods=55
1.90	       =>  wckTime=0.678  cpuTime=0.61  mem=14M839
2.14	   
2.14	   search
2.14	     run=11  nbConstraintChecks=5360075  nbPropagations=323921  nbRevisions=2442914  nbUselessRevisions=1709411
2.14	     nbAssignments=4840  nbFailedAssignments=2151  nbBacktracks=2575  nbVisitedNodes=8520  nbRestartNogoods=62
2.14	       =>  wckTime=0.922  cpuTime=0.85  mem=14M839
2.53	   
2.53	   search
2.53	     run=12  nbConstraintChecks=8234029  nbPropagations=480128  nbRevisions=3635582  nbUselessRevisions=2537665
2.53	     nbAssignments=7250  nbFailedAssignments=3259  nbBacktracks=3873  nbVisitedNodes=12820  nbRestartNogoods=65
2.53	       =>  wckTime=1.309  cpuTime=1.23  mem=14M839
3.11	   
3.11	   search
3.11	     run=13  nbConstraintChecks=12639603  nbPropagations=714842  nbRevisions=5441665  nbUselessRevisions=3791136
3.11	     nbAssignments=10928  nbFailedAssignments=4986  nbBacktracks=5819  nbVisitedNodes=19355  nbRestartNogoods=71
3.11	       =>  wckTime=1.888  cpuTime=1.81  mem=14M839
3.91	   
3.91	   search
3.91	     run=14  nbConstraintChecks=18234742  nbPropagations=1064936  nbRevisions=8107056  nbUselessRevisions=5641918
3.91	     nbAssignments=16284  nbFailedAssignments=7415  nbBacktracks=8743  nbVisitedNodes=28917  nbRestartNogoods=79
3.91	       =>  wckTime=2.686  cpuTime=2.61  mem=15M814
5.18	   
5.18	   search
5.18	     run=15  nbConstraintChecks=27533217  nbPropagations=1589818  nbRevisions=12144763  nbUselessRevisions=8445478
5.18	     nbAssignments=24553  nbFailedAssignments=11299  nbBacktracks=13121  nbVisitedNodes=43679  nbRestartNogoods=87
5.18	       =>  wckTime=3.959  cpuTime=3.88  mem=15M814
6.97	   
6.97	   search
6.97	     run=16  nbConstraintChecks=40330684  nbPropagations=2371694  nbRevisions=18119703  nbUselessRevisions=12596434
6.97	     nbAssignments=36755  nbFailedAssignments=16926  nbBacktracks=19689  nbVisitedNodes=65520  nbRestartNogoods=100
6.97	       =>  wckTime=5.751  cpuTime=5.67  mem=15M814
9.83	   
9.83	   search
9.83	     run=17  nbConstraintChecks=61352535  nbPropagations=3546515  nbRevisions=27172758  nbUselessRevisions=18894726
9.83	     nbAssignments=54892  nbFailedAssignments=25205  nbBacktracks=29541  nbVisitedNodes=97861  nbRestartNogoods=109
9.83	       =>  wckTime=8.61  cpuTime=8.52  mem=15M814
14.13	   
14.13	   search
14.13	     run=18  nbConstraintChecks=92209308  nbPropagations=5332516  nbRevisions=40915530  nbUselessRevisions=28466192
14.13	     nbAssignments=83177  nbFailedAssignments=38704  nbBacktracks=44319  nbVisitedNodes=148817  nbRestartNogoods=123
14.13	       =>  wckTime=12.903  cpuTime=12.81  mem=15M814
20.12	   
20.12	   search
20.12	     run=19  nbConstraintChecks=137071294  nbPropagations=7949250  nbRevisions=61164861  nbUselessRevisions=42563537
20.12	     nbAssignments=122012  nbFailedAssignments=56826  nbBacktracks=64992  nbVisitedNodes=218144  nbRestartNogoods=132
20.12	       =>  wckTime=18.902  cpuTime=18.81  mem=15M814
20.13	   
20.13	   global
20.13	     nbConstraintChecks=137138630  nbPropagations=7949977  nbRevisions=61169233  nbUselessRevisions=42566865
20.13	     nbRestartNogoods=132  solvingWckTime=18.903  solvingCpuTime=18.82  expiredTime=no  totalExploration=no
20.13	     nbFoundSolutions=1  globalCpuTime=19.22
20.13	       =>  wckTime=19.395  cpuTime=19.17  mem=15M814
20.13	   
20.13	s SATISFIABLE
20.13	v 9 15 0 21 21 9 15 0 7 17 4 4 0 17 16 15 23 21 24 12 1 6 8 22 23 2 21 24 8 10 23 17 0 3 10 5 19 17 24 1 
20.13	d NODES 122012
20.13	d CHECKS 137138630
20.13	   
20.13	   totalWckTime=19.476  totalCpuTime=19.22

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/node20/watcher-224008-1168267516 -o ROOT/results/node20/solver-224008-1168267516 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/224008-1168267516/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.00 2.00 2.02 4/88 20556
/proc/meminfo: memFree=753104/2055920 swapFree=4170192/4192956
[pid=20555] ppid=20553 vsize=216 CPUtime=0
/proc/20555/stat : 20555 (java) D 20553 20555 20231 0 -1 0 46 0 0 0 0 0 0 0 18 0 1 0 175146150 221184 30 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 7619492 0 0 4096 0 18446744071563608240 0 0 17 0 0 0
/proc/20555/statm: 54 30 25 14 0 2 0

[startup+0.107432 s]
/proc/loadavg: 2.00 2.00 2.02 4/88 20556
/proc/meminfo: memFree=753104/2055920 swapFree=4170192/4192956
[pid=20555] ppid=20553 vsize=9948 CPUtime=0.01
/proc/20555/stat : 20555 (java) D 20553 20555 20231 0 -1 0 708 0 17 0 0 1 0 0 18 0 1 0 175146150 10186752 474 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 7368 18446744071563608240 0 0 17 0 0 0
/proc/20555/statm: 2487 474 388 14 0 1142 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9948

[startup+0.51548 s]
/proc/loadavg: 2.00 2.00 2.02 4/88 20556
/proc/meminfo: memFree=753104/2055920 swapFree=4170192/4192956
[pid=20555] ppid=20553 vsize=915120 CPUtime=0.25
/proc/20555/stat : 20555 (java) D 20553 20555 20231 0 -1 0 3770 0 61 0 16 9 0 0 19 0 8 0 175146150 937082880 3576 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4151974723 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20555/statm: 228780 3576 1751 14 0 215275 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 915120

[startup+1.33858 s]
/proc/loadavg: 2.00 2.00 2.02 3/95 20563
/proc/meminfo: memFree=707928/2055920 swapFree=4170192/4192956
[pid=20555] ppid=20553 vsize=915452 CPUtime=0.96
/proc/20555/stat : 20555 (java) R 20553 20555 20231 0 -1 0 8577 0 74 0 81 15 0 0 21 0 8 0 175146150 937422848 8388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073781525 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20555/statm: 228863 8388 2524 14 0 215333 0
[pid=20555/tid=20557] ppid=20553 vsize=915452 CPUtime=0.02
/proc/20555/task/20557/stat : 20557 (java) S 20553 20555 20231 0 -1 64 245 0 0 0 2 0 0 0 17 0 8 0 175146171 937422848 8388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20555/tid=20558] ppid=20553 vsize=915452 CPUtime=0
/proc/20555/task/20558/stat : 20558 (java) S 20553 20555 20231 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175146172 937422848 8388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20555/tid=20559] ppid=20553 vsize=915452 CPUtime=0
/proc/20555/task/20559/stat : 20559 (java) S 20553 20555 20231 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 175146172 937422848 8388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20555/tid=20560] ppid=20553 vsize=915452 CPUtime=0
/proc/20555/task/20560/stat : 20560 (java) S 20553 20555 20231 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 175146177 937422848 8388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20555/tid=20561] ppid=20553 vsize=915452 CPUtime=0.16
/proc/20555/task/20561/stat : 20561 (java) R 20553 20555 20231 0 -1 64 370 0 0 0 16 0 0 0 15 0 8 0 175146177 937422848 8388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153066206 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20555/tid=20562] ppid=20553 vsize=915452 CPUtime=0
/proc/20555/task/20562/stat : 20562 (java) S 20553 20555 20231 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 175146177 937422848 8388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20555/tid=20563] ppid=20553 vsize=915452 CPUtime=0
/proc/20555/task/20563/stat : 20563 (java) S 20553 20555 20231 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 175146177 937422848 8388 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.96
Current children cumulated vsize (KiB) 915452

[startup+2.99178 s]
/proc/loadavg: 2.00 2.00 2.02 3/95 20563
/proc/meminfo: memFree=707288/2055920 swapFree=4170192/4192956
[pid=20555] ppid=20553 vsize=915452 CPUtime=2.61
/proc/20555/stat : 20555 (java) R 20553 20555 20231 0 -1 0 8656 0 74 0 246 15 0 0 25 0 8 0 175146150 937422848 8466 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073781374 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20555/statm: 228863 8466 2524 14 0 215333 0
[pid=20555/tid=20557] ppid=20553 vsize=915452 CPUtime=0.02
/proc/20555/task/20557/stat : 20557 (java) S 20553 20555 20231 0 -1 64 245 0 0 0 2 0 0 0 17 0 8 0 175146171 937422848 8466 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20555/tid=20558] ppid=20553 vsize=915452 CPUtime=0
/proc/20555/task/20558/stat : 20558 (java) S 20553 20555 20231 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175146172 937422848 8466 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20555/tid=20559] ppid=20553 vsize=915452 CPUtime=0
/proc/20555/task/20559/stat : 20559 (java) S 20553 20555 20231 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 175146172 937422848 8466 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20555/tid=20560] ppid=20553 vsize=915452 CPUtime=0
/proc/20555/task/20560/stat : 20560 (java) S 20553 20555 20231 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 175146177 937422848 8466 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20555/tid=20561] ppid=20553 vsize=915452 CPUtime=0.21
/proc/20555/task/20561/stat : 20561 (java) S 20553 20555 20231 0 -1 64 388 0 0 0 20 1 0 0 16 0 8 0 175146177 937422848 8466 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20555/tid=20562] ppid=20553 vsize=915452 CPUtime=0
/proc/20555/task/20562/stat : 20562 (java) S 20553 20555 20231 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 175146177 937422848 8466 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20555/tid=20563] ppid=20553 vsize=915452 CPUtime=0
/proc/20555/task/20563/stat : 20563 (java) S 20553 20555 20231 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 175146177 937422848 8466 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.61
Current children cumulated vsize (KiB) 915452

[startup+6.28917 s]
/proc/loadavg: 2.00 2.00 2.02 3/95 20563
/proc/meminfo: memFree=707224/2055920 swapFree=4170192/4192956
[pid=20555] ppid=20553 vsize=915452 CPUtime=5.91
/proc/20555/stat : 20555 (java) R 20553 20555 20231 0 -1 0 8665 0 74 0 576 15 0 0 25 0 8 0 175146150 937422848 8474 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073779524 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20555/statm: 228863 8474 2524 14 0 215333 0
[pid=20555/tid=20557] ppid=20553 vsize=915452 CPUtime=0.02
/proc/20555/task/20557/stat : 20557 (java) S 20553 20555 20231 0 -1 64 245 0 0 0 2 0 0 0 16 0 8 0 175146171 937422848 8474 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20555/tid=20558] ppid=20553 vsize=915452 CPUtime=0
/proc/20555/task/20558/stat : 20558 (java) S 20553 20555 20231 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175146172 937422848 8474 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20555/tid=20559] ppid=20553 vsize=915452 CPUtime=0
/proc/20555/task/20559/stat : 20559 (java) S 20553 20555 20231 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 175146172 937422848 8474 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20555/tid=20560] ppid=20553 vsize=915452 CPUtime=0
/proc/20555/task/20560/stat : 20560 (java) S 20553 20555 20231 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 175146177 937422848 8474 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20555/tid=20561] ppid=20553 vsize=915452 CPUtime=0.21
/proc/20555/task/20561/stat : 20561 (java) S 20553 20555 20231 0 -1 64 389 0 0 0 20 1 0 0 16 0 8 0 175146177 937422848 8474 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20555/tid=20562] ppid=20553 vsize=915452 CPUtime=0
/proc/20555/task/20562/stat : 20562 (java) S 20553 20555 20231 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 175146177 937422848 8474 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20555/tid=20563] ppid=20553 vsize=915452 CPUtime=0
/proc/20555/task/20563/stat : 20563 (java) S 20553 20555 20231 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 175146177 937422848 8474 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.91
Current children cumulated vsize (KiB) 915452

[startup+12.7779 s]
/proc/loadavg: 2.00 2.00 2.02 3/95 20563
/proc/meminfo: memFree=707232/2055920 swapFree=4170192/4192956
[pid=20555] ppid=20553 vsize=915452 CPUtime=12.38
/proc/20555/stat : 20555 (java) R 20553 20555 20231 0 -1 0 8670 0 74 0 1223 15 0 0 25 0 8 0 175146150 937422848 8479 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073805911 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20555/statm: 228863 8479 2524 14 0 215333 0
[pid=20555/tid=20557] ppid=20553 vsize=915452 CPUtime=0.02
/proc/20555/task/20557/stat : 20557 (java) S 20553 20555 20231 0 -1 64 245 0 0 0 2 0 0 0 16 0 8 0 175146171 937422848 8479 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20555/tid=20558] ppid=20553 vsize=915452 CPUtime=0
/proc/20555/task/20558/stat : 20558 (java) S 20553 20555 20231 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175146172 937422848 8479 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20555/tid=20559] ppid=20553 vsize=915452 CPUtime=0
/proc/20555/task/20559/stat : 20559 (java) S 20553 20555 20231 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 175146172 937422848 8479 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20555/tid=20560] ppid=20553 vsize=915452 CPUtime=0
/proc/20555/task/20560/stat : 20560 (java) S 20553 20555 20231 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 175146177 937422848 8479 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20555/tid=20561] ppid=20553 vsize=915452 CPUtime=0.21
/proc/20555/task/20561/stat : 20561 (java) S 20553 20555 20231 0 -1 64 389 0 0 0 20 1 0 0 16 0 8 0 175146177 937422848 8479 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20555/tid=20562] ppid=20553 vsize=915452 CPUtime=0
/proc/20555/task/20562/stat : 20562 (java) S 20553 20555 20231 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 175146177 937422848 8479 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20555/tid=20563] ppid=20553 vsize=915452 CPUtime=0
/proc/20555/task/20563/stat : 20563 (java) S 20553 20555 20231 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 175146177 937422848 8479 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.38
Current children cumulated vsize (KiB) 915452

Child status: 0
Real time (s): 20.1552
CPU time (s): 19.75
CPU user time (s): 19.585
CPU system time (s): 0.164974
CPU usage (%): 97.9896
Max. virtual memory (cumulated for all children) (KiB): 915452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19.585
system time used= 0.164974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8764
page faults= 74
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1641
involuntary context switches= 2427

runsolver used 0.036994 s user time and 0.06199 s system time

The end

Launcher Data (download as text)

Begin job on node20 on Mon Jan  8 14:45:16 UTC 2007


IDJOB= 224008
IDBENCH= 5700
FILE ID= node20/224008-1168267516

PBS_JOBID= 3482849

Free space on /tmp= 66555 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  e87527d3d9cb650583ee9e0c941502a5

RANDOM SEED= 21867900

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.216
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.216
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:        753584 kB
Buffers:          4288 kB
Cached:        1213492 kB
SwapCached:       2684 kB
Active:         751204 kB
Inactive:       498756 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        753584 kB
SwapTotal:     4192956 kB
SwapFree:      4170192 kB
Dirty:            1984 kB
Writeback:           0 kB
Mapped:          49120 kB
Slab:            36980 kB
Committed_AS:  3629368 kB
PageTables:       2408 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= 66555 MiB



End job on node20 on Mon Jan  8 14:45:36 UTC 2007