Trace number 240258

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 90.4513 90.8956

DiagnosticValue
CHECKS94747905
NODES352002

General information on the benchmark

Nameqcp-qwh/QCP-20/
qcp-20-187-8_ext.xml
MD5SUMeb85637a25e6f95bd7cdd481f9c8abcf
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.800877
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.29	   
0.29	Abscon 109 (November, 2006)
0.29	   
0.29	   configuration
0.29	     name=mac.xml
0.32	   
0.32	   instance
0.32	     name=/tmp/evaluation/240258-1168085212/unknown.xml
0.35	   
0.35	   domains being loaded...
0.35	   
0.35	   variables being loaded...
0.43	     nbVariables=400  nbDomainTypes=21  minDomainSize=1  maxDomainSize=20
0.43	       =>  wckTime=0.142  cpuTime=0.1  mem=7M894
0.43	   
0.43	   relations being loaded...
0.44	   
0.44	   constraints being loaded...
0.78	     nbConstraints=5540  nbRelationTypes=22  nbSingletonDomainVariables=213  nbExtensionStructures=41
0.78	     nbSharedExtensionStructures=5499  nbConflictsStructures=41  nbSharedConflictsStructures=5499
0.78	     nbSharedBinaryRepresentations=858  maxDegree=38  maxArity=2
0.78	       =>  wckTime=0.49  cpuTime=0.35  mem=24M505
0.85	   
0.85	   solver IterativeSystematicSolver being built... 
1.02	       =>  wckTime=0.732  cpuTime=0.48  mem=18M543
1.07	   
1.07	   preprocessing
1.07	     nbConstraintChecks=45184  nbPropagations=400  nbRevisions=3974  nbUselessRevisions=1074  nbRemovedValues=2900
1.07	     detectedInconsistency=no
1.07	       =>  wckTime=0.042  cpuTime=0.02  mem=18M543
1.15	   
1.15	   search
1.15	     run=0  nbConstraintChecks=6347  nbPropagations=925  nbRevisions=6019  nbUselessRevisions=2333  nbAssignments=287
1.15	     nbFailedAssignments=7  nbBacktracks=10  nbVisitedNodes=299  nbRestartNogoods=0  mapSize=7  nbInferences=0
1.15	     nbTooLargeKeys=0
1.15	       =>  wckTime=0.123  cpuTime=0.08  mem=19M518
1.20	   
1.20	   search
1.20	     run=1  nbConstraintChecks=13077  nbPropagations=2420  nbRevisions=14345  nbUselessRevisions=6099  nbAssignments=575
1.20	     nbFailedAssignments=10  nbBacktracks=26  nbVisitedNodes=596  nbRestartNogoods=4  mapSize=14  nbInferences=0
1.20	     nbTooLargeKeys=0
1.20	       =>  wckTime=0.175  cpuTime=0.13  mem=19M518
1.25	   
1.25	   search
1.25	     run=2  nbConstraintChecks=20793  nbPropagations=4579  nbRevisions=25116  nbUselessRevisions=11316
1.25	     nbAssignments=887  nbFailedAssignments=20  nbBacktracks=58  nbVisitedNodes=927  nbRestartNogoods=6  mapSize=26
1.25	     nbInferences=0  nbTooLargeKeys=0
1.25	       =>  wckTime=0.226  cpuTime=0.17  mem=19M518
1.31	   
1.31	   search
1.31	     run=3  nbConstraintChecks=29681  nbPropagations=7488  nbRevisions=38802  nbUselessRevisions=18246
1.31	     nbAssignments=1212  nbFailedAssignments=37  nbBacktracks=93  nbVisitedNodes=1283  nbRestartNogoods=13  mapSize=53
1.31	     nbInferences=0  nbTooLargeKeys=0
1.31	       =>  wckTime=0.279  cpuTime=0.22  mem=19M518
1.37	   
1.37	   search
1.37	     run=4  nbConstraintChecks=39098  nbPropagations=11174  nbRevisions=55414  nbUselessRevisions=26888
1.37	     nbAssignments=1554  nbFailedAssignments=54  nbBacktracks=152  nbVisitedNodes=1658  nbRestartNogoods=17  mapSize=82
1.37	     nbInferences=0  nbTooLargeKeys=0
1.37	       =>  wckTime=0.342  cpuTime=0.27  mem=20M491
1.43	   
1.43	   search
1.43	     run=5  nbConstraintChecks=56703  nbPropagations=16081  nbRevisions=78337  nbUselessRevisions=39430
1.43	     nbAssignments=1933  nbFailedAssignments=78  nbBacktracks=236  nbVisitedNodes=2085  nbRestartNogoods=20  mapSize=125
1.43	     nbInferences=0  nbTooLargeKeys=0
1.43	       =>  wckTime=0.399  cpuTime=0.32  mem=20M491
1.48	   
1.48	   search
1.48	     run=6  nbConstraintChecks=73872  nbPropagations=22215  nbRevisions=107158  nbUselessRevisions=55629
1.48	     nbAssignments=2336  nbFailedAssignments=105  nbBacktracks=364  nbVisitedNodes=2541  nbRestartNogoods=22
1.48	     mapSize=177  nbInferences=0  nbTooLargeKeys=0
1.48	       =>  wckTime=0.453  cpuTime=0.38  mem=20M491
1.54	   
1.54	   search
1.54	     run=7  nbConstraintChecks=98487  nbPropagations=30017  nbRevisions=143866  nbUselessRevisions=76633
1.54	     nbAssignments=2808  nbFailedAssignments=144  nbBacktracks=538  nbVisitedNodes=3083  nbRestartNogoods=23
1.54	     mapSize=244  nbInferences=0  nbTooLargeKeys=0
1.54	       =>  wckTime=0.516  cpuTime=0.44  mem=21M463
1.63	   
1.63	   search
1.63	     run=8  nbConstraintChecks=140956  nbPropagations=40359  nbRevisions=196226  nbUselessRevisions=107706
1.63	     nbAssignments=3387  nbFailedAssignments=195  nbBacktracks=799  nbVisitedNodes=3767  nbRestartNogoods=25
1.63	     mapSize=339  nbInferences=0  nbTooLargeKeys=0
1.63	       =>  wckTime=0.6  cpuTime=0.52  mem=21M463
1.74	   
1.74	   search
1.74	     run=9  nbConstraintChecks=202918  nbPropagations=54515  nbRevisions=268040  nbUselessRevisions=150048
1.74	     nbAssignments=4112  nbFailedAssignments=304  nbBacktracks=1184  nbVisitedNodes=4707  nbRestartNogoods=30
1.74	     mapSize=525  nbInferences=0  nbTooLargeKeys=0
1.74	       =>  wckTime=0.716  cpuTime=0.63  mem=22M436
1.92	   
1.92	   search
1.92	     run=10  nbConstraintChecks=295498  nbPropagations=73049  nbRevisions=391813  nbUselessRevisions=236423
1.92	     nbAssignments=4920  nbFailedAssignments=459  nbBacktracks=1763  nbVisitedNodes=5788  nbRestartNogoods=32
1.92	     mapSize=769  nbInferences=0  nbTooLargeKeys=0
1.92	       =>  wckTime=0.897  cpuTime=0.81  mem=22M436
2.11	   
2.11	   INFO : Stopping hyperNogood (mapSize=1007, nbTooLargekeys=0, mem=23M409)
2.16	   
2.16	   search
2.17	     run=11  nbConstraintChecks=464208  nbPropagations=98084  nbRevisions=621080  nbUselessRevisions=414462
2.17	     nbAssignments=6013  nbFailedAssignments=617  nbBacktracks=2631  nbVisitedNodes=7210  nbRestartNogoods=34
2.17	       =>  wckTime=1.139  cpuTime=1.05  mem=23M409
2.50	   
2.50	   search
2.50	     run=12  nbConstraintChecks=754606  nbPropagations=133943  nbRevisions=1032348  nbUselessRevisions=750389
2.50	     nbAssignments=7667  nbFailedAssignments=903  nbBacktracks=3931  nbVisitedNodes=9497  nbRestartNogoods=40
2.50	       =>  wckTime=1.473  cpuTime=1.38  mem=23M409
2.92	   
2.92	   search
2.92	     run=13  nbConstraintChecks=1067308  nbPropagations=182793  nbRevisions=1633594  nbUselessRevisions=1250286
2.92	     nbAssignments=9896  nbFailedAssignments=1152  nbBacktracks=5879  nbVisitedNodes=12268  nbRestartNogoods=45
2.92	       =>  wckTime=1.89  cpuTime=1.8  mem=23M409
3.79	   
3.79	   search
3.79	     run=14  nbConstraintChecks=1845465  nbPropagations=262649  nbRevisions=2677798  nbUselessRevisions=2127925
3.79	     nbAssignments=13661  nbFailedAssignments=1980  nbBacktracks=8799  nbVisitedNodes=17582  nbRestartNogoods=47
3.79	       =>  wckTime=2.765  cpuTime=2.67  mem=23M409
4.92	   
4.92	   search
4.92	     run=15  nbConstraintChecks=2949738  nbPropagations=378266  nbRevisions=4420475  nbUselessRevisions=3620373
4.92	     nbAssignments=18788  nbFailedAssignments=2683  nbBacktracks=13183  nbVisitedNodes=24029  nbRestartNogoods=53
4.92	       =>  wckTime=3.89  cpuTime=3.79  mem=23M409
6.84	   
6.84	   search
6.84	     run=16  nbConstraintChecks=4937162  nbPropagations=562388  nbRevisions=7482087  nbUselessRevisions=6286698
6.84	     nbAssignments=26757  nbFailedAssignments=4047  nbBacktracks=19752  nbVisitedNodes=34727  nbRestartNogoods=58
6.84	       =>  wckTime=5.816  cpuTime=5.7  mem=23M409
9.93	   
9.93	   search
9.93	     run=17  nbConstraintChecks=8300844  nbPropagations=857070  nbRevisions=12781221  nbUselessRevisions=10950704
9.93	     nbAssignments=38771  nbFailedAssignments=6171  nbBacktracks=29607  nbVisitedNodes=50992  nbRestartNogoods=64
9.93	       =>  wckTime=8.9  cpuTime=8.78  mem=23M409
14.67	   
14.67	   search
14.67	     run=18  nbConstraintChecks=13004379  nbPropagations=1327617  nbRevisions=20892669  nbUselessRevisions=18044204
14.67	     nbAssignments=59013  nbFailedAssignments=11619  nbBacktracks=44387  nbVisitedNodes=81761  nbRestartNogoods=71
14.67	       =>  wckTime=13.641  cpuTime=13.5  mem=23M409
21.82	   
21.82	   search
21.82	     run=19  nbConstraintChecks=20713923  nbPropagations=2057810  nbRevisions=34074446  nbUselessRevisions=29629976
21.82	     nbAssignments=86345  nbFailedAssignments=16752  nbBacktracks=66563  nbVisitedNodes=119915  nbRestartNogoods=74
21.82	       =>  wckTime=20.796  cpuTime=20.62  mem=23M409
32.76	   
32.76	   search
32.76	     run=20  nbConstraintChecks=32716785  nbPropagations=3177736  nbRevisions=55158413  nbUselessRevisions=48230439
32.76	     nbAssignments=126320  nbFailedAssignments=23448  nbBacktracks=99818  nbVisitedNodes=173421  nbRestartNogoods=78
32.76	       =>  wckTime=31.734  cpuTime=31.52  mem=23M409
48.30	   
48.30	   search
48.30	     run=21  nbConstraintChecks=47743044  nbPropagations=4874805  nbRevisions=85553744  nbUselessRevisions=74949164
48.30	     nbAssignments=191400  nbFailedAssignments=38621  nbBacktracks=149704  nbVisitedNodes=269311  nbRestartNogoods=82
48.30	       =>  wckTime=47.271  cpuTime=46.97  mem=23M409
72.06	   
72.06	   search
72.06	     run=22  nbConstraintChecks=73719395  nbPropagations=7431120  nbRevisions=133088186  nbUselessRevisions=116892942
72.06	     nbAssignments=282621  nbFailedAssignments=54979  nbBacktracks=224525  nbVisitedNodes=392891  nbRestartNogoods=93
72.06	       =>  wckTime=71.031  cpuTime=70.63  mem=23M409
90.87	   
90.87	   search
90.87	     run=23  nbConstraintChecks=94702721  nbPropagations=10656370  nbRevisions=194208629  nbUselessRevisions=170881614
90.87	     nbAssignments=352002  nbFailedAssignments=67500  nbBacktracks=280985  nbVisitedNodes=487474  nbRestartNogoods=108
90.87	       =>  wckTime=89.841  cpuTime=89.33  mem=23M409
90.87	   
90.87	   global
90.87	     nbConstraintChecks=94747905  nbPropagations=10656770  nbRevisions=194212603  nbUselessRevisions=170882688
90.87	     nbRestartNogoods=108  solvingWckTime=89.843  solvingCpuTime=89.34  expiredTime=no  totalExploration=no
90.87	     nbFoundSolutions=1  globalCpuTime=89.89
90.87	       =>  wckTime=90.579  cpuTime=89.83  mem=23M409
90.87	   
90.87	s SATISFIABLE
90.87	v 6 11 17 13 15 3 18 9 14 5 7 0 8 10 19 12 1 4 16 2 15 10 0 2 16 9 12 18 4 17 3 1 5 19 6 7 13 14 11 8 7 6 12 1 11 17 15 2 9 0 4 13 10 5 14 19 3 16 8 18 18 17 6 8 7 4 14 12 0 10 1 19 11 2 13 9 15 5 3 16 5 18 8 15 6 12 10 7 11 9 14 2 4 3 1 13 16 17 19 0 0 14 19 4 9 10 2 8 17 13 11 3 12 7 16 6 5 18 1 15 19 15 7 11 8 5 9 0 2 3 13 18 14 16 17 1 6 12 4 10 4 19 3 9 2 13 1 15 6 11 16 5 0 14 7 8 17 10 18 12 3 5 10 12 0 6 7 13 15 18 19 16 2 4 9 14 11 8 17 1 12 2 14 7 3 18 17 1 16 15 10 6 19 8 4 11 9 13 0 5 13 1 9 18 17 16 4 6 7 8 2 12 3 15 11 5 14 0 10 19 1 7 16 3 14 11 5 17 8 12 15 9 18 13 0 2 10 19 6 4 10 9 2 6 12 15 13 5 19 16 8 4 1 0 3 17 18 7 14 11 2 8 11 19 18 0 16 3 13 14 17 15 7 1 12 10 4 9 5 6 11 4 18 0 13 19 8 16 3 1 9 10 17 12 5 15 7 6 2 14 8 3 4 14 5 2 11 10 12 6 0 17 9 18 15 16 19 1 7 13 16 12 15 10 19 1 3 4 5 7 18 14 6 9 8 0 2 11 13 17 9 13 5 17 4 8 19 14 1 2 6 7 16 11 10 18 0 15 12 3 14 0 1 16 10 7 6 11 18 19 5 8 13 17 2 4 12 3 15 9 17 16 13 5 1 14 0 19 10 4 12 11 15 6 18 3 8 2 9 7 
90.87	d NODES 352002
90.87	d CHECKS 94747905
90.87	   
90.87	   totalWckTime=90.656  totalCpuTime=89.89

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/node76/watcher-240258-1168085212 -o ROOT/results/node76/solver-240258-1168085212 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/240258-1168085212/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.98 1.67 1.80 4/85 1238
/proc/meminfo: memFree=1692560/2055888 swapFree=4096420/4096564
[pid=1237] ppid=1235 vsize=12012 CPUtime=0
/proc/1237/stat : 1237 (java) D 1235 1237 995 0 -1 0 780 0 1 0 0 0 0 0 18 0 1 0 156919694 12300288 531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4817844 0 2147483391 0 7368 18446744072100015398 0 0 17 0 0 0
/proc/1237/statm: 3003 531 438 14 0 1602 0

