Trace number 215132

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 68.6736 69.0703

DiagnosticValue
CHECKS27711357
NODES11158

General information on the benchmark

NamepseudoSeries/
ii/ii-32c3.xml
MD5SUMdd966be8001f816dd63643010dafbe63
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark4.00939
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables558
Number of constraints3551
Maximum constraint arity32
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension3551
Global constraints used (with number of constraints)

Solver Data (download as text)

0.29	   
0.29	Abscon 109 (November, 2006)
0.29	   
0.29	   configuration
0.29	     name=esac.xml
0.32	   
0.32	   instance
0.32	     name=/tmp/evaluation/215132-1168233546/unknown.xml
0.35	   
0.35	   domains being loaded...
0.36	   
0.36	   variables being loaded...
0.43	     nbVariables=558  nbDomainTypes=1  minDomainSize=2  maxDomainSize=2
0.43	       =>  wckTime=0.14  cpuTime=0.1  mem=8M25
0.43	   
0.43	   predicates being loaded...
0.44	   
0.44	   constraints being loaded...
1.19	     nbConstraints=3551  nbConvertedConstraints=3159  nbConvertConstraintsChecks=16  nbExtensionStructures=2
1.19	     nbSharedExtensionStructures=3157  nbConflictsStructures=3  nbSharedConflictsStructures=3185
1.19	     nbUnbuiltConflictsStructures=1  nbSharedBinaryRepresentations=5  nbEvaluationManagers=2
1.19	     nbSharedEvaluationManagers=390  maxDegree=76  maxArity=32
1.19	       =>  wckTime=0.892  cpuTime=0.72  mem=16M550
1.25	   
1.25	   solver IterativeSystematicSolver being built... 
1.50	       =>  wckTime=1.208  cpuTime=0.93  mem=42M954
1.98	   
1.98	   preprocessing
1.98	     nbConstraintChecks=26843  nbValidityChecks=171588  nbPropagations=1640  nbRevisions=98044  nbUselessRevisions=97528
1.98	     nbSingletonTests=570  nbEffectiveSingletonTests=0  nbESACBranches=2  nbRemovedValues=0  detectedInconsistency=no
1.98	       =>  wckTime=0.472  cpuTime=0.42  mem=43M949
2.22	   
2.22	   search
2.22	     run=0  nbConstraintChecks=40251  nbValidityChecks=146393  nbPropagations=2998  nbRevisions=191007
2.22	     nbUselessRevisions=189104  nbAssignments=170  nbFailedAssignments=2  nbBacktracks=22  nbVisitedNodes=181
2.22	     nbRestartNogoods=0  mapSize=9  nbInferences=0  nbTooLargeKeys=0
2.22	       =>  wckTime=0.711  cpuTime=0.65  mem=44M960
2.42	   
2.42	   search
2.42	     run=1  nbConstraintChecks=63836  nbValidityChecks=284954  nbPropagations=6727  nbRevisions=461013
2.42	     nbUselessRevisions=456551  nbAssignments=323  nbFailedAssignments=3  nbBacktracks=39  nbVisitedNodes=339
2.42	     nbRestartNogoods=1  mapSize=13  nbInferences=0  nbTooLargeKeys=0
2.42	       =>  wckTime=0.91  cpuTime=0.84  mem=44M960
2.61	   
2.61	   search
2.61	     run=2  nbConstraintChecks=96711  nbValidityChecks=427008  nbPropagations=11540  nbRevisions=817332
2.61	     nbUselessRevisions=809277  nbAssignments=492  nbFailedAssignments=5  nbBacktracks=73  nbVisitedNodes=515
2.61	     nbRestartNogoods=2  mapSize=19  nbInferences=0  nbTooLargeKeys=0
2.61	       =>  wckTime=1.108  cpuTime=1.04  mem=44M960
3.12	   
3.12	   search
3.12	     run=3  nbConstraintChecks=259416  nbValidityChecks=627560  nbPropagations=21751  nbRevisions=1356432
3.12	     nbUselessRevisions=1338742  nbAssignments=679  nbFailedAssignments=8  nbBacktracks=114  nbVisitedNodes=744
3.12	     nbRestartNogoods=3  mapSize=60  nbInferences=0  nbTooLargeKeys=0
3.12	       =>  wckTime=1.609  cpuTime=1.53  mem=44M960
3.73	   
3.73	   search
3.73	     run=4  nbConstraintChecks=460662  nbValidityChecks=872285  nbPropagations=38414  nbRevisions=2117956
3.73	     nbUselessRevisions=2082880  nbAssignments=813  nbFailedAssignments=18  nbBacktracks=164  nbVisitedNodes=921
3.73	     nbRestartNogoods=4  mapSize=101  nbInferences=0  nbTooLargeKeys=0
3.73	       =>  wckTime=2.223  cpuTime=2.14  mem=44M960
4.21	   
4.21	   search
4.21	     run=5  nbConstraintChecks=622463  nbValidityChecks=1079943  nbPropagations=60861  nbRevisions=3064820
4.21	     nbUselessRevisions=3006029  nbAssignments=976  nbFailedAssignments=36  nbBacktracks=245  nbVisitedNodes=1116
4.21	     nbRestartNogoods=6  mapSize=140  nbInferences=0  nbTooLargeKeys=0
4.21	       =>  wckTime=2.705  cpuTime=2.61  mem=44M960
4.78	   
4.78	   search
4.78	     run=6  nbConstraintChecks=809297  nbValidityChecks=1310908  nbPropagations=90034  nbRevisions=4217428
4.78	     nbUselessRevisions=4127599  nbAssignments=1178  nbFailedAssignments=56  nbBacktracks=361  nbVisitedNodes=1356
4.78	     nbRestartNogoods=7  mapSize=191  nbInferences=0  nbTooLargeKeys=0
4.78	       =>  wckTime=3.27  cpuTime=3.18  mem=44M960
6.20	   
6.20	   search
6.20	     run=7  nbConstraintChecks=1382810  nbValidityChecks=1866446  nbPropagations=138718  nbRevisions=5948774
6.20	     nbUselessRevisions=5804038  nbAssignments=1455  nbFailedAssignments=80  nbBacktracks=547  nbVisitedNodes=1778
6.21	     nbRestartNogoods=9  mapSize=343  nbInferences=0  nbTooLargeKeys=0
6.21	       =>  wckTime=4.7  cpuTime=4.59  mem=44M960
7.82	   
7.82	   search
7.82	     run=8  nbConstraintChecks=2019517  nbValidityChecks=2489196  nbPropagations=209230  nbRevisions=8321974
7.82	     nbUselessRevisions=8095911  nbAssignments=1815  nbFailedAssignments=124  nbBacktracks=804  nbVisitedNodes=2297
7.82	     nbRestartNogoods=11  mapSize=520  nbInferences=0  nbTooLargeKeys=0
7.82	       =>  wckTime=6.317  cpuTime=6.19  mem=44M960
11.36	   
11.36	   search
11.36	     run=9  nbConstraintChecks=3159446  nbValidityChecks=3801228  nbPropagations=314484  nbRevisions=11899870
11.36	     nbUselessRevisions=11549415  nbAssignments=2340  nbFailedAssignments=202  nbBacktracks=1189  nbVisitedNodes=3106
11.36	     nbRestartNogoods=13  mapSize=832  nbInferences=0  nbTooLargeKeys=0
11.36	       =>  wckTime=9.858  cpuTime=9.71  mem=45M955
13.83	   
13.83	   INFO : Stopping hyperNogood (mapSize=1039, nbTooLargekeys=0, mem=45M955)
17.69	   
17.70	   search
17.70	     run=10  nbConstraintChecks=5431836  nbValidityChecks=5996563  nbPropagations=489533  nbRevisions=17670708
17.70	     nbUselessRevisions=17108562  nbAssignments=3078  nbFailedAssignments=277  nbBacktracks=1775  nbVisitedNodes=4415
17.70	     nbRestartNogoods=15
17.70	       =>  wckTime=16.19  cpuTime=16.01  mem=45M955
25.00	   
25.00	   search
25.00	     run=11  nbConstraintChecks=8564359  nbValidityChecks=8150360  nbPropagations=768375  nbRevisions=26105752
25.00	     nbUselessRevisions=25205496  nbAssignments=4195  nbFailedAssignments=446  nbBacktracks=2650  nbVisitedNodes=6345
25.00	     nbRestartNogoods=17
25.00	       =>  wckTime=23.496  cpuTime=23.27  mem=45M955
36.00	   
36.00	   search
36.00	     run=12  nbConstraintChecks=13362720  nbValidityChecks=11344008  nbPropagations=1208753  nbRevisions=38598344
36.00	     nbUselessRevisions=37164689  nbAssignments=5859  nbFailedAssignments=730  nbBacktracks=3959  nbVisitedNodes=9260
36.00	     nbRestartNogoods=19
36.00	       =>  wckTime=34.497  cpuTime=34.22  mem=45M955
52.04	   
52.04	   search
52.04	     run=13  nbConstraintChecks=20437032  nbValidityChecks=16122877  nbPropagations=1888643  nbRevisions=57102109
52.04	     nbUselessRevisions=54843260  nbAssignments=8249  nbFailedAssignments=1112  nbBacktracks=5906  nbVisitedNodes=13510
52.04	     nbRestartNogoods=21
52.04	       =>  wckTime=50.536  cpuTime=50.16  mem=45M955
69.05	   
69.05	   search
69.05	     run=14  nbConstraintChecks=27684514  nbValidityChecks=21532673  nbPropagations=2818897  nbRevisions=82127698
69.05	     nbUselessRevisions=78735207  nbAssignments=11158  nbFailedAssignments=1458  nbBacktracks=7911  nbVisitedNodes=18290
69.05	     nbRestartNogoods=24
69.05	       =>  wckTime=67.541  cpuTime=67.07  mem=45M955
69.05	   
69.05	   global
69.05	     nbConstraintChecks=27711357  nbValidityChecks=21704261  nbPropagations=2820537  nbRevisions=82225742
69.05	     nbUselessRevisions=78832735  nbRestartNogoods=24  solvingWckTime=67.542  solvingCpuTime=67.07  expiredTime=no
69.05	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=68.06
69.05	       =>  wckTime=68.753  cpuTime=68.01  mem=45M955
69.05	   
69.05	s SATISFIABLE
69.05	v 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 
69.05	d NODES 11158
69.05	d CHECKS 27711357
69.05	   
69.05	   totalWckTime=68.83  totalCpuTime=68.06

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/node12/watcher-215132-1168233546 -o ROOT/results/node12/solver-215132-1168233546 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/215132-1168233546/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.96 2.00 2.00 3/94 16910
/proc/meminfo: memFree=1745232/2055920 swapFree=4160348/4192956
[pid=16909] ppid=16907 vsize=172 CPUtime=0
/proc/16909/stat : 16909 (java) R 16907 16909 16842 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 171749703 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 9696036 0 0 4096 0 0 0 0 17 0 0 0
/proc/16909/statm: 43 24 18 14 0 3 0

