Trace number 242245

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Abscon 109 ESACUNSAT 4.34534 4.41951

DiagnosticValue
CHECKS816759
NODES69253

General information on the benchmark

Namedimacs/dubois/
dubois-27_ext.xml
MD5SUMa0ae8c608b67bcc7ed6701414c2585cf
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.027994
SatisfiableNO
(Un)Satisfiability was proved
Number of variables81
Number of constraints54
Maximum constraint arity3
Maximum domain size2
Number of constraints which are defined in extension54
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=esac.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/242245-1168378415/unknown.xml
0.37	   
0.37	   domains being loaded...
0.37	   
0.37	   variables being loaded...
0.41	     nbVariables=81  nbDomainTypes=1  minDomainSize=2  maxDomainSize=2
0.41	       =>  wckTime=0.097  cpuTime=0.09  mem=6M951
0.41	   
0.41	   relations being loaded...
0.41	   
0.41	   constraints being loaded...
0.45	     nbConstraints=54  nbRelationTypes=2  nbExtensionStructures=2  nbSharedExtensionStructures=52
0.45	     nbConflictsStructures=2  nbSharedConflictsStructures=52  nbSharedBinaryRepresentations=0  maxDegree=2  maxArity=3
0.45	       =>  wckTime=0.136  cpuTime=0.12  mem=6M951
0.48	   
0.48	   solver IterativeSystematicSolver being built... 
0.67	       =>  wckTime=0.357  cpuTime=0.27  mem=15M346
0.70	   
0.70	   preprocessing
0.70	     nbConstraintChecks=254  nbValidityChecks=911  nbPropagations=339  nbRevisions=475  nbUselessRevisions=369
0.70	     nbSingletonTests=156  nbEffectiveSingletonTests=0  nbESACBranches=2  nbRemovedValues=0  detectedInconsistency=no
0.70	       =>  wckTime=0.03  cpuTime=0.02  mem=15M346
0.73	   
0.73	   search
0.73	     run=0  nbConstraintChecks=114  nbValidityChecks=479  nbPropagations=445  nbRevisions=688  nbUselessRevisions=501
0.73	     nbAssignments=61  nbFailedAssignments=3  nbBacktracks=11  nbVisitedNodes=68  nbRestartNogoods=0  mapSize=3
0.73	     nbInferences=0  nbTooLargeKeys=0
0.73	       =>  wckTime=0.062  cpuTime=0.04  mem=15M346
0.75	   
0.75	   search
0.75	     run=1  nbConstraintChecks=273  nbValidityChecks=1076  nbPropagations=1023  nbRevisions=1635
0.75	     nbUselessRevisions=1153  nbAssignments=130  nbFailedAssignments=9  nbBacktracks=28  nbVisitedNodes=148
0.75	     nbRestartNogoods=2  mapSize=12  nbInferences=0  nbTooLargeKeys=0
0.75	       =>  wckTime=0.079  cpuTime=0.05  mem=15M346
0.76	   
0.76	   search
0.76	     run=2  nbConstraintChecks=492  nbValidityChecks=1782  nbPropagations=1757  nbRevisions=2895
0.76	     nbUselessRevisions=1989  nbAssignments=205  nbFailedAssignments=15  nbBacktracks=52  nbVisitedNodes=237
0.76	     nbRestartNogoods=4  mapSize=24  nbInferences=2  nbTooLargeKeys=0
0.76	       =>  wckTime=0.09  cpuTime=0.06  mem=15M346
0.78	   
0.78	   search
0.78	     run=3  nbConstraintChecks=780  nbValidityChecks=2721  nbPropagations=2694  nbRevisions=4556
0.78	     nbUselessRevisions=3063  nbAssignments=296  nbFailedAssignments=21  nbBacktracks=86  nbVisitedNodes=348
0.78	     nbRestartNogoods=5  mapSize=41  nbInferences=10  nbTooLargeKeys=0
0.78	       =>  wckTime=0.109  cpuTime=0.07  mem=15M346
0.79	   
0.79	   search
0.79	     run=4  nbConstraintChecks=1098  nbValidityChecks=3743  nbPropagations=3862  nbRevisions=6651
0.79	     nbUselessRevisions=4380  nbAssignments=410  nbFailedAssignments=31  nbBacktracks=139  nbVisitedNodes=487
0.79	     nbRestartNogoods=8  mapSize=63  nbInferences=16  nbTooLargeKeys=0
0.79	       =>  wckTime=0.124  cpuTime=0.08  mem=15M346
0.81	   
0.81	   search
0.81	     run=5  nbConstraintChecks=1597  nbValidityChecks=5245  nbPropagations=5354  nbRevisions=9370
0.81	     nbUselessRevisions=6048  nbAssignments=562  nbFailedAssignments=46  nbBacktracks=214  nbVisitedNodes=680
0.81	     nbRestartNogoods=10  mapSize=101  nbInferences=28  nbTooLargeKeys=0
0.81	       =>  wckTime=0.144  cpuTime=0.1  mem=15M346
0.83	   
0.83	   search
0.83	     run=6  nbConstraintChecks=2422  nbValidityChecks=7752  nbPropagations=7437  nbRevisions=13191
0.83	     nbUselessRevisions=8334  nbAssignments=760  nbFailedAssignments=57  nbBacktracks=328  nbVisitedNodes=941
0.83	     nbRestartNogoods=13  mapSize=160  nbInferences=70  nbTooLargeKeys=0
0.83	       =>  wckTime=0.164  cpuTime=0.12  mem=15M346
0.85	   
0.85	   search
0.85	     run=7  nbConstraintChecks=3525  nbValidityChecks=11108  nbPropagations=10325  nbRevisions=18455
0.85	     nbUselessRevisions=11397  nbAssignments=1032  nbFailedAssignments=65  nbBacktracks=499  nbVisitedNodes=1287
0.85	     nbRestartNogoods=17  mapSize=231  nbInferences=129  nbTooLargeKeys=0
0.85	       =>  wckTime=0.185  cpuTime=0.14  mem=15M346
0.89	   
0.89	   search
0.89	     run=8  nbConstraintChecks=5439  nbValidityChecks=16714  nbPropagations=14511  nbRevisions=26048
0.89	     nbUselessRevisions=15693  nbAssignments=1421  nbFailedAssignments=86  nbBacktracks=758  nbVisitedNodes=1815
0.89	     nbRestartNogoods=20  mapSize=369  nbInferences=226  nbTooLargeKeys=0
0.89	       =>  wckTime=0.217  cpuTime=0.17  mem=15M346
0.94	   
0.94	   search
0.94	     run=9  nbConstraintChecks=9006  nbValidityChecks=26219  nbPropagations=20773  nbRevisions=37580
0.94	     nbUselessRevisions=22336  nbAssignments=2082  nbFailedAssignments=95  nbBacktracks=1142  nbVisitedNodes=2726
0.94	     nbRestartNogoods=21  mapSize=616  nbInferences=458  nbTooLargeKeys=0
0.94	       =>  wckTime=0.274  cpuTime=0.2  mem=15M346
1.00	   
1.00	   search
1.00	     run=10  nbConstraintChecks=15616  nbValidityChecks=45129  nbPropagations=31466  nbRevisions=57004
1.00	     nbUselessRevisions=33288  nbAssignments=3103  nbFailedAssignments=98  nbBacktracks=1721  nbVisitedNodes=4168
1.00	     nbRestartNogoods=24  mapSize=1033  nbInferences=873  nbTooLargeKeys=0
1.00	       =>  wckTime=0.336  cpuTime=0.26  mem=15M346
1.10	   
1.10	   search
1.10	     run=11  nbConstraintChecks=31032  nbValidityChecks=90450  nbPropagations=54004  nbRevisions=95650
1.10	     nbUselessRevisions=53032  nbAssignments=4681  nbFailedAssignments=98  nbBacktracks=2586  nbVisitedNodes=6447
1.10	     nbRestartNogoods=28  mapSize=1730  nbInferences=1574  nbTooLargeKeys=0
1.10	       =>  wckTime=0.432  cpuTime=0.35  mem=16M322
1.28	   
1.28	   search
1.28	     run=12  nbConstraintChecks=63075  nbValidityChecks=184512  nbPropagations=101835  nbRevisions=174569
1.28	     nbUselessRevisions=90366  nbAssignments=7290  nbFailedAssignments=98  nbBacktracks=3884  nbVisitedNodes=10356
1.28	     nbRestartNogoods=32  mapSize=3024  nbInferences=2874  nbTooLargeKeys=0
1.28	       =>  wckTime=0.609  cpuTime=0.52  mem=16M322
1.52	   
1.52	   search
1.52	     run=13  nbConstraintChecks=110999  nbValidityChecks=327932  nbPropagations=187480  nbRevisions=313685
1.52	     nbUselessRevisions=153980  nbAssignments=11186  nbFailedAssignments=98  nbBacktracks=5830  nbVisitedNodes=16196
1.52	     nbRestartNogoods=38  mapSize=4964  nbInferences=4818  nbTooLargeKeys=0
1.52	       =>  wckTime=0.853  cpuTime=0.77  mem=16M322
1.80	   
1.80	   search
1.80	     run=14  nbConstraintChecks=180558  nbValidityChecks=535657  nbPropagations=327872  nbRevisions=540076
1.80	     nbUselessRevisions=255819  nbAssignments=16962  nbFailedAssignments=98  nbBacktracks=8750  nbVisitedNodes=24816
1.80	     nbRestartNogoods=42  mapSize=7800  nbInferences=7662  nbTooLargeKeys=0
1.80	       =>  wckTime=1.134  cpuTime=1.05  mem=16M322
2.23	   
2.23	   search
2.23	     run=15  nbConstraintChecks=288472  nbValidityChecks=856807  nbPropagations=553379  nbRevisions=901951
2.23	     nbUselessRevisions=416794  nbAssignments=25728  nbFailedAssignments=98  nbBacktracks=13128  nbVisitedNodes=37958
2.23	     nbRestartNogoods=50  mapSize=12170  nbInferences=12038  nbTooLargeKeys=0
2.23	       =>  wckTime=1.562  cpuTime=1.47  mem=17M297
2.88	   
2.88	   search
2.88	     run=16  nbConstraintChecks=449827  nbValidityChecks=1339604  nbPropagations=906624  nbRevisions=1467134
2.88	     nbUselessRevisions=666488  nbAssignments=38876  nbFailedAssignments=98  nbBacktracks=19696  nbVisitedNodes=57674
2.88	     nbRestartNogoods=56  mapSize=18732  nbInferences=18606  nbTooLargeKeys=0
2.88	       =>  wckTime=2.213  cpuTime=2.11  mem=18M272
3.85	   
3.85	   search
3.85	     run=17  nbConstraintChecks=687876  nbValidityChecks=2048879  nbPropagations=1451505  nbRevisions=2337309
3.85	     nbUselessRevisions=1049258  nbAssignments=58595  nbFailedAssignments=98  nbBacktracks=29548  nbVisitedNodes=87247
3.85	     nbRestartNogoods=61  mapSize=28579  nbInferences=28460  nbTooLargeKeys=0
3.85	       =>  wckTime=3.179  cpuTime=3.07  mem=20M222
4.37	   
4.37	   search
4.37	     run=18  nbConstraintChecks=816505  nbValidityChecks=2435583  nbPropagations=2099962  nbRevisions=3372326
4.37	     nbUselessRevisions=1503952  nbAssignments=69253  nbFailedAssignments=98  nbBacktracks=34881  nbVisitedNodes=103230
4.37	     nbRestartNogoods=68  mapSize=33904  nbInferences=33786  nbTooLargeKeys=0
4.37	       =>  wckTime=3.698  cpuTime=3.59  mem=20M222
4.37	   
4.37	   global
4.37	     nbConstraintChecks=816759  nbValidityChecks=2436494  nbPropagations=2100301  nbRevisions=3372801
4.37	     nbUselessRevisions=1504321  nbRestartNogoods=68  solvingWckTime=3.699  solvingCpuTime=3.59  expiredTime=no
4.37	     totalExploration=yes  nbFoundSolutions=0  globalCpuTime=3.91
4.37	       =>  wckTime=4.058  cpuTime=3.86  mem=20M222
4.37	   
4.37	s UNSATISFIABLE
4.37	d NODES 69253
4.37	d CHECKS 816759
4.37	   
4.37	   totalWckTime=4.138  totalCpuTime=3.91

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/node17/watcher-242245-1168378415 -o ROOT/results/node17/solver-242245-1168378415 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/242245-1168378415/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: 0.92 1.04 1.27 3/81 5783
/proc/meminfo: memFree=1719032/2055920 swapFree=4192812/4192956
[pid=5782] ppid=5775 vsize=1784 CPUtime=0
/proc/5782/stat : 5782 (java) D 5775 5782 5639 0 -1 0 169 0 0 0 0 0 0 0 19 0 1 0 186236283 1826816 140 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/5782/statm: 454 145 111 14 0 99 0

