Trace number 207009

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Abscon 109 ACSAT 31.2672 31.3636

DiagnosticValue
CHECKS53930185
NODES23808

General information on the benchmark

NametravellingSalesman/travellingSalesman-20/
tsp-20-75_ext.xml
MD5SUM9ff095dafb0e8171c6629ca2683c9aa0
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark25.9381
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables61
Number of constraints230
Maximum constraint arity3
Maximum domain size1001
Number of constraints which are defined in extension230
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.30	   
0.30	Abscon 109 (November, 2006)
0.30	   
0.30	   configuration
0.30	     name=mac.xml
0.33	   
0.33	   instance
0.33	     name=/tmp/evaluation/207009-1168074202/unknown.xml
0.36	   
0.36	   domains being loaded...
0.36	   
0.36	   variables being loaded...
0.40	     nbVariables=61  nbDomainTypes=5  minDomainSize=1  maxDomainSize=1001
0.40	       =>  wckTime=0.104  cpuTime=0.1  mem=7M931
0.40	   
0.40	   relations being loaded...
0.45	   
0.45	   constraints being loaded...
0.59	     nbConstraints=230  nbRelationTypes=23  nbSingletonDomainVariables=2  nbExtensionStructures=24
0.59	     nbSharedExtensionStructures=206  nbConflictsStructures=24  nbSharedConflictsStructures=206
0.59	     nbSharedBinaryRepresentations=20292  maxDegree=20  maxArity=3
0.59	       =>  wckTime=0.29  cpuTime=0.24  mem=15M517
0.63	   
0.63	   solver IterativeSystematicSolver being built... 
0.80	       =>  wckTime=0.496  cpuTime=0.36  mem=18M325
0.86	   
0.86	   preprocessing
0.86	     nbConstraintChecks=49499  nbValidityChecks=33051  nbPropagations=99  nbRevisions=159  nbUselessRevisions=45
0.86	     nbRemovedValues=21275  detectedInconsistency=no
0.86	       =>  wckTime=0.059  cpuTime=0.03  mem=18M325
0.96	   
0.96	   search
0.96	     run=0  nbConstraintChecks=112159  nbValidityChecks=118465  nbPropagations=2534  nbRevisions=5675
0.96	     nbUselessRevisions=2357  nbAssignments=33  nbFailedAssignments=18  nbBacktracks=11  nbVisitedNodes=60
0.96	     nbRestartNogoods=0  mapSize=11  nbInferences=0  nbTooLargeKeys=0
0.96	       =>  wckTime=0.158  cpuTime=0.11  mem=18M325
1.03	   
1.03	   search
1.03	     run=1  nbConstraintChecks=218565  nbValidityChecks=228571  nbPropagations=7905  nbRevisions=18518
1.03	     nbUselessRevisions=8084  nbAssignments=74  nbFailedAssignments=39  nbBacktracks=27  nbVisitedNodes=135
1.03	     nbRestartNogoods=8  mapSize=27  nbInferences=0  nbTooLargeKeys=0
1.03	       =>  wckTime=0.23  cpuTime=0.18  mem=18M325
1.18	   
1.18	   search
1.18	     run=2  nbConstraintChecks=483157  nbValidityChecks=504904  nbPropagations=18211  nbRevisions=42632
1.18	     nbUselessRevisions=18587  nbAssignments=140  nbFailedAssignments=75  nbBacktracks=50  nbVisitedNodes=256
1.18	     nbRestartNogoods=12  mapSize=48  nbInferences=0  nbTooLargeKeys=0
1.18	       =>  wckTime=0.384  cpuTime=0.33  mem=18M325
1.30	   
1.30	   search
1.30	     run=3  nbConstraintChecks=700751  nbValidityChecks=731975  nbPropagations=33179  nbRevisions=78270
1.31	     nbUselessRevisions=34609  nbAssignments=215  nbFailedAssignments=105  nbBacktracks=84  nbVisitedNodes=381
1.31	     nbRestartNogoods=24  mapSize=77  nbInferences=0  nbTooLargeKeys=0
1.31	       =>  wckTime=0.505  cpuTime=0.45  mem=19M300
1.45	   
1.45	   search
1.45	     run=4  nbConstraintChecks=960851  nbValidityChecks=1008052  nbPropagations=54890  nbRevisions=129958
1.45	     nbUselessRevisions=58135  nbAssignments=320  nbFailedAssignments=150  nbBacktracks=135  nbVisitedNodes=559
1.45	     nbRestartNogoods=36  mapSize=114  nbInferences=0  nbTooLargeKeys=0
1.45	       =>  wckTime=0.653  cpuTime=0.59  mem=19M300
1.74	   
1.74	   search
1.74	     run=5  nbConstraintChecks=1492153  nbValidityChecks=1536542  nbPropagations=87588  nbRevisions=208588
1.74	     nbUselessRevisions=93550  nbAssignments=498  nbFailedAssignments=240  nbBacktracks=216  nbVisitedNodes=866
1.74	     nbRestartNogoods=41  mapSize=167  nbInferences=0  nbTooLargeKeys=0
1.74	       =>  wckTime=0.94  cpuTime=0.88  mem=19M300
1.94	   
1.94	   search
1.94	     run=6  nbConstraintChecks=1825314  nbValidityChecks=1890328  nbPropagations=129431  nbRevisions=310193
1.94	     nbUselessRevisions=139905  nbAssignments=688  nbFailedAssignments=309  nbBacktracks=330  nbVisitedNodes=1177
1.94	     nbRestartNogoods=63  mapSize=237  nbInferences=0  nbTooLargeKeys=0
1.94	       =>  wckTime=1.139  cpuTime=1.07  mem=19M300
2.40	   
2.40	   search
2.40	     run=7  nbConstraintChecks=2629512  nbValidityChecks=2746413  nbPropagations=190710  nbRevisions=458632
2.40	     nbUselessRevisions=207910  nbAssignments=986  nbFailedAssignments=424  nbBacktracks=502  nbVisitedNodes=1679
2.40	     nbRestartNogoods=74  mapSize=349  nbInferences=0  nbTooLargeKeys=0
2.40	       =>  wckTime=1.605  cpuTime=1.53  mem=20M275
2.96	   
2.96	   search
2.96	     run=8  nbConstraintChecks=3522851  nbValidityChecks=3705860  nbPropagations=275680  nbRevisions=664272
2.96	     nbUselessRevisions=302475  nbAssignments=1425  nbFailedAssignments=595  nbBacktracks=759  nbVisitedNodes=2406
2.96	     nbRestartNogoods=85  mapSize=501  nbInferences=0  nbTooLargeKeys=0
2.96	       =>  wckTime=2.163  cpuTime=2.09  mem=21M251
3.85	   
3.85	   search
3.85	     run=9  nbConstraintChecks=5007829  nbValidityChecks=5349167  nbPropagations=397083  nbRevisions=951372
3.85	     nbUselessRevisions=431512  nbAssignments=2051  nbFailedAssignments=822  nbBacktracks=1143  nbVisitedNodes=3442
3.85	     nbRestartNogoods=104  mapSize=707  nbInferences=0  nbTooLargeKeys=0
3.85	       =>  wckTime=3.051  cpuTime=2.96  mem=22M226
4.98	   
4.98	   INFO : Stopping hyperNogood (mapSize=1010, nbTooLargekeys=0, mem=24M176)
5.13	   
5.13	   search
5.13	     run=10  nbConstraintChecks=7217999  nbValidityChecks=7815480  nbPropagations=572746  nbRevisions=1362352
5.13	     nbUselessRevisions=615360  nbAssignments=2992  nbFailedAssignments=1179  nbBacktracks=1720  nbVisitedNodes=5003
5.13	     nbRestartNogoods=122
5.13	       =>  wckTime=4.331  cpuTime=4.21  mem=24M176
6.76	   
6.76	   search
6.76	     run=11  nbConstraintChecks=10149555  nbValidityChecks=11084868  nbPropagations=822662  nbRevisions=1951063
6.76	     nbUselessRevisions=880969  nbAssignments=4346  nbFailedAssignments=1655  nbBacktracks=2585  nbVisitedNodes=7281
6.76	     nbRestartNogoods=139
6.76	       =>  wckTime=5.955  cpuTime=5.83  mem=24M176
9.35	   
9.35	   search
9.35	     run=12  nbConstraintChecks=14851128  nbValidityChecks=16439133  nbPropagations=1191107  nbRevisions=2803554
9.35	     nbUselessRevisions=1259888  nbAssignments=6398  nbFailedAssignments=2392  nbBacktracks=3885  nbVisitedNodes=10731
9.35	     nbRestartNogoods=152
9.35	       =>  wckTime=8.545  cpuTime=8.41  mem=24M176
13.99	   
13.99	   search
13.99	     run=13  nbConstraintChecks=23484485  nbValidityChecks=25989949  nbPropagations=1756202  nbRevisions=4114105
13.99	     nbUselessRevisions=1842792  nbAssignments=9615  nbFailedAssignments=3650  nbBacktracks=5831  nbVisitedNodes=16234
13.99	     nbRestartNogoods=174
13.99	       =>  wckTime=13.188  cpuTime=13.03  mem=24M176
19.26	   
19.26	   search
19.26	     run=14  nbConstraintChecks=32653543  nbValidityChecks=35972951  nbPropagations=2552866  nbRevisions=5989984
19.26	     nbUselessRevisions=2687101  nbAssignments=14146  nbFailedAssignments=5249  nbBacktracks=8752  nbVisitedNodes=23927
19.26	     nbRestartNogoods=195
19.26	       =>  wckTime=18.456  cpuTime=18.3  mem=24M176
28.01	   
28.02	   search
28.02	     run=15  nbConstraintChecks=47964239  nbValidityChecks=52480992  nbPropagations=3741166  nbRevisions=8790407
28.02	     nbUselessRevisions=3954688  nbAssignments=21208  nbFailedAssignments=7921  nbBacktracks=13131  nbVisitedNodes=35856
28.02	     nbRestartNogoods=218
28.02	       =>  wckTime=27.215  cpuTime=27.06  mem=24M176
31.33	   
31.33	   search
31.33	     run=16  nbConstraintChecks=53880686  nbValidityChecks=58727941  nbPropagations=5071901  nbRevisions=11934971
31.33	     nbUselessRevisions=5382176  nbAssignments=23808  nbFailedAssignments=8851  nbBacktracks=14740  nbVisitedNodes=40223
31.33	     nbRestartNogoods=228
31.33	       =>  wckTime=30.527  cpuTime=30.37  mem=24M176
31.33	   
31.33	   global
31.33	     nbConstraintChecks=53930185  nbValidityChecks=58760992  nbPropagations=5072000  nbRevisions=11935130
31.33	     nbUselessRevisions=5382221  nbRestartNogoods=228  solvingWckTime=30.528  solvingCpuTime=30.37  expiredTime=no
31.33	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=30.78
31.33	       =>  wckTime=31.03  cpuTime=30.74  mem=24M176
31.33	   
31.33	s SATISFIABLE
31.33	v 4 16 1 17 12 2 19 1 9 11 11 1 14 7 16 4 7 16 18 11 2 3 17 2 6 12 10 4 20 3 15 4 5 15 13 8 8 18 3 24 33 35 36 47 48 55 59 75 86 89 91 103 107 110 114 129 137 155 179 179 0 
31.33	d NODES 23808
31.33	d CHECKS 53930185
31.33	   
31.33	   totalWckTime=31.105  totalCpuTime=30.78

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/node42/watcher-207009-1168074202 -o ROOT/results/node42/solver-207009-1168074202 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/207009-1168074202/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.29 1.11 1.33 2/68 22788
/proc/meminfo: memFree=1360808/2055920 swapFree=4191892/4192956
[pid=22787] ppid=22785 vsize=172 CPUtime=0
/proc/22787/stat : 22787 (java) R 22785 22787 22301 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 155819595 176128 24 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 12407083 0 0 4096 0 0 0 0 17 1 0 0
/proc/22787/statm: 43 24 18 14 0 3 0

