Trace number 208254

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 20.006 20.0581

DiagnosticValue
CHECKS122097872
NODES87055

General information on the benchmark

Namerandom/rand-2-40-19-fcd/
rand-2-40-19-443-230-fcd-27_ext.xml
MD5SUMfc31e74b7cf40a63c543bd632342ca6b
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 benchmark4.37033
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables40
Number of constraints338
Maximum constraint arity2
Maximum domain size19
Number of constraints which are defined in extension338
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=esac.xml
0.32	   
0.32	   instance
0.32	     name=/tmp/evaluation/208254-1168186359/unknown.xml
0.35	   
0.35	   domains being loaded...
0.35	   
0.35	   variables being loaded...
0.39	     nbVariables=40  nbDomainTypes=1  minDomainSize=19  maxDomainSize=19
0.39	       =>  wckTime=0.093  cpuTime=0.08  mem=6M951
0.39	   
0.39	   relations being loaded...
0.49	   
0.49	   constraints being loaded...
0.59	     nbConstraints=338  nbRelationTypes=338  nbExtensionStructures=338  nbSharedExtensionStructures=0
0.59	     nbConflictsStructures=338  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=3052  maxDegree=23
0.59	     maxArity=2
0.59	       =>  wckTime=0.298  cpuTime=0.21  mem=12M803
0.63	   
0.63	   solver IterativeSystematicSolver being built... 
0.78	       =>  wckTime=0.487  cpuTime=0.33  mem=15M10
0.83	   
0.83	   preprocessing
0.83	     nbConstraintChecks=77412  nbPropagations=1034  nbRevisions=8532  nbUselessRevisions=6955  nbSingletonTests=54
0.83	     nbEffectiveSingletonTests=0  nbESACBranches=7  nbRemovedValues=0  detectedInconsistency=no
0.83	       =>  wckTime=0.05  cpuTime=0.03  mem=15M10
0.86	   
0.86	   search
0.86	     run=0  nbConstraintChecks=34600  nbPropagations=1500  nbRevisions=14362  nbUselessRevisions=11696  nbAssignments=25
0.86	     nbFailedAssignments=7  nbBacktracks=10  nbVisitedNodes=40  nbRestartNogoods=0  mapSize=8  nbInferences=0
0.86	     nbTooLargeKeys=0
0.86	       =>  wckTime=0.074  cpuTime=0.04  mem=15M10
0.87	   
0.87	   search
0.87	     run=1  nbConstraintChecks=87245  nbPropagations=3747  nbRevisions=38666  nbUselessRevisions=31520  nbAssignments=63
0.87	     nbFailedAssignments=23  nbBacktracks=26  nbVisitedNodes=104  nbRestartNogoods=2  mapSize=22  nbInferences=0
0.87	     nbTooLargeKeys=0
0.87	       =>  wckTime=0.09  cpuTime=0.06  mem=15M10
0.89	   
0.89	   search
0.89	     run=2  nbConstraintChecks=140629  nbPropagations=6728  nbRevisions=72022  nbUselessRevisions=58616
0.89	     nbAssignments=104  nbFailedAssignments=37  nbBacktracks=49  nbVisitedNodes=172  nbRestartNogoods=6  mapSize=40
0.89	     nbInferences=0  nbTooLargeKeys=0
0.89	       =>  wckTime=0.104  cpuTime=0.07  mem=15M10
0.90	   
0.90	   search
0.90	     run=3  nbConstraintChecks=235070  nbPropagations=10876  nbRevisions=121353  nbUselessRevisions=98649
0.90	     nbAssignments=172  nbFailedAssignments=65  nbBacktracks=84  nbVisitedNodes=287  nbRestartNogoods=7  mapSize=69
0.90	     nbInferences=0  nbTooLargeKeys=0
0.90	       =>  wckTime=0.122  cpuTime=0.08  mem=15M10
0.93	   
0.93	   search
0.93	     run=4  nbConstraintChecks=364175  nbPropagations=16858  nbRevisions=195273  nbUselessRevisions=158463
0.93	     nbAssignments=264  nbFailedAssignments=101  nbBacktracks=135  nbVisitedNodes=448  nbRestartNogoods=9  mapSize=113
0.93	     nbInferences=0  nbTooLargeKeys=0
0.93	       =>  wckTime=0.147  cpuTime=0.11  mem=15M10
0.97	   
0.97	   search
0.97	     run=5  nbConstraintChecks=560263  nbPropagations=25436  nbRevisions=305328  nbUselessRevisions=247538
0.97	     nbAssignments=403  nbFailedAssignments=158  nbBacktracks=210  nbVisitedNodes=689  nbRestartNogoods=14  mapSize=177
0.97	     nbInferences=0  nbTooLargeKeys=0
0.97	       =>  wckTime=0.185  cpuTime=0.14  mem=15M10
1.02	   
1.02	   search
1.02	     run=6  nbConstraintChecks=852532  nbPropagations=38005  nbRevisions=471573  nbUselessRevisions=381985
1.02	     nbAssignments=622  nbFailedAssignments=256  nbBacktracks=323  nbVisitedNodes=1076  nbRestartNogoods=19  mapSize=282
1.02	     nbInferences=0  nbTooLargeKeys=0
1.02	       =>  wckTime=0.237  cpuTime=0.19  mem=15M10
1.08	   
1.08	   search
1.08	     run=7  nbConstraintChecks=1212931  nbPropagations=55853  nbRevisions=710888  nbUselessRevisions=575864
1.08	     nbAssignments=920  nbFailedAssignments=378  nbBacktracks=495  nbVisitedNodes=1597  nbRestartNogoods=27  mapSize=427
1.08	     nbInferences=0  nbTooLargeKeys=0
1.08	       =>  wckTime=0.303  cpuTime=0.26  mem=15M10
1.21	   
1.21	   search
1.21	     run=8  nbConstraintChecks=1852915  nbPropagations=82189  nbRevisions=1069884  nbUselessRevisions=866143
1.21	     nbAssignments=1385  nbFailedAssignments=581  nbBacktracks=752  nbVisitedNodes=2407  nbRestartNogoods=30
1.21	     mapSize=647  nbInferences=0  nbTooLargeKeys=0
1.21	       =>  wckTime=0.425  cpuTime=0.37  mem=15M10
1.38	   
1.38	   search
1.38	     run=9  nbConstraintChecks=2832911  nbPropagations=121625  nbRevisions=1613052  nbUselessRevisions=1304674
1.38	     nbAssignments=2066  nbFailedAssignments=871  nbBacktracks=1136  nbVisitedNodes=3601  nbRestartNogoods=36
1.38	     mapSize=979  nbInferences=0  nbTooLargeKeys=0
1.38	       =>  wckTime=0.598  cpuTime=0.52  mem=15M10
1.41	   
1.41	   INFO : Stopping hyperNogood (mapSize=1037, nbTooLargekeys=0, mem=15M10)
1.61	   
1.61	   search
1.61	     run=10  nbConstraintChecks=4228766  nbPropagations=180524  nbRevisions=2432251  nbUselessRevisions=1967223
1.61	     nbAssignments=3089  nbFailedAssignments=1301  nbBacktracks=1712  nbVisitedNodes=5391  nbRestartNogoods=46
1.61	       =>  wckTime=0.825  cpuTime=0.74  mem=15M10
1.93	   
1.93	   search
1.93	     run=11  nbConstraintChecks=6512470  nbPropagations=268756  nbRevisions=3667899  nbUselessRevisions=2964424
1.93	     nbAssignments=4579  nbFailedAssignments=1923  nbBacktracks=2576  nbVisitedNodes=8032  nbRestartNogoods=54
1.93	       =>  wckTime=1.152  cpuTime=1.07  mem=15M10
2.44	   
2.44	   search
2.44	     run=12  nbConstraintChecks=9879540  nbPropagations=401997  nbRevisions=5541628  nbUselessRevisions=4476521
2.44	     nbAssignments=6850  nbFailedAssignments=2891  nbBacktracks=3874  nbVisitedNodes=12052  nbRestartNogoods=64
2.44	       =>  wckTime=1.66  cpuTime=1.57  mem=15M10
3.19	   
3.19	   search
3.19	     run=13  nbConstraintChecks=14584756  nbPropagations=598612  nbRevisions=8336832  nbUselessRevisions=6740336
3.19	     nbAssignments=10288  nbFailedAssignments=4377  nbBacktracks=5823  nbVisitedNodes=18120  nbRestartNogoods=71
3.19	       =>  wckTime=2.408  cpuTime=2.32  mem=15M10
4.33	   
4.33	   search
4.33	     run=14  nbConstraintChecks=21768275  nbPropagations=892130  nbRevisions=12520803  nbUselessRevisions=10126109
4.33	     nbAssignments=15433  nbFailedAssignments=6596  nbBacktracks=8744  nbVisitedNodes=27249  nbRestartNogoods=78
4.33	       =>  wckTime=3.549  cpuTime=3.46  mem=15M10
6.00	   
6.00	   search
6.00	     run=15  nbConstraintChecks=32322085  nbPropagations=1329083  nbRevisions=18720856  nbUselessRevisions=15141406
6.00	     nbAssignments=22943  nbFailedAssignments=9718  nbBacktracks=13126  nbVisitedNodes=40408  nbRestartNogoods=87
6.00	       =>  wckTime=5.216  cpuTime=5.12  mem=15M10
8.61	   
8.61	   search
8.61	     run=16  nbConstraintChecks=49104541  nbPropagations=1987461  nbRevisions=28118052  nbUselessRevisions=22737020
8.61	     nbAssignments=34869  nbFailedAssignments=15070  nbBacktracks=19694  nbVisitedNodes=61586  nbRestartNogoods=95
8.61	       =>  wckTime=7.831  cpuTime=7.74  mem=15M10
12.34	   
12.34	   search
12.34	     run=17  nbConstraintChecks=72630736  nbPropagations=2968008  nbRevisions=42177362  nbUselessRevisions=34128795
12.34	     nbAssignments=52133  nbFailedAssignments=22475  nbBacktracks=29547  nbVisitedNodes=92004  nbRestartNogoods=102
12.34	       =>  wckTime=11.555  cpuTime=11.46  mem=15M986
18.14	   
18.14	   search
18.14	     run=18  nbConstraintChecks=110267537  nbPropagations=4448095  nbRevisions=63371448  nbUselessRevisions=51281106
18.14	     nbAssignments=78199  nbFailedAssignments=33757  nbBacktracks=44326  nbVisitedNodes=138237  nbRestartNogoods=116
18.14	       =>  wckTime=17.359  cpuTime=17.26  mem=15M986
20.03	   
20.03	   search
20.03	     run=19  nbConstraintChecks=122020460  nbPropagations=6093121  nbRevisions=86892455  nbUselessRevisions=70322994
20.03	     nbAssignments=87055  nbFailedAssignments=37432  nbBacktracks=49464  nbVisitedNodes=153708  nbRestartNogoods=128
20.03	       =>  wckTime=19.252  cpuTime=19.15  mem=15M986
20.04	   
20.04	   global
20.04	     nbConstraintChecks=122097872  nbPropagations=6094155  nbRevisions=86900987  nbUselessRevisions=70329949
20.04	     nbRestartNogoods=128  solvingWckTime=19.253  solvingCpuTime=19.15  expiredTime=no  totalExploration=no
20.04	     nbFoundSolutions=1  globalCpuTime=19.53
20.04	       =>  wckTime=19.743  cpuTime=19.48  mem=15M986
20.04	   
20.04	s SATISFIABLE
20.04	v 1 0 6 11 11 11 13 13 18 14 17 5 15 0 16 4 5 15 12 2 17 3 0 2 1 1 12 15 9 9 4 14 13 12 11 6 8 5 8 2 
20.04	d NODES 87055
20.04	d CHECKS 122097872
20.04	   
20.04	   totalWckTime=19.817  totalCpuTime=19.53

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/node39/watcher-208254-1168186359 -o ROOT/results/node39/solver-208254-1168186359 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208254-1168186359/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.02 1.02 1.00 3/65 19014
/proc/meminfo: memFree=1605048/2055920 swapFree=4187312/4192956
[pid=19013] ppid=19011 vsize=1784 CPUtime=0
/proc/19013/stat : 19013 (java) R 19011 19013 17643 0 -1 0 153 0 0 0 0 0 0 0 19 0 1 0 167035489 1826816 124 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 134533553 0 0 4096 0 0 0 0 17 1 0 0
/proc/19013/statm: 446 136 102 14 0 91 0

