Trace number 239763

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 ESACSAT 30.9863 31.2053

DiagnosticValue
CHECKS32390869
NODES116155

General information on the benchmark

Nameqcp-qwh/QWH-20/
qwh-20-166-5_ext.xml
MD5SUM87f77288681d1fcda6fa63450e0546b6
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.680896
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.40	   
0.40	Abscon 109 (November, 2006)
0.40	   
0.40	   configuration
0.40	     name=esac.xml
0.44	   
0.44	   instance
0.44	     name=/tmp/evaluation/239763-1168367398/unknown.xml
0.47	   
0.47	   domains being loaded...
0.47	   
0.47	   variables being loaded...
0.56	     nbVariables=400  nbDomainTypes=21  minDomainSize=1  maxDomainSize=20
0.56	       =>  wckTime=0.151  cpuTime=0.12  mem=7M894
0.56	   
0.56	   relations being loaded...
0.56	   
0.56	   constraints being loaded...
0.92	     nbConstraints=5092  nbRelationTypes=22  nbSingletonDomainVariables=234  nbExtensionStructures=41
0.92	     nbSharedExtensionStructures=5051  nbConflictsStructures=41  nbSharedConflictsStructures=5051
0.92	     nbSharedBinaryRepresentations=858  maxDegree=38  maxArity=2
0.92	       =>  wckTime=0.509  cpuTime=0.37  mem=23M513
0.99	   
1.00	   solver IterativeSystematicSolver being built... 
1.17	       =>  wckTime=0.766  cpuTime=0.51  mem=18M158
1.34	   
1.34	   preprocessing
1.34	     nbConstraintChecks=93479  nbPropagations=2374  nbRevisions=24149  nbUselessRevisions=19738  nbSingletonTests=675
1.34	     nbEffectiveSingletonTests=0  nbESACBranches=10  nbRemovedValues=2686  detectedInconsistency=no
1.34	       =>  wckTime=0.161  cpuTime=0.14  mem=18M158
1.38	   
1.38	   search
1.38	     run=0  nbConstraintChecks=5909  nbPropagations=2631  nbRevisions=27734  nbUselessRevisions=22896  nbAssignments=47
1.38	     nbFailedAssignments=3  nbBacktracks=14  nbVisitedNodes=53  nbRestartNogoods=0  mapSize=4  nbInferences=0
1.38	     nbTooLargeKeys=0
1.38	       =>  wckTime=0.2  cpuTime=0.17  mem=19M149
1.41	   
1.41	   search
1.41	     run=1  nbConstraintChecks=18522  nbPropagations=5760  nbRevisions=64260  nbUselessRevisions=53677
1.41	     nbAssignments=132  nbFailedAssignments=11  nbBacktracks=29  nbVisitedNodes=153  nbRestartNogoods=1  mapSize=17
1.41	     nbInferences=0  nbTooLargeKeys=0
1.41	       =>  wckTime=0.23  cpuTime=0.19  mem=19M149
1.44	   
1.44	   search
1.44	     run=2  nbConstraintChecks=32084  nbPropagations=9591  nbRevisions=109409  nbUselessRevisions=92145
1.44	     nbAssignments=263  nbFailedAssignments=17  nbBacktracks=58  nbVisitedNodes=249  nbRestartNogoods=3  mapSize=29
1.44	     nbInferences=0  nbTooLargeKeys=0
1.44	       =>  wckTime=0.261  cpuTime=0.22  mem=19M149
1.46	   
1.46	   search
1.46	     run=3  nbConstraintChecks=43685  nbPropagations=13883  nbRevisions=162421  nbUselessRevisions=137664
1.46	     nbAssignments=356  nbFailedAssignments=22  nbBacktracks=108  nbVisitedNodes=351  nbRestartNogoods=4  mapSize=37
1.47	     nbInferences=0  nbTooLargeKeys=0
1.47	       =>  wckTime=0.288  cpuTime=0.26  mem=19M149
1.50	   
1.50	   search
1.50	     run=4  nbConstraintChecks=58372  nbPropagations=18796  nbRevisions=225314  nbUselessRevisions=192031
1.50	     nbAssignments=471  nbFailedAssignments=31  nbBacktracks=170  nbVisitedNodes=486  nbRestartNogoods=5  mapSize=53
1.50	     nbInferences=0  nbTooLargeKeys=0
1.50	       =>  wckTime=0.32  cpuTime=0.29  mem=19M149
1.55	   
1.55	   search
1.55	     run=5  nbConstraintChecks=80549  nbPropagations=24834  nbRevisions=302607  nbUselessRevisions=259210
1.55	     nbAssignments=671  nbFailedAssignments=42  nbBacktracks=245  nbVisitedNodes=642  nbRestartNogoods=9  mapSize=69
1.55	     nbInferences=0  nbTooLargeKeys=0
1.55	       =>  wckTime=0.369  cpuTime=0.33  mem=19M149
1.60	   
1.60	   search
1.60	     run=6  nbConstraintChecks=108320  nbPropagations=31859  nbRevisions=398830  nbUselessRevisions=343419
1.60	     nbAssignments=854  nbFailedAssignments=54  nbBacktracks=360  nbVisitedNodes=847  nbRestartNogoods=13  mapSize=89
1.60	     nbInferences=0  nbTooLargeKeys=0
1.60	       =>  wckTime=0.425  cpuTime=0.39  mem=19M149
1.68	   
1.68	   search
1.68	     run=7  nbConstraintChecks=149875  nbPropagations=40521  nbRevisions=523003  nbUselessRevisions=452449
1.68	     nbAssignments=1145  nbFailedAssignments=93  nbBacktracks=539  nbVisitedNodes=1217  nbRestartNogoods=15  mapSize=161
1.68	     nbInferences=0  nbTooLargeKeys=0
1.68	       =>  wckTime=0.499  cpuTime=0.46  mem=19M149
1.77	   
1.77	   search
1.77	     run=8  nbConstraintChecks=207427  nbPropagations=51194  nbRevisions=687447  nbUselessRevisions=597822
1.77	     nbAssignments=1497  nbFailedAssignments=123  nbBacktracks=798  nbVisitedNodes=1600  nbRestartNogoods=19
1.77	     mapSize=220  nbInferences=0  nbTooLargeKeys=0
1.77	       =>  wckTime=0.589  cpuTime=0.55  mem=20M125
1.90	   
1.90	   search
1.90	     run=9  nbConstraintChecks=281195  nbPropagations=64212  nbRevisions=902468  nbUselessRevisions=788760
1.90	     nbAssignments=1962  nbFailedAssignments=159  nbBacktracks=1207  nbVisitedNodes=2130  nbRestartNogoods=20
1.90	     mapSize=284  nbInferences=0  nbTooLargeKeys=0
1.90	       =>  wckTime=0.721  cpuTime=0.67  mem=20M125
2.08	   
2.08	   search
2.08	     run=10  nbConstraintChecks=402003  nbPropagations=81158  nbRevisions=1201178  nbUselessRevisions=1055062
2.08	     nbAssignments=2640  nbFailedAssignments=216  nbBacktracks=1783  nbVisitedNodes=2929  nbRestartNogoods=21
2.08	     mapSize=397  nbInferences=0  nbTooLargeKeys=0
2.08	       =>  wckTime=0.902  cpuTime=0.84  mem=20M125
2.31	   
2.31	   search
2.31	     run=11  nbConstraintChecks=548277  nbPropagations=103681  nbRevisions=1600896  nbUselessRevisions=1411681
2.31	     nbAssignments=3694  nbFailedAssignments=299  nbBacktracks=2651  nbVisitedNodes=4122  nbRestartNogoods=29
2.31	     mapSize=586  nbInferences=1  nbTooLargeKeys=0
2.31	       =>  wckTime=1.136  cpuTime=1.07  mem=21M100
2.69	   
2.69	   search
2.69	     run=12  nbConstraintChecks=824951  nbPropagations=135093  nbRevisions=2191513  nbUselessRevisions=1940288
2.69	     nbAssignments=5186  nbFailedAssignments=444  nbBacktracks=3949  nbVisitedNodes=5901  nbRestartNogoods=33
2.69	     mapSize=867  nbInferences=1  nbTooLargeKeys=0
2.69	       =>  wckTime=1.513  cpuTime=1.45  mem=22M75
2.90	   
2.90	   INFO : Stopping hyperNogood (mapSize=1010, nbTooLargekeys=0, mem=22M75)
3.19	   
3.19	   search
3.19	     run=13  nbConstraintChecks=1249854  nbPropagations=180136  nbRevisions=3078020  nbUselessRevisions=2735750
3.19	     nbAssignments=7385  nbFailedAssignments=659  nbBacktracks=5899  nbVisitedNodes=8553  nbRestartNogoods=39
3.19	       =>  wckTime=2.016  cpuTime=1.95  mem=22M75
3.89	   
3.89	   search
3.89	     run=14  nbConstraintChecks=1852578  nbPropagations=245277  nbRevisions=4372199  nbUselessRevisions=3896081
3.89	     nbAssignments=10736  nbFailedAssignments=1031  nbBacktracks=8846  nbVisitedNodes=12656  nbRestartNogoods=43
3.89	       =>  wckTime=2.709  cpuTime=2.63  mem=22M75
5.08	   
5.08	   search
5.08	     run=15  nbConstraintChecks=3006592  nbPropagations=349515  nbRevisions=6446948  nbUselessRevisions=5753046
5.08	     nbAssignments=15965  nbFailedAssignments=1849  nbBacktracks=13231  nbVisitedNodes=19600  nbRestartNogoods=48
5.08	       =>  wckTime=3.9  cpuTime=3.82  mem=22M75
7.23	   
7.23	   search
7.23	     run=16  nbConstraintChecks=5405052  nbPropagations=528177  nbRevisions=10240207  nbUselessRevisions=9168722
7.23	     nbAssignments=23993  nbFailedAssignments=3249  nbBacktracks=19824  nbVisitedNodes=30490  nbRestartNogoods=53
7.23	       =>  wckTime=6.053  cpuTime=5.97  mem=22M75
10.25	   
10.25	   search
10.25	     run=17  nbConstraintChecks=8678415  nbPropagations=808516  nbRevisions=16375733  nbUselessRevisions=14706314
10.25	     nbAssignments=35677  nbFailedAssignments=5021  nbBacktracks=29685  nbVisitedNodes=46042  nbRestartNogoods=60
10.25	       =>  wckTime=9.073  cpuTime=8.99  mem=22M75
15.22	   
15.22	   search
15.22	     run=18  nbConstraintChecks=14266304  nbPropagations=1263226  nbRevisions=26492217  nbUselessRevisions=23850462
15.22	     nbAssignments=53635  nbFailedAssignments=8172  nbBacktracks=44471  nbVisitedNodes=70741  nbRestartNogoods=67
15.22	       =>  wckTime=14.048  cpuTime=13.97  mem=22M75
22.19	   
22.19	   search
22.19	     run=19  nbConstraintChecks=22017593  nbPropagations=1966454  nbRevisions=42163226  nbUselessRevisions=38025974
22.19	     nbAssignments=80586  nbFailedAssignments=12916  nbBacktracks=66639  nbVisitedNodes=107865  nbRestartNogoods=71
22.19	       =>  wckTime=21.012  cpuTime=20.92  mem=22M75
31.16	   
31.16	   search
31.16	     run=20  nbConstraintChecks=32297390  nbPropagations=2996419  nbRevisions=65309088  nbUselessRevisions=59023234
31.16	     nbAssignments=116155  nbFailedAssignments=18951  nbBacktracks=95738  nbVisitedNodes=155571  nbRestartNogoods=83
31.16	       =>  wckTime=29.984  cpuTime=29.83  mem=22M75
31.16	   
31.16	   global
31.16	     nbConstraintChecks=32390869  nbPropagations=2998793  nbRevisions=65333237  nbUselessRevisions=59042972
31.16	     nbRestartNogoods=83  solvingWckTime=29.985  solvingCpuTime=29.83  expiredTime=no  totalExploration=no
31.16	     nbFoundSolutions=1  globalCpuTime=30.38
31.16	       =>  wckTime=30.755  cpuTime=30.34  mem=22M75
31.16	   
31.16	s SATISFIABLE
31.16	v 2 8 13 0 5 4 16 17 11 12 6 1 19 14 15 3 7 9 10 18 1 5 19 15 11 18 10 16 8 17 2 7 14 3 9 6 0 13 4 12 12 2 0 5 10 9 1 14 19 16 13 6 11 7 8 18 17 4 15 3 18 15 4 13 9 17 11 0 7 6 14 12 8 1 2 19 5 3 16 10 13 11 15 18 7 6 9 19 14 5 1 10 16 4 17 12 8 2 3 0 16 17 12 11 13 15 7 3 18 9 19 8 0 6 1 4 10 5 14 2 6 10 17 19 3 16 15 1 0 2 7 5 9 8 14 11 13 18 12 4 10 0 2 3 16 13 19 6 17 14 11 4 12 5 18 1 9 8 7 15 4 19 10 17 8 7 13 11 16 15 5 0 6 2 12 9 3 14 18 1 8 3 9 16 1 0 12 18 10 19 4 14 5 17 11 13 2 15 6 7 11 1 7 10 2 8 0 9 5 3 18 15 4 13 6 16 19 12 17 14 14 13 8 9 12 2 5 4 3 7 0 16 15 11 19 10 18 6 1 17 15 4 16 14 18 12 8 5 9 0 3 17 2 19 10 7 1 11 13 6 3 7 14 1 6 5 17 13 15 4 9 2 10 18 16 8 12 0 11 19 0 14 18 6 19 10 2 7 4 13 12 11 3 15 5 17 16 1 9 8 5 9 11 2 4 3 18 15 12 1 10 19 7 0 13 14 6 17 8 16 19 6 1 8 0 11 4 12 2 18 16 9 17 10 3 15 14 7 5 13 17 12 6 7 14 19 3 10 1 11 8 13 18 9 4 0 15 16 2 5 7 16 3 4 15 14 6 2 13 8 17 18 1 12 0 5 11 10 19 9 9 18 5 12 17 1 14 8 6 10 15 3 13 16 7 2 4 19 0 11 
31.16	d NODES 116155
31.16	d CHECKS 32390869
31.16	   
31.16	   totalWckTime=30.835  totalCpuTime=30.38

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/node24/watcher-239763-1168367398 -o ROOT/results/node24/solver-239763-1168367398 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/239763-1168367398/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.23 0.82 1.36 3/87 9904
/proc/meminfo: memFree=1738792/2055920 swapFree=4192800/4192956
[pid=9903] ppid=9901 vsize=18540 CPUtime=0
/proc/9903/stat : 9903 (runsolver) R 9901 9903 9110 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 185135282 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 237788261671 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/9903/statm: 4635 279 244 17 0 2626 0