[startup+0.103299 s]
/proc/loadavg: 0.98 1.67 1.80 4/85 1238
/proc/meminfo: memFree=1692560/2055888 swapFree=4096420/4096564
[pid=1237] ppid=1235 vsize=914992 CPUtime=0.09
/proc/1237/stat : 1237 (java) R 1235 1237 995 0 -1 0 3072 0 1 0 7 2 0 0 24 0 8 0 156919694 936951808 2820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1237/statm: 228748 2820 1456 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914992

[startup+0.511377 s]
/proc/loadavg: 0.98 1.67 1.80 4/85 1238
/proc/meminfo: memFree=1692560/2055888 swapFree=4096420/4096564
[pid=1237] ppid=1235 vsize=915332 CPUtime=0.49
/proc/1237/stat : 1237 (java) R 1235 1237 995 0 -1 0 6601 0 1 0 45 4 0 0 25 0 8 0 156919694 937299968 6342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1237/statm: 228833 6342 2139 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332

[startup+1.33454 s]
/proc/loadavg: 1.14 1.69 1.80 3/92 1247
/proc/meminfo: memFree=1655584/2055888 swapFree=4096420/4096564
[pid=1237] ppid=1235 vsize=915680 CPUtime=1.31
/proc/1237/stat : 1237 (java) R 1235 1237 995 0 -1 0 11997 0 1 0 123 8 0 0 25 0 8 0 156919694 937656320 11737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073952673 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1237/statm: 228920 11737 2514 14 0 215389 0
[pid=1237/tid=1239] ppid=1235 vsize=915680 CPUtime=0.06
/proc/1237/task/1239/stat : 1239 (java) S 1235 1237 995 0 -1 64 903 0 0 0 6 0 0 0 16 0 8 0 156919697 937656320 11737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1237/tid=1240] ppid=1235 vsize=915680 CPUtime=0
/proc/1237/task/1240/stat : 1240 (java) S 1235 1237 995 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156919698 937656320 11737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1237/tid=1241] ppid=1235 vsize=915680 CPUtime=0
/proc/1237/task/1241/stat : 1241 (java) S 1235 1237 995 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156919698 937656320 11737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1237/tid=1242] ppid=1235 vsize=915680 CPUtime=0
/proc/1237/task/1242/stat : 1242 (java) S 1235 1237 995 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156919701 937656320 11737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1237/tid=1245] ppid=1235 vsize=915680 CPUtime=0.26
/proc/1237/task/1245/stat : 1245 (java) S 1235 1237 995 0 -1 64 471 0 0 0 25 1 0 0 15 0 8 0 156919701 937656320 11737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1237/tid=1246] ppid=1235 vsize=915680 CPUtime=0
/proc/1237/task/1246/stat : 1246 (java) S 1235 1237 995 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156919701 937656320 11737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1237/tid=1247] ppid=1235 vsize=915680 CPUtime=0
/proc/1237/task/1247/stat : 1247 (java) S 1235 1237 995 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156919701 937656320 11737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915680

