Trace number 221699

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 147.2 147.6

DiagnosticValue
CHECKS788976565
NODES574096

General information on the benchmark

Namerandom/rand-2-24/
rand-24-24-276-139-50021_ext.xml
MD5SUM094103c37843dc2a4de224366d3c3050
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 benchmark2.30365
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables24
Number of constraints276
Maximum constraint arity2
Maximum domain size24
Number of constraints which are defined in extension276
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=esac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/221699-1168261032/unknown.xml
0.38	   
0.38	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.41	     nbVariables=24  nbDomainTypes=1  minDomainSize=24  maxDomainSize=24
0.41	       =>  wckTime=0.098  cpuTime=0.08  mem=6M951
0.41	   
0.41	   relations being loaded...
0.51	   
0.51	   constraints being loaded...
0.63	     nbConstraints=276  nbRelationTypes=276  nbExtensionStructures=276  nbSharedExtensionStructures=0
0.63	     nbConflictsStructures=276  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=866  maxDegree=23
0.63	     maxArity=2
0.63	       =>  wckTime=0.314  cpuTime=0.23  mem=13M794
0.67	   
0.67	   solver IterativeSystematicSolver being built... 
0.84	       =>  wckTime=0.521  cpuTime=0.36  mem=15M98
0.89	   
0.89	   preprocessing
0.89	     nbConstraintChecks=47957  nbPropagations=626  nbRevisions=6241  nbUselessRevisions=5468  nbSingletonTests=33
0.89	     nbEffectiveSingletonTests=0  nbESACBranches=5  nbRemovedValues=0  detectedInconsistency=no
0.89	       =>  wckTime=0.047  cpuTime=0.03  mem=15M98
0.91	   
0.91	   search
0.91	     run=0  nbConstraintChecks=34755  nbPropagations=1035  nbRevisions=13126  nbUselessRevisions=11498  nbAssignments=25
0.91	     nbFailedAssignments=10  nbBacktracks=10  nbVisitedNodes=42  nbRestartNogoods=0  mapSize=10  nbInferences=0
0.91	     nbTooLargeKeys=0
0.91	       =>  wckTime=0.072  cpuTime=0.05  mem=15M98
0.94	   
0.94	   search
0.94	     run=1  nbConstraintChecks=87230  nbPropagations=2650  nbRevisions=36704  nbUselessRevisions=32005  nbAssignments=61
0.94	     nbFailedAssignments=26  nbBacktracks=25  nbVisitedNodes=108  nbRestartNogoods=3  mapSize=25  nbInferences=0
0.94	     nbTooLargeKeys=0
0.94	       =>  wckTime=0.096  cpuTime=0.07  mem=15M98
0.96	   
0.96	   search
0.96	     run=2  nbConstraintChecks=156279  nbPropagations=5083  nbRevisions=75161  nbUselessRevisions=65409
0.96	     nbAssignments=113  nbFailedAssignments=50  nbBacktracks=47  nbVisitedNodes=202  nbRestartNogoods=8  mapSize=47
0.96	     nbInferences=0  nbTooLargeKeys=0
0.96	       =>  wckTime=0.121  cpuTime=0.09  mem=15M98
0.99	   
0.99	   search
0.99	     run=3  nbConstraintChecks=253813  nbPropagations=8624  nbRevisions=134190  nbUselessRevisions=116658
0.99	     nbAssignments=185  nbFailedAssignments=84  nbBacktracks=80  nbVisitedNodes=332  nbRestartNogoods=11  mapSize=80
0.99	     nbInferences=0  nbTooLargeKeys=0
0.99	       =>  wckTime=0.153  cpuTime=0.12  mem=15M98
1.03	   
1.03	   search
1.03	     run=4  nbConstraintChecks=389727  nbPropagations=13799  nbRevisions=224581  nbUselessRevisions=195153
1.03	     nbAssignments=300  nbFailedAssignments=143  nbBacktracks=131  nbVisitedNodes=543  nbRestartNogoods=16  mapSize=131
1.03	     nbInferences=0  nbTooLargeKeys=0
1.03	       =>  wckTime=0.191  cpuTime=0.15  mem=15M98
1.09	   
1.09	   search
1.09	     run=5  nbConstraintChecks=591684  nbPropagations=21272  nbRevisions=359468  nbUselessRevisions=312322
1.09	     nbAssignments=454  nbFailedAssignments=216  nbBacktracks=206  nbVisitedNodes=825  nbRestartNogoods=23  mapSize=204
1.09	     nbInferences=0  nbTooLargeKeys=0
1.09	       =>  wckTime=0.248  cpuTime=0.21  mem=15M98
1.17	   
1.17	   search
1.17	     run=6  nbConstraintChecks=891694  nbPropagations=32190  nbRevisions=562263  nbUselessRevisions=488079
1.17	     nbAssignments=699  nbFailedAssignments=342  nbBacktracks=322  nbVisitedNodes=1284  nbRestartNogoods=26  mapSize=315
1.17	     nbInferences=0  nbTooLargeKeys=0
1.17	       =>  wckTime=0.332  cpuTime=0.28  mem=15M98
1.29	   
1.29	   search
1.29	     run=7  nbConstraintChecks=1332797  nbPropagations=48385  nbRevisions=867327  nbUselessRevisions=752372
1.29	     nbAssignments=1051  nbFailedAssignments=517  nbBacktracks=493  nbVisitedNodes=1942  nbRestartNogoods=28
1.29	     mapSize=485  nbInferences=0  nbTooLargeKeys=0
1.29	       =>  wckTime=0.446  cpuTime=0.4  mem=15M98
1.47	   
1.47	   search
1.47	     run=8  nbConstraintChecks=2005216  nbPropagations=72389  nbRevisions=1321153  nbUselessRevisions=1145495
1.47	     nbAssignments=1582  nbFailedAssignments=773  nbBacktracks=749  nbVisitedNodes=2904  nbRestartNogoods=35
1.47	     mapSize=736  nbInferences=0  nbTooLargeKeys=0
1.47	       =>  wckTime=0.629  cpuTime=0.57  mem=15M98
1.64	   
1.64	   INFO : Stopping hyperNogood (mapSize=1032, nbTooLargekeys=0, mem=15M98)
1.68	   
1.68	   search
1.68	     run=9  nbConstraintChecks=2999967  nbPropagations=107742  nbRevisions=1996980  nbUselessRevisions=1730898
1.68	     nbAssignments=2339  nbFailedAssignments=1141  nbBacktracks=1133  nbVisitedNodes=4310  nbRestartNogoods=48
1.69	       =>  wckTime=0.845  cpuTime=0.78  mem=15M98
1.99	   
1.99	   search
1.99	     run=10  nbConstraintChecks=4459254  nbPropagations=159790  nbRevisions=3000088  nbUselessRevisions=2600173
1.99	     nbAssignments=3449  nbFailedAssignments=1670  nbBacktracks=1709  nbVisitedNodes=6377  nbRestartNogoods=53
1.99	       =>  wckTime=1.148  cpuTime=1.07  mem=15M98
2.44	   
2.44	   search
2.44	     run=11  nbConstraintChecks=6679688  nbPropagations=237338  nbRevisions=4503194  nbUselessRevisions=3902372
2.44	     nbAssignments=5144  nbFailedAssignments=2496  nbBacktracks=2574  nbVisitedNodes=9536  nbRestartNogoods=60
2.44	       =>  wckTime=1.597  cpuTime=1.51  mem=15M98
3.11	   
3.11	   search
3.11	     run=12  nbConstraintChecks=10086066  nbPropagations=353205  nbRevisions=6766064  nbUselessRevisions=5862486
3.11	     nbAssignments=7699  nbFailedAssignments=3751  nbBacktracks=3871  nbVisitedNodes=14289  nbRestartNogoods=66
3.11	       =>  wckTime=2.273  cpuTime=2.18  mem=15M98
4.11	   
4.11	   search
4.11	     run=13  nbConstraintChecks=15262383  nbPropagations=527541  nbRevisions=10194244  nbUselessRevisions=8834062
4.11	     nbAssignments=11520  nbFailedAssignments=5621  nbBacktracks=5817  nbVisitedNodes=21465  nbRestartNogoods=73
4.11	       =>  wckTime=3.272  cpuTime=3.17  mem=15M98
5.64	   
5.64	   search
5.64	     run=14  nbConstraintChecks=23089307  nbPropagations=788942  nbRevisions=15352809  nbUselessRevisions=13302734
5.64	     nbAssignments=17301  nbFailedAssignments=8479  nbBacktracks=8736  nbVisitedNodes=32252  nbRestartNogoods=86
5.64	       =>  wckTime=4.805  cpuTime=4.68  mem=15M98
7.87	   
7.87	   search
7.87	     run=15  nbConstraintChecks=34524162  nbPropagations=1179809  nbRevisions=23094648  nbUselessRevisions=20014863
7.87	     nbAssignments=25897  nbFailedAssignments=12692  nbBacktracks=13114  nbVisitedNodes=48301  nbRestartNogoods=107
7.87	       =>  wckTime=7.032  cpuTime=6.89  mem=15M98
11.35	   
11.35	   search
11.35	     run=16  nbConstraintChecks=52284194  nbPropagations=1768238  nbRevisions=34795247  nbUselessRevisions=30162234
11.35	     nbAssignments=38892  nbFailedAssignments=19114  nbBacktracks=19682  nbVisitedNodes=72587  nbRestartNogoods=125
11.35	       =>  wckTime=10.508  cpuTime=10.33  mem=15M98
16.50	   
16.50	   search
16.50	     run=17  nbConstraintChecks=77974707  nbPropagations=2647451  nbRevisions=52290037  nbUselessRevisions=45339831
16.50	     nbAssignments=58217  nbFailedAssignments=28581  nbBacktracks=29534  nbVisitedNodes=108660  nbRestartNogoods=141
16.50	       =>  wckTime=15.662  cpuTime=15.45  mem=15M98
24.12	   
24.12	   search
24.12	     run=18  nbConstraintChecks=116896839  nbPropagations=3963661  nbRevisions=78567806  nbUselessRevisions=68152137
24.12	     nbAssignments=87195  nbFailedAssignments=42776  nbBacktracks=44313  nbVisitedNodes=162622  nbRestartNogoods=152
24.12	       =>  wckTime=23.283  cpuTime=23.01  mem=15M98
34.92	   
34.92	   search
34.92	     run=19  nbConstraintChecks=175732079  nbPropagations=5938316  nbRevisions=118040490  nbUselessRevisions=102416772
34.92	     nbAssignments=130840  nbFailedAssignments=64247  nbBacktracks=66483  nbVisitedNodes=244129  nbRestartNogoods=169
34.92	       =>  wckTime=34.08  cpuTime=33.8  mem=15M98
51.70	   
51.70	   search
51.70	     run=20  nbConstraintChecks=265613392  nbPropagations=8909338  nbRevisions=177599205  nbUselessRevisions=154122142
51.70	     nbAssignments=196717  nbFailedAssignments=96868  nbBacktracks=99735  nbVisitedNodes=367233  nbRestartNogoods=191
51.70	       =>  wckTime=50.864  cpuTime=50.55  mem=15M98
76.49	   
76.50	   search
76.50	     run=21  nbConstraintChecks=400579034  nbPropagations=13376303  nbRevisions=267353619  nbUselessRevisions=232055884
76.50	     nbAssignments=295323  nbFailedAssignments=145590  nbBacktracks=149615  nbVisitedNodes=551393  nbRestartNogoods=207
76.50	       =>  wckTime=75.656  cpuTime=75.33  mem=15M98
114.37	   
114.37	   search
114.37	     run=22  nbConstraintChecks=608273481  nbPropagations=20115195  nbRevisions=403193791  nbUselessRevisions=350016624
114.37	     nbAssignments=444660  nbFailedAssignments=220103  nbBacktracks=224433  nbVisitedNodes=830736  nbRestartNogoods=217
114.37	       =>  wckTime=113.533  cpuTime=113.17  mem=15M98
147.54	   
147.54	   search
147.54	     run=23  nbConstraintChecks=788928608  nbPropagations=28826494  nbRevisions=579117989  nbUselessRevisions=502783982
147.54	     nbAssignments=574096  nbFailedAssignments=284484  nbBacktracks=289453  nbVisitedNodes=1072674  nbRestartNogoods=237
147.54	       =>  wckTime=146.703  cpuTime=146.3  mem=15M98
147.54	   
147.54	   global
147.54	     nbConstraintChecks=788976565  nbPropagations=28827120  nbRevisions=579124230  nbUselessRevisions=502789450
147.54	     nbRestartNogoods=237  solvingWckTime=146.704  solvingCpuTime=146.3  expiredTime=no  totalExploration=no
147.54	     nbFoundSolutions=1  globalCpuTime=146.73
147.54	       =>  wckTime=147.228  cpuTime=146.67  mem=15M98
147.55	   
147.55	s SATISFIABLE
147.55	v 1 21 10 19 0 10 1 3 9 1 8 0 8 11 22 2 1 18 7 15 18 8 1 15 
147.55	d NODES 574096
147.55	d CHECKS 788976565
147.55	   
147.55	   totalWckTime=147.31  totalCpuTime=146.73

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/node17/watcher-221699-1168261032 -o ROOT/results/node17/solver-221699-1168261032 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/221699-1168261032/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: 2.00 2.00 1.93 2/89 20919
/proc/meminfo: memFree=1611160/2055920 swapFree=4192812/4192956
[pid=20918] ppid=20916 vsize=18540 CPUtime=0
/proc/20918/stat : 20918 (runsolver) R 20916 20918 20397 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 174497967 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 245482712359 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/20918/statm: 4635 279 244 17 0 2626 0

