Trace number 240144

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 101.366 101.494

DiagnosticValue
CHECKS99871056
NODES387617

General information on the benchmark

Nameqcp-qwh/QCP-20/
qcp-20-187-1_ext.xml
MD5SUMd44b82b5650bc2d9816df15672c592e5
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.659899
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.30	   
0.30	Abscon 109 (November, 2006)
0.30	   
0.30	   configuration
0.30	     name=mac.xml
0.33	   
0.33	   instance
0.33	     name=/tmp/evaluation/240144-1168085190/unknown.xml
0.36	   
0.36	   domains being loaded...
0.37	   
0.37	   variables being loaded...
0.45	     nbVariables=400  nbDomainTypes=21  minDomainSize=1  maxDomainSize=20
0.45	       =>  wckTime=0.148  cpuTime=0.11  mem=7M894
0.45	   
0.45	   relations being loaded...
0.45	   
0.45	   constraints being loaded...
0.81	     nbConstraints=5540  nbRelationTypes=22  nbSingletonDomainVariables=213  nbExtensionStructures=41
0.81	     nbSharedExtensionStructures=5499  nbConflictsStructures=41  nbSharedConflictsStructures=5499
0.81	     nbSharedBinaryRepresentations=858  maxDegree=38  maxArity=2
0.81	       =>  wckTime=0.504  cpuTime=0.36  mem=24M482
0.88	   
0.88	   solver IterativeSystematicSolver being built... 
1.05	       =>  wckTime=0.75  cpuTime=0.5  mem=18M550
1.10	   
1.10	   preprocessing
1.10	     nbConstraintChecks=45363  nbPropagations=400  nbRevisions=3974  nbUselessRevisions=1080  nbRemovedValues=2894
1.10	     detectedInconsistency=no
1.10	       =>  wckTime=0.043  cpuTime=0.03  mem=18M550
1.18	   
1.18	   search
1.18	     run=0  nbConstraintChecks=4975  nbPropagations=861  nbRevisions=5428  nbUselessRevisions=1939  nbAssignments=288
1.18	     nbFailedAssignments=7  nbBacktracks=12  nbVisitedNodes=299  nbRestartNogoods=0  mapSize=6  nbInferences=0
1.18	     nbTooLargeKeys=0
1.18	       =>  wckTime=0.122  cpuTime=0.1  mem=19M523
1.23	   
1.23	   search
1.23	     run=1  nbConstraintChecks=10775  nbPropagations=2249  nbRevisions=12535  nbUselessRevisions=4849  nbAssignments=587
1.23	     nbFailedAssignments=16  nbBacktracks=33  nbVisitedNodes=614  nbRestartNogoods=4  mapSize=19  nbInferences=0
1.23	     nbTooLargeKeys=0
1.23	       =>  wckTime=0.175  cpuTime=0.14  mem=19M523
1.28	   
1.28	   search
1.28	     run=2  nbConstraintChecks=16477  nbPropagations=4192  nbRevisions=21338  nbUselessRevisions=8748  nbAssignments=893
1.28	     nbFailedAssignments=27  nbBacktracks=58  nbVisitedNodes=938  nbRestartNogoods=7  mapSize=31  nbInferences=0
1.28	     nbTooLargeKeys=0
1.28	       =>  wckTime=0.223  cpuTime=0.19  mem=19M523
1.33	   
1.33	   search
1.33	     run=3  nbConstraintChecks=23101  nbPropagations=6698  nbRevisions=32222  nbUselessRevisions=13906
1.33	     nbAssignments=1197  nbFailedAssignments=34  nbBacktracks=93  nbVisitedNodes=1256  nbRestartNogoods=12  mapSize=44
1.33	     nbInferences=0  nbTooLargeKeys=0
1.33	       =>  wckTime=0.273  cpuTime=0.23  mem=19M523
1.39	   
1.39	   search
1.39	     run=4  nbConstraintChecks=31550  nbPropagations=9883  nbRevisions=45616  nbUselessRevisions=20498
1.39	     nbAssignments=1513  nbFailedAssignments=53  nbBacktracks=143  nbVisitedNodes=1609  nbRestartNogoods=13  mapSize=77
1.39	     nbInferences=0  nbTooLargeKeys=0
1.39	       =>  wckTime=0.33  cpuTime=0.28  mem=20M496
1.44	   
1.44	   search
1.44	     run=5  nbConstraintChecks=43742  nbPropagations=14067  nbRevisions=63054  nbUselessRevisions=29384
1.44	     nbAssignments=1866  nbFailedAssignments=83  nbBacktracks=219  nbVisitedNodes=2017  nbRestartNogoods=17  mapSize=127
1.44	     nbInferences=0  nbTooLargeKeys=0
1.44	       =>  wckTime=0.383  cpuTime=0.33  mem=20M496
1.50	   
1.50	   search
1.50	     run=6  nbConstraintChecks=64854  nbPropagations=19517  nbRevisions=86864  nbUselessRevisions=41870
1.50	     nbAssignments=2273  nbFailedAssignments=121  nbBacktracks=332  nbVisitedNodes=2487  nbRestartNogoods=18
1.50	     mapSize=182  nbInferences=0  nbTooLargeKeys=0
1.50	       =>  wckTime=0.444  cpuTime=0.39  mem=20M496
1.53	   
1.53	   search
1.53	     run=7  nbConstraintChecks=65865  nbPropagations=25028  nbRevisions=111026  nbUselessRevisions=54600
1.53	     nbAssignments=2495  nbFailedAssignments=124  nbBacktracks=525  nbVisitedNodes=2713  nbRestartNogoods=25
1.53	     mapSize=184  nbInferences=0  nbTooLargeKeys=0
1.53	       =>  wckTime=0.475  cpuTime=0.42  mem=21M469
1.61	   
1.61	   search
1.61	     run=8  nbConstraintChecks=96314  nbPropagations=32575  nbRevisions=145327  nbUselessRevisions=73478
1.61	     nbAssignments=3050  nbFailedAssignments=202  nbBacktracks=783  nbVisitedNodes=3407  nbRestartNogoods=26
1.61	     mapSize=303  nbInferences=0  nbTooLargeKeys=0
1.61	       =>  wckTime=0.556  cpuTime=0.5  mem=21M469
1.72	   
1.72	   search
1.72	     run=9  nbConstraintChecks=140917  nbPropagations=42598  nbRevisions=204361  nbUselessRevisions=112806
1.72	     nbAssignments=3591  nbFailedAssignments=295  nbBacktracks=1179  nbVisitedNodes=4115  nbRestartNogoods=28
1.72	     mapSize=458  nbInferences=0  nbTooLargeKeys=0
1.72	       =>  wckTime=0.667  cpuTime=0.6  mem=21M469
1.91	   
1.91	   search
1.91	     run=10  nbConstraintChecks=248014  nbPropagations=57139  nbRevisions=321759  nbUselessRevisions=201469
1.91	     nbAssignments=4352  nbFailedAssignments=461  nbBacktracks=1757  nbVisitedNodes=5183  nbRestartNogoods=30
1.91	     mapSize=732  nbInferences=0  nbTooLargeKeys=0
1.91	       =>  wckTime=0.856  cpuTime=0.78  mem=22M442
2.10	   
2.10	   INFO : Stopping hyperNogood (mapSize=1020, nbTooLargekeys=0, mem=22M442)
2.18	   
2.18	   search
2.18	     run=11  nbConstraintChecks=412248  nbPropagations=79655  nbRevisions=529950  nbUselessRevisions=366949
2.18	     nbAssignments=5493  nbFailedAssignments=724  nbBacktracks=2621  nbVisitedNodes=6835  nbRestartNogoods=34
2.18	       =>  wckTime=1.128  cpuTime=1.06  mem=22M442
2.66	   
2.66	   search
2.66	     run=12  nbConstraintChecks=880055  nbPropagations=119183  nbRevisions=992348  nbUselessRevisions=748232
2.66	     nbAssignments=7427  nbFailedAssignments=1347  nbBacktracks=3922  nbVisitedNodes=9916  nbRestartNogoods=39
2.66	       =>  wckTime=1.604  cpuTime=1.53  mem=22M442
3.07	   
3.07	   search
3.07	     run=13  nbConstraintChecks=1222549  nbPropagations=171253  nbRevisions=1675549  nbUselessRevisions=1323854
3.07	     nbAssignments=9732  nbFailedAssignments=1631  nbBacktracks=5882  nbVisitedNodes=12752  nbRestartNogoods=42
3.07	       =>  wckTime=2.018  cpuTime=1.94  mem=22M442
3.84	   
3.84	   search
3.84	     run=14  nbConstraintChecks=1958051  nbPropagations=248486  nbRevisions=2827533  nbUselessRevisions=2313186
3.84	     nbAssignments=13205  nbFailedAssignments=2114  nbBacktracks=8803  nbVisitedNodes=17150  nbRestartNogoods=48
3.84	       =>  wckTime=2.789  cpuTime=2.71  mem=23M415
5.32	   
5.32	   search
5.32	     run=15  nbConstraintChecks=3436445  nbPropagations=375966  nbRevisions=4909866  nbUselessRevisions=4120271
5.32	     nbAssignments=18800  nbFailedAssignments=3299  nbBacktracks=13184  nbVisitedNodes=24775  nbRestartNogoods=56
5.32	       =>  wckTime=4.262  cpuTime=4.19  mem=23M415
7.54	   
7.54	   search
7.54	     run=16  nbConstraintChecks=5643365  nbPropagations=579857  nbRevisions=8412194  nbUselessRevisions=7185378
7.54	     nbAssignments=27039  nbFailedAssignments=4930  nbBacktracks=19752  nbVisitedNodes=36179  nbRestartNogoods=68
7.54	       =>  wckTime=6.488  cpuTime=6.41  mem=23M415
11.46	   
11.46	   search
11.46	     run=17  nbConstraintChecks=9663165  nbPropagations=920254  nbRevisions=14441724  nbUselessRevisions=12470441
11.46	     nbAssignments=40016  nbFailedAssignments=8021  nbBacktracks=29608  nbVisitedNodes=54818  nbRestartNogoods=75
11.46	       =>  wckTime=10.402  cpuTime=10.32  mem=23M415
16.62	   
16.62	   search
16.62	     run=18  nbConstraintChecks=15139738  nbPropagations=1445049  nbRevisions=23999249  nbUselessRevisions=20873616
16.62	     nbAssignments=59158  nbFailedAssignments=12341  nbBacktracks=44398  nbVisitedNodes=82390  nbRestartNogoods=83
16.62	       =>  wckTime=15.56  cpuTime=15.48  mem=23M415
23.89	   
23.89	   search
23.89	     run=19  nbConstraintChecks=21934291  nbPropagations=2222343  nbRevisions=37669062  nbUselessRevisions=32856462
23.89	     nbAssignments=88619  nbFailedAssignments=19613  nbBacktracks=66567  nbVisitedNodes=125253  nbRestartNogoods=98
23.89	       =>  wckTime=22.831  cpuTime=22.74  mem=23M415
35.05	   
35.05	   search
35.05	     run=20  nbConstraintChecks=33251246  nbPropagations=3395120  nbRevisions=58477135  nbUselessRevisions=51114237
35.05	     nbAssignments=132810  nbFailedAssignments=30504  nbBacktracks=99820  nbVisitedNodes=189102  nbRestartNogoods=107
35.05	       =>  wckTime=33.998  cpuTime=33.87  mem=23M415
52.32	   
52.32	   search
52.32	     run=21  nbConstraintChecks=49692501  nbPropagations=5174880  nbRevisions=88919289  nbUselessRevisions=77676766
52.32	     nbAssignments=203639  nbFailedAssignments=51433  nbBacktracks=149699  nbVisitedNodes=297206  nbRestartNogoods=119
52.32	       =>  wckTime=51.268  cpuTime=51.13  mem=23M415
77.34	   
77.34	   search
77.34	     run=22  nbConstraintChecks=74571937  nbPropagations=7819526  nbRevisions=135409410  nbUselessRevisions=118450846
77.34	     nbAssignments=301183  nbFailedAssignments=74112  nbBacktracks=224521  nbVisitedNodes=436943  nbRestartNogoods=137
77.34	       =>  wckTime=76.289  cpuTime=76.15  mem=23M415
101.45	   
101.45	   search
101.45	     run=23  nbConstraintChecks=99825693  nbPropagations=11305994  nbRevisions=198764802  nbUselessRevisions=174285245
101.45	     nbAssignments=387617  nbFailedAssignments=93053  nbBacktracks=291614  nbVisitedNodes=558339  nbRestartNogoods=150
101.45	       =>  wckTime=100.392  cpuTime=100.23  mem=23M415
101.45	   
101.45	   global
101.45	     nbConstraintChecks=99871056  nbPropagations=11306394  nbRevisions=198768776  nbUselessRevisions=174286325
101.45	     nbRestartNogoods=150  solvingWckTime=100.393  solvingCpuTime=100.23  expiredTime=no  totalExploration=no
101.45	     nbFoundSolutions=1  globalCpuTime=100.8
101.45	       =>  wckTime=101.147  cpuTime=100.74  mem=23M415
101.45	   
101.45	s SATISFIABLE
101.45	v 6 9 5 3 0 2 7 4 14 1 19 8 11 17 13 18 16 10 15 12 5 6 19 4 10 16 18 13 11 17 7 14 2 12 0 3 15 8 9 1 17 11 2 7 19 5 14 15 3 6 1 12 18 9 8 10 13 16 4 0 9 12 4 14 16 10 15 8 6 19 18 13 1 11 3 17 0 5 7 2 15 18 10 8 13 17 19 1 9 2 3 4 7 5 11 12 6 14 0 16 3 19 13 15 18 6 4 14 0 5 16 7 8 10 9 2 12 17 1 11 16 4 7 11 2 9 0 19 13 12 8 1 6 15 17 14 10 18 3 5 10 2 17 18 9 12 11 16 8 0 14 3 15 1 5 7 4 13 19 6 0 7 16 10 6 18 2 12 5 15 4 11 19 13 1 8 14 3 17 9 8 15 3 6 5 1 13 0 12 16 11 2 17 4 7 19 18 9 14 10 2 8 6 5 11 19 10 7 15 13 9 17 12 18 14 4 1 0 16 3 7 0 15 1 3 8 12 9 19 10 6 5 16 14 4 13 11 2 18 17 4 17 0 12 1 15 9 6 16 18 13 10 14 2 19 5 3 11 8 7 11 10 1 9 7 13 3 2 18 14 15 19 0 8 12 16 17 6 5 4 13 16 14 2 8 4 6 3 17 7 10 18 5 0 15 11 9 1 12 19 1 13 12 17 14 7 16 5 4 3 2 0 9 6 10 15 8 19 11 18 19 1 8 13 12 14 17 11 10 9 5 6 3 16 18 0 7 4 2 15 14 5 11 16 17 0 1 18 7 8 12 9 4 3 2 6 19 15 10 13 18 3 9 19 15 11 8 17 2 4 0 16 10 7 6 1 5 12 13 14 12 14 18 0 4 3 5 10 1 11 17 15 13 19 16 9 2 7 6 8 
101.45	d NODES 387617
101.45	d CHECKS 99871056
101.45	   
101.45	   totalWckTime=101.223  totalCpuTime=100.81

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/node1/watcher-240144-1168085190 -o ROOT/results/node1/solver-240144-1168085190 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/240144-1168085190/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.17 1.79 1.85 3/81 19226
/proc/meminfo: memFree=1257616/2055920 swapFree=4165584/4192956
[pid=19225] ppid=19223 vsize=1784 CPUtime=0
/proc/19225/stat : 19225 (java) D 19223 19225 18776 0 -1 0 192 0 0 0 0 0 0 0 18 0 1 0 156915995 1826816 158 18446744073709551615 134512640 134570532 4294956640 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/19225/statm: 446 158 123 14 0 91 0