[startup+2.97486 s]
/proc/loadavg: 1.14 1.69 1.80 3/92 1247
/proc/meminfo: memFree=1655456/2055888 swapFree=4096420/4096564
[pid=1237] ppid=1235 vsize=915680 CPUtime=2.94
/proc/1237/stat : 1237 (java) R 1235 1237 995 0 -1 0 12012 0 1 0 286 8 0 0 25 0 8 0 156919694 937656320 11750 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073936643 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1237/statm: 228920 11750 2514 14 0 215389 0
[pid=1237/tid=1239] ppid=1235 vsize=915680 CPUtime=0.06
/proc/1237/task/1239/stat : 1239 (java) S 1235 1237 995 0 -1 64 903 0 0 0 6 0 0 0 17 0 8 0 156919697 937656320 11750 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1237/tid=1240] ppid=1235 vsize=915680 CPUtime=0
/proc/1237/task/1240/stat : 1240 (java) S 1235 1237 995 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156919698 937656320 11750 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1237/tid=1241] ppid=1235 vsize=915680 CPUtime=0
/proc/1237/task/1241/stat : 1241 (java) S 1235 1237 995 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156919698 937656320 11750 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1237/tid=1242] ppid=1235 vsize=915680 CPUtime=0
/proc/1237/task/1242/stat : 1242 (java) S 1235 1237 995 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156919701 937656320 11750 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1237/tid=1245] ppid=1235 vsize=915680 CPUtime=0.29
/proc/1237/task/1245/stat : 1245 (java) S 1235 1237 995 0 -1 64 484 0 0 0 28 1 0 0 15 0 8 0 156919701 937656320 11750 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1237/tid=1246] ppid=1235 vsize=915680 CPUtime=0
/proc/1237/task/1246/stat : 1246 (java) S 1235 1237 995 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156919701 937656320 11750 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1237/tid=1247] ppid=1235 vsize=915680 CPUtime=0
/proc/1237/task/1247/stat : 1247 (java) S 1235 1237 995 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156919701 937656320 11750 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915680

