Trace number 217277

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 73.2869 73.6359

DiagnosticValue
CHECKS536947976
NODES311555

General information on the benchmark

Namefrb/frb50-23/
frb50-23-4-mgd_ext.xml
MD5SUM655c2ff3e51b845ad55fdd644d9c23b1
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 benchmark36.0435
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables50
Number of constraints435
Maximum constraint arity2
Maximum domain size23
Number of constraints which are defined in extension435
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.56	   
0.56	Abscon 109 (November, 2006)
0.56	   
0.56	   configuration
0.56	     name=esac.xml
0.63	   
0.63	   instance
0.63	     name=/tmp/evaluation/217277-1168245258/unknown.xml
0.66	   
0.66	   domains being loaded...
0.66	   
0.66	   variables being loaded...
0.70	     nbVariables=50  nbDomainTypes=1  minDomainSize=23  maxDomainSize=23
0.70	       =>  wckTime=0.122  cpuTime=0.08  mem=6M951
0.70	   
0.70	   relations being loaded...
0.84	   
0.84	   constraints being loaded...
0.97	     nbConstraints=435  nbRelationTypes=435  nbExtensionStructures=435  nbSharedExtensionStructures=0
0.97	     nbConflictsStructures=435  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=1349  maxDegree=23
0.97	     maxArity=2
0.97	       =>  wckTime=0.388  cpuTime=0.28  mem=16M836
1.01	   
1.01	   solver IterativeSystematicSolver being built... 
1.16	       =>  wckTime=0.584  cpuTime=0.41  mem=15M533
1.22	   
1.22	   preprocessing
1.22	     nbConstraintChecks=108972  nbPropagations=1183  nbRevisions=9515  nbUselessRevisions=7856  nbSingletonTests=60
1.22	     nbEffectiveSingletonTests=0  nbESACBranches=6  nbRemovedValues=0  detectedInconsistency=no
1.22	       =>  wckTime=0.057  cpuTime=0.03  mem=15M533
1.25	   
1.25	   search
1.25	     run=0  nbConstraintChecks=49118  nbPropagations=1789  nbRevisions=16951  nbUselessRevisions=13944  nbAssignments=33
1.25	     nbFailedAssignments=8  nbBacktracks=15  nbVisitedNodes=50  nbRestartNogoods=0  mapSize=11  nbInferences=0
1.25	     nbTooLargeKeys=0
1.25	       =>  wckTime=0.086  cpuTime=0.06  mem=15M533
1.27	   
1.27	   search
1.27	     run=1  nbConstraintChecks=125798  nbPropagations=4388  nbRevisions=43816  nbUselessRevisions=35782
1.27	     nbAssignments=75  nbFailedAssignments=21  nbBacktracks=34  nbVisitedNodes=114  nbRestartNogoods=2  mapSize=26
1.27	     nbInferences=0  nbTooLargeKeys=0
1.27	       =>  wckTime=0.108  cpuTime=0.07  mem=15M533
1.29	   
1.29	   search
1.29	     run=2  nbConstraintChecks=233729  nbPropagations=8132  nbRevisions=84412  nbUselessRevisions=68709
1.29	     nbAssignments=132  nbFailedAssignments=33  nbBacktracks=57  nbVisitedNodes=180  nbRestartNogoods=6  mapSize=44
1.29	     nbInferences=0  nbTooLargeKeys=0
1.29	       =>  wckTime=0.125  cpuTime=0.09  mem=15M533
1.31	   
1.31	   search
1.31	     run=3  nbConstraintChecks=329538  nbPropagations=12995  nbRevisions=139735  nbUselessRevisions=113692
1.31	     nbAssignments=193  nbFailedAssignments=51  nbBacktracks=92  nbVisitedNodes=277  nbRestartNogoods=7  mapSize=69
1.31	     nbInferences=0  nbTooLargeKeys=0
1.31	       =>  wckTime=0.143  cpuTime=0.11  mem=15M533
1.33	   
1.33	   search
1.33	     run=4  nbConstraintChecks=464978  nbPropagations=19473  nbRevisions=216061  nbUselessRevisions=175616
1.33	     nbAssignments=274  nbFailedAssignments=73  nbBacktracks=144  nbVisitedNodes=406  nbRestartNogoods=10  mapSize=105
1.33	     nbInferences=0  nbTooLargeKeys=0
1.33	       =>  wckTime=0.167  cpuTime=0.13  mem=15M533
1.37	   
1.37	   search
1.37	     run=5  nbConstraintChecks=669702  nbPropagations=28484  nbRevisions=327914  nbUselessRevisions=266644
1.37	     nbAssignments=405  nbFailedAssignments=120  nbBacktracks=219  nbVisitedNodes=623  nbRestartNogoods=12  mapSize=164
1.37	     nbInferences=0  nbTooLargeKeys=0
1.37	       =>  wckTime=0.207  cpuTime=0.17  mem=15M533
1.42	   
1.42	   search
1.42	     run=6  nbConstraintChecks=1022746  nbPropagations=41341  nbRevisions=491122  nbUselessRevisions=398493
1.42	     nbAssignments=594  nbFailedAssignments=186  nbBacktracks=332  nbVisitedNodes=939  nbRestartNogoods=15  mapSize=256
1.42	     nbInferences=0  nbTooLargeKeys=0
1.42	       =>  wckTime=0.261  cpuTime=0.22  mem=15M533
1.51	   
1.51	   search
1.51	     run=7  nbConstraintChecks=1546778  nbPropagations=60054  nbRevisions=739411  nbUselessRevisions=599225
1.51	     nbAssignments=883  nbFailedAssignments=297  nbBacktracks=502  nbVisitedNodes=1432  nbRestartNogoods=20  mapSize=395
1.51	     nbInferences=0  nbTooLargeKeys=0
1.51	       =>  wckTime=0.342  cpuTime=0.3  mem=15M533
1.61	   
1.61	   search
1.61	     run=8  nbConstraintChecks=2154338  nbPropagations=86338  nbRevisions=1093088  nbUselessRevisions=885199
1.61	     nbAssignments=1274  nbFailedAssignments=422  nbBacktracks=759  nbVisitedNodes=2071  nbRestartNogoods=24
1.61	     mapSize=581  nbInferences=0  nbTooLargeKeys=0
1.61	       =>  wckTime=0.447  cpuTime=0.4  mem=15M533
1.79	   
1.79	   search
1.79	     run=9  nbConstraintChecks=3264709  nbPropagations=124666  nbRevisions=1621491  nbUselessRevisions=1310676
1.79	     nbAssignments=1886  nbFailedAssignments=639  nbBacktracks=1145  nbVisitedNodes=3111  nbRestartNogoods=32
1.79	     mapSize=877  nbInferences=0  nbTooLargeKeys=0
1.79	       =>  wckTime=0.622  cpuTime=0.56  mem=15M533
1.86	   
1.86	   INFO : Stopping hyperNogood (mapSize=1006, nbTooLargekeys=0, mem=15M533)
2.03	   
2.03	   search
2.03	     run=10  nbConstraintChecks=4971089  nbPropagations=182228  nbRevisions=2421173  nbUselessRevisions=1953137
2.03	     nbAssignments=2833  nbFailedAssignments=1001  nbBacktracks=1721  nbVisitedNodes=4719  nbRestartNogoods=36
2.03	       =>  wckTime=0.868  cpuTime=0.8  mem=15M533
2.39	   
2.39	   search
2.39	     run=11  nbConstraintChecks=7518507  nbPropagations=269994  nbRevisions=3668570  nbUselessRevisions=2958208
2.39	     nbAssignments=4350  nbFailedAssignments=1610  nbBacktracks=2590  nbVisitedNodes=7300  nbRestartNogoods=44
2.39	       =>  wckTime=1.223  cpuTime=1.15  mem=15M533
2.89	   
2.89	   search
2.89	     run=12  nbConstraintChecks=11322434  nbPropagations=400019  nbRevisions=5541236  nbUselessRevisions=4466563
2.89	     nbAssignments=6459  nbFailedAssignments=2416  nbBacktracks=3887  nbVisitedNodes=10914  nbRestartNogoods=49
2.89	       =>  wckTime=1.729  cpuTime=1.65  mem=15M533
3.68	   
3.68	   search
3.68	     run=13  nbConstraintChecks=17165239  nbPropagations=598413  nbRevisions=8416109  nbUselessRevisions=6786263
3.68	     nbAssignments=9818  nbFailedAssignments=3817  nbBacktracks=5837  nbVisitedNodes=16772  nbRestartNogoods=53
3.68	       =>  wckTime=2.521  cpuTime=2.45  mem=15M533
4.88	   
4.88	   search
4.88	     run=14  nbConstraintChecks=26171621  nbPropagations=896934  nbRevisions=12748556  nbUselessRevisions=10274170
4.88	     nbAssignments=14808  nbFailedAssignments=5879  nbBacktracks=8757  nbVisitedNodes=25413  nbRestartNogoods=62
4.88	       =>  wckTime=3.714  cpuTime=3.64  mem=16M508
6.58	   
6.58	   search
6.58	     run=15  nbConstraintChecks=38521508  nbPropagations=1341596  nbRevisions=19263444  nbUselessRevisions=15534757
6.58	     nbAssignments=22114  nbFailedAssignments=8800  nbBacktracks=13135  nbVisitedNodes=38009  nbRestartNogoods=69
6.58	       =>  wckTime=5.413  cpuTime=5.34  mem=16M508
9.03	   
9.03	   search
9.03	     run=16  nbConstraintChecks=57504114  nbPropagations=1994337  nbRevisions=28771842  nbUselessRevisions=23185988
9.03	     nbAssignments=32536  nbFailedAssignments=12644  nbBacktracks=19704  nbVisitedNodes=55607  nbRestartNogoods=74
9.03	       =>  wckTime=7.869  cpuTime=7.79  mem=16M508
12.72	   
12.72	   search
12.72	     run=17  nbConstraintChecks=84623947  nbPropagations=2970770  nbRevisions=42988357  nbUselessRevisions=34647937
12.72	     nbAssignments=48822  nbFailedAssignments=19056  nbBacktracks=29557  nbVisitedNodes=83571  nbRestartNogoods=84
12.72	       =>  wckTime=11.556  cpuTime=11.48  mem=16M508
18.38	   
18.38	   search
18.38	     run=18  nbConstraintChecks=127262719  nbPropagations=4427741  nbRevisions=64297079  nbUselessRevisions=51837724
18.38	     nbAssignments=72888  nbFailedAssignments=28333  nbBacktracks=44335  nbVisitedNodes=124803  nbRestartNogoods=98
18.38	       =>  wckTime=17.213  cpuTime=17.14  mem=16M508
26.81	   
26.81	   search
26.81	     run=19  nbConstraintChecks=189476720  nbPropagations=6610615  nbRevisions=96110020  nbUselessRevisions=77498204
26.81	     nbAssignments=108858  nbFailedAssignments=42126  nbBacktracks=66503  nbVisitedNodes=186446  nbRestartNogoods=108
26.81	       =>  wckTime=25.642  cpuTime=25.54  mem=16M508
38.69	   
38.69	   search
38.69	     run=20  nbConstraintChecks=275718263  nbPropagations=9835736  nbRevisions=143288646  nbUselessRevisions=115648651
38.69	     nbAssignments=162294  nbFailedAssignments=62284  nbBacktracks=99757  nbVisitedNodes=277817  nbRestartNogoods=123
38.69	       =>  wckTime=37.529  cpuTime=37.42  mem=16M508
58.43	   
58.43	   search
58.43	     run=21  nbConstraintChecks=428591549  nbPropagations=14722907  nbRevisions=214599254  nbUselessRevisions=173105108
58.43	     nbAssignments=243295  nbFailedAssignments=93399  nbBacktracks=149635  nbVisitedNodes=416775  nbRestartNogoods=138
58.43	       =>  wckTime=57.269  cpuTime=57.15  mem=16M508
73.59	   
73.59	   search
73.59	     run=22  nbConstraintChecks=536839004  nbPropagations=20943976  nbRevisions=305565354  nbUselessRevisions=246576807
73.59	     nbAssignments=311555  nbFailedAssignments=119557  nbBacktracks=191687  nbVisitedNodes=534037  nbRestartNogoods=151
73.59	       =>  wckTime=72.43  cpuTime=72.28  mem=16M508
73.59	   
73.59	   global
73.59	     nbConstraintChecks=536947976  nbPropagations=20945159  nbRevisions=305574869  nbUselessRevisions=246584663
73.60	     nbRestartNogoods=151  solvingWckTime=72.431  solvingCpuTime=72.28  expiredTime=no  totalExploration=no
73.60	     nbFoundSolutions=1  globalCpuTime=72.75
73.60	       =>  wckTime=73.018  cpuTime=72.69  mem=16M508
73.60	   
73.60	s SATISFIABLE
73.60	v 19 6 4 17 20 22 10 13 4 20 12 0 10 22 16 19 9 2 11 12 9 20 10 6 9 8 18 3 21 10 10 7 15 11 12 16 15 6 16 7 14 5 11 16 5 1 9 19 20 1 
73.60	d NODES 311555
73.60	d CHECKS 536947976
73.60	   
73.60	   totalWckTime=73.106  totalCpuTime=72.75