[startup+0.106634 s]
/proc/loadavg: 1.02 1.02 1.00 3/65 19014
/proc/meminfo: memFree=1605048/2055920 swapFree=4187312/4192956
[pid=19013] ppid=19011 vsize=915848 CPUtime=0.08
/proc/19013/stat : 19013 (java) R 19011 19013 17643 0 -1 0 3051 0 1 0 7 1 0 0 17 0 8 0 167035489 937828352 2797 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155476971 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19013/statm: 228962 2797 1449 14 0 215457 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 915848

[startup+0.514671 s]
/proc/loadavg: 1.02 1.02 1.00 3/65 19014
/proc/meminfo: memFree=1605048/2055920 swapFree=4187312/4192956
[pid=19013] ppid=19011 vsize=916076 CPUtime=0.49
/proc/19013/stat : 19013 (java) R 19011 19013 17643 0 -1 0 7000 0 1 0 45 4 0 0 17 0 8 0 167035489 938061824 6739 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072916832 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19013/statm: 229019 6739 2138 14 0 215489 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 916076

[startup+1.33574 s]
/proc/loadavg: 1.02 1.02 1.00 2/72 19021
/proc/meminfo: memFree=1581056/2055920 swapFree=4187312/4192956
[pid=19013] ppid=19011 vsize=916216 CPUtime=1.29
/proc/19013/stat : 19013 (java) R 19011 19013 17643 0 -1 0 8752 0 1 0 124 5 0 0 17 0 8 0 167035489 938205184 8490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073798064 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19013/statm: 229054 8490 2524 14 0 215524 0
[pid=19013/tid=19015] ppid=19011 vsize=916216 CPUtime=0.03
/proc/19013/task/19015/stat : 19015 (java) S 19011 19013 17643 0 -1 64 288 0 0 0 3 0 0 0 17 0 8 0 167035493 938205184 8490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19013/tid=19016] ppid=19011 vsize=916216 CPUtime=0
/proc/19013/task/19016/stat : 19016 (java) S 19011 19013 17643 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 167035493 938205184 8490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19013/tid=19017] ppid=19011 vsize=916216 CPUtime=0
/proc/19013/task/19017/stat : 19017 (java) S 19011 19013 17643 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167035493 938205184 8490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19013/tid=19018] ppid=19011 vsize=916216 CPUtime=0
/proc/19013/task/19018/stat : 19018 (java) S 19011 19013 17643 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 167035496 938205184 8490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19013/tid=19019] ppid=19011 vsize=916216 CPUtime=0.21
/proc/19013/task/19019/stat : 19019 (java) S 19011 19013 17643 0 -1 64 390 0 0 0 20 1 0 0 16 0 8 0 167035496 938205184 8490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19013/tid=19020] ppid=19011 vsize=916216 CPUtime=0
/proc/19013/task/19020/stat : 19020 (java) S 19011 19013 17643 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 167035496 938205184 8490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19013/tid=19021] ppid=19011 vsize=916216 CPUtime=0
/proc/19013/task/19021/stat : 19021 (java) S 19011 19013 17643 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167035496 938205184 8490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 916216

