Trace number 199685

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 ACSAT 35.2766 35.6583

DiagnosticValue
CHECKS227992844
NODES175674

General information on the benchmark

Namerandom/rand-2-23/
rand-23-23-253-131-49021_ext.xml
MD5SUM351f4750f3442564d7eeac8c45aaaf15
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark2.01169
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables23
Number of constraints253
Maximum constraint arity2
Maximum domain size23
Number of constraints which are defined in extension253
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=mac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/199685-1168071526/unknown.xml
0.38	   
0.38	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.42	     nbVariables=23  nbDomainTypes=1  minDomainSize=23  maxDomainSize=23
0.42	       =>  wckTime=0.099  cpuTime=0.09  mem=6M951
0.42	   
0.42	   relations being loaded...
0.50	   
0.50	   constraints being loaded...
0.62	     nbConstraints=253  nbRelationTypes=253  nbExtensionStructures=253  nbSharedExtensionStructures=0
0.62	     nbConflictsStructures=253  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=885  maxDegree=22
0.62	     maxArity=2
0.62	       =>  wckTime=0.302  cpuTime=0.22  mem=12M803
0.66	   
0.66	   solver IterativeSystematicSolver being built... 
0.81	       =>  wckTime=0.496  cpuTime=0.34  mem=13M898
0.82	   
0.82	   preprocessing
0.82	     nbConstraintChecks=0  nbPropagations=23  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
0.82	     detectedInconsistency=no
0.82	       =>  wckTime=0.0040  cpuTime=0.02  mem=13M898
0.87	   
0.87	   search
0.87	     run=0  nbConstraintChecks=41708  nbPropagations=517  nbRevisions=8589  nbUselessRevisions=7401  nbAssignments=30
0.87	     nbFailedAssignments=15  nbBacktracks=10  nbVisitedNodes=55  nbRestartNogoods=0  mapSize=10  nbInferences=0
0.87	     nbTooLargeKeys=0
0.87	       =>  wckTime=0.053  cpuTime=0.04  mem=14M923
0.88	   
0.88	   search
0.88	     run=1  nbConstraintChecks=80544  nbPropagations=1517  nbRevisions=25057  nbUselessRevisions=21574  nbAssignments=64
0.88	     nbFailedAssignments=30  nbBacktracks=25  nbVisitedNodes=114  nbRestartNogoods=6  mapSize=25  nbInferences=0
0.88	     nbTooLargeKeys=0
0.88	       =>  wckTime=0.069  cpuTime=0.06  mem=14M923
0.91	   
0.91	   search
0.91	     run=2  nbConstraintChecks=148109  nbPropagations=3312  nbRevisions=55968  nbUselessRevisions=48146
0.91	     nbAssignments=115  nbFailedAssignments=55  nbBacktracks=47  nbVisitedNodes=207  nbRestartNogoods=9  mapSize=47
0.91	     nbInferences=0  nbTooLargeKeys=0
0.91	       =>  wckTime=0.094  cpuTime=0.07  mem=14M923
0.93	   
0.93	   search
0.93	     run=3  nbConstraintChecks=243546  nbPropagations=6256  nbRevisions=107648  nbUselessRevisions=92607
0.93	     nbAssignments=188  nbFailedAssignments=90  nbBacktracks=81  nbVisitedNodes=343  nbRestartNogoods=11  mapSize=81
0.93	     nbInferences=0  nbTooLargeKeys=0
0.93	       =>  wckTime=0.119  cpuTime=0.09  mem=14M923
0.96	   
0.96	   search
0.96	     run=4  nbConstraintChecks=387274  nbPropagations=10919  nbRevisions=191183  nbUselessRevisions=164518
0.96	     nbAssignments=304  nbFailedAssignments=150  nbBacktracks=132  nbVisitedNodes=559  nbRestartNogoods=14  mapSize=132
0.96	     nbInferences=0  nbTooLargeKeys=0
0.96	       =>  wckTime=0.147  cpuTime=0.12  mem=14M923
1.01	   
1.01	   search
1.01	     run=5  nbConstraintChecks=584530  nbPropagations=18014  nbRevisions=319833  nbUselessRevisions=275385
1.01	     nbAssignments=463  nbFailedAssignments=229  nbBacktracks=207  nbVisitedNodes=857  nbRestartNogoods=19  mapSize=205
1.01	     nbInferences=0  nbTooLargeKeys=0
1.01	       =>  wckTime=0.194  cpuTime=0.16  mem=14M923
1.06	   
1.06	   search
1.06	     run=6  nbConstraintChecks=837626  nbPropagations=28195  nbRevisions=505272  nbUselessRevisions=435167
1.06	     nbAssignments=682  nbFailedAssignments=330  nbBacktracks=320  nbVisitedNodes=1260  nbRestartNogoods=25  mapSize=316
1.06	     nbInferences=0  nbTooLargeKeys=0
1.06	       =>  wckTime=0.245  cpuTime=0.2  mem=14M923
1.15	   
1.15	   search
1.15	     run=7  nbConstraintChecks=1307123  nbPropagations=43832  nbRevisions=794802  nbUselessRevisions=684787
1.15	     nbAssignments=1031  nbFailedAssignments=504  nbBacktracks=491  nbVisitedNodes=1916  nbRestartNogoods=32
1.15	     mapSize=485  nbInferences=0  nbTooLargeKeys=0
1.15	       =>  wckTime=0.334  cpuTime=0.28  mem=14M923
1.29	   
1.29	   search
1.29	     run=8  nbConstraintChecks=1988036  nbPropagations=67435  nbRevisions=1235722  nbUselessRevisions=1064800
1.29	     nbAssignments=1560  nbFailedAssignments=771  nbBacktracks=748  nbVisitedNodes=2903  nbRestartNogoods=35
1.29	     mapSize=737  nbInferences=0  nbTooLargeKeys=0
1.29	       =>  wckTime=0.473  cpuTime=0.41  mem=14M923
1.42	   
1.42	   INFO : Stopping hyperNogood (mapSize=1034, nbTooLargekeys=0, mem=14M923)
1.46	   
1.46	   search
1.46	     run=9  nbConstraintChecks=3012837  nbPropagations=102822  nbRevisions=1904108  nbUselessRevisions=1641141
1.46	     nbAssignments=2349  nbFailedAssignments=1171  nbBacktracks=1133  nbVisitedNodes=4378  nbRestartNogoods=44
1.46	       =>  wckTime=0.641  cpuTime=0.57  mem=14M923
1.69	   
1.69	   search
1.69	     run=10  nbConstraintChecks=4454303  nbPropagations=155217  nbRevisions=2895987  nbUselessRevisions=2496269
1.69	     nbAssignments=3503  nbFailedAssignments=1744  nbBacktracks=1709  nbVisitedNodes=6532  nbRestartNogoods=52
1.69	       =>  wckTime=0.873  cpuTime=0.79  mem=14M923
2.03	   
2.03	   search
2.03	     run=11  nbConstraintChecks=6743960  nbPropagations=233780  nbRevisions=4392811  nbUselessRevisions=3787052
2.03	     nbAssignments=5239  nbFailedAssignments=2612  nbBacktracks=2573  nbVisitedNodes=9776  nbRestartNogoods=63
2.03	       =>  wckTime=1.218  cpuTime=1.13  mem=14M923
2.54	   
2.54	   search
2.54	     run=12  nbConstraintChecks=9986067  nbPropagations=350890  nbRevisions=6621192  nbUselessRevisions=5708993
2.54	     nbAssignments=7863  nbFailedAssignments=3934  nbBacktracks=3870  nbVisitedNodes=14699  nbRestartNogoods=76
2.54	       =>  wckTime=1.723  cpuTime=1.63  mem=14M923
3.30	   
3.30	   search
3.30	     run=13  nbConstraintChecks=14949051  nbPropagations=526409  nbRevisions=9959262  nbUselessRevisions=8586712
3.30	     nbAssignments=11797  nbFailedAssignments=5918  nbBacktracks=5816  nbVisitedNodes=22088  nbRestartNogoods=89
3.30	       =>  wckTime=2.481  cpuTime=2.38  mem=14M923
4.43	   
4.43	   search
4.43	     run=14  nbConstraintChecks=22394053  nbPropagations=788090  nbRevisions=14955016  nbUselessRevisions=12894479
4.43	     nbAssignments=17585  nbFailedAssignments=8784  nbBacktracks=8735  nbVisitedNodes=32925  nbRestartNogoods=93
4.43	       =>  wckTime=3.612  cpuTime=3.5  mem=14M923
6.14	   
6.14	   search
6.14	     run=15  nbConstraintChecks=33704272  nbPropagations=1180740  nbRevisions=22472045  nbUselessRevisions=19377187
6.14	     nbAssignments=26413  nbFailedAssignments=13229  nbBacktracks=13113  nbVisitedNodes=49457  nbRestartNogoods=105
6.14	       =>  wckTime=5.325  cpuTime=5.19  mem=14M923
8.70	   
8.70	   search
8.70	     run=16  nbConstraintChecks=50498502  nbPropagations=1769228  nbRevisions=33743082  nbUselessRevisions=29099560
8.70	     nbAssignments=39561  nbFailedAssignments=19805  nbBacktracks=19682  nbVisitedNodes=74087  nbRestartNogoods=121
8.70	       =>  wckTime=7.888  cpuTime=7.73  mem=14M923
12.60	   
12.60	   search
12.60	     run=17  nbConstraintChecks=75907520  nbPropagations=2652729  nbRevisions=50714859  nbUselessRevisions=43747949
12.60	     nbAssignments=59310  nbFailedAssignments=29698  nbBacktracks=29534  nbVisitedNodes=111106  nbRestartNogoods=132
12.60	       =>  wckTime=11.79  cpuTime=11.6  mem=14M923
18.51	   
18.51	   search
18.51	     run=18  nbConstraintChecks=114743213  nbPropagations=3982698  nbRevisions=76339243  nbUselessRevisions=65870172
18.51	     nbAssignments=89184  nbFailedAssignments=44790  nbBacktracks=44312  nbVisitedNodes=167175  nbRestartNogoods=154
18.51	       =>  wckTime=17.692  cpuTime=17.45  mem=14M923
27.26	   
27.26	   search
27.26	     run=19  nbConstraintChecks=172830537  nbPropagations=5981317  nbRevisions=114871696  nbUselessRevisions=99132358
27.26	     nbAssignments=133870  nbFailedAssignments=67302  nbBacktracks=66480  nbVisitedNodes=250981  nbRestartNogoods=165
27.26	       =>  wckTime=26.442  cpuTime=26.11  mem=14M923
35.60	   
35.60	   search
35.60	     run=20  nbConstraintChecks=227992844  nbPropagations=8608966  nbRevisions=165629365  nbUselessRevisions=142952635
35.60	     nbAssignments=175674  nbFailedAssignments=88534  nbBacktracks=87029  nbVisitedNodes=329496  nbRestartNogoods=184
35.60	       =>  wckTime=34.789  cpuTime=34.38  mem=14M923
35.61	   
35.61	   global
35.61	     nbConstraintChecks=227992844  nbPropagations=8608989  nbRevisions=165629365  nbUselessRevisions=142952635
35.61	     nbRestartNogoods=184  solvingWckTime=34.79  solvingCpuTime=34.38  expiredTime=no  totalExploration=no
35.61	     nbFoundSolutions=1  globalCpuTime=34.77
35.61	       =>  wckTime=35.289  cpuTime=34.72  mem=14M923
35.61	   
35.61	s SATISFIABLE
35.61	v 1 16 7 0 14 22 10 1 3 13 18 8 8 13 2 22 19 9 12 5 7 16 12 
35.61	d NODES 175674
35.61	d CHECKS 227992844
35.61	   
35.61	   totalWckTime=35.369  totalCpuTime=34.78

