Trace number 197706

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Abscon 109 ACUNSAT 55.8095 56.3484

DiagnosticValue
CHECKS58004485
NODES702678

General information on the benchmark

Namecril/
cril-7.ext.xml
MD5SUM7cc7e95e3ab2b5c1b2e8d820acd1fe1b
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.951855
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables36
Number of constraints153
Maximum constraint arity4
Maximum domain size9
Number of constraints which are defined in extension153
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.32	   
0.32	Abscon 109 (November, 2006)
0.32	   
0.32	   configuration
0.32	     name=mac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/197706-1168071098/unknown.xml
0.39	   
0.39	   domains being loaded...
0.40	   
0.40	   variables being loaded...
0.43	     nbVariables=36  nbDomainTypes=1  minDomainSize=9  maxDomainSize=9
0.43	       =>  wckTime=0.108  cpuTime=0.09  mem=6M951
0.43	   
0.43	   relations being loaded...
0.46	   
0.46	   constraints being loaded...
0.54	     nbConstraints=153  nbRelationTypes=10  nbExtensionStructures=10  nbSharedExtensionStructures=143
0.54	     nbConflictsStructures=10  nbSharedConflictsStructures=143  nbSharedBinaryRepresentations=9  maxDegree=9  maxArity=4
0.54	       =>  wckTime=0.211  cpuTime=0.16  mem=8M912
0.57	   
0.57	   solver IterativeSystematicSolver being built... 
0.74	       =>  wckTime=0.417  cpuTime=0.3  mem=14M621
0.75	   
0.75	   preprocessing
0.75	     nbConstraintChecks=226  nbValidityChecks=100  nbPropagations=45  nbRevisions=33  nbUselessRevisions=0
0.75	     nbRemovedValues=123  detectedInconsistency=no
0.75	       =>  wckTime=0.0070  cpuTime=0.01  mem=14M621
0.80	   
0.80	   search
0.80	     run=0  nbConstraintChecks=1511  nbValidityChecks=1758  nbPropagations=207  nbRevisions=511  nbUselessRevisions=329
0.80	     nbAssignments=38  nbFailedAssignments=6  nbBacktracks=12  nbVisitedNodes=51  nbRestartNogoods=0  mapSize=9
0.80	     nbInferences=0  nbTooLargeKeys=0
0.80	       =>  wckTime=0.058  cpuTime=0.03  mem=14M621
0.83	   
0.83	   search
0.83	     run=1  nbConstraintChecks=4019  nbValidityChecks=4292  nbPropagations=652  nbRevisions=1613
0.83	     nbUselessRevisions=1009  nbAssignments=90  nbFailedAssignments=17  nbBacktracks=27  nbVisitedNodes=126
0.83	     nbRestartNogoods=1  mapSize=24  nbInferences=1  nbTooLargeKeys=0
0.83	       =>  wckTime=0.088  cpuTime=0.04  mem=14M621
0.84	   
0.84	   search
0.84	     run=2  nbConstraintChecks=5836  nbValidityChecks=6230  nbPropagations=1337  nbRevisions=3370
0.84	     nbUselessRevisions=2109  nbAssignments=143  nbFailedAssignments=29  nbBacktracks=53  nbVisitedNodes=205
0.84	     nbRestartNogoods=7  mapSize=43  nbInferences=3  nbTooLargeKeys=0
0.84	       =>  wckTime=0.098  cpuTime=0.05  mem=14M621
0.86	   
0.86	   search
0.86	     run=3  nbConstraintChecks=11513  nbValidityChecks=11643  nbPropagations=2361  nbRevisions=6394
0.86	     nbUselessRevisions=4047  nbAssignments=212  nbFailedAssignments=53  nbBacktracks=88  nbVisitedNodes=315
0.86	     nbRestartNogoods=8  mapSize=71  nbInferences=3  nbTooLargeKeys=0
0.86	       =>  wckTime=0.117  cpuTime=0.07  mem=14M621
0.87	   
0.87	   search
0.87	     run=4  nbConstraintChecks=15972  nbValidityChecks=15260  nbPropagations=3776  nbRevisions=11039
0.87	     nbUselessRevisions=7145  nbAssignments=303  nbFailedAssignments=83  nbBacktracks=140  nbVisitedNodes=467
0.87	     nbRestartNogoods=10  mapSize=117  nbInferences=4  nbTooLargeKeys=0
0.87	       =>  wckTime=0.129  cpuTime=0.08  mem=14M621
0.90	   
0.90	   search
0.90	     run=5  nbConstraintChecks=35189  nbValidityChecks=33390  nbPropagations=5952  nbRevisions=18496
0.90	     nbUselessRevisions=12023  nbAssignments=428  nbFailedAssignments=126  nbBacktracks=216  nbVisitedNodes=676
0.90	     nbRestartNogoods=11  mapSize=181  nbInferences=4  nbTooLargeKeys=0
0.90	       =>  wckTime=0.155  cpuTime=0.1  mem=14M621
0.92	   
0.92	   search
0.92	     run=6  nbConstraintChecks=45645  nbValidityChecks=39599  nbPropagations=8815  nbRevisions=28881
0.92	     nbUselessRevisions=19062  nbAssignments=609  nbFailedAssignments=184  nbBacktracks=330  nbVisitedNodes=973
0.92	     nbRestartNogoods=15  mapSize=271  nbInferences=5  nbTooLargeKeys=0
0.92	       =>  wckTime=0.172  cpuTime=0.11  mem=14M621
0.95	   
0.95	   search
0.95	     run=7  nbConstraintChecks=57601  nbValidityChecks=50702  nbPropagations=12985  nbRevisions=43464
0.95	     nbUselessRevisions=28847  nbAssignments=903  nbFailedAssignments=294  nbBacktracks=501  nbVisitedNodes=1484
0.95	     nbRestartNogoods=18  mapSize=429  nbInferences=6  nbTooLargeKeys=0
0.95	       =>  wckTime=0.203  cpuTime=0.14  mem=14M621
1.00	   
1.00	   search
1.00	     run=8  nbConstraintChecks=97548  nbValidityChecks=83940  nbPropagations=19401  nbRevisions=65850
1.00	     nbUselessRevisions=43813  nbAssignments=1310  nbFailedAssignments=426  nbBacktracks=758  nbVisitedNodes=2153
1.00	     nbRestartNogoods=23  mapSize=646  nbInferences=13  nbTooLargeKeys=0
1.00	       =>  wckTime=0.256  cpuTime=0.19  mem=14M621
1.07	   
1.07	   search
1.07	     run=9  nbConstraintChecks=132250  nbValidityChecks=107290  nbPropagations=29011  nbRevisions=99161
1.07	     nbUselessRevisions=66001  nbAssignments=1980  nbFailedAssignments=658  nbBacktracks=1142  nbVisitedNodes=3314
1.07	     nbRestartNogoods=31  mapSize=1002  nbInferences=52  nbTooLargeKeys=0
1.07	       =>  wckTime=0.322  cpuTime=0.23  mem=14M621
1.17	   
1.17	   search
1.17	     run=10  nbConstraintChecks=217568  nbValidityChecks=190666  nbPropagations=43610  nbRevisions=151377
1.17	     nbUselessRevisions=100270  nbAssignments=2919  nbFailedAssignments=993  nbBacktracks=1718  nbVisitedNodes=4928
1.17	     nbRestartNogoods=37  mapSize=1531  nbInferences=71  nbTooLargeKeys=0
1.17	       =>  wckTime=0.428  cpuTime=0.32  mem=14M621
1.31	   
1.31	   search
1.31	     run=11  nbConstraintChecks=382123  nbValidityChecks=328062  nbPropagations=67124  nbRevisions=237779
1.32	     nbUselessRevisions=156902  nbAssignments=4386  nbFailedAssignments=1523  nbBacktracks=2582  nbVisitedNodes=7461
1.32	     nbRestartNogoods=41  mapSize=2358  nbInferences=136  nbTooLargeKeys=0
1.32	       =>  wckTime=0.571  cpuTime=0.46  mem=15M596
1.47	   
1.47	   search
1.47	     run=12  nbConstraintChecks=521765  nbValidityChecks=460580  nbPropagations=101880  nbRevisions=363268
1.47	     nbUselessRevisions=239614  nbAssignments=6456  nbFailedAssignments=2279  nbBacktracks=3879  nbVisitedNodes=11009
1.47	     nbRestartNogoods=48  mapSize=3509  nbInferences=139  nbTooLargeKeys=0
1.47	       =>  wckTime=0.726  cpuTime=0.61  mem=15M596
1.69	   
1.69	   search
1.69	     run=13  nbConstraintChecks=750817  nbValidityChecks=636867  nbPropagations=150151  nbRevisions=542011
1.69	     nbUselessRevisions=359783  nbAssignments=9474  nbFailedAssignments=3248  nbBacktracks=5827  nbVisitedNodes=16025
1.69	     nbRestartNogoods=57  mapSize=5153  nbInferences=227  nbTooLargeKeys=0
1.69	       =>  wckTime=0.946  cpuTime=0.83  mem=15M596
2.08	   
2.08	   search
2.08	     run=14  nbConstraintChecks=1171232  nbValidityChecks=998171  nbPropagations=224515  nbRevisions=808902
2.08	     nbUselessRevisions=537517  nbAssignments=14022  nbFailedAssignments=4679  nbBacktracks=8749  nbVisitedNodes=23507
2.08	     nbRestartNogoods=66  mapSize=7524  nbInferences=414  nbTooLargeKeys=0
2.08	       =>  wckTime=1.333  cpuTime=1.21  mem=16M572
2.55	   
2.55	   search
2.55	     run=15  nbConstraintChecks=1644650  nbValidityChecks=1385748  nbPropagations=333979  nbRevisions=1207821
2.55	     nbUselessRevisions=804346  nbAssignments=20748  nbFailedAssignments=6876  nbBacktracks=13127  nbVisitedNodes=34608
2.55	     nbRestartNogoods=74  mapSize=11007  nbInferences=554  nbTooLargeKeys=0
2.55	       =>  wckTime=1.804  cpuTime=1.69  mem=16M572
3.29	   
3.29	   search
3.29	     run=16  nbConstraintChecks=2412707  nbValidityChecks=2008181  nbPropagations=491403  nbRevisions=1791664
3.29	     nbUselessRevisions=1198015  nbAssignments=30906  nbFailedAssignments=10268  nbBacktracks=19697
3.29	     nbVisitedNodes=51626  nbRestartNogoods=85  mapSize=16689  nbInferences=741  nbTooLargeKeys=0
3.29	       =>  wckTime=2.545  cpuTime=2.42  mem=17M547
4.53	   
4.53	   search
4.53	     run=17  nbConstraintChecks=3715769  nbValidityChecks=3112214  nbPropagations=729369  nbRevisions=2669222
4.53	     nbUselessRevisions=1793786  nbAssignments=46766  nbFailedAssignments=15522  nbBacktracks=29550
4.53	     nbVisitedNodes=78471  nbRestartNogoods=88  mapSize=25230  nbInferences=1483  nbTooLargeKeys=0
4.53	       =>  wckTime=3.789  cpuTime=3.65  mem=19M497
6.42	   
6.42	   search
6.42	     run=18  nbConstraintChecks=5718862  nbValidityChecks=4818299  nbPropagations=1094655  nbRevisions=4009531
6.42	     nbUselessRevisions=2703612  nbAssignments=70158  nbFailedAssignments=22514  nbBacktracks=44331
6.42	     nbVisitedNodes=117336  nbRestartNogoods=101  mapSize=37635  nbInferences=3092  nbTooLargeKeys=0
6.42	       =>  wckTime=5.674  cpuTime=5.51  mem=22M423
9.03	   
9.03	   search
9.03	     run=19  nbConstraintChecks=8111559  nbValidityChecks=6798632  nbPropagations=1641492  nbRevisions=5982284
9.03	     nbUselessRevisions=4047143  nbAssignments=108109  nbFailedAssignments=32442  nbBacktracks=66500
9.03	     nbVisitedNodes=180277  nbRestartNogoods=112  mapSize=56837  nbInferences=8936  nbTooLargeKeys=0
9.03	       =>  wckTime=8.283  cpuTime=8.1  mem=26M323
13.88	   
13.88	   search
13.88	     run=20  nbConstraintChecks=13554736  nbValidityChecks=11379997  nbPropagations=2503518  nbRevisions=9082997
13.88	     nbUselessRevisions=6142419  nbAssignments=163803  nbFailedAssignments=52127  nbBacktracks=99753
13.88	     nbVisitedNodes=275306  nbRestartNogoods=119  mapSize=84547  nbInferences=11683  nbTooLargeKeys=0
13.88	       =>  wckTime=13.133  cpuTime=12.91  mem=31M199
20.30	   
20.30	   search
20.30	     run=21  nbConstraintChecks=19869937  nbValidityChecks=16527995  nbPropagations=3770380  nbRevisions=13633090
20.30	     nbUselessRevisions=9271683  nbAssignments=252361  nbFailedAssignments=71217  nbBacktracks=149631
20.30	     nbVisitedNodes=421346  nbRestartNogoods=129  mapSize=127854  nbInferences=31260  nbTooLargeKeys=0
20.30	       =>  wckTime=19.556  cpuTime=19.28  mem=41M24
30.37	   
30.37	   search
30.37	     run=22  nbConstraintChecks=29917194  nbValidityChecks=25313157  nbPropagations=5701502  nbRevisions=20397621
30.37	     nbUselessRevisions=13866434  nbAssignments=375588  nbFailedAssignments=105716  nbBacktracks=224449
30.37	     nbVisitedNodes=626436  nbRestartNogoods=140  mapSize=190130  nbInferences=45161  nbTooLargeKeys=0
30.37	       =>  wckTime=29.629  cpuTime=29.03  mem=31M304
44.99	   
44.99	   search
44.99	     run=23  nbConstraintChecks=45780033  nbValidityChecks=38692390  nbPropagations=8594155  nbRevisions=30640647
44.99	     nbUselessRevisions=20827680  nbAssignments=558571  nbFailedAssignments=160249  nbBacktracks=336677
44.99	     nbVisitedNodes=932070  nbRestartNogoods=148  mapSize=283248  nbInferences=61374  nbTooLargeKeys=0
44.99	       =>  wckTime=44.247  cpuTime=43.51  mem=51M130
56.32	   
56.32	   search
56.32	     run=24  nbConstraintChecks=58004259  nbValidityChecks=48913934  nbPropagations=12266790  nbRevisions=43619290
56.32	     nbUselessRevisions=29633107  nbAssignments=702678  nbFailedAssignments=205807  nbBacktracks=423654
56.32	     nbVisitedNodes=1177853  nbRestartNogoods=157  mapSize=358768  nbInferences=72947  nbTooLargeKeys=0
56.32	       =>  wckTime=55.573  cpuTime=54.73  mem=64M919
56.32	   
56.32	   global
56.32	     nbConstraintChecks=58004485  nbValidityChecks=48914034  nbPropagations=12266835  nbRevisions=43619323
56.32	     nbUselessRevisions=29633107  nbRestartNogoods=157  solvingWckTime=55.574  solvingCpuTime=54.73  expiredTime=no
56.32	     totalExploration=yes  nbFoundSolutions=0  globalCpuTime=55.09
56.32	       =>  wckTime=55.994  cpuTime=55.03  mem=64M919
56.32	   
56.32	s UNSATISFIABLE
56.32	d NODES 702678
56.32	d CHECKS 58004485
56.32	   
56.32	   totalWckTime=56.079  totalCpuTime=55.09

