Trace number 218386

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 58.5241 58.8007

DiagnosticValue
CHECKS51052789
NODES51063

General information on the benchmark

Namerandom/rand-3-20-20/
rand-3-20-20-60-632-45_ext.xml
MD5SUMa7f563e17417029cc0d001ae5faf3c9a
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 benchmark24.0773
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables20
Number of constraints57
Maximum constraint arity3
Maximum domain size20
Number of constraints which are defined in extension57
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.29	   
0.29	Abscon 109 (November, 2006)
0.29	   
0.29	   configuration
0.29	     name=mac.xml
0.33	   
0.33	   instance
0.33	     name=/tmp/evaluation/218386-1168079629/unknown.xml
0.36	   
0.36	   domains being loaded...
0.36	   
0.36	   variables being loaded...
0.39	     nbVariables=20  nbDomainTypes=1  minDomainSize=20  maxDomainSize=20
0.39	       =>  wckTime=0.095  cpuTime=0.09  mem=6M951
0.39	   
0.39	   relations being loaded...
0.64	   
0.64	   constraints being loaded...
0.78	     nbConstraints=57  nbRelationTypes=57  nbExtensionStructures=57  nbSharedExtensionStructures=0
0.78	     nbConflictsStructures=57  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=0  maxDegree=16  maxArity=3
0.78	       =>  wckTime=0.487  cpuTime=0.45  mem=41M385
0.86	   
0.86	   solver IterativeSystematicSolver being built... 
1.02	       =>  wckTime=0.719  cpuTime=0.57  mem=21M86
1.02	   
1.02	   preprocessing
1.02	     nbConstraintChecks=0  nbPropagations=20  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
1.02	     detectedInconsistency=no
1.02	       =>  wckTime=0.0020  cpuTime=0.0  mem=21M86
1.13	   
1.13	   search
1.13	     run=0  nbConstraintChecks=36300  nbValidityChecks=69304  nbPropagations=494  nbRevisions=5344
1.13	     nbUselessRevisions=4155  nbAssignments=44  nbFailedAssignments=29  nbBacktracks=10  nbVisitedNodes=84
1.13	     nbRestartNogoods=0  mapSize=10  nbInferences=0  nbTooLargeKeys=0
1.13	       =>  wckTime=0.111  cpuTime=0.09  mem=21M86
1.20	   
1.20	   search
1.20	     run=1  nbConstraintChecks=74406  nbValidityChecks=148779  nbPropagations=1513  nbRevisions=16316
1.20	     nbUselessRevisions=12654  nbAssignments=97  nbFailedAssignments=64  nbBacktracks=25  nbVisitedNodes=181
1.20	     nbRestartNogoods=10  mapSize=25  nbInferences=0  nbTooLargeKeys=0
1.20	       =>  wckTime=0.18  cpuTime=0.14  mem=21M86
1.33	   
1.33	   search
1.33	     run=2  nbConstraintChecks=177895  nbValidityChecks=356038  nbPropagations=3668  nbRevisions=41664
1.33	     nbUselessRevisions=32281  nbAssignments=182  nbFailedAssignments=124  nbBacktracks=47  nbVisitedNodes=345
1.33	     nbRestartNogoods=13  mapSize=47  nbInferences=0  nbTooLargeKeys=0
1.33	       =>  wckTime=0.313  cpuTime=0.27  mem=21M86
1.44	   
1.44	   search
1.44	     run=3  nbConstraintChecks=265929  nbValidityChecks=535363  nbPropagations=6851  nbRevisions=78552
1.44	     nbUselessRevisions=60753  nbAssignments=279  nbFailedAssignments=185  nbBacktracks=80  nbVisitedNodes=524
1.45	     nbRestartNogoods=16  mapSize=76  nbInferences=0  nbTooLargeKeys=0
1.45	       =>  wckTime=0.426  cpuTime=0.38  mem=21M86
1.64	   
1.64	   search
1.64	     run=4  nbConstraintChecks=426975  nbValidityChecks=851054  nbPropagations=11764  nbRevisions=136657
1.64	     nbUselessRevisions=106100  nbAssignments=433  nbFailedAssignments=286  nbBacktracks=131  nbVisitedNodes=815
1.64	     nbRestartNogoods=20  mapSize=122  nbInferences=0  nbTooLargeKeys=0
1.64	       =>  wckTime=0.621  cpuTime=0.57  mem=21M86
1.88	   
1.88	   search
1.89	     run=5  nbConstraintChecks=626901  nbValidityChecks=1254761  nbPropagations=19494  nbRevisions=225352
1.89	     nbUselessRevisions=175160  nbAssignments=661  nbFailedAssignments=436  nbBacktracks=206  nbVisitedNodes=1258
1.89	     nbRestartNogoods=24  mapSize=196  nbInferences=0  nbTooLargeKeys=0
1.89	       =>  wckTime=0.866  cpuTime=0.81  mem=21M86
2.29	   
2.29	   search
2.29	     run=6  nbConstraintChecks=977633  nbValidityChecks=1925203  nbPropagations=30899  nbRevisions=359335
2.29	     nbUselessRevisions=279295  nbAssignments=954  nbFailedAssignments=614  nbBacktracks=319  nbVisitedNodes=1820
2.29	     nbRestartNogoods=41  mapSize=305  nbInferences=0  nbTooLargeKeys=0
2.29	       =>  wckTime=1.268  cpuTime=1.2  mem=21M86
2.93	   
2.93	   search
2.93	     run=7  nbConstraintChecks=1543993  nbValidityChecks=3078286  nbPropagations=48667  nbRevisions=572423
2.93	     nbUselessRevisions=445597  nbAssignments=1493  nbFailedAssignments=980  nbBacktracks=489  nbVisitedNodes=2863
2.93	     nbRestartNogoods=50  mapSize=471  nbInferences=0  nbTooLargeKeys=0
2.93	       =>  wckTime=1.911  cpuTime=1.84  mem=21M86
3.85	   
3.85	   search
3.85	     run=8  nbConstraintChecks=2325008  nbValidityChecks=4622017  nbPropagations=76790  nbRevisions=901313
3.85	     nbUselessRevisions=700823  nbAssignments=2412  nbFailedAssignments=1639  nbBacktracks=745  nbVisitedNodes=4641
3.85	     nbRestartNogoods=60  mapSize=710  nbInferences=0  nbTooLargeKeys=0
3.85	       =>  wckTime=2.829  cpuTime=2.73  mem=21M86
5.06	   
5.06	   INFO : Stopping hyperNogood (mapSize=1001, nbTooLargekeys=0, mem=21M86)
5.38	   
5.38	   search
5.39	     run=9  nbConstraintChecks=3722451  nbValidityChecks=7243814  nbPropagations=121255  nbRevisions=1416790
5.39	     nbUselessRevisions=1098211  nbAssignments=3833  nbFailedAssignments=2673  nbBacktracks=1129  nbVisitedNodes=7411
5.39	     nbRestartNogoods=74
5.39	       =>  wckTime=4.366  cpuTime=4.26  mem=21M86
7.66	   
7.66	   search
7.66	     run=10  nbConstraintChecks=5860615  nbValidityChecks=11530406  nbPropagations=188228  nbRevisions=2216464
7.66	     nbUselessRevisions=1716265  nbAssignments=5767  nbFailedAssignments=4028  nbBacktracks=1705  nbVisitedNodes=11151
7.66	     nbRestartNogoods=82
7.66	       =>  wckTime=6.642  cpuTime=6.52  mem=22M56
10.72	   
10.72	   search
10.72	     run=11  nbConstraintChecks=8640465  nbValidityChecks=16850837  nbPropagations=287572  nbRevisions=3382358
10.72	     nbUselessRevisions=2616229  nbAssignments=8604  nbFailedAssignments=5999  nbBacktracks=2569  nbVisitedNodes=16604
10.72	     nbRestartNogoods=99
10.72	       =>  wckTime=9.705  cpuTime=9.57  mem=22M56
15.45	   
15.45	   search
15.45	     run=12  nbConstraintChecks=12860561  nbValidityChecks=25065269  nbPropagations=435655  nbRevisions=5114093
15.45	     nbUselessRevisions=3958479  nbAssignments=12727  nbFailedAssignments=8822  nbBacktracks=3866  nbVisitedNodes=24533
15.45	     nbRestartNogoods=110
15.45	       =>  wckTime=14.432  cpuTime=14.25  mem=22M56
22.47	   
22.47	   search
22.47	     run=13  nbConstraintChecks=19112591  nbValidityChecks=37435939  nbPropagations=657602  nbRevisions=7699064
22.47	     nbUselessRevisions=5967106  nbAssignments=18900  nbFailedAssignments=13045  nbBacktracks=5815  nbVisitedNodes=36420
22.47	     nbRestartNogoods=123
22.47	       =>  wckTime=21.448  cpuTime=21.24  mem=22M56
32.57	   
32.57	   search
32.57	     run=14  nbConstraintChecks=28222163  nbValidityChecks=54694614  nbPropagations=993146  nbRevisions=11557512
32.57	     nbUselessRevisions=8948312  nbAssignments=28654  nbFailedAssignments=19877  nbBacktracks=8734  nbVisitedNodes=55285
32.57	     nbRestartNogoods=129
32.57	       =>  wckTime=31.551  cpuTime=31.31  mem=22M56
49.54	   
49.54	   search
49.54	     run=15  nbConstraintChecks=42958851  nbValidityChecks=83118284  nbPropagations=1507891  nbRevisions=17438502
49.54	     nbUselessRevisions=13477702  nbAssignments=43621  nbFailedAssignments=30462  nbBacktracks=13115
49.54	     nbVisitedNodes=84357  nbRestartNogoods=145
49.54	       =>  wckTime=48.518  cpuTime=48.2  mem=22M56
58.76	   
58.76	   search
58.76	     run=16  nbConstraintChecks=51052789  nbValidityChecks=98471092  nbPropagations=2114263  nbRevisions=24371288
58.76	     nbUselessRevisions=18819375  nbAssignments=51063  nbFailedAssignments=35625  nbBacktracks=15395
58.76	     nbVisitedNodes=98793  nbRestartNogoods=154
58.76	       =>  wckTime=57.741  cpuTime=57.41  mem=22M56
58.76	   
58.76	   global
58.76	     nbConstraintChecks=51052789  nbValidityChecks=98471092  nbPropagations=2114283  nbRevisions=24371288
58.76	     nbUselessRevisions=18819375  nbRestartNogoods=154  solvingWckTime=57.742  solvingCpuTime=57.41  expiredTime=no
58.76	     totalExploration=yes  nbFoundSolutions=0  globalCpuTime=58.02
58.76	       =>  wckTime=58.464  cpuTime=57.98  mem=22M56
58.76	   
58.76	s UNSATISFIABLE
58.76	d NODES 51063
58.76	d CHECKS 51052789
58.76	   
58.76	   totalWckTime=58.54  totalCpuTime=58.03

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/node48/watcher-218386-1168079629 -o ROOT/results/node48/solver-218386-1168079629 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/218386-1168079629/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.85 0.97 0.99 7/73 32030
/proc/meminfo: memFree=1635360/2055920 swapFree=4192812/4192956
[pid=32029] ppid=32024 vsize=1784 CPUtime=0
/proc/32029/stat : 32029 (java) R 32024 32029 31920 0 -1 0 169 0 0 0 0 0 0 0 18 0 1 0 156361667 1826816 140 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/32029/statm: 446 140 106 14 0 91 0

