Trace number 203032

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 ACUNSAT 45.4971 45.9397

DiagnosticValue
CHECKS291636592
NODES198540

General information on the benchmark

Namerandom/rand-2-40-19/
rand-2-40-19-443-230-29_ext.xml
MD5SUMd52e5670b32f8342bb66c4f4342e01aa
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark15.6916
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables40
Number of constraints330
Maximum constraint arity2
Maximum domain size19
Number of constraints which are defined in extension330
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=mac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/203032-1168072793/unknown.xml
0.38	   
0.38	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.42	     nbVariables=40  nbDomainTypes=1  minDomainSize=19  maxDomainSize=19
0.42	       =>  wckTime=0.101  cpuTime=0.08  mem=6M951
0.42	   
0.42	   relations being loaded...
0.52	   
0.52	   constraints being loaded...
0.64	     nbConstraints=330  nbRelationTypes=330  nbExtensionStructures=330  nbSharedExtensionStructures=0
0.64	     nbConflictsStructures=330  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=2751  maxDegree=22
0.64	     maxArity=2
0.64	       =>  wckTime=0.322  cpuTime=0.24  mem=12M803
0.68	   
0.68	   solver IterativeSystematicSolver being built... 
0.84	       =>  wckTime=0.52  cpuTime=0.37  mem=13M911
0.85	   
0.85	   preprocessing
0.85	     nbConstraintChecks=0  nbPropagations=40  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
0.85	     detectedInconsistency=no
0.85	       =>  wckTime=0.0050  cpuTime=0.0  mem=13M911
0.90	   
0.90	   search
0.90	     run=0  nbConstraintChecks=42580  nbPropagations=587  nbRevisions=7167  nbUselessRevisions=5760  nbAssignments=26
0.90	     nbFailedAssignments=10  nbBacktracks=11  nbVisitedNodes=44  nbRestartNogoods=0  mapSize=9  nbInferences=0
0.90	     nbTooLargeKeys=0
0.90	       =>  wckTime=0.055  cpuTime=0.03  mem=14M886
0.92	   
0.92	   search
0.92	     run=1  nbConstraintChecks=90072  nbPropagations=1842  nbRevisions=22463  nbUselessRevisions=18100  nbAssignments=62
0.92	     nbFailedAssignments=22  nbBacktracks=27  nbVisitedNodes=100  nbRestartNogoods=2  mapSize=20  nbInferences=0
0.92	     nbTooLargeKeys=0
0.92	       =>  wckTime=0.078  cpuTime=0.05  mem=14M886
0.94	   
0.94	   search
0.94	     run=2  nbConstraintChecks=151623  nbPropagations=3846  nbRevisions=47723  nbUselessRevisions=38234
0.94	     nbAssignments=103  nbFailedAssignments=38  nbBacktracks=49  nbVisitedNodes=170  nbRestartNogoods=7  mapSize=40
0.94	     nbInferences=0  nbTooLargeKeys=0
0.94	       =>  wckTime=0.101  cpuTime=0.06  mem=14M886
0.96	   
0.96	   search
0.96	     run=3  nbConstraintChecks=239068  nbPropagations=7019  nbRevisions=87983  nbUselessRevisions=70345
0.96	     nbAssignments=167  nbFailedAssignments=59  nbBacktracks=84  nbVisitedNodes=273  nbRestartNogoods=9  mapSize=66
0.96	     nbInferences=0  nbTooLargeKeys=0
0.96	       =>  wckTime=0.12  cpuTime=0.08  mem=14M886
0.99	   
0.99	   search
0.99	     run=4  nbConstraintChecks=401374  nbPropagations=12299  nbRevisions=157165  nbUselessRevisions=125562
0.99	     nbAssignments=276  nbFailedAssignments=112  nbBacktracks=136  nbVisitedNodes=468  nbRestartNogoods=12  mapSize=113
0.99	     nbInferences=0  nbTooLargeKeys=0
0.99	       =>  wckTime=0.153  cpuTime=0.11  mem=14M886
1.04	   
1.04	   search
1.04	     run=5  nbConstraintChecks=591561  nbPropagations=20092  nbRevisions=260176  nbUselessRevisions=207690
1.04	     nbAssignments=421  nbFailedAssignments=173  nbBacktracks=213  nbVisitedNodes=713  nbRestartNogoods=14  mapSize=170
1.04	     nbInferences=0  nbTooLargeKeys=0
1.04	       =>  wckTime=0.195  cpuTime=0.15  mem=14M886
1.09	   
1.09	   search
1.09	     run=6  nbConstraintChecks=889474  nbPropagations=31665  nbRevisions=413483  nbUselessRevisions=329401
1.09	     nbAssignments=617  nbFailedAssignments=252  nbBacktracks=326  nbVisitedNodes=1054  nbRestartNogoods=18  mapSize=266
1.09	     nbInferences=0  nbTooLargeKeys=0
1.09	       =>  wckTime=0.251  cpuTime=0.2  mem=14M886
1.18	   
1.18	   search
1.18	     run=7  nbConstraintChecks=1312974  nbPropagations=48929  nbRevisions=644038  nbUselessRevisions=512919
1.18	     nbAssignments=940  nbFailedAssignments=398  nbBacktracks=497  nbVisitedNodes=1620  nbRestartNogoods=22  mapSize=415
1.18	     nbInferences=0  nbTooLargeKeys=0
1.18	       =>  wckTime=0.338  cpuTime=0.28  mem=14M886
1.30	   
1.30	   search
1.30	     run=8  nbConstraintChecks=1897574  nbPropagations=74046  nbRevisions=982326  nbUselessRevisions=782940
1.30	     nbAssignments=1380  nbFailedAssignments=576  nbBacktracks=753  nbVisitedNodes=2384  nbRestartNogoods=27
1.30	     mapSize=633  nbInferences=0  nbTooLargeKeys=0
1.30	       =>  wckTime=0.457  cpuTime=0.39  mem=14M886
1.48	   
1.48	   search
1.48	     run=9  nbConstraintChecks=2877608  nbPropagations=112112  nbRevisions=1496006  nbUselessRevisions=1191610
1.48	     nbAssignments=2061  nbFailedAssignments=865  nbBacktracks=1139  nbVisitedNodes=3578  nbRestartNogoods=34
1.48	     mapSize=966  nbInferences=0  nbTooLargeKeys=0
1.48	       =>  wckTime=0.64  cpuTime=0.56  mem=14M886
1.51	   
1.51	   INFO : Stopping hyperNogood (mapSize=1017, nbTooLargekeys=0, mem=14M886)
1.72	   
1.72	   search
1.72	     run=10  nbConstraintChecks=4287247  nbPropagations=169252  nbRevisions=2270501  nbUselessRevisions=1808592
1.72	     nbAssignments=3124  nbFailedAssignments=1345  nbBacktracks=1715  nbVisitedNodes=5441  nbRestartNogoods=39
1.72	       =>  wckTime=0.881  cpuTime=0.79  mem=14M886
2.06	   
2.06	   search
2.06	     run=11  nbConstraintChecks=6416871  nbPropagations=254172  nbRevisions=3422664  nbUselessRevisions=2725161
2.06	     nbAssignments=4632  nbFailedAssignments=1982  nbBacktracks=2579  nbVisitedNodes=8059  nbRestartNogoods=45
2.06	       =>  wckTime=1.216  cpuTime=1.13  mem=14M886
2.58	   
2.58	   search
2.58	     run=12  nbConstraintChecks=9809740  nbPropagations=382521  nbRevisions=5165248  nbUselessRevisions=4108497
2.58	     nbAssignments=6893  nbFailedAssignments=2941  nbBacktracks=3876  nbVisitedNodes=12033  nbRestartNogoods=50
2.59	       =>  wckTime=1.745  cpuTime=1.64  mem=14M886
3.34	   
3.34	   search
3.34	     run=13  nbConstraintChecks=14714836  nbPropagations=574856  nbRevisions=7781299  nbUselessRevisions=6186790
3.34	     nbAssignments=10302  nbFailedAssignments=4400  nbBacktracks=5822  nbVisitedNodes=18011  nbRestartNogoods=55
3.34	       =>  wckTime=2.499  cpuTime=2.4  mem=14M886
4.46	   
4.46	   search
4.46	     run=14  nbConstraintChecks=21718794  nbPropagations=862887  nbRevisions=11706147  nbUselessRevisions=9311978
4.46	     nbAssignments=15444  nbFailedAssignments=6615  nbBacktracks=8742  nbVisitedNodes=27091  nbRestartNogoods=62
4.46	       =>  wckTime=3.624  cpuTime=3.51  mem=14M886
6.17	   
6.17	   search
6.17	     run=15  nbConstraintChecks=32770538  nbPropagations=1293500  nbRevisions=17568900  nbUselessRevisions=13973353
6.17	     nbAssignments=23049  nbFailedAssignments=9836  nbBacktracks=13121  nbVisitedNodes=40482  nbRestartNogoods=75
6.17	       =>  wckTime=5.333  cpuTime=5.2  mem=14M886
8.57	   
8.57	   search
8.57	     run=16  nbConstraintChecks=47867409  nbPropagations=1928789  nbRevisions=26244803  nbUselessRevisions=20884186
8.57	     nbAssignments=34291  nbFailedAssignments=14503  nbBacktracks=19691  nbVisitedNodes=60067  nbRestartNogoods=89
8.57	       =>  wckTime=7.729  cpuTime=7.57  mem=14M886
12.33	   
12.33	   search
12.33	     run=17  nbConstraintChecks=72619311  nbPropagations=2880412  nbRevisions=39239024  nbUselessRevisions=31220835
12.33	     nbAssignments=51208  nbFailedAssignments=21564  nbBacktracks=29543  nbVisitedNodes=89757  nbRestartNogoods=96
12.33	       =>  wckTime=11.493  cpuTime=11.31  mem=14M886
18.10	   
18.10	   search
18.10	     run=18  nbConstraintChecks=109914532  nbPropagations=4316512  nbRevisions=58921403  nbUselessRevisions=46885932
18.10	     nbAssignments=76806  nbFailedAssignments=32376  nbBacktracks=44321  nbVisitedNodes=134789  nbRestartNogoods=104
18.10	       =>  wckTime=17.256  cpuTime=17.01  mem=14M886
26.45	   
26.45	   search
26.45	     run=19  nbConstraintChecks=163946517  nbPropagations=6450879  nbRevisions=88084550  nbUselessRevisions=70076033
26.45	     nbAssignments=113931  nbFailedAssignments=47327  nbBacktracks=66489  nbVisitedNodes=199268  nbRestartNogoods=113
26.45	       =>  wckTime=25.606  cpuTime=25.28  mem=14M886
39.29	   
39.29	   search
39.29	     run=20  nbConstraintChecks=248180013  nbPropagations=9658266  nbRevisions=131863671  nbUselessRevisions=104851899
39.29	     nbAssignments=170261  nbFailedAssignments=70400  nbBacktracks=99743  nbVisitedNodes=297437  nbRestartNogoods=128
39.29	       =>  wckTime=38.448  cpuTime=38.02  mem=14M886
45.91	   
45.91	   search
45.91	     run=21  nbConstraintChecks=291636592  nbPropagations=13411302  nbRevisions=183065510  nbUselessRevisions=145494465
45.91	     nbAssignments=198540  nbFailedAssignments=82258  nbBacktracks=116165  nbVisitedNodes=346781  nbRestartNogoods=132
45.91	       =>  wckTime=45.07  cpuTime=44.58  mem=14M886
45.91	   
45.91	   global
45.91	     nbConstraintChecks=291636592  nbPropagations=13411342  nbRevisions=183065510  nbUselessRevisions=145494465
45.91	     nbRestartNogoods=132  solvingWckTime=45.071  solvingCpuTime=44.58  expiredTime=no  totalExploration=yes
45.91	     nbFoundSolutions=0  globalCpuTime=45.0
45.91	       =>  wckTime=45.595  cpuTime=44.95  mem=14M886
45.91	   
45.91	s UNSATISFIABLE
45.91	d NODES 198540
45.91	d CHECKS 291636592
45.91	   
45.92	   totalWckTime=45.678  totalCpuTime=45.0