Verifier Data (download as text)

OK

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-199685-1168071526 -o ROOT/results/node10/solver-199685-1168071526 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/199685-1168071526/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: 2.00 1.92 1.87 4/93 27144
/proc/meminfo: memFree=1074840/2055920 swapFree=4178332/4192956
[pid=27143] ppid=27141 vsize=18540 CPUtime=0
/proc/27143/stat : 27143 (runsolver) R 27141 27143 25526 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 155547718 18984960 279 18446744073709551615 4194304 4267372 548682068880 18446744073709551615 214919867687 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/27143/statm: 4635 279 244 17 0 2626 0

[startup+0.103115 s]
/proc/loadavg: 2.00 1.92 1.87 4/93 27144
/proc/meminfo: memFree=1074840/2055920 swapFree=4178332/4192956
[pid=27143] ppid=27141 vsize=914988 CPUtime=0.09
/proc/27143/stat : 27143 (java) R 27141 27143 25526 0 -1 0 2955 0 1 0 7 2 0 0 17 0 8 0 155547718 936947712 2701 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4155582973 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27143/statm: 228747 2701 1414 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.515171 s]
/proc/loadavg: 2.00 1.92 1.87 4/93 27144
/proc/meminfo: memFree=1074840/2055920 swapFree=4178332/4192956
[pid=27143] ppid=27141 vsize=915328 CPUtime=0.49
/proc/27143/stat : 27143 (java) R 27141 27143 25526 0 -1 0 6874 0 1 0 45 4 0 0 18 0 8 0 155547718 937295872 6613 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27143/statm: 228832 6613 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.34428 s]
/proc/loadavg: 2.00 1.92 1.87 3/100 27151
/proc/meminfo: memFree=1051360/2055920 swapFree=4178332/4192956
[pid=27143] ppid=27141 vsize=915452 CPUtime=1.31
/proc/27143/stat : 27143 (java) R 27141 27143 25526 0 -1 0 8582 0 1 0 124 7 0 0 24 0 8 0 155547718 937422848 8320 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073798777 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27143/statm: 228863 8320 2513 14 0 215333 0
[pid=27143/tid=27145] ppid=27141 vsize=915452 CPUtime=0.03
/proc/27143/task/27145/stat : 27145 (java) S 27141 27143 25526 0 -1 64 269 0 0 0 3 0 0 0 16 0 8 0 155547722 937422848 8320 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27143/tid=27146] ppid=27141 vsize=915452 CPUtime=0
/proc/27143/task/27146/stat : 27146 (java) S 27141 27143 25526 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155547723 937422848 8320 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27143/tid=27147] ppid=27141 vsize=915452 CPUtime=0
/proc/27143/task/27147/stat : 27147 (java) S 27141 27143 25526 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155547723 937422848 8320 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27143/tid=27148] ppid=27141 vsize=915452 CPUtime=0
/proc/27143/task/27148/stat : 27148 (java) S 27141 27143 25526 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155547726 937422848 8320 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27143/tid=27149] ppid=27141 vsize=915452 CPUtime=0.22
/proc/27143/task/27149/stat : 27149 (java) S 27141 27143 25526 0 -1 64 383 0 0 0 21 1 0 0 16 0 8 0 155547726 937422848 8320 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27143/tid=27150] ppid=27141 vsize=915452 CPUtime=0
/proc/27143/task/27150/stat : 27150 (java) S 27141 27143 25526 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155547726 937422848 8320 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27143/tid=27151] ppid=27141 vsize=915452 CPUtime=0
/proc/27143/task/27151/stat : 27151 (java) S 27141 27143 25526 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155547726 937422848 8320 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915452