[startup+0.10853 s]
/proc/loadavg: 1.96 2.00 2.00 3/94 16910
/proc/meminfo: memFree=1745232/2055920 swapFree=4160348/4192956
[pid=16909] ppid=16907 vsize=914988 CPUtime=0.08
/proc/16909/stat : 16909 (java) R 16907 16909 16842 0 -1 0 3071 0 1 0 7 1 0 0 23 0 8 0 171749703 936947712 2817 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16909/statm: 228747 2817 1453 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.516605 s]
/proc/loadavg: 1.96 2.00 2.00 3/94 16910
/proc/meminfo: memFree=1745232/2055920 swapFree=4160348/4192956
[pid=16909] ppid=16907 vsize=915328 CPUtime=0.49
/proc/16909/stat : 16909 (java) R 16907 16909 16842 0 -1 0 7541 0 1 0 44 5 0 0 25 0 8 0 171749703 937295872 7280 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073542797 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16909/statm: 228832 7284 2144 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.34075 s]
/proc/loadavg: 1.96 2.00 2.00 3/101 16917
/proc/meminfo: memFree=1686616/2055920 swapFree=4160348/4192956
[pid=16909] ppid=16907 vsize=915728 CPUtime=1.31
/proc/16909/stat : 16909 (java) R 16907 16909 16842 0 -1 0 18369 0 1 0 108 23 0 0 25 0 8 0 171749703 937705472 18106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16909/statm: 228932 18106 2503 14 0 215402 0
[pid=16909/tid=16911] ppid=16907 vsize=915728 CPUtime=0.06
/proc/16909/task/16911/stat : 16911 (java) S 16907 16909 16842 0 -1 64 1368 0 0 0 6 0 0 0 16 0 8 0 171749707 937705472 18106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16912] ppid=16907 vsize=915728 CPUtime=0
/proc/16909/task/16912/stat : 16912 (java) S 16907 16909 16842 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171749707 937705472 18106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16913] ppid=16907 vsize=915728 CPUtime=0
/proc/16909/task/16913/stat : 16913 (java) S 16907 16909 16842 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171749707 937705472 18106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16914] ppid=16907 vsize=915728 CPUtime=0
/proc/16909/task/16914/stat : 16914 (java) S 16907 16909 16842 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171749710 937705472 18106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16915] ppid=16907 vsize=915728 CPUtime=0.2
/proc/16909/task/16915/stat : 16915 (java) R 16907 16909 16842 0 -1 64 437 0 0 0 20 0 0 0 15 0 8 0 171749710 937705472 18106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153066206 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16916] ppid=16907 vsize=915728 CPUtime=0
/proc/16909/task/16916/stat : 16916 (java) S 16907 16909 16842 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 171749710 937705472 18106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16917] ppid=16907 vsize=915728 CPUtime=0
/proc/16909/task/16917/stat : 16917 (java) S 16907 16909 16842 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171749710 937705472 18106 18446744073709551615 134512640 134570532 4294956464 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) 915728