[startup+0.106981 s]
/proc/loadavg: 0.92 1.04 1.27 3/81 5783
/proc/meminfo: memFree=1719032/2055920 swapFree=4192812/4192956
[pid=5782] ppid=5775 vsize=914988 CPUtime=0.08
/proc/5782/stat : 5782 (java) R 5775 5782 5639 0 -1 0 3028 0 1 0 7 1 0 0 17 0 8 0 186236283 936947712 2774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153785378 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5782/statm: 228747 2776 1439 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.515017 s]
/proc/loadavg: 0.92 1.04 1.27 3/81 5783
/proc/meminfo: memFree=1719032/2055920 swapFree=4192812/4192956
[pid=5782] ppid=5775 vsize=915460 CPUtime=0.49
/proc/5782/stat : 5782 (java) R 5775 5782 5639 0 -1 0 6600 0 1 0 45 4 0 0 18 0 8 0 186236283 937431040 6338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5782/statm: 228865 6338 2377 14 0 215335 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915460

[startup+1.3361 s]
/proc/loadavg: 0.92 1.04 1.27 3/101 5804
/proc/meminfo: memFree=1686360/2055920 swapFree=4192812/4192956
[pid=5782] ppid=5775 vsize=915460 CPUtime=1.3
/proc/5782/stat : 5782 (java) R 5775 5782 5639 0 -1 0 8909 0 1 0 124 6 0 0 25 0 8 0 186236283 937431040 8647 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073693243 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5782/statm: 228865 8647 2527 14 0 215335 0
[pid=5782/tid=5784] ppid=5775 vsize=915460 CPUtime=0.02
/proc/5782/task/5784/stat : 5784 (java) S 5775 5782 5639 0 -1 64 125 0 0 0 2 0 0 0 16 0 8 0 186236287 937431040 8647 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5782/tid=5785] ppid=5775 vsize=915460 CPUtime=0
/proc/5782/task/5785/stat : 5785 (java) S 5775 5782 5639 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 186236287 937431040 8647 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5782/tid=5786] ppid=5775 vsize=915460 CPUtime=0
/proc/5782/task/5786/stat : 5786 (java) S 5775 5782 5639 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 186236287 937431040 8647 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5782/tid=5792] ppid=5775 vsize=915460 CPUtime=0
/proc/5782/task/5792/stat : 5792 (java) S 5775 5782 5639 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 186236290 937431040 8647 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5782/tid=5793] ppid=5775 vsize=915460 CPUtime=0.18
/proc/5782/task/5793/stat : 5793 (java) S 5775 5782 5639 0 -1 64 369 0 0 0 17 1 0 0 15 0 8 0 186236291 937431040 8647 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5782/tid=5794] ppid=5775 vsize=915460 CPUtime=0
/proc/5782/task/5794/stat : 5794 (java) S 5775 5782 5639 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 186236291 937431040 8647 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5782/tid=5795] ppid=5775 vsize=915460 CPUtime=0
/proc/5782/task/5795/stat : 5795 (java) S 5775 5782 5639 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 186236291 937431040 8647 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915460

