Trace number 239802

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 102.174 102.453

DiagnosticValue
CHECKS97158244
NODES343746

General information on the benchmark

Nameqcp-qwh/QWH-20/
qwh-20-166-2_ext.xml
MD5SUM06c89baa1c2c3ed27c5f4ac6ca602b49
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 benchmark0.6499
SatisfiableYES
(Un)Satisfiability was proved
Number of variables400
Number of constraints7600
Maximum constraint arity2
Maximum domain size20
Number of constraints which are defined in extension7600
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.32	   
0.32	Abscon 109 (November, 2006)
0.32	   
0.32	   configuration
0.32	     name=mac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/239802-1168085155/unknown.xml
0.38	   
0.38	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.48	     nbVariables=400  nbDomainTypes=21  minDomainSize=1  maxDomainSize=20
0.48	       =>  wckTime=0.158  cpuTime=0.11  mem=7M894
0.48	   
0.48	   relations being loaded...
0.48	   
0.48	   constraints being loaded...
0.84	     nbConstraints=5092  nbRelationTypes=22  nbSingletonDomainVariables=234  nbExtensionStructures=41
0.84	     nbSharedExtensionStructures=5051  nbConflictsStructures=41  nbSharedConflictsStructures=5051
0.84	     nbSharedBinaryRepresentations=858  maxDegree=38  maxArity=2
0.84	       =>  wckTime=0.524  cpuTime=0.36  mem=23M497
0.92	   
0.92	   solver IterativeSystematicSolver being built... 
1.10	       =>  wckTime=0.777  cpuTime=0.52  mem=18M172
1.15	   
1.15	   preprocessing
1.15	     nbConstraintChecks=41907  nbPropagations=400  nbRevisions=3876  nbUselessRevisions=1229  nbRemovedValues=2647
1.16	     detectedInconsistency=no
1.16	       =>  wckTime=0.051  cpuTime=0.03  mem=18M172
1.20	   
1.20	   search
1.20	     run=0  nbConstraintChecks=5071  nbPropagations=684  nbRevisions=6843  nbUselessRevisions=3788  nbAssignments=46
1.20	     nbFailedAssignments=2  nbBacktracks=15  nbVisitedNodes=51  nbRestartNogoods=0  mapSize=3  nbInferences=0
1.20	     nbTooLargeKeys=0
1.20	       =>  wckTime=0.102  cpuTime=0.06  mem=18M172
1.23	   
1.23	   search
1.23	     run=1  nbConstraintChecks=12882  nbPropagations=1777  nbRevisions=18496  nbUselessRevisions=11750
1.23	     nbAssignments=109  nbFailedAssignments=8  nbBacktracks=32  nbVisitedNodes=123  nbRestartNogoods=1  mapSize=8
1.23	     nbInferences=0  nbTooLargeKeys=0
1.23	       =>  wckTime=0.126  cpuTime=0.08  mem=18M172
1.26	   
1.26	   search
1.26	     run=2  nbConstraintChecks=22477  nbPropagations=3333  nbRevisions=36200  nbUselessRevisions=24937
1.26	     nbAssignments=180  nbFailedAssignments=17  nbBacktracks=54  nbVisitedNodes=209  nbRestartNogoods=5  mapSize=20
1.26	     nbInferences=0  nbTooLargeKeys=0
1.26	       =>  wckTime=0.157  cpuTime=0.11  mem=19M147
1.29	   
1.29	   search
1.29	     run=3  nbConstraintChecks=33689  nbPropagations=5403  nbRevisions=61001  nbUselessRevisions=44307
1.29	     nbAssignments=268  nbFailedAssignments=27  nbBacktracks=88  nbVisitedNodes=314  nbRestartNogoods=8  mapSize=32
1.29	     nbInferences=0  nbTooLargeKeys=0
1.29	       =>  wckTime=0.184  cpuTime=0.13  mem=19M147
1.32	   
1.32	   search
1.32	     run=4  nbConstraintChecks=49201  nbPropagations=8141  nbRevisions=95695  nbUselessRevisions=72323
1.32	     nbAssignments=370  nbFailedAssignments=43  nbBacktracks=148  nbVisitedNodes=441  nbRestartNogoods=13  mapSize=54
1.32	     nbInferences=0  nbTooLargeKeys=0
1.32	       =>  wckTime=0.22  cpuTime=0.17  mem=19M147
1.37	   
1.37	   search
1.37	     run=5  nbConstraintChecks=66024  nbPropagations=11616  nbRevisions=141246  nbUselessRevisions=109848
1.37	     nbAssignments=500  nbFailedAssignments=57  nbBacktracks=223  nbVisitedNodes=598  nbRestartNogoods=16  mapSize=75
1.37	     nbInferences=0  nbTooLargeKeys=0
1.37	       =>  wckTime=0.263  cpuTime=0.21  mem=19M147
1.42	   
1.42	   search
1.42	     run=6  nbConstraintChecks=94691  nbPropagations=16194  nbRevisions=206474  nbUselessRevisions=164902
1.42	     nbAssignments=691  nbFailedAssignments=77  nbBacktracks=341  nbVisitedNodes=828  nbRestartNogoods=22  mapSize=110
1.42	     nbInferences=0  nbTooLargeKeys=0
1.42	       =>  wckTime=0.322  cpuTime=0.26  mem=19M147
1.50	   
1.50	   search
1.50	     run=7  nbConstraintChecks=129907  nbPropagations=22164  nbRevisions=295173  nbUselessRevisions=240810
1.50	     nbAssignments=932  nbFailedAssignments=105  nbBacktracks=519  nbVisitedNodes=1123  nbRestartNogoods=26  mapSize=160
1.50	     nbInferences=0  nbTooLargeKeys=0
1.50	       =>  wckTime=0.395  cpuTime=0.33  mem=19M147
1.61	   
1.61	   search
1.61	     run=8  nbConstraintChecks=198632  nbPropagations=30503  nbRevisions=430205  nbUselessRevisions=357916
1.61	     nbAssignments=1300  nbFailedAssignments=158  nbBacktracks=775  nbVisitedNodes=1591  nbRestartNogoods=30
1.61	     mapSize=253  nbInferences=0  nbTooLargeKeys=0
1.61	       =>  wckTime=0.512  cpuTime=0.44  mem=19M147
1.78	   
1.78	   search
1.78	     run=9  nbConstraintChecks=288189  nbPropagations=41942  nbRevisions=625491  nbUselessRevisions=528529
1.78	     nbAssignments=1799  nbFailedAssignments=211  nbBacktracks=1170  nbVisitedNodes=2202  nbRestartNogoods=36
1.78	     mapSize=359  nbInferences=0  nbTooLargeKeys=0
1.78	       =>  wckTime=0.677  cpuTime=0.59  mem=20M122
1.99	   
1.99	   search
1.99	     run=10  nbConstraintChecks=408760  nbPropagations=57875  nbRevisions=901966  nbUselessRevisions=771230
1.99	     nbAssignments=2551  nbFailedAssignments=318  nbBacktracks=1763  nbVisitedNodes=3175  nbRestartNogoods=42
1.99	     mapSize=568  nbInferences=0  nbTooLargeKeys=0
1.99	       =>  wckTime=0.886  cpuTime=0.78  mem=20M122
2.26	   
2.26	   search
2.26	     run=11  nbConstraintChecks=571517  nbPropagations=79529  nbRevisions=1289087  nbUselessRevisions=1112564
2.26	     nbAssignments=3565  nbFailedAssignments=417  nbBacktracks=2637  nbVisitedNodes=4389  nbRestartNogoods=48
2.26	     mapSize=764  nbInferences=0  nbTooLargeKeys=0
2.26	       =>  wckTime=1.162  cpuTime=1.05  mem=21M98
2.56	   
2.56	   INFO : Stopping hyperNogood (mapSize=1009, nbTooLargekeys=0, mem=21M98)
2.69	   
2.69	   search
2.69	     run=12  nbConstraintChecks=877476  nbPropagations=111244  nbRevisions=1878105  nbUselessRevisions=1632745
2.69	     nbAssignments=5112  nbFailedAssignments=629  nbBacktracks=3939  nbVisitedNodes=6329  nbRestartNogoods=52
2.69	       =>  wckTime=1.587  cpuTime=1.47  mem=21M98
3.17	   
3.17	   search
3.17	     run=13  nbConstraintChecks=1222747  nbPropagations=155347  nbRevisions=2696401  nbUselessRevisions=2356042
3.17	     nbAssignments=7359  nbFailedAssignments=895  nbBacktracks=5893  nbVisitedNodes=9078  nbRestartNogoods=57
3.17	       =>  wckTime=2.071  cpuTime=1.96  mem=21M98
4.10	   
4.10	   search
4.10	     run=14  nbConstraintChecks=1979511  nbPropagations=225496  nbRevisions=4017575  nbUselessRevisions=3524537
4.10	     nbAssignments=10959  nbFailedAssignments=1548  nbBacktracks=8827  nbVisitedNodes=13891  nbRestartNogoods=66
4.10	       =>  wckTime=2.994  cpuTime=2.87  mem=21M98
5.71	   
5.71	   search
5.71	     run=15  nbConstraintChecks=3410176  nbPropagations=343835  nbRevisions=6290789  nbUselessRevisions=5538476
5.71	     nbAssignments=16406  nbFailedAssignments=2587  nbBacktracks=13209  nbVisitedNodes=21284  nbRestartNogoods=69
5.71	       =>  wckTime=4.612  cpuTime=4.47  mem=21M98
8.19	   
8.19	   search
8.19	     run=16  nbConstraintChecks=5630032  nbPropagations=537655  nbRevisions=10038741  nbUselessRevisions=8856407
8.19	     nbAssignments=24825  nbFailedAssignments=4411  nbBacktracks=19778  nbVisitedNodes=33243  nbRestartNogoods=78
8.19	       =>  wckTime=7.092  cpuTime=6.94  mem=21M98
12.05	   
12.05	   search
12.05	     run=17  nbConstraintChecks=9247862  nbPropagations=853056  nbRevisions=16172466  nbUselessRevisions=14287785
12.05	     nbAssignments=37530  nbFailedAssignments=7247  nbBacktracks=29631  nbVisitedNodes=51533  nbRestartNogoods=85
12.05	       =>  wckTime=10.953  cpuTime=10.76  mem=21M98
18.10	   
18.10	   search
18.10	     run=18  nbConstraintChecks=14813195  nbPropagations=1354403  nbRevisions=25992293  nbUselessRevisions=22983737
18.10	     nbAssignments=56617  nbFailedAssignments=11515  nbBacktracks=44417  nbVisitedNodes=78628  nbRestartNogoods=93
18.10	       =>  wckTime=17.001  cpuTime=16.75  mem=21M98
26.13	   
26.13	   search
26.13	     run=19  nbConstraintChecks=22621117  nbPropagations=2122064  nbRevisions=41086572  nbUselessRevisions=36383985
26.13	     nbAssignments=84467  nbFailedAssignments=17170  nbBacktracks=66595  nbVisitedNodes=117450  nbRestartNogoods=100
26.13	       =>  wckTime=25.025  cpuTime=24.76  mem=21M98
39.06	   
39.06	   search
39.06	     run=20  nbConstraintChecks=35712192  nbPropagations=3317686  nbRevisions=64967449  nbUselessRevisions=57608352
39.06	     nbAssignments=126653  nbFailedAssignments=26092  nbBacktracks=99849  nbVisitedNodes=175975  nbRestartNogoods=108
39.06	       =>  wckTime=37.954  cpuTime=37.68  mem=21M98
56.97	   
56.97	   search
56.97	     run=21  nbConstraintChecks=53102613  nbPropagations=5104207  nbRevisions=100437062  nbUselessRevisions=89134976
56.97	     nbAssignments=188884  nbFailedAssignments=38424  nbBacktracks=149728  nbVisitedNodes=261866  nbRestartNogoods=116
56.97	       =>  wckTime=55.866  cpuTime=55.59  mem=21M98
84.35	   
84.35	   search
84.35	     run=22  nbConstraintChecks=79194605  nbPropagations=7787998  nbRevisions=153362597  nbUselessRevisions=136177653
84.35	     nbAssignments=282551  nbFailedAssignments=57239  nbBacktracks=224549  nbVisitedNodes=391058  nbRestartNogoods=121
84.35	       =>  wckTime=83.251  cpuTime=82.93  mem=21M98
102.42	   
102.42	   search
102.42	     run=23  nbConstraintChecks=97116337  nbPropagations=11078162  nbRevisions=218277000  nbUselessRevisions=193879786
102.42	     nbAssignments=343746  nbFailedAssignments=70975  nbBacktracks=271608  nbVisitedNodes=478504  nbRestartNogoods=133
102.42	       =>  wckTime=101.32  cpuTime=100.99  mem=21M98
102.42	   
102.42	   global
102.42	     nbConstraintChecks=97158244  nbPropagations=11078562  nbRevisions=218280876  nbUselessRevisions=193881015
102.42	     nbRestartNogoods=133  solvingWckTime=101.321  solvingCpuTime=100.99  expiredTime=no  totalExploration=no
102.42	     nbFoundSolutions=1  globalCpuTime=101.57
102.42	       =>  wckTime=102.103  cpuTime=101.51  mem=21M98
102.42	   
102.42	s SATISFIABLE
102.42	v 16 18 13 17 1 0 3 14 2 12 15 7 6 8 4 9 5 11 10 19 2 7 6 0 10 17 4 8 12 1 16 19 18 11 15 14 9 13 5 3 7 16 9 2 6 10 5 12 13 0 19 11 15 1 8 18 17 3 4 14 3 12 8 4 2 1 6 17 5 15 11 13 10 16 7 0 19 14 9 18 14 15 0 18 19 8 11 6 7 3 1 5 13 9 12 16 2 10 17 4 9 5 10 1 3 7 15 11 16 14 13 17 8 18 2 19 4 6 12 0 1 3 14 12 0 4 7 2 15 17 10 8 11 5 13 6 18 9 19 16 18 14 4 7 5 9 12 10 17 2 6 3 19 13 16 11 1 0 8 15 5 11 19 15 8 2 16 13 14 9 7 10 4 0 1 17 3 12 18 6 0 1 17 14 16 19 8 7 4 5 2 18 12 10 6 3 13 15 11 9 13 19 3 8 4 18 1 9 0 6 5 14 2 15 11 10 12 16 7 17 8 10 1 6 14 15 9 16 18 19 4 12 0 3 5 2 7 17 13 11 10 4 7 16 9 11 13 0 6 18 12 1 3 19 17 5 14 2 15 8 17 6 15 11 13 3 10 18 1 7 8 9 5 14 19 12 0 4 16 2 6 9 16 10 11 12 19 1 8 13 17 2 14 7 3 4 15 18 0 5 19 13 2 9 15 16 18 3 11 10 0 4 7 17 14 8 6 5 1 12 11 2 5 19 12 14 17 15 10 4 18 0 16 6 9 7 8 1 3 13 15 17 12 3 7 5 0 4 19 11 14 16 9 2 18 13 10 8 6 1 12 0 11 13 18 6 14 5 9 8 3 15 17 4 10 1 16 19 2 7 4 8 18 5 17 13 2 19 3 16 9 6 1 12 0 15 11 7 14 10 
102.42	d NODES 343746
102.42	d CHECKS 97158244
102.42	   
102.42	   totalWckTime=102.183  totalCpuTime=101.57

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/node19/watcher-239802-1168085155 -o ROOT/results/node19/solver-239802-1168085155 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/239802-1168085155/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.87 1.95 1.89 5/93 26042
/proc/meminfo: memFree=622912/2055920 swapFree=4171232/4192956
[pid=26041] ppid=26039 vsize=18540 CPUtime=0
/proc/26041/stat : 26041 (runsolver) R 26039 26041 25118 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 156910845 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 255236566311 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/26041/statm: 4635 279 244 17 0 2626 0

