Trace number 223396

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 18.3172 18.3955

DiagnosticValue
CHECKS130741047
NODES104586

General information on the benchmark

Nametightness/tightness0.5/
rand-2-40-25-180-500-49_ext.xml
MD5SUM452db4ac7b92085726272d485646a151
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.6509
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables40
Number of constraints180
Maximum constraint arity2
Maximum domain size25
Number of constraints which are defined in extension180
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/223396-1168080430/unknown.xml
0.35	   
0.35	   domains being loaded...
0.36	   
0.36	   variables being loaded...
0.39	     nbVariables=40  nbDomainTypes=1  minDomainSize=25  maxDomainSize=25
0.39	       =>  wckTime=0.097  cpuTime=0.07  mem=6M951
0.39	   
0.39	   relations being loaded...
0.49	   
0.49	   constraints being loaded...
0.59	     nbConstraints=180  nbRelationTypes=180  nbExtensionStructures=180  nbSharedExtensionStructures=0
0.59	     nbConflictsStructures=180  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=1  maxDegree=16  maxArity=2
0.59	       =>  wckTime=0.292  cpuTime=0.22  mem=13M827
0.63	   
0.63	   solver IterativeSystematicSolver being built... 
0.77	       =>  wckTime=0.478  cpuTime=0.34  mem=13M749
0.78	   
0.78	   preprocessing
0.78	     nbConstraintChecks=0  nbPropagations=40  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
0.78	     detectedInconsistency=no
0.78	       =>  wckTime=0.0030  cpuTime=0.01  mem=13M749
0.82	   
0.82	   search
0.82	     run=0  nbConstraintChecks=26142  nbPropagations=464  nbRevisions=2952  nbUselessRevisions=2142  nbAssignments=24
0.82	     nbFailedAssignments=6  nbBacktracks=11  nbVisitedNodes=40  nbRestartNogoods=0  mapSize=9  nbInferences=0
0.82	     nbTooLargeKeys=0
0.82	       =>  wckTime=0.048  cpuTime=0.03  mem=14M724
0.84	   
0.84	   search
0.84	     run=1  nbConstraintChecks=65988  nbPropagations=1601  nbRevisions=10834  nbUselessRevisions=7773  nbAssignments=62
0.84	     nbFailedAssignments=21  nbBacktracks=27  nbVisitedNodes=103  nbRestartNogoods=2  mapSize=22  nbInferences=0
0.84	     nbTooLargeKeys=0
0.84	       =>  wckTime=0.066  cpuTime=0.04  mem=14M724
0.87	   
0.87	   search
0.87	     run=2  nbConstraintChecks=155176  nbPropagations=4120  nbRevisions=29735  nbUselessRevisions=21025
0.87	     nbAssignments=121  nbFailedAssignments=53  nbBacktracks=50  nbVisitedNodes=212  nbRestartNogoods=5  mapSize=44
0.87	     nbInferences=0  nbTooLargeKeys=0
0.87	       =>  wckTime=0.09  cpuTime=0.06  mem=14M724
0.88	   
0.88	   search
0.88	     run=3  nbConstraintChecks=223712  nbPropagations=7896  nbRevisions=58134  nbUselessRevisions=40952
0.88	     nbAssignments=193  nbFailedAssignments=85  nbBacktracks=83  nbVisitedNodes=333  nbRestartNogoods=7  mapSize=70
0.88	     nbInferences=0  nbTooLargeKeys=0
0.88	       =>  wckTime=0.106  cpuTime=0.07  mem=14M724
0.90	   
0.90	   search
0.90	     run=4  nbConstraintChecks=332867  nbPropagations=13640  nbRevisions=101465  nbUselessRevisions=71494
0.90	     nbAssignments=284  nbFailedAssignments=120  nbBacktracks=133  nbVisitedNodes=484  nbRestartNogoods=10  mapSize=109
0.90	     nbInferences=0  nbTooLargeKeys=0
0.90	       =>  wckTime=0.126  cpuTime=0.09  mem=14M724
0.94	   
0.94	   search
0.94	     run=5  nbConstraintChecks=535572  nbPropagations=22708  nbRevisions=171411  nbUselessRevisions=120401
0.94	     nbAssignments=430  nbFailedAssignments=187  nbBacktracks=208  nbVisitedNodes=747  nbRestartNogoods=15  mapSize=176
0.94	     nbInferences=0  nbTooLargeKeys=0
0.94	       =>  wckTime=0.164  cpuTime=0.13  mem=14M724
0.99	   
0.99	   search
0.99	     run=6  nbConstraintChecks=796286  nbPropagations=36373  nbRevisions=277607  nbUselessRevisions=194479
0.99	     nbAssignments=655  nbFailedAssignments=294  nbBacktracks=321  nbVisitedNodes=1149  nbRestartNogoods=18  mapSize=271
0.99	     nbInferences=0  nbTooLargeKeys=0
0.99	       =>  wckTime=0.211  cpuTime=0.17  mem=14M724
1.05	   
1.05	   search
1.05	     run=7  nbConstraintChecks=1155596  nbPropagations=56537  nbRevisions=433394  nbUselessRevisions=303060
1.05	     nbAssignments=982  nbFailedAssignments=441  nbBacktracks=496  nbVisitedNodes=1726  nbRestartNogoods=24  mapSize=421
1.05	     nbInferences=0  nbTooLargeKeys=0
1.05	       =>  wckTime=0.276  cpuTime=0.24  mem=14M724
1.19	   
1.19	   search
1.19	     run=8  nbConstraintChecks=1940009  nbPropagations=89031  nbRevisions=694391  nbUselessRevisions=485059
1.19	     nbAssignments=1596  nbFailedAssignments=791  nbBacktracks=756  nbVisitedNodes=2867  nbRestartNogoods=30
1.19	     mapSize=661  nbInferences=0  nbTooLargeKeys=0
1.19	       =>  wckTime=0.412  cpuTime=0.36  mem=14M724
1.32	   
1.32	   search
1.32	     run=9  nbConstraintChecks=2760671  nbPropagations=135821  nbRevisions=1067663  nbUselessRevisions=744545
1.32	     nbAssignments=2324  nbFailedAssignments=1129  nbBacktracks=1140  nbVisitedNodes=4154  nbRestartNogoods=34
1.32	     mapSize=981  nbInferences=0  nbTooLargeKeys=0
1.32	       =>  wckTime=0.54  cpuTime=0.48  mem=14M724
1.34	   
1.34	   INFO : Stopping hyperNogood (mapSize=1033, nbTooLargekeys=0, mem=14M724)
1.55	   
1.55	   search
1.55	     run=10  nbConstraintChecks=4467066  nbPropagations=209345  nbRevisions=1660044  nbUselessRevisions=1155291
1.55	     nbAssignments=3542  nbFailedAssignments=1767  nbBacktracks=1716  nbVisitedNodes=6414  nbRestartNogoods=38
1.55	       =>  wckTime=0.779  cpuTime=0.71  mem=14M724
1.78	   
1.78	   search
1.78	     run=11  nbConstraintChecks=6075516  nbPropagations=311004  nbRevisions=2470242  nbUselessRevisions=1716841
1.78	     nbAssignments=5033  nbFailedAssignments=2387  nbBacktracks=2583  nbVisitedNodes=8980  nbRestartNogoods=47
1.78	       =>  wckTime=1.0  cpuTime=0.93  mem=14M724
2.22	   
2.22	   search
2.22	     run=12  nbConstraintChecks=9450895  nbPropagations=467110  nbRevisions=3714046  nbUselessRevisions=2576839
2.22	     nbAssignments=7526  nbFailedAssignments=3576  nbBacktracks=3881  nbVisitedNodes=13461  nbRestartNogoods=52
2.22	       =>  wckTime=1.447  cpuTime=1.38  mem=14M724
2.81	   
2.81	   search
2.81	     run=13  nbConstraintChecks=13852608  nbPropagations=696666  nbRevisions=5525994  nbUselessRevisions=3826182
2.81	     nbAssignments=10964  nbFailedAssignments=5062  nbBacktracks=5829  nbVisitedNodes=19489  nbRestartNogoods=60
2.81	       =>  wckTime=2.039  cpuTime=1.97  mem=14M724
3.89	   
3.89	   search
3.89	     run=14  nbConstraintChecks=21998831  nbPropagations=1055221  nbRevisions=8395955  nbUselessRevisions=5806650
3.89	     nbAssignments=17021  nbFailedAssignments=8195  nbBacktracks=8748  nbVisitedNodes=30578  nbRestartNogoods=69
3.89	       =>  wckTime=3.117  cpuTime=3.04  mem=14M724
5.14	   
5.14	   search
5.14	     run=15  nbConstraintChecks=31278948  nbPropagations=1571187  nbRevisions=12490882  nbUselessRevisions=8632570
5.14	     nbAssignments=24860  nbFailedAssignments=11652  nbBacktracks=13127  nbVisitedNodes=44306  nbRestartNogoods=77
5.15	       =>  wckTime=4.37  cpuTime=4.3  mem=14M724
7.47	   
7.47	   search
7.47	     run=16  nbConstraintChecks=49247664  nbPropagations=2368348  nbRevisions=18857172  nbUselessRevisions=13020272
7.47	     nbAssignments=37783  nbFailedAssignments=18002  nbBacktracks=19695  nbVisitedNodes=67728  nbRestartNogoods=80
7.47	       =>  wckTime=6.695  cpuTime=6.62  mem=14M724
10.17	   
10.17	   search
10.17	     run=17  nbConstraintChecks=69122598  nbPropagations=3517236  nbRevisions=27941560  nbUselessRevisions=19293159
10.17	     nbAssignments=55103  nbFailedAssignments=25464  nbBacktracks=29548  nbVisitedNodes=97913  nbRestartNogoods=86
10.17	       =>  wckTime=9.395  cpuTime=9.31  mem=14M724
14.91	   
14.91	   search
14.91	     run=18  nbConstraintChecks=105559367  nbPropagations=5264865  nbRevisions=41863904  nbUselessRevisions=28915792
14.91	     nbAssignments=83683  nbFailedAssignments=39260  nbBacktracks=44326  nbVisitedNodes=149251  nbRestartNogoods=93
14.91	       =>  wckTime=14.139  cpuTime=14.02  mem=14M724
18.36	   
18.36	   search
18.36	     run=19  nbConstraintChecks=130741047  nbPropagations=7443556  nbRevisions=59149981  nbUselessRevisions=40858238
18.36	     nbAssignments=104586  nbFailedAssignments=48441  nbBacktracks=56008  nbVisitedNodes=185861  nbRestartNogoods=99
18.36	       =>  wckTime=17.586  cpuTime=17.47  mem=14M724
18.36	   
18.36	   global
18.36	     nbConstraintChecks=130741047  nbPropagations=7443596  nbRevisions=59149981  nbUselessRevisions=40858238
18.36	     nbRestartNogoods=99  solvingWckTime=17.586  solvingCpuTime=17.47  expiredTime=no  totalExploration=no
18.36	     nbFoundSolutions=1  globalCpuTime=17.86
18.36	       =>  wckTime=18.067  cpuTime=17.81  mem=14M724
18.36	   
18.36	s SATISFIABLE
18.36	v 18 5 22 11 10 11 0 18 3 10 3 24 7 15 18 6 16 1 3 24 18 1 23 18 11 22 9 15 0 13 14 3 11 4 23 5 15 21 22 23 
18.36	d NODES 104586
18.36	d CHECKS 130741047
18.36	   
18.36	   totalWckTime=18.142  totalCpuTime=17.86

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-223396-1168080430 -o ROOT/results/node39/solver-223396-1168080430 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/223396-1168080430/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.24 1.05 1.53 2/68 20852
/proc/meminfo: memFree=1739216/2055920 swapFree=4192812/4192956
[pid=20851] ppid=20849 vsize=1788 CPUtime=0
/proc/20851/stat : 20851 (java) R 20849 20851 20730 0 -1 0 191 0 0 0 0 0 0 0 20 0 1 0 156442974 1830912 159 18446744073709551615 134512640 134570532 4294956640 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/20851/statm: 447 158 123 14 0 92 0