[startup+0.10776 s]
/proc/loadavg: 0.23 0.82 1.36 3/87 9904
/proc/meminfo: memFree=1738792/2055920 swapFree=4192800/4192956
[pid=9903] ppid=9901 vsize=47892 CPUtime=0
/proc/9903/stat : 9903 (java) D 9901 9903 9110 0 -1 0 1219 0 1 0 0 0 0 0 17 0 1 0 185135282 49041408 968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099855350 0 0 17 1 0 0
/proc/9903/statm: 11973 968 766 14 0 1707 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 47892

[startup+0.515804 s]
/proc/loadavg: 0.23 0.82 1.36 3/87 9904
/proc/meminfo: memFree=1738792/2055920 swapFree=4192800/4192956
[pid=9903] ppid=9901 vsize=915328 CPUtime=0.39
/proc/9903/stat : 9903 (java) S 9901 9903 9110 0 -1 0 6129 0 1 0 36 3 0 0 18 0 8 0 185135282 937295872 5868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9903/statm: 228832 5868 2136 14 0 215302 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 915328

[startup+1.33689 s]
/proc/loadavg: 0.23 0.82 1.36 3/94 9911
/proc/meminfo: memFree=1703152/2055920 swapFree=4192800/4192956
[pid=9903] ppid=9901 vsize=915676 CPUtime=1.22
/proc/9903/stat : 9903 (java) R 9901 9903 9110 0 -1 0 11706 0 1 0 115 7 0 0 18 0 8 0 185135282 937652224 11444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073972964 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9903/statm: 228919 11444 2523 14 0 215389 0
[pid=9903/tid=9905] ppid=9901 vsize=915676 CPUtime=0.06
/proc/9903/task/9905/stat : 9905 (java) S 9901 9903 9110 0 -1 64 842 0 0 0 6 0 0 0 16 0 8 0 185135296 937652224 11444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9903/tid=9906] ppid=9901 vsize=915676 CPUtime=0
/proc/9903/task/9906/stat : 9906 (java) S 9901 9903 9110 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 185135296 937652224 11444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9903/tid=9907] ppid=9901 vsize=915676 CPUtime=0
/proc/9903/task/9907/stat : 9907 (java) S 9901 9903 9110 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 185135296 937652224 11444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9903/tid=9908] ppid=9901 vsize=915676 CPUtime=0
/proc/9903/task/9908/stat : 9908 (java) S 9901 9903 9110 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185135300 937652224 11444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9903/tid=9909] ppid=9901 vsize=915676 CPUtime=0.26
/proc/9903/task/9909/stat : 9909 (java) R 9901 9903 9110 0 -1 64 461 0 0 0 25 1 0 0 20 0 8 0 185135300 937652224 11444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9903/tid=9910] ppid=9901 vsize=915676 CPUtime=0
/proc/9903/task/9910/stat : 9910 (java) S 9901 9903 9110 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 185135300 937652224 11444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9903/tid=9911] ppid=9901 vsize=915676 CPUtime=0
/proc/9903/task/9911/stat : 9911 (java) S 9901 9903 9110 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 185135300 937652224 11444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 915676