[startup+0.107822 s]
/proc/loadavg: 1.87 1.95 1.89 5/93 26042
/proc/meminfo: memFree=622912/2055920 swapFree=4171232/4192956
[pid=26041] ppid=26039 vsize=914988 CPUtime=0.08
/proc/26041/stat : 26041 (java) R 26039 26041 25118 0 -1 0 2979 0 1 0 7 1 0 0 17 0 8 0 156910845 936947712 2725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072924360 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26041/statm: 228747 2725 1423 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.515896 s]
/proc/loadavg: 1.87 1.95 1.89 5/93 26042
/proc/meminfo: memFree=622912/2055920 swapFree=4171232/4192956
[pid=26041] ppid=26039 vsize=915328 CPUtime=0.48
/proc/26041/stat : 26041 (java) R 26039 26041 25118 0 -1 0 6414 0 1 0 44 4 0 0 18 0 8 0 156910845 937295872 6153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26041/statm: 228832 6153 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.33705 s]
/proc/loadavg: 1.87 1.95 1.89 4/100 26049
/proc/meminfo: memFree=587080/2055920 swapFree=4171232/4192956
[pid=26041] ppid=26039 vsize=915676 CPUtime=1.3
/proc/26041/stat : 26041 (java) R 26039 26041 25118 0 -1 0 11683 0 1 0 122 8 0 0 23 0 8 0 156910845 937652224 11421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073977281 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26041/statm: 228919 11421 2513 14 0 215389 0
[pid=26041/tid=26043] ppid=26039 vsize=915676 CPUtime=0.06
/proc/26041/task/26043/stat : 26043 (java) S 26039 26041 25118 0 -1 64 842 0 0 0 6 0 0 0 16 0 8 0 156910849 937652224 11421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26041/tid=26044] ppid=26039 vsize=915676 CPUtime=0
/proc/26041/task/26044/stat : 26044 (java) S 26039 26041 25118 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156910850 937652224 11421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26041/tid=26045] ppid=26039 vsize=915676 CPUtime=0
/proc/26041/task/26045/stat : 26045 (java) S 26039 26041 25118 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156910850 937652224 11421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26041/tid=26046] ppid=26039 vsize=915676 CPUtime=0
/proc/26041/task/26046/stat : 26046 (java) S 26039 26041 25118 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156910853 937652224 11421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26041/tid=26047] ppid=26039 vsize=915676 CPUtime=0.27
/proc/26041/task/26047/stat : 26047 (java) S 26039 26041 25118 0 -1 64 467 0 0 0 26 1 0 0 15 0 8 0 156910853 937652224 11421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26041/tid=26048] ppid=26039 vsize=915676 CPUtime=0
/proc/26041/task/26048/stat : 26048 (java) S 26039 26041 25118 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156910853 937652224 11421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26041/tid=26049] ppid=26039 vsize=915676 CPUtime=0
/proc/26041/task/26049/stat : 26049 (java) S 26039 26041 25118 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156910853 937652224 11421 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) 915676