[startup+0.102056 s]
/proc/loadavg: 0.24 1.05 1.53 2/68 20852
/proc/meminfo: memFree=1739216/2055920 swapFree=4192812/4192956
[pid=20851] ppid=20849 vsize=914988 CPUtime=0.09
/proc/20851/stat : 20851 (java) R 20849 20851 20730 0 -1 0 3049 0 1 0 8 1 0 0 17 0 8 0 156442974 936947712 2795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20851/statm: 228747 2795 1446 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.510091 s]
/proc/loadavg: 0.24 1.05 1.53 2/68 20852
/proc/meminfo: memFree=1739216/2055920 swapFree=4192812/4192956
[pid=20851] ppid=20849 vsize=915328 CPUtime=0.48
/proc/20851/stat : 20851 (java) S 20849 20851 20730 0 -1 0 7350 0 1 0 45 3 0 0 16 0 8 0 156442974 937295872 7089 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20851/statm: 228832 7089 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.33016 s]
/proc/loadavg: 0.24 1.05 1.53 2/75 20859
/proc/meminfo: memFree=1715416/2055920 swapFree=4192812/4192956
[pid=20851] ppid=20849 vsize=915452 CPUtime=1.31
/proc/20851/stat : 20851 (java) R 20849 20851 20730 0 -1 0 8644 0 1 0 125 6 0 0 16 0 8 0 156442974 937422848 8382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073784849 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20851/statm: 228863 8382 2513 14 0 215333 0
[pid=20851/tid=20853] ppid=20849 vsize=915452 CPUtime=0.02
/proc/20851/task/20853/stat : 20853 (java) S 20849 20851 20730 0 -1 64 245 0 0 0 2 0 0 0 16 0 8 0 156442978 937422848 8382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20851/tid=20854] ppid=20849 vsize=915452 CPUtime=0
/proc/20851/task/20854/stat : 20854 (java) S 20849 20851 20730 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156442978 937422848 8382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20851/tid=20855] ppid=20849 vsize=915452 CPUtime=0
/proc/20851/task/20855/stat : 20855 (java) S 20849 20851 20730 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156442978 937422848 8382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20851/tid=20856] ppid=20849 vsize=915452 CPUtime=0
/proc/20851/task/20856/stat : 20856 (java) S 20849 20851 20730 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156442981 937422848 8382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20851/tid=20857] ppid=20849 vsize=915452 CPUtime=0.19
/proc/20851/task/20857/stat : 20857 (java) S 20849 20851 20730 0 -1 64 382 0 0 0 18 1 0 0 16 0 8 0 156442981 937422848 8382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20851/tid=20858] ppid=20849 vsize=915452 CPUtime=0
/proc/20851/task/20858/stat : 20858 (java) S 20849 20851 20730 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156442981 937422848 8382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20851/tid=20859] ppid=20849 vsize=915452 CPUtime=0
/proc/20851/task/20859/stat : 20859 (java) S 20849 20851 20730 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156442981 937422848 8382 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) 915452

