Trace number 241810

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 83.7263 84.1163

DiagnosticValue
CHECKS10301713
NODES1419745

General information on the benchmark

Namedimacs/pret/
pret-150-75_ext.xml
MD5SUM8c16a1ce741b5e4e319f46b3cb8ec761
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.045992
SatisfiableNO
(Un)Satisfiability was proved
Number of variables150
Number of constraints100
Maximum constraint arity3
Maximum domain size2
Number of constraints which are defined in extension100
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/241810-1168375662/unknown.xml
0.37	   
0.37	   domains being loaded...
0.37	   
0.37	   variables being loaded...
0.41	     nbVariables=150  nbDomainTypes=1  minDomainSize=2  maxDomainSize=2
0.41	       =>  wckTime=0.1  cpuTime=0.08  mem=6M951
0.41	   
0.41	   relations being loaded...
0.41	   
0.41	   constraints being loaded...
0.46	     nbConstraints=100  nbRelationTypes=2  nbExtensionStructures=2  nbSharedExtensionStructures=98
0.46	     nbConflictsStructures=2  nbSharedConflictsStructures=98  nbSharedBinaryRepresentations=0  maxDegree=2  maxArity=3
0.46	       =>  wckTime=0.146  cpuTime=0.12  mem=7M927
0.49	   
0.49	   solver IterativeSystematicSolver being built... 
0.68	       =>  wckTime=0.366  cpuTime=0.27  mem=15M334
0.72	   
0.72	   preprocessing
0.72	     nbConstraintChecks=585  nbValidityChecks=1415  nbPropagations=471  nbRevisions=713  nbUselessRevisions=581
0.72	     nbSingletonTests=195  nbEffectiveSingletonTests=0  nbESACBranches=3  nbRemovedValues=0  detectedInconsistency=no
0.72	       =>  wckTime=0.043  cpuTime=0.03  mem=15M334
0.75	   
0.75	   search
0.75	     run=0  nbConstraintChecks=121  nbValidityChecks=514  nbPropagations=573  nbRevisions=934  nbUselessRevisions=731
0.75	     nbAssignments=68  nbFailedAssignments=3  nbBacktracks=11  nbVisitedNodes=76  nbRestartNogoods=0  mapSize=4
0.75	     nbInferences=1  nbTooLargeKeys=0
0.75	       =>  wckTime=0.075  cpuTime=0.04  mem=16M326
0.76	   
0.76	   search
0.76	     run=1  nbConstraintChecks=218  nbValidityChecks=995  nbPropagations=1246  nbRevisions=2085  nbUselessRevisions=1611
0.76	     nbAssignments=130  nbFailedAssignments=6  nbBacktracks=28  nbVisitedNodes=144  nbRestartNogoods=3  mapSize=9
0.76	     nbInferences=2  nbTooLargeKeys=0
0.76	       =>  wckTime=0.086  cpuTime=0.05  mem=16M326
0.78	   
0.78	   search
0.78	     run=2  nbConstraintChecks=450  nbValidityChecks=1796  nbPropagations=2084  nbRevisions=3584
0.78	     nbUselessRevisions=2700  nbAssignments=204  nbFailedAssignments=15  nbBacktracks=54  nbVisitedNodes=236
0.78	     nbRestartNogoods=4  mapSize=25  nbInferences=2  nbTooLargeKeys=0
0.78	       =>  wckTime=0.099  cpuTime=0.06  mem=16M326
0.79	   
0.79	   search
0.79	     run=3  nbConstraintChecks=783  nbValidityChecks=2838  nbPropagations=3132  nbRevisions=5518
0.79	     nbUselessRevisions=4056  nbAssignments=326  nbFailedAssignments=27  nbBacktracks=89  nbVisitedNodes=384
0.79	     nbRestartNogoods=6  mapSize=45  nbInferences=4  nbTooLargeKeys=0
0.79	       =>  wckTime=0.116  cpuTime=0.07  mem=16M326
0.81	   
0.81	   search
0.81	     run=4  nbConstraintChecks=1176  nbValidityChecks=4151  nbPropagations=4472  nbRevisions=8018
0.81	     nbUselessRevisions=5750  nbAssignments=483  nbFailedAssignments=36  nbBacktracks=141  nbVisitedNodes=569
0.81	     nbRestartNogoods=10  mapSize=71  nbInferences=14  nbTooLargeKeys=0
0.81	       =>  wckTime=0.133  cpuTime=0.09  mem=16M326
0.83	   
0.83	   search
0.83	     run=5  nbConstraintChecks=1703  nbValidityChecks=5742  nbPropagations=6152  nbRevisions=11196
0.83	     nbUselessRevisions=7819  nbAssignments=640  nbFailedAssignments=56  nbBacktracks=217  nbVisitedNodes=767
0.83	     nbRestartNogoods=12  mapSize=104  nbInferences=15  nbTooLargeKeys=0
0.83	       =>  wckTime=0.154  cpuTime=0.1  mem=16M326
0.85	   
0.85	   search
0.85	     run=6  nbConstraintChecks=2405  nbValidityChecks=7791  nbPropagations=8297  nbRevisions=15248
0.85	     nbUselessRevisions=10343  nbAssignments=838  nbFailedAssignments=83  nbBacktracks=331  nbVisitedNodes=1029
0.85	     nbRestartNogoods=14  mapSize=161  nbInferences=25  nbTooLargeKeys=0
0.85	       =>  wckTime=0.171  cpuTime=0.12  mem=16M326
0.87	   
0.87	   search
0.87	     run=7  nbConstraintChecks=3434  nbValidityChecks=10773  nbPropagations=11137  nbRevisions=20578
0.87	     nbUselessRevisions=13563  nbAssignments=1167  nbFailedAssignments=107  nbBacktracks=501  nbVisitedNodes=1440
0.87	     nbRestartNogoods=18  mapSize=237  nbInferences=59  nbTooLargeKeys=0
0.87	       =>  wckTime=0.197  cpuTime=0.14  mem=16M326
0.92	   
0.92	   search
0.92	     run=8  nbConstraintChecks=4954  nbValidityChecks=15016  nbPropagations=14958  nbRevisions=27748
0.92	     nbUselessRevisions=17797  nbAssignments=1590  nbFailedAssignments=140  nbBacktracks=758  nbVisitedNodes=1986
0.92	     nbRestartNogoods=20  mapSize=356  nbInferences=116  nbTooLargeKeys=0
0.92	       =>  wckTime=0.243  cpuTime=0.18  mem=16M326
0.97	   
0.97	   search
0.97	     run=9  nbConstraintChecks=7539  nbValidityChecks=22181  nbPropagations=20435  nbRevisions=38003
0.97	     nbUselessRevisions=23671  nbAssignments=2182  nbFailedAssignments=198  nbBacktracks=1143  nbVisitedNodes=2779
0.97	     nbRestartNogoods=23  mapSize=542  nbInferences=202  nbTooLargeKeys=0
0.97	       =>  wckTime=0.29  cpuTime=0.22  mem=16M326
1.03	   
1.03	   search
1.03	     run=10  nbConstraintChecks=10854  nbValidityChecks=31740  nbPropagations=28165  nbRevisions=52490
1.03	     nbUselessRevisions=32016  nbAssignments=3059  nbFailedAssignments=218  nbBacktracks=1723  nbVisitedNodes=3926
1.03	     nbRestartNogoods=27  mapSize=810  nbInferences=432  nbTooLargeKeys=0
1.03	       =>  wckTime=0.355  cpuTime=0.27  mem=16M326
1.12	   
1.12	   search
1.12	     run=11  nbConstraintChecks=17954  nbValidityChecks=50930  nbPropagations=40367  nbRevisions=75241
1.12	     nbUselessRevisions=44985  nbAssignments=4415  nbFailedAssignments=253  nbBacktracks=2589  nbVisitedNodes=5744
1.12	     nbRestartNogoods=29  mapSize=1270  nbInferences=827  nbTooLargeKeys=0
1.12	       =>  wckTime=0.442  cpuTime=0.36  mem=16M326
1.24	   
1.24	   search
1.24	     run=12  nbConstraintChecks=25849  nbValidityChecks=73081  nbPropagations=57720  nbRevisions=107645
1.24	     nbUselessRevisions=63664  nbAssignments=6399  nbFailedAssignments=276  nbBacktracks=3888  nbVisitedNodes=8355
1.24	     nbRestartNogoods=31  mapSize=1895  nbInferences=1410  nbTooLargeKeys=0
1.24	       =>  wckTime=0.562  cpuTime=0.48  mem=16M326
1.41	   
1.41	   search
1.41	     run=13  nbConstraintChecks=39245  nbValidityChecks=109346  nbPropagations=83541  nbRevisions=155668
1.41	     nbUselessRevisions=91354  nbAssignments=9323  nbFailedAssignments=276  nbBacktracks=5835  nbVisitedNodes=12191
1.41	     nbRestartNogoods=33  mapSize=2803  nbInferences=2322  nbTooLargeKeys=0
1.41	       =>  wckTime=0.737  cpuTime=0.66  mem=17M301
1.70	   
1.70	   search
1.70	     run=14  nbConstraintChecks=70054  nbValidityChecks=189086  nbPropagations=128420  nbRevisions=236622
1.70	     nbUselessRevisions=136444  nbAssignments=14030  nbFailedAssignments=276  nbBacktracks=8757  nbVisitedNodes=18649
1.70	     nbRestartNogoods=37  mapSize=4549  nbInferences=4073  nbTooLargeKeys=0
1.70	       =>  wckTime=1.021  cpuTime=0.95  mem=17M301
2.16	   
2.16	   search
2.16	     run=15  nbConstraintChecks=127030  nbValidityChecks=335788  nbPropagations=207635  nbRevisions=377112
2.16	     nbUselessRevisions=213522  nbAssignments=21825  nbFailedAssignments=276  nbBacktracks=13135  nbVisitedNodes=29828
2.16	     nbRestartNogoods=42  mapSize=7923  nbInferences=7457  nbTooLargeKeys=0
2.16	       =>  wckTime=1.487  cpuTime=1.41  mem=18M276
2.83	   
2.83	   search
2.83	     run=16  nbConstraintChecks=204402  nbValidityChecks=534984  nbPropagations=333992  nbRevisions=599039
2.83	     nbUselessRevisions=333768  nbAssignments=32848  nbFailedAssignments=276  nbBacktracks=19705  nbVisitedNodes=45274
2.83	     nbRestartNogoods=52  mapSize=12339  nbInferences=11880  nbTooLargeKeys=0
2.83	       =>  wckTime=2.151  cpuTime=2.07  mem=18M276
3.85	   
3.85	   search
3.85	     run=17  nbConstraintChecks=328095  nbValidityChecks=852812  nbPropagations=535422  nbRevisions=950451
3.85	     nbUselessRevisions=522782  nbAssignments=49903  nbFailedAssignments=276  nbBacktracks=29557  nbVisitedNodes=69492
3.85	     nbRestartNogoods=59  mapSize=19495  nbInferences=19043  nbTooLargeKeys=0
3.85	       =>  wckTime=3.17  cpuTime=3.09  mem=20M227
5.36	   
5.36	   search
5.36	     run=18  nbConstraintChecks=504901  nbValidityChecks=1308225  nbPropagations=844182  nbRevisions=1487808
5.36	     nbUselessRevisions=811249  nbAssignments=75119  nbFailedAssignments=276  nbBacktracks=44336  nbVisitedNodes=105115
5.36	     nbRestartNogoods=66  mapSize=29896  nbInferences=29450  nbTooLargeKeys=0
5.36	       =>  wckTime=4.679  cpuTime=4.6  mem=22M177
7.60	   
7.60	   search
7.60	     run=19  nbConstraintChecks=777461  nbValidityChecks=2008230  nbPropagations=1318552  nbRevisions=2310848
7.60	     nbUselessRevisions=1251242  nbAssignments=113036  nbFailedAssignments=276  nbBacktracks=66504
7.60	     nbVisitedNodes=158748  nbRestartNogoods=72  mapSize=45603  nbInferences=45166  nbTooLargeKeys=0
7.60	       =>  wckTime=6.927  cpuTime=6.84  mem=24M127
11.36	   
11.36	   search
11.36	     run=20  nbConstraintChecks=1243449  nbValidityChecks=3216157  nbPropagations=2068670  nbRevisions=3617171
11.36	     nbUselessRevisions=1957036  nbAssignments=175440  nbFailedAssignments=276  nbBacktracks=99756
11.36	     nbVisitedNodes=250272  nbRestartNogoods=81  mapSize=74715  nbInferences=74286  nbTooLargeKeys=0
11.36	       =>  wckTime=10.687  cpuTime=10.59  mem=29M978
16.56	   
16.56	   search
16.56	     run=21  nbConstraintChecks=1865782  nbValidityChecks=4815818  nbPropagations=3196150  nbRevisions=5574589
16.56	     nbUselessRevisions=3008956  nbAssignments=261536  nbFailedAssignments=276  nbBacktracks=149644
16.56	     nbVisitedNodes=372555  nbRestartNogoods=89  mapSize=110897  nbInferences=110473  nbTooLargeKeys=0
16.56	       =>  wckTime=15.887  cpuTime=15.79  mem=36M878
24.53	   
24.53	   search
24.53	     run=22  nbConstraintChecks=2837287  nbValidityChecks=7323788  nbPropagations=4905664  nbRevisions=8545759
24.53	     nbUselessRevisions=4610144  nbAssignments=395156  nbFailedAssignments=276  nbBacktracks=224462
24.53	     nbVisitedNodes=564937  nbRestartNogoods=94  mapSize=169652  nbInferences=169235  nbTooLargeKeys=0
24.53	       =>  wckTime=23.855  cpuTime=23.75  mem=45M655
36.58	   
36.58	   search
36.58	     run=23  nbConstraintChecks=4280425  nbValidityChecks=11043666  nbPropagations=7483393  nbRevisions=13023478
36.58	     nbUselessRevisions=7021802  nbAssignments=593469  nbFailedAssignments=276  nbBacktracks=336689
36.58	     nbVisitedNodes=849307  nbRestartNogoods=101  mapSize=255703  nbInferences=255292  nbTooLargeKeys=0
36.58	       =>  wckTime=35.908  cpuTime=35.59  mem=34M74
54.11	   
54.11	   search
54.11	     run=24  nbConstraintChecks=6465109  nbValidityChecks=16678552  nbPropagations=11371339  nbRevisions=19780540
54.11	     nbUselessRevisions=10665881  nbAssignments=893491  nbFailedAssignments=276  nbBacktracks=505038
54.11	     nbVisitedNodes=1280962  nbRestartNogoods=107  mapSize=387330  nbInferences=386925  nbTooLargeKeys=0
54.11	       =>  wckTime=53.436  cpuTime=53.08  mem=54M758
79.44	   
79.44	   search
79.44	     run=25  nbConstraintChecks=9689665  nbValidityChecks=24986844  nbPropagations=17201880  nbRevisions=29905763
79.44	     nbUselessRevisions=16118548  nbAssignments=1337541  nbFailedAssignments=276  nbBacktracks=757549
79.44	     nbVisitedNodes=1916511  nbRestartNogoods=113  mapSize=578820  nbInferences=578424  nbTooLargeKeys=0
79.44	       =>  wckTime=78.761  cpuTime=77.8  mem=68M806
84.05	   
84.05	   search
84.05	     run=26  nbConstraintChecks=10301128  nbValidityChecks=26569620  nbPropagations=23395450  nbRevisions=40665881
84.05	     nbUselessRevisions=21918811  nbAssignments=1419745  nbFailedAssignments=276  nbBacktracks=801893
84.05	     nbVisitedNodes=2036575  nbRestartNogoods=122  mapSize=616679  nbInferences=616285  nbTooLargeKeys=0
84.05	       =>  wckTime=83.376  cpuTime=82.38  mem=74M509
84.05	   
84.05	   global
84.05	     nbConstraintChecks=10301713  nbValidityChecks=26571035  nbPropagations=23395921  nbRevisions=40666594
84.05	     nbUselessRevisions=21919392  nbRestartNogoods=122  solvingWckTime=83.377  solvingCpuTime=82.38  expiredTime=no
84.05	     totalExploration=yes  nbFoundSolutions=0  globalCpuTime=82.7
84.05	       =>  wckTime=83.745  cpuTime=82.65  mem=74M509
84.06	   
84.06	s UNSATISFIABLE
84.06	d NODES 1419745
84.06	d CHECKS 10301713
84.06	   
84.06	   totalWckTime=83.823  totalCpuTime=82.7

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-241810-1168375662 -o ROOT/results/node9/solver-241810-1168375662 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/241810-1168375662/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.02 0.17 0.32 5/86 7667
/proc/meminfo: memFree=1761456/2055920 swapFree=4191880/4192956
[pid=7666] ppid=7661 vsize=1784 CPUtime=0
/proc/7666/stat : 7666 (java) D 7661 7666 6979 0 -1 0 165 0 0 0 0 0 0 0 19 0 1 0 185961934 1826816 136 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/7666/statm: 446 136 102 14 0 91 0

