Trace number 241925

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 40.0139 40.0428

DiagnosticValue
CHECKS3085952
NODES634477

General information on the benchmark

Namedimacs/pret/
pret-150-60_ext.xml
MD5SUMca337bbeb6e518888e00c1dfffb8dbc8
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.042993
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.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/241925-1168085441/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.1  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.147  cpuTime=0.13  mem=7M927
0.48	   
0.48	   solver IterativeSystematicSolver being built... 
0.65	       =>  wckTime=0.357  cpuTime=0.27  mem=15M399
0.66	   
0.66	   preprocessing
0.66	     nbConstraintChecks=0  nbPropagations=150  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
0.66	     detectedInconsistency=no
0.66	       =>  wckTime=0.0030  cpuTime=0.0  mem=15M399
0.70	   
0.70	   search
0.70	     run=0  nbConstraintChecks=387  nbValidityChecks=639  nbPropagations=309  nbRevisions=325  nbUselessRevisions=222
0.70	     nbAssignments=110  nbFailedAssignments=2  nbBacktracks=11  nbVisitedNodes=117  nbRestartNogoods=0  mapSize=5
0.70	     nbInferences=2  nbTooLargeKeys=0
0.70	       =>  wckTime=0.046  cpuTime=0.03  mem=15M399
0.72	   
0.72	   search
0.72	     run=1  nbConstraintChecks=540  nbValidityChecks=1447  nbPropagations=799  nbRevisions=1007  nbUselessRevisions=671
0.72	     nbAssignments=217  nbFailedAssignments=6  nbBacktracks=27  nbVisitedNodes=232  nbRestartNogoods=1  mapSize=11
0.72	     nbInferences=2  nbTooLargeKeys=0
0.72	       =>  wckTime=0.067  cpuTime=0.04  mem=15M399
0.74	   
0.74	   search
0.74	     run=2  nbConstraintChecks=759  nbValidityChecks=2390  nbPropagations=1493  nbRevisions=2097
0.74	     nbUselessRevisions=1386  nbAssignments=341  nbFailedAssignments=10  nbBacktracks=49  nbVisitedNodes=369
0.74	     nbRestartNogoods=2  mapSize=22  nbInferences=7  nbTooLargeKeys=0
0.74	       =>  wckTime=0.086  cpuTime=0.05  mem=15M399
0.76	   
0.76	   search
0.76	     run=3  nbConstraintChecks=1014  nbValidityChecks=3462  nbPropagations=2433  nbRevisions=3648
0.76	     nbUselessRevisions=2366  nbAssignments=453  nbFailedAssignments=19  nbBacktracks=85  nbVisitedNodes=502
0.76	     nbRestartNogoods=4  mapSize=42  nbInferences=11  nbTooLargeKeys=0
0.76	       =>  wckTime=0.106  cpuTime=0.07  mem=15M399
0.78	   
0.78	   search
0.78	     run=4  nbConstraintChecks=1472  nbValidityChecks=4954  nbPropagations=3718  nbRevisions=5849
0.78	     nbUselessRevisions=3729  nbAssignments=626  nbFailedAssignments=28  nbBacktracks=136  nbVisitedNodes=704
0.78	     nbRestartNogoods=5  mapSize=64  nbInferences=22  nbTooLargeKeys=0
0.78	       =>  wckTime=0.127  cpuTime=0.08  mem=15M399
0.80	   
0.81	   search
0.81	     run=5  nbConstraintChecks=1972  nbValidityChecks=6611  nbPropagations=5379  nbRevisions=8758
0.81	     nbUselessRevisions=5487  nbAssignments=791  nbFailedAssignments=46  nbBacktracks=212  nbVisitedNodes=917
0.81	     nbRestartNogoods=8  mapSize=107  nbInferences=34  nbTooLargeKeys=0
0.81	       =>  wckTime=0.15  cpuTime=0.1  mem=16M374
0.82	   
0.82	   search
0.82	     run=6  nbConstraintChecks=2776  nbValidityChecks=9076  nbPropagations=7604  nbRevisions=12708
0.82	     nbUselessRevisions=7811  nbAssignments=1012  nbFailedAssignments=68  nbBacktracks=325  nbVisitedNodes=1206
0.82	     nbRestartNogoods=10  mapSize=171  nbInferences=58  nbTooLargeKeys=0
0.82	       =>  wckTime=0.169  cpuTime=0.12  mem=16M374
0.85	   
0.85	   search
0.85	     run=7  nbConstraintChecks=4100  nbValidityChecks=12834  nbPropagations=10706  nbRevisions=18297
0.85	     nbUselessRevisions=11009  nbAssignments=1307  nbFailedAssignments=105  nbBacktracks=497  nbVisitedNodes=1615
0.85	     nbRestartNogoods=12  mapSize=277  nbInferences=98  nbTooLargeKeys=0
0.85	       =>  wckTime=0.197  cpuTime=0.14  mem=16M374
0.90	   
0.90	   search
0.90	     run=8  nbConstraintChecks=5889  nbValidityChecks=17806  nbPropagations=14951  nbRevisions=25975
0.90	     nbUselessRevisions=15317  nbAssignments=1754  nbFailedAssignments=151  nbBacktracks=762  nbVisitedNodes=2215
0.90	     nbRestartNogoods=15  mapSize=421  nbInferences=159  nbTooLargeKeys=0
0.90	       =>  wckTime=0.243  cpuTime=0.18  mem=16M374
0.96	   
0.96	   search
0.96	     run=9  nbConstraintChecks=9589  nbValidityChecks=28710  nbPropagations=21919  nbRevisions=38349
0.96	     nbUselessRevisions=22029  nbAssignments=2425  nbFailedAssignments=168  nbBacktracks=1146  nbVisitedNodes=3113
0.96	     nbRestartNogoods=19  mapSize=643  nbInferences=352  nbTooLargeKeys=0
0.96	       =>  wckTime=0.3  cpuTime=0.22  mem=16M374
1.02	   
1.02	   search
1.02	     run=10  nbConstraintChecks=13437  nbValidityChecks=39381  nbPropagations=31426  nbRevisions=55378
1.02	     nbUselessRevisions=31327  nbAssignments=3313  nbFailedAssignments=200  nbBacktracks=1722  nbVisitedNodes=4278
1.02	     nbRestartNogoods=24  mapSize=918  nbInferences=565  nbTooLargeKeys=0
1.02	       =>  wckTime=0.368  cpuTime=0.28  mem=16M374
1.10	   
1.10	   search
1.10	     run=11  nbConstraintChecks=17848  nbValidityChecks=52173  nbPropagations=43928  nbRevisions=78000
1.10	     nbUselessRevisions=43874  nbAssignments=4593  nbFailedAssignments=237  nbBacktracks=2587  nbVisitedNodes=5937
1.10	     nbRestartNogoods=26  mapSize=1293  nbInferences=870  nbTooLargeKeys=0
1.10	       =>  wckTime=0.448  cpuTime=0.36  mem=16M374
1.23	   
1.23	   search
1.23	     run=12  nbConstraintChecks=26770  nbValidityChecks=78288  nbPropagations=62838  nbRevisions=112262
1.23	     nbUselessRevisions=62858  nbAssignments=6573  nbFailedAssignments=285  nbBacktracks=3886  nbVisitedNodes=8601
1.23	     nbRestartNogoods=30  mapSize=1975  nbInferences=1458  nbTooLargeKeys=0
1.23	       =>  wckTime=0.575  cpuTime=0.49  mem=16M374
1.41	   
1.41	   search
1.41	     run=13  nbConstraintChecks=40173  nbValidityChecks=117741  nbPropagations=91257  nbRevisions=163428
1.41	     nbUselessRevisions=91175  nbAssignments=9549  nbFailedAssignments=296  nbBacktracks=5836  nbVisitedNodes=12553
1.41	     nbRestartNogoods=32  mapSize=2943  nbInferences=2412  nbTooLargeKeys=0
1.41	       =>  wckTime=0.758  cpuTime=0.67  mem=16M374
1.69	   
1.69	   search
1.69	     run=14  nbConstraintChecks=59949  nbValidityChecks=175081  nbPropagations=132960  nbRevisions=239004
1.69	     nbUselessRevisions=133703  nbAssignments=14057  nbFailedAssignments=296  nbBacktracks=8757  nbVisitedNodes=18583
1.69	     nbRestartNogoods=40  mapSize=4458  nbInferences=3934  nbTooLargeKeys=0
1.69	       =>  wckTime=1.037  cpuTime=0.95  mem=17M349
2.12	   
2.12	   search
2.12	     run=15  nbConstraintChecks=90711  nbValidityChecks=264615  nbPropagations=195024  nbRevisions=352362
2.12	     nbUselessRevisions=198405  nbAssignments=20875  nbFailedAssignments=304  nbBacktracks=13135  nbVisitedNodes=27767
2.12	     nbRestartNogoods=47  mapSize=6821  nbInferences=6284  nbTooLargeKeys=0
2.12	       =>  wckTime=1.461  cpuTime=1.37  mem=17M349
2.75	   
2.75	   search
2.75	     run=16  nbConstraintChecks=137290  nbValidityChecks=399148  nbPropagations=287109  nbRevisions=521540
2.75	     nbUselessRevisions=296219  nbAssignments=31145  nbFailedAssignments=304  nbBacktracks=19706  nbVisitedNodes=41676
2.75	     nbRestartNogoods=50  mapSize=10454  nbInferences=9923  nbTooLargeKeys=0
2.75	       =>  wckTime=2.092  cpuTime=2.01  mem=18M324
3.72	   
3.72	   search
3.72	     run=17  nbConstraintChecks=210177  nbValidityChecks=608814  nbPropagations=426055  nbRevisions=777093
3.72	     nbUselessRevisions=445210  nbAssignments=46885  nbFailedAssignments=304  nbBacktracks=29558  nbVisitedNodes=63223
3.72	     nbRestartNogoods=56  mapSize=16255  nbInferences=15730  nbTooLargeKeys=0
3.72	       =>  wckTime=3.063  cpuTime=2.98  mem=19M299
5.14	   
5.14	   search
5.14	     run=18  nbConstraintChecks=314866  nbValidityChecks=911109  nbPropagations=633522  nbRevisions=1159730
5.14	     nbUselessRevisions=669115  nbAssignments=69877  nbFailedAssignments=304  nbBacktracks=44336  nbVisitedNodes=94373
5.14	     nbRestartNogoods=62  mapSize=24409  nbInferences=23888  nbTooLargeKeys=0
5.14	       =>  wckTime=4.483  cpuTime=4.4  mem=21M250
7.27	   
7.27	   search
7.27	     run=19  nbConstraintChecks=472517  nbValidityChecks=1368653  nbPropagations=944365  nbRevisions=1731905
7.27	     nbUselessRevisions=1004191  nbAssignments=104591  nbFailedAssignments=304  nbBacktracks=66514
7.27	     nbVisitedNodes=141576  nbRestartNogoods=66  mapSize=36894  nbInferences=36377  nbTooLargeKeys=0
7.27	       =>  wckTime=6.617  cpuTime=6.53  mem=23M200
10.49	   
10.50	   search
10.50	     run=20  nbConstraintChecks=708638  nbValidityChecks=2052001  nbPropagations=1409713  nbRevisions=2587686
10.50	     nbUselessRevisions=1506128  nbAssignments=156769  nbFailedAssignments=304  nbBacktracks=99769
10.50	     nbVisitedNodes=212617  nbRestartNogoods=70  mapSize=55750  nbInferences=55240  nbTooLargeKeys=0
10.50	       =>  wckTime=9.84  cpuTime=9.76  mem=27M101
15.29	   
15.29	   search
15.29	     run=21  nbConstraintChecks=1057319  nbValidityChecks=3064440  nbPropagations=2103302  nbRevisions=3863712
15.29	     nbUselessRevisions=2255801  nbAssignments=234557  nbFailedAssignments=304  nbBacktracks=149648
15.29	     nbVisitedNodes=318252  nbRestartNogoods=77  mapSize=83591  nbInferences=83087  nbTooLargeKeys=0
15.29	       =>  wckTime=14.633  cpuTime=14.54  mem=32M952
22.46	   
22.46	   search
22.46	     run=22  nbConstraintChecks=1581416  nbValidityChecks=4583970  nbPropagations=3136842  nbRevisions=5767120
22.46	     nbUselessRevisions=3377500  nbAssignments=351718  nbFailedAssignments=304  nbBacktracks=224466
22.46	     nbVisitedNodes=477693  nbRestartNogoods=83  mapSize=125860  nbInferences=125367  nbTooLargeKeys=0
22.46	       =>  wckTime=21.807  cpuTime=21.71  mem=41M802
33.35	   
33.35	   search
33.35	     run=23  nbConstraintChecks=2372999  nbValidityChecks=6879518  nbPropagations=4687735  nbRevisions=8622017
33.35	     nbUselessRevisions=5059723  nbAssignments=527182  nbFailedAssignments=304  nbBacktracks=336693
33.35	     nbVisitedNodes=716331  nbRestartNogoods=94  mapSize=189025  nbInferences=188541  nbTooLargeKeys=0
33.35	       =>  wckTime=32.691  cpuTime=32.41  mem=22M977
40.01	   
40.01	   search
40.01	     run=24  nbConstraintChecks=3085952  nbValidityChecks=8884263  nbPropagations=6738880  nbRevisions=12340259
40.01	     nbUselessRevisions=7199985  nbAssignments=634477  nbFailedAssignments=304  nbBacktracks=396520
40.01	     nbVisitedNodes=871094  nbRestartNogoods=103  mapSize=236492  nbInferences=236010  nbTooLargeKeys=0
40.01	       =>  wckTime=39.358  cpuTime=39.07  mem=30M984
40.01	   
40.01	   global
40.01	     nbConstraintChecks=3085952  nbValidityChecks=8884263  nbPropagations=6739030  nbRevisions=12340259
40.01	     nbUselessRevisions=7199985  nbRestartNogoods=103  solvingWckTime=39.359  solvingCpuTime=39.07  expiredTime=no
40.01	     totalExploration=yes  nbFoundSolutions=0  globalCpuTime=39.39
40.01	       =>  wckTime=39.717  cpuTime=39.34  mem=30M984
40.02	   
40.02	s UNSATISFIABLE
40.02	d NODES 634477
40.02	d CHECKS 3085952
40.02	   
40.02	   totalWckTime=39.792  totalCpuTime=39.4

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/node24/watcher-241925-1168085441 -o ROOT/results/node24/solver-241925-1168085441 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/241925-1168085441/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.08 0.94 1.50 4/81 19275
/proc/meminfo: memFree=1773416/2055920 swapFree=4192812/4192956
[pid=19274] ppid=19272 vsize=164 CPUtime=0
/proc/19274/stat : 19274 (java) R 19272 19274 18509 0 -1 0 200 0 0 0 0 0 0 0 18 0 1 0 156941346 167936 7 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 2539833 0 0 4096 0 0 0 0 17 1 0 0
/proc/19274/statm: 42 18 13 14 0 2 0