[startup+0.110576 s]
/proc/loadavg: 0.85 0.97 0.99 7/73 32030
/proc/meminfo: memFree=1635360/2055920 swapFree=4192812/4192956
[pid=32029] ppid=32024 vsize=914988 CPUtime=0.09
/proc/32029/stat : 32029 (java) R 32024 32029 31920 0 -1 0 3067 0 1 0 8 1 0 0 24 0 8 0 156361667 936947712 2813 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072931410 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32029/statm: 228747 2813 1452 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.522617 s]
/proc/loadavg: 0.85 0.97 0.99 7/73 32030
/proc/meminfo: memFree=1635360/2055920 swapFree=4192812/4192956
[pid=32029] ppid=32024 vsize=915328 CPUtime=0.49
/proc/32029/stat : 32029 (java) R 32024 32029 31920 0 -1 0 8303 0 1 0 46 3 0 0 25 0 8 0 156361667 937295872 8042 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073562222 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32029/statm: 228832 8042 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.34969 s]
/proc/loadavg: 0.85 0.97 0.99 4/87 32044
/proc/meminfo: memFree=1522800/2055920 swapFree=4192812/4192956
[pid=32029] ppid=32024 vsize=915460 CPUtime=1.31
/proc/32029/stat : 32029 (java) R 32024 32029 31920 0 -1 0 16784 0 1 0 123 8 0 0 25 0 8 0 156361667 937431040 16521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073609075 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32029/statm: 228865 16521 2517 14 0 215335 0
[pid=32029/tid=32031] ppid=32024 vsize=915460 CPUtime=0.06
/proc/32029/task/32031/stat : 32031 (java) S 32024 32029 31920 0 -1 64 1745 0 0 0 6 0 0 0 16 0 8 0 156361671 937431040 16521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32029/tid=32032] ppid=32024 vsize=915460 CPUtime=0
/proc/32029/task/32032/stat : 32032 (java) S 32024 32029 31920 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156361672 937431040 16521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32029/tid=32033] ppid=32024 vsize=915460 CPUtime=0
/proc/32029/task/32033/stat : 32033 (java) S 32024 32029 31920 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156361672 937431040 16521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32029/tid=32037] ppid=32024 vsize=915460 CPUtime=0
/proc/32029/task/32037/stat : 32037 (java) S 32024 32029 31920 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156361675 937431040 16521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32029/tid=32038] ppid=32024 vsize=915460 CPUtime=0.16
/proc/32029/task/32038/stat : 32038 (java) S 32024 32029 31920 0 -1 64 358 0 0 0 16 0 0 0 15 0 8 0 156361675 937431040 16521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32029/tid=32039] ppid=32024 vsize=915460 CPUtime=0
/proc/32029/task/32039/stat : 32039 (java) S 32024 32029 31920 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156361675 937431040 16521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32029/tid=32040] ppid=32024 vsize=915460 CPUtime=0
/proc/32029/task/32040/stat : 32040 (java) S 32024 32029 31920 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156361675 937431040 16521 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.98684 s]
/proc/loadavg: 0.85 0.97 0.99 3/87 32044
/proc/meminfo: memFree=1522608/2055920 swapFree=4192812/4192956
[pid=32029] ppid=32024 vsize=915460 CPUtime=2.94
/proc/32029/stat : 32029 (java) R 32024 32029 31920 0 -1 0 16802 0 1 0 286 8 0 0 25 0 8 0 156361667 937431040 16538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155086784 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32029/statm: 228865 16538 2517 14 0 215335 0
[pid=32029/tid=32031] ppid=32024 vsize=915460 CPUtime=0.06
/proc/32029/task/32031/stat : 32031 (java) S 32024 32029 31920 0 -1 64 1745 0 0 0 6 0 0 0 17 0 8 0 156361671 937431040 16538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32029/tid=32032] ppid=32024 vsize=915460 CPUtime=0
/proc/32029/task/32032/stat : 32032 (java) S 32024 32029 31920 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156361672 937431040 16538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32029/tid=32033] ppid=32024 vsize=915460 CPUtime=0
/proc/32029/task/32033/stat : 32033 (java) S 32024 32029 31920 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156361672 937431040 16538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32029/tid=32037] ppid=32024 vsize=915460 CPUtime=0
/proc/32029/task/32037/stat : 32037 (java) S 32024 32029 31920 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156361675 937431040 16538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32029/tid=32038] ppid=32024 vsize=915460 CPUtime=0.2
/proc/32029/task/32038/stat : 32038 (java) S 32024 32029 31920 0 -1 64 376 0 0 0 20 0 0 0 16 0 8 0 156361675 937431040 16538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32029/tid=32039] ppid=32024 vsize=915460 CPUtime=0
/proc/32029/task/32039/stat : 32039 (java) S 32024 32029 31920 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156361675 937431040 16538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32029/tid=32040] ppid=32024 vsize=915460 CPUtime=0
/proc/32029/task/32040/stat : 32040 (java) S 32024 32029 31920 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156361675 937431040 16538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915460

