Trace number 228624

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Abscon 109 ESACUNSAT 15.4197 15.4909

DiagnosticValue
CHECKS74856158
NODES78955

General information on the benchmark

Nametightness/tightness0.2/
rand-2-40-11-414-200-19_ext.xml
MD5SUM7b1ac7753e34047d49fc9d8bbfd33308
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark3.35549
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables40
Number of constraints414
Maximum constraint arity2
Maximum domain size11
Number of constraints which are defined in extension414
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=esac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/228624-1168299725/unknown.xml
0.38	   
0.38	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.42	     nbVariables=40  nbDomainTypes=1  minDomainSize=11  maxDomainSize=11
0.42	       =>  wckTime=0.109  cpuTime=0.08  mem=6M951
0.42	   
0.42	   relations being loaded...
0.51	   
0.51	   constraints being loaded...
0.61	     nbConstraints=414  nbRelationTypes=414  nbExtensionStructures=414  nbSharedExtensionStructures=0
0.61	     nbConflictsStructures=414  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=8191  maxDegree=27
0.61	     maxArity=2
0.61	       =>  wckTime=0.297  cpuTime=0.21  mem=10M860
0.65	   
0.65	   solver IterativeSystematicSolver being built... 
0.80	       =>  wckTime=0.491  cpuTime=0.34  mem=14M820
0.85	   
0.85	   preprocessing
0.85	     nbConstraintChecks=32010  nbPropagations=855  nbRevisions=5402  nbUselessRevisions=4166  nbSingletonTests=47
0.85	     nbEffectiveSingletonTests=0  nbESACBranches=7  nbRemovedValues=0  detectedInconsistency=no
0.85	       =>  wckTime=0.047  cpuTime=0.02  mem=14M820
0.87	   
0.87	   search
0.87	     run=0  nbConstraintChecks=15210  nbPropagations=1180  nbRevisions=9062  nbUselessRevisions=7081  nbAssignments=19
0.87	     nbFailedAssignments=5  nbBacktracks=10  nbVisitedNodes=30  nbRestartNogoods=0  mapSize=8  nbInferences=0
0.87	     nbTooLargeKeys=0
0.87	       =>  wckTime=0.065  cpuTime=0.04  mem=14M820
0.89	   
0.89	   search
0.89	     run=1  nbConstraintChecks=44505  nbPropagations=2924  nbRevisions=25179  nbUselessRevisions=19841  nbAssignments=48
0.89	     nbFailedAssignments=12  nbBacktracks=27  nbVisitedNodes=76  nbRestartNogoods=1  mapSize=20  nbInferences=0
0.89	     nbTooLargeKeys=0
0.89	       =>  wckTime=0.084  cpuTime=0.05  mem=14M820
0.91	   
0.91	   search
0.91	     run=2  nbConstraintChecks=88425  nbPropagations=5453  nbRevisions=52012  nbUselessRevisions=41322  nbAssignments=96
0.91	     nbFailedAssignments=29  nbBacktracks=54  nbVisitedNodes=156  nbRestartNogoods=4  mapSize=43  nbInferences=0
0.91	     nbTooLargeKeys=0
0.91	       =>  wckTime=0.1  cpuTime=0.06  mem=14M820
0.92	   
0.92	   search
0.92	     run=3  nbConstraintChecks=137337  nbPropagations=8896  nbRevisions=91514  nbUselessRevisions=73348
0.92	     nbAssignments=153  nbFailedAssignments=46  nbBacktracks=91  nbVisitedNodes=247  nbRestartNogoods=6  mapSize=72
0.92	     nbInferences=0  nbTooLargeKeys=0
0.92	       =>  wckTime=0.115  cpuTime=0.07  mem=14M820
0.94	   
0.94	   search
0.94	     run=4  nbConstraintChecks=204245  nbPropagations=13538  nbRevisions=148036  nbUselessRevisions=119499
0.94	     nbAssignments=232  nbFailedAssignments=69  nbBacktracks=141  nbVisitedNodes=379  nbRestartNogoods=7  mapSize=110
0.94	     nbInferences=0  nbTooLargeKeys=0
0.94	       =>  wckTime=0.134  cpuTime=0.09  mem=14M820
0.98	   
0.98	   search
0.98	     run=5  nbConstraintChecks=326057  nbPropagations=20316  nbRevisions=235940  nbUselessRevisions=191647
0.98	     nbAssignments=366  nbFailedAssignments=120  nbBacktracks=216  nbVisitedNodes=608  nbRestartNogoods=13  mapSize=180
0.98	     nbInferences=0  nbTooLargeKeys=0
0.98	       =>  wckTime=0.17  cpuTime=0.12  mem=14M820
1.01	   
1.01	   search
1.01	     run=6  nbConstraintChecks=471132  nbPropagations=29820  nbRevisions=362868  nbUselessRevisions=296257
1.01	     nbAssignments=546  nbFailedAssignments=179  nbBacktracks=331  nbVisitedNodes=901  nbRestartNogoods=16  mapSize=268
1.01	     nbInferences=0  nbTooLargeKeys=0
1.01	       =>  wckTime=0.208  cpuTime=0.16  mem=14M820
1.08	   
1.08	   search
1.08	     run=7  nbConstraintChecks=738826  nbPropagations=43844  nbRevisions=556959  nbUselessRevisions=455888
1.08	     nbAssignments=821  nbFailedAssignments=277  nbBacktracks=501  nbVisitedNodes=1369  nbRestartNogoods=19  mapSize=411
1.08	     nbInferences=0  nbTooLargeKeys=0
1.08	       =>  wckTime=0.274  cpuTime=0.23  mem=14M820
1.18	   
1.18	   search
1.18	     run=8  nbConstraintChecks=1138821  nbPropagations=64736  nbRevisions=852744  nbUselessRevisions=699368
1.18	     nbAssignments=1219  nbFailedAssignments=414  nbBacktracks=757  nbVisitedNodes=2047  nbRestartNogoods=28
1.18	     mapSize=634  nbInferences=0  nbTooLargeKeys=0
1.18	       =>  wckTime=0.377  cpuTime=0.32  mem=14M820
1.32	   
1.32	   search
1.32	     run=9  nbConstraintChecks=1661737  nbPropagations=94971  nbRevisions=1289471  nbUselessRevisions=1060513
1.32	     nbAssignments=1821  nbFailedAssignments=624  nbBacktracks=1143  nbVisitedNodes=3059  nbRestartNogoods=34
1.32	     mapSize=957  nbInferences=0  nbTooLargeKeys=0
1.32	       =>  wckTime=0.516  cpuTime=0.45  mem=14M820
1.35	   
1.35	   INFO : Stopping hyperNogood (mapSize=1009, nbTooLargekeys=0, mem=14M820)
1.51	   
1.51	   search
1.51	     run=10  nbConstraintChecks=2508539  nbPropagations=139818  nbRevisions=1950010  nbUselessRevisions=1607171
1.51	     nbAssignments=2744  nbFailedAssignments=962  nbBacktracks=1722  nbVisitedNodes=4655  nbRestartNogoods=36
1.51	       =>  wckTime=0.709  cpuTime=0.63  mem=14M820
1.79	   
1.79	   search
1.79	     run=11  nbConstraintChecks=3852675  nbPropagations=207798  nbRevisions=2950630  nbUselessRevisions=2432756
1.79	     nbAssignments=4122  nbFailedAssignments=1468  nbBacktracks=2586  nbVisitedNodes=7028  nbRestartNogoods=41
1.79	       =>  wckTime=0.989  cpuTime=0.91  mem=14M820
2.20	   
2.20	   search
2.20	     run=12  nbConstraintChecks=5840717  nbPropagations=309330  nbRevisions=4460696  nbUselessRevisions=3679363
2.20	     nbAssignments=6183  nbFailedAssignments=2198  nbBacktracks=3887  nbVisitedNodes=10530  nbRestartNogoods=48
2.21	       =>  wckTime=1.399  cpuTime=1.31  mem=14M820
2.75	   
2.75	   search
2.75	     run=13  nbConstraintChecks=8573368  nbPropagations=458672  nbRevisions=6701368  nbUselessRevisions=5533748
2.75	     nbAssignments=9224  nbFailedAssignments=3288  nbBacktracks=5834  nbVisitedNodes=15710  nbRestartNogoods=52
2.75	       =>  wckTime=1.945  cpuTime=1.85  mem=14M820
3.53	   
3.53	   search
3.53	     run=14  nbConstraintChecks=12563393  nbPropagations=677051  nbRevisions=9972286  nbUselessRevisions=8238098
3.53	     nbAssignments=13676  nbFailedAssignments=4815  nbBacktracks=8755  nbVisitedNodes=23184  nbRestartNogoods=58
3.53	       =>  wckTime=2.723  cpuTime=2.63  mem=14M820
4.73	   
4.73	   search
4.73	     run=15  nbConstraintChecks=18756866  nbPropagations=1002218  nbRevisions=14847029  nbUselessRevisions=12268084
4.73	     nbAssignments=20424  nbFailedAssignments=7181  nbBacktracks=13133  nbVisitedNodes=34634  nbRestartNogoods=64
4.73	       =>  wckTime=3.928  cpuTime=3.83  mem=14M820
6.61	   
6.61	   search
6.61	     run=16  nbConstraintChecks=28462733  nbPropagations=1494030  nbRevisions=22230474  nbUselessRevisions=18372186
6.61	     nbAssignments=30759  nbFailedAssignments=10942  nbBacktracks=19701  nbVisitedNodes=52336  nbRestartNogoods=71
6.61	       =>  wckTime=5.808  cpuTime=5.72  mem=14M820
9.44	   
9.44	   search
9.44	     run=17  nbConstraintChecks=43144395  nbPropagations=2236698  nbRevisions=33355872  nbUselessRevisions=27561918
9.44	     nbAssignments=46093  nbFailedAssignments=16405  nbBacktracks=29555  nbVisitedNodes=78479  nbRestartNogoods=78
9.44	       =>  wckTime=8.631  cpuTime=8.54  mem=14M820
13.64	   
13.64	   search
13.64	     run=18  nbConstraintChecks=65207226  nbPropagations=3353313  nbRevisions=50179125  nbUselessRevisions=41473705
13.64	     nbAssignments=69202  nbFailedAssignments=24728  nbBacktracks=44336  nbVisitedNodes=117923  nbRestartNogoods=86
13.64	       =>  wckTime=12.837  cpuTime=12.75  mem=14M820
15.46	   
15.46	   search
15.46	     run=19  nbConstraintChecks=74824148  nbPropagations=4630765  nbRevisions=69460032  nbUselessRevisions=57419909
15.46	     nbAssignments=78955  nbFailedAssignments=28322  nbBacktracks=50489  nbVisitedNodes=134655  nbRestartNogoods=96
15.46	       =>  wckTime=14.659  cpuTime=14.57  mem=14M820
15.47	   
15.47	   global
15.47	     nbConstraintChecks=74856158  nbPropagations=4631620  nbRevisions=69465434  nbUselessRevisions=57424075
15.47	     nbRestartNogoods=96  solvingWckTime=14.66  solvingCpuTime=14.57  expiredTime=no  totalExploration=yes
15.47	     nbFoundSolutions=0  globalCpuTime=14.97
15.47	       =>  wckTime=15.154  cpuTime=14.91  mem=14M820
15.47	   
15.47	s UNSATISFIABLE
15.47	d NODES 78955
15.47	d CHECKS 74856158
15.47	   
15.47	   totalWckTime=15.229  totalCpuTime=14.97