[startup+2.97327 s]
/proc/loadavg: 0.92 1.04 1.27 3/101 5804
/proc/meminfo: memFree=1684760/2055920 swapFree=4192812/4192956
[pid=5782] ppid=5775 vsize=915460 CPUtime=2.94
/proc/5782/stat : 5782 (java) R 5775 5782 5639 0 -1 0 9471 0 1 0 287 7 0 0 25 0 8 0 186236283 937431040 9208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073672881 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5782/statm: 228865 9208 2527 14 0 215335 0
[pid=5782/tid=5784] ppid=5775 vsize=915460 CPUtime=0.02
/proc/5782/task/5784/stat : 5784 (java) S 5775 5782 5639 0 -1 64 125 0 0 0 2 0 0 0 16 0 8 0 186236287 937431040 9208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5782/tid=5785] ppid=5775 vsize=915460 CPUtime=0
/proc/5782/task/5785/stat : 5785 (java) S 5775 5782 5639 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 186236287 937431040 9208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5782/tid=5786] ppid=5775 vsize=915460 CPUtime=0
/proc/5782/task/5786/stat : 5786 (java) S 5775 5782 5639 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 186236287 937431040 9208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5782/tid=5792] ppid=5775 vsize=915460 CPUtime=0
/proc/5782/task/5792/stat : 5792 (java) S 5775 5782 5639 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 186236290 937431040 9208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5782/tid=5793] ppid=5775 vsize=915460 CPUtime=0.18
/proc/5782/task/5793/stat : 5793 (java) S 5775 5782 5639 0 -1 64 370 0 0 0 17 1 0 0 17 0 8 0 186236291 937431040 9208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5782/tid=5794] ppid=5775 vsize=915460 CPUtime=0
/proc/5782/task/5794/stat : 5794 (java) S 5775 5782 5639 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 186236291 937431040 9208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5782/tid=5795] ppid=5775 vsize=915460 CPUtime=0
/proc/5782/task/5795/stat : 5795 (java) S 5775 5782 5639 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 186236291 937431040 9208 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) 915460