Verifier Data (download as text)

OK

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node47/watcher-217277-1168245258 -o ROOT/results/node47/solver-217277-1168245258 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/217277-1168245258/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.55 2.95 2.56 4/76 23702
/proc/meminfo: memFree=1932392/2055920 swapFree=4183952/4192956
[pid=23701] ppid=23699 vsize=18540 CPUtime=0
/proc/23701/stat : 23701 (runsolver) R 23699 23701 23480 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 172925062 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 208717540647 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/23701/statm: 4635 279 244 17 0 2626 0

[startup+0.10301 s]
/proc/loadavg: 2.55 2.95 2.56 4/76 23702
/proc/meminfo: memFree=1932392/2055920 swapFree=4183952/4192956
[pid=23701] ppid=23699 vsize=12008 CPUtime=0.01
/proc/23701/stat : 23701 (java) D 23699 23701 23480 0 -1 0 772 0 13 0 0 1 0 0 16 0 1 0 172925062 12296192 533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 10519332 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/23701/statm: 3002 533 440 14 0 1602 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12008

[startup+0.511047 s]
/proc/loadavg: 2.55 2.95 2.56 4/76 23702
/proc/meminfo: memFree=1932392/2055920 swapFree=4183952/4192956
[pid=23701] ppid=23699 vsize=915148 CPUtime=0.28
/proc/23701/stat : 23701 (java) R 23699 23701 23480 0 -1 0 4413 0 41 0 21 7 0 0 18 0 8 0 172925062 937111552 4199 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072924040 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23701/statm: 228787 4201 1937 14 0 215275 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 915148

