Trace number 241811

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 8.82766 8.94542

DiagnosticValue
CHECKS660753
NODES151699

General information on the benchmark

Namedimacs/pret/
pret-150-75_ext.xml
MD5SUM8c16a1ce741b5e4e319f46b3cb8ec761
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.045992
SatisfiableNO
(Un)Satisfiability was proved
Number of variables150
Number of constraints100
Maximum constraint arity3
Maximum domain size2
Number of constraints which are defined in extension100
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=mac.xml
0.33	   
0.33	   instance
0.33	     name=/tmp/evaluation/241811-1168085425/unknown.xml
0.36	   
0.36	   domains being loaded...
0.36	   
0.36	   variables being loaded...
0.40	     nbVariables=150  nbDomainTypes=1  minDomainSize=2  maxDomainSize=2
0.40	       =>  wckTime=0.098  cpuTime=0.08  mem=6M951
0.40	   
0.40	   relations being loaded...
0.40	   
0.40	   constraints being loaded...
0.44	     nbConstraints=100  nbRelationTypes=2  nbExtensionStructures=2  nbSharedExtensionStructures=98
0.44	     nbConflictsStructures=2  nbSharedConflictsStructures=98  nbSharedBinaryRepresentations=0  maxDegree=2  maxArity=3
0.44	       =>  wckTime=0.144  cpuTime=0.11  mem=7M927
0.48	   
0.48	   solver IterativeSystematicSolver being built... 
0.65	       =>  wckTime=0.35  cpuTime=0.25  mem=15M399
0.65	   
0.65	   preprocessing
0.65	     nbConstraintChecks=0  nbPropagations=150  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
0.65	     detectedInconsistency=no
0.65	       =>  wckTime=0.0040  cpuTime=0.01  mem=15M399
0.69	   
0.69	   search
0.69	     run=0  nbConstraintChecks=255  nbValidityChecks=425  nbPropagations=249  nbRevisions=216  nbUselessRevisions=147
0.69	     nbAssignments=68  nbFailedAssignments=4  nbBacktracks=11  nbVisitedNodes=77  nbRestartNogoods=0  mapSize=4
0.69	     nbInferences=0  nbTooLargeKeys=0
0.69	       =>  wckTime=0.041  cpuTime=0.03  mem=15M399
0.70	   
0.70	   search
0.70	     run=1  nbConstraintChecks=380  nbValidityChecks=964  nbPropagations=611  nbRevisions=674  nbUselessRevisions=454
0.70	     nbAssignments=135  nbFailedAssignments=8  nbBacktracks=30  nbVisitedNodes=152  nbRestartNogoods=4  mapSize=11
0.71	     nbInferences=1  nbTooLargeKeys=0
0.71	       =>  wckTime=0.055  cpuTime=0.04  mem=15M399
0.72	   
0.72	   search
0.72	     run=2  nbConstraintChecks=580  nbValidityChecks=1685  nbPropagations=1115  nbRevisions=1438  nbUselessRevisions=951
0.72	     nbAssignments=208  nbFailedAssignments=17  nbBacktracks=55  nbVisitedNodes=243  nbRestartNogoods=5  mapSize=26
0.72	     nbInferences=1  nbTooLargeKeys=0
0.72	       =>  wckTime=0.071  cpuTime=0.05  mem=15M399
0.74	   
0.74	   search
0.74	     run=3  nbConstraintChecks=925  nbValidityChecks=2683  nbPropagations=1837  nbRevisions=2638
0.74	     nbUselessRevisions=1713  nbAssignments=326  nbFailedAssignments=25  nbBacktracks=88  nbVisitedNodes=382
0.74	     nbRestartNogoods=7  mapSize=42  nbInferences=6  nbTooLargeKeys=0
0.74	       =>  wckTime=0.091  cpuTime=0.06  mem=15M399
0.76	   
0.76	   search
0.76	     run=4  nbConstraintChecks=1286  nbValidityChecks=3770  nbPropagations=2790  nbRevisions=4306
0.76	     nbUselessRevisions=2744  nbAssignments=420  nbFailedAssignments=38  nbBacktracks=138  nbVisitedNodes=510
0.76	     nbRestartNogoods=11  mapSize=75  nbInferences=14  nbTooLargeKeys=0
0.76	       =>  wckTime=0.107  cpuTime=0.07  mem=15M399
0.78	   
0.78	   search
0.78	     run=5  nbConstraintChecks=1923  nbValidityChecks=5563  nbPropagations=4138  nbRevisions=6729
0.78	     nbUselessRevisions=4160  nbAssignments=558  nbFailedAssignments=62  nbBacktracks=215  nbVisitedNodes=696
0.78	     nbRestartNogoods=12  mapSize=112  nbInferences=14  nbTooLargeKeys=0
0.78	       =>  wckTime=0.127  cpuTime=0.09  mem=15M399
0.80	   
0.80	   search
0.80	     run=6  nbConstraintChecks=2721  nbValidityChecks=7774  nbPropagations=5977  nbRevisions=10095
0.80	     nbUselessRevisions=6094  nbAssignments=794  nbFailedAssignments=90  nbBacktracks=329  nbVisitedNodes=1002
0.80	     nbRestartNogoods=13  mapSize=173  nbInferences=28  nbTooLargeKeys=0
0.80	       =>  wckTime=0.153  cpuTime=0.11  mem=16M374
0.83	   
0.83	   search
0.83	     run=7  nbConstraintChecks=3780  nbValidityChecks=10888  nbPropagations=8543  nbRevisions=14781
0.83	     nbUselessRevisions=8724  nbAssignments=1104  nbFailedAssignments=119  nbBacktracks=502  nbVisitedNodes=1400
0.83	     nbRestartNogoods=18  mapSize=255  nbInferences=58  nbTooLargeKeys=0
0.83	       =>  wckTime=0.179  cpuTime=0.13  mem=16M374
0.88	   
0.88	   search
0.88	     run=8  nbConstraintChecks=5250  nbValidityChecks=15212  nbPropagations=12100  nbRevisions=21325
0.88	     nbUselessRevisions=12407  nbAssignments=1544  nbFailedAssignments=144  nbBacktracks=760  nbVisitedNodes=1960
0.88	     nbRestartNogoods=22  mapSize=368  nbInferences=128  nbTooLargeKeys=0
0.88	       =>  wckTime=0.226  cpuTime=0.16  mem=16M374
0.93	   
0.93	   search
0.93	     run=9  nbConstraintChecks=7233  nbValidityChecks=20882  nbPropagations=16988  nbRevisions=30326
0.93	     nbUselessRevisions=17428  nbAssignments=2108  nbFailedAssignments=176  nbBacktracks=1149  nbVisitedNodes=2676
0.93	     nbRestartNogoods=26  mapSize=513  nbInferences=216  nbTooLargeKeys=0
0.93	       =>  wckTime=0.276  cpuTime=0.2  mem=16M374
0.99	   
0.99	   search
0.99	     run=10  nbConstraintChecks=10992  nbValidityChecks=31500  nbPropagations=24317  nbRevisions=43892
0.99	     nbUselessRevisions=25052  nbAssignments=3010  nbFailedAssignments=211  nbBacktracks=1725  nbVisitedNodes=3865
0.99	     nbRestartNogoods=28  mapSize=795  nbInferences=433  nbTooLargeKeys=0
0.99	       =>  wckTime=0.341  cpuTime=0.26  mem=16M374
1.07	   
1.07	   search
1.07	     run=11  nbConstraintChecks=15468  nbValidityChecks=44217  nbPropagations=34704  nbRevisions=63169
1.07	     nbUselessRevisions=35939  nbAssignments=4284  nbFailedAssignments=260  nbBacktracks=2589  nbVisitedNodes=5520
1.07	     nbRestartNogoods=32  mapSize=1172  nbInferences=716  nbTooLargeKeys=0
1.07	       =>  wckTime=0.416  cpuTime=0.33  mem=16M374
1.20	   
1.20	   search
1.20	     run=12  nbConstraintChecks=31084  nbValidityChecks=85686  nbPropagations=55653  nbRevisions=99905
1.20	     nbUselessRevisions=54942  nbAssignments=6321  nbFailedAssignments=337  nbBacktracks=3886  nbVisitedNodes=8301
1.20	     nbRestartNogoods=36  mapSize=1908  nbInferences=1306  nbTooLargeKeys=0
1.20	       =>  wckTime=0.553  cpuTime=0.46  mem=16M374
1.36	   
1.36	   search
1.36	     run=13  nbConstraintChecks=41521  nbValidityChecks=113607  nbPropagations=83176  nbRevisions=148758
1.36	     nbUselessRevisions=81173  nbAssignments=9178  nbFailedAssignments=371  nbBacktracks=5832  nbVisitedNodes=12054
1.36	     nbRestartNogoods=44  mapSize=2801  nbInferences=2134  nbTooLargeKeys=0
1.36	       =>  wckTime=0.714  cpuTime=0.62  mem=16M374
1.61	   
1.61	   search
1.61	     run=14  nbConstraintChecks=59706  nbValidityChecks=161744  nbPropagations=122087  nbRevisions=218631
1.61	     nbUselessRevisions=119754  nbAssignments=13579  nbFailedAssignments=466  nbBacktracks=8752  nbVisitedNodes=17991
1.61	     nbRestartNogoods=47  mapSize=4331  nbInferences=3480  nbTooLargeKeys=0
1.61	       =>  wckTime=0.962  cpuTime=0.87  mem=16M374
1.98	   
1.98	   search
1.98	     run=15  nbConstraintChecks=90800  nbValidityChecks=248178  nbPropagations=181086  nbRevisions=324448
1.98	     nbUselessRevisions=178423  nbAssignments=20180  nbFailedAssignments=507  nbBacktracks=13132  nbVisitedNodes=26769
1.98	     nbRestartNogoods=49  mapSize=6503  nbInferences=5577  nbTooLargeKeys=0
1.98	       =>  wckTime=1.329  cpuTime=1.24  mem=17M349
2.49	   
2.49	   search
2.49	     run=16  nbConstraintChecks=132060  nbValidityChecks=359499  nbPropagations=264804  nbRevisions=475787
2.49	     nbUselessRevisions=263610  nbAssignments=29642  nbFailedAssignments=526  nbBacktracks=19702  nbVisitedNodes=39080
2.49	     nbRestartNogoods=54  mapSize=9348  nbInferences=8407  nbTooLargeKeys=0
2.49	       =>  wckTime=1.836  cpuTime=1.74  mem=18M324
3.23	   
3.23	   search
3.23	     run=17  nbConstraintChecks=192327  nbValidityChecks=522544  nbPropagations=384734  nbRevisions=694305
3.23	     nbUselessRevisions=388246  nbAssignments=43767  nbFailedAssignments=526  nbBacktracks=29554  nbVisitedNodes=57435
3.23	     nbRestartNogoods=58  mapSize=13569  nbInferences=12637  nbTooLargeKeys=0
3.23	       =>  wckTime=2.584  cpuTime=2.48  mem=19M299
4.37	   
4.37	   search
4.37	     run=18  nbConstraintChecks=284464  nbValidityChecks=772777  nbPropagations=559770  nbRevisions=1015777
4.37	     nbUselessRevisions=573939  nbAssignments=65176  nbFailedAssignments=526  nbBacktracks=44338  nbVisitedNodes=85435
4.37	     nbRestartNogoods=67  mapSize=20153  nbInferences=19228  nbTooLargeKeys=0
4.37	       =>  wckTime=3.717  cpuTime=3.61  mem=20M275
6.05	   
6.05	   search
6.05	     run=19  nbConstraintChecks=420460  nbValidityChecks=1139064  nbPropagations=815325  nbRevisions=1487920
6.05	     nbUselessRevisions=849061  nbAssignments=97013  nbFailedAssignments=526  nbBacktracks=66508  nbVisitedNodes=126896
6.05	     nbRestartNogoods=74  mapSize=29772  nbInferences=28852  nbTooLargeKeys=0
6.05	       =>  wckTime=5.4  cpuTime=5.27  mem=22M225
8.54	   
8.54	   search
8.54	     run=20  nbConstraintChecks=621875  nbValidityChecks=1677472  nbPropagations=1188368  nbRevisions=2181233
8.54	     nbUselessRevisions=1256293  nbAssignments=144490  nbFailedAssignments=526  nbBacktracks=99763
8.54	     nbVisitedNodes=188580  nbRestartNogoods=79  mapSize=43976  nbInferences=43059  nbTooLargeKeys=0
8.54	       =>  wckTime=7.889  cpuTime=7.74  mem=25M150
8.90	   
8.90	   search
8.90	     run=21  nbConstraintChecks=660753  nbValidityChecks=1775498  nbPropagations=1580958  nbRevisions=2914554
8.90	     nbUselessRevisions=1689743  nbAssignments=151699  nbFailedAssignments=526  nbBacktracks=104095
8.90	     nbVisitedNodes=198666  nbRestartNogoods=82  mapSize=46852  nbInferences=45937  nbTooLargeKeys=0
8.90	       =>  wckTime=8.249  cpuTime=8.1  mem=26M126
8.90	   
8.90	   global
8.90	     nbConstraintChecks=660753  nbValidityChecks=1775498  nbPropagations=1581108  nbRevisions=2914554
8.90	     nbUselessRevisions=1689743  nbRestartNogoods=82  solvingWckTime=8.25  solvingCpuTime=8.1  expiredTime=no
8.90	     totalExploration=yes  nbFoundSolutions=0  globalCpuTime=8.39
8.90	       =>  wckTime=8.602  cpuTime=8.35  mem=26M126
8.90	   
8.90	s UNSATISFIABLE
8.90	d NODES 151699
8.90	d CHECKS 660753
8.90	   
8.90	   totalWckTime=8.677  totalCpuTime=8.39

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/node76/watcher-241811-1168085425 -o ROOT/results/node76/solver-241811-1168085425 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/241811-1168085425/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.10 1.50 1.71 4/85 1296
/proc/meminfo: memFree=1693200/2055888 swapFree=4096420/4096564
[pid=1295] ppid=1293 vsize=168 CPUtime=0
/proc/1295/stat : 1295 (java) R 1293 1295 995 0 -1 0 35 0 0 0 0 0 0 0 19 0 1 0 156941564 172032 18 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4818161 0 0 4096 0 0 0 0 17 0 0 0
/proc/1295/statm: 42 18 13 14 0 2 0