[startup+2.97536 s]
/proc/loadavg: 1.87 1.95 1.89 3/100 26049
/proc/meminfo: memFree=586824/2055920 swapFree=4171232/4192956
[pid=26041] ppid=26039 vsize=915676 CPUtime=2.92
/proc/26041/stat : 26041 (java) R 26039 26041 25118 0 -1 0 11703 0 1 0 284 8 0 0 25 0 8 0 156910845 937652224 11439 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073952431 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26041/statm: 228919 11439 2513 14 0 215389 0
[pid=26041/tid=26043] ppid=26039 vsize=915676 CPUtime=0.06
/proc/26041/task/26043/stat : 26043 (java) S 26039 26041 25118 0 -1 64 842 0 0 0 6 0 0 0 17 0 8 0 156910849 937652224 11439 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26041/tid=26044] ppid=26039 vsize=915676 CPUtime=0
/proc/26041/task/26044/stat : 26044 (java) S 26039 26041 25118 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156910850 937652224 11439 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26041/tid=26045] ppid=26039 vsize=915676 CPUtime=0
/proc/26041/task/26045/stat : 26045 (java) S 26039 26041 25118 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156910850 937652224 11439 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26041/tid=26046] ppid=26039 vsize=915676 CPUtime=0
/proc/26041/task/26046/stat : 26046 (java) S 26039 26041 25118 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156910853 937652224 11439 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26041/tid=26047] ppid=26039 vsize=915676 CPUtime=0.31
/proc/26041/task/26047/stat : 26047 (java) S 26039 26041 25118 0 -1 64 486 0 0 0 30 1 0 0 16 0 8 0 156910853 937652224 11439 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26041/tid=26048] ppid=26039 vsize=915676 CPUtime=0
/proc/26041/task/26048/stat : 26048 (java) S 26039 26041 25118 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156910853 937652224 11439 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26041/tid=26049] ppid=26039 vsize=915676 CPUtime=0
/proc/26041/task/26049/stat : 26049 (java) S 26039 26041 25118 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156910853 937652224 11439 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915676

