Trace number 226240

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 6.13407 6.27348

DiagnosticValue
CHECKS50056424
NODES22516

General information on the benchmark

Nametightness/tightness0.65/
rand-2-40-40-135-650-35_ext.xml
MD5SUM3737764344510280daac3184230888b6
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 benchmark1.82672
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables40
Number of constraints135
Maximum constraint arity2
Maximum domain size40
Number of constraints which are defined in extension135
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.35	   
0.36	Abscon 109 (November, 2006)
0.36	   
0.36	   configuration
0.36	     name=esac.xml
0.39	   
0.39	   instance
0.39	     name=/tmp/evaluation/226240-1168274849/unknown.xml
0.42	   
0.42	   domains being loaded...
0.42	   
0.42	   variables being loaded...
0.46	     nbVariables=40  nbDomainTypes=1  minDomainSize=40  maxDomainSize=40
0.46	       =>  wckTime=0.104  cpuTime=0.08  mem=6M951
0.46	   
0.46	   relations being loaded...
0.58	   
0.58	   constraints being loaded...
0.67	     nbConstraints=135  nbRelationTypes=135  nbExtensionStructures=135  nbSharedExtensionStructures=0
0.67	     nbConflictsStructures=135  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=0  maxDegree=11  maxArity=2
0.67	       =>  wckTime=0.31  cpuTime=0.25  mem=15M761
0.71	   
0.71	   solver IterativeSystematicSolver being built... 
0.87	       =>  wckTime=0.516  cpuTime=0.38  mem=14M928
0.93	   
0.93	   preprocessing
0.93	     nbConstraintChecks=88389  nbPropagations=891  nbRevisions=4064  nbUselessRevisions=2713  nbSingletonTests=54
0.93	     nbEffectiveSingletonTests=0  nbESACBranches=9  nbRemovedValues=0  detectedInconsistency=no
0.93	       =>  wckTime=0.05  cpuTime=0.03  mem=14M928
0.96	   
0.96	   search
0.96	     run=0  nbConstraintChecks=63994  nbPropagations=1646  nbRevisions=8521  nbUselessRevisions=5480  nbAssignments=29
0.96	     nbFailedAssignments=15  nbBacktracks=10  nbVisitedNodes=53  nbRestartNogoods=0  mapSize=10  nbInferences=0
0.96	     nbTooLargeKeys=0
0.96	       =>  wckTime=0.077  cpuTime=0.05  mem=14M928
0.97	   
0.97	   search
0.97	     run=1  nbConstraintChecks=143271  nbPropagations=4311  nbRevisions=22995  nbUselessRevisions=14675
0.97	     nbAssignments=67  nbFailedAssignments=31  nbBacktracks=26  nbVisitedNodes=120  nbRestartNogoods=4  mapSize=25
0.97	     nbInferences=0  nbTooLargeKeys=0
0.97	       =>  wckTime=0.096  cpuTime=0.07  mem=14M928
1.00	   
1.00	   search
1.00	     run=2  nbConstraintChecks=254287  nbPropagations=8473  nbRevisions=45981  nbUselessRevisions=29263
1.00	     nbAssignments=128  nbFailedAssignments=67  nbBacktracks=48  nbVisitedNodes=234  nbRestartNogoods=6  mapSize=45
1.00	     nbInferences=0  nbTooLargeKeys=0
1.00	       =>  wckTime=0.12  cpuTime=0.08  mem=14M928
1.02	   
1.02	   search
1.02	     run=3  nbConstraintChecks=429952  nbPropagations=14643  nbRevisions=81178  nbUselessRevisions=51427
1.02	     nbAssignments=212  nbFailedAssignments=112  nbBacktracks=82  nbVisitedNodes=386  nbRestartNogoods=9  mapSize=73
1.02	     nbInferences=0  nbTooLargeKeys=0
1.02	       =>  wckTime=0.144  cpuTime=0.11  mem=14M928
1.06	   
1.06	   search
1.06	     run=4  nbConstraintChecks=679426  nbPropagations=23711  nbRevisions=133318  nbUselessRevisions=83627
1.06	     nbAssignments=325  nbFailedAssignments=172  nbBacktracks=132  nbVisitedNodes=592  nbRestartNogoods=13  mapSize=117
1.06	     nbInferences=0  nbTooLargeKeys=0
1.06	       =>  wckTime=0.178  cpuTime=0.15  mem=14M928
1.10	   
1.10	   search
1.10	     run=5  nbConstraintChecks=1038120  nbPropagations=36822  nbRevisions=209617  nbUselessRevisions=130451
1.10	     nbAssignments=486  nbFailedAssignments=254  nbBacktracks=208  nbVisitedNodes=885  nbRestartNogoods=16  mapSize=181
1.10	     nbInferences=0  nbTooLargeKeys=0
1.10	       =>  wckTime=0.222  cpuTime=0.19  mem=14M928
1.19	   
1.19	   search
1.19	     run=6  nbConstraintChecks=1664933  nbPropagations=57270  nbRevisions=329004  nbUselessRevisions=203200
1.19	     nbAssignments=760  nbFailedAssignments=408  nbBacktracks=324  nbVisitedNodes=1392  nbRestartNogoods=21  mapSize=285
1.19	     nbInferences=0  nbTooLargeKeys=0
1.19	       =>  wckTime=0.308  cpuTime=0.26  mem=14M928
1.29	   
1.29	   search
1.29	     run=7  nbConstraintChecks=2521915  nbPropagations=87796  nbRevisions=508656  nbUselessRevisions=312510
1.29	     nbAssignments=1140  nbFailedAssignments=613  nbBacktracks=495  nbVisitedNodes=2094  nbRestartNogoods=27
1.29	     mapSize=445  nbInferences=0  nbTooLargeKeys=0
1.29	       =>  wckTime=0.414  cpuTime=0.36  mem=14M928
1.46	   
1.46	   search
1.46	     run=8  nbConstraintChecks=3794430  nbPropagations=133680  nbRevisions=779095  nbUselessRevisions=476745
1.46	     nbAssignments=1715  nbFailedAssignments=925  nbBacktracks=751  nbVisitedNodes=3164  nbRestartNogoods=34
1.46	     mapSize=688  nbInferences=0  nbTooLargeKeys=0
1.46	       =>  wckTime=0.578  cpuTime=0.51  mem=14M928
1.65	   
1.65	   search
1.65	     run=9  nbConstraintChecks=5572748  nbPropagations=200267  nbRevisions=1173113  nbUselessRevisions=716110
1.65	     nbAssignments=2499  nbFailedAssignments=1321  nbBacktracks=1137  nbVisitedNodes=4594  nbRestartNogoods=45
1.65	     mapSize=1023  nbInferences=0  nbTooLargeKeys=0
1.65	       =>  wckTime=0.774  cpuTime=0.7  mem=14M928
1.66	   
1.66	   INFO : Stopping hyperNogood (mapSize=1031, nbTooLargekeys=0, mem=14M928)
1.97	   
1.97	   search
1.97	     run=10  nbConstraintChecks=8594205  nbPropagations=302167  nbRevisions=1777473  nbUselessRevisions=1082686
1.97	     nbAssignments=3884  nbFailedAssignments=2126  nbBacktracks=1713  nbVisitedNodes=7201  nbRestartNogoods=52
1.97	       =>  wckTime=1.096  cpuTime=1.02  mem=14M928
2.40	   
2.40	   search
2.40	     run=11  nbConstraintChecks=12623525  nbPropagations=450998  nbRevisions=2661859  nbUselessRevisions=1619067
2.40	     nbAssignments=5710  nbFailedAssignments=3085  nbBacktracks=2578  nbVisitedNodes=10568  nbRestartNogoods=56
2.40	       =>  wckTime=1.518  cpuTime=1.43  mem=14M928
3.05	   
3.05	   search
3.05	     run=12  nbConstraintChecks=18982255  nbPropagations=673358  nbRevisions=3985652  nbUselessRevisions=2420108
3.05	     nbAssignments=8432  nbFailedAssignments=4507  nbBacktracks=3875  nbVisitedNodes=15602  nbRestartNogoods=60
3.05	       =>  wckTime=2.17  cpuTime=2.08  mem=14M928
3.98	   
3.98	   search
3.98	     run=13  nbConstraintChecks=28069185  nbPropagations=1001292  nbRevisions=5943334  nbUselessRevisions=3605686
3.98	     nbAssignments=12520  nbFailedAssignments=6646  nbBacktracks=5821  nbVisitedNodes=23114  nbRestartNogoods=67
3.98	       =>  wckTime=3.102  cpuTime=3.0  mem=15M904
5.43	   
5.43	   search
5.43	     run=14  nbConstraintChecks=42106897  nbPropagations=1495233  nbRevisions=8897614  nbUselessRevisions=5396702
5.43	     nbAssignments=18937  nbFailedAssignments=10127  nbBacktracks=8740  nbVisitedNodes=35030  nbRestartNogoods=85
5.43	       =>  wckTime=4.549  cpuTime=4.44  mem=15M904
6.23	   
6.23	   search
6.23	     run=15  nbConstraintChecks=49968035  nbPropagations=2079273  nbRevisions=12395662  nbUselessRevisions=7518733
6.23	     nbAssignments=22516  nbFailedAssignments=12012  nbBacktracks=10394  nbVisitedNodes=41607  nbRestartNogoods=96
6.23	       =>  wckTime=5.35  cpuTime=5.23  mem=15M904
6.23	   
6.23	   global
6.23	     nbConstraintChecks=50056424  nbPropagations=2080164  nbRevisions=12399726  nbUselessRevisions=7521446
6.23	     nbRestartNogoods=96  solvingWckTime=5.351  solvingCpuTime=5.23  expiredTime=no  totalExploration=no
6.23	     nbFoundSolutions=1  globalCpuTime=5.67
6.23	       =>  wckTime=5.872  cpuTime=5.61  mem=15M904
6.23	   
6.23	s SATISFIABLE
6.23	v 15 18 36 11 14 15 37 2 33 27 26 30 1 16 33 18 14 20 16 18 13 16 25 16 30 6 24 13 37 31 34 37 39 32 37 39 38 32 26 19 
6.23	d NODES 22516
6.23	d CHECKS 50056424
6.23	   
6.23	   totalWckTime=5.954  totalCpuTime=5.67

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-226240-1168274849 -o ROOT/results/node1/solver-226240-1168274849 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/226240-1168274849/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.86 1.97 1.99 2/86 30976
/proc/meminfo: memFree=1313760/2055920 swapFree=4165612/4192956
[pid=30975] ppid=30973 vsize=18540 CPUtime=0
/proc/30975/stat : 30975 (runsolver) R 30973 30975 29767 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 175880674 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 259353275687 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/30975/statm: 4635 279 244 17 0 2626 0

