Trace number 217202

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 ACSAT 73.1119 73.7606

DiagnosticValue
CHECKS516828091
NODES331977

General information on the benchmark

Namefrb/frb45-21/
frb45-21-2-mgd_ext.xml
MD5SUMddbfbba4459b91f16b418e879367a5fc
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 benchmark73.1119
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables45
Number of constraints380
Maximum constraint arity2
Maximum domain size21
Number of constraints which are defined in extension380
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.29	   
0.29	Abscon 109 (November, 2006)
0.29	   
0.29	   configuration
0.29	     name=mac.xml
0.32	   
0.32	   instance
0.32	     name=/tmp/evaluation/217202-1168079350/unknown.xml
0.35	   
0.35	   domains being loaded...
0.35	   
0.35	   variables being loaded...
0.38	     nbVariables=45  nbDomainTypes=1  minDomainSize=21  maxDomainSize=21
0.38	       =>  wckTime=0.095  cpuTime=0.07  mem=6M951
0.38	   
0.38	   relations being loaded...
0.51	   
0.51	   constraints being loaded...
0.62	     nbConstraints=380  nbRelationTypes=380  nbExtensionStructures=380  nbSharedExtensionStructures=0
0.62	     nbConflictsStructures=380  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=1916  maxDegree=22
0.62	     maxArity=2
0.62	       =>  wckTime=0.326  cpuTime=0.24  mem=14M754
0.66	   
0.66	   solver IterativeSystematicSolver being built... 
0.80	       =>  wckTime=0.512  cpuTime=0.37  mem=14M158
0.81	   
0.81	   preprocessing
0.81	     nbConstraintChecks=0  nbPropagations=45  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
0.81	     detectedInconsistency=no
0.81	       =>  wckTime=0.0080  cpuTime=0.0  mem=15M134
0.86	   
0.86	   search
0.86	     run=0  nbConstraintChecks=37212  nbPropagations=490  nbRevisions=5455  nbUselessRevisions=4464  nbAssignments=23
0.86	     nbFailedAssignments=7  nbBacktracks=10  nbVisitedNodes=35  nbRestartNogoods=0  mapSize=7  nbInferences=0
0.86	     nbTooLargeKeys=0
0.86	       =>  wckTime=0.051  cpuTime=0.02  mem=15M134
0.88	   
0.88	   search
0.88	     run=1  nbConstraintChecks=94073  nbPropagations=1650  nbRevisions=19497  nbUselessRevisions=15886  nbAssignments=55
0.88	     nbFailedAssignments=17  nbBacktracks=25  nbVisitedNodes=85  nbRestartNogoods=1  mapSize=21  nbInferences=0
0.88	     nbTooLargeKeys=0
0.88	       =>  wckTime=0.072  cpuTime=0.04  mem=15M134
0.90	   
0.90	   search
0.90	     run=2  nbConstraintChecks=159481  nbPropagations=3712  nbRevisions=45442  nbUselessRevisions=37196
0.90	     nbAssignments=102  nbFailedAssignments=33  nbBacktracks=48  nbVisitedNodes=160  nbRestartNogoods=2  mapSize=42
0.90	     nbInferences=0  nbTooLargeKeys=0
0.90	       =>  wckTime=0.095  cpuTime=0.05  mem=15M134
0.92	   
0.92	   search
0.92	     run=3  nbConstraintChecks=270995  nbPropagations=7137  nbRevisions=89943  nbUselessRevisions=73441
0.92	     nbAssignments=172  nbFailedAssignments=60  nbBacktracks=83  nbVisitedNodes=277  nbRestartNogoods=6  mapSize=71
0.92	     nbInferences=0  nbTooLargeKeys=0
0.92	       =>  wckTime=0.115  cpuTime=0.07  mem=15M134
0.95	   
0.95	   search
0.95	     run=4  nbConstraintChecks=425643  nbPropagations=12486  nbRevisions=160941  nbUselessRevisions=131287
0.95	     nbAssignments=270  nbFailedAssignments=99  nbBacktracks=133  nbVisitedNodes=442  nbRestartNogoods=9  mapSize=114
0.95	     nbInferences=0  nbTooLargeKeys=0
0.95	       =>  wckTime=0.144  cpuTime=0.1  mem=15M134
0.99	   
0.99	   search
0.99	     run=5  nbConstraintChecks=657860  nbPropagations=20570  nbRevisions=268814  nbUselessRevisions=218701
0.99	     nbAssignments=415  nbFailedAssignments=160  nbBacktracks=209  nbVisitedNodes=690  nbRestartNogoods=14  mapSize=179
0.99	     nbInferences=0  nbTooLargeKeys=0
0.99	       =>  wckTime=0.185  cpuTime=0.13  mem=15M134
1.04	   
1.04	   search
1.04	     run=6  nbConstraintChecks=994601  nbPropagations=32607  nbRevisions=430536  nbUselessRevisions=349034
1.04	     nbAssignments=616  nbFailedAssignments=239  nbBacktracks=323  nbVisitedNodes=1032  nbRestartNogoods=18  mapSize=271
1.04	     nbInferences=0  nbTooLargeKeys=0
1.04	       =>  wckTime=0.239  cpuTime=0.19  mem=15M134
1.12	   
1.12	   search
1.12	     run=7  nbConstraintChecks=1412539  nbPropagations=50156  nbRevisions=670441  nbUselessRevisions=542899
1.12	     nbAssignments=898  nbFailedAssignments=342  nbBacktracks=497  nbVisitedNodes=1506  nbRestartNogoods=21  mapSize=412
1.12	     nbInferences=0  nbTooLargeKeys=0
1.12	       =>  wckTime=0.316  cpuTime=0.26  mem=15M134
1.24	   
1.24	   search
1.24	     run=8  nbConstraintChecks=2105887  nbPropagations=76058  nbRevisions=1024883  nbUselessRevisions=827335
1.24	     nbAssignments=1345  nbFailedAssignments=525  nbBacktracks=755  nbVisitedNodes=2268  nbRestartNogoods=23
1.24	     mapSize=613  nbInferences=0  nbTooLargeKeys=0
1.24	       =>  wckTime=0.437  cpuTime=0.37  mem=15M134
1.40	   
1.40	   search
1.40	     run=9  nbConstraintChecks=3035379  nbPropagations=114070  nbRevisions=1550418  nbUselessRevisions=1250263
1.40	     nbAssignments=1986  nbFailedAssignments=776  nbBacktracks=1140  nbVisitedNodes=3379  nbRestartNogoods=25
1.40	     mapSize=945  nbInferences=0  nbTooLargeKeys=0
1.40	       =>  wckTime=0.599  cpuTime=0.52  mem=15M134
1.45	   
1.45	   INFO : Stopping hyperNogood (mapSize=1027, nbTooLargekeys=0, mem=15M134)
1.62	   
1.62	   search
1.62	     run=10  nbConstraintChecks=4467880  nbPropagations=169690  nbRevisions=2323368  nbUselessRevisions=1872337
1.62	     nbAssignments=2917  nbFailedAssignments=1122  nbBacktracks=1716  nbVisitedNodes=4957  nbRestartNogoods=29
1.62	       =>  wckTime=0.814  cpuTime=0.72  mem=15M134
1.93	   
1.93	   search
1.93	     run=11  nbConstraintChecks=6594421  nbPropagations=252874  nbRevisions=3493109  nbUselessRevisions=2816272
1.93	     nbAssignments=4366  nbFailedAssignments=1697  nbBacktracks=2583  nbVisitedNodes=7459  nbRestartNogoods=38
1.93	       =>  wckTime=1.124  cpuTime=1.03  mem=15M134
2.37	   
2.37	   search
2.37	     run=12  nbConstraintChecks=9726647  nbPropagations=375121  nbRevisions=5203644  nbUselessRevisions=4192141
2.37	     nbAssignments=6498  nbFailedAssignments=2524  nbBacktracks=3881  nbVisitedNodes=11088  nbRestartNogoods=45
2.37	       =>  wckTime=1.57  cpuTime=1.46  mem=15M134
3.08	   
3.08	   search
3.08	     run=13  nbConstraintChecks=14890202  nbPropagations=559760  nbRevisions=7799165  nbUselessRevisions=6279245
3.08	     nbAssignments=9694  nbFailedAssignments=3767  nbBacktracks=5829  nbVisitedNodes=16559  nbRestartNogoods=50
3.08	       =>  wckTime=2.276  cpuTime=2.17  mem=15M134
4.16	   
4.16	   search
4.16	     run=14  nbConstraintChecks=22708175  nbPropagations=839246  nbRevisions=11764231  nbUselessRevisions=9472539
4.16	     nbAssignments=14515  nbFailedAssignments=5662  nbBacktracks=8748  nbVisitedNodes=24900  nbRestartNogoods=54
4.16	       =>  wckTime=3.359  cpuTime=3.24  mem=15M134
5.69	   
5.69	   search
5.69	     run=15  nbConstraintChecks=33339628  nbPropagations=1255304  nbRevisions=17713041  nbUselessRevisions=14278025
5.69	     nbAssignments=21772  nbFailedAssignments=8531  nbBacktracks=13128  nbVisitedNodes=37472  nbRestartNogoods=56
5.69	       =>  wckTime=4.889  cpuTime=4.75  mem=15M134
8.17	   
8.17	   search
8.17	     run=16  nbConstraintChecks=51484625  nbPropagations=1886131  nbRevisions=26726842  nbUselessRevisions=21538763
8.17	     nbAssignments=32669  nbFailedAssignments=12853  nbBacktracks=19698  nbVisitedNodes=56253  nbRestartNogoods=63
8.17	       =>  wckTime=7.363  cpuTime=7.21  mem=15M134
11.59	   
11.59	   search
11.59	     run=17  nbConstraintChecks=75560878  nbPropagations=2820859  nbRevisions=40031589  nbUselessRevisions=32257124
11.59	     nbAssignments=48587  nbFailedAssignments=18910  nbBacktracks=29552  nbVisitedNodes=83558  nbRestartNogoods=73
11.59	       =>  wckTime=10.789  cpuTime=10.6  mem=15M134
17.31	   
17.31	   search
17.31	     run=18  nbConstraintChecks=115880547  nbPropagations=4251491  nbRevisions=60637142  nbUselessRevisions=48896326
17.31	     nbAssignments=73844  nbFailedAssignments=29382  nbBacktracks=44330  nbVisitedNodes=127733  nbRestartNogoods=87
17.31	       =>  wckTime=16.506  cpuTime=16.25  mem=15M134
24.92	   
24.92	   search
24.92	     run=19  nbConstraintChecks=168569656  nbPropagations=6370580  nbRevisions=91182736  nbUselessRevisions=73626680
24.92	     nbAssignments=110367  nbFailedAssignments=43729  nbBacktracks=66498  nbVisitedNodes=190528  nbRestartNogoods=104
24.92	       =>  wckTime=24.116  cpuTime=23.8  mem=15M134
37.47	   
37.47	   search
37.47	     run=20  nbConstraintChecks=260352407  nbPropagations=9576057  nbRevisions=137309381  nbUselessRevisions=110879855
37.47	     nbAssignments=165405  nbFailedAssignments=65507  nbBacktracks=99753  nbVisitedNodes=285782  nbRestartNogoods=117
37.47	       =>  wckTime=36.671  cpuTime=36.25  mem=15M134
55.35	   
55.35	   search
55.35	     run=21  nbConstraintChecks=386080780  nbPropagations=14367259  nbRevisions=206262588  nbUselessRevisions=166596956
55.35	     nbAssignments=248237  nbFailedAssignments=98450  nbBacktracks=149633  nbVisitedNodes=429065  nbRestartNogoods=126
55.35	       =>  wckTime=54.548  cpuTime=54.0  mem=15M134
73.74	   
73.74	   search
73.74	     run=22  nbConstraintChecks=516828091  nbPropagations=20780385  nbRevisions=298682661  nbUselessRevisions=241322791
73.74	     nbAssignments=331977  nbFailedAssignments=131426  nbBacktracks=200352  nbVisitedNodes=573925  nbRestartNogoods=147
73.74	       =>  wckTime=72.937  cpuTime=72.21  mem=15M134
73.74	   
73.74	   global
73.74	     nbConstraintChecks=516828091  nbPropagations=20780430  nbRevisions=298682661  nbUselessRevisions=241322791
73.74	     nbRestartNogoods=147  solvingWckTime=72.938  solvingCpuTime=72.21  expiredTime=no  totalExploration=no
73.74	     nbFoundSolutions=1  globalCpuTime=72.64
73.74	       =>  wckTime=73.453  cpuTime=72.58  mem=15M134
73.75	   
73.75	s SATISFIABLE
73.75	v 8 8 2 4 1 13 11 20 14 2 12 11 9 18 1 10 12 3 5 19 5 15 6 0 3 20 1 16 17 10 17 13 14 3 7 9 5 12 8 13 15 11 20 11 12 
73.75	d NODES 331977
73.75	d CHECKS 516828091
73.75	   
73.75	   totalWckTime=73.53  totalCpuTime=72.64

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/node17/watcher-217202-1168079350 -o ROOT/results/node17/solver-217202-1168079350 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/217202-1168079350/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.47 1.85 1.90 4/93 13273
/proc/meminfo: memFree=1487384/2055920 swapFree=4192812/4192956
[pid=13272] ppid=13270 vsize=172 CPUtime=0
/proc/13272/stat : 13272 (java) R 13270 13272 13205 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 156330228 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 2859812 0 0 4096 0 0 0 0 17 1 0 0
/proc/13272/statm: 43 24 18 14 0 3 0