Verifier Data (download as text)

No possible verification on an UNSAT instance

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node6/watcher-197706-1168071098 -o ROOT/results/node6/solver-197706-1168071098 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/197706-1168071098/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.40 1.77 1.87 4/93 6966
/proc/meminfo: memFree=1303152/2055924 swapFree=4165672/4192956
[pid=6965] ppid=6963 vsize=18540 CPUtime=0
/proc/6965/stat : 6965 (runsolver) R 6963 6965 6730 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 155505357 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 268582841639 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/6965/statm: 4635 279 244 17 0 2626 0

[startup+0.108848 s]
/proc/loadavg: 1.40 1.77 1.87 4/93 6966
/proc/meminfo: memFree=1303152/2055924 swapFree=4165672/4192956
[pid=6965] ppid=6963 vsize=914988 CPUtime=0.09
/proc/6965/stat : 6965 (java) S 6963 6965 6730 0 -1 0 2997 0 1 0 7 2 0 0 17 0 8 0 155505357 936947712 2743 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6965/statm: 228747 2743 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.516894 s]
/proc/loadavg: 1.40 1.77 1.87 4/93 6966
/proc/meminfo: memFree=1303152/2055924 swapFree=4165672/4192956
[pid=6965] ppid=6963 vsize=915328 CPUtime=0.49
/proc/6965/stat : 6965 (java) S 6963 6965 6730 0 -1 0 6424 0 1 0 44 5 0 0 18 0 8 0 155505357 937295872 6163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6965/statm: 228832 6163 2148 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33999 s]
/proc/loadavg: 1.40 1.77 1.87 4/100 6973
/proc/meminfo: memFree=1279544/2055924 swapFree=4165672/4192956
[pid=6965] ppid=6963 vsize=915460 CPUtime=1.3
/proc/6965/stat : 6965 (java) R 6963 6965 6730 0 -1 0 8688 0 1 0 123 7 0 0 19 0 8 0 155505357 937431040 8425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073717250 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6965/statm: 228865 8425 2517 14 0 215335 0
[pid=6965/tid=6967] ppid=6963 vsize=915460 CPUtime=0.02
/proc/6965/task/6967/stat : 6967 (java) S 6963 6965 6730 0 -1 64 178 0 0 0 2 0 0 0 16 0 8 0 155505361 937431040 8425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6965/tid=6968] ppid=6963 vsize=915460 CPUtime=0
/proc/6965/task/6968/stat : 6968 (java) S 6963 6965 6730 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155505362 937431040 8425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6965/tid=6969] ppid=6963 vsize=915460 CPUtime=0
/proc/6965/task/6969/stat : 6969 (java) S 6963 6965 6730 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155505362 937431040 8425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6965/tid=6970] ppid=6963 vsize=915460 CPUtime=0
/proc/6965/task/6970/stat : 6970 (java) S 6963 6965 6730 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155505365 937431040 8425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6965/tid=6971] ppid=6963 vsize=915460 CPUtime=0.22
/proc/6965/task/6971/stat : 6971 (java) S 6963 6965 6730 0 -1 64 380 0 0 0 21 1 0 0 18 0 8 0 155505365 937431040 8425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6965/tid=6972] ppid=6963 vsize=915460 CPUtime=0
/proc/6965/task/6972/stat : 6972 (java) S 6963 6965 6730 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155505365 937431040 8425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6965/tid=6973] ppid=6963 vsize=915460 CPUtime=0
/proc/6965/task/6973/stat : 6973 (java) S 6963 6965 6730 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155505365 937431040 8425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915460