[startup+0.103548 s]
/proc/loadavg: 2.00 2.00 1.93 2/89 20919
/proc/meminfo: memFree=1611160/2055920 swapFree=4192812/4192956
[pid=20918] ppid=20916 vsize=914988 CPUtime=0.08
/proc/20918/stat : 20918 (java) R 20916 20918 20397 0 -1 0 2962 0 1 0 7 1 0 0 17 0 8 0 174497967 936947712 2708 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072920484 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20918/statm: 228747 2708 1417 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.511586 s]
/proc/loadavg: 2.00 2.00 1.93 2/89 20919
/proc/meminfo: memFree=1611160/2055920 swapFree=4192812/4192956
[pid=20918] ppid=20916 vsize=915328 CPUtime=0.49
/proc/20918/stat : 20918 (java) R 20916 20918 20397 0 -1 0 6932 0 1 0 44 5 0 0 18 0 8 0 174497967 937295872 6671 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153705705 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20918/statm: 228832 6671 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33267 s]
/proc/loadavg: 2.00 2.00 1.93 3/96 20926
/proc/meminfo: memFree=1587232/2055920 swapFree=4192812/4192956
[pid=20918] ppid=20916 vsize=915452 CPUtime=1.29
/proc/20918/stat : 20918 (java) R 20916 20918 20397 0 -1 0 8704 0 1 0 122 7 0 0 24 0 8 0 174497967 937422848 8442 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073792362 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20918/statm: 228863 8442 2524 14 0 215333 0
[pid=20918/tid=20920] ppid=20916 vsize=915452 CPUtime=0.03
/proc/20918/task/20920/stat : 20920 (java) S 20916 20918 20397 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 174497972 937422848 8442 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20918/tid=20921] ppid=20916 vsize=915452 CPUtime=0
/proc/20918/task/20921/stat : 20921 (java) S 20916 20918 20397 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174497972 937422848 8442 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20918/tid=20922] ppid=20916 vsize=915452 CPUtime=0
/proc/20918/task/20922/stat : 20922 (java) S 20916 20918 20397 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174497972 937422848 8442 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20918/tid=20923] ppid=20916 vsize=915452 CPUtime=0
/proc/20918/task/20923/stat : 20923 (java) S 20916 20918 20397 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 174497975 937422848 8442 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20918/tid=20924] ppid=20916 vsize=915452 CPUtime=0.19
/proc/20918/task/20924/stat : 20924 (java) S 20916 20918 20397 0 -1 64 376 0 0 0 18 1 0 0 15 0 8 0 174497975 937422848 8442 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20918/tid=20925] ppid=20916 vsize=915452 CPUtime=0
/proc/20918/task/20925/stat : 20925 (java) S 20916 20918 20397 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174497975 937422848 8442 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20918/tid=20926] ppid=20916 vsize=915452 CPUtime=0
/proc/20918/task/20926/stat : 20926 (java) S 20916 20918 20397 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174497975 937422848 8442 18446744073709551615 134512640 134570532 4294956464 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) 915452

