Trace number 223508

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 20.5139 20.5881

DiagnosticValue
CHECKS153638184
NODES124105

General information on the benchmark

Nametightness/tightness0.5/
rand-2-40-25-180-500-79_ext.xml
MD5SUM22efc0fede6b4b092567517f20fc5741
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 benchmark0.85187
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.30	   
0.30	Abscon 109 (November, 2006)
0.30	   
0.30	   configuration
0.30	     name=esac.xml
0.33	   
0.33	   instance
0.33	     name=/tmp/evaluation/223508-1168265765/unknown.xml
0.36	   
0.36	   domains being loaded...
0.36	   
0.36	   variables being loaded...
0.40	     nbVariables=40  nbDomainTypes=1  minDomainSize=25  maxDomainSize=25
0.40	       =>  wckTime=0.096  cpuTime=0.08  mem=6M951
0.40	   
0.40	   relations being loaded...
0.50	   
0.50	   constraints being loaded...
0.59	     nbConstraints=180  nbRelationTypes=180  nbExtensionStructures=180  nbSharedExtensionStructures=0
0.59	     nbConflictsStructures=180  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=1  maxDegree=13  maxArity=2
0.59	       =>  wckTime=0.292  cpuTime=0.22  mem=13M812
0.63	   
0.63	   solver IterativeSystematicSolver being built... 
0.79	       =>  wckTime=0.485  cpuTime=0.35  mem=14M839
0.84	   
0.84	   preprocessing
0.84	     nbConstraintChecks=79808  nbPropagations=924  nbRevisions=5658  nbUselessRevisions=4337  nbSingletonTests=54
0.84	     nbEffectiveSingletonTests=0  nbESACBranches=8  nbRemovedValues=0  detectedInconsistency=no
0.84	       =>  wckTime=0.046  cpuTime=0.03  mem=14M839
0.86	   
0.86	   search
0.86	     run=0  nbConstraintChecks=35636  nbPropagations=1493  nbRevisions=9907  nbUselessRevisions=7212  nbAssignments=23
0.86	     nbFailedAssignments=8  nbBacktracks=10  nbVisitedNodes=39  nbRestartNogoods=0  mapSize=8  nbInferences=0
0.86	     nbTooLargeKeys=0
0.86	       =>  wckTime=0.067  cpuTime=0.04  mem=14M839
0.87	   
0.87	   search
0.87	     run=1  nbConstraintChecks=88067  nbPropagations=3795  nbRevisions=26042  nbUselessRevisions=18717  nbAssignments=61
0.87	     nbFailedAssignments=26  nbBacktracks=25  nbVisitedNodes=106  nbRestartNogoods=1  mapSize=21  nbInferences=0
0.87	     nbTooLargeKeys=0
0.87	       =>  wckTime=0.084  cpuTime=0.05  mem=14M839
0.89	   
0.89	   search
0.89	     run=2  nbConstraintChecks=164200  nbPropagations=7369  nbRevisions=51964  nbUselessRevisions=37058
0.89	     nbAssignments=120  nbFailedAssignments=55  nbBacktracks=49  nbVisitedNodes=209  nbRestartNogoods=3  mapSize=43
0.89	     nbInferences=0  nbTooLargeKeys=0
0.89	       =>  wckTime=0.104  cpuTime=0.07  mem=14M839
0.91	   
0.91	   search
0.91	     run=3  nbConstraintChecks=284412  nbPropagations=12882  nbRevisions=92471  nbUselessRevisions=65791
0.92	     nbAssignments=209  nbFailedAssignments=92  nbBacktracks=84  nbVisitedNodes=347  nbRestartNogoods=7  mapSize=74
0.92	     nbInferences=0  nbTooLargeKeys=0
0.92	       =>  wckTime=0.125  cpuTime=0.09  mem=14M839
0.94	   
0.94	   search
0.94	     run=4  nbConstraintChecks=404070  nbPropagations=20504  nbRevisions=148686  nbUselessRevisions=105277
0.94	     nbAssignments=314  nbFailedAssignments=142  nbBacktracks=134  nbVisitedNodes=531  nbRestartNogoods=9  mapSize=115
0.94	     nbInferences=0  nbTooLargeKeys=0
0.94	       =>  wckTime=0.15  cpuTime=0.11  mem=14M839
0.97	   
0.97	   search
0.97	     run=5  nbConstraintChecks=544425  nbPropagations=30665  nbRevisions=224283  nbUselessRevisions=158184
0.97	     nbAssignments=442  nbFailedAssignments=192  nbBacktracks=209  nbVisitedNodes=750  nbRestartNogoods=11  mapSize=169
0.97	     nbInferences=0  nbTooLargeKeys=0
0.97	       =>  wckTime=0.175  cpuTime=0.13  mem=14M839
1.02	   
1.02	   search
1.02	     run=6  nbConstraintChecks=860609  nbPropagations=46016  nbRevisions=340253  nbUselessRevisions=238621
1.02	     nbAssignments=671  nbFailedAssignments=300  nbBacktracks=324  nbVisitedNodes=1162  nbRestartNogoods=14  mapSize=270
1.02	     nbInferences=0  nbTooLargeKeys=0
1.02	       =>  wckTime=0.228  cpuTime=0.18  mem=14M839
1.08	   
1.08	   search
1.08	     run=7  nbConstraintChecks=1217912  nbPropagations=67136  nbRevisions=502214  nbUselessRevisions=351318
1.08	     nbAssignments=978  nbFailedAssignments=430  nbBacktracks=494  nbVisitedNodes=1680  nbRestartNogoods=22  mapSize=402
1.08	     nbInferences=0  nbTooLargeKeys=0
1.08	       =>  wckTime=0.286  cpuTime=0.24  mem=14M839
1.18	   
1.18	   search
1.18	     run=8  nbConstraintChecks=1754588  nbPropagations=99252  nbRevisions=750599  nbUselessRevisions=524727
1.18	     nbAssignments=1502  nbFailedAssignments=692  nbBacktracks=750  nbVisitedNodes=2627  nbRestartNogoods=29
1.18	     mapSize=621  nbInferences=0  nbTooLargeKeys=0
1.18	       =>  wckTime=0.394  cpuTime=0.34  mem=14M839
1.31	   
1.31	   search
1.31	     run=9  nbConstraintChecks=2514806  nbPropagations=143957  nbRevisions=1095454  nbUselessRevisions=764162
1.31	     nbAssignments=2144  nbFailedAssignments=944  nbBacktracks=1135  nbVisitedNodes=3716  nbRestartNogoods=37
1.31	     mapSize=924  nbInferences=0  nbTooLargeKeys=0
1.31	       =>  wckTime=0.518  cpuTime=0.45  mem=14M839
1.35	   
1.35	   INFO : Stopping hyperNogood (mapSize=1027, nbTooLargekeys=0, mem=14M839)
1.52	   
1.52	   search
1.52	     run=10  nbConstraintChecks=3965453  nbPropagations=212742  nbRevisions=1635814  nbUselessRevisions=1140766
1.52	     nbAssignments=3212  nbFailedAssignments=1428  nbBacktracks=1711  nbVisitedNodes=5640  nbRestartNogoods=44
1.52	       =>  wckTime=0.726  cpuTime=0.65  mem=14M839
1.76	   
1.76	   search
1.76	     run=11  nbConstraintChecks=5629954  nbPropagations=312858  nbRevisions=2412713  nbUselessRevisions=1681851
1.76	     nbAssignments=4729  nbFailedAssignments=2076  nbBacktracks=2575  nbVisitedNodes=8289  nbRestartNogoods=52
1.76	       =>  wckTime=0.967  cpuTime=0.89  mem=14M839
2.18	   
2.18	   search
2.18	     run=12  nbConstraintChecks=8663515  nbPropagations=466131  nbRevisions=3597446  nbUselessRevisions=2503990
2.18	     nbAssignments=7194  nbFailedAssignments=3239  nbBacktracks=3872  nbVisitedNodes=12707  nbRestartNogoods=59
2.18	       =>  wckTime=1.386  cpuTime=1.31  mem=15M815
2.74	   
2.74	   search
2.74	     run=13  nbConstraintChecks=12945567  nbPropagations=696390  nbRevisions=5375164  nbUselessRevisions=3735834
2.74	     nbAssignments=10749  nbFailedAssignments=4841  nbBacktracks=5819  nbVisitedNodes=19065  nbRestartNogoods=70
2.74	       =>  wckTime=1.946  cpuTime=1.86  mem=15M815
3.55	   
3.55	   search
3.55	     run=14  nbConstraintChecks=19063909  nbPropagations=1034159  nbRevisions=7990744  nbUselessRevisions=5549294
3.55	     nbAssignments=15774  nbFailedAssignments=6941  nbBacktracks=8738  nbVisitedNodes=27816  nbRestartNogoods=82
3.55	       =>  wckTime=2.761  cpuTime=2.68  mem=15M815
4.83	   
4.83	   search
4.83	     run=15  nbConstraintChecks=29138117  nbPropagations=1547008  nbRevisions=11957575  nbUselessRevisions=8297646
4.83	     nbAssignments=23852  nbFailedAssignments=10635  nbBacktracks=13118  nbVisitedNodes=42267  nbRestartNogoods=96
4.83	       =>  wckTime=4.039  cpuTime=3.96  mem=15M815
6.59	   
6.59	   search
6.59	     run=16  nbConstraintChecks=43012349  nbPropagations=2300347  nbRevisions=17829555  nbUselessRevisions=12374424
6.59	     nbAssignments=35612  nbFailedAssignments=15820  nbBacktracks=19686  nbVisitedNodes=62986  nbRestartNogoods=110
6.59	       =>  wckTime=5.798  cpuTime=5.72  mem=15M815
9.44	   
9.44	   search
9.44	     run=17  nbConstraintChecks=65417087  nbPropagations=3444709  nbRevisions=26777113  nbUselessRevisions=18587813
9.44	     nbAssignments=53755  nbFailedAssignments=24102  nbBacktracks=29539  nbVisitedNodes=95234  nbRestartNogoods=123
9.44	       =>  wckTime=8.652  cpuTime=8.57  mem=15M815
13.88	   
13.88	   search
13.88	     run=18  nbConstraintChecks=100479941  nbPropagations=5197777  nbRevisions=40488910  nbUselessRevisions=28104148
13.88	     nbAssignments=81049  nbFailedAssignments=36612  nbBacktracks=44319  nbVisitedNodes=144109  nbRestartNogoods=134
13.88	       =>  wckTime=13.087  cpuTime=13.0  mem=15M815
19.88	   
19.88	   search
19.88	     run=19  nbConstraintChecks=148251449  nbPropagations=7777811  nbRevisions=60645563  nbUselessRevisions=42085286
19.88	     nbAssignments=119950  nbFailedAssignments=53339  nbBacktracks=66489  nbVisitedNodes=212152  nbRestartNogoods=153
19.88	       =>  wckTime=19.09  cpuTime=19.0  mem=15M815
20.54	   
20.54	   search
20.54	     run=20  nbConstraintChecks=153558376  nbPropagations=10447765  nbRevisions=81514198  nbUselessRevisions=56559983
20.54	     nbAssignments=124105  nbFailedAssignments=55260  nbBacktracks=68683  nbVisitedNodes=219563  nbRestartNogoods=163
20.54	       =>  wckTime=19.753  cpuTime=19.66  mem=15M815
20.54	   
20.54	   global
20.54	     nbConstraintChecks=153638184  nbPropagations=10448689  nbRevisions=81519856  nbUselessRevisions=56564320
20.54	     nbRestartNogoods=163  solvingWckTime=19.754  solvingCpuTime=19.66  expiredTime=no  totalExploration=no
20.54	     nbFoundSolutions=1  globalCpuTime=20.07
20.55	       =>  wckTime=20.243  cpuTime=20.01  mem=15M815
20.55	   
20.55	s SATISFIABLE
20.55	v 0 5 8 0 15 16 12 23 22 8 18 22 3 7 3 20 8 22 12 20 21 12 19 0 24 20 3 0 13 6 9 22 14 4 16 3 21 10 23 14 
20.55	d NODES 124105
20.55	d CHECKS 153638184
20.55	   
20.55	   totalWckTime=20.319  totalCpuTime=20.07

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/node45/watcher-223508-1168265765 -o ROOT/results/node45/solver-223508-1168265765 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/223508-1168265765/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: 0.17 0.14 0.26 3/68 21185
/proc/meminfo: memFree=1761080/2055920 swapFree=4184048/4192956
[pid=21184] ppid=21182 vsize=0 CPUtime=0
/proc/21184/stat : 21184 (runsolver) R 21182 21184 20463 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 174975993 0 0 18446744073709551615 0 0 0 18446744073709551615 258939088167 0 0 4096 24578 0 0 0 17 1 0 0
/proc/21184/statm: 0 0 0 0 0 0 0