[startup+2.97907 s]
/proc/loadavg: 0.23 0.82 1.36 3/94 9911
/proc/meminfo: memFree=1702832/2055920 swapFree=4192800/4192956
[pid=9903] ppid=9901 vsize=915676 CPUtime=2.86
/proc/9903/stat : 9903 (java) R 9901 9903 9110 0 -1 0 11733 0 1 0 278 8 0 0 25 0 8 0 185135282 937652224 11470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073972964 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9903/statm: 228919 11470 2524 14 0 215389 0
[pid=9903/tid=9905] ppid=9901 vsize=915676 CPUtime=0.06
/proc/9903/task/9905/stat : 9905 (java) S 9901 9903 9110 0 -1 64 842 0 0 0 6 0 0 0 17 0 8 0 185135296 937652224 11470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9903/tid=9906] ppid=9901 vsize=915676 CPUtime=0
/proc/9903/task/9906/stat : 9906 (java) S 9901 9903 9110 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 185135296 937652224 11470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9903/tid=9907] ppid=9901 vsize=915676 CPUtime=0
/proc/9903/task/9907/stat : 9907 (java) S 9901 9903 9110 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 185135296 937652224 11470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9903/tid=9908] ppid=9901 vsize=915676 CPUtime=0
/proc/9903/task/9908/stat : 9908 (java) S 9901 9903 9110 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185135300 937652224 11470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9903/tid=9909] ppid=9901 vsize=915676 CPUtime=0.3
/proc/9903/task/9909/stat : 9909 (java) S 9901 9903 9110 0 -1 64 486 0 0 0 29 1 0 0 16 0 8 0 185135300 937652224 11470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9903/tid=9910] ppid=9901 vsize=915676 CPUtime=0
/proc/9903/task/9910/stat : 9910 (java) S 9901 9903 9110 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 185135300 937652224 11470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9903/tid=9911] ppid=9901 vsize=915676 CPUtime=0
/proc/9903/task/9911/stat : 9911 (java) S 9901 9903 9110 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 185135300 937652224 11470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 915676