[startup+2.96984 s]
/proc/loadavg: 2.00 2.00 1.93 3/96 20926
/proc/meminfo: memFree=1586976/2055920 swapFree=4192812/4192956
[pid=20918] ppid=20916 vsize=915452 CPUtime=2.91
/proc/20918/stat : 20918 (java) R 20916 20918 20397 0 -1 0 8743 0 1 0 284 7 0 0 25 0 8 0 174497967 937422848 8480 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073792171 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20918/statm: 228863 8480 2524 14 0 215333 0
[pid=20918/tid=20920] ppid=20916 vsize=915452 CPUtime=0.03
/proc/20918/task/20920/stat : 20920 (java) S 20916 20918 20397 0 -1 64 304 0 0 0 3 0 0 0 17 0 8 0 174497972 937422848 8480 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20918/tid=20921] ppid=20916 vsize=915452 CPUtime=0
/proc/20918/task/20921/stat : 20921 (java) S 20916 20918 20397 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174497972 937422848 8480 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20918/tid=20922] ppid=20916 vsize=915452 CPUtime=0
/proc/20918/task/20922/stat : 20922 (java) S 20916 20918 20397 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174497972 937422848 8480 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20918/tid=20923] ppid=20916 vsize=915452 CPUtime=0
/proc/20918/task/20923/stat : 20923 (java) S 20916 20918 20397 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 174497975 937422848 8480 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20918/tid=20924] ppid=20916 vsize=915452 CPUtime=0.22
/proc/20918/task/20924/stat : 20924 (java) S 20916 20918 20397 0 -1 64 389 0 0 0 20 2 0 0 15 0 8 0 174497975 937422848 8480 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20918/tid=20925] ppid=20916 vsize=915452 CPUtime=0
/proc/20918/task/20925/stat : 20925 (java) S 20916 20918 20397 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174497975 937422848 8480 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20918/tid=20926] ppid=20916 vsize=915452 CPUtime=0
/proc/20918/task/20926/stat : 20926 (java) S 20916 20918 20397 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174497975 937422848 8480 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 915452