[startup+6.2675 s]
/proc/loadavg: 1.21 1.70 1.80 3/92 1247
/proc/meminfo: memFree=1655456/2055888 swapFree=4096420/4096564
[pid=1237] ppid=1235 vsize=915680 CPUtime=6.22
/proc/1237/stat : 1237 (java) R 1235 1237 995 0 -1 0 12014 0 1 0 614 8 0 0 25 0 8 0 156919694 937656320 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073930027 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1237/statm: 228920 11752 2514 14 0 215389 0
[pid=1237/tid=1239] ppid=1235 vsize=915680 CPUtime=0.06
/proc/1237/task/1239/stat : 1239 (java) S 1235 1237 995 0 -1 64 903 0 0 0 6 0 0 0 16 0 8 0 156919697 937656320 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1237/tid=1240] ppid=1235 vsize=915680 CPUtime=0
/proc/1237/task/1240/stat : 1240 (java) S 1235 1237 995 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156919698 937656320 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1237/tid=1241] ppid=1235 vsize=915680 CPUtime=0
/proc/1237/task/1241/stat : 1241 (java) S 1235 1237 995 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156919698 937656320 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1237/tid=1242] ppid=1235 vsize=915680 CPUtime=0
/proc/1237/task/1242/stat : 1242 (java) S 1235 1237 995 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156919701 937656320 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1237/tid=1245] ppid=1235 vsize=915680 CPUtime=0.29
/proc/1237/task/1245/stat : 1245 (java) S 1235 1237 995 0 -1 64 486 0 0 0 28 1 0 0 17 0 8 0 156919701 937656320 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1237/tid=1246] ppid=1235 vsize=915680 CPUtime=0
/proc/1237/task/1246/stat : 1246 (java) S 1235 1237 995 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156919701 937656320 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1237/tid=1247] ppid=1235 vsize=915680 CPUtime=0
/proc/1237/task/1247/stat : 1247 (java) S 1235 1237 995 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156919701 937656320 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915680