[startup+0.105352 s]
/proc/loadavg: 1.47 1.85 1.90 4/93 13273
/proc/meminfo: memFree=1487384/2055920 swapFree=4192812/4192956
[pid=13272] ppid=13270 vsize=914988 CPUtime=0.1
/proc/13272/stat : 13272 (java) R 13270 13272 13205 0 -1 0 3083 0 1 0 8 2 0 0 23 0 8 0 156330228 936947712 2829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 3325534 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13272/statm: 228747 2829 1455 14 0 215242 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 914988

[startup+0.513389 s]
/proc/loadavg: 1.47 1.85 1.90 4/93 13273
/proc/meminfo: memFree=1487384/2055920 swapFree=4192812/4192956
[pid=13272] ppid=13270 vsize=915328 CPUtime=0.5
/proc/13272/stat : 13272 (java) R 13270 13272 13205 0 -1 0 7233 0 1 0 46 4 0 0 25 0 8 0 156330228 937295872 6972 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072916835 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13272/statm: 228832 6972 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328

[startup+1.33447 s]
/proc/loadavg: 1.47 1.85 1.90 3/100 13280
/proc/meminfo: memFree=1462560/2055920 swapFree=4192812/4192956
[pid=13272] ppid=13270 vsize=915456 CPUtime=1.31
/proc/13272/stat : 13272 (java) R 13270 13272 13205 0 -1 0 8972 0 1 0 125 6 0 0 25 0 8 0 156330228 937426944 8710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073821643 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13272/statm: 228864 8710 2513 14 0 215334 0
[pid=13272/tid=13274] ppid=13270 vsize=915456 CPUtime=0.03
/proc/13272/task/13274/stat : 13274 (java) S 13270 13272 13205 0 -1 64 344 0 0 0 3 0 0 0 16 0 8 0 156330232 937426944 8710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13272/tid=13275] ppid=13270 vsize=915456 CPUtime=0
/proc/13272/task/13275/stat : 13275 (java) S 13270 13272 13205 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156330232 937426944 8710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13272/tid=13276] ppid=13270 vsize=915456 CPUtime=0
/proc/13272/task/13276/stat : 13276 (java) S 13270 13272 13205 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156330232 937426944 8710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13272/tid=13277] ppid=13270 vsize=915456 CPUtime=0
/proc/13272/task/13277/stat : 13277 (java) S 13270 13272 13205 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156330235 937426944 8710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13272/tid=13278] ppid=13270 vsize=915456 CPUtime=0.21
/proc/13272/task/13278/stat : 13278 (java) S 13270 13272 13205 0 -1 64 383 0 0 0 20 1 0 0 16 0 8 0 156330235 937426944 8710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13272/tid=13279] ppid=13270 vsize=915456 CPUtime=0
/proc/13272/task/13279/stat : 13279 (java) S 13270 13272 13205 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156330235 937426944 8710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13272/tid=13280] ppid=13270 vsize=915456 CPUtime=0
/proc/13272/task/13280/stat : 13280 (java) S 13270 13272 13205 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156330235 937426944 8710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915456