[startup+0.101976 s]
/proc/loadavg: 1.86 1.97 1.99 2/86 30976
/proc/meminfo: memFree=1313760/2055920 swapFree=4165612/4192956
[pid=30975] ppid=30973 vsize=907808 CPUtime=0.06
/proc/30975/stat : 30975 (java) D 30973 30975 29767 0 -1 0 2507 0 1 0 5 1 0 0 17 0 4 0 175880674 929595392 2254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/30975/statm: 226952 2254 1232 14 0 214535 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 907808

[startup+0.510024 s]
/proc/loadavg: 1.86 1.97 1.99 2/86 30976
/proc/meminfo: memFree=1313760/2055920 swapFree=4165612/4192956
[pid=30975] ppid=30973 vsize=915328 CPUtime=0.45
/proc/30975/stat : 30975 (java) R 30973 30975 29767 0 -1 0 6483 0 1 0 41 4 0 0 18 0 8 0 175880674 937295872 6222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073562144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30975/statm: 228832 6222 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 915328

[startup+1.33112 s]
/proc/loadavg: 1.86 1.97 1.99 4/93 30983
/proc/meminfo: memFree=1367208/2055920 swapFree=4165612/4192956
[pid=30975] ppid=30973 vsize=915464 CPUtime=1.25
/proc/30975/stat : 30975 (java) R 30973 30975 29767 0 -1 0 9092 0 1 0 119 6 0 0 19 0 8 0 175880674 937435136 8830 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073758389 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30975/statm: 228866 8830 2524 14 0 215336 0
[pid=30975/tid=30977] ppid=30973 vsize=915464 CPUtime=0.03
/proc/30975/task/30977/stat : 30977 (java) S 30973 30975 29767 0 -1 64 254 0 0 0 3 0 0 0 16 0 8 0 175880678 937435136 8830 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30975/tid=30978] ppid=30973 vsize=915464 CPUtime=0
/proc/30975/task/30978/stat : 30978 (java) S 30973 30975 29767 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175880679 937435136 8830 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30975/tid=30979] ppid=30973 vsize=915464 CPUtime=0
/proc/30975/task/30979/stat : 30979 (java) S 30973 30975 29767 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 175880679 937435136 8830 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30975/tid=30980] ppid=30973 vsize=915464 CPUtime=0
/proc/30975/task/30980/stat : 30980 (java) S 30973 30975 29767 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 175880686 937435136 8830 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30975/tid=30981] ppid=30973 vsize=915464 CPUtime=0.19
/proc/30975/task/30981/stat : 30981 (java) S 30973 30975 29767 0 -1 64 364 0 0 0 18 1 0 0 19 0 8 0 175880686 937435136 8830 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30975/tid=30982] ppid=30973 vsize=915464 CPUtime=0
/proc/30975/task/30982/stat : 30982 (java) S 30973 30975 29767 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 175880686 937435136 8830 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30975/tid=30983] ppid=30973 vsize=915464 CPUtime=0
/proc/30975/task/30983/stat : 30983 (java) S 30973 30975 29767 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 175880686 937435136 8830 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 915464