[startup+6.27214 s]
/proc/loadavg: 0.94 0.99 0.99 3/87 32044
/proc/meminfo: memFree=1522288/2055920 swapFree=4192812/4192956
[pid=32029] ppid=32024 vsize=915460 CPUtime=6.22
/proc/32029/stat : 32029 (java) R 32024 32029 31920 0 -1 0 16808 0 1 0 613 9 0 0 25 0 8 0 156361667 937431040 16542 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073729037 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32029/statm: 228865 16542 2517 14 0 215335 0
[pid=32029/tid=32031] ppid=32024 vsize=915460 CPUtime=0.06
/proc/32029/task/32031/stat : 32031 (java) S 32024 32029 31920 0 -1 64 1745 0 0 0 6 0 0 0 16 0 8 0 156361671 937431040 16542 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32029/tid=32032] ppid=32024 vsize=915460 CPUtime=0
/proc/32029/task/32032/stat : 32032 (java) S 32024 32029 31920 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156361672 937431040 16542 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32029/tid=32033] ppid=32024 vsize=915460 CPUtime=0
/proc/32029/task/32033/stat : 32033 (java) S 32024 32029 31920 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156361672 937431040 16542 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32029/tid=32037] ppid=32024 vsize=915460 CPUtime=0
/proc/32029/task/32037/stat : 32037 (java) S 32024 32029 31920 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156361675 937431040 16542 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32029/tid=32038] ppid=32024 vsize=915460 CPUtime=0.2
/proc/32029/task/32038/stat : 32038 (java) S 32024 32029 31920 0 -1 64 380 0 0 0 20 0 0 0 16 0 8 0 156361675 937431040 16542 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32029/tid=32039] ppid=32024 vsize=915460 CPUtime=0
/proc/32029/task/32039/stat : 32039 (java) S 32024 32029 31920 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156361675 937431040 16542 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32029/tid=32040] ppid=32024 vsize=915460 CPUtime=0
/proc/32029/task/32040/stat : 32040 (java) S 32024 32029 31920 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156361675 937431040 16542 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) 915460

