Trace number 228944

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 ESACUNSAT 30.0924 30.3822

DiagnosticValue
CHECKS186700981
NODES178289

General information on the benchmark

Nametightness/tightness0.35/
rand-2-40-16-250-350-7_ext.xml
MD5SUMafbb6944669ab2195aba35cdf51b5bb9
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 benchmark7.54585
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables40
Number of constraints250
Maximum constraint arity2
Maximum domain size16
Number of constraints which are defined in extension250
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.37	   
0.37	Abscon 109 (November, 2006)
0.37	   
0.37	   configuration
0.37	     name=esac.xml
0.41	   
0.41	   instance
0.41	     name=/tmp/evaluation/228944-1168302391/unknown.xml
0.44	   
0.44	   domains being loaded...
0.44	   
0.44	   variables being loaded...
0.47	     nbVariables=40  nbDomainTypes=1  minDomainSize=16  maxDomainSize=16
0.47	       =>  wckTime=0.096  cpuTime=0.07  mem=6M951
0.47	   
0.47	   relations being loaded...
0.55	   
0.55	   constraints being loaded...
0.65	     nbConstraints=250  nbRelationTypes=250  nbExtensionStructures=250  nbSharedExtensionStructures=0
0.65	     nbConflictsStructures=250  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=1404  maxDegree=18
0.65	     maxArity=2
0.65	       =>  wckTime=0.272  cpuTime=0.19  mem=11M827
0.69	   
0.69	   solver IterativeSystematicSolver being built... 
0.85	       =>  wckTime=0.475  cpuTime=0.32  mem=14M826
0.90	   
0.90	   preprocessing
0.90	     nbConstraintChecks=54172  nbPropagations=844  nbRevisions=6008  nbUselessRevisions=4805  nbSingletonTests=51
0.90	     nbEffectiveSingletonTests=0  nbESACBranches=7  nbRemovedValues=0  detectedInconsistency=no
0.90	       =>  wckTime=0.046  cpuTime=0.03  mem=14M826
0.92	   
0.92	   search
0.92	     run=0  nbConstraintChecks=29898  nbPropagations=1420  nbRevisions=11572  nbUselessRevisions=9091  nbAssignments=27
0.92	     nbFailedAssignments=10  nbBacktracks=11  nbVisitedNodes=45  nbRestartNogoods=0  mapSize=11  nbInferences=0
0.92	     nbTooLargeKeys=0
0.92	       =>  wckTime=0.068  cpuTime=0.05  mem=14M826
0.94	   
0.94	   search
0.94	     run=1  nbConstraintChecks=64374  nbPropagations=3456  nbRevisions=29365  nbUselessRevisions=22993  nbAssignments=58
0.94	     nbFailedAssignments=19  nbBacktracks=29  nbVisitedNodes=97  nbRestartNogoods=2  mapSize=27  nbInferences=0
0.94	     nbTooLargeKeys=0
0.94	       =>  wckTime=0.086  cpuTime=0.06  mem=14M826
0.96	   
0.96	   search
0.96	     run=2  nbConstraintChecks=110980  nbPropagations=6308  nbRevisions=55561  nbUselessRevisions=43243
0.96	     nbAssignments=106  nbFailedAssignments=36  nbBacktracks=51  nbVisitedNodes=174  nbRestartNogoods=3  mapSize=45
0.96	     nbInferences=0  nbTooLargeKeys=0
0.96	       =>  wckTime=0.102  cpuTime=0.07  mem=14M826
0.97	   
0.97	   search
0.97	     run=3  nbConstraintChecks=189133  nbPropagations=10519  nbRevisions=94303  nbUselessRevisions=73081
0.97	     nbAssignments=188  nbFailedAssignments=56  nbBacktracks=84  nbVisitedNodes=271  nbRestartNogoods=9  mapSize=71
0.97	     nbInferences=0  nbTooLargeKeys=0
0.97	       =>  wckTime=0.118  cpuTime=0.08  mem=14M826
1.00	   
1.00	   search
1.00	     run=4  nbConstraintChecks=301506  nbPropagations=16634  nbRevisions=153457  nbUselessRevisions=118447
1.00	     nbAssignments=281  nbFailedAssignments=92  nbBacktracks=136  nbVisitedNodes=431  nbRestartNogoods=12  mapSize=117
1.00	     nbInferences=0  nbTooLargeKeys=0
1.00	       =>  wckTime=0.142  cpuTime=0.11  mem=14M826
1.03	   
1.03	   search
1.03	     run=5  nbConstraintChecks=432889  nbPropagations=25080  nbRevisions=236905  nbUselessRevisions=182292
1.03	     nbAssignments=409  nbFailedAssignments=140  nbBacktracks=211  nbVisitedNodes=646  nbRestartNogoods=17  mapSize=177
1.03	     nbInferences=0  nbTooLargeKeys=0
1.03	       =>  wckTime=0.171  cpuTime=0.13  mem=14M826
1.07	   
1.07	   search
1.07	     run=6  nbConstraintChecks=646582  nbPropagations=37154  nbRevisions=359594  nbUselessRevisions=276122
1.07	     nbAssignments=615  nbFailedAssignments=227  nbBacktracks=324  nbVisitedNodes=1001  nbRestartNogoods=19  mapSize=270
1.07	     nbInferences=0  nbTooLargeKeys=0
1.07	       =>  wckTime=0.213  cpuTime=0.17  mem=14M826
1.12	   
1.12	   search
1.12	     run=7  nbConstraintChecks=921423  nbPropagations=54414  nbRevisions=534047  nbUselessRevisions=409497
1.12	     nbAssignments=898  nbFailedAssignments=320  nbBacktracks=494  nbVisitedNodes=1457  nbRestartNogoods=24  mapSize=409
1.12	     nbInferences=0  nbTooLargeKeys=0
1.12	       =>  wckTime=0.266  cpuTime=0.22  mem=14M826
1.21	   
1.21	   search
1.21	     run=8  nbConstraintChecks=1352865  nbPropagations=80003  nbRevisions=797543  nbUselessRevisions=611245
1.21	     nbAssignments=1339  nbFailedAssignments=498  nbBacktracks=751  nbVisitedNodes=2240  nbRestartNogoods=30
1.21	     mapSize=629  nbInferences=0  nbTooLargeKeys=0
1.21	       =>  wckTime=0.355  cpuTime=0.31  mem=14M826
1.36	   
1.36	   search
1.36	     run=9  nbConstraintChecks=2150425  nbPropagations=119171  nbRevisions=1210738  nbUselessRevisions=927265
1.36	     nbAssignments=2042  nbFailedAssignments=810  nbBacktracks=1136  nbVisitedNodes=3495  nbRestartNogoods=35
1.36	     mapSize=975  nbInferences=0  nbTooLargeKeys=0
1.36	       =>  wckTime=0.505  cpuTime=0.44  mem=14M826
1.38	   
1.38	   INFO : Stopping hyperNogood (mapSize=1021, nbTooLargekeys=0, mem=14M826)
1.52	   
1.52	   search
1.52	     run=10  nbConstraintChecks=3074033  nbPropagations=175389  nbRevisions=1805843  nbUselessRevisions=1383107
1.52	     nbAssignments=2970  nbFailedAssignments=1155  nbBacktracks=1714  nbVisitedNodes=5077  nbRestartNogoods=39
1.52	       =>  wckTime=0.668  cpuTime=0.59  mem=14M826
1.75	   
1.75	   search
1.75	     run=11  nbConstraintChecks=4454312  nbPropagations=257627  nbRevisions=2679366  nbUselessRevisions=2053310
1.75	     nbAssignments=4393  nbFailedAssignments=1707  nbBacktracks=2579  nbVisitedNodes=7522  nbRestartNogoods=45
1.75	       =>  wckTime=0.896  cpuTime=0.82  mem=14M826
2.12	   
2.12	   search
2.12	     run=12  nbConstraintChecks=6824975  nbPropagations=381799  nbRevisions=4008792  nbUselessRevisions=3071500
2.12	     nbAssignments=6646  nbFailedAssignments=2656  nbBacktracks=3877  nbVisitedNodes=11462  nbRestartNogoods=52
2.12	       =>  wckTime=1.269  cpuTime=1.18  mem=14M826
2.62	   
2.62	   search
2.62	     run=13  nbConstraintChecks=9933691  nbPropagations=564227  nbRevisions=5961043  nbUselessRevisions=4570684
2.62	     nbAssignments=9823  nbFailedAssignments=3869  nbBacktracks=5823  nbVisitedNodes=16935  nbRestartNogoods=62
2.62	       =>  wckTime=1.766  cpuTime=1.68  mem=14M826
3.34	   
3.34	   search
3.34	     run=14  nbConstraintChecks=14359243  nbPropagations=831677  nbRevisions=8805615  nbUselessRevisions=6755302
3.34	     nbAssignments=14533  nbFailedAssignments=5654  nbBacktracks=8744  nbVisitedNodes=24998  nbRestartNogoods=71
3.34	       =>  wckTime=2.488  cpuTime=2.39  mem=14M826
4.49	   
4.49	   search
4.49	     run=15  nbConstraintChecks=21546696  nbPropagations=1232109  nbRevisions=13076786  nbUselessRevisions=10036343
4.49	     nbAssignments=21777  nbFailedAssignments=8514  nbBacktracks=13122  nbVisitedNodes=37575  nbRestartNogoods=83
4.49	       =>  wckTime=3.639  cpuTime=3.53  mem=14M826
6.22	   
6.22	   search
6.22	     run=16  nbConstraintChecks=32565420  nbPropagations=1833233  nbRevisions=19505355  nbUselessRevisions=14978478
6.22	     nbAssignments=32660  nbFailedAssignments=12821  nbBacktracks=19692  nbVisitedNodes=56520  nbRestartNogoods=99
6.22	       =>  wckTime=5.367  cpuTime=5.25  mem=14M826
8.89	   
8.89	   search
8.89	     run=17  nbConstraintChecks=49410055  nbPropagations=2739540  nbRevisions=29197680  nbUselessRevisions=22420641
8.89	     nbAssignments=49098  nbFailedAssignments=19386  nbBacktracks=29544  nbVisitedNodes=84995  nbRestartNogoods=114
8.89	       =>  wckTime=8.04  cpuTime=7.91  mem=14M826
12.87	   
12.87	   search
12.87	     run=18  nbConstraintChecks=74589992  nbPropagations=4102304  nbRevisions=43789799  nbUselessRevisions=33631207
12.87	     nbAssignments=73385  nbFailedAssignments=28887  nbBacktracks=44325  nbVisitedNodes=127126  nbRestartNogoods=134
12.87	       =>  wckTime=12.017  cpuTime=11.88  mem=14M826
18.95	   
18.95	   search
18.95	     run=19  nbConstraintChecks=112967220  nbPropagations=6160686  nbRevisions=65872899  nbUselessRevisions=50599587
18.95	     nbAssignments=110304  nbFailedAssignments=43623  nbBacktracks=66494  nbVisitedNodes=191351  nbRestartNogoods=146
18.95	       =>  wckTime=18.092  cpuTime=17.91  mem=14M826
28.29	   
28.29	   search
28.29	     run=20  nbConstraintChecks=173530045  nbPropagations=9279848  nbRevisions=99492199  nbUselessRevisions=76431308
28.29	     nbAssignments=166052  nbFailedAssignments=66110  nbBacktracks=99748  nbVisitedNodes=288646  nbRestartNogoods=156
28.29	       =>  wckTime=27.434  cpuTime=27.2  mem=14M826
30.34	   
30.34	   search
30.34	     run=21  nbConstraintChecks=186646809  nbPropagations=12629896  nbRevisions=135627533  nbUselessRevisions=104196726
30.34	     nbAssignments=178289  nbFailedAssignments=71081  nbBacktracks=107015  nbVisitedNodes=309924  nbRestartNogoods=167
30.34	       =>  wckTime=29.485  cpuTime=29.24  mem=15M801
30.34	   
30.34	   global
30.34	     nbConstraintChecks=186700981  nbPropagations=12630740  nbRevisions=135633541  nbUselessRevisions=104201531
30.34	     nbRestartNogoods=167  solvingWckTime=29.486  solvingCpuTime=29.24  expiredTime=no  totalExploration=yes
30.34	     nbFoundSolutions=0  globalCpuTime=29.63
30.34	       =>  wckTime=29.965  cpuTime=29.57  mem=15M801
30.34	   
30.34	s UNSATISFIABLE
30.34	d NODES 178289
30.34	d CHECKS 186700981
30.34	   
30.34	   totalWckTime=30.042  totalCpuTime=29.63

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/node16/watcher-228944-1168302391 -o ROOT/results/node16/solver-228944-1168302391 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/228944-1168302391/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.92 1.73 1.44 4/98 23879
/proc/meminfo: memFree=1261888/2055920 swapFree=4191880/4192956
[pid=23878] ppid=23876 vsize=172 CPUtime=0
/proc/23878/stat : 23878 (java) R 23876 23878 23321 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 178634004 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7205668 0 0 4096 0 0 0 0 17 0 0 0
/proc/23878/statm: 43 24 18 14 0 3 0

