Trace number 207842

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Abscon 109 ESACSAT 62.0026 62.6305

DiagnosticValue
CHECKS98707542
NODES64607

General information on the benchmark

NametravellingSalesman/travellingSalesman-25/
tsp-25-523_ext.xml
MD5SUM574d05c6319781b81aa96225f5b39ad5
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 benchmark18.2322
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables76
Number of constraints350
Maximum constraint arity3
Maximum domain size1001
Number of constraints which are defined in extension350
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.33	   
0.33	Abscon 109 (November, 2006)
0.33	   
0.33	   configuration
0.33	     name=esac.xml
0.36	   
0.36	   instance
0.36	     name=/tmp/evaluation/207842-1168183519/unknown.xml
0.39	   
0.39	   domains being loaded...
0.40	   
0.40	   variables being loaded...
0.45	     nbVariables=76  nbDomainTypes=5  minDomainSize=1  maxDomainSize=1001
0.45	       =>  wckTime=0.116  cpuTime=0.1  mem=7M931
0.45	   
0.45	   relations being loaded...
0.50	   
0.50	   constraints being loaded...
0.69	     nbConstraints=350  nbRelationTypes=28  nbSingletonDomainVariables=2  nbExtensionStructures=29
0.69	     nbSharedExtensionStructures=321  nbConflictsStructures=29  nbSharedConflictsStructures=321
0.69	     nbSharedBinaryRepresentations=25494  maxDegree=25  maxArity=3
0.69	       =>  wckTime=0.358  cpuTime=0.26  mem=16M464
0.75	   
0.75	   solver IterativeSystematicSolver being built... 
0.95	       =>  wckTime=0.623  cpuTime=0.43  mem=19M180
2.67	   
2.67	   preprocessing
2.67	     nbConstraintChecks=3084729  nbValidityChecks=3044055  nbPropagations=29010  nbRevisions=61949
2.67	     nbUselessRevisions=25014  nbSingletonTests=679  nbEffectiveSingletonTests=65  nbESACBranches=70
2.67	     nbRemovedValues=27113  detectedInconsistency=no
2.67	       =>  wckTime=1.716  cpuTime=1.64  mem=19M180
2.73	   
2.73	   search
2.73	     run=0  nbConstraintChecks=56353  nbValidityChecks=49800  nbPropagations=30238  nbRevisions=65688
2.73	     nbUselessRevisions=27190  nbAssignments=18  nbFailedAssignments=7  nbBacktracks=10  nbVisitedNodes=31
2.73	     nbRestartNogoods=0  mapSize=7  nbInferences=0  nbTooLargeKeys=0
2.73	       =>  wckTime=1.769  cpuTime=1.68  mem=19M180
2.80	   
2.80	   search
2.80	     run=1  nbConstraintChecks=143883  nbValidityChecks=127543  nbPropagations=63108  nbRevisions=139786
2.80	     nbUselessRevisions=59367  nbAssignments=56  nbFailedAssignments=24  nbBacktracks=27  nbVisitedNodes=95
2.80	     nbRestartNogoods=3  mapSize=21  nbInferences=0  nbTooLargeKeys=0
2.80	       =>  wckTime=1.838  cpuTime=1.74  mem=19M180
2.94	   
2.94	   search
2.94	     run=2  nbConstraintChecks=416347  nbValidityChecks=382331  nbPropagations=99643  nbRevisions=224188
2.94	     nbUselessRevisions=97210  nbAssignments=107  nbFailedAssignments=40  nbBacktracks=49  nbVisitedNodes=163
2.94	     nbRestartNogoods=11  mapSize=37  nbInferences=0  nbTooLargeKeys=0
2.95	       =>  wckTime=1.987  cpuTime=1.89  mem=19M180
3.14	   
3.14	   search
3.14	     run=3  nbConstraintChecks=738037  nbValidityChecks=711271  nbPropagations=144609  nbRevisions=329760
3.14	     nbUselessRevisions=145949  nbAssignments=224  nbFailedAssignments=90  nbBacktracks=83  nbVisitedNodes=337
3.14	     nbRestartNogoods=15  mapSize=67  nbInferences=0  nbTooLargeKeys=0
3.14	       =>  wckTime=2.185  cpuTime=2.09  mem=20M155
3.60	   
3.60	   search
3.60	     run=4  nbConstraintChecks=1471451  nbValidityChecks=1572518  nbPropagations=205195  nbRevisions=467837
3.60	     nbUselessRevisions=209762  nbAssignments=478  nbFailedAssignments=135  nbBacktracks=133  nbVisitedNodes=515
3.60	     nbRestartNogoods=35  mapSize=107  nbInferences=0  nbTooLargeKeys=0
3.60	       =>  wckTime=2.637  cpuTime=2.53  mem=20M155
3.85	   
3.85	   search
3.85	     run=5  nbConstraintChecks=1853001  nbValidityChecks=2006386  nbPropagations=277846  nbRevisions=634798
3.85	     nbUselessRevisions=288327  nbAssignments=680  nbFailedAssignments=201  nbBacktracks=209  nbVisitedNodes=771
3.85	     nbRestartNogoods=44  mapSize=163  nbInferences=0  nbTooLargeKeys=0
3.85	       =>  wckTime=2.892  cpuTime=2.78  mem=20M155
4.14	   
4.14	   search
4.14	     run=6  nbConstraintChecks=2281585  nbValidityChecks=2477627  nbPropagations=362839  nbRevisions=832130
4.14	     nbUselessRevisions=382312  nbAssignments=922  nbFailedAssignments=283  nbBacktracks=323  nbVisitedNodes=1100
4.14	     nbRestartNogoods=54  mapSize=233  nbInferences=0  nbTooLargeKeys=0
4.14	       =>  wckTime=3.182  cpuTime=3.07  mem=21M130
4.59	   
4.59	   search
4.59	     run=7  nbConstraintChecks=2951093  nbValidityChecks=3232181  nbPropagations=468468  nbRevisions=1083413
4.59	     nbUselessRevisions=505605  nbAssignments=1297  nbFailedAssignments=379  nbBacktracks=498  nbVisitedNodes=1558
4.59	     nbRestartNogoods=65  mapSize=345  nbInferences=0  nbTooLargeKeys=0
4.59	       =>  wckTime=3.628  cpuTime=3.5  mem=22M106
4.95	   
4.95	   search
4.95	     run=8  nbConstraintChecks=3456711  nbValidityChecks=3720017  nbPropagations=593067  nbRevisions=1388425
4.95	     nbUselessRevisions=658552  nbAssignments=1715  nbFailedAssignments=527  nbBacktracks=757  nbVisitedNodes=2221
4.95	     nbRestartNogoods=71  mapSize=502  nbInferences=0  nbTooLargeKeys=0
4.95	       =>  wckTime=3.994  cpuTime=3.85  mem=23M81
5.70	   
5.70	   search
5.70	     run=9  nbConstraintChecks=4614141  nbValidityChecks=4845112  nbPropagations=756151  nbRevisions=1802455
5.71	     nbUselessRevisions=872648  nbAssignments=2400  nbFailedAssignments=785  nbBacktracks=1143  nbVisitedNodes=3315
5.71	     nbRestartNogoods=83  mapSize=754  nbInferences=0  nbTooLargeKeys=0
5.71	       =>  wckTime=4.746  cpuTime=4.6  mem=24M56
6.46	   
6.46	   INFO : Stopping hyperNogood (mapSize=1026, nbTooLargekeys=0, mem=26M6)
6.58	   
6.58	   search
6.58	     run=10  nbConstraintChecks=5911530  nbValidityChecks=6185651  nbPropagations=963943  nbRevisions=2337613
6.58	     nbUselessRevisions=1151380  nbAssignments=3331  nbFailedAssignments=1087  nbBacktracks=1721  nbVisitedNodes=4744
6.58	     nbRestartNogoods=93
6.58	       =>  wckTime=5.624  cpuTime=5.45  mem=26M6
7.91	   
7.91	   search
7.91	     run=11  nbConstraintChecks=8134828  nbValidityChecks=8355418  nbPropagations=1247598  nbRevisions=3086296
7.91	     nbUselessRevisions=1549322  nbAssignments=4708  nbFailedAssignments=1564  nbBacktracks=2588  nbVisitedNodes=6965
7.91	     nbRestartNogoods=98
7.91	       =>  wckTime=6.95  cpuTime=6.76  mem=26M6
10.03	   
10.03	   search
10.03	     run=12  nbConstraintChecks=11538484  nbValidityChecks=12048565  nbPropagations=1650190  nbRevisions=4123702
10.03	     nbUselessRevisions=2091231  nbAssignments=6837  nbFailedAssignments=2306  nbBacktracks=3885  nbVisitedNodes=10446
10.03	     nbRestartNogoods=109
10.03	       =>  wckTime=9.068  cpuTime=8.86  mem=26M6
12.67	   
12.67	   search
12.67	     run=13  nbConstraintChecks=15900499  nbValidityChecks=16476683  nbPropagations=2214411  nbRevisions=5606363
12.67	     nbUselessRevisions=2875840  nbAssignments=9717  nbFailedAssignments=3223  nbBacktracks=5835  nbVisitedNodes=15277
12.67	     nbRestartNogoods=111
12.67	       =>  wckTime=11.714  cpuTime=11.47  mem=26M6
17.02	   
17.02	   search
17.02	     run=14  nbConstraintChecks=22894492  nbValidityChecks=23823430  nbPropagations=3043792  nbRevisions=7780673
17.02	     nbUselessRevisions=4031354  nbAssignments=14100  nbFailedAssignments=4663  nbBacktracks=8754  nbVisitedNodes=22849
17.02	     nbRestartNogoods=122
17.02	       =>  wckTime=16.062  cpuTime=15.78  mem=26M6
23.11	   
23.11	   search
23.11	     run=15  nbConstraintChecks=32674097  nbValidityChecks=33922935  nbPropagations=4264807  nbRevisions=11032845
23.11	     nbUselessRevisions=5784523  nbAssignments=20372  nbFailedAssignments=6543  nbBacktracks=13132  nbVisitedNodes=33724
23.11	     nbRestartNogoods=127
23.11	       =>  wckTime=22.156  cpuTime=21.82  mem=26M6
31.33	   
31.33	   search
31.33	     run=16  nbConstraintChecks=45515143  nbValidityChecks=47945552  nbPropagations=5996289  nbRevisions=15618455
31.33	     nbUselessRevisions=8247674  nbAssignments=30040  nbFailedAssignments=9563  nbBacktracks=19705  nbVisitedNodes=49787
31.33	     nbRestartNogoods=153
31.33	       =>  wckTime=30.375  cpuTime=29.97  mem=26M6
45.36	   
45.36	   search
45.36	     run=17  nbConstraintChecks=68181555  nbValidityChecks=71318079  nbPropagations=8603792  nbRevisions=22539448
45.36	     nbUselessRevisions=11977472  nbAssignments=44774  nbFailedAssignments=14433  nbBacktracks=29557
45.36	     nbVisitedNodes=75405  nbRestartNogoods=158
45.36	       =>  wckTime=44.402  cpuTime=43.86  mem=26M6
62.59	   
62.59	   search
62.59	     run=18  nbConstraintChecks=95622813  nbValidityChecks=100128836  nbPropagations=12320352  nbRevisions=32362805
62.59	     nbUselessRevisions=17269076  nbAssignments=64607  nbFailedAssignments=20593  nbBacktracks=43153
62.59	     nbVisitedNodes=108824  nbRestartNogoods=165
62.59	       =>  wckTime=61.628  cpuTime=60.92  mem=26M6
62.59	   
62.59	   global
62.59	     nbConstraintChecks=98707542  nbValidityChecks=103172891  nbPropagations=12349362  nbRevisions=32424754
62.59	     nbUselessRevisions=17294090  nbRestartNogoods=165  solvingWckTime=61.629  solvingCpuTime=60.92  expiredTime=no
62.59	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=61.4
62.59	       =>  wckTime=62.258  cpuTime=61.35  mem=26M6
62.59	   
62.59	s SATISFIABLE
62.59	v 15 17 13 10 18 3 14 0 3 0 16 6 17 4 19 4 20 1 6 0 22 15 23 2 25 4 24 24 5 1 4 2 9 7 12 15 10 11 8 11 11 1 2 0 7 17 21 12 1 8 27 30 30 30 36 40 44 45 45 60 62 66 90 91 93 100 115 126 137 138 138 155 167 175 175 0 
62.59	d NODES 64607
62.59	d CHECKS 98707542
62.59	   
62.59	   totalWckTime=62.344  totalCpuTime=61.4