[startup+2.98289 s]
/proc/loadavg: 1.02 1.02 1.00 2/72 19021
/proc/meminfo: memFree=1580800/2055920 swapFree=4187312/4192956
[pid=19013] ppid=19011 vsize=916216 CPUtime=2.94
/proc/19013/stat : 19013 (java) R 19011 19013 17643 0 -1 0 8781 0 1 0 288 6 0 0 18 0 8 0 167035489 938205184 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918529 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19013/statm: 229054 8517 2524 14 0 215524 0
[pid=19013/tid=19015] ppid=19011 vsize=916216 CPUtime=0.03
/proc/19013/task/19015/stat : 19015 (java) S 19011 19013 17643 0 -1 64 288 0 0 0 3 0 0 0 16 0 8 0 167035493 938205184 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19013/tid=19016] ppid=19011 vsize=916216 CPUtime=0
/proc/19013/task/19016/stat : 19016 (java) S 19011 19013 17643 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 167035493 938205184 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19013/tid=19017] ppid=19011 vsize=916216 CPUtime=0
/proc/19013/task/19017/stat : 19017 (java) S 19011 19013 17643 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167035493 938205184 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19013/tid=19018] ppid=19011 vsize=916216 CPUtime=0
/proc/19013/task/19018/stat : 19018 (java) S 19011 19013 17643 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 167035496 938205184 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19013/tid=19019] ppid=19011 vsize=916216 CPUtime=0.23
/proc/19013/task/19019/stat : 19019 (java) S 19011 19013 17643 0 -1 64 400 0 0 0 22 1 0 0 16 0 8 0 167035496 938205184 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19013/tid=19020] ppid=19011 vsize=916216 CPUtime=0
/proc/19013/task/19020/stat : 19020 (java) S 19011 19013 17643 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 167035496 938205184 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19013/tid=19021] ppid=19011 vsize=916216 CPUtime=0
/proc/19013/task/19021/stat : 19021 (java) S 19011 19013 17643 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167035496 938205184 8517 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) 916216