[startup+0.103588 s]
/proc/loadavg: 1.17 1.79 1.85 3/81 19226
/proc/meminfo: memFree=1257616/2055920 swapFree=4165584/4192956
[pid=19225] ppid=19223 vsize=914988 CPUtime=0.07
/proc/19225/stat : 19225 (java) R 19223 19225 18776 0 -1 0 3000 0 1 0 6 1 0 0 16 0 8 0 156915995 936947712 2746 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072944238 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19225/statm: 228747 2747 1429 14 0 215242 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 914988

[startup+0.511633 s]
/proc/loadavg: 1.17 1.79 1.85 3/81 19226
/proc/meminfo: memFree=1257616/2055920 swapFree=4165584/4192956
[pid=19225] ppid=19223 vsize=915328 CPUtime=0.48
/proc/19225/stat : 19225 (java) R 19223 19225 18776 0 -1 0 6517 0 1 0 44 4 0 0 16 0 8 0 156915995 937295872 6256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19225/statm: 228832 6256 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.33273 s]
/proc/loadavg: 1.17 1.79 1.85 2/88 19233
/proc/meminfo: memFree=1220504/2055920 swapFree=4165584/4192956
[pid=19225] ppid=19223 vsize=915676 CPUtime=1.3
/proc/19225/stat : 19225 (java) R 19223 19225 18776 0 -1 0 12006 0 1 0 123 7 0 0 17 0 8 0 156915995 937652224 11744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19225/statm: 228919 11744 2513 14 0 215389 0
[pid=19225/tid=19227] ppid=19223 vsize=915676 CPUtime=0.06
/proc/19225/task/19227/stat : 19227 (java) S 19223 19225 18776 0 -1 64 904 0 0 0 6 0 0 0 16 0 8 0 156915999 937652224 11744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19225/tid=19228] ppid=19223 vsize=915676 CPUtime=0
/proc/19225/task/19228/stat : 19228 (java) S 19223 19225 18776 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156916000 937652224 11744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19225/tid=19229] ppid=19223 vsize=915676 CPUtime=0
/proc/19225/task/19229/stat : 19229 (java) S 19223 19225 18776 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156916000 937652224 11744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19225/tid=19230] ppid=19223 vsize=915676 CPUtime=0
/proc/19225/task/19230/stat : 19230 (java) S 19223 19225 18776 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156916003 937652224 11744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19225/tid=19231] ppid=19223 vsize=915676 CPUtime=0.24
/proc/19225/task/19231/stat : 19231 (java) S 19223 19225 18776 0 -1 64 470 0 0 0 23 1 0 0 16 0 8 0 156916003 937652224 11744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19225/tid=19232] ppid=19223 vsize=915676 CPUtime=0
/proc/19225/task/19232/stat : 19232 (java) S 19223 19225 18776 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156916003 937652224 11744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19225/tid=19233] ppid=19223 vsize=915676 CPUtime=0
/proc/19225/task/19233/stat : 19233 (java) S 19223 19225 18776 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156916003 937652224 11744 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.96992 s]
/proc/loadavg: 1.17 1.79 1.85 2/88 19233
/proc/meminfo: memFree=1220312/2055920 swapFree=4165584/4192956
[pid=19225] ppid=19223 vsize=915676 CPUtime=2.94
/proc/19225/stat : 19225 (java) R 19223 19225 18776 0 -1 0 12022 0 1 0 286 8 0 0 17 0 8 0 156915995 937652224 11759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073997649 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19225/statm: 228919 11759 2513 14 0 215389 0
[pid=19225/tid=19227] ppid=19223 vsize=915676 CPUtime=0.06
/proc/19225/task/19227/stat : 19227 (java) S 19223 19225 18776 0 -1 64 904 0 0 0 6 0 0 0 16 0 8 0 156915999 937652224 11759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19225/tid=19228] ppid=19223 vsize=915676 CPUtime=0
/proc/19225/task/19228/stat : 19228 (java) S 19223 19225 18776 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156916000 937652224 11759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19225/tid=19229] ppid=19223 vsize=915676 CPUtime=0
/proc/19225/task/19229/stat : 19229 (java) S 19223 19225 18776 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156916000 937652224 11759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19225/tid=19230] ppid=19223 vsize=915676 CPUtime=0
/proc/19225/task/19230/stat : 19230 (java) S 19223 19225 18776 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156916003 937652224 11759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19225/tid=19231] ppid=19223 vsize=915676 CPUtime=0.28
/proc/19225/task/19231/stat : 19231 (java) S 19223 19225 18776 0 -1 64 485 0 0 0 26 2 0 0 16 0 8 0 156916003 937652224 11759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19225/tid=19232] ppid=19223 vsize=915676 CPUtime=0
/proc/19225/task/19232/stat : 19232 (java) S 19223 19225 18776 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156916003 937652224 11759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19225/tid=19233] ppid=19223 vsize=915676 CPUtime=0
/proc/19225/task/19233/stat : 19233 (java) S 19223 19225 18776 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156916003 937652224 11759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915676