[startup+2.9815 s]
/proc/loadavg: 2.00 1.92 1.87 3/100 27151
/proc/meminfo: memFree=1051168/2055920 swapFree=4178332/4192956
[pid=27143] ppid=27141 vsize=915452 CPUtime=2.93
/proc/27143/stat : 27143 (java) R 27141 27143 25526 0 -1 0 8602 0 1 0 286 7 0 0 25 0 8 0 155547718 937422848 8339 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4072918514 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27143/statm: 228863 8339 2513 14 0 215333 0
[pid=27143/tid=27145] ppid=27141 vsize=915452 CPUtime=0.03
/proc/27143/task/27145/stat : 27145 (java) S 27141 27143 25526 0 -1 64 269 0 0 0 3 0 0 0 17 0 8 0 155547722 937422848 8339 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27143/tid=27146] ppid=27141 vsize=915452 CPUtime=0
/proc/27143/task/27146/stat : 27146 (java) S 27141 27143 25526 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155547723 937422848 8339 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27143/tid=27147] ppid=27141 vsize=915452 CPUtime=0
/proc/27143/task/27147/stat : 27147 (java) S 27141 27143 25526 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155547723 937422848 8339 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27143/tid=27148] ppid=27141 vsize=915452 CPUtime=0
/proc/27143/task/27148/stat : 27148 (java) S 27141 27143 25526 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155547726 937422848 8339 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27143/tid=27149] ppid=27141 vsize=915452 CPUtime=0.23
/proc/27143/task/27149/stat : 27149 (java) S 27141 27143 25526 0 -1 64 387 0 0 0 22 1 0 0 15 0 8 0 155547726 937422848 8339 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27143/tid=27150] ppid=27141 vsize=915452 CPUtime=0
/proc/27143/task/27150/stat : 27150 (java) S 27141 27143 25526 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155547726 937422848 8339 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27143/tid=27151] ppid=27141 vsize=915452 CPUtime=0
/proc/27143/task/27151/stat : 27151 (java) S 27141 27143 25526 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155547726 937422848 8339 18446744073709551615 134512640 134570532 4294956400 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) 915452

