Trace number 198349

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 3.37049 3.47657

DiagnosticValue
CHECKS3221487
NODES128112

General information on the benchmark

Namepigeons/
pigeons-12.xml
MD5SUMe5056520269618c2f722160091f6a04a
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark3.37049
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables12
Number of constraints66
Maximum constraint arity2
Maximum domain size11
Number of constraints which are defined in extension0
Number of constraints which are defined in intension66
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/198349-1168071240/unknown.xml
0.36	   
0.36	   domains being loaded...
0.36	   
0.36	   variables being loaded...
0.39	     nbVariables=12  nbDomainTypes=1  minDomainSize=11  maxDomainSize=11
0.39	       =>  wckTime=0.09  cpuTime=0.08  mem=6M951
0.39	   
0.39	   predicates being loaded...
0.39	   
0.39	   constraints being loaded...
0.46	     nbConstraints=66  nbConvertedConstraints=66  nbConvertConstraintsChecks=121  nbExtensionStructures=1
0.46	     nbSharedExtensionStructures=65  nbConflictsStructures=1  nbSharedConflictsStructures=65
0.46	     nbSharedBinaryRepresentations=11  maxDegree=11  maxArity=2
0.46	       =>  wckTime=0.163  cpuTime=0.13  mem=7M959
0.50	   
0.50	   solver IterativeSystematicSolver being built... 
0.65	       =>  wckTime=0.344  cpuTime=0.25  mem=13M300
0.65	   
0.65	   preprocessing
0.65	     nbConstraintChecks=0  nbPropagations=12  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
0.65	     detectedInconsistency=no
0.65	       =>  wckTime=0.0010  cpuTime=0.0  mem=13M300
0.67	   
0.67	   search
0.67	     run=0  nbConstraintChecks=785  nbPropagations=176  nbRevisions=197  nbUselessRevisions=24  nbAssignments=27
0.67	     nbFailedAssignments=10  nbBacktracks=10  nbVisitedNodes=48  nbRestartNogoods=0  mapSize=10  nbInferences=0
0.67	     nbTooLargeKeys=0
0.67	       =>  wckTime=0.025  cpuTime=0.02  mem=13M300
0.68	   
0.68	   search
0.68	     run=1  nbConstraintChecks=1695  nbPropagations=558  nbRevisions=643  nbUselessRevisions=79  nbAssignments=64
0.68	     nbFailedAssignments=24  nbBacktracks=25  nbVisitedNodes=113  nbRestartNogoods=4  mapSize=25  nbInferences=0
0.68	     nbTooLargeKeys=0
0.68	       =>  wckTime=0.037  cpuTime=0.02  mem=13M300
0.69	   
0.69	   search
0.69	     run=2  nbConstraintChecks=2772  nbPropagations=1210  nbRevisions=1411  nbUselessRevisions=170  nbAssignments=114
0.69	     nbFailedAssignments=44  nbBacktracks=47  nbVisitedNodes=203  nbRestartNogoods=7  mapSize=47  nbInferences=0
0.69	     nbTooLargeKeys=0
0.69	       =>  wckTime=0.048  cpuTime=0.03  mem=13M300
0.71	   
0.71	   search
0.71	     run=3  nbConstraintChecks=4054  nbPropagations=2214  nbRevisions=2581  nbUselessRevisions=297  nbAssignments=183
0.71	     nbFailedAssignments=71  nbBacktracks=80  nbVisitedNodes=327  nbRestartNogoods=12  mapSize=80  nbInferences=1
0.71	     nbTooLargeKeys=0
0.71	       =>  wckTime=0.061  cpuTime=0.03  mem=13M300
0.72	   
0.72	   search
0.72	     run=4  nbConstraintChecks=5501  nbPropagations=3674  nbRevisions=4196  nbUselessRevisions=428  nbAssignments=279
0.72	     nbFailedAssignments=105  nbBacktracks=131  nbVisitedNodes=495  nbRestartNogoods=16  mapSize=131  nbInferences=5
0.72	     nbTooLargeKeys=0
0.72	       =>  wckTime=0.073  cpuTime=0.04  mem=13M300
0.73	   
0.73	   search
0.73	     run=5  nbConstraintChecks=7603  nbPropagations=5828  nbRevisions=6489  nbUselessRevisions=575  nbAssignments=425
0.73	     nbFailedAssignments=152  nbBacktracks=206  nbVisitedNodes=751  nbRestartNogoods=20  mapSize=206  nbInferences=21
0.73	     nbTooLargeKeys=0
0.73	       =>  wckTime=0.087  cpuTime=0.05  mem=13M300
0.75	   
0.75	   search
0.75	     run=6  nbConstraintChecks=10519  nbPropagations=9012  nbRevisions=9757  nbUselessRevisions=732  nbAssignments=645
0.75	     nbFailedAssignments=221  nbBacktracks=319  nbVisitedNodes=1140  nbRestartNogoods=24  mapSize=319  nbInferences=52
0.75	     nbTooLargeKeys=0
0.75	       =>  wckTime=0.104  cpuTime=0.06  mem=13M300
0.77	   
0.77	   search
0.77	     run=7  nbConstraintChecks=14643  nbPropagations=13716  nbRevisions=14450  nbUselessRevisions=892  nbAssignments=974
0.77	     nbFailedAssignments=326  nbBacktracks=490  nbVisitedNodes=1725  nbRestartNogoods=31  mapSize=490  nbInferences=98
0.77	     nbTooLargeKeys=0
0.77	       =>  wckTime=0.124  cpuTime=0.07  mem=13M300
0.79	   
0.79	   search
0.79	     run=8  nbConstraintChecks=20945  nbPropagations=20784  nbRevisions=21303  nbUselessRevisions=1060
0.79	     nbAssignments=1485  nbFailedAssignments=471  nbBacktracks=746  nbVisitedNodes=2628  nbRestartNogoods=37
0.79	     mapSize=746  nbInferences=200  nbTooLargeKeys=0
0.79	       =>  wckTime=0.148  cpuTime=0.09  mem=13M300
0.83	   
0.83	   search
0.83	     run=9  nbConstraintChecks=31379  nbPropagations=31751  nbRevisions=31590  nbUselessRevisions=1234
0.83	     nbAssignments=2310  nbFailedAssignments=672  nbBacktracks=1130  nbVisitedNodes=4087  nbRestartNogoods=44
0.83	     mapSize=1130  nbInferences=432  nbTooLargeKeys=0
0.83	       =>  wckTime=0.184  cpuTime=0.11  mem=14M275
0.86	   
0.86	   search
0.86	     run=10  nbConstraintChecks=49099  nbPropagations=49307  nbRevisions=47372  nbUselessRevisions=1423
0.86	     nbAssignments=3681  nbFailedAssignments=910  nbBacktracks=1706  nbVisitedNodes=6486  nbRestartNogoods=55
0.86	     mapSize=1706  nbInferences=984  nbTooLargeKeys=0
0.86	       =>  wckTime=0.215  cpuTime=0.14  mem=14M275
0.89	   
0.89	   search
0.89	     run=11  nbConstraintChecks=76466  nbPropagations=76987  nbRevisions=71556  nbUselessRevisions=1625
0.89	     nbAssignments=5772  nbFailedAssignments=1266  nbBacktracks=2570  nbVisitedNodes=10154  nbRestartNogoods=62
0.89	     mapSize=2570  nbInferences=1849  nbTooLargeKeys=0
0.90	       =>  wckTime=0.249  cpuTime=0.17  mem=14M275
0.96	   
0.96	   search
0.96	     run=12  nbConstraintChecks=137443  nbPropagations=124589  nbRevisions=111566  nbUselessRevisions=1835
0.96	     nbAssignments=9530  nbFailedAssignments=1672  nbBacktracks=3868  nbVisitedNodes=16774  nbRestartNogoods=75
0.96	     mapSize=3868  nbInferences=3899  nbTooLargeKeys=0
0.96	       =>  wckTime=0.317  cpuTime=0.24  mem=14M275
1.07	   
1.07	   search
1.07	     run=13  nbConstraintChecks=233110  nbPropagations=203695  nbRevisions=176122  nbUselessRevisions=2046
1.07	     nbAssignments=15460  nbFailedAssignments=2174  nbBacktracks=5814  nbVisitedNodes=27185  nbRestartNogoods=84
1.07	     mapSize=5814  nbInferences=7376  nbTooLargeKeys=0
1.07	       =>  wckTime=0.421  cpuTime=0.34  mem=14M275
1.25	   
1.25	   search
1.25	     run=14  nbConstraintChecks=402313  nbPropagations=335254  nbRevisions=281307  nbUselessRevisions=2308
1.25	     nbAssignments=24956  nbFailedAssignments=2811  nbBacktracks=8733  nbVisitedNodes=43890  nbRestartNogoods=87
1.25	     mapSize=8733  nbInferences=13311  nbTooLargeKeys=0
1.25	       =>  wckTime=0.6  cpuTime=0.51  mem=15M250
1.52	   
1.52	   search
1.52	     run=15  nbConstraintChecks=684501  nbPropagations=551305  nbRevisions=451418  nbUselessRevisions=2570
1.52	     nbAssignments=39927  nbFailedAssignments=3617  nbBacktracks=13111  nbVisitedNodes=70252  nbRestartNogoods=99
1.52	     mapSize=13111  nbInferences=23090  nbTooLargeKeys=0
1.52	       =>  wckTime=0.874  cpuTime=0.78  mem=15M250
2.16	   
2.16	   search
2.16	     run=16  nbConstraintChecks=1553764  nbPropagations=971051  nbRevisions=779692  nbUselessRevisions=2854
2.16	     nbAssignments=69895  nbFailedAssignments=4227  nbBacktracks=19679  nbVisitedNodes=124213  nbRestartNogoods=115
2.16	     mapSize=19679  nbInferences=45874  nbTooLargeKeys=0
2.16	       =>  wckTime=1.511  cpuTime=1.42  mem=16M225
3.00	   
3.00	   search
3.00	     run=17  nbConstraintChecks=2596289  nbPropagations=1656631  nbRevisions=1311884  nbUselessRevisions=3187
3.00	     nbAssignments=111584  nbFailedAssignments=5052  nbBacktracks=29532  nbVisitedNodes=198534  nbRestartNogoods=133
3.00	     mapSize=29532  nbInferences=76881  nbTooLargeKeys=0
3.00	       =>  wckTime=2.356  cpuTime=2.25  mem=18M438
3.40	   
3.40	   search
3.40	     run=18  nbConstraintChecks=3221487  nbPropagations=2468556  nbRevisions=1943459  nbUselessRevisions=3520
3.40	     nbAssignments=128112  nbFailedAssignments=5126  nbBacktracks=32505  nbVisitedNodes=228691  nbRestartNogoods=148
3.40	     mapSize=32504  nbInferences=90363  nbTooLargeKeys=0
3.40	       =>  wckTime=2.758  cpuTime=2.65  mem=19M413
3.41	   
3.41	   global
3.41	     nbConstraintChecks=3221487  nbPropagations=2468568  nbRevisions=1943459  nbUselessRevisions=3520
3.41	     nbRestartNogoods=148  solvingWckTime=2.759  solvingCpuTime=2.65  expiredTime=no  totalExploration=yes
3.41	     nbFoundSolutions=0  globalCpuTime=2.94
3.41	       =>  wckTime=3.105  cpuTime=2.9  mem=19M413
3.41	   
3.41	s UNSATISFIABLE
3.41	d NODES 128112
3.41	d CHECKS 3221487
3.41	   
3.41	   totalWckTime=3.186  totalCpuTime=2.95

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/node10/watcher-198349-1168071240 -o ROOT/results/node10/solver-198349-1168071240 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/198349-1168071240/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.45 1.84 1.86 4/93 26974
/proc/meminfo: memFree=1654808/2055920 swapFree=4178332/4192956
[pid=26973] ppid=26971 vsize=292 CPUtime=0
/proc/26973/stat : 26973 (java) R 26971 26973 26906 0 -1 0 226 0 0 0 0 0 0 0 18 0 1 0 155519947 299008 33 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 8859740 0 0 4096 0 0 0 0 17 1 0 0
/proc/26973/statm: 73 35 27 14 0 5 0

