Trace number 198737

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 74.9826 75.2596

DiagnosticValue
CHECKS233267108
NODES216775

General information on the benchmark

Namerlfap/rlfapScens11/
scen11-f4.xml
MD5SUM5dcfba2c920df87fed4f833be49fd112
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark40.6638
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables680
Number of constraints4103
Maximum constraint arity2
Maximum domain size40
Number of constraints which are defined in extension0
Number of constraints which are defined in intension4103
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=esac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/198737-1168130544/unknown.xml
0.38	   
0.38	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.49	     nbVariables=680  nbDomainTypes=5  minDomainSize=6  maxDomainSize=40
0.49	       =>  wckTime=0.171  cpuTime=0.13  mem=8M837
0.49	   
0.49	   predicates being loaded...
0.49	   
0.49	   constraints being loaded...
1.26	     nbConstraints=4103  nbConvertedConstraints=4103  nbConvertConstraintsChecks=196644  nbExtensionStructures=173
1.26	     nbSharedExtensionStructures=3930  nbConflictsStructures=173  nbSharedConflictsStructures=3930
1.26	     nbSharedBinaryRepresentations=11189  maxDegree=62  maxArity=2
1.26	       =>  wckTime=0.945  cpuTime=0.77  mem=29M316
1.34	   
1.34	   solver IterativeSystematicSolver being built... 
1.55	       =>  wckTime=1.234  cpuTime=0.93  mem=20M410
1.78	   
1.78	   preprocessing
1.78	     nbConstraintChecks=269452  nbPropagations=4676  nbRevisions=11982  nbUselessRevisions=6292  nbSingletonTests=723
1.78	     nbEffectiveSingletonTests=0  nbESACBranches=5  nbRemovedValues=2328  detectedInconsistency=no
1.78	       =>  wckTime=0.22  cpuTime=0.19  mem=20M410
1.84	   
1.84	   search
1.84	     run=0  nbConstraintChecks=45173  nbPropagations=5206  nbRevisions=14542  nbUselessRevisions=7705  nbAssignments=43
1.84	     nbFailedAssignments=9  nbBacktracks=10  nbVisitedNodes=56  nbRestartNogoods=0  mapSize=4  nbInferences=0
1.84	     nbTooLargeKeys=0
1.84	       =>  wckTime=0.286  cpuTime=0.25  mem=21M384
1.87	   
1.87	   search
1.87	     run=1  nbConstraintChecks=114277  nbPropagations=11110  nbRevisions=33377  nbUselessRevisions=17932
1.87	     nbAssignments=101  nbFailedAssignments=27  nbBacktracks=26  nbVisitedNodes=139  nbRestartNogoods=2  mapSize=12
1.87	     nbInferences=0  nbTooLargeKeys=0
1.87	       =>  wckTime=0.316  cpuTime=0.28  mem=21M384
1.91	   
1.91	   search
1.91	     run=2  nbConstraintChecks=216461  nbPropagations=17910  nbRevisions=59025  nbUselessRevisions=32352
1.91	     nbAssignments=186  nbFailedAssignments=72  nbBacktracks=48  nbVisitedNodes=278  nbRestartNogoods=4  mapSize=23
1.91	     nbInferences=0  nbTooLargeKeys=0
1.91	       =>  wckTime=0.352  cpuTime=0.32  mem=21M384
1.95	   
1.95	   search
1.95	     run=3  nbConstraintChecks=314663  nbPropagations=25634  nbRevisions=91810  nbUselessRevisions=51187
1.95	     nbAssignments=276  nbFailedAssignments=110  nbBacktracks=84  nbVisitedNodes=421  nbRestartNogoods=9  mapSize=41
1.95	     nbInferences=0  nbTooLargeKeys=0
1.95	       =>  wckTime=0.397  cpuTime=0.36  mem=21M384
2.02	   
2.02	   search
2.02	     run=4  nbConstraintChecks=511701  nbPropagations=35075  nbRevisions=139057  nbUselessRevisions=79493
2.02	     nbAssignments=418  nbFailedAssignments=184  nbBacktracks=135  nbVisitedNodes=670  nbRestartNogoods=13  mapSize=72
2.02	     nbInferences=3  nbTooLargeKeys=0
2.02	       =>  wckTime=0.459  cpuTime=0.42  mem=22M359
2.11	   
2.11	   search
2.11	     run=5  nbConstraintChecks=724150  nbPropagations=46503  nbRevisions=206056  nbUselessRevisions=120021
2.11	     nbAssignments=662  nbFailedAssignments=339  nbBacktracks=213  nbVisitedNodes=1106  nbRestartNogoods=26  mapSize=110
2.11	     nbInferences=4  nbTooLargeKeys=0
2.11	       =>  wckTime=0.55  cpuTime=0.51  mem=22M359
2.24	   
2.24	   search
2.24	     run=6  nbConstraintChecks=1107957  nbPropagations=61528  nbRevisions=301904  nbUselessRevisions=178852
2.24	     nbAssignments=977  nbFailedAssignments=484  nbBacktracks=327  nbVisitedNodes=1581  nbRestartNogoods=38  mapSize=173
2.24	     nbInferences=6  nbTooLargeKeys=0
2.24	       =>  wckTime=0.683  cpuTime=0.63  mem=23M333
2.42	   
2.42	   search
2.42	     run=7  nbConstraintChecks=1530466  nbPropagations=80464  nbRevisions=438460  nbUselessRevisions=263152
2.42	     nbAssignments=1479  nbFailedAssignments=807  nbBacktracks=497  nbVisitedNodes=2486  nbRestartNogoods=49
2.42	     mapSize=258  nbInferences=9  nbTooLargeKeys=0
2.42	       =>  wckTime=0.865  cpuTime=0.8  mem=23M333
2.69	   
2.69	   search
2.69	     run=8  nbConstraintChecks=2338737  nbPropagations=107232  nbRevisions=641558  nbUselessRevisions=392229
2.69	     nbAssignments=2123  nbFailedAssignments=1171  nbBacktracks=753  nbVisitedNodes=3652  nbRestartNogoods=68
2.69	     mapSize=410  nbInferences=26  nbTooLargeKeys=0
2.69	       =>  wckTime=1.132  cpuTime=1.05  mem=25M281
3.04	   
3.04	   search
3.04	     run=9  nbConstraintChecks=3237680  nbPropagations=142717  nbRevisions=934483  nbUselessRevisions=579668
3.04	     nbAssignments=3144  nbFailedAssignments=1780  nbBacktracks=1139  nbVisitedNodes=5464  nbRestartNogoods=72
3.04	     mapSize=601  nbInferences=48  nbTooLargeKeys=0
3.04	       =>  wckTime=1.486  cpuTime=1.4  mem=27M229
3.66	   
3.66	   search
3.66	     run=10  nbConstraintChecks=5235851  nbPropagations=197677  nbRevisions=1403502  nbUselessRevisions=884035
3.66	     nbAssignments=4688  nbFailedAssignments=2706  nbBacktracks=1715  nbVisitedNodes=8264  nbRestartNogoods=85
3.66	     mapSize=938  nbInferences=84  nbTooLargeKeys=0
3.66	       =>  wckTime=2.107  cpuTime=2.0  mem=30M152
4.43	   
4.43	   search
4.43	     run=11  nbConstraintChecks=7236538  nbPropagations=272030  nbRevisions=2070707  nbUselessRevisions=1316826
4.43	     nbAssignments=6984  nbFailedAssignments=4099  nbBacktracks=2580  nbVisitedNodes=12368  nbRestartNogoods=91
4.43	     mapSize=1371  nbInferences=114  nbTooLargeKeys=0
4.43	       =>  wckTime=2.874  cpuTime=2.75  mem=34M49
5.61	   
5.61	   search
5.61	     run=12  nbConstraintChecks=10609070  nbPropagations=379341  nbRevisions=3052409  nbUselessRevisions=1960891
5.61	     nbAssignments=10293  nbFailedAssignments=5965  nbBacktracks=3877  nbVisitedNodes=18178  nbRestartNogoods=106
5.61	     mapSize=2031  nbInferences=221  nbTooLargeKeys=0
5.61	       =>  wckTime=4.056  cpuTime=3.92  mem=40M868
7.46	   
7.46	   search
7.46	     run=13  nbConstraintChecks=16066995  nbPropagations=539232  nbRevisions=4542912  nbUselessRevisions=2941279
7.46	     nbAssignments=15365  nbFailedAssignments=8883  nbBacktracks=5824  nbVisitedNodes=27171  nbRestartNogoods=121
7.46	     mapSize=3059  nbInferences=369  nbTooLargeKeys=0
7.46	       =>  wckTime=5.901  cpuTime=5.75  mem=50M609
10.33	   
10.33	   search
10.33	     run=14  nbConstraintChecks=25101440  nbPropagations=779664  nbRevisions=6823976  nbUselessRevisions=4436939
10.33	     nbAssignments=23399  nbFailedAssignments=13829  nbBacktracks=8744  nbVisitedNodes=41627  nbRestartNogoods=135
10.33	     mapSize=4579  nbInferences=534  nbTooLargeKeys=0
10.33	       =>  wckTime=8.771  cpuTime=8.55  mem=33M705
14.47	   
14.47	   search
14.47	     run=15  nbConstraintChecks=37604422  nbPropagations=1136893  nbRevisions=10232413  nbUselessRevisions=6659850
14.47	     nbAssignments=35032  nbFailedAssignments=20650  nbBacktracks=13123  nbVisitedNodes=62405  nbRestartNogoods=166
14.47	     mapSize=6804  nbInferences=961  nbTooLargeKeys=0
14.47	       =>  wckTime=12.913  cpuTime=12.66  mem=56M424
20.94	   
20.94	   search
20.94	     run=16  nbConstraintChecks=57481719  nbPropagations=1681316  nbRevisions=15336223  nbUselessRevisions=9956656
20.94	     nbAssignments=52479  nbFailedAssignments=30340  nbBacktracks=19691  nbVisitedNodes=93286  nbRestartNogoods=198
20.94	     mapSize=10104  nbInferences=2094  nbTooLargeKeys=0
20.94	       =>  wckTime=19.385  cpuTime=19.02  mem=64M2
28.62	   
28.62	   search
28.62	     run=17  nbConstraintChecks=81972254  nbPropagations=2465327  nbRevisions=22761362  nbUselessRevisions=14825202
28.62	     nbAssignments=75938  nbFailedAssignments=43402  nbBacktracks=29543  nbVisitedNodes=134788  nbRestartNogoods=236
28.62	     mapSize=15080  nbInferences=2634  nbTooLargeKeys=0
28.62	       =>  wckTime=27.064  cpuTime=26.64  mem=87M232
41.32	   
41.32	   search
41.32	     run=18  nbConstraintChecks=124533458  nbPropagations=3643429  nbRevisions=33943955  nbUselessRevisions=22152166
41.33	     nbAssignments=113814  nbFailedAssignments=64963  nbBacktracks=44324  nbVisitedNodes=201963  nbRestartNogoods=266
41.33	     mapSize=22511  nbInferences=4164  nbTooLargeKeys=0
41.33	       =>  wckTime=39.769  cpuTime=39.21  mem=111M215
59.44	   
59.44	   search
59.44	     run=19  nbConstraintChecks=181948210  nbPropagations=5364741  nbRevisions=50700036  nbUselessRevisions=33194867
59.44	     nbAssignments=170157  nbFailedAssignments=97995  nbBacktracks=66495  nbVisitedNodes=302266  nbRestartNogoods=302
59.44	     mapSize=33725  nbInferences=5301  nbTooLargeKeys=0
59.44	       =>  wckTime=57.883  cpuTime=57.22  mem=169M216
75.19	   
75.19	   search
75.19	     run=20  nbConstraintChecks=232997656  nbPropagations=7575852  nbRevisions=72500444  nbUselessRevisions=47692637
75.19	     nbAssignments=216775  nbFailedAssignments=123862  nbBacktracks=85818  nbVisitedNodes=384486  nbRestartNogoods=319
75.19	     mapSize=43431  nbInferences=6729  nbTooLargeKeys=0
75.19	       =>  wckTime=73.632  cpuTime=72.86  mem=214M295
75.19	   
75.19	   global
75.19	     nbConstraintChecks=233267108  nbPropagations=7580528  nbRevisions=72512426  nbUselessRevisions=47698929
75.19	     nbRestartNogoods=319  solvingWckTime=73.634  solvingCpuTime=72.86  expiredTime=no  totalExploration=yes
75.19	     nbFoundSolutions=0  globalCpuTime=73.84
75.19	       =>  wckTime=74.87  cpuTime=73.79  mem=214M295
75.19	   
75.19	s UNSATISFIABLE
75.19	d NODES 216775
75.19	d CHECKS 233267108
75.19	   
75.19	   totalWckTime=74.952  totalCpuTime=73.84

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/node9/watcher-198737-1168130544 -o ROOT/results/node9/solver-198737-1168130544 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/198737-1168130544/unknown.xml 

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