[startup+1.33413 s]
/proc/loadavg: 2.59 2.96 2.56 3/83 23709
/proc/meminfo: memFree=1891632/2055920 swapFree=4183952/4192956
[pid=23701] ppid=23699 vsize=915460 CPUtime=1.08
/proc/23701/stat : 23701 (java) R 23699 23701 23480 0 -1 0 9520 0 48 0 96 12 0 0 22 0 8 0 172925062 937431040 9305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073802057 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23701/statm: 228865 9305 2524 14 0 215335 0
[pid=23701/tid=23703] ppid=23699 vsize=915460 CPUtime=0.03
/proc/23701/task/23703/stat : 23703 (java) S 23699 23701 23480 0 -1 64 395 0 0 0 3 0 0 0 17 0 8 0 172925075 937431040 9305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23701/tid=23704] ppid=23699 vsize=915460 CPUtime=0
/proc/23701/task/23704/stat : 23704 (java) S 23699 23701 23480 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 172925075 937431040 9305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23701/tid=23705] ppid=23699 vsize=915460 CPUtime=0
/proc/23701/task/23705/stat : 23705 (java) S 23699 23701 23480 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 172925075 937431040 9305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23701/tid=23706] ppid=23699 vsize=915460 CPUtime=0
/proc/23701/task/23706/stat : 23706 (java) S 23699 23701 23480 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 172925082 937431040 9305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23701/tid=23707] ppid=23699 vsize=915460 CPUtime=0.19
/proc/23701/task/23707/stat : 23707 (java) S 23699 23701 23480 0 -1 64 375 0 0 0 18 1 0 0 15 0 8 0 172925083 937431040 9305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23701/tid=23708] ppid=23699 vsize=915460 CPUtime=0
/proc/23701/task/23708/stat : 23708 (java) S 23699 23701 23480 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 172925083 937431040 9305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23701/tid=23709] ppid=23699 vsize=915460 CPUtime=0
/proc/23701/task/23709/stat : 23709 (java) S 23699 23701 23480 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 172925083 937431040 9305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.08
Current children cumulated vsize (KiB) 915460