[startup+0.103357 s]
/proc/loadavg: 1.45 1.84 1.86 4/93 26974
/proc/meminfo: memFree=1654808/2055920 swapFree=4178332/4192956
[pid=26973] ppid=26971 vsize=914988 CPUtime=0.08
/proc/26973/stat : 26973 (java) R 26971 26973 26906 0 -1 0 2979 0 1 0 6 2 0 0 24 0 8 0 155519947 936947712 2725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072924428 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26973/statm: 228747 2725 1423 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.511409 s]
/proc/loadavg: 1.45 1.84 1.86 4/93 26974
/proc/meminfo: memFree=1654808/2055920 swapFree=4178332/4192956
[pid=26973] ppid=26971 vsize=915464 CPUtime=0.48
/proc/26973/stat : 26973 (java) R 26971 26973 26906 0 -1 0 6724 0 1 0 43 5 0 0 25 0 8 0 155519947 937435136 6462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 9365278 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26973/statm: 228866 6462 2383 14 0 215336 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915464

[startup+1.33252 s]
/proc/loadavg: 1.45 1.84 1.86 3/100 26981
/proc/meminfo: memFree=1631712/2055920 swapFree=4178332/4192956
[pid=26973] ppid=26971 vsize=915464 CPUtime=1.29
/proc/26973/stat : 26973 (java) R 26971 26973 26906 0 -1 0 8622 0 1 0 123 6 0 0 25 0 8 0 155519947 937435136 8360 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073780317 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26973/statm: 228866 8360 2532 14 0 215336 0
[pid=26973/tid=26975] ppid=26971 vsize=915464 CPUtime=0.02
/proc/26973/task/26975/stat : 26975 (java) S 26971 26973 26906 0 -1 64 121 0 0 0 2 0 0 0 16 0 8 0 155519952 937435136 8360 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26973/tid=26976] ppid=26971 vsize=915464 CPUtime=0
/proc/26973/task/26976/stat : 26976 (java) S 26971 26973 26906 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155519952 937435136 8360 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26973/tid=26977] ppid=26971 vsize=915464 CPUtime=0
/proc/26973/task/26977/stat : 26977 (java) S 26971 26973 26906 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155519952 937435136 8360 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26973/tid=26978] ppid=26971 vsize=915464 CPUtime=0
/proc/26973/task/26978/stat : 26978 (java) S 26971 26973 26906 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155519955 937435136 8360 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26973/tid=26979] ppid=26971 vsize=915464 CPUtime=0.19
/proc/26973/task/26979/stat : 26979 (java) S 26971 26973 26906 0 -1 64 360 0 0 0 18 1 0 0 15 0 8 0 155519955 937435136 8360 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26973/tid=26980] ppid=26971 vsize=915464 CPUtime=0
/proc/26973/task/26980/stat : 26980 (java) S 26971 26973 26906 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155519955 937435136 8360 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26973/tid=26981] ppid=26971 vsize=915464 CPUtime=0
/proc/26973/task/26981/stat : 26981 (java) S 26971 26973 26906 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155519955 937435136 8360 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915464