[startup+0.102863 s]
/proc/loadavg: 0.02 0.17 0.32 5/86 7667
/proc/meminfo: memFree=1761456/2055920 swapFree=4191880/4192956
[pid=7666] ppid=7661 vsize=913228 CPUtime=0.07
/proc/7666/stat : 7666 (java) D 7661 7666 6979 0 -1 0 2919 0 1 0 6 1 0 0 23 0 8 0 185961934 935145472 2665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7666/statm: 228307 2665 1396 14 0 215208 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 913228

[startup+0.510909 s]
/proc/loadavg: 0.02 0.17 0.32 5/86 7667
/proc/meminfo: memFree=1761456/2055920 swapFree=4191880/4192956
[pid=7666] ppid=7661 vsize=915460 CPUtime=0.48
/proc/7666/stat : 7666 (java) R 7661 7666 6979 0 -1 0 6664 0 1 0 43 5 0 0 25 0 8 0 185961934 937431040 6402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072943017 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7666/statm: 228865 6402 2370 14 0 215335 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915460

[startup+1.332 s]
/proc/loadavg: 0.02 0.17 0.32 3/88 7696
/proc/meminfo: memFree=1736984/2055920 swapFree=4191880/4192956
[pid=7666] ppid=7661 vsize=915460 CPUtime=1.31
/proc/7666/stat : 7666 (java) R 7661 7666 6979 0 -1 0 9054 0 1 0 123 8 0 0 16 0 8 0 185961934 937431040 8792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073710875 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7666/statm: 228865 8792 2527 14 0 215335 0
[pid=7666/tid=7682] ppid=7661 vsize=915460 CPUtime=0.02
/proc/7666/task/7682/stat : 7682 (java) S 7661 7666 6979 0 -1 64 138 0 0 0 2 0 0 0 17 0 8 0 185961939 937431040 8792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7666/tid=7683] ppid=7661 vsize=915460 CPUtime=0
/proc/7666/task/7683/stat : 7683 (java) S 7661 7666 6979 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185961940 937431040 8792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7666/tid=7684] ppid=7661 vsize=915460 CPUtime=0
/proc/7666/task/7684/stat : 7684 (java) S 7661 7666 6979 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 185961940 937431040 8792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7666/tid=7688] ppid=7661 vsize=915460 CPUtime=0
/proc/7666/task/7688/stat : 7688 (java) S 7661 7666 6979 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 185961943 937431040 8792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7666/tid=7689] ppid=7661 vsize=915460 CPUtime=0.19
/proc/7666/task/7689/stat : 7689 (java) S 7661 7666 6979 0 -1 64 374 0 0 0 18 1 0 0 15 0 8 0 185961943 937431040 8792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7666/tid=7690] ppid=7661 vsize=915460 CPUtime=0
/proc/7666/task/7690/stat : 7690 (java) S 7661 7666 6979 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 185961943 937431040 8792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7666/tid=7691] ppid=7661 vsize=915460 CPUtime=0
/proc/7666/task/7691/stat : 7691 (java) S 7661 7666 6979 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185961943 937431040 8792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915460