[startup+2.97805 s]
/proc/loadavg: 1.96 2.00 2.00 3/101 16917
/proc/meminfo: memFree=1682200/2055920 swapFree=4160348/4192956
[pid=16909] ppid=16907 vsize=915728 CPUtime=2.94
/proc/16909/stat : 16909 (java) R 16907 16909 16842 0 -1 0 18501 0 1 0 270 24 0 0 25 0 8 0 171749703 937705472 18237 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074054098 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16909/statm: 228932 18237 2547 14 0 215402 0
[pid=16909/tid=16911] ppid=16907 vsize=915728 CPUtime=0.06
/proc/16909/task/16911/stat : 16911 (java) S 16907 16909 16842 0 -1 64 1368 0 0 0 6 0 0 0 17 0 8 0 171749707 937705472 18237 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16912] ppid=16907 vsize=915728 CPUtime=0
/proc/16909/task/16912/stat : 16912 (java) S 16907 16909 16842 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171749707 937705472 18237 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16913] ppid=16907 vsize=915728 CPUtime=0
/proc/16909/task/16913/stat : 16913 (java) S 16907 16909 16842 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171749707 937705472 18237 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16914] ppid=16907 vsize=915728 CPUtime=0
/proc/16909/task/16914/stat : 16914 (java) S 16907 16909 16842 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171749710 937705472 18237 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16915] ppid=16907 vsize=915728 CPUtime=0.29
/proc/16909/task/16915/stat : 16915 (java) S 16907 16909 16842 0 -1 64 489 0 0 0 28 1 0 0 15 0 8 0 171749710 937705472 18237 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16916] ppid=16907 vsize=915728 CPUtime=0
/proc/16909/task/16916/stat : 16916 (java) S 16907 16909 16842 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 171749710 937705472 18237 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16917] ppid=16907 vsize=915728 CPUtime=0
/proc/16909/task/16917/stat : 16917 (java) S 16907 16909 16842 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171749710 937705472 18237 18446744073709551615 134512640 134570532 4294956464 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) 915728