[startup+12.7567 s]
/proc/loadavg: 1.03 1.01 1.00 3/87 32044
/proc/meminfo: memFree=1522416/2055920 swapFree=4192812/4192956
[pid=32029] ppid=32024 vsize=915460 CPUtime=12.68
/proc/32029/stat : 32029 (java) R 32024 32029 31920 0 -1 0 16811 0 1 0 1259 9 0 0 25 0 8 0 156361667 937431040 16545 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073729594 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32029/statm: 228865 16545 2517 14 0 215335 0
[pid=32029/tid=32031] ppid=32024 vsize=915460 CPUtime=0.06
/proc/32029/task/32031/stat : 32031 (java) S 32024 32029 31920 0 -1 64 1745 0 0 0 6 0 0 0 16 0 8 0 156361671 937431040 16545 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32029/tid=32032] ppid=32024 vsize=915460 CPUtime=0
/proc/32029/task/32032/stat : 32032 (java) S 32024 32029 31920 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156361672 937431040 16545 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32029/tid=32033] ppid=32024 vsize=915460 CPUtime=0
/proc/32029/task/32033/stat : 32033 (java) S 32024 32029 31920 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156361672 937431040 16545 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32029/tid=32037] ppid=32024 vsize=915460 CPUtime=0
/proc/32029/task/32037/stat : 32037 (java) S 32024 32029 31920 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156361675 937431040 16545 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32029/tid=32038] ppid=32024 vsize=915460 CPUtime=0.21
/proc/32029/task/32038/stat : 32038 (java) S 32024 32029 31920 0 -1 64 383 0 0 0 21 0 0 0 16 0 8 0 156361675 937431040 16545 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32029/tid=32039] ppid=32024 vsize=915460 CPUtime=0
/proc/32029/task/32039/stat : 32039 (java) S 32024 32029 31920 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156361675 937431040 16545 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32029/tid=32040] ppid=32024 vsize=915460 CPUtime=0
/proc/32029/task/32040/stat : 32040 (java) S 32024 32029 31920 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156361675 937431040 16545 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 915460

