Trace number 208312

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 ACSAT 20.1389 20.1739

DiagnosticValue
CHECKS123478444
NODES86265

General information on the benchmark

Namerandom/rand-2-40-19-fcd/
rand-2-40-19-443-230-fcd-41_ext.xml
MD5SUMc1647d988ce01483a0a770c92877b2c9
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark15.7946
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables40
Number of constraints339
Maximum constraint arity2
Maximum domain size19
Number of constraints which are defined in extension339
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.30	   
0.30	Abscon 109 (November, 2006)
0.30	   
0.31	   configuration
0.31	     name=mac.xml
0.33	   
0.33	   instance
0.33	     name=/tmp/evaluation/208312-1168074683/unknown.xml
0.36	   
0.36	   domains being loaded...
0.37	   
0.37	   variables being loaded...
0.40	     nbVariables=40  nbDomainTypes=1  minDomainSize=19  maxDomainSize=19
0.40	       =>  wckTime=0.092  cpuTime=0.08  mem=6M951
0.40	   
0.40	   relations being loaded...
0.50	   
0.50	   constraints being loaded...
0.61	     nbConstraints=339  nbRelationTypes=339  nbExtensionStructures=339  nbSharedExtensionStructures=0
0.61	     nbConflictsStructures=339  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=2970  maxDegree=24
0.61	     maxArity=2
0.61	       =>  wckTime=0.298  cpuTime=0.21  mem=12M803
0.65	   
0.65	   solver IterativeSystematicSolver being built... 
0.79	       =>  wckTime=0.479  cpuTime=0.34  mem=13M924
0.79	   
0.79	   preprocessing
0.79	     nbConstraintChecks=0  nbPropagations=40  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
0.79	     detectedInconsistency=no
0.79	       =>  wckTime=0.0050  cpuTime=0.0  mem=13M924
0.84	   
0.84	   search
0.84	     run=0  nbConstraintChecks=37092  nbPropagations=568  nbRevisions=6335  nbUselessRevisions=5089  nbAssignments=26
0.84	     nbFailedAssignments=9  nbBacktracks=11  nbVisitedNodes=44  nbRestartNogoods=0  mapSize=11  nbInferences=0
0.84	     nbTooLargeKeys=0
0.84	       =>  wckTime=0.051  cpuTime=0.03  mem=14M899
0.86	   
0.86	   search
0.86	     run=1  nbConstraintChecks=101341  nbPropagations=1955  nbRevisions=23510  nbUselessRevisions=18887
0.86	     nbAssignments=61  nbFailedAssignments=22  nbBacktracks=28  nbVisitedNodes=106  nbRestartNogoods=2  mapSize=28
0.86	     nbInferences=0  nbTooLargeKeys=0
0.86	       =>  wckTime=0.074  cpuTime=0.05  mem=14M899
0.88	   
0.88	   search
0.88	     run=2  nbConstraintChecks=162769  nbPropagations=4158  nbRevisions=50839  nbUselessRevisions=40727
0.88	     nbAssignments=104  nbFailedAssignments=37  nbBacktracks=52  nbVisitedNodes=179  nbRestartNogoods=4  mapSize=45
0.88	     nbInferences=0  nbTooLargeKeys=0
0.88	       =>  wckTime=0.094  cpuTime=0.06  mem=14M899
0.91	   
0.91	   search
0.91	     run=3  nbConstraintChecks=279858  nbPropagations=7884  nbRevisions=99763  nbUselessRevisions=79912
0.91	     nbAssignments=184  nbFailedAssignments=75  nbBacktracks=87  nbVisitedNodes=320  nbRestartNogoods=6  mapSize=77
0.91	     nbInferences=0  nbTooLargeKeys=0
0.91	       =>  wckTime=0.117  cpuTime=0.08  mem=14M899
0.93	   
0.93	   search
0.93	     run=4  nbConstraintChecks=411506  nbPropagations=13327  nbRevisions=172344  nbUselessRevisions=138171
0.93	     nbAssignments=279  nbFailedAssignments=111  nbBacktracks=140  nbVisitedNodes=480  nbRestartNogoods=11  mapSize=121
0.93	     nbInferences=0  nbTooLargeKeys=0
0.93	       =>  wckTime=0.143  cpuTime=0.11  mem=14M899
0.97	   
0.97	   search
0.97	     run=5  nbConstraintChecks=613601  nbPropagations=21372  nbRevisions=279932  nbUselessRevisions=224397
0.97	     nbAssignments=413  nbFailedAssignments=163  nbBacktracks=215  nbVisitedNodes=711  nbRestartNogoods=15  mapSize=184
0.97	     nbInferences=0  nbTooLargeKeys=0
0.97	       =>  wckTime=0.182  cpuTime=0.14  mem=14M899
1.03	   
1.03	   search
1.03	     run=6  nbConstraintChecks=926768  nbPropagations=33395  nbRevisions=440853  nbUselessRevisions=352894
1.03	     nbAssignments=623  nbFailedAssignments=252  nbBacktracks=328  nbVisitedNodes=1080  nbRestartNogoods=20  mapSize=284
1.03	     nbInferences=0  nbTooLargeKeys=0
1.03	       =>  wckTime=0.238  cpuTime=0.19  mem=14M899
1.10	   
1.10	   search
1.10	     run=7  nbConstraintChecks=1365988  nbPropagations=51367  nbRevisions=683477  nbUselessRevisions=547271
1.10	     nbAssignments=925  nbFailedAssignments=378  nbBacktracks=499  nbVisitedNodes=1602  nbRestartNogoods=29  mapSize=426
1.10	     nbInferences=0  nbTooLargeKeys=0
1.10	       =>  wckTime=0.316  cpuTime=0.27  mem=14M899
1.22	   
1.22	   search
1.22	     run=8  nbConstraintChecks=1974872  nbPropagations=77702  nbRevisions=1041581  nbUselessRevisions=834578
1.22	     nbAssignments=1372  nbFailedAssignments=562  nbBacktracks=757  nbVisitedNodes=2380  nbRestartNogoods=35
1.22	     mapSize=647  nbInferences=0  nbTooLargeKeys=0
1.22	       =>  wckTime=0.435  cpuTime=0.38  mem=14M899
1.40	   
1.40	   search
1.40	     run=9  nbConstraintChecks=2968572  nbPropagations=117155  nbRevisions=1583590  nbUselessRevisions=1269233
1.40	     nbAssignments=2058  nbFailedAssignments=857  nbBacktracks=1142  nbVisitedNodes=3613  nbRestartNogoods=38
1.40	     mapSize=989  nbInferences=0  nbTooLargeKeys=0
1.40	       =>  wckTime=0.612  cpuTime=0.55  mem=14M899
1.43	   
1.43	   INFO : Stopping hyperNogood (mapSize=1039, nbTooLargekeys=0, mem=14M899)
1.61	   
1.61	   search
1.61	     run=10  nbConstraintChecks=4271421  nbPropagations=174297  nbRevisions=2369007  nbUselessRevisions=1900384
1.61	     nbAssignments=3023  nbFailedAssignments=1239  nbBacktracks=1719  nbVisitedNodes=5281  nbRestartNogoods=44
1.61	       =>  wckTime=0.82  cpuTime=0.74  mem=14M899
1.90	   
1.90	   search
1.90	     run=11  nbConstraintChecks=6246383  nbPropagations=257566  nbRevisions=3520321  nbUselessRevisions=2826191
1.90	     nbAssignments=4484  nbFailedAssignments=1831  nbBacktracks=2584  nbVisitedNodes=7816  nbRestartNogoods=54
1.90	       =>  wckTime=1.116  cpuTime=1.04  mem=14M899
2.39	   
2.39	   search
2.39	     run=12  nbConstraintChecks=9390672  nbPropagations=384207  nbRevisions=5279283  nbUselessRevisions=4242438
2.39	     nbAssignments=6746  nbFailedAssignments=2786  nbBacktracks=3885  nbVisitedNodes=11800  nbRestartNogoods=61
2.39	       =>  wckTime=1.602  cpuTime=1.52  mem=14M899
3.11	   
3.11	   search
3.11	     run=13  nbConstraintChecks=14013576  nbPropagations=572767  nbRevisions=7892257  nbUselessRevisions=6345744
3.11	     nbAssignments=10043  nbFailedAssignments=4131  nbBacktracks=5831  nbVisitedNodes=17578  nbRestartNogoods=73
3.11	       =>  wckTime=2.319  cpuTime=2.23  mem=14M899
4.24	   
4.24	   search
4.24	     run=14  nbConstraintChecks=21320551  nbPropagations=858614  nbRevisions=11879261  nbUselessRevisions=9557872
4.25	     nbAssignments=15120  nbFailedAssignments=6282  nbBacktracks=8750  nbVisitedNodes=26558  nbRestartNogoods=79
4.25	       =>  wckTime=3.456  cpuTime=3.37  mem=14M899
5.84	   
5.84	   search
5.84	     run=15  nbConstraintChecks=31488020  nbPropagations=1282469  nbRevisions=17781740  nbUselessRevisions=14312436
5.84	     nbAssignments=22357  nbFailedAssignments=9133  nbBacktracks=13132  nbVisitedNodes=39186  nbRestartNogoods=92
5.84	       =>  wckTime=5.051  cpuTime=4.96  mem=14M899
8.31	   
8.31	   search
8.31	     run=16  nbConstraintChecks=47196860  nbPropagations=1919653  nbRevisions=26665939  nbUselessRevisions=21476392
8.31	     nbAssignments=33443  nbFailedAssignments=13644  nbBacktracks=19700  nbVisitedNodes=58674  nbRestartNogoods=100
8.31	       =>  wckTime=7.518  cpuTime=7.42  mem=14M899
12.09	   
12.09	   search
12.09	     run=17  nbConstraintChecks=71795441  nbPropagations=2875040  nbRevisions=40085120  nbUselessRevisions=32301453
12.09	     nbAssignments=50068  nbFailedAssignments=20413  nbBacktracks=29552  nbVisitedNodes=87898  nbRestartNogoods=112
12.09	       =>  wckTime=11.301  cpuTime=11.21  mem=14M899
17.64	   
17.64	   search
17.64	     run=18  nbConstraintChecks=107313679  nbPropagations=4309169  nbRevisions=60149491  nbUselessRevisions=48478603
17.64	     nbAssignments=75143  nbFailedAssignments=30701  nbBacktracks=44332  nbVisitedNodes=132027  nbRestartNogoods=128
17.64	       =>  wckTime=16.853  cpuTime=16.76  mem=14M899
20.14	   
20.14	   search
20.14	     run=19  nbConstraintChecks=123478444  nbPropagations=5958000  nbRevisions=83242133  nbUselessRevisions=67100958
20.14	     nbAssignments=86265  nbFailedAssignments=35300  nbBacktracks=50815  nbVisitedNodes=151626  nbRestartNogoods=144
20.14	       =>  wckTime=19.354  cpuTime=19.26  mem=14M899
20.14	   
20.14	   global
20.14	     nbConstraintChecks=123478444  nbPropagations=5958040  nbRevisions=83242133  nbUselessRevisions=67100958
20.14	     nbRestartNogoods=144  solvingWckTime=19.355  solvingCpuTime=19.26  expiredTime=no  totalExploration=no
20.15	     nbFoundSolutions=1  globalCpuTime=19.64
20.15	       =>  wckTime=19.837  cpuTime=19.6  mem=14M899
20.15	   
20.15	s SATISFIABLE
20.15	v 9 0 5 0 17 8 5 12 2 9 11 11 12 10 0 4 12 17 13 5 18 1 10 0 6 5 11 10 3 4 6 3 11 10 18 5 3 2 13 5 
20.15	d NODES 86265
20.15	d CHECKS 123478444
20.15	   
20.15	   totalWckTime=19.912  totalCpuTime=19.64