[startup+6.27498 s]
/proc/loadavg: 1.88 1.96 1.89 3/100 26049
/proc/meminfo: memFree=586824/2055920 swapFree=4171232/4192956
[pid=26041] ppid=26039 vsize=915676 CPUtime=6.18
/proc/26041/stat : 26041 (java) R 26039 26041 25118 0 -1 0 11705 0 1 0 610 8 0 0 25 0 8 0 156910845 937652224 11440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073954572 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26041/statm: 228919 11440 2513 14 0 215389 0
[pid=26041/tid=26043] ppid=26039 vsize=915676 CPUtime=0.06
/proc/26041/task/26043/stat : 26043 (java) S 26039 26041 25118 0 -1 64 842 0 0 0 6 0 0 0 16 0 8 0 156910849 937652224 11440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26041/tid=26044] ppid=26039 vsize=915676 CPUtime=0
/proc/26041/task/26044/stat : 26044 (java) S 26039 26041 25118 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156910850 937652224 11440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26041/tid=26045] ppid=26039 vsize=915676 CPUtime=0
/proc/26041/task/26045/stat : 26045 (java) S 26039 26041 25118 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156910850 937652224 11440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26041/tid=26046] ppid=26039 vsize=915676 CPUtime=0
/proc/26041/task/26046/stat : 26046 (java) S 26039 26041 25118 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156910853 937652224 11440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26041/tid=26047] ppid=26039 vsize=915676 CPUtime=0.32
/proc/26041/task/26047/stat : 26047 (java) S 26039 26041 25118 0 -1 64 488 0 0 0 31 1 0 0 16 0 8 0 156910853 937652224 11440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26041/tid=26048] ppid=26039 vsize=915676 CPUtime=0
/proc/26041/task/26048/stat : 26048 (java) S 26039 26041 25118 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156910853 937652224 11440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26041/tid=26049] ppid=26039 vsize=915676 CPUtime=0
/proc/26041/task/26049/stat : 26049 (java) S 26039 26041 25118 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156910853 937652224 11440 18446744073709551615 134512640 134570532 4294956480 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) 915676

