Trace number 228813

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 ACUNSAT 15.4846 15.5911

DiagnosticValue
CHECKS93372206
NODES87383

General information on the benchmark

Nametightness/tightness0.35/
rand-2-40-16-250-350-55_ext.xml
MD5SUMc7ae2533d1bb5f38eb528bed6db9306d
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 benchmark5.05123
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables40
Number of constraints250
Maximum constraint arity2
Maximum domain size16
Number of constraints which are defined in extension250
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/228813-1168080913/unknown.xml
0.35	   
0.35	   domains being loaded...
0.35	   
0.35	   variables being loaded...
0.39	     nbVariables=40  nbDomainTypes=1  minDomainSize=16  maxDomainSize=16
0.39	       =>  wckTime=0.094  cpuTime=0.08  mem=6M951
0.39	   
0.39	   relations being loaded...
0.46	   
0.46	   constraints being loaded...
0.57	     nbConstraints=250  nbRelationTypes=250  nbExtensionStructures=250  nbSharedExtensionStructures=0
0.57	     nbConflictsStructures=250  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=1370  maxDegree=19
0.57	     maxArity=2
0.57	       =>  wckTime=0.273  cpuTime=0.19  mem=11M828
0.60	   
0.60	   solver IterativeSystematicSolver being built... 
0.75	       =>  wckTime=0.459  cpuTime=0.32  mem=13M736
0.76	   
0.76	   preprocessing
0.76	     nbConstraintChecks=0  nbPropagations=40  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
0.76	     detectedInconsistency=no
0.76	       =>  wckTime=0.0030  cpuTime=0.0  mem=13M736
0.80	   
0.80	   search
0.80	     run=0  nbConstraintChecks=22578  nbPropagations=441  nbRevisions=4000  nbUselessRevisions=3124  nbAssignments=25
0.80	     nbFailedAssignments=10  nbBacktracks=10  nbVisitedNodes=42  nbRestartNogoods=0  mapSize=9  nbInferences=0
0.80	     nbTooLargeKeys=0
0.80	       =>  wckTime=0.049  cpuTime=0.02  mem=14M711
0.82	   
0.82	   search
0.82	     run=1  nbConstraintChecks=59495  nbPropagations=1526  nbRevisions=14444  nbUselessRevisions=11136  nbAssignments=60
0.82	     nbFailedAssignments=23  nbBacktracks=25  nbVisitedNodes=100  nbRestartNogoods=1  mapSize=22  nbInferences=0
0.82	     nbTooLargeKeys=0
0.82	       =>  wckTime=0.067  cpuTime=0.04  mem=14M711
0.84	   
0.84	   search
0.84	     run=2  nbConstraintChecks=101791  nbPropagations=3428  nbRevisions=33126  nbUselessRevisions=25443
0.84	     nbAssignments=106  nbFailedAssignments=38  nbBacktracks=48  nbVisitedNodes=175  nbRestartNogoods=4  mapSize=37
0.84	     nbInferences=0  nbTooLargeKeys=0
0.84	       =>  wckTime=0.088  cpuTime=0.05  mem=14M711
0.85	   
0.85	   search
0.85	     run=3  nbConstraintChecks=151628  nbPropagations=6282  nbRevisions=61056  nbUselessRevisions=46908
0.85	     nbAssignments=162  nbFailedAssignments=57  nbBacktracks=82  nbVisitedNodes=265  nbRestartNogoods=8  mapSize=63
0.85	     nbInferences=0  nbTooLargeKeys=0
0.85	       =>  wckTime=0.1  cpuTime=0.06  mem=14M711
0.88	   
0.88	   search
0.88	     run=4  nbConstraintChecks=261003  nbPropagations=10969  nbRevisions=109032  nbUselessRevisions=83677
0.88	     nbAssignments=261  nbFailedAssignments=98  nbBacktracks=133  nbVisitedNodes=436  nbRestartNogoods=9  mapSize=105
0.88	     nbInferences=0  nbTooLargeKeys=0
0.88	       =>  wckTime=0.123  cpuTime=0.08  mem=14M711
0.91	   
0.91	   search
0.91	     run=5  nbConstraintChecks=379588  nbPropagations=17803  nbRevisions=180291  nbUselessRevisions=138779
0.91	     nbAssignments=386  nbFailedAssignments=140  nbBacktracks=211  nbVisitedNodes=641  nbRestartNogoods=14  mapSize=167
0.91	     nbInferences=0  nbTooLargeKeys=0
0.91	       =>  wckTime=0.15  cpuTime=0.11  mem=14M711
0.95	   
0.95	   search
0.95	     run=6  nbConstraintChecks=592758  nbPropagations=28378  nbRevisions=290355  nbUselessRevisions=223684
0.95	     nbAssignments=576  nbFailedAssignments=210  nbBacktracks=324  nbVisitedNodes=967  nbRestartNogoods=17  mapSize=258
0.95	     nbInferences=0  nbTooLargeKeys=0
0.95	       =>  wckTime=0.191  cpuTime=0.15  mem=14M711
1.00	   
1.00	   search
1.00	     run=7  nbConstraintChecks=896089  nbPropagations=44477  nbRevisions=459111  nbUselessRevisions=353433
1.00	     nbAssignments=901  nbFailedAssignments=358  nbBacktracks=494  nbVisitedNodes=1534  nbRestartNogoods=23  mapSize=402
1.00	     nbInferences=0  nbTooLargeKeys=0
1.00	       =>  wckTime=0.251  cpuTime=0.2  mem=14M711
1.09	   
1.09	   search
1.09	     run=8  nbConstraintChecks=1336571  nbPropagations=68797  nbRevisions=715723  nbUselessRevisions=550848
1.09	     nbAssignments=1345  nbFailedAssignments=541  nbBacktracks=752  nbVisitedNodes=2306  nbRestartNogoods=28
1.09	     mapSize=617  nbInferences=0  nbTooLargeKeys=0
1.09	       =>  wckTime=0.339  cpuTime=0.29  mem=14M711
1.24	   
1.24	   search
1.24	     run=9  nbConstraintChecks=2078493  nbPropagations=106184  nbRevisions=1116922  nbUselessRevisions=859250
1.24	     nbAssignments=2043  nbFailedAssignments=849  nbBacktracks=1136  nbVisitedNodes=3543  nbRestartNogoods=32
1.24	     mapSize=952  nbInferences=0  nbTooLargeKeys=0
1.24	       =>  wckTime=0.488  cpuTime=0.42  mem=14M711
1.27	   
1.27	   INFO : Stopping hyperNogood (mapSize=1010, nbTooLargekeys=0, mem=14M711)
1.44	   
1.44	   search
1.44	     run=10  nbConstraintChecks=3211999  nbPropagations=164353  nbRevisions=1743489  nbUselessRevisions=1341351
1.44	     nbAssignments=3116  nbFailedAssignments=1339  nbBacktracks=1713  nbVisitedNodes=5457  nbRestartNogoods=42
1.44	       =>  wckTime=0.683  cpuTime=0.61  mem=14M711
1.68	   
1.68	   search
1.68	     run=11  nbConstraintChecks=4774694  nbPropagations=250229  nbRevisions=2670073  nbUselessRevisions=2052837
1.68	     nbAssignments=4621  nbFailedAssignments=1975  nbBacktracks=2578  nbVisitedNodes=8092  nbRestartNogoods=48
1.68	       =>  wckTime=0.927  cpuTime=0.85  mem=14M711
2.04	   
2.04	   search
2.04	     run=12  nbConstraintChecks=7104213  nbPropagations=377720  nbRevisions=4054591  nbUselessRevisions=3116878
2.04	     nbAssignments=6868  nbFailedAssignments=2921  nbBacktracks=3875  nbVisitedNodes=12060  nbRestartNogoods=55
2.04	       =>  wckTime=1.29  cpuTime=1.2  mem=14M711
2.61	   
2.61	   search
2.61	     run=13  nbConstraintChecks=10721327  nbPropagations=570198  nbRevisions=6145855  nbUselessRevisions=4722903
2.61	     nbAssignments=10359  nbFailedAssignments=4460  nbBacktracks=5821  nbVisitedNodes=18237  nbRestartNogoods=63
2.61	       =>  wckTime=1.852  cpuTime=1.76  mem=14M711
3.40	   
3.40	   search
3.40	     run=14  nbConstraintChecks=15873952  nbPropagations=854878  nbRevisions=9215430  nbUselessRevisions=7077017
3.40	     nbAssignments=15213  nbFailedAssignments=6389  nbBacktracks=8740  nbVisitedNodes=26655  nbRestartNogoods=74
3.40	       =>  wckTime=2.648  cpuTime=2.55  mem=14M711
4.64	   
4.64	   search
4.64	     run=15  nbConstraintChecks=23983753  nbPropagations=1279809  nbRevisions=13840134  nbUselessRevisions=10626430
4.64	     nbAssignments=22882  nbFailedAssignments=9671  nbBacktracks=13118  nbVisitedNodes=40119  nbRestartNogoods=82
4.64	       =>  wckTime=3.883  cpuTime=3.77  mem=14M711
6.50	   
6.50	   search
6.50	     run=16  nbConstraintChecks=36099090  nbPropagations=1919016  nbRevisions=20776704  nbUselessRevisions=15948026
6.50	     nbAssignments=34161  nbFailedAssignments=14377  nbBacktracks=19687  nbVisitedNodes=59980  nbRestartNogoods=87
6.50	       =>  wckTime=5.745  cpuTime=5.62  mem=14M711
9.20	   
9.20	   search
9.20	     run=17  nbConstraintChecks=53799906  nbPropagations=2865533  nbRevisions=31034404  nbUselessRevisions=23813555
9.20	     nbAssignments=50489  nbFailedAssignments=20848  nbBacktracks=29539  nbVisitedNodes=88358  nbRestartNogoods=96
9.20	       =>  wckTime=8.447  cpuTime=8.3  mem=14M711
13.42	   
13.42	   search
13.42	     run=18  nbConstraintChecks=80049817  nbPropagations=4275458  nbRevisions=46320850  nbUselessRevisions=35542426
13.42	     nbAssignments=75144  nbFailedAssignments=30721  nbBacktracks=44318  nbVisitedNodes=131336  nbRestartNogoods=111
13.42	       =>  wckTime=12.663  cpuTime=12.52  mem=14M711
15.55	   
15.55	   search
15.55	     run=19  nbConstraintChecks=93372206  nbPropagations=5918092  nbRevisions=64143931  nbUselessRevisions=49224085
15.55	     nbAssignments=87383  nbFailedAssignments=35639  nbBacktracks=51640  nbVisitedNodes=152681  nbRestartNogoods=113
15.55	       =>  wckTime=14.8  cpuTime=14.65  mem=14M711
15.56	   
15.56	   global
15.56	     nbConstraintChecks=93372206  nbPropagations=5918132  nbRevisions=64143931  nbUselessRevisions=49224085
15.56	     nbRestartNogoods=113  solvingWckTime=14.801  solvingCpuTime=14.66  expiredTime=no  totalExploration=yes
15.56	     nbFoundSolutions=0  globalCpuTime=15.04
15.56	       =>  wckTime=15.263  cpuTime=14.98  mem=14M711
15.56	   
15.56	s UNSATISFIABLE
15.56	d NODES 87383
15.56	d CHECKS 93372206
15.56	   
15.56	   totalWckTime=15.338  totalCpuTime=15.04

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/node4/watcher-228813-1168080913 -o ROOT/results/node4/solver-228813-1168080913 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/228813-1168080913/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.56 1.40 1.77 3/93 13077
/proc/meminfo: memFree=1128624/2055920 swapFree=4191880/4192956
[pid=13076] ppid=13074 vsize=18540 CPUtime=0
/proc/13076/stat : 13076 (runsolver) R 13074 13076 12315 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 156488028 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 259913215271 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/13076/statm: 4635 279 244 17 0 2626 0