Verifier Data (download as text)

OK

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node1/watcher-207842-1168183519 -o ROOT/results/node1/solver-207842-1168183519 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/207842-1168183519/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB

/proc/loadavg: 2.12 2.07 2.06 4/94 24537
/proc/meminfo: memFree=1087224/2055920 swapFree=4165612/4192956
[pid=24536] ppid=24534 vsize=9948 CPUtime=0
/proc/24536/stat : 24536 (java) S 24534 24536 24417 0 -1 0 723 0 0 0 0 0 0 0 16 0 1 0 166747636 10186752 472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 17 1 0 0
/proc/24536/statm: 2955 510 421 14 0 1602 0

[startup+0.104214 s]
/proc/loadavg: 2.12 2.07 2.06 4/94 24537
/proc/meminfo: memFree=1087224/2055920 swapFree=4165612/4192956
[pid=24536] ppid=24534 vsize=914988 CPUtime=0.08
/proc/24536/stat : 24536 (java) R 24534 24536 24417 0 -1 0 2977 0 1 0 6 2 0 0 19 0 8 0 166747636 936947712 2723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155594456 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24536/statm: 228747 2723 1422 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.512258 s]
/proc/loadavg: 2.12 2.07 2.06 4/94 24537
/proc/meminfo: memFree=1087224/2055920 swapFree=4165612/4192956
[pid=24536] ppid=24534 vsize=915328 CPUtime=0.49
/proc/24536/stat : 24536 (java) R 24534 24536 24417 0 -1 0 6971 0 1 0 43 6 0 0 18 0 8 0 166747636 937295872 6710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072926602 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24536/statm: 228832 6710 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33436 s]
/proc/loadavg: 2.12 2.07 2.06 3/101 24544
/proc/meminfo: memFree=1057088/2055920 swapFree=4165612/4192956
[pid=24536] ppid=24534 vsize=915460 CPUtime=1.29
/proc/24536/stat : 24536 (java) R 24534 24536 24417 0 -1 0 9728 0 1 0 121 8 0 0 24 0 8 0 166747636 937431040 9466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073827285 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24536/statm: 228865 9466 2527 14 0 215335 0
[pid=24536/tid=24538] ppid=24534 vsize=915460 CPUtime=0.05
/proc/24536/task/24538/stat : 24538 (java) S 24534 24536 24417 0 -1 64 805 0 0 0 5 0 0 0 16 0 8 0 166747640 937431040 9466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24536/tid=24539] ppid=24534 vsize=915460 CPUtime=0
/proc/24536/task/24539/stat : 24539 (java) S 24534 24536 24417 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166747641 937431040 9466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24536/tid=24540] ppid=24534 vsize=915460 CPUtime=0
/proc/24536/task/24540/stat : 24540 (java) S 24534 24536 24417 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166747641 937431040 9466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24536/tid=24541] ppid=24534 vsize=915460 CPUtime=0
/proc/24536/task/24541/stat : 24541 (java) S 24534 24536 24417 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166747644 937431040 9466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24536/tid=24542] ppid=24534 vsize=915460 CPUtime=0.23
/proc/24536/task/24542/stat : 24542 (java) S 24534 24536 24417 0 -1 64 380 0 0 0 22 1 0 0 16 0 8 0 166747644 937431040 9466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24536/tid=24543] ppid=24534 vsize=915460 CPUtime=0
/proc/24536/task/24543/stat : 24543 (java) S 24534 24536 24417 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166747644 937431040 9466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24536/tid=24544] ppid=24534 vsize=915460 CPUtime=0
/proc/24536/task/24544/stat : 24544 (java) S 24534 24536 24417 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166747644 937431040 9466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915460