[startup+2.96732 s]
/proc/loadavg: 0.24 1.05 1.53 2/75 20859
/proc/meminfo: memFree=1715352/2055920 swapFree=4192812/4192956
[pid=20851] ppid=20849 vsize=915452 CPUtime=2.94
/proc/20851/stat : 20851 (java) R 20849 20851 20730 0 -1 0 8649 0 1 0 288 6 0 0 18 0 8 0 156442974 937422848 8386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073853805 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20851/statm: 228863 8386 2513 14 0 215333 0
[pid=20851/tid=20853] ppid=20849 vsize=915452 CPUtime=0.02
/proc/20851/task/20853/stat : 20853 (java) S 20849 20851 20730 0 -1 64 245 0 0 0 2 0 0 0 16 0 8 0 156442978 937422848 8386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20851/tid=20854] ppid=20849 vsize=915452 CPUtime=0
/proc/20851/task/20854/stat : 20854 (java) S 20849 20851 20730 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156442978 937422848 8386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20851/tid=20855] ppid=20849 vsize=915452 CPUtime=0
/proc/20851/task/20855/stat : 20855 (java) S 20849 20851 20730 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156442978 937422848 8386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20851/tid=20856] ppid=20849 vsize=915452 CPUtime=0
/proc/20851/task/20856/stat : 20856 (java) S 20849 20851 20730 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156442981 937422848 8386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20851/tid=20857] ppid=20849 vsize=915452 CPUtime=0.2
/proc/20851/task/20857/stat : 20857 (java) S 20849 20851 20730 0 -1 64 386 0 0 0 19 1 0 0 15 0 8 0 156442981 937422848 8386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20851/tid=20858] ppid=20849 vsize=915452 CPUtime=0
/proc/20851/task/20858/stat : 20858 (java) S 20849 20851 20730 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156442981 937422848 8386 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20851/tid=20859] ppid=20849 vsize=915452 CPUtime=0
/proc/20851/task/20859/stat : 20859 (java) S 20849 20851 20730 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156442981 937422848 8386 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) 915452