[startup+6.26094 s]
/proc/loadavg: 2.00 1.92 1.87 3/100 27151
/proc/meminfo: memFree=1051040/2055920 swapFree=4178332/4192956
[pid=27143] ppid=27141 vsize=915452 CPUtime=6.18
/proc/27143/stat : 27143 (java) R 27141 27143 25526 0 -1 0 8613 0 1 0 611 7 0 0 25 0 8 0 155547718 937422848 8348 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073795169 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27143/statm: 228863 8348 2513 14 0 215333 0
[pid=27143/tid=27145] ppid=27141 vsize=915452 CPUtime=0.03
/proc/27143/task/27145/stat : 27145 (java) S 27141 27143 25526 0 -1 64 269 0 0 0 3 0 0 0 16 0 8 0 155547722 937422848 8348 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27143/tid=27146] ppid=27141 vsize=915452 CPUtime=0
/proc/27143/task/27146/stat : 27146 (java) S 27141 27143 25526 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155547723 937422848 8348 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27143/tid=27147] ppid=27141 vsize=915452 CPUtime=0
/proc/27143/task/27147/stat : 27147 (java) S 27141 27143 25526 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155547723 937422848 8348 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27143/tid=27148] ppid=27141 vsize=915452 CPUtime=0
/proc/27143/task/27148/stat : 27148 (java) S 27141 27143 25526 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155547726 937422848 8348 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27143/tid=27149] ppid=27141 vsize=915452 CPUtime=0.23
/proc/27143/task/27149/stat : 27149 (java) S 27141 27143 25526 0 -1 64 388 0 0 0 22 1 0 0 16 0 8 0 155547726 937422848 8348 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27143/tid=27150] ppid=27141 vsize=915452 CPUtime=0
/proc/27143/task/27150/stat : 27150 (java) S 27141 27143 25526 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155547726 937422848 8348 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27143/tid=27151] ppid=27141 vsize=915452 CPUtime=0
/proc/27143/task/27151/stat : 27151 (java) S 27141 27143 25526 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155547726 937422848 8348 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915452