[startup+2.97255 s]
/proc/loadavg: 2.12 2.07 2.06 3/101 24544
/proc/meminfo: memFree=1056768/2055920 swapFree=4165612/4192956
[pid=24536] ppid=24534 vsize=915460 CPUtime=2.92
/proc/24536/stat : 24536 (java) R 24534 24536 24417 0 -1 0 9796 0 1 0 283 9 0 0 25 0 8 0 166747636 937431040 9532 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073819998 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24536/statm: 228865 9532 2527 14 0 215335 0
[pid=24536/tid=24538] ppid=24534 vsize=915460 CPUtime=0.05
/proc/24536/task/24538/stat : 24538 (java) S 24534 24536 24417 0 -1 64 805 0 0 0 5 0 0 0 16 0 8 0 166747640 937431040 9532 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24536/tid=24539] ppid=24534 vsize=915460 CPUtime=0
/proc/24536/task/24539/stat : 24539 (java) S 24534 24536 24417 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166747641 937431040 9532 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24536/tid=24540] ppid=24534 vsize=915460 CPUtime=0
/proc/24536/task/24540/stat : 24540 (java) S 24534 24536 24417 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166747641 937431040 9532 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24536/tid=24541] ppid=24534 vsize=915460 CPUtime=0
/proc/24536/task/24541/stat : 24541 (java) S 24534 24536 24417 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166747644 937431040 9532 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24536/tid=24542] ppid=24534 vsize=915460 CPUtime=0.25
/proc/24536/task/24542/stat : 24542 (java) S 24534 24536 24417 0 -1 64 390 0 0 0 24 1 0 0 15 0 8 0 166747644 937431040 9532 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24536/tid=24543] ppid=24534 vsize=915460 CPUtime=0
/proc/24536/task/24543/stat : 24543 (java) S 24534 24536 24417 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166747644 937431040 9532 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24536/tid=24544] ppid=24534 vsize=915460 CPUtime=0
/proc/24536/task/24544/stat : 24544 (java) S 24534 24536 24417 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166747644 937431040 9532 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915460