[startup+0.106586 s]
/proc/loadavg: 1.92 1.73 1.44 4/98 23879
/proc/meminfo: memFree=1261888/2055920 swapFree=4191880/4192956
[pid=23878] ppid=23876 vsize=907808 CPUtime=0.05
/proc/23878/stat : 23878 (java) D 23876 23878 23321 0 -1 0 2457 0 1 0 4 1 0 0 21 0 4 0 178634004 929595392 2204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23755 18446744073709551615 0 0 17 0 0 0
/proc/23878/statm: 226952 2204 1214 14 0 214535 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 907808

[startup+0.514509 s]
/proc/loadavg: 1.92 1.73 1.44 4/98 23879
/proc/meminfo: memFree=1261888/2055920 swapFree=4191880/4192956
[pid=23878] ppid=23876 vsize=915328 CPUtime=0.41
/proc/23878/stat : 23878 (java) R 23876 23878 23321 0 -1 0 6258 0 1 0 38 3 0 0 22 0 8 0 178634004 937295872 5997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073564078 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23878/statm: 228832 5998 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 915328

[startup+1.33636 s]
/proc/loadavg: 1.92 1.73 1.44 3/105 23886
/proc/meminfo: memFree=1238152/2055920 swapFree=4191880/4192956
[pid=23878] ppid=23876 vsize=915452 CPUtime=1.23
/proc/23878/stat : 23878 (java) R 23876 23878 23321 0 -1 0 8686 0 1 0 117 6 0 0 25 0 8 0 178634004 937422848 8424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23878/statm: 228863 8424 2524 14 0 215333 0
[pid=23878/tid=23880] ppid=23876 vsize=915452 CPUtime=0.03
/proc/23878/task/23880/stat : 23880 (java) S 23876 23878 23321 0 -1 64 242 0 0 0 3 0 0 0 16 0 8 0 178634008 937422848 8424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23878/tid=23881] ppid=23876 vsize=915452 CPUtime=0
/proc/23878/task/23881/stat : 23881 (java) S 23876 23878 23321 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 178634008 937422848 8424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23878/tid=23882] ppid=23876 vsize=915452 CPUtime=0
/proc/23878/task/23882/stat : 23882 (java) S 23876 23878 23321 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178634008 937422848 8424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23878/tid=23883] ppid=23876 vsize=915452 CPUtime=0
/proc/23878/task/23883/stat : 23883 (java) S 23876 23878 23321 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 178634019 937422848 8424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23878/tid=23884] ppid=23876 vsize=915452 CPUtime=0.2
/proc/23878/task/23884/stat : 23884 (java) S 23876 23878 23321 0 -1 64 383 0 0 0 19 1 0 0 15 0 8 0 178634019 937422848 8424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23878/tid=23885] ppid=23876 vsize=915452 CPUtime=0
/proc/23878/task/23885/stat : 23885 (java) S 23876 23878 23321 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 178634019 937422848 8424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23878/tid=23886] ppid=23876 vsize=915452 CPUtime=0
/proc/23878/task/23886/stat : 23886 (java) S 23876 23878 23321 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 178634019 937422848 8424 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 915452