[startup+6.26061 s]
/proc/loadavg: 0.30 1.05 1.52 2/75 20862
/proc/meminfo: memFree=1716888/2055920 swapFree=4192812/4192956
[pid=20851] ppid=20849 vsize=915452 CPUtime=6.24
/proc/20851/stat : 20851 (java) R 20849 20851 20730 0 -1 0 8651 0 1 0 618 6 0 0 21 0 8 0 156442974 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073838732 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20851/statm: 228863 8387 2513 14 0 215333 0
[pid=20851/tid=20853] ppid=20849 vsize=915452 CPUtime=0.02
/proc/20851/task/20853/stat : 20853 (java) S 20849 20851 20730 0 -1 64 245 0 0 0 2 0 0 0 16 0 8 0 156442978 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20851/tid=20854] ppid=20849 vsize=915452 CPUtime=0
/proc/20851/task/20854/stat : 20854 (java) S 20849 20851 20730 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156442978 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20851/tid=20855] ppid=20849 vsize=915452 CPUtime=0
/proc/20851/task/20855/stat : 20855 (java) S 20849 20851 20730 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156442978 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20851/tid=20856] ppid=20849 vsize=915452 CPUtime=0
/proc/20851/task/20856/stat : 20856 (java) S 20849 20851 20730 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156442981 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20851/tid=20857] ppid=20849 vsize=915452 CPUtime=0.2
/proc/20851/task/20857/stat : 20857 (java) S 20849 20851 20730 0 -1 64 387 0 0 0 19 1 0 0 16 0 8 0 156442981 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20851/tid=20858] ppid=20849 vsize=915452 CPUtime=0
/proc/20851/task/20858/stat : 20858 (java) S 20849 20851 20730 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156442981 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20851/tid=20859] ppid=20849 vsize=915452 CPUtime=0
/proc/20851/task/20859/stat : 20859 (java) S 20849 20851 20730 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156442981 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 915452