[startup+2.98918 s]
/proc/loadavg: 1.45 1.78 1.87 3/100 6973
/proc/meminfo: memFree=1278008/2055924 swapFree=4165672/4192956
[pid=6965] ppid=6963 vsize=915460 CPUtime=2.94
/proc/6965/stat : 6965 (java) R 6963 6965 6730 0 -1 0 9272 0 1 0 287 7 0 0 25 0 8 0 155505357 937431040 9007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073730549 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6965/statm: 228865 9007 2517 14 0 215335 0
[pid=6965/tid=6967] ppid=6963 vsize=915460 CPUtime=0.02
/proc/6965/task/6967/stat : 6967 (java) S 6963 6965 6730 0 -1 64 178 0 0 0 2 0 0 0 17 0 8 0 155505361 937431040 9007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6965/tid=6968] ppid=6963 vsize=915460 CPUtime=0
/proc/6965/task/6968/stat : 6968 (java) S 6963 6965 6730 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155505362 937431040 9007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6965/tid=6969] ppid=6963 vsize=915460 CPUtime=0
/proc/6965/task/6969/stat : 6969 (java) S 6963 6965 6730 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155505362 937431040 9007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6965/tid=6970] ppid=6963 vsize=915460 CPUtime=0
/proc/6965/task/6970/stat : 6970 (java) S 6963 6965 6730 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155505365 937431040 9007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6965/tid=6971] ppid=6963 vsize=915460 CPUtime=0.22
/proc/6965/task/6971/stat : 6971 (java) S 6963 6965 6730 0 -1 64 381 0 0 0 21 1 0 0 16 0 8 0 155505365 937431040 9007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6965/tid=6972] ppid=6963 vsize=915460 CPUtime=0
/proc/6965/task/6972/stat : 6972 (java) S 6963 6965 6730 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155505365 937431040 9007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6965/tid=6973] ppid=6963 vsize=915460 CPUtime=0
/proc/6965/task/6973/stat : 6973 (java) S 6963 6965 6730 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155505365 937431040 9007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915460