[startup+0.107557 s]
/proc/loadavg: 0.56 1.40 1.77 3/93 13077
/proc/meminfo: memFree=1128624/2055920 swapFree=4191880/4192956
[pid=13076] ppid=13074 vsize=914988 CPUtime=0.08
/proc/13076/stat : 13076 (java) R 13074 13076 12315 0 -1 0 3075 0 1 0 7 1 0 0 24 0 8 0 156488028 936947712 2821 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072916972 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13076/statm: 228747 2821 1455 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.519595 s]
/proc/loadavg: 0.56 1.40 1.77 3/93 13077
/proc/meminfo: memFree=1128624/2055920 swapFree=4191880/4192956
[pid=13076] ppid=13074 vsize=915328 CPUtime=0.5
/proc/13076/stat : 13076 (java) R 13074 13076 12315 0 -1 0 6939 0 1 0 46 4 0 0 25 0 8 0 156488028 937295872 6678 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13076/statm: 228832 6678 2147 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328

[startup+1.34867 s]
/proc/loadavg: 0.56 1.40 1.77 3/100 13084
/proc/meminfo: memFree=1105272/2055920 swapFree=4191880/4192956
[pid=13076] ppid=13074 vsize=915452 CPUtime=1.32
/proc/13076/stat : 13076 (java) R 13074 13076 12315 0 -1 0 8592 0 1 0 126 6 0 0 25 0 8 0 156488028 937422848 8330 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13076/statm: 228863 8330 2513 14 0 215333 0
[pid=13076/tid=13078] ppid=13074 vsize=915452 CPUtime=0.02
/proc/13076/task/13078/stat : 13078 (java) S 13074 13076 12315 0 -1 64 242 0 0 0 2 0 0 0 16 0 8 0 156488032 937422848 8330 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13076/tid=13079] ppid=13074 vsize=915452 CPUtime=0
/proc/13076/task/13079/stat : 13079 (java) S 13074 13076 12315 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156488033 937422848 8330 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13076/tid=13080] ppid=13074 vsize=915452 CPUtime=0
/proc/13076/task/13080/stat : 13080 (java) S 13074 13076 12315 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156488033 937422848 8330 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13076/tid=13081] ppid=13074 vsize=915452 CPUtime=0
/proc/13076/task/13081/stat : 13081 (java) S 13074 13076 12315 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156488036 937422848 8330 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13076/tid=13082] ppid=13074 vsize=915452 CPUtime=0.19
/proc/13076/task/13082/stat : 13082 (java) R 13074 13076 12315 0 -1 64 383 0 0 0 19 0 0 0 16 0 8 0 156488036 937422848 8330 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153534163 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13076/tid=13083] ppid=13074 vsize=915452 CPUtime=0
/proc/13076/task/13083/stat : 13083 (java) S 13074 13076 12315 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156488036 937422848 8330 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13076/tid=13084] ppid=13074 vsize=915452 CPUtime=0
/proc/13076/task/13084/stat : 13084 (java) S 13074 13076 12315 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156488036 937422848 8330 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915452