[startup+2.98705 s]
/proc/loadavg: 1.92 1.73 1.44 3/105 23886
/proc/meminfo: memFree=1237896/2055920 swapFree=4191880/4192956
[pid=23878] ppid=23876 vsize=915452 CPUtime=2.88
/proc/23878/stat : 23878 (java) R 23876 23878 23321 0 -1 0 8714 0 1 0 282 6 0 0 25 0 8 0 178634004 937422848 8451 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073480111 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23878/statm: 228863 8451 2524 14 0 215333 0
[pid=23878/tid=23880] ppid=23876 vsize=915452 CPUtime=0.03
/proc/23878/task/23880/stat : 23880 (java) S 23876 23878 23321 0 -1 64 242 0 0 0 3 0 0 0 17 0 8 0 178634008 937422848 8451 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23878/tid=23881] ppid=23876 vsize=915452 CPUtime=0
/proc/23878/task/23881/stat : 23881 (java) S 23876 23878 23321 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 178634008 937422848 8451 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23878/tid=23882] ppid=23876 vsize=915452 CPUtime=0
/proc/23878/task/23882/stat : 23882 (java) S 23876 23878 23321 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178634008 937422848 8451 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23878/tid=23883] ppid=23876 vsize=915452 CPUtime=0
/proc/23878/task/23883/stat : 23883 (java) S 23876 23878 23321 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 178634019 937422848 8451 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23878/tid=23884] ppid=23876 vsize=915452 CPUtime=0.22
/proc/23878/task/23884/stat : 23884 (java) S 23876 23878 23321 0 -1 64 391 0 0 0 21 1 0 0 16 0 8 0 178634019 937422848 8451 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23878/tid=23885] ppid=23876 vsize=915452 CPUtime=0
/proc/23878/task/23885/stat : 23885 (java) S 23876 23878 23321 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 178634019 937422848 8451 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23878/tid=23886] ppid=23876 vsize=915452 CPUtime=0
/proc/23878/task/23886/stat : 23886 (java) S 23876 23878 23321 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 178634019 937422848 8451 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 915452