[startup+6.25818 s]
/proc/loadavg: 2.00 2.00 1.93 3/96 20926
/proc/meminfo: memFree=1586912/2055920 swapFree=4192812/4192956
[pid=20918] ppid=20916 vsize=915452 CPUtime=6.17
/proc/20918/stat : 20918 (java) R 20916 20918 20397 0 -1 0 8751 0 1 0 610 7 0 0 25 0 8 0 174497967 937422848 8487 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073802867 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20918/statm: 228863 8487 2524 14 0 215333 0
[pid=20918/tid=20920] ppid=20916 vsize=915452 CPUtime=0.03
/proc/20918/task/20920/stat : 20920 (java) S 20916 20918 20397 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 174497972 937422848 8487 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20918/tid=20921] ppid=20916 vsize=915452 CPUtime=0
/proc/20918/task/20921/stat : 20921 (java) S 20916 20918 20397 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174497972 937422848 8487 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20918/tid=20922] ppid=20916 vsize=915452 CPUtime=0
/proc/20918/task/20922/stat : 20922 (java) S 20916 20918 20397 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174497972 937422848 8487 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20918/tid=20923] ppid=20916 vsize=915452 CPUtime=0
/proc/20918/task/20923/stat : 20923 (java) S 20916 20918 20397 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 174497975 937422848 8487 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20918/tid=20924] ppid=20916 vsize=915452 CPUtime=0.22
/proc/20918/task/20924/stat : 20924 (java) S 20916 20918 20397 0 -1 64 389 0 0 0 20 2 0 0 15 0 8 0 174497975 937422848 8487 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20918/tid=20925] ppid=20916 vsize=915452 CPUtime=0
/proc/20918/task/20925/stat : 20925 (java) S 20916 20918 20397 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174497975 937422848 8487 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20918/tid=20926] ppid=20916 vsize=915452 CPUtime=0
/proc/20918/task/20926/stat : 20926 (java) S 20916 20918 20397 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174497975 937422848 8487 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 915452