[startup+6.28019 s]
/proc/loadavg: 1.02 1.02 1.00 2/72 19021
/proc/meminfo: memFree=1580616/2055920 swapFree=4187312/4192956
[pid=19013] ppid=19011 vsize=916216 CPUtime=6.24
/proc/19013/stat : 19013 (java) R 19011 19013 17643 0 -1 0 8791 0 1 0 618 6 0 0 25 0 8 0 167035489 938205184 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073805495 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19013/statm: 229054 8526 2524 14 0 215524 0
[pid=19013/tid=19015] ppid=19011 vsize=916216 CPUtime=0.03
/proc/19013/task/19015/stat : 19015 (java) S 19011 19013 17643 0 -1 64 288 0 0 0 3 0 0 0 16 0 8 0 167035493 938205184 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19013/tid=19016] ppid=19011 vsize=916216 CPUtime=0
/proc/19013/task/19016/stat : 19016 (java) S 19011 19013 17643 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 167035493 938205184 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19013/tid=19017] ppid=19011 vsize=916216 CPUtime=0
/proc/19013/task/19017/stat : 19017 (java) S 19011 19013 17643 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167035493 938205184 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19013/tid=19018] ppid=19011 vsize=916216 CPUtime=0
/proc/19013/task/19018/stat : 19018 (java) S 19011 19013 17643 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 167035496 938205184 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19013/tid=19019] ppid=19011 vsize=916216 CPUtime=0.23
/proc/19013/task/19019/stat : 19019 (java) S 19011 19013 17643 0 -1 64 401 0 0 0 22 1 0 0 16 0 8 0 167035496 938205184 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19013/tid=19020] ppid=19011 vsize=916216 CPUtime=0
/proc/19013/task/19020/stat : 19020 (java) S 19011 19013 17643 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 167035496 938205184 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19013/tid=19021] ppid=19011 vsize=916216 CPUtime=0
/proc/19013/task/19021/stat : 19021 (java) S 19011 19013 17643 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167035496 938205184 8526 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) 916216