[startup+2.98783 s]
/proc/loadavg: 0.76 1.43 1.78 3/100 13084
/proc/meminfo: memFree=1105144/2055920 swapFree=4191880/4192956
[pid=13076] ppid=13074 vsize=915452 CPUtime=2.94
/proc/13076/stat : 13076 (java) R 13074 13076 12315 0 -1 0 8606 0 1 0 288 6 0 0 25 0 8 0 156488028 937422848 8343 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073815297 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13076/statm: 228863 8343 2513 14 0 215333 0
[pid=13076/tid=13078] ppid=13074 vsize=915452 CPUtime=0.02
/proc/13076/task/13078/stat : 13078 (java) S 13074 13076 12315 0 -1 64 242 0 0 0 2 0 0 0 16 0 8 0 156488032 937422848 8343 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13076/tid=13079] ppid=13074 vsize=915452 CPUtime=0
/proc/13076/task/13079/stat : 13079 (java) S 13074 13076 12315 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156488033 937422848 8343 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13076/tid=13080] ppid=13074 vsize=915452 CPUtime=0
/proc/13076/task/13080/stat : 13080 (java) S 13074 13076 12315 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156488033 937422848 8343 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13076/tid=13081] ppid=13074 vsize=915452 CPUtime=0
/proc/13076/task/13081/stat : 13081 (java) S 13074 13076 12315 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156488036 937422848 8343 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13076/tid=13082] ppid=13074 vsize=915452 CPUtime=0.2
/proc/13076/task/13082/stat : 13082 (java) S 13074 13076 12315 0 -1 64 387 0 0 0 20 0 0 0 16 0 8 0 156488036 937422848 8343 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13076/tid=13083] ppid=13074 vsize=915452 CPUtime=0
/proc/13076/task/13083/stat : 13083 (java) S 13074 13076 12315 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156488036 937422848 8343 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13076/tid=13084] ppid=13074 vsize=915452 CPUtime=0
/proc/13076/task/13084/stat : 13084 (java) S 13074 13076 12315 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156488036 937422848 8343 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) 915452