/proc/loadavg: 2.00 2.00 1.94 2/87 3070
/proc/meminfo: memFree=1609608/2055920 swapFree=4191880/4192956
[pid=3069] ppid=3067 vsize=18540 CPUtime=0
/proc/3069/stat : 3069 (runsolver) R 3067 3069 2852 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 161449571 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 215418989863 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/3069/statm: 4635 279 244 17 0 2626 0

[startup+0.102594 s]
/proc/loadavg: 2.00 2.00 1.94 2/87 3070
/proc/meminfo: memFree=1609608/2055920 swapFree=4191880/4192956
[pid=3069] ppid=3067 vsize=914988 CPUtime=0.08
/proc/3069/stat : 3069 (java) R 3067 3069 2852 0 -1 0 2978 0 1 0 7 1 0 0 20 0 8 0 161449571 936947712 2724 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155253377 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3069/statm: 228747 2724 1422 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.511636 s]
/proc/loadavg: 2.00 2.00 1.94 2/87 3070
/proc/meminfo: memFree=1609608/2055920 swapFree=4191880/4192956
[pid=3069] ppid=3067 vsize=915328 CPUtime=0.49
/proc/3069/stat : 3069 (java) R 3067 3069 2852 0 -1 0 6479 0 1 0 44 5 0 0 18 0 8 0 161449571 937295872 6218 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3069/statm: 228832 6218 2147 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33673 s]
/proc/loadavg: 2.00 2.00 1.94 3/94 3077
/proc/meminfo: memFree=1573520/2055920 swapFree=4191880/4192956
[pid=3069] ppid=3067 vsize=915760 CPUtime=1.31
/proc/3069/stat : 3069 (java) R 3067 3069 2852 0 -1 0 12442 0 1 0 105 26 0 0 24 0 8 0 161449571 937738240 12179 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3069/statm: 228940 12179 2182 14 0 215410 0
[pid=3069/tid=3071] ppid=3067 vsize=915760 CPUtime=0.06
/proc/3069/task/3071/stat : 3071 (java) R 3067 3069 2852 0 -1 64 575 0 0 0 6 0 0 0 16 0 8 0 161449575 937738240 12179 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155526115 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3069/tid=3072] ppid=3067 vsize=915760 CPUtime=0
/proc/3069/task/3072/stat : 3072 (java) S 3067 3069 2852 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 161449576 937738240 12179 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3069/tid=3073] ppid=3067 vsize=915760 CPUtime=0
/proc/3069/task/3073/stat : 3073 (java) S 3067 3069 2852 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 161449576 937738240 12179 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3069/tid=3074] ppid=3067 vsize=915760 CPUtime=0
/proc/3069/task/3074/stat : 3074 (java) S 3067 3069 2852 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 161449579 937738240 12179 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3069/tid=3075] ppid=3067 vsize=915760 CPUtime=0.21
/proc/3069/task/3075/stat : 3075 (java) S 3067 3069 2852 0 -1 64 433 0 0 0 20 1 0 0 15 0 8 0 161449579 937738240 12179 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3069/tid=3076] ppid=3067 vsize=915760 CPUtime=0
/proc/3069/task/3076/stat : 3076 (java) S 3067 3069 2852 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 161449579 937738240 12179 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3069/tid=3077] ppid=3067 vsize=915760 CPUtime=0
/proc/3069/task/3077/stat : 3077 (java) S 3067 3069 2852 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161449579 937738240 12179 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915760