[startup+6.26857 s]
/proc/loadavg: 1.45 1.78 1.87 3/100 6973
/proc/meminfo: memFree=1273592/2055924 swapFree=4165672/4192956
[pid=6965] ppid=6963 vsize=915460 CPUtime=6.18
/proc/6965/stat : 6965 (java) R 6963 6965 6730 0 -1 0 10294 0 1 0 610 8 0 0 25 0 8 0 155505357 937431040 10029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073760872 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6965/statm: 228865 10029 2517 14 0 215335 0
[pid=6965/tid=6967] ppid=6963 vsize=915460 CPUtime=0.02
/proc/6965/task/6967/stat : 6967 (java) S 6963 6965 6730 0 -1 64 178 0 0 0 2 0 0 0 16 0 8 0 155505361 937431040 10029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6965/tid=6968] ppid=6963 vsize=915460 CPUtime=0
/proc/6965/task/6968/stat : 6968 (java) S 6963 6965 6730 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155505362 937431040 10029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6965/tid=6969] ppid=6963 vsize=915460 CPUtime=0
/proc/6965/task/6969/stat : 6969 (java) S 6963 6965 6730 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155505362 937431040 10029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6965/tid=6970] ppid=6963 vsize=915460 CPUtime=0
/proc/6965/task/6970/stat : 6970 (java) S 6963 6965 6730 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155505365 937431040 10029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6965/tid=6971] ppid=6963 vsize=915460 CPUtime=0.22
/proc/6965/task/6971/stat : 6971 (java) S 6963 6965 6730 0 -1 64 381 0 0 0 21 1 0 0 16 0 8 0 155505365 937431040 10029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6965/tid=6972] ppid=6963 vsize=915460 CPUtime=0
/proc/6965/task/6972/stat : 6972 (java) S 6963 6965 6730 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155505365 937431040 10029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6965/tid=6973] ppid=6963 vsize=915460 CPUtime=0
/proc/6965/task/6973/stat : 6973 (java) S 6963 6965 6730 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155505365 937431040 10029 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915460