[startup+6.2683 s]
/proc/loadavg: 1.16 1.78 1.84 2/88 19233
/proc/meminfo: memFree=1220312/2055920 swapFree=4165584/4192956
[pid=19225] ppid=19223 vsize=915676 CPUtime=6.24
/proc/19225/stat : 19225 (java) R 19223 19225 18776 0 -1 0 12023 0 1 0 616 8 0 0 20 0 8 0 156915995 937652224 11759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073960325 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19225/statm: 228919 11759 2513 14 0 215389 0
[pid=19225/tid=19227] ppid=19223 vsize=915676 CPUtime=0.06
/proc/19225/task/19227/stat : 19227 (java) S 19223 19225 18776 0 -1 64 904 0 0 0 6 0 0 0 16 0 8 0 156915999 937652224 11759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19225/tid=19228] ppid=19223 vsize=915676 CPUtime=0
/proc/19225/task/19228/stat : 19228 (java) S 19223 19225 18776 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156916000 937652224 11759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19225/tid=19229] ppid=19223 vsize=915676 CPUtime=0
/proc/19225/task/19229/stat : 19229 (java) S 19223 19225 18776 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156916000 937652224 11759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19225/tid=19230] ppid=19223 vsize=915676 CPUtime=0
/proc/19225/task/19230/stat : 19230 (java) S 19223 19225 18776 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156916003 937652224 11759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19225/tid=19231] ppid=19223 vsize=915676 CPUtime=0.28
/proc/19225/task/19231/stat : 19231 (java) S 19223 19225 18776 0 -1 64 485 0 0 0 26 2 0 0 16 0 8 0 156916003 937652224 11759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19225/tid=19232] ppid=19223 vsize=915676 CPUtime=0
/proc/19225/task/19232/stat : 19232 (java) S 19223 19225 18776 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156916003 937652224 11759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19225/tid=19233] ppid=19223 vsize=915676 CPUtime=0
/proc/19225/task/19233/stat : 19233 (java) S 19223 19225 18776 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156916003 937652224 11759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 915676