[startup+6.18541 s]
/proc/loadavg: 0.37 0.84 1.37 3/94 9911
/proc/meminfo: memFree=1702832/2055920 swapFree=4192800/4192956
[pid=9903] ppid=9901 vsize=915676 CPUtime=6.06
/proc/9903/stat : 9903 (java) R 9901 9903 9110 0 -1 0 11736 0 1 0 598 8 0 0 25 0 8 0 185135282 937652224 11471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073972954 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9903/statm: 228919 11471 2524 14 0 215389 0
[pid=9903/tid=9905] ppid=9901 vsize=915676 CPUtime=0.06
/proc/9903/task/9905/stat : 9905 (java) S 9901 9903 9110 0 -1 64 842 0 0 0 6 0 0 0 16 0 8 0 185135296 937652224 11471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9903/tid=9906] ppid=9901 vsize=915676 CPUtime=0
/proc/9903/task/9906/stat : 9906 (java) S 9901 9903 9110 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 185135296 937652224 11471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9903/tid=9907] ppid=9901 vsize=915676 CPUtime=0
/proc/9903/task/9907/stat : 9907 (java) S 9901 9903 9110 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 185135296 937652224 11471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9903/tid=9908] ppid=9901 vsize=915676 CPUtime=0
/proc/9903/task/9908/stat : 9908 (java) S 9901 9903 9110 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185135300 937652224 11471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9903/tid=9909] ppid=9901 vsize=915676 CPUtime=0.31
/proc/9903/task/9909/stat : 9909 (java) S 9901 9903 9110 0 -1 64 488 0 0 0 30 1 0 0 17 0 8 0 185135300 937652224 11471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9903/tid=9910] ppid=9901 vsize=915676 CPUtime=0
/proc/9903/task/9910/stat : 9910 (java) S 9901 9903 9110 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 185135300 937652224 11471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9903/tid=9911] ppid=9901 vsize=915676 CPUtime=0
/proc/9903/task/9911/stat : 9911 (java) S 9901 9903 9110 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 185135300 937652224 11471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.06
Current children cumulated vsize (KiB) 915676