[startup+2.96974 s]
/proc/loadavg: 1.45 1.84 1.86 3/100 26981
/proc/meminfo: memFree=1629408/2055920 swapFree=4178332/4192956
[pid=26973] ppid=26971 vsize=915464 CPUtime=2.92
/proc/26973/stat : 26973 (java) R 26971 26973 26906 0 -1 0 9487 0 1 0 285 7 0 0 25 0 8 0 155519947 937435136 9223 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073678273 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26973/statm: 228866 9223 2532 14 0 215336 0
[pid=26973/tid=26975] ppid=26971 vsize=915464 CPUtime=0.02
/proc/26973/task/26975/stat : 26975 (java) S 26971 26973 26906 0 -1 64 121 0 0 0 2 0 0 0 17 0 8 0 155519952 937435136 9223 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26973/tid=26976] ppid=26971 vsize=915464 CPUtime=0
/proc/26973/task/26976/stat : 26976 (java) S 26971 26973 26906 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155519952 937435136 9223 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26973/tid=26977] ppid=26971 vsize=915464 CPUtime=0
/proc/26973/task/26977/stat : 26977 (java) S 26971 26973 26906 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155519952 937435136 9223 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26973/tid=26978] ppid=26971 vsize=915464 CPUtime=0
/proc/26973/task/26978/stat : 26978 (java) S 26971 26973 26906 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155519955 937435136 9223 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26973/tid=26979] ppid=26971 vsize=915464 CPUtime=0.19
/proc/26973/task/26979/stat : 26979 (java) S 26971 26973 26906 0 -1 64 361 0 0 0 18 1 0 0 15 0 8 0 155519955 937435136 9223 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26973/tid=26980] ppid=26971 vsize=915464 CPUtime=0
/proc/26973/task/26980/stat : 26980 (java) S 26971 26973 26906 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155519955 937435136 9223 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26973/tid=26981] ppid=26971 vsize=915464 CPUtime=0
/proc/26973/task/26981/stat : 26981 (java) S 26971 26973 26906 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155519955 937435136 9223 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915464

