Trace number 229133

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Abscon 109 ACUNSAT 31.3442 31.417

DiagnosticValue
CHECKS197620738
NODES194739

General information on the benchmark

Nametightness/tightness0.35/
rand-2-40-16-250-350-35_ext.xml
MD5SUM89930ff3a56a06b2255baa2b0edc5800
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark8.15976
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables40
Number of constraints250
Maximum constraint arity2
Maximum domain size16
Number of constraints which are defined in extension250
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.32	   
0.32	Abscon 109 (November, 2006)
0.32	   
0.32	   configuration
0.32	     name=mac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/229133-1168080943/unknown.xml
0.38	   
0.38	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.41	     nbVariables=40  nbDomainTypes=1  minDomainSize=16  maxDomainSize=16
0.41	       =>  wckTime=0.096  cpuTime=0.09  mem=6M951
0.41	   
0.42	   relations being loaded...
0.49	   
0.49	   constraints being loaded...
0.59	     nbConstraints=250  nbRelationTypes=250  nbExtensionStructures=250  nbSharedExtensionStructures=0
0.59	     nbConflictsStructures=250  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=1408  maxDegree=18
0.59	     maxArity=2
0.59	       =>  wckTime=0.271  cpuTime=0.2  mem=11M893
0.63	   
0.63	   solver IterativeSystematicSolver being built... 
0.78	       =>  wckTime=0.458  cpuTime=0.33  mem=13M735
0.78	   
0.78	   preprocessing
0.78	     nbConstraintChecks=0  nbPropagations=40  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
0.78	     detectedInconsistency=no
0.78	       =>  wckTime=0.0030  cpuTime=0.0  mem=13M735
0.83	   
0.83	   search
0.83	     run=0  nbConstraintChecks=27599  nbPropagations=504  nbRevisions=4618  nbUselessRevisions=3544  nbAssignments=26
0.83	     nbFailedAssignments=10  nbBacktracks=12  nbVisitedNodes=43  nbRestartNogoods=0  mapSize=9  nbInferences=0
0.83	     nbTooLargeKeys=0
0.83	       =>  wckTime=0.048  cpuTime=0.02  mem=14M710
0.84	   
0.84	   search
0.84	     run=1  nbConstraintChecks=52876  nbPropagations=1492  nbRevisions=13802  nbUselessRevisions=10674  nbAssignments=58
0.84	     nbFailedAssignments=19  nbBacktracks=31  nbVisitedNodes=92  nbRestartNogoods=3  mapSize=23  nbInferences=0
0.84	     nbTooLargeKeys=0
0.84	       =>  wckTime=0.064  cpuTime=0.03  mem=14M710
0.86	   
0.86	   search
0.86	     run=2  nbConstraintChecks=100980  nbPropagations=3331  nbRevisions=31633  nbUselessRevisions=24433
0.86	     nbAssignments=107  nbFailedAssignments=36  nbBacktracks=56  nbVisitedNodes=172  nbRestartNogoods=4  mapSize=43
0.86	     nbInferences=0  nbTooLargeKeys=0
0.86	       =>  wckTime=0.085  cpuTime=0.04  mem=14M710
0.88	   
0.88	   search
0.88	     run=3  nbConstraintChecks=162154  nbPropagations=6229  nbRevisions=59895  nbUselessRevisions=46051
0.88	     nbAssignments=166  nbFailedAssignments=56  nbBacktracks=90  nbVisitedNodes=267  nbRestartNogoods=7  mapSize=68
0.88	     nbInferences=0  nbTooLargeKeys=0
0.88	       =>  wckTime=0.099  cpuTime=0.06  mem=14M710
0.90	   
0.90	   search
0.90	     run=4  nbConstraintChecks=257153  nbPropagations=10927  nbRevisions=106882  nbUselessRevisions=82179
0.90	     nbAssignments=256  nbFailedAssignments=89  nbBacktracks=142  nbVisitedNodes=422  nbRestartNogoods=11  mapSize=112
0.90	     nbInferences=0  nbTooLargeKeys=0
0.90	       =>  wckTime=0.121  cpuTime=0.08  mem=14M710
0.93	   
0.93	   search
0.93	     run=5  nbConstraintChecks=371950  nbPropagations=17836  nbRevisions=175790  nbUselessRevisions=134927
0.93	     nbAssignments=387  nbFailedAssignments=138  nbBacktracks=217  nbVisitedNodes=637  nbRestartNogoods=12  mapSize=167
0.93	     nbInferences=0  nbTooLargeKeys=0
0.93	       =>  wckTime=0.15  cpuTime=0.1  mem=14M710
0.97	   
0.97	   search
0.97	     run=6  nbConstraintChecks=567262  nbPropagations=28360  nbRevisions=283488  nbUselessRevisions=217420
0.97	     nbAssignments=584  nbFailedAssignments=216  nbBacktracks=330  nbVisitedNodes=975  nbRestartNogoods=17  mapSize=258
0.97	     nbInferences=0  nbTooLargeKeys=0
0.97	       =>  wckTime=0.193  cpuTime=0.15  mem=14M710
1.03	   
1.03	   search
1.03	     run=7  nbConstraintChecks=851068  nbPropagations=44043  nbRevisions=446411  nbUselessRevisions=342238
1.03	     nbAssignments=875  nbFailedAssignments=330  nbBacktracks=503  nbVisitedNodes=1479  nbRestartNogoods=25  mapSize=402
1.03	     nbInferences=0  nbTooLargeKeys=0
1.03	       =>  wckTime=0.253  cpuTime=0.2  mem=14M710
1.13	   
1.13	   search
1.13	     run=8  nbConstraintChecks=1271697  nbPropagations=67480  nbRevisions=689653  nbUselessRevisions=528335
1.13	     nbAssignments=1297  nbFailedAssignments=491  nbBacktracks=761  nbVisitedNodes=2190  nbRestartNogoods=29
1.13	     mapSize=609  nbInferences=0  nbTooLargeKeys=0
1.13	       =>  wckTime=0.345  cpuTime=0.29  mem=14M710
1.26	   
1.26	   search
1.26	     run=9  nbConstraintChecks=1932905  nbPropagations=103148  nbRevisions=1064194  nbUselessRevisions=815113
1.26	     nbAssignments=1957  nbFailedAssignments=759  nbBacktracks=1147  nbVisitedNodes=3346  nbRestartNogoods=32
1.26	     mapSize=932  nbInferences=0  nbTooLargeKeys=0
1.26	       =>  wckTime=0.481  cpuTime=0.41  mem=14M710
1.30	   
1.30	   INFO : Stopping hyperNogood (mapSize=1022, nbTooLargekeys=0, mem=14M710)
1.44	   
1.44	   search
1.44	     run=10  nbConstraintChecks=2927640  nbPropagations=156232  nbRevisions=1629957  nbUselessRevisions=1249344
1.44	     nbAssignments=2911  nbFailedAssignments=1134  nbBacktracks=1723  nbVisitedNodes=4992  nbRestartNogoods=42
1.44	       =>  wckTime=0.661  cpuTime=0.58  mem=14M710
1.66	   
1.66	   search
1.66	     run=11  nbConstraintChecks=4140813  nbPropagations=234223  nbRevisions=2451967  nbUselessRevisions=1881576
1.66	     nbAssignments=4299  nbFailedAssignments=1649  nbBacktracks=2587  nbVisitedNodes=7390  nbRestartNogoods=44
1.66	       =>  wckTime=0.881  cpuTime=0.79  mem=14M710
2.01	   
2.01	   search
2.01	     run=12  nbConstraintChecks=6259456  nbPropagations=350859  nbRevisions=3679987  nbUselessRevisions=2822353
2.01	     nbAssignments=6390  nbFailedAssignments=2435  nbBacktracks=3887  nbVisitedNodes=10985  nbRestartNogoods=49
2.01	       =>  wckTime=1.232  cpuTime=1.15  mem=14M710
2.58	   
2.58	   search
2.58	     run=13  nbConstraintChecks=9961881  nbPropagations=531183  nbRevisions=5608429  nbUselessRevisions=4300508
2.58	     nbAssignments=9720  nbFailedAssignments=3812  nbBacktracks=5833  nbVisitedNodes=16862  nbRestartNogoods=55
2.58	       =>  wckTime=1.805  cpuTime=1.72  mem=14M710
3.33	   
3.33	   search
3.33	     run=14  nbConstraintChecks=14847293  nbPropagations=798605  nbRevisions=8456980  nbUselessRevisions=6476816
3.33	     nbAssignments=14467  nbFailedAssignments=5635  nbBacktracks=8752  nbVisitedNodes=25064  nbRestartNogoods=65
3.33	       =>  wckTime=2.554  cpuTime=2.46  mem=14M710
4.45	   
4.45	   search
4.45	     run=15  nbConstraintChecks=21812486  nbPropagations=1200497  nbRevisions=12720660  nbUselessRevisions=9739456
4.45	     nbAssignments=21814  nbFailedAssignments=8600  nbBacktracks=13130  nbVisitedNodes=37844  nbRestartNogoods=77
4.45	       =>  wckTime=3.671  cpuTime=3.58  mem=14M710
6.02	   
6.02	   search
6.02	     run=16  nbConstraintChecks=31756214  nbPropagations=1791711  nbRevisions=18994259  nbUselessRevisions=14549395
6.02	     nbAssignments=32462  nbFailedAssignments=12674  nbBacktracks=19700  nbVisitedNodes=56187  nbRestartNogoods=86
6.02	       =>  wckTime=5.243  cpuTime=5.15  mem=14M710
8.72	   
8.72	   search
8.72	     run=17  nbConstraintChecks=49563360  nbPropagations=2698591  nbRevisions=28754741  nbUselessRevisions=22048240
8.72	     nbAssignments=49475  nbFailedAssignments=19830  nbBacktracks=29552  nbVisitedNodes=86203  nbRestartNogoods=97
8.72	       =>  wckTime=7.942  cpuTime=7.84  mem=14M710
12.39	   
12.39	   search
12.39	     run=18  nbConstraintChecks=73152911  nbPropagations=4044280  nbRevisions=43175570  nbUselessRevisions=33124547
12.39	     nbAssignments=73526  nbFailedAssignments=29093  nbBacktracks=44331  nbVisitedNodes=127754  nbRestartNogoods=109
12.39	       =>  wckTime=11.614  cpuTime=11.52  mem=14M710
18.02	   
18.02	   search
18.02	     run=19  nbConstraintChecks=110009965  nbPropagations=6050419  nbRevisions=64637839  nbUselessRevisions=49582235
18.02	     nbAssignments=109662  nbFailedAssignments=43050  nbBacktracks=66503  nbVisitedNodes=190086  nbRestartNogoods=114
18.02	       =>  wckTime=17.243  cpuTime=17.15  mem=14M710
26.44	   
26.44	   search
26.44	     run=20  nbConstraintChecks=164960579  nbPropagations=9045231  nbRevisions=96615255  nbUselessRevisions=74072385
26.44	     nbAssignments=163289  nbFailedAssignments=63422  nbBacktracks=99756  nbVisitedNodes=282206  nbRestartNogoods=129
26.44	       =>  wckTime=25.665  cpuTime=25.57  mem=14M710
31.38	   
31.38	   search
31.38	     run=21  nbConstraintChecks=197620738  nbPropagations=12614957  nbRevisions=134799368  nbUselessRevisions=103310886
31.38	     nbAssignments=194739  nbFailedAssignments=75471  nbBacktracks=119158  nbVisitedNodes=336250  nbRestartNogoods=138
31.38	       =>  wckTime=30.598  cpuTime=30.5  mem=14M710
31.38	   
31.38	   global
31.38	     nbConstraintChecks=197620738  nbPropagations=12614997  nbRevisions=134799368  nbUselessRevisions=103310886
31.38	     nbRestartNogoods=138  solvingWckTime=30.6  solvingCpuTime=30.5  expiredTime=no  totalExploration=yes
31.38	     nbFoundSolutions=0  globalCpuTime=30.88
31.38	       =>  wckTime=31.061  cpuTime=30.83  mem=14M710
31.38	   
31.38	s UNSATISFIABLE
31.38	d NODES 194739
31.38	d CHECKS 197620738
31.38	   
31.38	   totalWckTime=31.135  totalCpuTime=30.88

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/node21/watcher-229133-1168080943 -o ROOT/results/node21/solver-229133-1168080943 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/229133-1168080943/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.11 0.34 0.89 1/81 21728
/proc/meminfo: memFree=1696336/2055920 swapFree=4192812/4192956
[pid=21727] ppid=21725 vsize=168 CPUtime=0
/proc/21727/stat : 21727 (java) R 21725 21727 21205 0 -1 0 39 0 0 0 0 0 0 0 19 0 1 0 156490549 172032 23 18446744073709551615 134512640 134570532 4294956640 18446744073709551615 8438564 0 0 4096 0 0 0 0 17 1 0 0
/proc/21727/statm: 42 23 18 14 0 2 0