[startup+12.7369 s]
/proc/loadavg: 2.00 2.00 1.93 3/96 20926
/proc/meminfo: memFree=1586856/2055920 swapFree=4192812/4192956
[pid=20918] ppid=20916 vsize=915452 CPUtime=12.59
/proc/20918/stat : 20918 (java) R 20916 20918 20397 0 -1 0 8759 0 1 0 1252 7 0 0 25 0 8 0 174497967 937422848 8494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073789419 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20918/statm: 228863 8494 2524 14 0 215333 0
[pid=20918/tid=20920] ppid=20916 vsize=915452 CPUtime=0.03
/proc/20918/task/20920/stat : 20920 (java) S 20916 20918 20397 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 174497972 937422848 8494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20918/tid=20921] ppid=20916 vsize=915452 CPUtime=0
/proc/20918/task/20921/stat : 20921 (java) S 20916 20918 20397 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174497972 937422848 8494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20918/tid=20922] ppid=20916 vsize=915452 CPUtime=0
/proc/20918/task/20922/stat : 20922 (java) S 20916 20918 20397 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174497972 937422848 8494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20918/tid=20923] ppid=20916 vsize=915452 CPUtime=0
/proc/20918/task/20923/stat : 20923 (java) S 20916 20918 20397 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 174497975 937422848 8494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20918/tid=20924] ppid=20916 vsize=915452 CPUtime=0.22
/proc/20918/task/20924/stat : 20924 (java) S 20916 20918 20397 0 -1 64 391 0 0 0 20 2 0 0 16 0 8 0 174497975 937422848 8494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20918/tid=20925] ppid=20916 vsize=915452 CPUtime=0
/proc/20918/task/20925/stat : 20925 (java) S 20916 20918 20397 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174497975 937422848 8494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20918/tid=20926] ppid=20916 vsize=915452 CPUtime=0
/proc/20918/task/20926/stat : 20926 (java) S 20916 20918 20397 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174497975 937422848 8494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 915452