[startup+6.27364 s]
/proc/loadavg: 1.96 2.00 2.00 4/101 16917
/proc/meminfo: memFree=1682072/2055920 swapFree=4160348/4192956
[pid=16909] ppid=16907 vsize=915728 CPUtime=6.21
/proc/16909/stat : 16909 (java) R 16907 16909 16842 0 -1 0 18513 0 1 0 597 24 0 0 25 0 8 0 171749703 937705472 18246 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074043563 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16909/statm: 228932 18246 2547 14 0 215402 0
[pid=16909/tid=16911] ppid=16907 vsize=915728 CPUtime=0.06
/proc/16909/task/16911/stat : 16911 (java) S 16907 16909 16842 0 -1 64 1368 0 0 0 6 0 0 0 17 0 8 0 171749707 937705472 18246 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16912] ppid=16907 vsize=915728 CPUtime=0
/proc/16909/task/16912/stat : 16912 (java) S 16907 16909 16842 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171749707 937705472 18246 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16913] ppid=16907 vsize=915728 CPUtime=0
/proc/16909/task/16913/stat : 16913 (java) S 16907 16909 16842 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171749707 937705472 18246 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16914] ppid=16907 vsize=915728 CPUtime=0
/proc/16909/task/16914/stat : 16914 (java) S 16907 16909 16842 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171749710 937705472 18246 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16915] ppid=16907 vsize=915728 CPUtime=0.31
/proc/16909/task/16915/stat : 16915 (java) S 16907 16909 16842 0 -1 64 498 0 0 0 30 1 0 0 16 0 8 0 171749710 937705472 18246 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16916] ppid=16907 vsize=915728 CPUtime=0
/proc/16909/task/16916/stat : 16916 (java) S 16907 16909 16842 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 171749710 937705472 18246 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16917] ppid=16907 vsize=915728 CPUtime=0
/proc/16909/task/16917/stat : 16917 (java) S 16907 16909 16842 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171749710 937705472 18246 18446744073709551615 134512640 134570532 4294956464 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) 915728