[startup+2.97164 s]
/proc/loadavg: 1.51 1.85 1.90 3/100 13280
/proc/meminfo: memFree=1462432/2055920 swapFree=4192812/4192956
[pid=13272] ppid=13270 vsize=915456 CPUtime=2.94
/proc/13272/stat : 13272 (java) R 13270 13272 13205 0 -1 0 8981 0 1 0 287 7 0 0 25 0 8 0 156330228 937426944 8718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073821663 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13272/statm: 228864 8718 2513 14 0 215334 0
[pid=13272/tid=13274] ppid=13270 vsize=915456 CPUtime=0.03
/proc/13272/task/13274/stat : 13274 (java) S 13270 13272 13205 0 -1 64 344 0 0 0 3 0 0 0 16 0 8 0 156330232 937426944 8718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13272/tid=13275] ppid=13270 vsize=915456 CPUtime=0
/proc/13272/task/13275/stat : 13275 (java) S 13270 13272 13205 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156330232 937426944 8718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13272/tid=13276] ppid=13270 vsize=915456 CPUtime=0
/proc/13272/task/13276/stat : 13276 (java) S 13270 13272 13205 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156330232 937426944 8718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13272/tid=13277] ppid=13270 vsize=915456 CPUtime=0
/proc/13272/task/13277/stat : 13277 (java) S 13270 13272 13205 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156330235 937426944 8718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13272/tid=13278] ppid=13270 vsize=915456 CPUtime=0.23
/proc/13272/task/13278/stat : 13278 (java) S 13270 13272 13205 0 -1 64 392 0 0 0 22 1 0 0 15 0 8 0 156330235 937426944 8718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13272/tid=13279] ppid=13270 vsize=915456 CPUtime=0
/proc/13272/task/13279/stat : 13279 (java) S 13270 13272 13205 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156330235 937426944 8718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13272/tid=13280] ppid=13270 vsize=915456 CPUtime=0
/proc/13272/task/13280/stat : 13280 (java) S 13270 13272 13205 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156330235 937426944 8718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915456