[startup+0.103615 s]
/proc/loadavg: 1.29 1.11 1.33 2/68 22788
/proc/meminfo: memFree=1360808/2055920 swapFree=4191892/4192956
[pid=22787] ppid=22785 vsize=914988 CPUtime=0.09
/proc/22787/stat : 22787 (java) R 22785 22787 22301 0 -1 0 3020 0 1 0 7 2 0 0 16 0 8 0 155819595 936947712 2766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22787/statm: 228747 2767 1435 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.514661 s]
/proc/loadavg: 1.29 1.11 1.33 2/68 22788
/proc/meminfo: memFree=1360808/2055920 swapFree=4191892/4192956
[pid=22787] ppid=22785 vsize=915328 CPUtime=0.49
/proc/22787/stat : 22787 (java) R 22785 22787 22301 0 -1 0 7283 0 1 0 45 4 0 0 16 0 8 0 155819595 937295872 7022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22787/statm: 228832 7024 2148 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33475 s]
/proc/loadavg: 1.29 1.11 1.33 2/75 22798
/proc/meminfo: memFree=1335152/2055920 swapFree=4191892/4192956
[pid=22787] ppid=22785 vsize=915444 CPUtime=1.31
/proc/22787/stat : 22787 (java) R 22785 22787 22301 0 -1 0 9584 0 1 0 125 6 0 0 17 0 8 0 155819595 937414656 9321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073761750 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22787/statm: 228861 9321 2517 14 0 215331 0
[pid=22787/tid=22789] ppid=22785 vsize=915444 CPUtime=0.03
/proc/22787/task/22789/stat : 22789 (java) S 22785 22787 22301 0 -1 64 776 0 0 0 3 0 0 0 16 0 8 0 155819599 937414656 9321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22787/tid=22790] ppid=22785 vsize=915444 CPUtime=0
/proc/22787/task/22790/stat : 22790 (java) S 22785 22787 22301 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155819600 937414656 9321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22787/tid=22791] ppid=22785 vsize=915444 CPUtime=0
/proc/22787/task/22791/stat : 22791 (java) S 22785 22787 22301 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155819600 937414656 9321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22787/tid=22792] ppid=22785 vsize=915444 CPUtime=0
/proc/22787/task/22792/stat : 22792 (java) S 22785 22787 22301 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155819603 937414656 9321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22787/tid=22793] ppid=22785 vsize=915444 CPUtime=0.18
/proc/22787/task/22793/stat : 22793 (java) S 22785 22787 22301 0 -1 64 373 0 0 0 18 0 0 0 16 0 8 0 155819603 937414656 9321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22787/tid=22794] ppid=22785 vsize=915444 CPUtime=0
/proc/22787/task/22794/stat : 22794 (java) S 22785 22787 22301 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155819603 937414656 9321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22787/tid=22795] ppid=22785 vsize=915444 CPUtime=0
/proc/22787/task/22795/stat : 22795 (java) S 22785 22787 22301 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155819603 937414656 9321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915444