[startup+12.7498 s]
/proc/loadavg: 1.96 2.00 2.00 3/101 16917
/proc/meminfo: memFree=1682080/2055920 swapFree=4160348/4192956
[pid=16909] ppid=16907 vsize=915728 CPUtime=12.66
/proc/16909/stat : 16909 (java) R 16907 16909 16842 0 -1 0 18520 0 1 0 1242 24 0 0 25 0 8 0 171749703 937705472 18250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918546 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16909/statm: 228932 18250 2547 14 0 215402 0
[pid=16909/tid=16911] ppid=16907 vsize=915728 CPUtime=0.06
/proc/16909/task/16911/stat : 16911 (java) S 16907 16909 16842 0 -1 64 1368 0 0 0 6 0 0 0 17 0 8 0 171749707 937705472 18250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16912] ppid=16907 vsize=915728 CPUtime=0
/proc/16909/task/16912/stat : 16912 (java) S 16907 16909 16842 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171749707 937705472 18250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16913] ppid=16907 vsize=915728 CPUtime=0
/proc/16909/task/16913/stat : 16913 (java) S 16907 16909 16842 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171749707 937705472 18250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16914] ppid=16907 vsize=915728 CPUtime=0
/proc/16909/task/16914/stat : 16914 (java) S 16907 16909 16842 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171749710 937705472 18250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16915] ppid=16907 vsize=915728 CPUtime=0.32
/proc/16909/task/16915/stat : 16915 (java) S 16907 16909 16842 0 -1 64 503 0 0 0 31 1 0 0 15 0 8 0 171749710 937705472 18250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16916] ppid=16907 vsize=915728 CPUtime=0
/proc/16909/task/16916/stat : 16916 (java) S 16907 16909 16842 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 171749710 937705472 18250 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16917] ppid=16907 vsize=915728 CPUtime=0
/proc/16909/task/16917/stat : 16917 (java) S 16907 16909 16842 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171749710 937705472 18250 18446744073709551615 134512640 134570532 4294956464 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) 915728

[startup+25.5991 s]
/proc/loadavg: 1.97 2.00 2.00 3/101 16917
/proc/meminfo: memFree=1682144/2055920 swapFree=4160348/4192956
[pid=16909] ppid=16907 vsize=915728 CPUtime=25.44
/proc/16909/stat : 16909 (java) R 16907 16909 16842 0 -1 0 18526 0 1 0 2519 25 0 0 25 0 8 0 171749703 937705472 18253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074040765 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16909/statm: 228932 18253 2547 14 0 215402 0
[pid=16909/tid=16911] ppid=16907 vsize=915728 CPUtime=0.06
/proc/16909/task/16911/stat : 16911 (java) S 16907 16909 16842 0 -1 64 1368 0 0 0 6 0 0 0 16 0 8 0 171749707 937705472 18253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16912] ppid=16907 vsize=915728 CPUtime=0
/proc/16909/task/16912/stat : 16912 (java) S 16907 16909 16842 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171749707 937705472 18253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16913] ppid=16907 vsize=915728 CPUtime=0
/proc/16909/task/16913/stat : 16913 (java) S 16907 16909 16842 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171749707 937705472 18253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16914] ppid=16907 vsize=915728 CPUtime=0
/proc/16909/task/16914/stat : 16914 (java) S 16907 16909 16842 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171749710 937705472 18253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16915] ppid=16907 vsize=915728 CPUtime=0.32
/proc/16909/task/16915/stat : 16915 (java) S 16907 16909 16842 0 -1 64 508 0 0 0 31 1 0 0 16 0 8 0 171749710 937705472 18253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16916] ppid=16907 vsize=915728 CPUtime=0
/proc/16909/task/16916/stat : 16916 (java) S 16907 16909 16842 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 171749710 937705472 18253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16917] ppid=16907 vsize=915728 CPUtime=0
/proc/16909/task/16917/stat : 16917 (java) S 16907 16909 16842 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171749710 937705472 18253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 915728