[startup+0.106594 s]
/proc/loadavg: 0.08 0.94 1.50 4/81 19275
/proc/meminfo: memFree=1773416/2055920 swapFree=4192812/4192956
[pid=19274] ppid=19272 vsize=914988 CPUtime=0.09
/proc/19274/stat : 19274 (java) R 19272 19274 18509 0 -1 0 3070 0 1 0 7 2 0 0 16 0 8 0 156941346 936947712 2816 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19274/statm: 228747 2817 1453 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.514637 s]
/proc/loadavg: 0.08 0.94 1.50 4/81 19275
/proc/meminfo: memFree=1773416/2055920 swapFree=4192812/4192956
[pid=19274] ppid=19272 vsize=915464 CPUtime=0.49
/proc/19274/stat : 19274 (java) R 19272 19274 18509 0 -1 0 6674 0 1 0 46 3 0 0 16 0 8 0 156941346 937435136 6412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155839954 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19274/statm: 228866 6412 2374 14 0 215336 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915464

[startup+1.33572 s]
/proc/loadavg: 0.15 0.94 1.50 2/88 19282
/proc/meminfo: memFree=1748784/2055920 swapFree=4192812/4192956
[pid=19274] ppid=19272 vsize=915464 CPUtime=1.32
/proc/19274/stat : 19274 (java) R 19272 19274 18509 0 -1 0 8965 0 1 0 126 6 0 0 17 0 8 0 156941346 937435136 8703 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073832504 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19274/statm: 228866 8703 2516 14 0 215336 0
[pid=19274/tid=19276] ppid=19272 vsize=915464 CPUtime=0.02
/proc/19274/task/19276/stat : 19276 (java) S 19272 19274 18509 0 -1 64 138 0 0 0 2 0 0 0 16 0 8 0 156941349 937435136 8703 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19274/tid=19277] ppid=19272 vsize=915464 CPUtime=0
/proc/19274/task/19277/stat : 19277 (java) S 19272 19274 18509 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156941350 937435136 8704 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19274/tid=19278] ppid=19272 vsize=915464 CPUtime=0
/proc/19274/task/19278/stat : 19278 (java) S 19272 19274 18509 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156941350 937435136 8704 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19274/tid=19279] ppid=19272 vsize=915464 CPUtime=0
/proc/19274/task/19279/stat : 19279 (java) S 19272 19274 18509 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156941353 937435136 8704 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19274/tid=19280] ppid=19272 vsize=915464 CPUtime=0.18
/proc/19274/task/19280/stat : 19280 (java) S 19272 19274 18509 0 -1 64 369 0 0 0 17 1 0 0 16 0 8 0 156941353 937435136 8704 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19274/tid=19281] ppid=19272 vsize=915464 CPUtime=0
/proc/19274/task/19281/stat : 19281 (java) S 19272 19274 18509 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156941353 937435136 8704 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19274/tid=19282] ppid=19272 vsize=915464 CPUtime=0
/proc/19274/task/19282/stat : 19282 (java) S 19272 19274 18509 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156941353 937435136 8704 18446744073709551615 134512640 134570532 4294956480 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) 915464