[startup+2.98318 s]
/proc/loadavg: 0.02 0.17 0.32 2/88 7696
/proc/meminfo: memFree=1735576/2055920 swapFree=4191880/4192956
[pid=7666] ppid=7661 vsize=915460 CPUtime=2.95
/proc/7666/stat : 7666 (java) R 7661 7666 6979 0 -1 0 9577 0 1 0 287 8 0 0 25 0 8 0 185961934 937431040 9314 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073686704 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7666/statm: 228865 9314 2527 14 0 215335 0
[pid=7666/tid=7682] ppid=7661 vsize=915460 CPUtime=0.02
/proc/7666/task/7682/stat : 7682 (java) S 7661 7666 6979 0 -1 64 138 0 0 0 2 0 0 0 16 0 8 0 185961939 937431040 9314 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7666/tid=7683] ppid=7661 vsize=915460 CPUtime=0
/proc/7666/task/7683/stat : 7683 (java) S 7661 7666 6979 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185961940 937431040 9314 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7666/tid=7684] ppid=7661 vsize=915460 CPUtime=0
/proc/7666/task/7684/stat : 7684 (java) S 7661 7666 6979 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 185961940 937431040 9314 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7666/tid=7688] ppid=7661 vsize=915460 CPUtime=0
/proc/7666/task/7688/stat : 7688 (java) S 7661 7666 6979 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 185961943 937431040 9314 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7666/tid=7689] ppid=7661 vsize=915460 CPUtime=0.19
/proc/7666/task/7689/stat : 7689 (java) S 7661 7666 6979 0 -1 64 374 0 0 0 18 1 0 0 15 0 8 0 185961943 937431040 9314 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7666/tid=7690] ppid=7661 vsize=915460 CPUtime=0
/proc/7666/task/7690/stat : 7690 (java) S 7661 7666 6979 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 185961943 937431040 9314 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7666/tid=7691] ppid=7661 vsize=915460 CPUtime=0
/proc/7666/task/7691/stat : 7691 (java) S 7661 7666 6979 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185961943 937431040 9314 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915460