[startup+25.6042 s]
/proc/loadavg: 1.92 1.98 1.92 3/101 21000
/proc/meminfo: memFree=1614272/2055920 swapFree=4192812/4192956
[pid=20918] ppid=20916 vsize=915452 CPUtime=25.37
/proc/20918/stat : 20918 (java) R 20916 20918 20397 0 -1 0 8764 0 1 0 2529 8 0 0 25 0 8 0 174497967 937422848 8499 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918507 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20918/statm: 228863 8499 2524 14 0 215333 0
[pid=20918/tid=20920] ppid=20916 vsize=915452 CPUtime=0.03
/proc/20918/task/20920/stat : 20920 (java) S 20916 20918 20397 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 174497972 937422848 8499 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20918/tid=20921] ppid=20916 vsize=915452 CPUtime=0
/proc/20918/task/20921/stat : 20921 (java) S 20916 20918 20397 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174497972 937422848 8499 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20918/tid=20922] ppid=20916 vsize=915452 CPUtime=0
/proc/20918/task/20922/stat : 20922 (java) S 20916 20918 20397 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174497972 937422848 8499 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20918/tid=20923] ppid=20916 vsize=915452 CPUtime=0
/proc/20918/task/20923/stat : 20923 (java) S 20916 20918 20397 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 174497975 937422848 8499 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20918/tid=20924] ppid=20916 vsize=915452 CPUtime=0.22
/proc/20918/task/20924/stat : 20924 (java) S 20916 20918 20397 0 -1 64 391 0 0 0 20 2 0 0 16 0 8 0 174497975 937422848 8499 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20918/tid=20925] ppid=20916 vsize=915452 CPUtime=0
/proc/20918/task/20925/stat : 20925 (java) S 20916 20918 20397 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174497975 937422848 8499 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20918/tid=20926] ppid=20916 vsize=915452 CPUtime=0
/proc/20918/task/20926/stat : 20926 (java) S 20916 20918 20397 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174497975 937422848 8499 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915452

[startup+51.2159 s]
/proc/loadavg: 1.95 1.98 1.92 3/101 21000
/proc/meminfo: memFree=1614216/2055920 swapFree=4192812/4192956
[pid=20918] ppid=20916 vsize=915452 CPUtime=50.95
/proc/20918/stat : 20918 (java) R 20916 20918 20397 0 -1 0 8767 0 1 0 5086 9 0 0 25 0 8 0 174497967 937422848 8502 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073806395 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20918/statm: 228863 8502 2524 14 0 215333 0
[pid=20918/tid=20920] ppid=20916 vsize=915452 CPUtime=0.03
/proc/20918/task/20920/stat : 20920 (java) S 20916 20918 20397 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 174497972 937422848 8502 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20918/tid=20921] ppid=20916 vsize=915452 CPUtime=0
/proc/20918/task/20921/stat : 20921 (java) S 20916 20918 20397 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174497972 937422848 8502 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20918/tid=20922] ppid=20916 vsize=915452 CPUtime=0
/proc/20918/task/20922/stat : 20922 (java) S 20916 20918 20397 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174497972 937422848 8502 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20918/tid=20923] ppid=20916 vsize=915452 CPUtime=0
/proc/20918/task/20923/stat : 20923 (java) S 20916 20918 20397 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 174497975 937422848 8502 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20918/tid=20924] ppid=20916 vsize=915452 CPUtime=0.22
/proc/20918/task/20924/stat : 20924 (java) S 20916 20918 20397 0 -1 64 391 0 0 0 20 2 0 0 16 0 8 0 174497975 937422848 8502 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20918/tid=20925] ppid=20916 vsize=915452 CPUtime=0
/proc/20918/task/20925/stat : 20925 (java) S 20916 20918 20397 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174497975 937422848 8502 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20918/tid=20926] ppid=20916 vsize=915452 CPUtime=0
/proc/20918/task/20926/stat : 20926 (java) S 20916 20918 20397 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174497975 937422848 8502 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 915452