Verifier Data (download as text)

No possible verification on an UNSAT instance

Watcher Data (download as text)

runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node72/watcher-203032-1168072793 -o ROOT/results/node72/solver-203032-1168072793 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/203032-1168072793/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.98 1.83 1.42 5/93 32182
/proc/meminfo: memFree=1288936/2055920 swapFree=4192812/4192956
[pid=32181] ppid=32179 vsize=906644 CPUtime=0.02
/proc/32181/stat : 32181 (java) S 32179 32181 31814 0 -1 0 2069 0 1 0 1 1 0 0 18 0 2 0 155688124 928403456 1818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/32181/statm: 226661 1818 1036 14 0 214244 0
[pid=32181/tid=32183] ppid=32179 vsize=906644 CPUtime=0
/proc/32181/task/32183/stat : 32183 (java) R 32179 32181 31814 0 -1 64 4 0 0 0 0 0 0 0 19 0 2 0 155688127 928403456 1818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0

[startup+0.104048 s]
/proc/loadavg: 1.98 1.83 1.42 5/93 32182
/proc/meminfo: memFree=1288936/2055920 swapFree=4192812/4192956
[pid=32181] ppid=32179 vsize=914988 CPUtime=0.08
/proc/32181/stat : 32181 (java) R 32179 32181 31814 0 -1 0 2980 0 1 0 7 1 0 0 20 0 8 0 155688124 936947712 2726 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154107903 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32181/statm: 228747 2726 1423 14 0 215242 0
[pid=32181/tid=32183] ppid=32179 vsize=914988 CPUtime=0
/proc/32181/task/32183/stat : 32183 (java) S 32179 32181 31814 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 155688127 936947712 2726 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.512083 s]
/proc/loadavg: 1.98 1.83 1.42 5/93 32182
/proc/meminfo: memFree=1288936/2055920 swapFree=4192812/4192956
[pid=32181] ppid=32179 vsize=915328 CPUtime=0.49
/proc/32181/stat : 32181 (java) R 32179 32181 31814 0 -1 0 6770 0 1 0 45 4 0 0 22 0 8 0 155688124 937295872 6509 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073445412 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32181/statm: 228832 6509 2137 14 0 215302 0
[pid=32181/tid=32183] ppid=32179 vsize=915328 CPUtime=0
/proc/32181/task/32183/stat : 32183 (java) S 32179 32181 31814 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 155688127 937295872 6509 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33316 s]
/proc/loadavg: 1.98 1.83 1.42 3/100 32189
/proc/meminfo: memFree=1265520/2055920 swapFree=4192812/4192956
[pid=32181] ppid=32179 vsize=915456 CPUtime=1.3
/proc/32181/stat : 32181 (java) R 32179 32181 31814 0 -1 0 8623 0 1 0 124 6 0 0 25 0 8 0 155688124 937426944 8361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073807432 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32181/statm: 228864 8361 2513 14 0 215334 0
[pid=32181/tid=32183] ppid=32179 vsize=915456 CPUtime=0.03
/proc/32181/task/32183/stat : 32183 (java) S 32179 32181 31814 0 -1 64 286 0 0 0 3 0 0 0 16 0 8 0 155688127 937426944 8361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32181/tid=32184] ppid=32179 vsize=915456 CPUtime=0
/proc/32181/task/32184/stat : 32184 (java) S 32179 32181 31814 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155688128 937426944 8361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32181/tid=32185] ppid=32179 vsize=915456 CPUtime=0
/proc/32181/task/32185/stat : 32185 (java) S 32179 32181 31814 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155688128 937426944 8361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32181/tid=32186] ppid=32179 vsize=915456 CPUtime=0
/proc/32181/task/32186/stat : 32186 (java) S 32179 32181 31814 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155688131 937426944 8361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32181/tid=32187] ppid=32179 vsize=915456 CPUtime=0.21
/proc/32181/task/32187/stat : 32187 (java) S 32179 32181 31814 0 -1 64 377 0 0 0 20 1 0 0 15 0 8 0 155688131 937426944 8361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32181/tid=32188] ppid=32179 vsize=915456 CPUtime=0
/proc/32181/task/32188/stat : 32188 (java) S 32179 32181 31814 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155688131 937426944 8361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32181/tid=32189] ppid=32179 vsize=915456 CPUtime=0
/proc/32181/task/32189/stat : 32189 (java) S 32179 32181 31814 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155688131 937426944 8361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915456