[startup+12.7488 s]
/proc/loadavg: 2.00 1.92 1.87 3/100 27151
/proc/meminfo: memFree=1051048/2055920 swapFree=4178332/4192956
[pid=27143] ppid=27141 vsize=915452 CPUtime=12.61
/proc/27143/stat : 27143 (java) R 27141 27143 25526 0 -1 0 8618 0 1 0 1254 7 0 0 25 0 8 0 155547718 937422848 8353 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073786394 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27143/statm: 228863 8353 2513 14 0 215333 0
[pid=27143/tid=27145] ppid=27141 vsize=915452 CPUtime=0.03
/proc/27143/task/27145/stat : 27145 (java) S 27141 27143 25526 0 -1 64 269 0 0 0 3 0 0 0 16 0 8 0 155547722 937422848 8353 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27143/tid=27146] ppid=27141 vsize=915452 CPUtime=0
/proc/27143/task/27146/stat : 27146 (java) S 27141 27143 25526 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155547723 937422848 8353 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27143/tid=27147] ppid=27141 vsize=915452 CPUtime=0
/proc/27143/task/27147/stat : 27147 (java) S 27141 27143 25526 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155547723 937422848 8353 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27143/tid=27148] ppid=27141 vsize=915452 CPUtime=0
/proc/27143/task/27148/stat : 27148 (java) S 27141 27143 25526 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155547726 937422848 8353 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27143/tid=27149] ppid=27141 vsize=915452 CPUtime=0.23
/proc/27143/task/27149/stat : 27149 (java) S 27141 27143 25526 0 -1 64 388 0 0 0 22 1 0 0 16 0 8 0 155547726 937422848 8353 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27143/tid=27150] ppid=27141 vsize=915452 CPUtime=0
/proc/27143/task/27150/stat : 27150 (java) S 27141 27143 25526 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155547726 937422848 8353 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27143/tid=27151] ppid=27141 vsize=915452 CPUtime=0
/proc/27143/task/27151/stat : 27151 (java) S 27141 27143 25526 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155547726 937422848 8353 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915452