[startup+102.437 s]
/proc/loadavg: 1.97 1.98 1.92 3/101 21000
/proc/meminfo: memFree=1614280/2055920 swapFree=4192812/4192956
[pid=20918] ppid=20916 vsize=915452 CPUtime=102.12
/proc/20918/stat : 20918 (java) R 20916 20918 20397 0 -1 0 8772 0 1 0 10203 9 0 0 25 0 8 0 174497967 937422848 8507 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918529 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20918/statm: 228863 8507 2524 14 0 215333 0
[pid=20918/tid=20920] ppid=20916 vsize=915452 CPUtime=0.03
/proc/20918/task/20920/stat : 20920 (java) S 20916 20918 20397 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 174497972 937422848 8507 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20918/tid=20921] ppid=20916 vsize=915452 CPUtime=0
/proc/20918/task/20921/stat : 20921 (java) S 20916 20918 20397 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174497972 937422848 8507 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20918/tid=20922] ppid=20916 vsize=915452 CPUtime=0
/proc/20918/task/20922/stat : 20922 (java) S 20916 20918 20397 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174497972 937422848 8507 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20918/tid=20923] ppid=20916 vsize=915452 CPUtime=0
/proc/20918/task/20923/stat : 20923 (java) S 20916 20918 20397 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 174497975 937422848 8507 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20918/tid=20924] ppid=20916 vsize=915452 CPUtime=0.22
/proc/20918/task/20924/stat : 20924 (java) S 20916 20918 20397 0 -1 64 391 0 0 0 20 2 0 0 16 0 8 0 174497975 937422848 8507 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20918/tid=20925] ppid=20916 vsize=915452 CPUtime=0
/proc/20918/task/20925/stat : 20925 (java) S 20916 20918 20397 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174497975 937422848 8507 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20918/tid=20926] ppid=20916 vsize=915452 CPUtime=0
/proc/20918/task/20926/stat : 20926 (java) S 20916 20918 20397 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 174497975 937422848 8507 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.12
Current children cumulated vsize (KiB) 915452

Child status: 0
Real time (s): 147.6
CPU time (s): 147.2
CPU user time (s): 147.099
CPU system time (s): 0.100984
CPU usage (%): 99.7289
Max. virtual memory (cumulated for all children) (KiB): 915452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 147.099
system time used= 0.100984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8867
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= 4099
involuntary context switches= 3551

runsolver used 0.181972 s user time and 0.490925 s system time

The end

Launcher Data (download as text)

Begin job on node17 on Mon Jan  8 12:57:12 UTC 2007


IDJOB= 221699
IDBENCH= 5464
FILE ID= node17/221699-1168261032

PBS_JOBID= 3482432

Free space on /tmp= 66324 MiB

BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-24/rand-24-24-276-139-50021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/221699-1168261032/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node17/watcher-221699-1168261032 -o ROOT/results/node17/solver-221699-1168261032 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/221699-1168261032/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  094103c37843dc2a4de224366d3c3050

RANDOM SEED= 853828867

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:       1611640 kB
Buffers:         64608 kB
Cached:         222216 kB
SwapCached:          0 kB
Active:         236212 kB
Inactive:       143764 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1611640 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1984 kB
Writeback:           0 kB
Mapped:         113400 kB
Slab:            49092 kB
Committed_AS:  5054320 kB
PageTables:       2296 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= 66326 MiB



End job on node17 on Mon Jan  8 12:59:39 UTC 2007