[startup+12.7573 s]
/proc/loadavg: 1.53 1.78 1.87 3/100 6973
/proc/meminfo: memFree=1265080/2055924 swapFree=4165672/4192956
[pid=6965] ppid=6963 vsize=915460 CPUtime=12.61
/proc/6965/stat : 6965 (java) R 6963 6965 6730 0 -1 0 12271 0 1 0 1252 9 0 0 25 0 8 0 155505357 937431040 12006 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073795876 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6965/statm: 228865 12006 2517 14 0 215335 0
[pid=6965/tid=6967] ppid=6963 vsize=915460 CPUtime=0.02
/proc/6965/task/6967/stat : 6967 (java) S 6963 6965 6730 0 -1 64 178 0 0 0 2 0 0 0 16 0 8 0 155505361 937431040 12006 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6965/tid=6968] ppid=6963 vsize=915460 CPUtime=0
/proc/6965/task/6968/stat : 6968 (java) S 6963 6965 6730 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155505362 937431040 12006 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6965/tid=6969] ppid=6963 vsize=915460 CPUtime=0
/proc/6965/task/6969/stat : 6969 (java) S 6963 6965 6730 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155505362 937431040 12006 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6965/tid=6970] ppid=6963 vsize=915460 CPUtime=0
/proc/6965/task/6970/stat : 6970 (java) S 6963 6965 6730 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155505365 937431040 12006 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6965/tid=6971] ppid=6963 vsize=915460 CPUtime=0.22
/proc/6965/task/6971/stat : 6971 (java) S 6963 6965 6730 0 -1 64 381 0 0 0 21 1 0 0 17 0 8 0 155505365 937431040 12006 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6965/tid=6972] ppid=6963 vsize=915460 CPUtime=0
/proc/6965/task/6972/stat : 6972 (java) S 6963 6965 6730 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155505365 937431040 12006 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6965/tid=6973] ppid=6963 vsize=915460 CPUtime=0
/proc/6965/task/6973/stat : 6973 (java) S 6963 6965 6730 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155505365 937431040 12006 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915460