[startup+12.6581 s]
/proc/loadavg: 0.50 0.86 1.37 3/94 9911
/proc/meminfo: memFree=1702832/2055920 swapFree=4192800/4192956
[pid=9903] ppid=9901 vsize=915676 CPUtime=12.53
/proc/9903/stat : 9903 (java) R 9901 9903 9110 0 -1 0 11736 0 1 0 1245 8 0 0 25 0 8 0 185135282 937652224 11471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336182 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9903/statm: 228919 11471 2524 14 0 215389 0
[pid=9903/tid=9905] ppid=9901 vsize=915676 CPUtime=0.06
/proc/9903/task/9905/stat : 9905 (java) S 9901 9903 9110 0 -1 64 842 0 0 0 6 0 0 0 16 0 8 0 185135296 937652224 11471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9903/tid=9906] ppid=9901 vsize=915676 CPUtime=0
/proc/9903/task/9906/stat : 9906 (java) S 9901 9903 9110 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 185135296 937652224 11471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9903/tid=9907] ppid=9901 vsize=915676 CPUtime=0
/proc/9903/task/9907/stat : 9907 (java) S 9901 9903 9110 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 185135296 937652224 11471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9903/tid=9908] ppid=9901 vsize=915676 CPUtime=0
/proc/9903/task/9908/stat : 9908 (java) S 9901 9903 9110 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185135300 937652224 11471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9903/tid=9909] ppid=9901 vsize=915676 CPUtime=0.31
/proc/9903/task/9909/stat : 9909 (java) S 9901 9903 9110 0 -1 64 488 0 0 0 30 1 0 0 17 0 8 0 185135300 937652224 11471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9903/tid=9910] ppid=9901 vsize=915676 CPUtime=0
/proc/9903/task/9910/stat : 9910 (java) S 9901 9903 9110 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 185135300 937652224 11471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9903/tid=9911] ppid=9901 vsize=915676 CPUtime=0
/proc/9903/task/9911/stat : 9911 (java) S 9901 9903 9110 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 185135300 937652224 11471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 915676