[startup+2.98431 s]
/proc/loadavg: 2.59 2.96 2.56 3/83 23709
/proc/meminfo: memFree=1891376/2055920 swapFree=4183952/4192956
[pid=23701] ppid=23699 vsize=915460 CPUtime=2.72
/proc/23701/stat : 23701 (java) R 23699 23701 23480 0 -1 0 9542 0 48 0 260 12 0 0 25 0 8 0 172925062 937431040 9326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918514 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23701/statm: 228865 9326 2524 14 0 215335 0
[pid=23701/tid=23703] ppid=23699 vsize=915460 CPUtime=0.03
/proc/23701/task/23703/stat : 23703 (java) S 23699 23701 23480 0 -1 64 395 0 0 0 3 0 0 0 17 0 8 0 172925075 937431040 9326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23701/tid=23704] ppid=23699 vsize=915460 CPUtime=0
/proc/23701/task/23704/stat : 23704 (java) S 23699 23701 23480 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 172925075 937431040 9326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23701/tid=23705] ppid=23699 vsize=915460 CPUtime=0
/proc/23701/task/23705/stat : 23705 (java) S 23699 23701 23480 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 172925075 937431040 9326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23701/tid=23706] ppid=23699 vsize=915460 CPUtime=0
/proc/23701/task/23706/stat : 23706 (java) S 23699 23701 23480 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 172925082 937431040 9326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23701/tid=23707] ppid=23699 vsize=915460 CPUtime=0.22
/proc/23701/task/23707/stat : 23707 (java) S 23699 23701 23480 0 -1 64 394 0 0 0 21 1 0 0 15 0 8 0 172925083 937431040 9326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23701/tid=23708] ppid=23699 vsize=915460 CPUtime=0
/proc/23701/task/23708/stat : 23708 (java) S 23699 23701 23480 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 172925083 937431040 9326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23701/tid=23709] ppid=23699 vsize=915460 CPUtime=0
/proc/23701/task/23709/stat : 23709 (java) S 23699 23701 23480 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 172925083 937431040 9326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.72
Current children cumulated vsize (KiB) 915460