Verifier Data (download as text)

No possible verification on an UNSAT instance

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node15/watcher-228624-1168299725 -o ROOT/results/node15/solver-228624-1168299725 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/228624-1168299725/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.06 1.13 1.24 4/78 8718
/proc/meminfo: memFree=1605200/2055920 swapFree=4174172/4192956
[pid=8717] ppid=8715 vsize=168 CPUtime=0
/proc/8717/stat : 8717 (java) R 8715 8717 6620 0 -1 0 39 0 0 0 0 0 0 0 20 0 1 0 178367346 172032 23 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 7512363 0 0 4096 0 0 0 0 17 1 0 0
/proc/8717/statm: 42 23 18 14 0 2 0

[startup+0.10599 s]
/proc/loadavg: 1.06 1.13 1.24 4/78 8718
/proc/meminfo: memFree=1605200/2055920 swapFree=4174172/4192956
[pid=8717] ppid=8715 vsize=914988 CPUtime=0.08
/proc/8717/stat : 8717 (java) R 8715 8717 6620 0 -1 0 3019 0 1 0 7 1 0 0 21 0 8 0 178367346 936947712 2765 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153799154 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8717/statm: 228747 2765 1435 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.514064 s]
/proc/loadavg: 1.06 1.13 1.24 4/78 8718
/proc/meminfo: memFree=1605200/2055920 swapFree=4174172/4192956
[pid=8717] ppid=8715 vsize=915328 CPUtime=0.47
/proc/8717/stat : 8717 (java) R 8715 8717 6620 0 -1 0 6409 0 5 0 43 4 0 0 16 0 8 0 178367346 937295872 6152 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153563278 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8717/statm: 228832 6152 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915328