[startup+2.98492 s]
/proc/loadavg: 2.00 2.00 1.94 3/94 3077
/proc/meminfo: memFree=1566352/2055920 swapFree=4191880/4192956
[pid=3069] ppid=3067 vsize=915720 CPUtime=2.93
/proc/3069/stat : 3069 (java) R 3067 3069 2852 0 -1 0 13240 0 1 0 266 27 0 0 25 0 8 0 161449571 937697280 12976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074018928 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3069/statm: 228930 12976 2541 14 0 215400 0
[pid=3069/tid=3071] ppid=3067 vsize=915720 CPUtime=0.06
/proc/3069/task/3071/stat : 3071 (java) S 3067 3069 2852 0 -1 64 881 0 0 0 6 0 0 0 17 0 8 0 161449575 937697280 12976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3069/tid=3072] ppid=3067 vsize=915720 CPUtime=0
/proc/3069/task/3072/stat : 3072 (java) S 3067 3069 2852 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161449576 937697280 12976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3069/tid=3073] ppid=3067 vsize=915720 CPUtime=0
/proc/3069/task/3073/stat : 3073 (java) S 3067 3069 2852 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161449576 937697280 12976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3069/tid=3074] ppid=3067 vsize=915720 CPUtime=0
/proc/3069/task/3074/stat : 3074 (java) S 3067 3069 2852 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 161449579 937697280 12976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3069/tid=3075] ppid=3067 vsize=915720 CPUtime=0.34
/proc/3069/task/3075/stat : 3075 (java) S 3067 3069 2852 0 -1 64 496 0 0 0 32 2 0 0 15 0 8 0 161449579 937697280 12976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3069/tid=3076] ppid=3067 vsize=915720 CPUtime=0
/proc/3069/task/3076/stat : 3076 (java) S 3067 3069 2852 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 161449579 937697280 12976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3069/tid=3077] ppid=3067 vsize=915720 CPUtime=0
/proc/3069/task/3077/stat : 3077 (java) S 3067 3069 2852 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161449579 937697280 12976 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915720