[startup+12.7542 s]
/proc/loadavg: 1.89 1.96 1.89 3/100 26049
/proc/meminfo: memFree=586888/2055920 swapFree=4171232/4192956
[pid=26041] ppid=26039 vsize=915676 CPUtime=12.6
/proc/26041/stat : 26041 (java) R 26039 26041 25118 0 -1 0 11705 0 1 0 1252 8 0 0 25 0 8 0 156910845 937652224 11440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074007001 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26041/statm: 228919 11440 2513 14 0 215389 0
[pid=26041/tid=26043] ppid=26039 vsize=915676 CPUtime=0.06
/proc/26041/task/26043/stat : 26043 (java) S 26039 26041 25118 0 -1 64 842 0 0 0 6 0 0 0 16 0 8 0 156910849 937652224 11440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26041/tid=26044] ppid=26039 vsize=915676 CPUtime=0
/proc/26041/task/26044/stat : 26044 (java) S 26039 26041 25118 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156910850 937652224 11440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26041/tid=26045] ppid=26039 vsize=915676 CPUtime=0
/proc/26041/task/26045/stat : 26045 (java) S 26039 26041 25118 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156910850 937652224 11440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26041/tid=26046] ppid=26039 vsize=915676 CPUtime=0
/proc/26041/task/26046/stat : 26046 (java) S 26039 26041 25118 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156910853 937652224 11440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26041/tid=26047] ppid=26039 vsize=915676 CPUtime=0.32
/proc/26041/task/26047/stat : 26047 (java) S 26039 26041 25118 0 -1 64 488 0 0 0 31 1 0 0 16 0 8 0 156910853 937652224 11440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26041/tid=26048] ppid=26039 vsize=915676 CPUtime=0
/proc/26041/task/26048/stat : 26048 (java) S 26039 26041 25118 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156910853 937652224 11440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26041/tid=26049] ppid=26039 vsize=915676 CPUtime=0
/proc/26041/task/26049/stat : 26049 (java) S 26039 26041 25118 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156910853 937652224 11440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915676