[startup+0.104919 s]
/proc/loadavg: 0.17 0.14 0.26 3/68 21185
/proc/meminfo: memFree=1761080/2055920 swapFree=4184048/4192956
[pid=21184] ppid=21182 vsize=914988 CPUtime=0.08
/proc/21184/stat : 21184 (java) R 21182 21184 20463 0 -1 0 2988 0 1 0 7 1 0 0 22 0 8 0 174975993 936947712 2735 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21184/statm: 228747 2737 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.512996 s]
/proc/loadavg: 0.17 0.14 0.26 3/68 21185
/proc/meminfo: memFree=1761080/2055920 swapFree=4184048/4192956
[pid=21184] ppid=21182 vsize=915328 CPUtime=0.49
/proc/21184/stat : 21184 (java) R 21182 21184 20463 0 -1 0 7348 0 1 0 45 4 0 0 16 0 8 0 174975993 937295872 7087 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154517241 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21184/statm: 228832 7087 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33514 s]
/proc/loadavg: 0.17 0.14 0.26 2/75 21192
/proc/meminfo: memFree=1737280/2055920 swapFree=4184048/4192956
[pid=21184] ppid=21182 vsize=915452 CPUtime=1.29
/proc/21184/stat : 21184 (java) R 21182 21184 20463 0 -1 0 8718 0 1 0 123 6 0 0 17 0 8 0 174975993 937422848 8456 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918492 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21184/statm: 228863 8456 2524 14 0 215333 0
[pid=21184/tid=21186] ppid=21182 vsize=915452 CPUtime=0.03
/proc/21184/task/21186/stat : 21186 (java) S 21182 21184 20463 0 -1 64 244 0 0 0 3 0 0 0 16 0 8 0 174975997 937422848 8456 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21184/tid=21187] ppid=21182 vsize=915452 CPUtime=0
/proc/21184/task/21187/stat : 21187 (java) S 21182 21184 20463 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 174975997 937422848 8456 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21184/tid=21188] ppid=21182 vsize=915452 CPUtime=0
/proc/21184/task/21188/stat : 21188 (java) S 21182 21184 20463 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 174975997 937422848 8456 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21184/tid=21189] ppid=21182 vsize=915452 CPUtime=0
/proc/21184/task/21189/stat : 21189 (java) S 21182 21184 20463 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 174976001 937422848 8456 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21184/tid=21190] ppid=21182 vsize=915452 CPUtime=0.19
/proc/21184/task/21190/stat : 21190 (java) S 21182 21184 20463 0 -1 64 384 0 0 0 18 1 0 0 16 0 8 0 174976001 937422848 8456 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21184/tid=21191] ppid=21182 vsize=915452 CPUtime=0
/proc/21184/task/21191/stat : 21191 (java) S 21182 21184 20463 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 174976001 937422848 8456 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21184/tid=21192] ppid=21182 vsize=915452 CPUtime=0
/proc/21184/task/21192/stat : 21192 (java) S 21182 21184 20463 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174976001 937422848 8456 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915452