[startup+12.7311 s]
/proc/loadavg: 1.14 1.77 1.84 2/88 19234
/proc/meminfo: memFree=1220248/2055920 swapFree=4165584/4192956
[pid=19225] ppid=19223 vsize=915676 CPUtime=12.7
/proc/19225/stat : 19225 (java) R 19223 19225 18776 0 -1 0 12023 0 1 0 1262 8 0 0 25 0 8 0 156915995 937652224 11759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073977184 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19225/statm: 228919 11759 2513 14 0 215389 0
[pid=19225/tid=19227] ppid=19223 vsize=915676 CPUtime=0.06
/proc/19225/task/19227/stat : 19227 (java) S 19223 19225 18776 0 -1 64 904 0 0 0 6 0 0 0 16 0 8 0 156915999 937652224 11759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19225/tid=19228] ppid=19223 vsize=915676 CPUtime=0
/proc/19225/task/19228/stat : 19228 (java) S 19223 19225 18776 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156916000 937652224 11759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19225/tid=19229] ppid=19223 vsize=915676 CPUtime=0
/proc/19225/task/19229/stat : 19229 (java) S 19223 19225 18776 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156916000 937652224 11759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19225/tid=19230] ppid=19223 vsize=915676 CPUtime=0
/proc/19225/task/19230/stat : 19230 (java) S 19223 19225 18776 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156916003 937652224 11759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19225/tid=19231] ppid=19223 vsize=915676 CPUtime=0.28
/proc/19225/task/19231/stat : 19231 (java) S 19223 19225 18776 0 -1 64 485 0 0 0 26 2 0 0 16 0 8 0 156916003 937652224 11759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19225/tid=19232] ppid=19223 vsize=915676 CPUtime=0
/proc/19225/task/19232/stat : 19232 (java) S 19223 19225 18776 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156916003 937652224 11759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19225/tid=19233] ppid=19223 vsize=915676 CPUtime=0
/proc/19225/task/19233/stat : 19233 (java) S 19223 19225 18776 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156916003 937652224 11759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 915676