[startup+2.97092 s]
/proc/loadavg: 1.29 1.11 1.33 2/75 22798
/proc/meminfo: memFree=1334000/2055920 swapFree=4191892/4192956
[pid=22787] ppid=22785 vsize=915444 CPUtime=2.94
/proc/22787/stat : 22787 (java) R 22785 22787 22301 0 -1 0 10134 0 1 0 288 6 0 0 18 0 8 0 155819595 937414656 9869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22787/statm: 228861 9869 2518 14 0 215331 0
[pid=22787/tid=22789] ppid=22785 vsize=915444 CPUtime=0.03
/proc/22787/task/22789/stat : 22789 (java) S 22785 22787 22301 0 -1 64 776 0 0 0 3 0 0 0 17 0 8 0 155819599 937414656 9869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22787/tid=22790] ppid=22785 vsize=915444 CPUtime=0
/proc/22787/task/22790/stat : 22790 (java) S 22785 22787 22301 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155819600 937414656 9869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22787/tid=22791] ppid=22785 vsize=915444 CPUtime=0
/proc/22787/task/22791/stat : 22791 (java) S 22785 22787 22301 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155819600 937414656 9869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22787/tid=22792] ppid=22785 vsize=915444 CPUtime=0
/proc/22787/task/22792/stat : 22792 (java) S 22785 22787 22301 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155819603 937414656 9869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22787/tid=22793] ppid=22785 vsize=915444 CPUtime=0.19
/proc/22787/task/22793/stat : 22793 (java) R 22785 22787 22301 0 -1 64 378 0 0 0 19 0 0 0 15 0 8 0 155819603 937414656 9869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153172177 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22787/tid=22794] ppid=22785 vsize=915444 CPUtime=0
/proc/22787/task/22794/stat : 22794 (java) S 22785 22787 22301 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155819603 937414656 9869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22787/tid=22795] ppid=22785 vsize=915444 CPUtime=0
/proc/22787/task/22795/stat : 22795 (java) S 22785 22787 22301 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155819603 937414656 9869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915444