[startup+1.3362 s]
/proc/loadavg: 1.06 1.13 1.24 2/85 8725
/proc/meminfo: memFree=1579928/2055920 swapFree=4174172/4192956
[pid=8717] ppid=8715 vsize=915456 CPUtime=1.28
/proc/8717/stat : 8717 (java) R 8715 8717 6620 0 -1 0 8674 0 5 0 122 6 0 0 16 0 8 0 178367346 937426944 8416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073795801 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8717/statm: 228864 8416 2524 14 0 215334 0
[pid=8717/tid=8719] ppid=8715 vsize=915456 CPUtime=0.03
/proc/8717/task/8719/stat : 8719 (java) S 8715 8717 6620 0 -1 64 229 0 0 0 3 0 0 0 16 0 8 0 178367350 937426944 8416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8717/tid=8720] ppid=8715 vsize=915456 CPUtime=0
/proc/8717/task/8720/stat : 8720 (java) S 8715 8717 6620 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 178367350 937426944 8416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8717/tid=8721] ppid=8715 vsize=915456 CPUtime=0
/proc/8717/task/8721/stat : 8721 (java) S 8715 8717 6620 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178367350 937426944 8416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8717/tid=8722] ppid=8715 vsize=915456 CPUtime=0
/proc/8717/task/8722/stat : 8722 (java) S 8715 8717 6620 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 178367354 937426944 8416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8717/tid=8723] ppid=8715 vsize=915456 CPUtime=0.2
/proc/8717/task/8723/stat : 8723 (java) S 8715 8717 6620 0 -1 64 387 0 0 0 19 1 0 0 15 0 8 0 178367354 937426944 8416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8717/tid=8724] ppid=8715 vsize=915456 CPUtime=0
/proc/8717/task/8724/stat : 8724 (java) S 8715 8717 6620 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 178367354 937426944 8416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8717/tid=8725] ppid=8715 vsize=915456 CPUtime=0
/proc/8717/task/8725/stat : 8725 (java) S 8715 8717 6620 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 178367354 937426944 8416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 915456