[startup+2.97289 s]
/proc/loadavg: 0.15 0.94 1.50 2/88 19282
/proc/meminfo: memFree=1747440/2055920 swapFree=4192812/4192956
[pid=19274] ppid=19272 vsize=915464 CPUtime=2.95
/proc/19274/stat : 19274 (java) R 19272 19274 18509 0 -1 0 9435 0 1 0 289 6 0 0 19 0 8 0 156941346 937435136 9172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073681815 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19274/statm: 228866 9172 2516 14 0 215336 0
[pid=19274/tid=19276] ppid=19272 vsize=915464 CPUtime=0.02
/proc/19274/task/19276/stat : 19276 (java) S 19272 19274 18509 0 -1 64 138 0 0 0 2 0 0 0 16 0 8 0 156941349 937435136 9172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19274/tid=19277] ppid=19272 vsize=915464 CPUtime=0
/proc/19274/task/19277/stat : 19277 (java) S 19272 19274 18509 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156941350 937435136 9172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19274/tid=19278] ppid=19272 vsize=915464 CPUtime=0
/proc/19274/task/19278/stat : 19278 (java) S 19272 19274 18509 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156941350 937435136 9172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19274/tid=19279] ppid=19272 vsize=915464 CPUtime=0
/proc/19274/task/19279/stat : 19279 (java) S 19272 19274 18509 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156941353 937435136 9172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19274/tid=19280] ppid=19272 vsize=915464 CPUtime=0.18
/proc/19274/task/19280/stat : 19280 (java) S 19272 19274 18509 0 -1 64 370 0 0 0 17 1 0 0 15 0 8 0 156941353 937435136 9172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19274/tid=19281] ppid=19272 vsize=915464 CPUtime=0
/proc/19274/task/19281/stat : 19281 (java) S 19272 19274 18509 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156941353 937435136 9172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19274/tid=19282] ppid=19272 vsize=915464 CPUtime=0
/proc/19274/task/19282/stat : 19282 (java) S 19272 19274 18509 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156941353 937435136 9172 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915464