[startup+6.19047 s]
/proc/loadavg: 1.93 1.74 1.44 3/105 23886
/proc/meminfo: memFree=1237768/2055920 swapFree=4191880/4192956
[pid=23878] ppid=23876 vsize=915452 CPUtime=6.05
/proc/23878/stat : 23878 (java) R 23876 23878 23321 0 -1 0 8719 0 1 0 599 6 0 0 25 0 8 0 178634004 937422848 8455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073808214 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23878/statm: 228863 8455 2524 14 0 215333 0
[pid=23878/tid=23880] ppid=23876 vsize=915452 CPUtime=0.03
/proc/23878/task/23880/stat : 23880 (java) S 23876 23878 23321 0 -1 64 242 0 0 0 3 0 0 0 16 0 8 0 178634008 937422848 8455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23878/tid=23881] ppid=23876 vsize=915452 CPUtime=0
/proc/23878/task/23881/stat : 23881 (java) S 23876 23878 23321 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 178634008 937422848 8455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23878/tid=23882] ppid=23876 vsize=915452 CPUtime=0
/proc/23878/task/23882/stat : 23882 (java) S 23876 23878 23321 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178634008 937422848 8455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23878/tid=23883] ppid=23876 vsize=915452 CPUtime=0
/proc/23878/task/23883/stat : 23883 (java) S 23876 23878 23321 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 178634019 937422848 8455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23878/tid=23884] ppid=23876 vsize=915452 CPUtime=0.22
/proc/23878/task/23884/stat : 23884 (java) S 23876 23878 23321 0 -1 64 391 0 0 0 21 1 0 0 16 0 8 0 178634019 937422848 8455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23878/tid=23885] ppid=23876 vsize=915452 CPUtime=0
/proc/23878/task/23885/stat : 23885 (java) S 23876 23878 23321 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 178634019 937422848 8455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23878/tid=23886] ppid=23876 vsize=915452 CPUtime=0
/proc/23878/task/23886/stat : 23886 (java) S 23876 23878 23321 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 178634019 937422848 8455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.05
Current children cumulated vsize (KiB) 915452