[startup+12.7508 s]
/proc/loadavg: 1.02 1.02 1.00 2/72 19021
/proc/meminfo: memFree=1580616/2055920 swapFree=4187312/4192956
[pid=19013] ppid=19011 vsize=916216 CPUtime=12.71
/proc/19013/stat : 19013 (java) R 19011 19013 17643 0 -1 0 8795 0 1 0 1265 6 0 0 25 0 8 0 167035489 938205184 8530 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073814021 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19013/statm: 229054 8530 2524 14 0 215524 0
[pid=19013/tid=19015] ppid=19011 vsize=916216 CPUtime=0.03
/proc/19013/task/19015/stat : 19015 (java) S 19011 19013 17643 0 -1 64 288 0 0 0 3 0 0 0 16 0 8 0 167035493 938205184 8530 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19013/tid=19016] ppid=19011 vsize=916216 CPUtime=0
/proc/19013/task/19016/stat : 19016 (java) S 19011 19013 17643 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 167035493 938205184 8530 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19013/tid=19017] ppid=19011 vsize=916216 CPUtime=0
/proc/19013/task/19017/stat : 19017 (java) S 19011 19013 17643 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167035493 938205184 8530 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19013/tid=19018] ppid=19011 vsize=916216 CPUtime=0
/proc/19013/task/19018/stat : 19018 (java) S 19011 19013 17643 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 167035496 938205184 8530 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19013/tid=19019] ppid=19011 vsize=916216 CPUtime=0.23
/proc/19013/task/19019/stat : 19019 (java) S 19011 19013 17643 0 -1 64 401 0 0 0 22 1 0 0 16 0 8 0 167035496 938205184 8530 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19013/tid=19020] ppid=19011 vsize=916216 CPUtime=0
/proc/19013/task/19020/stat : 19020 (java) S 19011 19013 17643 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 167035496 938205184 8530 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19013/tid=19021] ppid=19011 vsize=916216 CPUtime=0
/proc/19013/task/19021/stat : 19021 (java) S 19011 19013 17643 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167035496 938205184 8530 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 916216