[startup+25.5896 s]
/proc/loadavg: 1.11 1.73 1.82 2/88 19237
/proc/meminfo: memFree=1220248/2055920 swapFree=4165584/4192956
[pid=19225] ppid=19223 vsize=915676 CPUtime=25.54
/proc/19225/stat : 19225 (java) R 19223 19225 18776 0 -1 0 12024 0 1 0 2546 8 0 0 25 0 8 0 156915995 937652224 11759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073977188 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19225/statm: 228919 11759 2513 14 0 215389 0
[pid=19225/tid=19227] ppid=19223 vsize=915676 CPUtime=0.06
/proc/19225/task/19227/stat : 19227 (java) S 19223 19225 18776 0 -1 64 904 0 0 0 6 0 0 0 16 0 8 0 156915999 937652224 11759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19225/tid=19228] ppid=19223 vsize=915676 CPUtime=0
/proc/19225/task/19228/stat : 19228 (java) S 19223 19225 18776 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156916000 937652224 11759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19225/tid=19229] ppid=19223 vsize=915676 CPUtime=0
/proc/19225/task/19229/stat : 19229 (java) S 19223 19225 18776 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156916000 937652224 11759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19225/tid=19230] ppid=19223 vsize=915676 CPUtime=0
/proc/19225/task/19230/stat : 19230 (java) S 19223 19225 18776 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156916003 937652224 11759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19225/tid=19231] ppid=19223 vsize=915676 CPUtime=0.28
/proc/19225/task/19231/stat : 19231 (java) S 19223 19225 18776 0 -1 64 485 0 0 0 26 2 0 0 16 0 8 0 156916003 937652224 11759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19225/tid=19232] ppid=19223 vsize=915676 CPUtime=0
/proc/19225/task/19232/stat : 19232 (java) S 19223 19225 18776 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156916003 937652224 11759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19225/tid=19233] ppid=19223 vsize=915676 CPUtime=0
/proc/19225/task/19233/stat : 19233 (java) S 19223 19225 18776 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156916003 937652224 11759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.54
Current children cumulated vsize (KiB) 915676