[startup+0.102638 s]
/proc/loadavg: 0.11 0.34 0.89 1/81 21728
/proc/meminfo: memFree=1696336/2055920 swapFree=4192812/4192956
[pid=21727] ppid=21725 vsize=912588 CPUtime=0.07
/proc/21727/stat : 21727 (java) D 21725 21727 21205 0 -1 0 2751 0 1 0 5 2 0 0 24 0 8 0 156490549 934490112 2497 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21727/statm: 228147 2497 1382 14 0 215091 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 912588

[startup+0.510893 s]
/proc/loadavg: 0.11 0.34 0.89 1/81 21728
/proc/meminfo: memFree=1696336/2055920 swapFree=4192812/4192956
[pid=21727] ppid=21725 vsize=915328 CPUtime=0.48
/proc/21727/stat : 21727 (java) S 21725 21727 21205 0 -1 0 6672 0 1 0 43 5 0 0 16 0 8 0 156490549 937295872 6411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21727/statm: 228832 6411 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.33304 s]
/proc/loadavg: 0.11 0.34 0.89 2/88 21765
/proc/meminfo: memFree=1671000/2055920 swapFree=4192812/4192956
[pid=21727] ppid=21725 vsize=915452 CPUtime=1.3
/proc/21727/stat : 21727 (java) R 21725 21727 21205 0 -1 0 8594 0 1 0 123 7 0 0 17 0 8 0 156490549 937422848 8332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073805235 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21727/statm: 228863 8332 2513 14 0 215333 0
[pid=21727/tid=21733] ppid=21725 vsize=915452 CPUtime=0.03
/proc/21727/task/21733/stat : 21733 (java) S 21725 21727 21205 0 -1 64 243 0 0 0 3 0 0 0 16 0 8 0 156490554 937422848 8332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21727/tid=21734] ppid=21725 vsize=915452 CPUtime=0
/proc/21727/task/21734/stat : 21734 (java) S 21725 21727 21205 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156490554 937422848 8332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21727/tid=21735] ppid=21725 vsize=915452 CPUtime=0
/proc/21727/task/21735/stat : 21735 (java) S 21725 21727 21205 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156490554 937422848 8332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21727/tid=21737] ppid=21725 vsize=915452 CPUtime=0
/proc/21727/task/21737/stat : 21737 (java) S 21725 21727 21205 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156490558 937422848 8332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21727/tid=21738] ppid=21725 vsize=915452 CPUtime=0.2
/proc/21727/task/21738/stat : 21738 (java) S 21725 21727 21205 0 -1 64 384 0 0 0 19 1 0 0 16 0 8 0 156490558 937422848 8332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21727/tid=21739] ppid=21725 vsize=915452 CPUtime=0
/proc/21727/task/21739/stat : 21739 (java) S 21725 21727 21205 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156490558 937422848 8332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21727/tid=21740] ppid=21725 vsize=915452 CPUtime=0
/proc/21727/task/21740/stat : 21740 (java) S 21725 21727 21205 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156490558 937422848 8332 18446744073709551615 134512640 134570532 4294956480 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) 915452