[startup+2.9703 s]
/proc/loadavg: 1.98 1.83 1.42 3/100 32189
/proc/meminfo: memFree=1265264/2055920 swapFree=4192812/4192956
[pid=32181] ppid=32179 vsize=915456 CPUtime=2.93
/proc/32181/stat : 32181 (java) R 32179 32181 31814 0 -1 0 8664 0 1 0 286 7 0 0 25 0 8 0 155688124 937426944 8401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073794441 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32181/statm: 228864 8401 2513 14 0 215334 0
[pid=32181/tid=32183] ppid=32179 vsize=915456 CPUtime=0.03
/proc/32181/task/32183/stat : 32183 (java) S 32179 32181 31814 0 -1 64 286 0 0 0 3 0 0 0 17 0 8 0 155688127 937426944 8401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32181/tid=32184] ppid=32179 vsize=915456 CPUtime=0
/proc/32181/task/32184/stat : 32184 (java) S 32179 32181 31814 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155688128 937426944 8401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32181/tid=32185] ppid=32179 vsize=915456 CPUtime=0
/proc/32181/task/32185/stat : 32185 (java) S 32179 32181 31814 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155688128 937426944 8401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32181/tid=32186] ppid=32179 vsize=915456 CPUtime=0
/proc/32181/task/32186/stat : 32186 (java) S 32179 32181 31814 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155688131 937426944 8401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32181/tid=32187] ppid=32179 vsize=915456 CPUtime=0.23
/proc/32181/task/32187/stat : 32187 (java) S 32179 32181 31814 0 -1 64 390 0 0 0 22 1 0 0 16 0 8 0 155688131 937426944 8401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32181/tid=32188] ppid=32179 vsize=915456 CPUtime=0
/proc/32181/task/32188/stat : 32188 (java) S 32179 32181 31814 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155688131 937426944 8401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32181/tid=32189] ppid=32179 vsize=915456 CPUtime=0
/proc/32181/task/32189/stat : 32189 (java) S 32179 32181 31814 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155688131 937426944 8401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915456