[startup+25.6146 s]
/proc/loadavg: 1.83 1.94 1.89 2/88 26059
/proc/meminfo: memFree=1198696/2055920 swapFree=4171232/4192956
[pid=26041] ppid=26039 vsize=915676 CPUtime=25.41
/proc/26041/stat : 26041 (java) R 26039 26041 25118 0 -1 0 11705 0 1 0 2532 9 0 0 25 0 8 0 156910845 937652224 11440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073964609 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26041/statm: 228919 11440 2513 14 0 215389 0
[pid=26041/tid=26043] ppid=26039 vsize=915676 CPUtime=0.06
/proc/26041/task/26043/stat : 26043 (java) S 26039 26041 25118 0 -1 64 842 0 0 0 6 0 0 0 16 0 8 0 156910849 937652224 11440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26041/tid=26044] ppid=26039 vsize=915676 CPUtime=0
/proc/26041/task/26044/stat : 26044 (java) S 26039 26041 25118 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156910850 937652224 11440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26041/tid=26045] ppid=26039 vsize=915676 CPUtime=0
/proc/26041/task/26045/stat : 26045 (java) S 26039 26041 25118 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156910850 937652224 11440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26041/tid=26046] ppid=26039 vsize=915676 CPUtime=0
/proc/26041/task/26046/stat : 26046 (java) S 26039 26041 25118 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156910853 937652224 11440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26041/tid=26047] ppid=26039 vsize=915676 CPUtime=0.32
/proc/26041/task/26047/stat : 26047 (java) S 26039 26041 25118 0 -1 64 488 0 0 0 31 1 0 0 16 0 8 0 156910853 937652224 11440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26041/tid=26048] ppid=26039 vsize=915676 CPUtime=0
/proc/26041/task/26048/stat : 26048 (java) S 26039 26041 25118 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156910853 937652224 11440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26041/tid=26049] ppid=26039 vsize=915676 CPUtime=0
/proc/26041/task/26049/stat : 26049 (java) S 26039 26041 25118 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156910853 937652224 11440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 915676