[startup+6.17725 s]
/proc/loadavg: 0.22 0.94 1.50 2/88 19282
/proc/meminfo: memFree=1743408/2055920 swapFree=4192812/4192956
[pid=19274] ppid=19272 vsize=915464 CPUtime=6.16
/proc/19274/stat : 19274 (java) R 19272 19274 18509 0 -1 0 10381 0 1 0 609 7 0 0 25 0 8 0 156941346 937435136 10118 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073691268 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19274/statm: 228866 10118 2516 14 0 215336 0
[pid=19274/tid=19276] ppid=19272 vsize=915464 CPUtime=0.02
/proc/19274/task/19276/stat : 19276 (java) S 19272 19274 18509 0 -1 64 138 0 0 0 2 0 0 0 16 0 8 0 156941349 937435136 10118 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19274/tid=19277] ppid=19272 vsize=915464 CPUtime=0
/proc/19274/task/19277/stat : 19277 (java) S 19272 19274 18509 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156941350 937435136 10118 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19274/tid=19278] ppid=19272 vsize=915464 CPUtime=0
/proc/19274/task/19278/stat : 19278 (java) S 19272 19274 18509 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156941350 937435136 10118 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19274/tid=19279] ppid=19272 vsize=915464 CPUtime=0
/proc/19274/task/19279/stat : 19279 (java) S 19272 19274 18509 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156941353 937435136 10118 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19274/tid=19280] ppid=19272 vsize=915464 CPUtime=0.18
/proc/19274/task/19280/stat : 19280 (java) S 19272 19274 18509 0 -1 64 370 0 0 0 17 1 0 0 16 0 8 0 156941353 937435136 10118 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19274/tid=19281] ppid=19272 vsize=915464 CPUtime=0
/proc/19274/task/19281/stat : 19281 (java) S 19272 19274 18509 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156941353 937435136 10118 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19274/tid=19282] ppid=19272 vsize=915464 CPUtime=0
/proc/19274/task/19282/stat : 19282 (java) S 19272 19274 18509 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156941353 937435136 10118 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 915464