[startup+51.2836 s]
/proc/loadavg: 1.07 1.67 1.80 2/88 19287
/proc/meminfo: memFree=1218264/2055920 swapFree=4165584/4192956
[pid=19225] ppid=19223 vsize=915676 CPUtime=51.2
/proc/19225/stat : 19225 (java) R 19223 19225 18776 0 -1 0 12024 0 1 0 5111 9 0 0 25 0 8 0 156915995 937652224 11759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073981136 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19225/statm: 228919 11759 2513 14 0 215389 0
[pid=19225/tid=19227] ppid=19223 vsize=915676 CPUtime=0.06
/proc/19225/task/19227/stat : 19227 (java) S 19223 19225 18776 0 -1 64 904 0 0 0 6 0 0 0 16 0 8 0 156915999 937652224 11759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19225/tid=19228] ppid=19223 vsize=915676 CPUtime=0
/proc/19225/task/19228/stat : 19228 (java) S 19223 19225 18776 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156916000 937652224 11759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19225/tid=19229] ppid=19223 vsize=915676 CPUtime=0
/proc/19225/task/19229/stat : 19229 (java) S 19223 19225 18776 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156916000 937652224 11759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19225/tid=19230] ppid=19223 vsize=915676 CPUtime=0
/proc/19225/task/19230/stat : 19230 (java) S 19223 19225 18776 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156916003 937652224 11759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19225/tid=19231] ppid=19223 vsize=915676 CPUtime=0.28
/proc/19225/task/19231/stat : 19231 (java) S 19223 19225 18776 0 -1 64 485 0 0 0 26 2 0 0 16 0 8 0 156916003 937652224 11759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19225/tid=19232] ppid=19223 vsize=915676 CPUtime=0
/proc/19225/task/19232/stat : 19232 (java) S 19223 19225 18776 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156916003 937652224 11759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19225/tid=19233] ppid=19223 vsize=915676 CPUtime=0
/proc/19225/task/19233/stat : 19233 (java) S 19223 19225 18776 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156916003 937652224 11759 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.2
Current children cumulated vsize (KiB) 915676