[startup+6.27355 s]
/proc/loadavg: 0.10 0.18 0.32 2/88 7696
/proc/meminfo: memFree=1731416/2055920 swapFree=4191880/4192956
[pid=7666] ppid=7661 vsize=915460 CPUtime=6.25
/proc/7666/stat : 7666 (java) R 7661 7666 6979 0 -1 0 10565 0 1 0 616 9 0 0 24 0 8 0 185961934 937431040 10302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073727651 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7666/statm: 228865 10302 2527 14 0 215335 0
[pid=7666/tid=7682] ppid=7661 vsize=915460 CPUtime=0.02
/proc/7666/task/7682/stat : 7682 (java) S 7661 7666 6979 0 -1 64 138 0 0 0 2 0 0 0 16 0 8 0 185961939 937431040 10302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7666/tid=7683] ppid=7661 vsize=915460 CPUtime=0
/proc/7666/task/7683/stat : 7683 (java) S 7661 7666 6979 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185961940 937431040 10302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7666/tid=7684] ppid=7661 vsize=915460 CPUtime=0
/proc/7666/task/7684/stat : 7684 (java) S 7661 7666 6979 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 185961940 937431040 10302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7666/tid=7688] ppid=7661 vsize=915460 CPUtime=0
/proc/7666/task/7688/stat : 7688 (java) S 7661 7666 6979 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 185961943 937431040 10302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7666/tid=7689] ppid=7661 vsize=915460 CPUtime=0.19
/proc/7666/task/7689/stat : 7689 (java) S 7661 7666 6979 0 -1 64 374 0 0 0 18 1 0 0 16 0 8 0 185961943 937431040 10302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7666/tid=7690] ppid=7661 vsize=915460 CPUtime=0
/proc/7666/task/7690/stat : 7690 (java) S 7661 7666 6979 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 185961943 937431040 10302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7666/tid=7691] ppid=7661 vsize=915460 CPUtime=0
/proc/7666/task/7691/stat : 7691 (java) S 7661 7666 6979 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185961943 937431040 10302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 915460