Verifier Data (download as text)

OK

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node72/watcher-208312-1168074683 -o ROOT/results/node72/solver-208312-1168074683 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208312-1168074683/unknown.xml 

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

/proc/loadavg: 1.28 1.27 1.52 4/81 388
/proc/meminfo: memFree=1462992/2055920 swapFree=4192812/4192956
[pid=387] ppid=385 vsize=1784 CPUtime=0
/proc/387/stat : 387 (java) D 385 387 32675 0 -1 0 194 0 0 0 0 0 0 0 18 0 1 0 155877187 1826816 160 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/387/statm: 446 160 125 14 0 91 0

[startup+0.104724 s]
/proc/loadavg: 1.28 1.27 1.52 4/81 388
/proc/meminfo: memFree=1462992/2055920 swapFree=4192812/4192956
[pid=387] ppid=385 vsize=914988 CPUtime=0.07
/proc/387/stat : 387 (java) R 385 387 32675 0 -1 0 2966 0 1 0 6 1 0 0 17 0 8 0 155877187 936947712 2712 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/387/statm: 228747 2713 1418 14 0 215242 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 914988

[startup+0.514759 s]
/proc/loadavg: 1.28 1.27 1.52 4/81 388
/proc/meminfo: memFree=1462992/2055920 swapFree=4192812/4192956
[pid=387] ppid=385 vsize=915328 CPUtime=0.49
/proc/387/stat : 387 (java) R 385 387 32675 0 -1 0 6919 0 1 0 44 5 0 0 16 0 8 0 155877187 937295872 6658 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819867 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/387/statm: 228832 6658 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33483 s]
/proc/loadavg: 1.28 1.27 1.52 2/88 398
/proc/meminfo: memFree=1441304/2055920 swapFree=4192812/4192956
[pid=387] ppid=385 vsize=915456 CPUtime=1.32
/proc/387/stat : 387 (java) R 385 387 32675 0 -1 0 8638 0 1 0 125 7 0 0 17 0 8 0 155877187 937426944 8376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073832375 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/387/statm: 228864 8376 2513 14 0 215334 0
[pid=387/tid=389] ppid=385 vsize=915456 CPUtime=0.03
/proc/387/task/389/stat : 389 (java) S 385 387 32675 0 -1 64 289 0 0 0 3 0 0 0 16 0 8 0 155877191 937426944 8376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=387/tid=390] ppid=385 vsize=915456 CPUtime=0
/proc/387/task/390/stat : 390 (java) S 385 387 32675 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155877192 937426944 8376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=387/tid=391] ppid=385 vsize=915456 CPUtime=0
/proc/387/task/391/stat : 391 (java) S 385 387 32675 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155877192 937426944 8376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=387/tid=393] ppid=385 vsize=915456 CPUtime=0
/proc/387/task/393/stat : 393 (java) S 385 387 32675 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155877195 937426944 8376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=387/tid=394] ppid=385 vsize=915456 CPUtime=0.21
/proc/387/task/394/stat : 394 (java) S 385 387 32675 0 -1 64 382 0 0 0 20 1 0 0 16 0 8 0 155877195 937426944 8376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=387/tid=395] ppid=385 vsize=915456 CPUtime=0
/proc/387/task/395/stat : 395 (java) S 385 387 32675 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155877195 937426944 8376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=387/tid=396] ppid=385 vsize=915456 CPUtime=0
/proc/387/task/396/stat : 396 (java) S 385 387 32675 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155877195 937426944 8376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915456