[startup+25.5205 s]
/proc/loadavg: 0.83 0.92 1.38 3/102 9976
/proc/meminfo: memFree=1671920/2055920 swapFree=4192800/4192956
[pid=9903] ppid=9901 vsize=915676 CPUtime=25.36
/proc/9903/stat : 9903 (java) R 9901 9903 9110 0 -1 0 11736 0 1 0 2527 9 0 0 25 0 8 0 185135282 937652224 11471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073942037 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9903/statm: 228919 11471 2524 14 0 215389 0
[pid=9903/tid=9905] ppid=9901 vsize=915676 CPUtime=0.06
/proc/9903/task/9905/stat : 9905 (java) S 9901 9903 9110 0 -1 64 842 0 0 0 6 0 0 0 16 0 8 0 185135296 937652224 11471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9903/tid=9906] ppid=9901 vsize=915676 CPUtime=0
/proc/9903/task/9906/stat : 9906 (java) S 9901 9903 9110 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 185135296 937652224 11471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9903/tid=9907] ppid=9901 vsize=915676 CPUtime=0
/proc/9903/task/9907/stat : 9907 (java) S 9901 9903 9110 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 185135296 937652224 11471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9903/tid=9908] ppid=9901 vsize=915676 CPUtime=0
/proc/9903/task/9908/stat : 9908 (java) S 9901 9903 9110 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185135300 937652224 11471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9903/tid=9909] ppid=9901 vsize=915676 CPUtime=0.31
/proc/9903/task/9909/stat : 9909 (java) S 9901 9903 9110 0 -1 64 488 0 0 0 30 1 0 0 17 0 8 0 185135300 937652224 11471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9903/tid=9910] ppid=9901 vsize=915676 CPUtime=0
/proc/9903/task/9910/stat : 9910 (java) S 9901 9903 9110 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 185135300 937652224 11471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9903/tid=9911] ppid=9901 vsize=915676 CPUtime=0
/proc/9903/task/9911/stat : 9911 (java) S 9901 9903 9110 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 185135300 937652224 11471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915676