[startup+12.7448 s]
/proc/loadavg: 1.27 1.70 1.80 3/92 1247
/proc/meminfo: memFree=1655456/2055888 swapFree=4096420/4096564
[pid=1237] ppid=1235 vsize=915680 CPUtime=12.67
/proc/1237/stat : 1237 (java) R 1235 1237 995 0 -1 0 12014 0 1 0 1259 8 0 0 25 0 8 0 156919694 937656320 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073927274 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1237/statm: 228920 11752 2514 14 0 215389 0
[pid=1237/tid=1239] ppid=1235 vsize=915680 CPUtime=0.06
/proc/1237/task/1239/stat : 1239 (java) S 1235 1237 995 0 -1 64 903 0 0 0 6 0 0 0 16 0 8 0 156919697 937656320 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1237/tid=1240] ppid=1235 vsize=915680 CPUtime=0
/proc/1237/task/1240/stat : 1240 (java) S 1235 1237 995 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156919698 937656320 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1237/tid=1241] ppid=1235 vsize=915680 CPUtime=0
/proc/1237/task/1241/stat : 1241 (java) S 1235 1237 995 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156919698 937656320 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1237/tid=1242] ppid=1235 vsize=915680 CPUtime=0
/proc/1237/task/1242/stat : 1242 (java) S 1235 1237 995 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156919701 937656320 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1237/tid=1245] ppid=1235 vsize=915680 CPUtime=0.29
/proc/1237/task/1245/stat : 1245 (java) S 1235 1237 995 0 -1 64 486 0 0 0 28 1 0 0 17 0 8 0 156919701 937656320 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1237/tid=1246] ppid=1235 vsize=915680 CPUtime=0
/proc/1237/task/1246/stat : 1246 (java) S 1235 1237 995 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156919701 937656320 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1237/tid=1247] ppid=1235 vsize=915680 CPUtime=0
/proc/1237/task/1247/stat : 1247 (java) S 1235 1237 995 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156919701 937656320 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 915680