Child status: 0
Real time (s): 3.47657
CPU time (s): 3.37049
CPU user time (s): 3.2925
CPU system time (s): 0.077988
CPU usage (%): 96.9486
Max. virtual memory (cumulated for all children) (KiB): 915464

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.2925
system time used= 0.077988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9764
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= 979
involuntary context switches= 1384

runsolver used 0.008998 s user time and 0.021996 s system time

The end

Launcher Data (download as text)

Begin job on node10 on Sat Jan  6 08:14:03 UTC 2007


IDJOB= 198349
IDBENCH= 3550
FILE ID= node10/198349-1168071240

PBS_JOBID= 3475733

Free space on /tmp= 66356 MiB

BENCH NAME= HOME/pub/bench/CPAI06/pigeons/pigeons-12.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/198349-1168071240/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node10/watcher-198349-1168071240 -o ROOT/results/node10/solver-198349-1168071240 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/198349-1168071240/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  e5056520269618c2f722160091f6a04a

RANDOM SEED= 236408082

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.232
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.232
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:       1655480 kB
Buffers:         45272 kB
Cached:         204996 kB
SwapCached:       2420 kB
Active:         112916 kB
Inactive:       199928 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1655480 kB
SwapTotal:     4192956 kB
SwapFree:      4178332 kB
Dirty:            1964 kB
Writeback:           0 kB
Mapped:          82056 kB
Slab:            72424 kB
Committed_AS:  4319724 kB
PageTables:       2320 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= 66356 MiB



End job on node10 on Sat Jan  6 08:14:13 UTC 2007