[startup+0.10745 s]
/proc/loadavg: 1.10 1.50 1.71 4/85 1296
/proc/meminfo: memFree=1693200/2055888 swapFree=4096420/4096564
[pid=1295] ppid=1293 vsize=914992 CPUtime=0.08
/proc/1295/stat : 1295 (java) R 1293 1295 995 0 -1 0 3016 0 1 0 7 1 0 0 17 0 8 0 156941564 936951808 2764 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153781299 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1295/statm: 228748 2764 1436 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914992

[startup+0.519532 s]
/proc/loadavg: 1.10 1.50 1.71 4/85 1296
/proc/meminfo: memFree=1693200/2055888 swapFree=4096420/4096564
[pid=1295] ppid=1293 vsize=915468 CPUtime=0.49
/proc/1295/stat : 1295 (java) R 1293 1295 995 0 -1 0 6714 0 1 0 46 3 0 0 19 0 8 0 156941564 937439232 6454 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155835780 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1295/statm: 228867 6454 2413 14 0 215336 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915468

[startup+1.34169 s]
/proc/loadavg: 1.10 1.50 1.71 3/92 1303
/proc/meminfo: memFree=1668248/2055888 swapFree=4096420/4096564
[pid=1295] ppid=1293 vsize=915468 CPUtime=1.3
/proc/1295/stat : 1295 (java) R 1293 1295 995 0 -1 0 8972 0 1 0 125 5 0 0 25 0 8 0 156941564 937439232 8712 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073658784 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1295/statm: 228867 8712 2517 14 0 215336 0
[pid=1295/tid=1297] ppid=1293 vsize=915468 CPUtime=0.02
/proc/1295/task/1297/stat : 1297 (java) S 1293 1295 995 0 -1 64 137 0 0 0 2 0 0 0 16 0 8 0 156941568 937439232 8712 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1295/tid=1298] ppid=1293 vsize=915468 CPUtime=0
/proc/1295/task/1298/stat : 1298 (java) S 1293 1295 995 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156941569 937439232 8712 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1295/tid=1299] ppid=1293 vsize=915468 CPUtime=0
/proc/1295/task/1299/stat : 1299 (java) S 1293 1295 995 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156941569 937439232 8712 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1295/tid=1300] ppid=1293 vsize=915468 CPUtime=0
/proc/1295/task/1300/stat : 1300 (java) S 1293 1295 995 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156941572 937439232 8712 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1295/tid=1301] ppid=1293 vsize=915468 CPUtime=0.18
/proc/1295/task/1301/stat : 1301 (java) S 1293 1295 995 0 -1 64 369 0 0 0 18 0 0 0 15 0 8 0 156941572 937439232 8712 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1295/tid=1302] ppid=1293 vsize=915468 CPUtime=0
/proc/1295/task/1302/stat : 1302 (java) S 1293 1295 995 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156941572 937439232 8712 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1295/tid=1303] ppid=1293 vsize=915468 CPUtime=0
/proc/1295/task/1303/stat : 1303 (java) S 1293 1295 995 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156941572 937439232 8712 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915468