[startup+2.98535 s]
/proc/loadavg: 0.18 0.35 0.89 2/88 21765
/proc/meminfo: memFree=1670744/2055920 swapFree=4192812/4192956
[pid=21727] ppid=21725 vsize=915452 CPUtime=2.95
/proc/21727/stat : 21727 (java) R 21725 21727 21205 0 -1 0 8609 0 1 0 288 7 0 0 18 0 8 0 156490549 937422848 8346 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073851608 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21727/statm: 228863 8346 2513 14 0 215333 0
[pid=21727/tid=21733] ppid=21725 vsize=915452 CPUtime=0.03
/proc/21727/task/21733/stat : 21733 (java) S 21725 21727 21205 0 -1 64 243 0 0 0 3 0 0 0 16 0 8 0 156490554 937422848 8346 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21727/tid=21734] ppid=21725 vsize=915452 CPUtime=0
/proc/21727/task/21734/stat : 21734 (java) S 21725 21727 21205 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156490554 937422848 8346 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21727/tid=21735] ppid=21725 vsize=915452 CPUtime=0
/proc/21727/task/21735/stat : 21735 (java) S 21725 21727 21205 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156490554 937422848 8346 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21727/tid=21737] ppid=21725 vsize=915452 CPUtime=0
/proc/21727/task/21737/stat : 21737 (java) S 21725 21727 21205 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156490558 937422848 8346 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21727/tid=21738] ppid=21725 vsize=915452 CPUtime=0.21
/proc/21727/task/21738/stat : 21738 (java) S 21725 21727 21205 0 -1 64 389 0 0 0 20 1 0 0 16 0 8 0 156490558 937422848 8346 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21727/tid=21739] ppid=21725 vsize=915452 CPUtime=0
/proc/21727/task/21739/stat : 21739 (java) S 21725 21727 21205 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156490558 937422848 8346 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21727/tid=21740] ppid=21725 vsize=915452 CPUtime=0
/proc/21727/task/21740/stat : 21740 (java) S 21725 21727 21205 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156490558 937422848 8346 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) 915452