[startup+6.17159 s]
/proc/loadavg: 1.98 1.83 1.42 3/100 32189
/proc/meminfo: memFree=1265200/2055920 swapFree=4192812/4192956
[pid=32181] ppid=32179 vsize=915456 CPUtime=6.1
/proc/32181/stat : 32181 (java) R 32179 32181 31814 0 -1 0 8670 0 1 0 603 7 0 0 25 0 8 0 155688124 937426944 8406 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073801920 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32181/statm: 228864 8406 2513 14 0 215334 0
[pid=32181/tid=32183] ppid=32179 vsize=915456 CPUtime=0.03
/proc/32181/task/32183/stat : 32183 (java) S 32179 32181 31814 0 -1 64 286 0 0 0 3 0 0 0 16 0 8 0 155688127 937426944 8406 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32181/tid=32184] ppid=32179 vsize=915456 CPUtime=0
/proc/32181/task/32184/stat : 32184 (java) S 32179 32181 31814 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155688128 937426944 8406 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32181/tid=32185] ppid=32179 vsize=915456 CPUtime=0
/proc/32181/task/32185/stat : 32185 (java) S 32179 32181 31814 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155688128 937426944 8406 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32181/tid=32186] ppid=32179 vsize=915456 CPUtime=0
/proc/32181/task/32186/stat : 32186 (java) S 32179 32181 31814 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155688131 937426944 8406 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32181/tid=32187] ppid=32179 vsize=915456 CPUtime=0.23
/proc/32181/task/32187/stat : 32187 (java) S 32179 32181 31814 0 -1 64 390 0 0 0 22 1 0 0 16 0 8 0 155688131 937426944 8406 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32181/tid=32188] ppid=32179 vsize=915456 CPUtime=0
/proc/32181/task/32188/stat : 32188 (java) S 32179 32181 31814 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155688131 937426944 8406 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32181/tid=32189] ppid=32179 vsize=915456 CPUtime=0
/proc/32181/task/32189/stat : 32189 (java) S 32179 32181 31814 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155688131 937426944 8406 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 915456