[startup+12.6389 s]
/proc/loadavg: 0.28 0.94 1.49 2/88 19283
/proc/meminfo: memFree=1737136/2055920 swapFree=4192812/4192956
[pid=19274] ppid=19272 vsize=915464 CPUtime=12.62
/proc/19274/stat : 19274 (java) R 19272 19274 18509 0 -1 0 12248 0 1 0 1255 7 0 0 25 0 8 0 156941346 937435136 11985 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073690494 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19274/statm: 228866 11985 2516 14 0 215336 0
[pid=19274/tid=19276] ppid=19272 vsize=915464 CPUtime=0.02
/proc/19274/task/19276/stat : 19276 (java) S 19272 19274 18509 0 -1 64 138 0 0 0 2 0 0 0 16 0 8 0 156941349 937435136 11985 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19274/tid=19277] ppid=19272 vsize=915464 CPUtime=0
/proc/19274/task/19277/stat : 19277 (java) S 19272 19274 18509 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156941350 937435136 11985 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19274/tid=19278] ppid=19272 vsize=915464 CPUtime=0
/proc/19274/task/19278/stat : 19278 (java) S 19272 19274 18509 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156941350 937435136 11985 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19274/tid=19279] ppid=19272 vsize=915464 CPUtime=0
/proc/19274/task/19279/stat : 19279 (java) S 19272 19274 18509 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156941353 937435136 11985 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19274/tid=19280] ppid=19272 vsize=915464 CPUtime=0.18
/proc/19274/task/19280/stat : 19280 (java) S 19272 19274 18509 0 -1 64 370 0 0 0 17 1 0 0 16 0 8 0 156941353 937435136 11985 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19274/tid=19281] ppid=19272 vsize=915464 CPUtime=0
/proc/19274/task/19281/stat : 19281 (java) S 19272 19274 18509 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156941353 937435136 11985 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19274/tid=19282] ppid=19272 vsize=915464 CPUtime=0
/proc/19274/task/19282/stat : 19282 (java) S 19272 19274 18509 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156941353 937435136 11985 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915464