[startup+6.26697 s]
/proc/loadavg: 0.18 0.35 0.89 2/88 21765
/proc/meminfo: memFree=1670744/2055920 swapFree=4192812/4192956
[pid=21727] ppid=21725 vsize=915452 CPUtime=6.22
/proc/21727/stat : 21727 (java) R 21725 21727 21205 0 -1 0 8618 0 1 0 615 7 0 0 19 0 8 0 156490549 937422848 8354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073785744 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21727/statm: 228863 8354 2513 14 0 215333 0
[pid=21727/tid=21733] ppid=21725 vsize=915452 CPUtime=0.03
/proc/21727/task/21733/stat : 21733 (java) S 21725 21727 21205 0 -1 64 243 0 0 0 3 0 0 0 16 0 8 0 156490554 937422848 8354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21727/tid=21734] ppid=21725 vsize=915452 CPUtime=0
/proc/21727/task/21734/stat : 21734 (java) S 21725 21727 21205 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156490554 937422848 8354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21727/tid=21735] ppid=21725 vsize=915452 CPUtime=0
/proc/21727/task/21735/stat : 21735 (java) S 21725 21727 21205 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156490554 937422848 8354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21727/tid=21737] ppid=21725 vsize=915452 CPUtime=0
/proc/21727/task/21737/stat : 21737 (java) S 21725 21727 21205 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156490558 937422848 8354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21727/tid=21738] ppid=21725 vsize=915452 CPUtime=0.21
/proc/21727/task/21738/stat : 21738 (java) S 21725 21727 21205 0 -1 64 389 0 0 0 20 1 0 0 16 0 8 0 156490558 937422848 8354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21727/tid=21739] ppid=21725 vsize=915452 CPUtime=0
/proc/21727/task/21739/stat : 21739 (java) S 21725 21727 21205 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156490558 937422848 8354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21727/tid=21740] ppid=21725 vsize=915452 CPUtime=0
/proc/21727/task/21740/stat : 21740 (java) S 21725 21727 21205 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156490558 937422848 8354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915452