[startup+6.25698 s]
/proc/loadavg: 1.51 1.85 1.90 3/100 13280
/proc/meminfo: memFree=1462368/2055920 swapFree=4192812/4192956
[pid=13272] ppid=13270 vsize=915456 CPUtime=6.2
/proc/13272/stat : 13272 (java) R 13270 13272 13205 0 -1 0 8981 0 1 0 613 7 0 0 25 0 8 0 156330228 937426944 8718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073797109 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13272/statm: 228864 8718 2513 14 0 215334 0
[pid=13272/tid=13274] ppid=13270 vsize=915456 CPUtime=0.03
/proc/13272/task/13274/stat : 13274 (java) S 13270 13272 13205 0 -1 64 344 0 0 0 3 0 0 0 16 0 8 0 156330232 937426944 8718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13272/tid=13275] ppid=13270 vsize=915456 CPUtime=0
/proc/13272/task/13275/stat : 13275 (java) S 13270 13272 13205 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156330232 937426944 8718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13272/tid=13276] ppid=13270 vsize=915456 CPUtime=0
/proc/13272/task/13276/stat : 13276 (java) S 13270 13272 13205 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156330232 937426944 8718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13272/tid=13277] ppid=13270 vsize=915456 CPUtime=0
/proc/13272/task/13277/stat : 13277 (java) S 13270 13272 13205 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156330235 937426944 8718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13272/tid=13278] ppid=13270 vsize=915456 CPUtime=0.23
/proc/13272/task/13278/stat : 13278 (java) S 13270 13272 13205 0 -1 64 392 0 0 0 22 1 0 0 16 0 8 0 156330235 937426944 8718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13272/tid=13279] ppid=13270 vsize=915456 CPUtime=0
/proc/13272/task/13279/stat : 13279 (java) S 13270 13272 13205 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156330235 937426944 8718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13272/tid=13280] ppid=13270 vsize=915456 CPUtime=0
/proc/13272/task/13280/stat : 13280 (java) S 13270 13272 13205 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156330235 937426944 8718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915456