[startup+6.17492 s]
/proc/loadavg: 2.11 2.07 2.06 3/101 24544
/proc/meminfo: memFree=1052096/2055920 swapFree=4165612/4192956
[pid=24536] ppid=24534 vsize=915460 CPUtime=6.1
/proc/24536/stat : 24536 (java) R 24534 24536 24417 0 -1 0 11197 0 1 0 599 11 0 0 25 0 8 0 166747636 937431040 10930 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073864457 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24536/statm: 228865 10930 2527 14 0 215335 0
[pid=24536/tid=24538] ppid=24534 vsize=915460 CPUtime=0.05
/proc/24536/task/24538/stat : 24538 (java) S 24534 24536 24417 0 -1 64 805 0 0 0 5 0 0 0 17 0 8 0 166747640 937431040 10930 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24536/tid=24539] ppid=24534 vsize=915460 CPUtime=0
/proc/24536/task/24539/stat : 24539 (java) S 24534 24536 24417 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166747641 937431040 10930 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24536/tid=24540] ppid=24534 vsize=915460 CPUtime=0
/proc/24536/task/24540/stat : 24540 (java) S 24534 24536 24417 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166747641 937431040 10930 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24536/tid=24541] ppid=24534 vsize=915460 CPUtime=0
/proc/24536/task/24541/stat : 24541 (java) S 24534 24536 24417 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166747644 937431040 10930 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24536/tid=24542] ppid=24534 vsize=915460 CPUtime=0.29
/proc/24536/task/24542/stat : 24542 (java) S 24534 24536 24417 0 -1 64 408 0 0 0 28 1 0 0 16 0 8 0 166747644 937431040 10930 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24536/tid=24543] ppid=24534 vsize=915460 CPUtime=0
/proc/24536/task/24543/stat : 24543 (java) S 24534 24536 24417 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166747644 937431040 10930 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24536/tid=24544] ppid=24534 vsize=915460 CPUtime=0
/proc/24536/task/24544/stat : 24544 (java) S 24534 24536 24417 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166747644 937431040 10930 18446744073709551615 134512640 134570532 4294956464 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) 915460