[startup+2.97198 s]
/proc/loadavg: 1.25 1.27 1.51 2/89 405
/proc/meminfo: memFree=1440656/2055920 swapFree=4192812/4192956
[pid=387] ppid=385 vsize=915456 CPUtime=2.95
/proc/387/stat : 387 (java) R 385 387 32675 0 -1 0 8668 0 1 0 288 7 0 0 18 0 8 0 155877187 937426944 8405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073821123 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/387/statm: 228864 8405 2513 14 0 215334 0
[pid=387/tid=389] ppid=385 vsize=915456 CPUtime=0.03
/proc/387/task/389/stat : 389 (java) S 385 387 32675 0 -1 64 289 0 0 0 3 0 0 0 16 0 8 0 155877191 937426944 8405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=387/tid=390] ppid=385 vsize=915456 CPUtime=0
/proc/387/task/390/stat : 390 (java) S 385 387 32675 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155877192 937426944 8405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=387/tid=391] ppid=385 vsize=915456 CPUtime=0
/proc/387/task/391/stat : 391 (java) S 385 387 32675 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155877192 937426944 8405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=387/tid=393] ppid=385 vsize=915456 CPUtime=0
/proc/387/task/393/stat : 393 (java) S 385 387 32675 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155877195 937426944 8405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=387/tid=394] ppid=385 vsize=915456 CPUtime=0.23
/proc/387/task/394/stat : 394 (java) S 385 387 32675 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 155877195 937426944 8405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=387/tid=395] ppid=385 vsize=915456 CPUtime=0
/proc/387/task/395/stat : 395 (java) S 385 387 32675 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155877195 937426944 8405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=387/tid=396] ppid=385 vsize=915456 CPUtime=0
/proc/387/task/396/stat : 396 (java) S 385 387 32675 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155877195 937426944 8405 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915456