[startup+12.7347 s]
/proc/loadavg: 1.58 1.86 1.91 3/100 13280
/proc/meminfo: memFree=1462368/2055920 swapFree=4192812/4192956
[pid=13272] ppid=13270 vsize=915456 CPUtime=12.62
/proc/13272/stat : 13272 (java) R 13270 13272 13205 0 -1 0 8983 0 1 0 1255 7 0 0 25 0 8 0 156330228 937426944 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073808249 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13272/statm: 228864 8719 2513 14 0 215334 0
[pid=13272/tid=13274] ppid=13270 vsize=915456 CPUtime=0.03
/proc/13272/task/13274/stat : 13274 (java) S 13270 13272 13205 0 -1 64 344 0 0 0 3 0 0 0 16 0 8 0 156330232 937426944 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13272/tid=13275] ppid=13270 vsize=915456 CPUtime=0
/proc/13272/task/13275/stat : 13275 (java) S 13270 13272 13205 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156330232 937426944 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13272/tid=13276] ppid=13270 vsize=915456 CPUtime=0
/proc/13272/task/13276/stat : 13276 (java) S 13270 13272 13205 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156330232 937426944 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13272/tid=13277] ppid=13270 vsize=915456 CPUtime=0
/proc/13272/task/13277/stat : 13277 (java) S 13270 13272 13205 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156330235 937426944 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13272/tid=13278] ppid=13270 vsize=915456 CPUtime=0.23
/proc/13272/task/13278/stat : 13278 (java) S 13270 13272 13205 0 -1 64 393 0 0 0 22 1 0 0 16 0 8 0 156330235 937426944 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13272/tid=13279] ppid=13270 vsize=915456 CPUtime=0
/proc/13272/task/13279/stat : 13279 (java) S 13270 13272 13205 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156330235 937426944 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13272/tid=13280] ppid=13270 vsize=915456 CPUtime=0
/proc/13272/task/13280/stat : 13280 (java) S 13270 13272 13205 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156330235 937426944 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915456