[startup+2.97531 s]
/proc/loadavg: 1.86 1.97 1.99 4/93 30983
/proc/meminfo: memFree=1357672/2055920 swapFree=4165612/4192956
[pid=30975] ppid=30973 vsize=915464 CPUtime=2.88
/proc/30975/stat : 30975 (java) R 30973 30975 29767 0 -1 0 9108 0 1 0 282 6 0 0 25 0 8 0 175880674 937435136 8845 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073740378 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30975/statm: 228866 8845 2524 14 0 215336 0
[pid=30975/tid=30977] ppid=30973 vsize=915464 CPUtime=0.03
/proc/30975/task/30977/stat : 30977 (java) S 30973 30975 29767 0 -1 64 254 0 0 0 3 0 0 0 17 0 8 0 175880678 937435136 8845 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30975/tid=30978] ppid=30973 vsize=915464 CPUtime=0
/proc/30975/task/30978/stat : 30978 (java) S 30973 30975 29767 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175880679 937435136 8845 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30975/tid=30979] ppid=30973 vsize=915464 CPUtime=0
/proc/30975/task/30979/stat : 30979 (java) S 30973 30975 29767 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 175880679 937435136 8845 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30975/tid=30980] ppid=30973 vsize=915464 CPUtime=0
/proc/30975/task/30980/stat : 30980 (java) S 30973 30975 29767 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 175880686 937435136 8845 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30975/tid=30981] ppid=30973 vsize=915464 CPUtime=0.22
/proc/30975/task/30981/stat : 30981 (java) S 30973 30975 29767 0 -1 64 380 0 0 0 21 1 0 0 16 0 8 0 175880686 937435136 8845 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30975/tid=30982] ppid=30973 vsize=915464 CPUtime=0
/proc/30975/task/30982/stat : 30982 (java) S 30973 30975 29767 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 175880686 937435136 8845 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30975/tid=30983] ppid=30973 vsize=915464 CPUtime=0
/proc/30975/task/30983/stat : 30983 (java) S 30973 30975 29767 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 175880686 937435136 8845 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 915464