Child status: 0
Real time (s): 101.494
CPU time (s): 101.366
CPU user time (s): 101.259
CPU system time (s): 0.106983
CPU usage (%): 99.8734
Max. virtual memory (cumulated for all children) (KiB): 915676

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 101.259
system time used= 0.106983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12033
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= 3034
involuntary context switches= 2344

runsolver used 0.087986 s user time and 0.284956 s system time

The end

Launcher Data (download as text)

Begin job on node1 on Sat Jan  6 12:06:33 UTC 2007


IDJOB= 240144
IDBENCH= 7108
FILE ID= node1/240144-1168085190

PBS_JOBID= 3476267

Free space on /tmp= 66303 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  d44b82b5650bc2d9816df15672c592e5

RANDOM SEED= 437152935

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:       1258088 kB
Buffers:         66104 kB
Cached:         594320 kB
SwapCached:       3664 kB
Active:         195496 kB
Inactive:       505064 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1258088 kB
SwapTotal:     4192956 kB
SwapFree:      4165584 kB
Dirty:            2344 kB
Writeback:           0 kB
Mapped:          50112 kB
Slab:            82284 kB
Committed_AS:  4189512 kB
PageTables:       2176 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= 66302 MiB



End job on node1 on Sat Jan  6 12:08:31 UTC 2007