[startup+25.596 s]
/proc/loadavg: 1.65 1.86 1.91 3/100 13280
/proc/meminfo: memFree=1462432/2055920 swapFree=4192812/4192956
[pid=13272] ppid=13270 vsize=915456 CPUtime=25.37
/proc/13272/stat : 13272 (java) R 13270 13272 13205 0 -1 0 8983 0 1 0 2530 7 0 0 25 0 8 0 156330228 937426944 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073814847 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13272/statm: 228864 8719 2513 14 0 215334 0
[pid=13272/tid=13274] ppid=13270 vsize=915456 CPUtime=0.03
/proc/13272/task/13274/stat : 13274 (java) S 13270 13272 13205 0 -1 64 344 0 0 0 3 0 0 0 16 0 8 0 156330232 937426944 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13272/tid=13275] ppid=13270 vsize=915456 CPUtime=0
/proc/13272/task/13275/stat : 13275 (java) S 13270 13272 13205 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156330232 937426944 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13272/tid=13276] ppid=13270 vsize=915456 CPUtime=0
/proc/13272/task/13276/stat : 13276 (java) S 13270 13272 13205 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156330232 937426944 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13272/tid=13277] ppid=13270 vsize=915456 CPUtime=0
/proc/13272/task/13277/stat : 13277 (java) S 13270 13272 13205 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156330235 937426944 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13272/tid=13278] ppid=13270 vsize=915456 CPUtime=0.23
/proc/13272/task/13278/stat : 13278 (java) S 13270 13272 13205 0 -1 64 393 0 0 0 22 1 0 0 16 0 8 0 156330235 937426944 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13272/tid=13279] ppid=13270 vsize=915456 CPUtime=0
/proc/13272/task/13279/stat : 13279 (java) S 13270 13272 13205 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156330235 937426944 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13272/tid=13280] ppid=13270 vsize=915456 CPUtime=0
/proc/13272/task/13280/stat : 13280 (java) S 13270 13272 13205 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156330235 937426944 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915456