[startup+25.6036 s]
/proc/loadavg: 2.00 1.92 1.87 3/100 27151
/proc/meminfo: memFree=1051048/2055920 swapFree=4178332/4192956
[pid=27143] ppid=27141 vsize=915452 CPUtime=25.34
/proc/27143/stat : 27143 (java) R 27141 27143 25526 0 -1 0 8620 0 1 0 2527 7 0 0 25 0 8 0 155547718 937422848 8355 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4072918504 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27143/statm: 228863 8355 2513 14 0 215333 0
[pid=27143/tid=27145] ppid=27141 vsize=915452 CPUtime=0.03
/proc/27143/task/27145/stat : 27145 (java) S 27141 27143 25526 0 -1 64 269 0 0 0 3 0 0 0 16 0 8 0 155547722 937422848 8355 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27143/tid=27146] ppid=27141 vsize=915452 CPUtime=0
/proc/27143/task/27146/stat : 27146 (java) S 27141 27143 25526 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155547723 937422848 8355 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27143/tid=27147] ppid=27141 vsize=915452 CPUtime=0
/proc/27143/task/27147/stat : 27147 (java) S 27141 27143 25526 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155547723 937422848 8355 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27143/tid=27148] ppid=27141 vsize=915452 CPUtime=0
/proc/27143/task/27148/stat : 27148 (java) S 27141 27143 25526 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155547726 937422848 8355 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27143/tid=27149] ppid=27141 vsize=915452 CPUtime=0.23
/proc/27143/task/27149/stat : 27149 (java) S 27141 27143 25526 0 -1 64 388 0 0 0 22 1 0 0 16 0 8 0 155547726 937422848 8355 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27143/tid=27150] ppid=27141 vsize=915452 CPUtime=0
/proc/27143/task/27150/stat : 27150 (java) S 27141 27143 25526 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155547726 937422848 8355 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27143/tid=27151] ppid=27141 vsize=915452 CPUtime=0
/proc/27143/task/27151/stat : 27151 (java) S 27141 27143 25526 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155547726 937422848 8355 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 915452

Child status: 0
Real time (s): 35.6583
CPU time (s): 35.2766
CPU user time (s): 35.1946
CPU system time (s): 0.081987
CPU usage (%): 98.9296
Max. virtual memory (cumulated for all children) (KiB): 915452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 35.1946
system time used= 0.081987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8714
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= 1805
involuntary context switches= 4094

runsolver used 0.046992 s user time and 0.123981 s system time

The end

Launcher Data (download as text)

Begin job on node10 on Sat Jan  6 08:18:46 UTC 2007


IDJOB= 199685
IDBENCH= 3632
FILE ID= node10/199685-1168071526

PBS_JOBID= 3475674

Free space on /tmp= 66355 MiB

BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-23/rand-23-23-253-131-49021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/199685-1168071526/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node10/watcher-199685-1168071526 -o ROOT/results/node10/solver-199685-1168071526 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/199685-1168071526/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  351f4750f3442564d7eeac8c45aaaf15

RANDOM SEED= 701059726

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:       1075256 kB
Buffers:         45336 kB
Cached:         206088 kB
SwapCached:       2420 kB
Active:         691356 kB
Inactive:       200444 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1075256 kB
SwapTotal:     4192956 kB
SwapFree:      4178332 kB
Dirty:            1920 kB
Writeback:           0 kB
Mapped:         659952 kB
Slab:            72544 kB
Committed_AS:  4327576 kB
PageTables:       3440 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= 66355 MiB



End job on node10 on Sat Jan  6 08:19:22 UTC 2007