[startup+6.25629 s]
/proc/loadavg: 1.35 1.13 1.33 3/87 22843
/proc/meminfo: memFree=1297040/2055920 swapFree=4191892/4192956
[pid=22787] ppid=22785 vsize=915444 CPUtime=6.21
/proc/22787/stat : 22787 (java) R 22785 22787 22301 0 -1 0 10847 0 1 0 614 7 0 0 21 0 8 0 155819595 937414656 10579 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073867885 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22787/statm: 228861 10579 2518 14 0 215331 0
[pid=22787/tid=22789] ppid=22785 vsize=915444 CPUtime=0.03
/proc/22787/task/22789/stat : 22789 (java) S 22785 22787 22301 0 -1 64 776 0 0 0 3 0 0 0 17 0 8 0 155819599 937414656 10579 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22787/tid=22790] ppid=22785 vsize=915444 CPUtime=0
/proc/22787/task/22790/stat : 22790 (java) S 22785 22787 22301 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155819600 937414656 10579 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22787/tid=22791] ppid=22785 vsize=915444 CPUtime=0
/proc/22787/task/22791/stat : 22791 (java) S 22785 22787 22301 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155819600 937414656 10579 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22787/tid=22792] ppid=22785 vsize=915444 CPUtime=0
/proc/22787/task/22792/stat : 22792 (java) S 22785 22787 22301 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155819603 937414656 10579 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22787/tid=22793] ppid=22785 vsize=915444 CPUtime=0.23
/proc/22787/task/22793/stat : 22793 (java) S 22785 22787 22301 0 -1 64 396 0 0 0 22 1 0 0 17 0 8 0 155819603 937414656 10579 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22787/tid=22794] ppid=22785 vsize=915444 CPUtime=0
/proc/22787/task/22794/stat : 22794 (java) S 22785 22787 22301 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155819603 937414656 10579 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22787/tid=22795] ppid=22785 vsize=915444 CPUtime=0
/proc/22787/task/22795/stat : 22795 (java) S 22785 22787 22301 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155819603 937414656 10579 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915444