[startup+12.6487 s]
/proc/loadavg: 2.10 2.07 2.06 3/101 24544
/proc/meminfo: memFree=1050184/2055920 swapFree=4165612/4192956
[pid=24536] ppid=24534 vsize=915460 CPUtime=12.5
/proc/24536/stat : 24536 (java) R 24534 24536 24417 0 -1 0 11388 0 1 0 1239 11 0 0 25 0 8 0 166747636 937431040 11119 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073824451 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24536/statm: 228865 11119 2527 14 0 215335 0
[pid=24536/tid=24538] ppid=24534 vsize=915460 CPUtime=0.05
/proc/24536/task/24538/stat : 24538 (java) S 24534 24536 24417 0 -1 64 805 0 0 0 5 0 0 0 16 0 8 0 166747640 937431040 11119 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24536/tid=24539] ppid=24534 vsize=915460 CPUtime=0
/proc/24536/task/24539/stat : 24539 (java) S 24534 24536 24417 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166747641 937431040 11119 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24536/tid=24540] ppid=24534 vsize=915460 CPUtime=0
/proc/24536/task/24540/stat : 24540 (java) S 24534 24536 24417 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166747641 937431040 11119 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24536/tid=24541] ppid=24534 vsize=915460 CPUtime=0
/proc/24536/task/24541/stat : 24541 (java) S 24534 24536 24417 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166747644 937431040 11119 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24536/tid=24542] ppid=24534 vsize=915460 CPUtime=0.3
/proc/24536/task/24542/stat : 24542 (java) S 24534 24536 24417 0 -1 64 412 0 0 0 29 1 0 0 16 0 8 0 166747644 937431040 11119 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24536/tid=24543] ppid=24534 vsize=915460 CPUtime=0
/proc/24536/task/24543/stat : 24543 (java) S 24534 24536 24417 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166747644 937431040 11119 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24536/tid=24544] ppid=24534 vsize=915460 CPUtime=0
/proc/24536/task/24544/stat : 24544 (java) S 24534 24536 24417 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166747644 937431040 11119 18446744073709551615 134512640 134570532 4294956464 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) 915460