[startup+25.5923 s]
/proc/loadavg: 1.38 1.71 1.81 3/92 1247
/proc/meminfo: memFree=1655456/2055888 swapFree=4096420/4096564
[pid=1237] ppid=1235 vsize=915680 CPUtime=25.47
/proc/1237/stat : 1237 (java) R 1235 1237 995 0 -1 0 12014 0 1 0 2539 8 0 0 25 0 8 0 156919694 937656320 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073952641 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1237/statm: 228920 11752 2514 14 0 215389 0
[pid=1237/tid=1239] ppid=1235 vsize=915680 CPUtime=0.06
/proc/1237/task/1239/stat : 1239 (java) S 1235 1237 995 0 -1 64 903 0 0 0 6 0 0 0 16 0 8 0 156919697 937656320 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1237/tid=1240] ppid=1235 vsize=915680 CPUtime=0
/proc/1237/task/1240/stat : 1240 (java) S 1235 1237 995 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156919698 937656320 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1237/tid=1241] ppid=1235 vsize=915680 CPUtime=0
/proc/1237/task/1241/stat : 1241 (java) S 1235 1237 995 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156919698 937656320 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1237/tid=1242] ppid=1235 vsize=915680 CPUtime=0
/proc/1237/task/1242/stat : 1242 (java) S 1235 1237 995 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156919701 937656320 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1237/tid=1245] ppid=1235 vsize=915680 CPUtime=0.29
/proc/1237/task/1245/stat : 1245 (java) S 1235 1237 995 0 -1 64 486 0 0 0 28 1 0 0 17 0 8 0 156919701 937656320 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1237/tid=1246] ppid=1235 vsize=915680 CPUtime=0
/proc/1237/task/1246/stat : 1246 (java) S 1235 1237 995 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156919701 937656320 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1237/tid=1247] ppid=1235 vsize=915680 CPUtime=0
/proc/1237/task/1247/stat : 1247 (java) S 1235 1237 995 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156919701 937656320 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 915680