[startup+2.978 s]
/proc/loadavg: 1.17 1.51 1.71 3/92 1303
/proc/meminfo: memFree=1666904/2055888 swapFree=4096420/4096564
[pid=1295] ppid=1293 vsize=915468 CPUtime=2.93
/proc/1295/stat : 1295 (java) R 1293 1295 995 0 -1 0 9454 0 1 0 288 5 0 0 25 0 8 0 156941564 937439232 9193 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073658784 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1295/statm: 228867 9193 2517 14 0 215336 0
[pid=1295/tid=1297] ppid=1293 vsize=915468 CPUtime=0.02
/proc/1295/task/1297/stat : 1297 (java) S 1293 1295 995 0 -1 64 137 0 0 0 2 0 0 0 16 0 8 0 156941568 937439232 9193 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1295/tid=1298] ppid=1293 vsize=915468 CPUtime=0
/proc/1295/task/1298/stat : 1298 (java) S 1293 1295 995 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156941569 937439232 9193 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1295/tid=1299] ppid=1293 vsize=915468 CPUtime=0
/proc/1295/task/1299/stat : 1299 (java) S 1293 1295 995 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156941569 937439232 9193 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1295/tid=1300] ppid=1293 vsize=915468 CPUtime=0
/proc/1295/task/1300/stat : 1300 (java) S 1293 1295 995 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156941572 937439232 9193 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1295/tid=1301] ppid=1293 vsize=915468 CPUtime=0.18
/proc/1295/task/1301/stat : 1301 (java) S 1293 1295 995 0 -1 64 370 0 0 0 18 0 0 0 15 0 8 0 156941572 937439232 9193 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1295/tid=1302] ppid=1293 vsize=915468 CPUtime=0
/proc/1295/task/1302/stat : 1302 (java) S 1293 1295 995 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156941572 937439232 9193 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1295/tid=1303] ppid=1293 vsize=915468 CPUtime=0
/proc/1295/task/1303/stat : 1303 (java) S 1293 1295 995 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156941572 937439232 9193 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915468