[startup+2.98744 s]
/proc/loadavg: 0.17 0.14 0.26 2/75 21192
/proc/meminfo: memFree=1737024/2055920 swapFree=4184048/4192956
[pid=21184] ppid=21182 vsize=915452 CPUtime=2.94
/proc/21184/stat : 21184 (java) R 21182 21184 20463 0 -1 0 8736 0 1 0 288 6 0 0 18 0 8 0 174975993 937422848 8473 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073824612 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21184/statm: 228863 8473 2524 14 0 215333 0
[pid=21184/tid=21186] ppid=21182 vsize=915452 CPUtime=0.03
/proc/21184/task/21186/stat : 21186 (java) S 21182 21184 20463 0 -1 64 244 0 0 0 3 0 0 0 16 0 8 0 174975997 937422848 8473 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21184/tid=21187] ppid=21182 vsize=915452 CPUtime=0
/proc/21184/task/21187/stat : 21187 (java) S 21182 21184 20463 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 174975997 937422848 8473 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21184/tid=21188] ppid=21182 vsize=915452 CPUtime=0
/proc/21184/task/21188/stat : 21188 (java) S 21182 21184 20463 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 174975997 937422848 8473 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21184/tid=21189] ppid=21182 vsize=915452 CPUtime=0
/proc/21184/task/21189/stat : 21189 (java) S 21182 21184 20463 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 174976001 937422848 8473 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21184/tid=21190] ppid=21182 vsize=915452 CPUtime=0.2
/proc/21184/task/21190/stat : 21190 (java) S 21182 21184 20463 0 -1 64 388 0 0 0 19 1 0 0 16 0 8 0 174976001 937422848 8473 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21184/tid=21191] ppid=21182 vsize=915452 CPUtime=0
/proc/21184/task/21191/stat : 21191 (java) S 21182 21184 20463 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 174976001 937422848 8473 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21184/tid=21192] ppid=21182 vsize=915452 CPUtime=0
/proc/21184/task/21192/stat : 21192 (java) S 21182 21184 20463 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174976001 937422848 8473 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915452