[startup+25.4863 s]
/proc/loadavg: 0.39 0.94 1.49 2/88 19283
/proc/meminfo: memFree=1722672/2055920 swapFree=4192812/4192956
[pid=19274] ppid=19272 vsize=915464 CPUtime=25.46
/proc/19274/stat : 19274 (java) R 19272 19274 18509 0 -1 0 15980 0 1 0 2537 9 0 0 25 0 8 0 156941346 937435136 15716 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073691274 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19274/statm: 228866 15716 2516 14 0 215336 0
[pid=19274/tid=19276] ppid=19272 vsize=915464 CPUtime=0.02
/proc/19274/task/19276/stat : 19276 (java) S 19272 19274 18509 0 -1 64 138 0 0 0 2 0 0 0 16 0 8 0 156941349 937435136 15716 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19274/tid=19277] ppid=19272 vsize=915464 CPUtime=0
/proc/19274/task/19277/stat : 19277 (java) S 19272 19274 18509 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156941350 937435136 15716 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19274/tid=19278] ppid=19272 vsize=915464 CPUtime=0
/proc/19274/task/19278/stat : 19278 (java) S 19272 19274 18509 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156941350 937435136 15716 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19274/tid=19279] ppid=19272 vsize=915464 CPUtime=0
/proc/19274/task/19279/stat : 19279 (java) S 19272 19274 18509 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156941353 937435136 15716 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19274/tid=19280] ppid=19272 vsize=915464 CPUtime=0.18
/proc/19274/task/19280/stat : 19280 (java) S 19272 19274 18509 0 -1 64 371 0 0 0 17 1 0 0 16 0 8 0 156941353 937435136 15716 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19274/tid=19281] ppid=19272 vsize=915464 CPUtime=0
/proc/19274/task/19281/stat : 19281 (java) S 19272 19274 18509 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156941353 937435136 15716 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19274/tid=19282] ppid=19272 vsize=915464 CPUtime=0
/proc/19274/task/19282/stat : 19282 (java) S 19272 19274 18509 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156941353 937435136 15716 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 915464

Child status: 0
Real time (s): 40.0428
CPU time (s): 40.0139
CPU user time (s): 39.8769
CPU system time (s): 0.136979
CPU usage (%): 99.9279
Max. virtual memory (cumulated for all children) (KiB): 915464

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39.8769
system time used= 0.136979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21160
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= 1540
involuntary context switches= 233

runsolver used 0.036994 s user time and 0.115982 s system time

The end

Launcher Data (download as text)

Begin job on node24 on Sat Jan  6 12:10:51 UTC 2007


IDJOB= 241925
IDBENCH= 7354
FILE ID= node24/241925-1168085441

PBS_JOBID= 3476242

Free space on /tmp= 66464 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  ca337bbeb6e518888e00c1dfffb8dbc8

RANDOM SEED= 645901750

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.234
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.234
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:       1774024 kB
Buffers:         28316 kB
Cached:         127608 kB
SwapCached:          0 kB
Active:         125048 kB
Inactive:        89464 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1774024 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1724 kB
Writeback:           0 kB
Mapped:          77584 kB
Slab:            52372 kB
Committed_AS:  2972600 kB
PageTables:       2196 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= 66466 MiB



End job on node24 on Sat Jan  6 12:11:42 UTC 2007