Child status: 0
Real time (s): 31.2053
CPU time (s): 30.9863
CPU user time (s): 30.8823
CPU system time (s): 0.103984
CPU usage (%): 99.298
Max. virtual memory (cumulated for all children) (KiB): 915676

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 30.8823
system time used= 0.103984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11745
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= 1633
involuntary context switches= 2356

runsolver used 0.040993 s user time and 0.097985 s system time

The end

Launcher Data (download as text)

Begin job on node24 on Tue Jan  9 18:29:59 UTC 2007


IDJOB= 239763
IDBENCH= 7082
FILE ID= node24/239763-1168367398

PBS_JOBID= 3504110

Free space on /tmp= 66464 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  87f77288681d1fcda6fa63450e0546b6

RANDOM SEED= 756657373

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:       1739208 kB
Buffers:         46432 kB
Cached:         152672 kB
SwapCached:          0 kB
Active:         186552 kB
Inactive:        76188 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1739208 kB
SwapTotal:     4192956 kB
SwapFree:      4192800 kB
Dirty:           15220 kB
Writeback:           0 kB
Mapped:          81348 kB
Slab:            38488 kB
Committed_AS:  4080720 kB
PageTables:       2352 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= 66474 MiB



End job on node24 on Tue Jan  9 18:30:32 UTC 2007