[startup+51.2977 s]
/proc/loadavg: 1.77 1.87 1.91 3/100 13280
/proc/meminfo: memFree=1462496/2055920 swapFree=4192812/4192956
[pid=13272] ppid=13270 vsize=915456 CPUtime=50.85
/proc/13272/stat : 13272 (java) R 13270 13272 13205 0 -1 0 8983 0 1 0 5078 7 0 0 25 0 8 0 156330228 937426944 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073820021 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13272/statm: 228864 8719 2513 14 0 215334 0
[pid=13272/tid=13274] ppid=13270 vsize=915456 CPUtime=0.03
/proc/13272/task/13274/stat : 13274 (java) S 13270 13272 13205 0 -1 64 344 0 0 0 3 0 0 0 16 0 8 0 156330232 937426944 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13272/tid=13275] ppid=13270 vsize=915456 CPUtime=0
/proc/13272/task/13275/stat : 13275 (java) S 13270 13272 13205 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156330232 937426944 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13272/tid=13276] ppid=13270 vsize=915456 CPUtime=0
/proc/13272/task/13276/stat : 13276 (java) S 13270 13272 13205 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156330232 937426944 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13272/tid=13277] ppid=13270 vsize=915456 CPUtime=0
/proc/13272/task/13277/stat : 13277 (java) S 13270 13272 13205 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156330235 937426944 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13272/tid=13278] ppid=13270 vsize=915456 CPUtime=0.23
/proc/13272/task/13278/stat : 13278 (java) S 13270 13272 13205 0 -1 64 393 0 0 0 22 1 0 0 16 0 8 0 156330235 937426944 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13272/tid=13279] ppid=13270 vsize=915456 CPUtime=0
/proc/13272/task/13279/stat : 13279 (java) S 13270 13272 13205 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156330235 937426944 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13272/tid=13280] ppid=13270 vsize=915456 CPUtime=0
/proc/13272/task/13280/stat : 13280 (java) S 13270 13272 13205 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156330235 937426944 8719 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.85
Current children cumulated vsize (KiB) 915456

Child status: 0
Real time (s): 73.7606
CPU time (s): 73.1119
CPU user time (s): 73.0289
CPU system time (s): 0.082987
CPU usage (%): 99.1206
Max. virtual memory (cumulated for all children) (KiB): 915456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 73.0289
system time used= 0.082987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8991
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2615
involuntary context switches= 6128

runsolver used 0.087986 s user time and 0.186971 s system time

The end

Launcher Data (download as text)

Begin job on node17 on Sat Jan  6 10:29:12 UTC 2007


IDJOB= 217202
IDBENCH= 5123
FILE ID= node17/217202-1168079350

PBS_JOBID= 3475837

Free space on /tmp= 66314 MiB

BENCH NAME= HOME/pub/bench/CPAI06/frb/frb45-21/frb45-21-2-mgd_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/217202-1168079350/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node17/watcher-217202-1168079350 -o ROOT/results/node17/solver-217202-1168079350 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/217202-1168079350/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  ddbfbba4459b91f16b418e879367a5fc

RANDOM SEED= 812324855

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.236
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.236
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:       1488000 kB
Buffers:         46780 kB
Cached:         243784 kB
SwapCached:          0 kB
Active:         270180 kB
Inactive:       208336 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1488000 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2224 kB
Writeback:           0 kB
Mapped:         216976 kB
Slab:            73924 kB
Committed_AS:  4577572 kB
PageTables:       2544 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= 66314 MiB



End job on node17 on Sat Jan  6 10:30:28 UTC 2007