[startup+25.6028 s]
/proc/loadavg: 1.60 1.79 1.87 3/100 6973
/proc/meminfo: memFree=1248824/2055924 swapFree=4165672/4192956
[pid=6965] ppid=6963 vsize=915460 CPUtime=25.34
/proc/6965/stat : 6965 (java) R 6963 6965 6730 0 -1 0 16523 0 1 0 2523 11 0 0 25 0 8 0 155505357 937431040 16258 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073732922 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6965/statm: 228865 16258 2517 14 0 215335 0
[pid=6965/tid=6967] ppid=6963 vsize=915460 CPUtime=0.02
/proc/6965/task/6967/stat : 6967 (java) S 6963 6965 6730 0 -1 64 178 0 0 0 2 0 0 0 16 0 8 0 155505361 937431040 16258 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6965/tid=6968] ppid=6963 vsize=915460 CPUtime=0
/proc/6965/task/6968/stat : 6968 (java) S 6963 6965 6730 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155505362 937431040 16258 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6965/tid=6969] ppid=6963 vsize=915460 CPUtime=0
/proc/6965/task/6969/stat : 6969 (java) S 6963 6965 6730 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155505362 937431040 16258 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6965/tid=6970] ppid=6963 vsize=915460 CPUtime=0
/proc/6965/task/6970/stat : 6970 (java) S 6963 6965 6730 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155505365 937431040 16258 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6965/tid=6971] ppid=6963 vsize=915460 CPUtime=0.22
/proc/6965/task/6971/stat : 6971 (java) S 6963 6965 6730 0 -1 64 381 0 0 0 21 1 0 0 17 0 8 0 155505365 937431040 16258 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6965/tid=6972] ppid=6963 vsize=915460 CPUtime=0
/proc/6965/task/6972/stat : 6972 (java) S 6963 6965 6730 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155505365 937431040 16258 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6965/tid=6973] ppid=6963 vsize=915460 CPUtime=0
/proc/6965/task/6973/stat : 6973 (java) S 6963 6965 6730 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155505365 937431040 16258 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 915460