[startup+6.26603 s]
/proc/loadavg: 0.24 0.16 0.26 2/75 21193
/proc/meminfo: memFree=1736768/2055920 swapFree=4184048/4192956
[pid=21184] ppid=21182 vsize=915452 CPUtime=6.22
/proc/21184/stat : 21184 (java) R 21182 21184 20463 0 -1 0 8742 0 1 0 616 6 0 0 20 0 8 0 174975993 937422848 8478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073780813 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21184/statm: 228863 8478 2524 14 0 215333 0
[pid=21184/tid=21186] ppid=21182 vsize=915452 CPUtime=0.03
/proc/21184/task/21186/stat : 21186 (java) S 21182 21184 20463 0 -1 64 244 0 0 0 3 0 0 0 16 0 8 0 174975997 937422848 8478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21184/tid=21187] ppid=21182 vsize=915452 CPUtime=0
/proc/21184/task/21187/stat : 21187 (java) S 21182 21184 20463 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 174975997 937422848 8478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21184/tid=21188] ppid=21182 vsize=915452 CPUtime=0
/proc/21184/task/21188/stat : 21188 (java) S 21182 21184 20463 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 174975997 937422848 8478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21184/tid=21189] ppid=21182 vsize=915452 CPUtime=0
/proc/21184/task/21189/stat : 21189 (java) S 21182 21184 20463 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 174976001 937422848 8478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21184/tid=21190] ppid=21182 vsize=915452 CPUtime=0.2
/proc/21184/task/21190/stat : 21190 (java) S 21182 21184 20463 0 -1 64 389 0 0 0 19 1 0 0 16 0 8 0 174976001 937422848 8478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21184/tid=21191] ppid=21182 vsize=915452 CPUtime=0
/proc/21184/task/21191/stat : 21191 (java) S 21182 21184 20463 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 174976001 937422848 8478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21184/tid=21192] ppid=21182 vsize=915452 CPUtime=0
/proc/21184/task/21192/stat : 21192 (java) S 21182 21184 20463 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174976001 937422848 8478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915452