[startup+12.7552 s]
/proc/loadavg: 0.39 0.39 0.90 3/100 21777
/proc/meminfo: memFree=1646392/2055920 swapFree=4192812/4192956
[pid=21727] ppid=21725 vsize=915452 CPUtime=12.71
/proc/21727/stat : 21727 (java) R 21725 21727 21205 0 -1 0 8622 0 1 0 1264 7 0 0 25 0 8 0 156490549 937422848 8358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073800840 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21727/statm: 228863 8358 2513 14 0 215333 0
[pid=21727/tid=21733] ppid=21725 vsize=915452 CPUtime=0.03
/proc/21727/task/21733/stat : 21733 (java) S 21725 21727 21205 0 -1 64 243 0 0 0 3 0 0 0 16 0 8 0 156490554 937422848 8358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21727/tid=21734] ppid=21725 vsize=915452 CPUtime=0
/proc/21727/task/21734/stat : 21734 (java) S 21725 21727 21205 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156490554 937422848 8358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21727/tid=21735] ppid=21725 vsize=915452 CPUtime=0
/proc/21727/task/21735/stat : 21735 (java) S 21725 21727 21205 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156490554 937422848 8358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21727/tid=21737] ppid=21725 vsize=915452 CPUtime=0
/proc/21727/task/21737/stat : 21737 (java) S 21725 21727 21205 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156490558 937422848 8358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21727/tid=21738] ppid=21725 vsize=915452 CPUtime=0.21
/proc/21727/task/21738/stat : 21738 (java) S 21725 21727 21205 0 -1 64 389 0 0 0 20 1 0 0 16 0 8 0 156490558 937422848 8358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21727/tid=21739] ppid=21725 vsize=915452 CPUtime=0
/proc/21727/task/21739/stat : 21739 (java) S 21725 21727 21205 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156490558 937422848 8358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21727/tid=21740] ppid=21725 vsize=915452 CPUtime=0
/proc/21727/task/21740/stat : 21740 (java) S 21725 21727 21205 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156490558 937422848 8358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 915452