[startup+6.26366 s]
/proc/loadavg: 2.59 2.96 2.56 3/83 23709
/proc/meminfo: memFree=1891376/2055920 swapFree=4183952/4192956
[pid=23701] ppid=23699 vsize=915460 CPUtime=6
/proc/23701/stat : 23701 (java) R 23699 23701 23480 0 -1 0 9544 0 48 0 588 12 0 0 25 0 8 0 172925062 937431040 9327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073811129 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23701/statm: 228865 9327 2524 14 0 215335 0
[pid=23701/tid=23703] ppid=23699 vsize=915460 CPUtime=0.03
/proc/23701/task/23703/stat : 23703 (java) S 23699 23701 23480 0 -1 64 395 0 0 0 3 0 0 0 16 0 8 0 172925075 937431040 9327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23701/tid=23704] ppid=23699 vsize=915460 CPUtime=0
/proc/23701/task/23704/stat : 23704 (java) S 23699 23701 23480 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 172925075 937431040 9327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23701/tid=23705] ppid=23699 vsize=915460 CPUtime=0
/proc/23701/task/23705/stat : 23705 (java) S 23699 23701 23480 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 172925075 937431040 9327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23701/tid=23706] ppid=23699 vsize=915460 CPUtime=0
/proc/23701/task/23706/stat : 23706 (java) S 23699 23701 23480 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 172925082 937431040 9327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23701/tid=23707] ppid=23699 vsize=915460 CPUtime=0.22
/proc/23701/task/23707/stat : 23707 (java) S 23699 23701 23480 0 -1 64 394 0 0 0 21 1 0 0 16 0 8 0 172925083 937431040 9327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23701/tid=23708] ppid=23699 vsize=915460 CPUtime=0
/proc/23701/task/23708/stat : 23708 (java) S 23699 23701 23480 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 172925083 937431040 9327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23701/tid=23709] ppid=23699 vsize=915460 CPUtime=0
/proc/23701/task/23709/stat : 23709 (java) S 23699 23701 23480 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 172925083 937431040 9327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6
Current children cumulated vsize (KiB) 915460