[startup+12.7492 s]
/proc/loadavg: 0.30 0.17 0.27 2/75 21196
/proc/meminfo: memFree=1736704/2055920 swapFree=4184048/4192956
[pid=21184] ppid=21182 vsize=915452 CPUtime=12.69
/proc/21184/stat : 21184 (java) R 21182 21184 20463 0 -1 0 8747 0 1 0 1263 6 0 0 25 0 8 0 174975993 937422848 8483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073797136 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21184/statm: 228863 8483 2524 14 0 215333 0
[pid=21184/tid=21186] ppid=21182 vsize=915452 CPUtime=0.03
/proc/21184/task/21186/stat : 21186 (java) S 21182 21184 20463 0 -1 64 244 0 0 0 3 0 0 0 16 0 8 0 174975997 937422848 8483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21184/tid=21187] ppid=21182 vsize=915452 CPUtime=0
/proc/21184/task/21187/stat : 21187 (java) S 21182 21184 20463 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 174975997 937422848 8483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21184/tid=21188] ppid=21182 vsize=915452 CPUtime=0
/proc/21184/task/21188/stat : 21188 (java) S 21182 21184 20463 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 174975997 937422848 8483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21184/tid=21189] ppid=21182 vsize=915452 CPUtime=0
/proc/21184/task/21189/stat : 21189 (java) S 21182 21184 20463 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 174976001 937422848 8483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21184/tid=21190] ppid=21182 vsize=915452 CPUtime=0.2
/proc/21184/task/21190/stat : 21190 (java) S 21182 21184 20463 0 -1 64 389 0 0 0 19 1 0 0 16 0 8 0 174976001 937422848 8483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21184/tid=21191] ppid=21182 vsize=915452 CPUtime=0
/proc/21184/task/21191/stat : 21191 (java) S 21182 21184 20463 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 174976001 937422848 8483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21184/tid=21192] ppid=21182 vsize=915452 CPUtime=0
/proc/21184/task/21192/stat : 21192 (java) S 21182 21184 20463 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174976001 937422848 8483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 915452