[startup+6.25528 s]
/proc/loadavg: 1.25 1.27 1.51 3/100 443
/proc/meminfo: memFree=1414264/2055920 swapFree=4192812/4192956
[pid=387] ppid=385 vsize=915456 CPUtime=6.23
/proc/387/stat : 387 (java) R 385 387 32675 0 -1 0 8677 0 1 0 616 7 0 0 25 0 8 0 155877187 937426944 8413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918564 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/387/statm: 228864 8413 2513 14 0 215334 0
[pid=387/tid=389] ppid=385 vsize=915456 CPUtime=0.03
/proc/387/task/389/stat : 389 (java) S 385 387 32675 0 -1 64 289 0 0 0 3 0 0 0 16 0 8 0 155877191 937426944 8413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=387/tid=390] ppid=385 vsize=915456 CPUtime=0
/proc/387/task/390/stat : 390 (java) S 385 387 32675 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155877192 937426944 8413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=387/tid=391] ppid=385 vsize=915456 CPUtime=0
/proc/387/task/391/stat : 391 (java) S 385 387 32675 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155877192 937426944 8413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=387/tid=393] ppid=385 vsize=915456 CPUtime=0
/proc/387/task/393/stat : 393 (java) S 385 387 32675 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155877195 937426944 8413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=387/tid=394] ppid=385 vsize=915456 CPUtime=0.23
/proc/387/task/394/stat : 394 (java) S 385 387 32675 0 -1 64 391 0 0 0 22 1 0 0 15 0 8 0 155877195 937426944 8413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=387/tid=395] ppid=385 vsize=915456 CPUtime=0
/proc/387/task/395/stat : 395 (java) S 385 387 32675 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155877195 937426944 8413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=387/tid=396] ppid=385 vsize=915456 CPUtime=0
/proc/387/task/396/stat : 396 (java) S 385 387 32675 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155877195 937426944 8413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915456