[startup+6.26814 s]
/proc/loadavg: 0.76 1.43 1.78 3/100 13084
/proc/meminfo: memFree=1105144/2055920 swapFree=4191880/4192956
[pid=13076] ppid=13074 vsize=915452 CPUtime=6.2
/proc/13076/stat : 13076 (java) R 13074 13076 12315 0 -1 0 8612 0 1 0 614 6 0 0 25 0 8 0 156488028 937422848 8348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073809260 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13076/statm: 228863 8348 2513 14 0 215333 0
[pid=13076/tid=13078] ppid=13074 vsize=915452 CPUtime=0.02
/proc/13076/task/13078/stat : 13078 (java) S 13074 13076 12315 0 -1 64 242 0 0 0 2 0 0 0 16 0 8 0 156488032 937422848 8348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13076/tid=13079] ppid=13074 vsize=915452 CPUtime=0
/proc/13076/task/13079/stat : 13079 (java) S 13074 13076 12315 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156488033 937422848 8348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13076/tid=13080] ppid=13074 vsize=915452 CPUtime=0
/proc/13076/task/13080/stat : 13080 (java) S 13074 13076 12315 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156488033 937422848 8348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13076/tid=13081] ppid=13074 vsize=915452 CPUtime=0
/proc/13076/task/13081/stat : 13081 (java) S 13074 13076 12315 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156488036 937422848 8348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13076/tid=13082] ppid=13074 vsize=915452 CPUtime=0.2
/proc/13076/task/13082/stat : 13082 (java) S 13074 13076 12315 0 -1 64 387 0 0 0 20 0 0 0 16 0 8 0 156488036 937422848 8348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13076/tid=13083] ppid=13074 vsize=915452 CPUtime=0
/proc/13076/task/13083/stat : 13083 (java) S 13074 13076 12315 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156488036 937422848 8348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13076/tid=13084] ppid=13074 vsize=915452 CPUtime=0
/proc/13076/task/13084/stat : 13084 (java) S 13074 13076 12315 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156488036 937422848 8348 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) 915452