[startup+12.6382 s]
/proc/loadavg: 1.98 1.83 1.42 3/100 32189
/proc/meminfo: memFree=1265208/2055920 swapFree=4192812/4192956
[pid=32181] ppid=32179 vsize=915456 CPUtime=12.5
/proc/32181/stat : 32181 (java) R 32179 32181 31814 0 -1 0 8678 0 1 0 1243 7 0 0 25 0 8 0 155688124 937426944 8413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073818041 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32181/statm: 228864 8413 2513 14 0 215334 0
[pid=32181/tid=32183] ppid=32179 vsize=915456 CPUtime=0.03
/proc/32181/task/32183/stat : 32183 (java) S 32179 32181 31814 0 -1 64 286 0 0 0 3 0 0 0 16 0 8 0 155688127 937426944 8413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32181/tid=32184] ppid=32179 vsize=915456 CPUtime=0
/proc/32181/task/32184/stat : 32184 (java) S 32179 32181 31814 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155688128 937426944 8413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32181/tid=32185] ppid=32179 vsize=915456 CPUtime=0
/proc/32181/task/32185/stat : 32185 (java) S 32179 32181 31814 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155688128 937426944 8413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32181/tid=32186] ppid=32179 vsize=915456 CPUtime=0
/proc/32181/task/32186/stat : 32186 (java) S 32179 32181 31814 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155688131 937426944 8413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32181/tid=32187] ppid=32179 vsize=915456 CPUtime=0.23
/proc/32181/task/32187/stat : 32187 (java) S 32179 32181 31814 0 -1 64 390 0 0 0 22 1 0 0 16 0 8 0 155688131 937426944 8413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32181/tid=32188] ppid=32179 vsize=915456 CPUtime=0
/proc/32181/task/32188/stat : 32188 (java) S 32179 32181 31814 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155688131 937426944 8413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32181/tid=32189] ppid=32179 vsize=915456 CPUtime=0
/proc/32181/task/32189/stat : 32189 (java) S 32179 32181 31814 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155688131 937426944 8413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 915456