[startup+12.7349 s]
/proc/loadavg: 1.44 1.31 1.52 3/100 443
/proc/meminfo: memFree=1414264/2055920 swapFree=4192812/4192956
[pid=387] ppid=385 vsize=915456 CPUtime=12.71
/proc/387/stat : 387 (java) R 385 387 32675 0 -1 0 8682 0 1 0 1264 7 0 0 25 0 8 0 155877187 937426944 8418 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073821139 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/387/statm: 228864 8418 2513 14 0 215334 0
[pid=387/tid=389] ppid=385 vsize=915456 CPUtime=0.03
/proc/387/task/389/stat : 389 (java) S 385 387 32675 0 -1 64 289 0 0 0 3 0 0 0 16 0 8 0 155877191 937426944 8418 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=387/tid=390] ppid=385 vsize=915456 CPUtime=0
/proc/387/task/390/stat : 390 (java) S 385 387 32675 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155877192 937426944 8418 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=387/tid=391] ppid=385 vsize=915456 CPUtime=0
/proc/387/task/391/stat : 391 (java) S 385 387 32675 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155877192 937426944 8418 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=387/tid=393] ppid=385 vsize=915456 CPUtime=0
/proc/387/task/393/stat : 393 (java) S 385 387 32675 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155877195 937426944 8418 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=387/tid=394] ppid=385 vsize=915456 CPUtime=0.23
/proc/387/task/394/stat : 394 (java) S 385 387 32675 0 -1 64 391 0 0 0 22 1 0 0 15 0 8 0 155877195 937426944 8418 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=387/tid=395] ppid=385 vsize=915456 CPUtime=0
/proc/387/task/395/stat : 395 (java) S 385 387 32675 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155877195 937426944 8418 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=387/tid=396] ppid=385 vsize=915456 CPUtime=0
/proc/387/task/396/stat : 396 (java) S 385 387 32675 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155877195 937426944 8418 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 915456

Child status: 0
Real time (s): 20.1739
CPU time (s): 20.1389
CPU user time (s): 20.0579
CPU system time (s): 0.080987
CPU usage (%): 99.8268
Max. virtual memory (cumulated for all children) (KiB): 915456

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

runsolver used 0.019996 s user time and 0.06099 s system time

The end

Launcher Data (download as text)

Begin job on node72 on Sat Jan  6 09:11:24 UTC 2007


IDJOB= 208312
IDBENCH= 4371
FILE ID= node72/208312-1168074683

PBS_JOBID= 3476025

Free space on /tmp= 66549 MiB

BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-41_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208312-1168074683/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node72/watcher-208312-1168074683 -o ROOT/results/node72/solver-208312-1168074683 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208312-1168074683/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  c1647d988ce01483a0a770c92877b2c9

RANDOM SEED= 148800624

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.223
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.223
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:       1463536 kB
Buffers:         40672 kB
Cached:         431384 kB
SwapCached:          0 kB
Active:         143948 kB
Inactive:       376252 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1463536 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            4096 kB
Writeback:           0 kB
Mapped:          67072 kB
Slab:            57240 kB
Committed_AS:  2573708 kB
PageTables:       2112 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= 66549 MiB



End job on node72 on Sat Jan  6 09:11:44 UTC 2007