[startup+25.6026 s]
/proc/loadavg: 0.55 0.42 0.91 2/88 21777
/proc/meminfo: memFree=1670424/2055920 swapFree=4192812/4192956
[pid=21727] ppid=21725 vsize=915452 CPUtime=25.55
/proc/21727/stat : 21727 (java) R 21725 21727 21205 0 -1 0 8625 0 1 0 2548 7 0 0 25 0 8 0 156490549 937422848 8361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073808436 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21727/statm: 228863 8361 2513 14 0 215333 0
[pid=21727/tid=21733] ppid=21725 vsize=915452 CPUtime=0.03
/proc/21727/task/21733/stat : 21733 (java) S 21725 21727 21205 0 -1 64 243 0 0 0 3 0 0 0 16 0 8 0 156490554 937422848 8361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21727/tid=21734] ppid=21725 vsize=915452 CPUtime=0
/proc/21727/task/21734/stat : 21734 (java) S 21725 21727 21205 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156490554 937422848 8361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21727/tid=21735] ppid=21725 vsize=915452 CPUtime=0
/proc/21727/task/21735/stat : 21735 (java) S 21725 21727 21205 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156490554 937422848 8361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21727/tid=21737] ppid=21725 vsize=915452 CPUtime=0
/proc/21727/task/21737/stat : 21737 (java) S 21725 21727 21205 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156490558 937422848 8361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21727/tid=21738] ppid=21725 vsize=915452 CPUtime=0.21
/proc/21727/task/21738/stat : 21738 (java) S 21725 21727 21205 0 -1 64 389 0 0 0 20 1 0 0 16 0 8 0 156490558 937422848 8361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21727/tid=21739] ppid=21725 vsize=915452 CPUtime=0
/proc/21727/task/21739/stat : 21739 (java) S 21725 21727 21205 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156490558 937422848 8361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21727/tid=21740] ppid=21725 vsize=915452 CPUtime=0
/proc/21727/task/21740/stat : 21740 (java) S 21725 21727 21205 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156490558 937422848 8361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.55
Current children cumulated vsize (KiB) 915452

Child status: 0
Real time (s): 31.417
CPU time (s): 31.3442
CPU user time (s): 31.2622
CPU system time (s): 0.081987
CPU usage (%): 99.7684
Max. virtual memory (cumulated for all children) (KiB): 915452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 31.2622
system time used= 0.081987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8719
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= 1460
involuntary context switches= 997

runsolver used 0.031995 s user time and 0.106983 s system time

The end

Launcher Data (download as text)

Begin job on node21 on Sat Jan  6 10:55:54 UTC 2007


IDJOB= 229133
IDBENCH= 6282
FILE ID= node21/229133-1168080943

PBS_JOBID= 3476105

Free space on /tmp= 66546 MiB

BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.35/rand-2-40-16-250-350-35_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/229133-1168080943/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node21/watcher-229133-1168080943 -o ROOT/results/node21/solver-229133-1168080943 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/229133-1168080943/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  89930ff3a56a06b2255baa2b0edc5800

RANDOM SEED= 873349504

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.261
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.261
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:       1696880 kB
Buffers:         34552 kB
Cached:         190800 kB
SwapCached:          0 kB
Active:         179096 kB
Inactive:       109244 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1696880 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1876 kB
Writeback:           0 kB
Mapped:          81948 kB
Slab:            55928 kB
Committed_AS:  2941648 kB
PageTables:       1988 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= 66544 MiB



End job on node21 on Sat Jan  6 10:56:41 UTC 2007