[startup+25.5262 s]
/proc/loadavg: 2.08 2.06 2.06 3/101 24544
/proc/meminfo: memFree=1049736/2055920 swapFree=4165612/4192956
[pid=24536] ppid=24534 vsize=915460 CPUtime=25.27
/proc/24536/stat : 24536 (java) R 24534 24536 24417 0 -1 0 11397 0 1 0 2516 11 0 0 25 0 8 0 166747636 937431040 11128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073693967 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24536/statm: 228865 11128 2527 14 0 215335 0
[pid=24536/tid=24538] ppid=24534 vsize=915460 CPUtime=0.05
/proc/24536/task/24538/stat : 24538 (java) S 24534 24536 24417 0 -1 64 805 0 0 0 5 0 0 0 16 0 8 0 166747640 937431040 11128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24536/tid=24539] ppid=24534 vsize=915460 CPUtime=0
/proc/24536/task/24539/stat : 24539 (java) S 24534 24536 24417 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166747641 937431040 11128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24536/tid=24540] ppid=24534 vsize=915460 CPUtime=0
/proc/24536/task/24540/stat : 24540 (java) S 24534 24536 24417 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166747641 937431040 11128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24536/tid=24541] ppid=24534 vsize=915460 CPUtime=0
/proc/24536/task/24541/stat : 24541 (java) S 24534 24536 24417 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166747644 937431040 11128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24536/tid=24542] ppid=24534 vsize=915460 CPUtime=0.3
/proc/24536/task/24542/stat : 24542 (java) S 24534 24536 24417 0 -1 64 412 0 0 0 29 1 0 0 16 0 8 0 166747644 937431040 11128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24536/tid=24543] ppid=24534 vsize=915460 CPUtime=0
/proc/24536/task/24543/stat : 24543 (java) S 24534 24536 24417 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166747644 937431040 11128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24536/tid=24544] ppid=24534 vsize=915460 CPUtime=0
/proc/24536/task/24544/stat : 24544 (java) S 24534 24536 24417 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166747644 937431040 11128 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 915460