[startup+25.6219 s]
/proc/loadavg: 1.24 1.05 1.02 3/87 32044
/proc/meminfo: memFree=1522608/2055920 swapFree=4192812/4192956
[pid=32029] ppid=32024 vsize=915460 CPUtime=25.47
/proc/32029/stat : 32029 (java) R 32024 32029 31920 0 -1 0 16811 0 1 0 2538 9 0 0 25 0 8 0 156361667 937431040 16545 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073726665 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32029/statm: 228865 16545 2517 14 0 215335 0
[pid=32029/tid=32031] ppid=32024 vsize=915460 CPUtime=0.06
/proc/32029/task/32031/stat : 32031 (java) S 32024 32029 31920 0 -1 64 1745 0 0 0 6 0 0 0 16 0 8 0 156361671 937431040 16545 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32029/tid=32032] ppid=32024 vsize=915460 CPUtime=0
/proc/32029/task/32032/stat : 32032 (java) S 32024 32029 31920 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156361672 937431040 16545 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32029/tid=32033] ppid=32024 vsize=915460 CPUtime=0
/proc/32029/task/32033/stat : 32033 (java) S 32024 32029 31920 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156361672 937431040 16545 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32029/tid=32037] ppid=32024 vsize=915460 CPUtime=0
/proc/32029/task/32037/stat : 32037 (java) S 32024 32029 31920 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156361675 937431040 16545 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32029/tid=32038] ppid=32024 vsize=915460 CPUtime=0.21
/proc/32029/task/32038/stat : 32038 (java) S 32024 32029 31920 0 -1 64 383 0 0 0 21 0 0 0 16 0 8 0 156361675 937431040 16545 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32029/tid=32039] ppid=32024 vsize=915460 CPUtime=0
/proc/32029/task/32039/stat : 32039 (java) S 32024 32029 31920 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156361675 937431040 16545 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32029/tid=32040] ppid=32024 vsize=915460 CPUtime=0
/proc/32029/task/32040/stat : 32040 (java) S 32024 32029 31920 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156361675 937431040 16545 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 915460