[startup+6.26429 s]
/proc/loadavg: 2.00 2.00 1.94 3/94 3077
/proc/meminfo: memFree=1557392/2055920 swapFree=4191880/4192956
[pid=3069] ppid=3067 vsize=915720 CPUtime=6.18
/proc/3069/stat : 3069 (java) R 3067 3069 2852 0 -1 0 15867 0 1 0 589 29 0 0 25 0 8 0 161449571 937697280 15601 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074052721 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3069/statm: 228930 15601 2541 14 0 215400 0
[pid=3069/tid=3071] ppid=3067 vsize=915720 CPUtime=0.06
/proc/3069/task/3071/stat : 3071 (java) S 3067 3069 2852 0 -1 64 881 0 0 0 6 0 0 0 16 0 8 0 161449575 937697280 15601 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3069/tid=3072] ppid=3067 vsize=915720 CPUtime=0
/proc/3069/task/3072/stat : 3072 (java) S 3067 3069 2852 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161449576 937697280 15601 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3069/tid=3073] ppid=3067 vsize=915720 CPUtime=0
/proc/3069/task/3073/stat : 3073 (java) S 3067 3069 2852 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161449576 937697280 15601 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3069/tid=3074] ppid=3067 vsize=915720 CPUtime=0
/proc/3069/task/3074/stat : 3074 (java) S 3067 3069 2852 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 161449579 937697280 15601 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3069/tid=3075] ppid=3067 vsize=915720 CPUtime=0.35
/proc/3069/task/3075/stat : 3075 (java) S 3067 3069 2852 0 -1 64 500 0 0 0 33 2 0 0 16 0 8 0 161449579 937697280 15601 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3069/tid=3076] ppid=3067 vsize=915720 CPUtime=0
/proc/3069/task/3076/stat : 3076 (java) S 3067 3069 2852 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 161449579 937697280 15601 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3069/tid=3077] ppid=3067 vsize=915720 CPUtime=0
/proc/3069/task/3077/stat : 3077 (java) S 3067 3069 2852 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161449579 937697280 15601 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) 915720