[startup+51.2108 s]
/proc/loadavg: 1.74 1.81 1.87 3/100 6973
/proc/meminfo: memFree=1219256/2055924 swapFree=4165672/4192956
[pid=6965] ppid=6963 vsize=915460 CPUtime=50.71
/proc/6965/stat : 6965 (java) R 6963 6965 6730 0 -1 0 23689 0 1 0 5058 13 0 0 25 0 8 0 155505357 937431040 23423 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073794087 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6965/statm: 228865 23423 2521 14 0 215335 0
[pid=6965/tid=6967] ppid=6963 vsize=915460 CPUtime=0.25
/proc/6965/task/6967/stat : 6967 (java) S 6963 6965 6730 0 -1 64 6713 0 0 0 23 2 0 0 16 0 8 0 155505361 937431040 23423 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6965/tid=6968] ppid=6963 vsize=915460 CPUtime=0
/proc/6965/task/6968/stat : 6968 (java) S 6963 6965 6730 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155505362 937431040 23423 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6965/tid=6969] ppid=6963 vsize=915460 CPUtime=0
/proc/6965/task/6969/stat : 6969 (java) S 6963 6965 6730 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155505362 937431040 23423 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6965/tid=6970] ppid=6963 vsize=915460 CPUtime=0
/proc/6965/task/6970/stat : 6970 (java) S 6963 6965 6730 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155505365 937431040 23423 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6965/tid=6971] ppid=6963 vsize=915460 CPUtime=0.22
/proc/6965/task/6971/stat : 6971 (java) S 6963 6965 6730 0 -1 64 382 0 0 0 21 1 0 0 16 0 8 0 155505365 937431040 23423 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6965/tid=6972] ppid=6963 vsize=915460 CPUtime=0
/proc/6965/task/6972/stat : 6972 (java) S 6963 6965 6730 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155505365 937431040 23423 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6965/tid=6973] ppid=6963 vsize=915460 CPUtime=0
/proc/6965/task/6973/stat : 6973 (java) S 6963 6965 6730 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155505365 937431040 23423 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 915460