[startup+51.3203 s]
/proc/loadavg: 1.43 1.11 1.03 2/75 32276
/proc/meminfo: memFree=1580224/2055920 swapFree=4192812/4192956
[pid=32029] ppid=32024 vsize=915460 CPUtime=51.06
/proc/32029/stat : 32029 (java) R 32024 32029 31920 0 -1 0 16811 0 1 0 5095 11 0 0 25 0 8 0 156361667 937431040 16545 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073788004 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32029/statm: 228865 16545 2517 14 0 215335 0
[pid=32029/tid=32031] ppid=32024 vsize=915460 CPUtime=0.06
/proc/32029/task/32031/stat : 32031 (java) S 32024 32029 31920 0 -1 64 1745 0 0 0 6 0 0 0 16 0 8 0 156361671 937431040 16545 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32029/tid=32032] ppid=32024 vsize=915460 CPUtime=0
/proc/32029/task/32032/stat : 32032 (java) S 32024 32029 31920 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156361672 937431040 16545 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32029/tid=32033] ppid=32024 vsize=915460 CPUtime=0
/proc/32029/task/32033/stat : 32033 (java) S 32024 32029 31920 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156361672 937431040 16545 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32029/tid=32037] ppid=32024 vsize=915460 CPUtime=0
/proc/32029/task/32037/stat : 32037 (java) S 32024 32029 31920 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156361675 937431040 16545 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32029/tid=32038] ppid=32024 vsize=915460 CPUtime=0.21
/proc/32029/task/32038/stat : 32038 (java) S 32024 32029 31920 0 -1 64 383 0 0 0 21 0 0 0 16 0 8 0 156361675 937431040 16545 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32029/tid=32039] ppid=32024 vsize=915460 CPUtime=0
/proc/32029/task/32039/stat : 32039 (java) S 32024 32029 31920 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156361675 937431040 16545 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32029/tid=32040] ppid=32024 vsize=915460 CPUtime=0
/proc/32029/task/32040/stat : 32040 (java) S 32024 32029 31920 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156361675 937431040 16545 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 915460

Child status: 0
Real time (s): 58.8007
CPU time (s): 58.5241
CPU user time (s): 58.3991
CPU system time (s): 0.124981
CPU usage (%): 99.5296
Max. virtual memory (cumulated for all children) (KiB): 915460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 58.3991
system time used= 0.124981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16819
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= 2286
involuntary context switches= 2959

runsolver used 0.068989 s user time and 0.154976 s system time

The end

Launcher Data (download as text)

Begin job on node48 on Sat Jan  6 10:33:50 UTC 2007


IDJOB= 218386
IDBENCH= 5232
FILE ID= node48/218386-1168079629

PBS_JOBID= 3476137

Free space on /tmp= 66556 MiB

BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-20-20/rand-3-20-20-60-632-45_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/218386-1168079629/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node48/watcher-218386-1168079629 -o ROOT/results/node48/solver-218386-1168079629 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/218386-1168079629/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  a7f563e17417029cc0d001ae5faf3c9a

RANDOM SEED= 349781370

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.218
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.218
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:       1636392 kB
Buffers:         30544 kB
Cached:         295992 kB
SwapCached:          0 kB
Active:          71456 kB
Inactive:       275140 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1636392 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            6000 kB
Writeback:           0 kB
Mapped:          30176 kB
Slab:            58536 kB
Committed_AS:  3102432 kB
PageTables:       1584 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66559 MiB



End job on node48 on Sat Jan  6 10:34:49 UTC 2007