[startup+12.7504 s]
/proc/loadavg: 2.50 2.92 2.55 3/83 23709
/proc/meminfo: memFree=1891504/2055920 swapFree=4183952/4192956
[pid=23701] ppid=23699 vsize=915460 CPUtime=12.49
/proc/23701/stat : 23701 (java) R 23699 23701 23480 0 -1 0 9544 0 48 0 1237 12 0 0 25 0 8 0 172925062 937431040 9327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073802118 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23701/statm: 228865 9327 2524 14 0 215335 0
[pid=23701/tid=23703] ppid=23699 vsize=915460 CPUtime=0.03
/proc/23701/task/23703/stat : 23703 (java) S 23699 23701 23480 0 -1 64 395 0 0 0 3 0 0 0 16 0 8 0 172925075 937431040 9327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23701/tid=23704] ppid=23699 vsize=915460 CPUtime=0
/proc/23701/task/23704/stat : 23704 (java) S 23699 23701 23480 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 172925075 937431040 9327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23701/tid=23705] ppid=23699 vsize=915460 CPUtime=0
/proc/23701/task/23705/stat : 23705 (java) S 23699 23701 23480 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 172925075 937431040 9327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23701/tid=23706] ppid=23699 vsize=915460 CPUtime=0
/proc/23701/task/23706/stat : 23706 (java) S 23699 23701 23480 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 172925082 937431040 9327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23701/tid=23707] ppid=23699 vsize=915460 CPUtime=0.22
/proc/23701/task/23707/stat : 23707 (java) S 23699 23701 23480 0 -1 64 394 0 0 0 21 1 0 0 16 0 8 0 172925083 937431040 9327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23701/tid=23708] ppid=23699 vsize=915460 CPUtime=0
/proc/23701/task/23708/stat : 23708 (java) S 23699 23701 23480 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 172925083 937431040 9327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23701/tid=23709] ppid=23699 vsize=915460 CPUtime=0
/proc/23701/task/23709/stat : 23709 (java) R 23699 23701 23480 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 172925083 937431040 9327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.49
Current children cumulated vsize (KiB) 915460

[startup+25.5937 s]
/proc/loadavg: 2.42 2.89 2.54 3/83 23709
/proc/meminfo: memFree=1891696/2055920 swapFree=4183952/4192956
[pid=23701] ppid=23699 vsize=915460 CPUtime=25.31
/proc/23701/stat : 23701 (java) R 23699 23701 23480 0 -1 0 9546 0 48 0 2518 13 0 0 25 0 8 0 172925062 937431040 9328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073824512 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23701/statm: 228865 9328 2524 14 0 215335 0
[pid=23701/tid=23703] ppid=23699 vsize=915460 CPUtime=0.03
/proc/23701/task/23703/stat : 23703 (java) S 23699 23701 23480 0 -1 64 395 0 0 0 3 0 0 0 16 0 8 0 172925075 937431040 9328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23701/tid=23704] ppid=23699 vsize=915460 CPUtime=0
/proc/23701/task/23704/stat : 23704 (java) S 23699 23701 23480 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 172925075 937431040 9328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23701/tid=23705] ppid=23699 vsize=915460 CPUtime=0
/proc/23701/task/23705/stat : 23705 (java) S 23699 23701 23480 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 172925075 937431040 9328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23701/tid=23706] ppid=23699 vsize=915460 CPUtime=0
/proc/23701/task/23706/stat : 23706 (java) S 23699 23701 23480 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 172925082 937431040 9328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23701/tid=23707] ppid=23699 vsize=915460 CPUtime=0.22
/proc/23701/task/23707/stat : 23707 (java) S 23699 23701 23480 0 -1 64 395 0 0 0 21 1 0 0 16 0 8 0 172925083 937431040 9328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23701/tid=23708] ppid=23699 vsize=915460 CPUtime=0
/proc/23701/task/23708/stat : 23708 (java) S 23699 23701 23480 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 172925083 937431040 9328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23701/tid=23709] ppid=23699 vsize=915460 CPUtime=0
/proc/23701/task/23709/stat : 23709 (java) S 23699 23701 23480 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 172925083 937431040 9328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 915460