[startup+6.27165 s]
/proc/loadavg: 1.17 1.51 1.71 3/92 1303
/proc/meminfo: memFree=1662552/2055888 swapFree=4096420/4096564
[pid=1295] ppid=1293 vsize=915468 CPUtime=6.2
/proc/1295/stat : 1295 (java) R 1293 1295 995 0 -1 0 10504 0 1 0 614 6 0 0 25 0 8 0 156941564 937439232 10243 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073660340 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1295/statm: 228867 10243 2517 14 0 215336 0
[pid=1295/tid=1297] ppid=1293 vsize=915468 CPUtime=0.02
/proc/1295/task/1297/stat : 1297 (java) S 1293 1295 995 0 -1 64 137 0 0 0 2 0 0 0 16 0 8 0 156941568 937439232 10243 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1295/tid=1298] ppid=1293 vsize=915468 CPUtime=0
/proc/1295/task/1298/stat : 1298 (java) S 1293 1295 995 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156941569 937439232 10243 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1295/tid=1299] ppid=1293 vsize=915468 CPUtime=0
/proc/1295/task/1299/stat : 1299 (java) S 1293 1295 995 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156941569 937439232 10243 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1295/tid=1300] ppid=1293 vsize=915468 CPUtime=0
/proc/1295/task/1300/stat : 1300 (java) S 1293 1295 995 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156941572 937439232 10243 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1295/tid=1301] ppid=1293 vsize=915468 CPUtime=0.19
/proc/1295/task/1301/stat : 1301 (java) S 1293 1295 995 0 -1 64 370 0 0 0 19 0 0 0 16 0 8 0 156941572 937439232 10243 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1295/tid=1302] ppid=1293 vsize=915468 CPUtime=0
/proc/1295/task/1302/stat : 1302 (java) S 1293 1295 995 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156941572 937439232 10243 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1295/tid=1303] ppid=1293 vsize=915468 CPUtime=0
/proc/1295/task/1303/stat : 1303 (java) S 1293 1295 995 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156941572 937439232 10243 18446744073709551615 134512640 134570532 4294956480 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) 915468