[startup+12.736 s]
/proc/loadavg: 1.40 1.14 1.34 3/87 22843
/proc/meminfo: memFree=1294928/2055920 swapFree=4191892/4192956
[pid=22787] ppid=22785 vsize=915444 CPUtime=12.66
/proc/22787/stat : 22787 (java) R 22785 22787 22301 0 -1 0 10852 0 1 0 1259 7 0 0 25 0 8 0 155819595 937414656 10584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073628926 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22787/statm: 228861 10584 2518 14 0 215331 0
[pid=22787/tid=22789] ppid=22785 vsize=915444 CPUtime=0.03
/proc/22787/task/22789/stat : 22789 (java) S 22785 22787 22301 0 -1 64 776 0 0 0 3 0 0 0 16 0 8 0 155819599 937414656 10584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22787/tid=22790] ppid=22785 vsize=915444 CPUtime=0
/proc/22787/task/22790/stat : 22790 (java) S 22785 22787 22301 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155819600 937414656 10584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22787/tid=22791] ppid=22785 vsize=915444 CPUtime=0
/proc/22787/task/22791/stat : 22791 (java) S 22785 22787 22301 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155819600 937414656 10584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22787/tid=22792] ppid=22785 vsize=915444 CPUtime=0
/proc/22787/task/22792/stat : 22792 (java) S 22785 22787 22301 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155819603 937414656 10584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22787/tid=22793] ppid=22785 vsize=915444 CPUtime=0.23
/proc/22787/task/22793/stat : 22793 (java) S 22785 22787 22301 0 -1 64 396 0 0 0 22 1 0 0 17 0 8 0 155819603 937414656 10584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22787/tid=22794] ppid=22785 vsize=915444 CPUtime=0
/proc/22787/task/22794/stat : 22794 (java) S 22785 22787 22301 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155819603 937414656 10584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22787/tid=22795] ppid=22785 vsize=915444 CPUtime=0
/proc/22787/task/22795/stat : 22795 (java) S 22785 22787 22301 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155819603 937414656 10584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 915444