[startup+51.1985 s]
/proc/loadavg: 2.25 2.81 2.53 3/83 23709
/proc/meminfo: memFree=1892016/2055920 swapFree=4183952/4192956
[pid=23701] ppid=23699 vsize=915460 CPUtime=50.9
/proc/23701/stat : 23701 (java) R 23699 23701 23480 0 -1 0 9546 0 48 0 5077 13 0 0 25 0 8 0 172925062 937431040 9328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073831514 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23701/statm: 228865 9328 2524 14 0 215335 0
[pid=23701/tid=23703] ppid=23699 vsize=915460 CPUtime=0.03
/proc/23701/task/23703/stat : 23703 (java) S 23699 23701 23480 0 -1 64 395 0 0 0 3 0 0 0 16 0 8 0 172925075 937431040 9328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23701/tid=23704] ppid=23699 vsize=915460 CPUtime=0
/proc/23701/task/23704/stat : 23704 (java) S 23699 23701 23480 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 172925075 937431040 9328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23701/tid=23705] ppid=23699 vsize=915460 CPUtime=0
/proc/23701/task/23705/stat : 23705 (java) S 23699 23701 23480 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 172925075 937431040 9328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23701/tid=23706] ppid=23699 vsize=915460 CPUtime=0
/proc/23701/task/23706/stat : 23706 (java) S 23699 23701 23480 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 172925082 937431040 9328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23701/tid=23707] ppid=23699 vsize=915460 CPUtime=0.22
/proc/23701/task/23707/stat : 23707 (java) S 23699 23701 23480 0 -1 64 395 0 0 0 21 1 0 0 16 0 8 0 172925083 937431040 9328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23701/tid=23708] ppid=23699 vsize=915460 CPUtime=0
/proc/23701/task/23708/stat : 23708 (java) S 23699 23701 23480 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 172925083 937431040 9328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23701/tid=23709] ppid=23699 vsize=915460 CPUtime=0
/proc/23701/task/23709/stat : 23709 (java) S 23699 23701 23480 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 172925083 937431040 9328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.9
Current children cumulated vsize (KiB) 915460

Child status: 0
Real time (s): 73.6359
CPU time (s): 73.2869
CPU user time (s): 73.1479
CPU system time (s): 0.138978
CPU usage (%): 99.5259
Max. virtual memory (cumulated for all children) (KiB): 915460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 73.1479
system time used= 0.138978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9554
page faults= 48
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2774
involuntary context switches= 1914

runsolver used 0.100984 s user time and 0.237963 s system time

The end

Launcher Data (download as text)

Begin job on node47 on Mon Jan  8 08:34:18 UTC 2007


IDJOB= 217277
IDBENCH= 5127
FILE ID= node47/217277-1168245258

PBS_JOBID= 3481798

Free space on /tmp= 66556 MiB

BENCH NAME= HOME/pub/bench/CPAI06/frb/frb50-23/frb50-23-4-mgd_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/217277-1168245258/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node47/watcher-217277-1168245258 -o ROOT/results/node47/solver-217277-1168245258 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/217277-1168245258/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  655c2ff3e51b845ad55fdd644d9c23b1

RANDOM SEED= 277099192

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.240
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.240
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1933064 kB
Buffers:         24276 kB
Cached:          27804 kB
SwapCached:       1640 kB
Active:          42032 kB
Inactive:        28108 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1933064 kB
SwapTotal:     4192956 kB
SwapFree:      4183952 kB
Dirty:            2596 kB
Writeback:           0 kB
Mapped:          26536 kB
Slab:            38228 kB
Committed_AS:  3722148 kB
PageTables:       1820 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= 66556 MiB



End job on node47 on Mon Jan  8 08:35:32 UTC 2007