[startup+12.6693 s]
/proc/loadavg: 1.93 1.74 1.44 3/105 23886
/proc/meminfo: memFree=1237768/2055920 swapFree=4191880/4192956
[pid=23878] ppid=23876 vsize=915452 CPUtime=12.5
/proc/23878/stat : 23878 (java) R 23876 23878 23321 0 -1 0 8724 0 1 0 1244 6 0 0 25 0 8 0 178634004 937422848 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073820837 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23878/statm: 228863 8460 2524 14 0 215333 0
[pid=23878/tid=23880] ppid=23876 vsize=915452 CPUtime=0.03
/proc/23878/task/23880/stat : 23880 (java) S 23876 23878 23321 0 -1 64 242 0 0 0 3 0 0 0 16 0 8 0 178634008 937422848 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23878/tid=23881] ppid=23876 vsize=915452 CPUtime=0
/proc/23878/task/23881/stat : 23881 (java) S 23876 23878 23321 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 178634008 937422848 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23878/tid=23882] ppid=23876 vsize=915452 CPUtime=0
/proc/23878/task/23882/stat : 23882 (java) S 23876 23878 23321 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178634008 937422848 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23878/tid=23883] ppid=23876 vsize=915452 CPUtime=0
/proc/23878/task/23883/stat : 23883 (java) S 23876 23878 23321 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 178634019 937422848 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23878/tid=23884] ppid=23876 vsize=915452 CPUtime=0.22
/proc/23878/task/23884/stat : 23884 (java) S 23876 23878 23321 0 -1 64 391 0 0 0 21 1 0 0 16 0 8 0 178634019 937422848 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23878/tid=23885] ppid=23876 vsize=915452 CPUtime=0
/proc/23878/task/23885/stat : 23885 (java) S 23876 23878 23321 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 178634019 937422848 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23878/tid=23886] ppid=23876 vsize=915452 CPUtime=0
/proc/23878/task/23886/stat : 23886 (java) S 23876 23878 23321 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 178634019 937422848 8460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 915452