[startup+12.7533 s]
/proc/loadavg: 0.17 0.19 0.32 2/88 7704
/proc/meminfo: memFree=1723040/2055920 swapFree=4191880/4192956
[pid=7666] ppid=7661 vsize=915460 CPUtime=12.72
/proc/7666/stat : 7666 (java) R 7661 7666 6979 0 -1 0 12565 0 1 0 1262 10 0 0 25 0 8 0 185961934 937431040 12302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073671170 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7666/statm: 228865 12302 2527 14 0 215335 0
[pid=7666/tid=7682] ppid=7661 vsize=915460 CPUtime=0.02
/proc/7666/task/7682/stat : 7682 (java) S 7661 7666 6979 0 -1 64 138 0 0 0 2 0 0 0 16 0 8 0 185961939 937431040 12302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7666/tid=7683] ppid=7661 vsize=915460 CPUtime=0
/proc/7666/task/7683/stat : 7683 (java) S 7661 7666 6979 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185961940 937431040 12302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7666/tid=7684] ppid=7661 vsize=915460 CPUtime=0
/proc/7666/task/7684/stat : 7684 (java) S 7661 7666 6979 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 185961940 937431040 12302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7666/tid=7688] ppid=7661 vsize=915460 CPUtime=0
/proc/7666/task/7688/stat : 7688 (java) S 7661 7666 6979 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 185961943 937431040 12302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7666/tid=7689] ppid=7661 vsize=915460 CPUtime=0.19
/proc/7666/task/7689/stat : 7689 (java) S 7661 7666 6979 0 -1 64 375 0 0 0 18 1 0 0 16 0 8 0 185961943 937431040 12302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7666/tid=7690] ppid=7661 vsize=915460 CPUtime=0
/proc/7666/task/7690/stat : 7690 (java) S 7661 7666 6979 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 185961943 937431040 12302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7666/tid=7691] ppid=7661 vsize=915460 CPUtime=0
/proc/7666/task/7691/stat : 7691 (java) S 7661 7666 6979 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185961943 937431040 12302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 915460