[startup+12.757 s]
/proc/loadavg: 2.00 2.00 1.94 3/94 3077
/proc/meminfo: memFree=1527440/2055920 swapFree=4191880/4192956
[pid=3069] ppid=3067 vsize=915720 CPUtime=12.61
/proc/3069/stat : 3069 (java) R 3067 3069 2852 0 -1 0 22033 0 1 0 1230 31 0 0 25 0 8 0 161449571 937697280 21766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074019042 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3069/statm: 228930 21766 2545 14 0 215400 0
[pid=3069/tid=3071] ppid=3067 vsize=915720 CPUtime=0.09
/proc/3069/task/3071/stat : 3071 (java) S 3067 3069 2852 0 -1 64 4897 0 0 0 8 1 0 0 16 0 8 0 161449575 937697280 21766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3069/tid=3072] ppid=3067 vsize=915720 CPUtime=0
/proc/3069/task/3072/stat : 3072 (java) S 3067 3069 2852 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161449576 937697280 21766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3069/tid=3073] ppid=3067 vsize=915720 CPUtime=0
/proc/3069/task/3073/stat : 3073 (java) S 3067 3069 2852 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161449576 937697280 21766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3069/tid=3074] ppid=3067 vsize=915720 CPUtime=0
/proc/3069/task/3074/stat : 3074 (java) S 3067 3069 2852 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 161449579 937697280 21766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3069/tid=3075] ppid=3067 vsize=915720 CPUtime=0.35
/proc/3069/task/3075/stat : 3075 (java) S 3067 3069 2852 0 -1 64 501 0 0 0 33 2 0 0 16 0 8 0 161449579 937697280 21766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3069/tid=3076] ppid=3067 vsize=915720 CPUtime=0
/proc/3069/task/3076/stat : 3076 (java) S 3067 3069 2852 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 161449579 937697280 21766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3069/tid=3077] ppid=3067 vsize=915720 CPUtime=0
/proc/3069/task/3077/stat : 3077 (java) S 3067 3069 2852 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161449579 937697280 21766 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) 915720