[startup+2.98848 s]
/proc/loadavg: 1.06 1.13 1.24 3/85 8725
/proc/meminfo: memFree=1579672/2055920 swapFree=4174172/4192956
[pid=8717] ppid=8715 vsize=915456 CPUtime=2.92
/proc/8717/stat : 8717 (java) R 8715 8717 6620 0 -1 0 8693 0 5 0 286 6 0 0 18 0 8 0 178367346 937426944 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073825738 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8717/statm: 228864 8434 2524 14 0 215334 0
[pid=8717/tid=8719] ppid=8715 vsize=915456 CPUtime=0.03
/proc/8717/task/8719/stat : 8719 (java) S 8715 8717 6620 0 -1 64 229 0 0 0 3 0 0 0 16 0 8 0 178367350 937426944 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8717/tid=8720] ppid=8715 vsize=915456 CPUtime=0
/proc/8717/task/8720/stat : 8720 (java) S 8715 8717 6620 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 178367350 937426944 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8717/tid=8721] ppid=8715 vsize=915456 CPUtime=0
/proc/8717/task/8721/stat : 8721 (java) S 8715 8717 6620 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178367350 937426944 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8717/tid=8722] ppid=8715 vsize=915456 CPUtime=0
/proc/8717/task/8722/stat : 8722 (java) S 8715 8717 6620 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 178367354 937426944 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8717/tid=8723] ppid=8715 vsize=915456 CPUtime=0.21
/proc/8717/task/8723/stat : 8723 (java) S 8715 8717 6620 0 -1 64 393 0 0 0 20 1 0 0 16 0 8 0 178367354 937426944 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8717/tid=8724] ppid=8715 vsize=915456 CPUtime=0
/proc/8717/task/8724/stat : 8724 (java) S 8715 8717 6620 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 178367354 937426944 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8717/tid=8725] ppid=8715 vsize=915456 CPUtime=0
/proc/8717/task/8725/stat : 8725 (java) S 8715 8717 6620 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 178367354 937426944 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915456

[startup+6.26704 s]
/proc/loadavg: 1.05 1.13 1.23 2/85 8725
/proc/meminfo: memFree=1579544/2055920 swapFree=4174172/4192956
[pid=8717] ppid=8715 vsize=915456 CPUtime=6.2
/proc/8717/stat : 8717 (java) R 8715 8717 6620 0 -1 0 8699 0 5 0 614 6 0 0 20 0 8 0 178367346 937426944 8439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073795696 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8717/statm: 228864 8439 2524 14 0 215334 0
[pid=8717/tid=8719] ppid=8715 vsize=915456 CPUtime=0.03
/proc/8717/task/8719/stat : 8719 (java) S 8715 8717 6620 0 -1 64 229 0 0 0 3 0 0 0 16 0 8 0 178367350 937426944 8439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8717/tid=8720] ppid=8715 vsize=915456 CPUtime=0
/proc/8717/task/8720/stat : 8720 (java) S 8715 8717 6620 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 178367350 937426944 8439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8717/tid=8721] ppid=8715 vsize=915456 CPUtime=0
/proc/8717/task/8721/stat : 8721 (java) S 8715 8717 6620 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178367350 937426944 8439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8717/tid=8722] ppid=8715 vsize=915456 CPUtime=0
/proc/8717/task/8722/stat : 8722 (java) S 8715 8717 6620 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 178367354 937426944 8439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8717/tid=8723] ppid=8715 vsize=915456 CPUtime=0.21
/proc/8717/task/8723/stat : 8723 (java) S 8715 8717 6620 0 -1 64 393 0 0 0 20 1 0 0 16 0 8 0 178367354 937426944 8439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8717/tid=8724] ppid=8715 vsize=915456 CPUtime=0
/proc/8717/task/8724/stat : 8724 (java) S 8715 8717 6620 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 178367354 937426944 8439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8717/tid=8725] ppid=8715 vsize=915456 CPUtime=0
/proc/8717/task/8725/stat : 8725 (java) S 8715 8717 6620 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 178367354 937426944 8439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915456