Child status: 0
Real time (s): 8.94542
CPU time (s): 8.82766
CPU user time (s): 8.75367
CPU system time (s): 0.073988
CPU usage (%): 98.6836
Max. virtual memory (cumulated for all children) (KiB): 915468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.75367
system time used= 0.073988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11363
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= 1172
involuntary context switches= 1605

runsolver used 0.012998 s user time and 0.028995 s system time

The end

Launcher Data (download as text)

Begin job on node76 on Sat Jan  6 12:10:34 UTC 2007


IDJOB= 241811
IDBENCH= 7348
FILE ID= node76/241811-1168085425

PBS_JOBID= 3476296

Free space on /tmp= 66639 MiB

BENCH NAME= HOME/pub/bench/CPAI06/dimacs/pret/pret-150-75_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/241811-1168085425/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node76/watcher-241811-1168085425 -o ROOT/results/node76/solver-241811-1168085425 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/241811-1168085425/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  8c16a1ce741b5e4e319f46b3cb8ec761

RANDOM SEED= 386855309

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.254
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	: 6006.17
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.254
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	: 5999.42
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055888 kB
MemFree:       1693480 kB
Buffers:         24896 kB
Cached:         222012 kB
SwapCached:          0 kB
Active:         106496 kB
Inactive:       199172 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055888 kB
LowFree:       1693480 kB
SwapTotal:     4096564 kB
SwapFree:      4096420 kB
Dirty:            1744 kB
Writeback:           0 kB
Mapped:          79036 kB
Slab:            42168 kB
Committed_AS:  6656436 kB
PageTables:       1908 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66639 MiB



End job on node76 on Sat Jan  6 12:11:01 UTC 2007