Child status: 0
Real time (s): 20.5881
CPU time (s): 20.5139
CPU user time (s): 20.4309
CPU system time (s): 0.082987
CPU usage (%): 99.6395
Max. virtual memory (cumulated for all children) (KiB): 915452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20.4309
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= 8844
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= 1252
involuntary context switches= 421

runsolver used 0.027995 s user time and 0.055991 s system time

The end

Launcher Data (download as text)

Begin job on node45 on Mon Jan  8 14:16:08 UTC 2007


IDJOB= 223508
IDBENCH= 5650
FILE ID= node45/223508-1168265765

PBS_JOBID= 3482778

Free space on /tmp= 66554 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  22efc0fede6b4b092567517f20fc5741

RANDOM SEED= 338967526

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.259
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.259
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:       1761496 kB
Buffers:         51620 kB
Cached:         174236 kB
SwapCached:       3168 kB
Active:         109752 kB
Inactive:       130676 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1761496 kB
SwapTotal:     4192956 kB
SwapFree:      4184048 kB
Dirty:            1992 kB
Writeback:           0 kB
Mapped:          20184 kB
Slab:            39744 kB
Committed_AS:  3589780 kB
PageTables:       1596 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= 66553 MiB



End job on node45 on Mon Jan  8 14:16:36 UTC 2007