[startup+6.18068 s]
/proc/loadavg: 1.87 1.97 1.99 3/93 30983
/proc/meminfo: memFree=1334440/2055920 swapFree=4165612/4192956
[pid=30975] ppid=30973 vsize=915464 CPUtime=6.06
/proc/30975/stat : 30975 (java) R 30973 30975 29767 0 -1 0 9110 0 1 0 600 6 0 0 25 0 8 0 175880674 937435136 8846 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073802064 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30975/statm: 228866 8846 2524 14 0 215336 0
[pid=30975/tid=30977] ppid=30973 vsize=915464 CPUtime=0.03
/proc/30975/task/30977/stat : 30977 (java) S 30973 30975 29767 0 -1 64 254 0 0 0 3 0 0 0 16 0 8 0 175880678 937435136 8846 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30975/tid=30978] ppid=30973 vsize=915464 CPUtime=0
/proc/30975/task/30978/stat : 30978 (java) S 30973 30975 29767 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175880679 937435136 8846 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30975/tid=30979] ppid=30973 vsize=915464 CPUtime=0
/proc/30975/task/30979/stat : 30979 (java) S 30973 30975 29767 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 175880679 937435136 8846 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30975/tid=30980] ppid=30973 vsize=915464 CPUtime=0
/proc/30975/task/30980/stat : 30980 (java) S 30973 30975 29767 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 175880686 937435136 8846 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30975/tid=30981] ppid=30973 vsize=915464 CPUtime=0.22
/proc/30975/task/30981/stat : 30981 (java) S 30973 30975 29767 0 -1 64 380 0 0 0 21 1 0 0 16 0 8 0 175880686 937435136 8846 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30975/tid=30982] ppid=30973 vsize=915464 CPUtime=0
/proc/30975/task/30982/stat : 30982 (java) S 30973 30975 29767 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 175880686 937435136 8846 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30975/tid=30983] ppid=30973 vsize=915464 CPUtime=0
/proc/30975/task/30983/stat : 30983 (java) S 30973 30975 29767 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 175880686 937435136 8846 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.06
Current children cumulated vsize (KiB) 915464