Child status: 0
Real time (s): 20.0581
CPU time (s): 20.006
CPU user time (s): 19.938
CPU system time (s): 0.067989
CPU usage (%): 99.7403
Max. virtual memory (cumulated for all children) (KiB): 916216

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19.938
system time used= 0.067989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8892
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= 1254
involuntary context switches= 515

runsolver used 0.014997 s user time and 0.06299 s system time

The end

Launcher Data (download as text)

Begin job on node39 on Sun Jan  7 16:12:39 UTC 2007


IDJOB= 208254
IDBENCH= 4363
FILE ID= node39/208254-1168186359

PBS_JOBID= 3479119

Free space on /tmp= 66553 MiB

BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-27_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208254-1168186359/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node39/watcher-208254-1168186359 -o ROOT/results/node39/solver-208254-1168186359 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208254-1168186359/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  fc31e74b7cf40a63c543bd632342ca6b

RANDOM SEED= 326705817

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.236
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.236
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:       1605400 kB
Buffers:         35024 kB
Cached:         345588 kB
SwapCached:       1548 kB
Active:          74156 kB
Inactive:       318336 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1605400 kB
SwapTotal:     4192956 kB
SwapFree:      4187312 kB
Dirty:            1852 kB
Writeback:           0 kB
Mapped:          18944 kB
Slab:            44060 kB
Committed_AS:  3376236 kB
PageTables:       1412 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= 66553 MiB



End job on node39 on Sun Jan  7 16:12:59 UTC 2007