[startup+25.5289 s]
/proc/loadavg: 1.95 1.75 1.45 3/105 23886
/proc/meminfo: memFree=1237768/2055920 swapFree=4191880/4192956
[pid=23878] ppid=23876 vsize=915452 CPUtime=25.28
/proc/23878/stat : 23878 (java) R 23876 23878 23321 0 -1 0 8729 0 1 0 2522 6 0 0 25 0 8 0 178634004 937422848 8465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073805389 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23878/statm: 228863 8465 2524 14 0 215333 0
[pid=23878/tid=23880] ppid=23876 vsize=915452 CPUtime=0.03
/proc/23878/task/23880/stat : 23880 (java) S 23876 23878 23321 0 -1 64 242 0 0 0 3 0 0 0 16 0 8 0 178634008 937422848 8465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23878/tid=23881] ppid=23876 vsize=915452 CPUtime=0
/proc/23878/task/23881/stat : 23881 (java) S 23876 23878 23321 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 178634008 937422848 8465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23878/tid=23882] ppid=23876 vsize=915452 CPUtime=0
/proc/23878/task/23882/stat : 23882 (java) S 23876 23878 23321 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178634008 937422848 8465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23878/tid=23883] ppid=23876 vsize=915452 CPUtime=0
/proc/23878/task/23883/stat : 23883 (java) S 23876 23878 23321 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 178634019 937422848 8465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23878/tid=23884] ppid=23876 vsize=915452 CPUtime=0.22
/proc/23878/task/23884/stat : 23884 (java) S 23876 23878 23321 0 -1 64 391 0 0 0 21 1 0 0 16 0 8 0 178634019 937422848 8465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23878/tid=23885] ppid=23876 vsize=915452 CPUtime=0
/proc/23878/task/23885/stat : 23885 (java) S 23876 23878 23321 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 178634019 937422848 8465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23878/tid=23886] ppid=23876 vsize=915452 CPUtime=0
/proc/23878/task/23886/stat : 23886 (java) S 23876 23878 23321 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 178634019 937422848 8465 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 915452

Child status: 0
Real time (s): 30.3822
CPU time (s): 30.0924
CPU user time (s): 30.0184
CPU system time (s): 0.073988
CPU usage (%): 99.0463
Max. virtual memory (cumulated for all children) (KiB): 915452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 30.0184
system time used= 0.073988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8824
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= 1769
involuntary context switches= 3338

runsolver used 0.047992 s user time and 0.096985 s system time

The end

Launcher Data (download as text)

Begin job on node16 on Tue Jan  9 00:26:32 UTC 2007


IDJOB= 228944
IDBENCH= 6259
FILE ID= node16/228944-1168302391

PBS_JOBID= 3502221

Free space on /tmp= 66519 MiB

BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.35/rand-2-40-16-250-350-7_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/228944-1168302391/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node16/watcher-228944-1168302391 -o ROOT/results/node16/solver-228944-1168302391 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/228944-1168302391/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  afbb6944669ab2195aba35cdf51b5bb9

RANDOM SEED= 90247906

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.220
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.220
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:       1262368 kB
Buffers:        102776 kB
Cached:         475932 kB
SwapCached:        448 kB
Active:         495204 kB
Inactive:       239220 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1262368 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            1888 kB
Writeback:           0 kB
Mapped:         183896 kB
Slab:            43592 kB
Committed_AS:  5793748 kB
PageTables:       2616 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= 66519 MiB



End job on node16 on Tue Jan  9 00:27:02 UTC 2007