Child status: 0
Real time (s): 4.41951
CPU time (s): 4.34534
CPU user time (s): 4.26435
CPU system time (s): 0.080987
CPU usage (%): 98.3216
Max. virtual memory (cumulated for all children) (KiB): 915460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.26435
system time used= 0.080987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10073
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= 1085
involuntary context switches= 1309

runsolver used 0.008998 s user time and 0.019996 s system time

The end

Launcher Data (download as text)

Begin job on node17 on Tue Jan  9 21:33:35 UTC 2007


IDJOB= 242245
IDBENCH= 7378
FILE ID= node17/242245-1168378415

PBS_JOBID= 3522349

Free space on /tmp= 66559 MiB

BENCH NAME= HOME/pub/bench/CPAI06/dimacs/dubois/dubois-27_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/242245-1168378415/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node17/watcher-242245-1168378415 -o ROOT/results/node17/solver-242245-1168378415 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/242245-1168378415/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  a0ae8c608b67bcc7ed6701414c2585cf

RANDOM SEED= 299387717

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.236
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.236
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:       1719112 kB
Buffers:         68428 kB
Cached:         150396 kB
SwapCached:          0 kB
Active:         174688 kB
Inactive:       104448 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1719112 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2188 kB
Writeback:           0 kB
Mapped:          77092 kB
Slab:            42648 kB
Committed_AS:  5743220 kB
PageTables:       2156 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= 66559 MiB



End job on node17 on Tue Jan  9 21:33:39 UTC 2007