[startup+51.3165 s]
/proc/loadavg: 1.54 1.86 1.87 2/88 26096
/proc/meminfo: memFree=1201848/2055920 swapFree=4171232/4192956
[pid=26041] ppid=26039 vsize=915676 CPUtime=51.1
/proc/26041/stat : 26041 (java) R 26039 26041 25118 0 -1 0 11706 0 1 0 5100 10 0 0 25 0 8 0 156910845 937652224 11440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073953434 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26041/statm: 228919 11440 2513 14 0 215389 0
[pid=26041/tid=26043] ppid=26039 vsize=915676 CPUtime=0.06
/proc/26041/task/26043/stat : 26043 (java) S 26039 26041 25118 0 -1 64 842 0 0 0 6 0 0 0 16 0 8 0 156910849 937652224 11440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26041/tid=26044] ppid=26039 vsize=915676 CPUtime=0
/proc/26041/task/26044/stat : 26044 (java) S 26039 26041 25118 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156910850 937652224 11440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26041/tid=26045] ppid=26039 vsize=915676 CPUtime=0
/proc/26041/task/26045/stat : 26045 (java) S 26039 26041 25118 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156910850 937652224 11440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26041/tid=26046] ppid=26039 vsize=915676 CPUtime=0
/proc/26041/task/26046/stat : 26046 (java) S 26039 26041 25118 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156910853 937652224 11440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26041/tid=26047] ppid=26039 vsize=915676 CPUtime=0.32
/proc/26041/task/26047/stat : 26047 (java) S 26039 26041 25118 0 -1 64 488 0 0 0 31 1 0 0 16 0 8 0 156910853 937652224 11440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26041/tid=26048] ppid=26039 vsize=915676 CPUtime=0
/proc/26041/task/26048/stat : 26048 (java) S 26039 26041 25118 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156910853 937652224 11440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26041/tid=26049] ppid=26039 vsize=915676 CPUtime=0
/proc/26041/task/26049/stat : 26049 (java) S 26039 26041 25118 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156910853 937652224 11440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 915676