[startup+25.6215 s]
/proc/loadavg: 2.00 2.00 1.94 3/101 3148
/proc/meminfo: memFree=1551136/2055920 swapFree=4191880/4192956
[pid=3069] ppid=3067 vsize=915720 CPUtime=25.4
/proc/3069/stat : 3069 (java) R 3067 3069 2852 0 -1 0 34324 0 1 0 2503 37 0 0 25 0 8 0 161449571 937697280 34054 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074064041 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3069/statm: 228930 34054 2545 14 0 215400 0
[pid=3069/tid=3071] ppid=3067 vsize=915720 CPUtime=0.21
/proc/3069/task/3071/stat : 3071 (java) S 3067 3069 2852 0 -1 64 17184 0 0 0 14 7 0 0 17 0 8 0 161449575 937697280 34054 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3069/tid=3072] ppid=3067 vsize=915720 CPUtime=0
/proc/3069/task/3072/stat : 3072 (java) S 3067 3069 2852 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161449576 937697280 34054 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3069/tid=3073] ppid=3067 vsize=915720 CPUtime=0
/proc/3069/task/3073/stat : 3073 (java) S 3067 3069 2852 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161449576 937697280 34054 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3069/tid=3074] ppid=3067 vsize=915720 CPUtime=0
/proc/3069/task/3074/stat : 3074 (java) S 3067 3069 2852 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 161449579 937697280 34054 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3069/tid=3075] ppid=3067 vsize=915720 CPUtime=0.36
/proc/3069/task/3075/stat : 3075 (java) S 3067 3069 2852 0 -1 64 502 0 0 0 34 2 0 0 16 0 8 0 161449579 937697280 34054 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3069/tid=3076] ppid=3067 vsize=915720 CPUtime=0
/proc/3069/task/3076/stat : 3076 (java) S 3067 3069 2852 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 161449579 937697280 34054 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3069/tid=3077] ppid=3067 vsize=915720 CPUtime=0
/proc/3069/task/3077/stat : 3077 (java) S 3067 3069 2852 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161449579 937697280 34054 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 915720