[startup+51.1973 s]
/proc/loadavg: 1.62 1.74 1.81 3/92 1247
/proc/meminfo: memFree=1655520/2055888 swapFree=4096420/4096564
[pid=1237] ppid=1235 vsize=915680 CPUtime=50.94
/proc/1237/stat : 1237 (java) R 1235 1237 995 0 -1 0 12014 0 1 0 5086 8 0 0 25 0 8 0 156919694 937656320 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073323875 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1237/statm: 228920 11752 2514 14 0 215389 0
[pid=1237/tid=1239] ppid=1235 vsize=915680 CPUtime=0.06
/proc/1237/task/1239/stat : 1239 (java) S 1235 1237 995 0 -1 64 903 0 0 0 6 0 0 0 16 0 8 0 156919697 937656320 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1237/tid=1240] ppid=1235 vsize=915680 CPUtime=0
/proc/1237/task/1240/stat : 1240 (java) S 1235 1237 995 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156919698 937656320 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1237/tid=1241] ppid=1235 vsize=915680 CPUtime=0
/proc/1237/task/1241/stat : 1241 (java) S 1235 1237 995 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156919698 937656320 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1237/tid=1242] ppid=1235 vsize=915680 CPUtime=0
/proc/1237/task/1242/stat : 1242 (java) S 1235 1237 995 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156919701 937656320 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1237/tid=1245] ppid=1235 vsize=915680 CPUtime=0.29
/proc/1237/task/1245/stat : 1245 (java) S 1235 1237 995 0 -1 64 486 0 0 0 28 1 0 0 17 0 8 0 156919701 937656320 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1237/tid=1246] ppid=1235 vsize=915680 CPUtime=0
/proc/1237/task/1246/stat : 1246 (java) S 1235 1237 995 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156919701 937656320 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1237/tid=1247] ppid=1235 vsize=915680 CPUtime=0
/proc/1237/task/1247/stat : 1247 (java) S 1235 1237 995 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156919701 937656320 11752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 915680

Child status: 0
Real time (s): 90.8956
CPU time (s): 90.4513
CPU user time (s): 90.3553
CPU system time (s): 0.095985
CPU usage (%): 99.5112
Max. virtual memory (cumulated for all children) (KiB): 915784

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 90.3553
system time used= 0.095985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12025
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= 3188
involuntary context switches= 6292

runsolver used 0.13098 s user time and 0.208968 s system time

The end

Launcher Data (download as text)

Begin job on node76 on Sat Jan  6 12:06:59 UTC 2007


IDJOB= 240258
IDBENCH= 7118
FILE ID= node76/240258-1168085212

PBS_JOBID= 3476296

Free space on /tmp= 66639 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  eb85637a25e6f95bd7cdd481f9c8abcf

RANDOM SEED= 934345372

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.254
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	: 6006.17
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.254
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	: 5999.42
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055888 kB
MemFree:       1693232 kB
Buffers:         24796 kB
Cached:         222452 kB
SwapCached:          0 kB
Active:         106376 kB
Inactive:       199616 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055888 kB
LowFree:       1693232 kB
SwapTotal:     4096564 kB
SwapFree:      4096420 kB
Dirty:            4520 kB
Writeback:           0 kB
Mapped:          79008 kB
Slab:            42268 kB
Committed_AS:  6654172 kB
PageTables:       1908 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66639 MiB



End job on node76 on Sat Jan  6 12:08:43 UTC 2007