Child status: 0
Real time (s): 6.27348
CPU time (s): 6.13407
CPU user time (s): 6.05908
CPU system time (s): 0.074988
CPU usage (%): 97.7778
Max. virtual memory (cumulated for all children) (KiB): 915464

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.05908
system time used= 0.074988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9117
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= 960
involuntary context switches= 1364

runsolver used 0.010998 s user time and 0.026995 s system time

The end

Launcher Data (download as text)

Begin job on node1 on Mon Jan  8 16:47:29 UTC 2007


IDJOB= 226240
IDBENCH= 5946
FILE ID= node1/226240-1168274849

PBS_JOBID= 3483025

Free space on /tmp= 66310 MiB

BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.65/rand-2-40-40-135-650-35_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/226240-1168274849/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node1/watcher-226240-1168274849 -o ROOT/results/node1/solver-226240-1168274849 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/226240-1168274849/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  3737764344510280daac3184230888b6

RANDOM SEED= 160523910

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:       1314240 kB
Buffers:         59372 kB
Cached:         499980 kB
SwapCached:       3620 kB
Active:         345616 kB
Inactive:       337404 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1314240 kB
SwapTotal:     4192956 kB
SwapFree:      4165612 kB
Dirty:            2392 kB
Writeback:           0 kB
Mapped:         134300 kB
Slab:            43256 kB
Committed_AS:  5474520 kB
PageTables:       2536 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= 66310 MiB



End job on node1 on Mon Jan  8 16:47:35 UTC 2007