[startup+25.5838 s]
/proc/loadavg: 0.35 0.23 0.33 2/88 7705
/proc/meminfo: memFree=1711272/2055920 swapFree=4191880/4192956
[pid=7666] ppid=7661 vsize=915460 CPUtime=25.54
/proc/7666/stat : 7666 (java) R 7661 7666 6979 0 -1 0 16466 0 1 0 2542 12 0 0 25 0 8 0 185961934 937431040 16203 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073671076 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7666/statm: 228865 16203 2527 14 0 215335 0
[pid=7666/tid=7682] ppid=7661 vsize=915460 CPUtime=0.02
/proc/7666/task/7682/stat : 7682 (java) S 7661 7666 6979 0 -1 64 138 0 0 0 2 0 0 0 16 0 8 0 185961939 937431040 16203 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7666/tid=7683] ppid=7661 vsize=915460 CPUtime=0
/proc/7666/task/7683/stat : 7683 (java) S 7661 7666 6979 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185961940 937431040 16203 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7666/tid=7684] ppid=7661 vsize=915460 CPUtime=0
/proc/7666/task/7684/stat : 7684 (java) S 7661 7666 6979 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 185961940 937431040 16203 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7666/tid=7688] ppid=7661 vsize=915460 CPUtime=0
/proc/7666/task/7688/stat : 7688 (java) S 7661 7666 6979 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 185961943 937431040 16203 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7666/tid=7689] ppid=7661 vsize=915460 CPUtime=0.19
/proc/7666/task/7689/stat : 7689 (java) S 7661 7666 6979 0 -1 64 375 0 0 0 18 1 0 0 16 0 8 0 185961943 937431040 16203 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7666/tid=7690] ppid=7661 vsize=915460 CPUtime=0
/proc/7666/task/7690/stat : 7690 (java) S 7661 7666 6979 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 185961943 937431040 16203 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7666/tid=7691] ppid=7661 vsize=915460 CPUtime=0
/proc/7666/task/7691/stat : 7691 (java) S 7661 7666 6979 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185961943 937431040 16204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.54
Current children cumulated vsize (KiB) 915460