Child status: 0
Real time (s): 56.3484
CPU time (s): 55.8095
CPU user time (s): 55.6545
CPU system time (s): 0.154976
CPU usage (%): 99.0437
Max. virtual memory (cumulated for all children) (KiB): 915460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 55.6545
system time used= 0.154976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23697
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= 1927
involuntary context switches= 3513

runsolver used 0.071989 s user time and 0.19397 s system time

The end

Launcher Data (download as text)

Begin job on node6 on Sat Jan  6 08:11:39 UTC 2007


IDJOB= 197706
IDBENCH= 3506
FILE ID= node6/197706-1168071098

PBS_JOBID= 3475726

Free space on /tmp= 66529 MiB

BENCH NAME= HOME/pub/bench/CPAI06/cril/cril-7.ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/197706-1168071098/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node6/watcher-197706-1168071098 -o ROOT/results/node6/solver-197706-1168071098 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/197706-1168071098/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  7cc7e95e3ab2b5c1b2e8d820acd1fe1b

RANDOM SEED= 273208608

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.240
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.240
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:      2055924 kB
MemFree:       1303632 kB
Buffers:         82236 kB
Cached:         508776 kB
SwapCached:       3036 kB
Active:         376032 kB
Inactive:       280256 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055924 kB
LowFree:       1303632 kB
SwapTotal:     4192956 kB
SwapFree:      4165672 kB
Dirty:            1884 kB
Writeback:           0 kB
Mapped:          84428 kB
Slab:            80644 kB
Committed_AS:  4956368 kB
PageTables:       2468 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= 66529 MiB



End job on node6 on Sat Jan  6 08:12:36 UTC 2007