[startup+51.2047 s]
/proc/loadavg: 1.98 2.00 2.00 3/101 16917
/proc/meminfo: memFree=1682208/2055920 swapFree=4160348/4192956
[pid=16909] ppid=16907 vsize=915728 CPUtime=50.9
/proc/16909/stat : 16909 (java) R 16907 16909 16842 0 -1 0 18527 0 1 0 5065 25 0 0 25 0 8 0 171749703 937705472 18254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074015888 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16909/statm: 228932 18254 2547 14 0 215402 0
[pid=16909/tid=16911] ppid=16907 vsize=915728 CPUtime=0.06
/proc/16909/task/16911/stat : 16911 (java) S 16907 16909 16842 0 -1 64 1368 0 0 0 6 0 0 0 16 0 8 0 171749707 937705472 18254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16912] ppid=16907 vsize=915728 CPUtime=0
/proc/16909/task/16912/stat : 16912 (java) S 16907 16909 16842 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171749707 937705472 18254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16913] ppid=16907 vsize=915728 CPUtime=0
/proc/16909/task/16913/stat : 16913 (java) S 16907 16909 16842 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171749707 937705472 18254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16914] ppid=16907 vsize=915728 CPUtime=0
/proc/16909/task/16914/stat : 16914 (java) S 16907 16909 16842 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171749710 937705472 18254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16915] ppid=16907 vsize=915728 CPUtime=0.33
/proc/16909/task/16915/stat : 16915 (java) S 16907 16909 16842 0 -1 64 509 0 0 0 32 1 0 0 16 0 8 0 171749710 937705472 18254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16916] ppid=16907 vsize=915728 CPUtime=0
/proc/16909/task/16916/stat : 16916 (java) S 16907 16909 16842 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 171749710 937705472 18254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16909/tid=16917] ppid=16907 vsize=915728 CPUtime=0
/proc/16909/task/16917/stat : 16917 (java) S 16907 16909 16842 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171749710 937705472 18254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.9
Current children cumulated vsize (KiB) 915728

Child status: 0
Real time (s): 69.0703
CPU time (s): 68.6736
CPU user time (s): 68.4086
CPU system time (s): 0.264959
CPU usage (%): 99.4257
Max. virtual memory (cumulated for all children) (KiB): 915760

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 68.4086
system time used= 0.264959
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18536
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= 3004
involuntary context switches= 4300

runsolver used 0.05999 s user time and 0.25796 s system time

The end

Launcher Data (download as text)

Begin job on node12 on Mon Jan  8 05:19:07 UTC 2007


IDJOB= 215132
IDBENCH= 4978
FILE ID= node12/215132-1168233546

PBS_JOBID= 3481213

Free space on /tmp= 66323 MiB

BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/ii/ii-32c3.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/215132-1168233546/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node12/watcher-215132-1168233546 -o ROOT/results/node12/solver-215132-1168233546 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/215132-1168233546/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  dd966be8001f816dd63643010dafbe63

RANDOM SEED= 651854738

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.265
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.265
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:       1745712 kB
Buffers:         45524 kB
Cached:         126656 kB
SwapCached:       5164 kB
Active:         153864 kB
Inactive:       101288 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1745712 kB
SwapTotal:     4192956 kB
SwapFree:      4160348 kB
Dirty:            2400 kB
Writeback:           0 kB
Mapped:         101128 kB
Slab:            39804 kB
Committed_AS:  5591476 kB
PageTables:       2276 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= 66323 MiB



End job on node12 on Mon Jan  8 05:20:17 UTC 2007