[startup+51.2737 s]
/proc/loadavg: 0.57 0.29 0.35 2/88 7751
/proc/meminfo: memFree=1687456/2055920 swapFree=4191880/4192956
[pid=7666] ppid=7661 vsize=915460 CPUtime=51.2
/proc/7666/stat : 7666 (java) R 7661 7666 6979 0 -1 0 21926 0 1 0 5105 15 0 0 25 0 8 0 185961934 937431040 21662 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073700512 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7666/statm: 228865 21662 2531 14 0 215335 0
[pid=7666/tid=7682] ppid=7661 vsize=915460 CPUtime=0.23
/proc/7666/task/7682/stat : 7682 (java) S 7661 7666 6979 0 -1 64 4949 0 0 0 21 2 0 0 16 0 8 0 185961939 937431040 21662 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7666/tid=7683] ppid=7661 vsize=915460 CPUtime=0
/proc/7666/task/7683/stat : 7683 (java) S 7661 7666 6979 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185961940 937431040 21662 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7666/tid=7684] ppid=7661 vsize=915460 CPUtime=0
/proc/7666/task/7684/stat : 7684 (java) S 7661 7666 6979 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185961940 937431040 21662 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7666/tid=7688] ppid=7661 vsize=915460 CPUtime=0
/proc/7666/task/7688/stat : 7688 (java) S 7661 7666 6979 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 185961943 937431040 21662 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7666/tid=7689] ppid=7661 vsize=915460 CPUtime=0.19
/proc/7666/task/7689/stat : 7689 (java) S 7661 7666 6979 0 -1 64 375 0 0 0 18 1 0 0 16 0 8 0 185961943 937431040 21662 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7666/tid=7690] ppid=7661 vsize=915460 CPUtime=0
/proc/7666/task/7690/stat : 7690 (java) S 7661 7666 6979 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 185961943 937431040 21662 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7666/tid=7691] ppid=7661 vsize=915460 CPUtime=0
/proc/7666/task/7691/stat : 7691 (java) S 7661 7666 6979 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185961943 937431040 21662 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.2
Current children cumulated vsize (KiB) 915460

Child status: 0
Real time (s): 84.1163
CPU time (s): 83.7263
CPU user time (s): 83.5193
CPU system time (s): 0.206968
CPU usage (%): 99.5363
Max. virtual memory (cumulated for all children) (KiB): 915460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 83.5193
system time used= 0.206968
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30206
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= 2706
involuntary context switches= 2629

runsolver used 0.087986 s user time and 0.227965 s system time

The end

Launcher Data (download as text)

Begin job on node9 on Tue Jan  9 20:47:45 UTC 2007


IDJOB= 241810
IDBENCH= 7348
FILE ID= node9/241810-1168375662

PBS_JOBID= 3522264

Free space on /tmp= 66544 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  8c16a1ce741b5e4e319f46b3cb8ec761

RANDOM SEED= 161368856

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:       1762408 kB
Buffers:         42516 kB
Cached:         158832 kB
SwapCached:        408 kB
Active:         161424 kB
Inactive:        87304 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1762408 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            5108 kB
Writeback:           0 kB
Mapped:          59168 kB
Slab:            29688 kB
Committed_AS:  5663608 kB
PageTables:       2212 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= 66546 MiB



End job on node9 on Tue Jan  9 20:49:13 UTC 2007