[startup+51.2604 s]
/proc/loadavg: 2.06 2.02 1.95 3/101 3148
/proc/meminfo: memFree=1426720/2055920 swapFree=4191880/4192956
[pid=3069] ppid=3067 vsize=915720 CPUtime=51
/proc/3069/stat : 3069 (java) R 3067 3069 2852 0 -1 0 51139 0 1 0 5057 43 0 0 25 0 8 0 161449571 937697280 50866 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3069/statm: 228930 50866 2545 14 0 215400 0
[pid=3069/tid=3071] ppid=3067 vsize=915720 CPUtime=0.37
/proc/3069/task/3071/stat : 3071 (java) S 3067 3069 2852 0 -1 64 33996 0 0 0 24 13 0 0 16 0 8 0 161449575 937697280 50866 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3069/tid=3072] ppid=3067 vsize=915720 CPUtime=0
/proc/3069/task/3072/stat : 3072 (java) S 3067 3069 2852 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161449576 937697280 50866 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3069/tid=3073] ppid=3067 vsize=915720 CPUtime=0
/proc/3069/task/3073/stat : 3073 (java) S 3067 3069 2852 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161449576 937697280 50866 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3069/tid=3074] ppid=3067 vsize=915720 CPUtime=0
/proc/3069/task/3074/stat : 3074 (java) S 3067 3069 2852 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 161449579 937697280 50866 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3069/tid=3075] ppid=3067 vsize=915720 CPUtime=0.36
/proc/3069/task/3075/stat : 3075 (java) S 3067 3069 2852 0 -1 64 502 0 0 0 34 2 0 0 16 0 8 0 161449579 937697280 50866 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3069/tid=3076] ppid=3067 vsize=915720 CPUtime=0
/proc/3069/task/3076/stat : 3076 (java) S 3067 3069 2852 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 161449579 937697280 50866 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3069/tid=3077] ppid=3067 vsize=915720 CPUtime=0
/proc/3069/task/3077/stat : 3077 (java) S 3067 3069 2852 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161449579 937697280 50866 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 915720

Child status: 0
Real time (s): 75.2596
CPU time (s): 74.9826
CPU user time (s): 74.4347
CPU system time (s): 0.547916
CPU usage (%): 99.632
Max. virtual memory (cumulated for all children) (KiB): 915760

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 74.4347
system time used= 0.547916
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68134
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= 3069
involuntary context switches= 3445

runsolver used 0.082987 s user time and 0.268959 s system time

The end

Launcher Data (download as text)

Begin job on node9 on Sun Jan  7 00:42:24 UTC 2007


IDJOB= 198737
IDBENCH= 3573
FILE ID= node9/198737-1168130544

PBS_JOBID= 3477727

Free space on /tmp= 66527 MiB

BENCH NAME= HOME/pub/bench/CPAI06/rlfap/rlfapScens11/scen11-f4.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/198737-1168130544/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node9/watcher-198737-1168130544 -o ROOT/results/node9/solver-198737-1168130544 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/198737-1168130544/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  5dcfba2c920df87fed4f833be49fd112

RANDOM SEED= 513514947

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.231
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.231
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:       1610088 kB
Buffers:         50400 kB
Cached:         239076 kB
SwapCached:        408 kB
Active:         182616 kB
Inactive:       202768 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1610088 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:           15656 kB
Writeback:           0 kB
Mapped:         108544 kB
Slab:            45192 kB
Committed_AS:  4267780 kB
PageTables:       2396 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66543 MiB



End job on node9 on Sun Jan  7 00:43:40 UTC 2007