Child status: 0
Real time (s): 102.453
CPU time (s): 102.174
CPU user time (s): 102.051
CPU system time (s): 0.122981
CPU usage (%): 99.7278
Max. virtual memory (cumulated for all children) (KiB): 915676

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 102.051
system time used= 0.122981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11714
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= 3393
involuntary context switches= 4633

runsolver used 0.108983 s user time and 0.300954 s system time

The end

Launcher Data (download as text)

Begin job on node19 on Sat Jan  6 12:05:59 UTC 2007


IDJOB= 239802
IDBENCH= 7084
FILE ID= node19/239802-1168085155

PBS_JOBID= 3476229

Free space on /tmp= 66308 MiB

BENCH NAME= HOME/pub/bench/CPAI06/qcp-qwh/QWH-20/qwh-20-166-2_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/239802-1168085155/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node19/watcher-239802-1168085155 -o ROOT/results/node19/solver-239802-1168085155 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/239802-1168085155/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  06c89baa1c2c3ed27c5f4ac6ca602b49

RANDOM SEED= 621984005

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.260
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.260
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:        623392 kB
Buffers:         70040 kB
Cached:         614000 kB
SwapCached:      10036 kB
Active:         897764 kB
Inactive:       432468 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        623392 kB
SwapTotal:     4192956 kB
SwapFree:      4171232 kB
Dirty:            2332 kB
Writeback:           0 kB
Mapped:         665528 kB
Slab:            85712 kB
Committed_AS:  4474124 kB
PageTables:       3612 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= 66310 MiB



End job on node19 on Sat Jan  6 12:07:47 UTC 2007