[startup+12.7272 s]
/proc/loadavg: 0.36 1.05 1.52 3/87 20907
/proc/meminfo: memFree=1690824/2055920 swapFree=4192812/4192956
[pid=20851] ppid=20849 vsize=915452 CPUtime=12.68
/proc/20851/stat : 20851 (java) R 20849 20851 20730 0 -1 0 8651 0 1 0 1262 6 0 0 25 0 8 0 156442974 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073799014 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20851/statm: 228863 8387 2513 14 0 215333 0
[pid=20851/tid=20853] ppid=20849 vsize=915452 CPUtime=0.02
/proc/20851/task/20853/stat : 20853 (java) S 20849 20851 20730 0 -1 64 245 0 0 0 2 0 0 0 16 0 8 0 156442978 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20851/tid=20854] ppid=20849 vsize=915452 CPUtime=0
/proc/20851/task/20854/stat : 20854 (java) S 20849 20851 20730 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156442978 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20851/tid=20855] ppid=20849 vsize=915452 CPUtime=0
/proc/20851/task/20855/stat : 20855 (java) S 20849 20851 20730 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156442978 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20851/tid=20856] ppid=20849 vsize=915452 CPUtime=0
/proc/20851/task/20856/stat : 20856 (java) S 20849 20851 20730 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156442981 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20851/tid=20857] ppid=20849 vsize=915452 CPUtime=0.2
/proc/20851/task/20857/stat : 20857 (java) S 20849 20851 20730 0 -1 64 387 0 0 0 19 1 0 0 16 0 8 0 156442981 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20851/tid=20858] ppid=20849 vsize=915452 CPUtime=0
/proc/20851/task/20858/stat : 20858 (java) S 20849 20851 20730 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156442981 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20851/tid=20859] ppid=20849 vsize=915452 CPUtime=0
/proc/20851/task/20859/stat : 20859 (java) S 20849 20851 20730 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156442981 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 915452

Child status: 0
Real time (s): 18.3955
CPU time (s): 18.3172
CPU user time (s): 18.2452
CPU system time (s): 0.071989
CPU usage (%): 99.5742
Max. virtual memory (cumulated for all children) (KiB): 915452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.2452
system time used= 0.071989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8737
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= 1113
involuntary context switches= 354

runsolver used 0.018997 s user time and 0.057991 s system time

The end

Launcher Data (download as text)

Begin job on node39 on Sat Jan  6 10:47:11 UTC 2007


IDJOB= 223396
IDBENCH= 5632
FILE ID= node39/223396-1168080430

PBS_JOBID= 3476099

Free space on /tmp= 66530 MiB

BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.5/rand-2-40-25-180-500-49_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/223396-1168080430/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node39/watcher-223396-1168080430 -o ROOT/results/node39/solver-223396-1168080430 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/223396-1168080430/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  452db4ac7b92085726272d485646a151

RANDOM SEED= 548800665

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:       1739696 kB
Buffers:         26912 kB
Cached:         198440 kB
SwapCached:          0 kB
Active:          69696 kB
Inactive:       175624 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1739696 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            4056 kB
Writeback:           0 kB
Mapped:          30156 kB
Slab:            56684 kB
Committed_AS:  2979100 kB
PageTables:       1620 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= 66531 MiB



End job on node39 on Sat Jan  6 10:47:35 UTC 2007