[startup+51.1482 s]
/proc/loadavg: 2.05 2.06 2.06 3/101 24544
/proc/meminfo: memFree=1046536/2055920 swapFree=4165612/4192956
[pid=24536] ppid=24534 vsize=915460 CPUtime=50.65
/proc/24536/stat : 24536 (java) R 24534 24536 24417 0 -1 0 11403 0 1 0 5053 12 0 0 25 0 8 0 166747636 937431040 11134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073834393 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24536/statm: 228865 11134 2527 14 0 215335 0
[pid=24536/tid=24538] ppid=24534 vsize=915460 CPUtime=0.05
/proc/24536/task/24538/stat : 24538 (java) S 24534 24536 24417 0 -1 64 805 0 0 0 5 0 0 0 16 0 8 0 166747640 937431040 11134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24536/tid=24539] ppid=24534 vsize=915460 CPUtime=0
/proc/24536/task/24539/stat : 24539 (java) S 24534 24536 24417 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166747641 937431040 11134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24536/tid=24540] ppid=24534 vsize=915460 CPUtime=0
/proc/24536/task/24540/stat : 24540 (java) S 24534 24536 24417 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 166747641 937431040 11134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24536/tid=24541] ppid=24534 vsize=915460 CPUtime=0
/proc/24536/task/24541/stat : 24541 (java) S 24534 24536 24417 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166747644 937431040 11134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24536/tid=24542] ppid=24534 vsize=915460 CPUtime=0.3
/proc/24536/task/24542/stat : 24542 (java) S 24534 24536 24417 0 -1 64 413 0 0 0 29 1 0 0 16 0 8 0 166747644 937431040 11134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24536/tid=24543] ppid=24534 vsize=915460 CPUtime=0
/proc/24536/task/24543/stat : 24543 (java) S 24534 24536 24417 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166747644 937431040 11134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24536/tid=24544] ppid=24534 vsize=915460 CPUtime=0
/proc/24536/task/24544/stat : 24544 (java) S 24534 24536 24417 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166747644 937431040 11134 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 915460

Child status: 0
Real time (s): 62.6305
CPU time (s): 62.0026
CPU user time (s): 61.8706
CPU system time (s): 0.131979
CPU usage (%): 98.9974
Max. virtual memory (cumulated for all children) (KiB): 915460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 61.8706
system time used= 0.131979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11496
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= 2555
involuntary context switches= 3976

runsolver used 0.073988 s user time and 0.227965 s system time

The end

Launcher Data (download as text)

Begin job on node1 on Sun Jan  7 15:25:19 UTC 2007


IDJOB= 207842
IDBENCH= 4338
FILE ID= node1/207842-1168183519

PBS_JOBID= 3478940

Free space on /tmp= 66304 MiB

BENCH NAME= HOME/pub/bench/CPAI06/travellingSalesman/travellingSalesman-25/tsp-25-523_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/207842-1168183519/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node1/watcher-207842-1168183519 -o ROOT/results/node1/solver-207842-1168183519 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/207842-1168183519/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  574d05c6319781b81aa96225f5b39ad5

RANDOM SEED= 266061405

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1087704 kB
Buffers:         27272 kB
Cached:         192556 kB
SwapCached:       3620 kB
Active:         771632 kB
Inactive:       139888 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1087704 kB
SwapTotal:     4192956 kB
SwapFree:      4165612 kB
Dirty:            1892 kB
Writeback:           0 kB
Mapped:         710604 kB
Slab:            40032 kB
Committed_AS:  5485848 kB
PageTables:       3724 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= 66304 MiB



End job on node1 on Sun Jan  7 15:26:21 UTC 2007