[startup+12.7508 s]
/proc/loadavg: 0.87 1.43 1.78 2/88 13084
/proc/meminfo: memFree=1129240/2055920 swapFree=4191880/4192956
[pid=13076] ppid=13074 vsize=915452 CPUtime=12.66
/proc/13076/stat : 13076 (java) R 13074 13076 12315 0 -1 0 8617 0 1 0 1260 6 0 0 25 0 8 0 156488028 937422848 8353 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073851600 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13076/statm: 228863 8353 2513 14 0 215333 0
[pid=13076/tid=13078] ppid=13074 vsize=915452 CPUtime=0.02
/proc/13076/task/13078/stat : 13078 (java) S 13074 13076 12315 0 -1 64 242 0 0 0 2 0 0 0 16 0 8 0 156488032 937422848 8353 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13076/tid=13079] ppid=13074 vsize=915452 CPUtime=0
/proc/13076/task/13079/stat : 13079 (java) S 13074 13076 12315 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156488033 937422848 8353 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13076/tid=13080] ppid=13074 vsize=915452 CPUtime=0
/proc/13076/task/13080/stat : 13080 (java) S 13074 13076 12315 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156488033 937422848 8353 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13076/tid=13081] ppid=13074 vsize=915452 CPUtime=0
/proc/13076/task/13081/stat : 13081 (java) S 13074 13076 12315 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156488036 937422848 8353 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13076/tid=13082] ppid=13074 vsize=915452 CPUtime=0.2
/proc/13076/task/13082/stat : 13082 (java) S 13074 13076 12315 0 -1 64 387 0 0 0 20 0 0 0 16 0 8 0 156488036 937422848 8353 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13076/tid=13083] ppid=13074 vsize=915452 CPUtime=0
/proc/13076/task/13083/stat : 13083 (java) S 13074 13076 12315 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156488036 937422848 8353 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13076/tid=13084] ppid=13074 vsize=915452 CPUtime=0
/proc/13076/task/13084/stat : 13084 (java) S 13074 13076 12315 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156488036 937422848 8353 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 915452

Child status: 0
Real time (s): 15.5911
CPU time (s): 15.4846
CPU user time (s): 15.4147
CPU system time (s): 0.069989
CPU usage (%): 99.3174
Max. virtual memory (cumulated for all children) (KiB): 915452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.4147
system time used= 0.069989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8713
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= 1402
involuntary context switches= 1999

runsolver used 0.016997 s user time and 0.050992 s system time

The end

Launcher Data (download as text)

Begin job on node4 on Sat Jan  6 10:55:17 UTC 2007


IDJOB= 228813
IDBENCH= 6236
FILE ID= node4/228813-1168080913

PBS_JOBID= 3475805

Free space on /tmp= 66306 MiB

BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.35/rand-2-40-16-250-350-55_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/228813-1168080913/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node4/watcher-228813-1168080913 -o ROOT/results/node4/solver-228813-1168080913 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/228813-1168080913/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  c7ae2533d1bb5f38eb528bed6db9306d

RANDOM SEED= 458004915

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.223
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.223
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:       1129296 kB
Buffers:         74004 kB
Cached:         682160 kB
SwapCached:        268 kB
Active:         454376 kB
Inactive:       376284 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1129296 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            3708 kB
Writeback:           0 kB
Mapped:         102732 kB
Slab:            80588 kB
Committed_AS:  4569288 kB
PageTables:       2504 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= 66306 MiB



End job on node4 on Sat Jan  6 10:55:40 UTC 2007