[startup+12.7512 s]
/proc/loadavg: 1.05 1.12 1.23 2/85 8725
/proc/meminfo: memFree=1579544/2055920 swapFree=4174172/4192956
[pid=8717] ppid=8715 vsize=915456 CPUtime=12.68
/proc/8717/stat : 8717 (java) R 8715 8717 6620 0 -1 0 8703 0 5 0 1262 6 0 0 25 0 8 0 178367346 937426944 8443 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073920570 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8717/statm: 228864 8443 2524 14 0 215334 0
[pid=8717/tid=8719] ppid=8715 vsize=915456 CPUtime=0.03
/proc/8717/task/8719/stat : 8719 (java) S 8715 8717 6620 0 -1 64 229 0 0 0 3 0 0 0 16 0 8 0 178367350 937426944 8443 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8717/tid=8720] ppid=8715 vsize=915456 CPUtime=0
/proc/8717/task/8720/stat : 8720 (java) S 8715 8717 6620 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 178367350 937426944 8443 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8717/tid=8721] ppid=8715 vsize=915456 CPUtime=0
/proc/8717/task/8721/stat : 8721 (java) S 8715 8717 6620 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178367350 937426944 8443 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8717/tid=8722] ppid=8715 vsize=915456 CPUtime=0
/proc/8717/task/8722/stat : 8722 (java) S 8715 8717 6620 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 178367354 937426944 8443 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8717/tid=8723] ppid=8715 vsize=915456 CPUtime=0.21
/proc/8717/task/8723/stat : 8723 (java) S 8715 8717 6620 0 -1 64 393 0 0 0 20 1 0 0 16 0 8 0 178367354 937426944 8443 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8717/tid=8724] ppid=8715 vsize=915456 CPUtime=0
/proc/8717/task/8724/stat : 8724 (java) S 8715 8717 6620 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 178367354 937426944 8443 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8717/tid=8725] ppid=8715 vsize=915456 CPUtime=0
/proc/8717/task/8725/stat : 8725 (java) S 8715 8717 6620 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 178367354 937426944 8443 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 915456

Child status: 0
Real time (s): 15.4909
CPU time (s): 15.4197
CPU user time (s): 15.3487
CPU system time (s): 0.070989
CPU usage (%): 99.5401
Max. virtual memory (cumulated for all children) (KiB): 915456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.3487
system time used= 0.070989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8798
page faults= 5
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1164
involuntary context switches= 584

runsolver used 0.020996 s user time and 0.045993 s system time

The end

Launcher Data (download as text)

Begin job on node15 on Mon Jan  8 23:42:05 UTC 2007


IDJOB= 228624
IDBENCH= 6213
FILE ID= node15/228624-1168299725

PBS_JOBID= 3502169

Free space on /tmp= 66334 MiB

BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.2/rand-2-40-11-414-200-19_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/228624-1168299725/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node15/watcher-228624-1168299725 -o ROOT/results/node15/solver-228624-1168299725 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/228624-1168299725/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  7b1ac7753e34047d49fc9d8bbfd33308

RANDOM SEED= 552708039

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.276
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.276
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:       1605680 kB
Buffers:         43600 kB
Cached:         324532 kB
SwapCached:       5800 kB
Active:         247728 kB
Inactive:       150772 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1605680 kB
SwapTotal:     4192956 kB
SwapFree:      4174172 kB
Dirty:            1832 kB
Writeback:           0 kB
Mapped:          40308 kB
Slab:            37052 kB
Committed_AS:  5386032 kB
PageTables:       2000 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= 66334 MiB



End job on node15 on Mon Jan  8 23:42:21 UTC 2007