[startup+25.5834 s]
/proc/loadavg: 1.31 1.13 1.33 2/72 22857
/proc/meminfo: memFree=1335056/2055920 swapFree=4191892/4192956
[pid=22787] ppid=22785 vsize=915444 CPUtime=25.5
/proc/22787/stat : 22787 (java) R 22785 22787 22301 0 -1 0 10859 0 1 0 2543 7 0 0 25 0 8 0 155819595 937414656 10591 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073770075 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22787/statm: 228861 10591 2518 14 0 215331 0
[pid=22787/tid=22789] ppid=22785 vsize=915444 CPUtime=0.03
/proc/22787/task/22789/stat : 22789 (java) S 22785 22787 22301 0 -1 64 776 0 0 0 3 0 0 0 16 0 8 0 155819599 937414656 10591 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22787/tid=22790] ppid=22785 vsize=915444 CPUtime=0
/proc/22787/task/22790/stat : 22790 (java) S 22785 22787 22301 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155819600 937414656 10591 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22787/tid=22791] ppid=22785 vsize=915444 CPUtime=0
/proc/22787/task/22791/stat : 22791 (java) S 22785 22787 22301 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155819600 937414656 10591 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22787/tid=22792] ppid=22785 vsize=915444 CPUtime=0
/proc/22787/task/22792/stat : 22792 (java) S 22785 22787 22301 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155819603 937414656 10591 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22787/tid=22793] ppid=22785 vsize=915444 CPUtime=0.23
/proc/22787/task/22793/stat : 22793 (java) S 22785 22787 22301 0 -1 64 397 0 0 0 22 1 0 0 16 0 8 0 155819603 937414656 10591 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22787/tid=22794] ppid=22785 vsize=915444 CPUtime=0
/proc/22787/task/22794/stat : 22794 (java) S 22785 22787 22301 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155819603 937414656 10591 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22787/tid=22795] ppid=22785 vsize=915444 CPUtime=0
/proc/22787/task/22795/stat : 22795 (java) S 22785 22787 22301 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155819603 937414656 10591 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 915444

Child status: 0
Real time (s): 31.3636
CPU time (s): 31.2672
CPU user time (s): 31.1823
CPU system time (s): 0.084987
CPU usage (%): 99.6929
Max. virtual memory (cumulated for all children) (KiB): 915444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 31.1823
system time used= 0.084987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10953
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= 1563
involuntary context switches= 838

runsolver used 0.031995 s user time and 0.089986 s system time

The end

Launcher Data (download as text)

Begin job on node42 on Sat Jan  6 09:03:24 UTC 2007


IDJOB= 207009
IDBENCH= 4252
FILE ID= node42/207009-1168074202

PBS_JOBID= 3476011

Free space on /tmp= 66541 MiB

BENCH NAME= HOME/pub/bench/CPAI06/travellingSalesman/travellingSalesman-20/tsp-20-75_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/207009-1168074202/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node42/watcher-207009-1168074202 -o ROOT/results/node42/solver-207009-1168074202 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/207009-1168074202/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  9ff095dafb0e8171c6629ca2683c9aa0

RANDOM SEED= 201105063

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.229
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.229
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:       1358456 kB
Buffers:         49548 kB
Cached:         550692 kB
SwapCached:        268 kB
Active:         104400 kB
Inactive:       517944 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1358456 kB
SwapTotal:     4192956 kB
SwapFree:      4191892 kB
Dirty:            3812 kB
Writeback:           0 kB
Mapped:          33760 kB
Slab:            60524 kB
Committed_AS:  2636032 kB
PageTables:       1716 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= 66543 MiB



End job on node42 on Sat Jan  6 09:03:55 UTC 2007