[startup+25.5023 s]
/proc/loadavg: 1.98 1.84 1.43 3/100 32189
/proc/meminfo: memFree=1265144/2055920 swapFree=4192812/4192956
[pid=32181] ppid=32179 vsize=915456 CPUtime=25.25
/proc/32181/stat : 32181 (java) R 32179 32181 31814 0 -1 0 8681 0 1 0 2518 7 0 0 25 0 8 0 155688124 937426944 8416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073836105 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32181/statm: 228864 8416 2513 14 0 215334 0
[pid=32181/tid=32183] ppid=32179 vsize=915456 CPUtime=0.03
/proc/32181/task/32183/stat : 32183 (java) S 32179 32181 31814 0 -1 64 286 0 0 0 3 0 0 0 16 0 8 0 155688127 937426944 8416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32181/tid=32184] ppid=32179 vsize=915456 CPUtime=0
/proc/32181/task/32184/stat : 32184 (java) S 32179 32181 31814 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155688128 937426944 8416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32181/tid=32185] ppid=32179 vsize=915456 CPUtime=0
/proc/32181/task/32185/stat : 32185 (java) S 32179 32181 31814 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155688128 937426944 8416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32181/tid=32186] ppid=32179 vsize=915456 CPUtime=0
/proc/32181/task/32186/stat : 32186 (java) S 32179 32181 31814 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155688131 937426944 8416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32181/tid=32187] ppid=32179 vsize=915456 CPUtime=0.23
/proc/32181/task/32187/stat : 32187 (java) S 32179 32181 31814 0 -1 64 390 0 0 0 22 1 0 0 16 0 8 0 155688131 937426944 8416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32181/tid=32188] ppid=32179 vsize=915456 CPUtime=0
/proc/32181/task/32188/stat : 32188 (java) S 32179 32181 31814 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155688131 937426944 8416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32181/tid=32189] ppid=32179 vsize=915456 CPUtime=0
/proc/32181/task/32189/stat : 32189 (java) S 32179 32181 31814 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155688131 937426944 8416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 915456

Child status: 0
Real time (s): 45.9397
CPU time (s): 45.4971
CPU user time (s): 45.4141
CPU system time (s): 0.082987
CPU usage (%): 99.0366
Max. virtual memory (cumulated for all children) (KiB): 915456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 45.4141
system time used= 0.082987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8778
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= 2039
involuntary context switches= 3209

runsolver used 0.054991 s user time and 0.162975 s system time

The end

Launcher Data (download as text)

Begin job on node72 on Sat Jan  6 08:39:53 UTC 2007


IDJOB= 203032
IDBENCH= 3904
FILE ID= node72/203032-1168072793

PBS_JOBID= 3475972

Free space on /tmp= 66546 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  d52e5670b32f8342bb66c4f4342e01aa

RANDOM SEED= 219151816

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.223
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.223
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:       1289352 kB
Buffers:         40268 kB
Cached:         433556 kB
SwapCached:          0 kB
Active:         311152 kB
Inactive:       382516 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1289352 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2016 kB
Writeback:           0 kB
Mapped:         248892 kB
Slab:            57116 kB
Committed_AS:  3378840 kB
PageTables:       2652 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= 66546 MiB



End job on node72 on Sat Jan  6 08:40:39 UTC 2007