Trace number 232092

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 40.1209 40.2985

DiagnosticValue
CHECKS260618020
NODES183809

General information on the benchmark

Namerandom/rand-2-25/
rand-25-25-300-147-54021_ext.xml
MD5SUMbf88d62088459624c50cfbf8bcb9cc1f
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 benchmark25.5481
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables25
Number of constraints300
Maximum constraint arity2
Maximum domain size25
Number of constraints which are defined in extension300
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/232092-1168081222/unknown.xml
0.37	   
0.37	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.41	     nbVariables=25  nbDomainTypes=1  minDomainSize=25  maxDomainSize=25
0.41	       =>  wckTime=0.09  cpuTime=0.07  mem=6M951
0.41	   
0.41	   relations being loaded...
0.51	   
0.51	   constraints being loaded...
0.62	     nbConstraints=300  nbRelationTypes=300  nbExtensionStructures=300  nbSharedExtensionStructures=0
0.62	     nbConflictsStructures=300  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=862  maxDegree=24
0.62	     maxArity=2
0.62	       =>  wckTime=0.305  cpuTime=0.22  mem=13M778
0.66	   
0.67	   solver IterativeSystematicSolver being built... 
0.80	       =>  wckTime=0.485  cpuTime=0.33  mem=14M80
0.81	   
0.81	   preprocessing
0.81	     nbConstraintChecks=0  nbPropagations=25  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
0.81	     detectedInconsistency=no
0.81	       =>  wckTime=0.0040  cpuTime=0.01  mem=14M80
0.85	   
0.85	   search
0.85	     run=0  nbConstraintChecks=32620  nbPropagations=415  nbRevisions=6184  nbUselessRevisions=5280  nbAssignments=24
0.85	     nbFailedAssignments=8  nbBacktracks=11  nbVisitedNodes=42  nbRestartNogoods=0  mapSize=11  nbInferences=0
0.85	     nbTooLargeKeys=0
0.85	       =>  wckTime=0.047  cpuTime=0.03  mem=15M121
0.87	   
0.87	   search
0.87	     run=1  nbConstraintChecks=84074  nbPropagations=1431  nbRevisions=23469  nbUselessRevisions=20253  nbAssignments=57
0.87	     nbFailedAssignments=22  nbBacktracks=26  nbVisitedNodes=102  nbRestartNogoods=2  mapSize=26  nbInferences=0
0.87	     nbTooLargeKeys=0
0.87	       =>  wckTime=0.063  cpuTime=0.05  mem=15M121
0.89	   
0.89	   search
0.89	     run=2  nbConstraintChecks=147208  nbPropagations=3197  nbRevisions=54381  nbUselessRevisions=47080
0.89	     nbAssignments=106  nbFailedAssignments=42  nbBacktracks=49  nbVisitedNodes=189  nbRestartNogoods=3  mapSize=48
0.89	     nbInferences=0  nbTooLargeKeys=0
0.89	       =>  wckTime=0.087  cpuTime=0.06  mem=15M121
0.92	   
0.92	   search
0.92	     run=3  nbConstraintChecks=254194  nbPropagations=6124  nbRevisions=107654  nbUselessRevisions=93317
0.92	     nbAssignments=179  nbFailedAssignments=76  nbBacktracks=82  nbVisitedNodes=323  nbRestartNogoods=7  mapSize=80
0.92	     nbInferences=0  nbTooLargeKeys=0
0.92	       =>  wckTime=0.111  cpuTime=0.08  mem=15M121
0.94	   
0.94	   search
0.94	     run=4  nbConstraintChecks=410911  nbPropagations=10757  nbRevisions=194973  nbUselessRevisions=169069
0.94	     nbAssignments=286  nbFailedAssignments=127  nbBacktracks=132  nbVisitedNodes=520  nbRestartNogoods=9  mapSize=130
0.94	     nbInferences=0  nbTooLargeKeys=0
0.94	       =>  wckTime=0.138  cpuTime=0.11  mem=15M121
0.98	   
0.98	   search
0.98	     run=5  nbConstraintChecks=628045  nbPropagations=17759  nbRevisions=328631  nbUselessRevisions=285067
0.98	     nbAssignments=439  nbFailedAssignments=199  nbBacktracks=208  nbVisitedNodes=802  nbRestartNogoods=16  mapSize=206
0.98	     nbInferences=0  nbTooLargeKeys=0
0.98	       =>  wckTime=0.179  cpuTime=0.15  mem=15M121
1.04	   
1.04	   search
1.04	     run=6  nbConstraintChecks=971266  nbPropagations=28508  nbRevisions=539061  nbUselessRevisions=467787
1.04	     nbAssignments=688  nbFailedAssignments=329  nbBacktracks=321  nbVisitedNodes=1266  nbRestartNogoods=22  mapSize=318
1.04	     nbInferences=0  nbTooLargeKeys=0
1.04	       =>  wckTime=0.239  cpuTime=0.21  mem=15M121
1.12	   
1.12	   search
1.12	     run=7  nbConstraintChecks=1414454  nbPropagations=44198  nbRevisions=848530  nbUselessRevisions=736727
1.12	     nbAssignments=1010  nbFailedAssignments=476  nbBacktracks=491  nbVisitedNodes=1861  nbRestartNogoods=33
1.12	     mapSize=487  nbInferences=0  nbTooLargeKeys=0
1.12	       =>  wckTime=0.318  cpuTime=0.28  mem=15M121
1.27	   
1.27	   search
1.27	     run=8  nbConstraintChecks=2177480  nbPropagations=68037  nbRevisions=1326190  nbUselessRevisions=1151861
1.27	     nbAssignments=1546  nbFailedAssignments=751  nbBacktracks=747  nbVisitedNodes=2862  nbRestartNogoods=38
1.27	     mapSize=739  nbInferences=0  nbTooLargeKeys=0
1.27	       =>  wckTime=0.467  cpuTime=0.41  mem=15M121
1.41	   
1.41	   INFO : Stopping hyperNogood (mapSize=1037, nbTooLargekeys=0, mem=15M121)
1.43	   
1.43	   search
1.44	     run=9  nbConstraintChecks=3181287  nbPropagations=103274  nbRevisions=2032826  nbUselessRevisions=1766411
1.44	     nbAssignments=2295  nbFailedAssignments=1109  nbBacktracks=1132  nbVisitedNodes=4256  nbRestartNogoods=44
1.44	       =>  wckTime=0.63  cpuTime=0.57  mem=15M121
1.68	   
1.68	   search
1.68	     run=10  nbConstraintChecks=4790256  nbPropagations=155720  nbRevisions=3096278  nbUselessRevisions=2691148
1.68	     nbAssignments=3452  nbFailedAssignments=1686  nbBacktracks=1710  nbVisitedNodes=6402  nbRestartNogoods=54
1.68	       =>  wckTime=0.872  cpuTime=0.8  mem=15M121
2.01	   
2.01	   search
2.01	     run=11  nbConstraintChecks=7107311  nbPropagations=233980  nbRevisions=4686146  nbUselessRevisions=4074224
2.01	     nbAssignments=5135  nbFailedAssignments=2499  nbBacktracks=2576  nbVisitedNodes=9549  nbRestartNogoods=55
2.01	       =>  wckTime=1.207  cpuTime=1.14  mem=15M121
2.54	   
2.54	   search
2.54	     run=12  nbConstraintChecks=10673811  nbPropagations=350942  nbRevisions=7077326  nbUselessRevisions=6155476
2.54	     nbAssignments=7685  nbFailedAssignments=3746  nbBacktracks=3874  nbVisitedNodes=14284  nbRestartNogoods=63
2.54	       =>  wckTime=1.733  cpuTime=1.66  mem=15M121
3.30	   
3.30	   search
3.30	     run=13  nbConstraintChecks=15636349  nbPropagations=523655  nbRevisions=10597977  nbUselessRevisions=9220162
3.30	     nbAssignments=11438  nbFailedAssignments=5548  nbBacktracks=5820  nbVisitedNodes=21247  nbRestartNogoods=70
3.30	       =>  wckTime=2.498  cpuTime=2.42  mem=15M121
4.51	   
4.51	   search
4.51	     run=14  nbConstraintChecks=23560355  nbPropagations=783215  nbRevisions=15901672  nbUselessRevisions=13837191
4.51	     nbAssignments=17176  nbFailedAssignments=8362  nbBacktracks=8739  nbVisitedNodes=31921  nbRestartNogoods=83
4.51	       =>  wckTime=3.71  cpuTime=3.63  mem=15M121
6.35	   
6.35	   search
6.35	     run=15  nbConstraintChecks=35675487  nbPropagations=1173198  nbRevisions=23918116  nbUselessRevisions=20820243
6.35	     nbAssignments=25727  nbFailedAssignments=12530  nbBacktracks=13117  nbVisitedNodes=47812  nbRestartNogoods=94
6.35	       =>  wckTime=5.543  cpuTime=5.47  mem=15M121
9.12	   
9.12	   search
9.12	     run=16  nbConstraintChecks=53863671  nbPropagations=1759670  nbRevisions=36025371  nbUselessRevisions=31367763
9.12	     nbAssignments=38621  nbFailedAssignments=18851  nbBacktracks=19685  nbVisitedNodes=71850  nbRestartNogoods=105
9.12	       =>  wckTime=8.311  cpuTime=8.23  mem=15M121
13.19	   
13.19	   search
13.19	     run=17  nbConstraintChecks=80660365  nbPropagations=2637014  nbRevisions=54163720  nbUselessRevisions=47173930
13.19	     nbAssignments=57657  nbFailedAssignments=28030  nbBacktracks=29537  nbVisitedNodes=107243  nbRestartNogoods=121
13.19	       =>  wckTime=12.384  cpuTime=12.3  mem=15M121
19.43	   
19.43	   search
19.43	     run=18  nbConstraintChecks=122351176  nbPropagations=3961489  nbRevisions=81655492  nbUselessRevisions=71139083
19.43	     nbAssignments=86768  nbFailedAssignments=42357  nbBacktracks=44315  nbVisitedNodes=161567  nbRestartNogoods=136
19.43	       =>  wckTime=18.626  cpuTime=18.54  mem=15M121
28.83	   
28.83	   search
28.83	     run=19  nbConstraintChecks=184953812  nbPropagations=5954856  nbRevisions=123191160  nbUselessRevisions=107361944
28.83	     nbAssignments=130277  nbFailedAssignments=63693  nbBacktracks=66483  nbVisitedNodes=242630  nbRestartNogoods=150
28.83	       =>  wckTime=28.023  cpuTime=27.94  mem=15M121
40.24	   
40.24	   search
40.24	     run=20  nbConstraintChecks=260618020  nbPropagations=8768644  nbRevisions=181763296  nbUselessRevisions=158442737
40.24	     nbAssignments=183809  nbFailedAssignments=89845  nbBacktracks=93838  nbVisitedNodes=342549  nbRestartNogoods=164
40.24	       =>  wckTime=39.438  cpuTime=39.28  mem=15M121
40.24	   
40.24	   global
40.24	     nbConstraintChecks=260618020  nbPropagations=8768669  nbRevisions=181763296  nbUselessRevisions=158442737
40.24	     nbRestartNogoods=164  solvingWckTime=39.438  solvingCpuTime=39.28  expiredTime=no  totalExploration=no
40.24	     nbFoundSolutions=1  globalCpuTime=39.67
40.24	       =>  wckTime=39.925  cpuTime=39.61  mem=15M121
40.25	   
40.25	s SATISFIABLE
40.25	v 5 24 10 1 13 19 21 13 10 23 3 20 18 14 13 13 16 17 13 7 21 10 14 5 18 
40.25	d NODES 183809
40.25	d CHECKS 260618020
40.25	   
40.25	   totalWckTime=40.0  totalCpuTime=39.67

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

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

/proc/loadavg: 0.02 0.71 1.41 3/81 26611
/proc/meminfo: memFree=1458128/2055920 swapFree=4182236/4192956
[pid=26610] ppid=26608 vsize=18540 CPUtime=0
/proc/26610/stat : 26610 (runsolver) R 26608 26610 26161 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 156517935 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 212234464551 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/26610/statm: 4635 279 244 17 0 2626 0

[startup+0.103463 s]
/proc/loadavg: 0.02 0.71 1.41 3/81 26611
/proc/meminfo: memFree=1458128/2055920 swapFree=4182236/4192956
[pid=26610] ppid=26608 vsize=914988 CPUtime=0.08
/proc/26610/stat : 26610 (java) R 26608 26610 26161 0 -1 0 2977 0 1 0 7 1 0 0 17 0 8 0 156517935 936947712 2723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153838661 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26610/statm: 228747 2723 1422 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.511499 s]
/proc/loadavg: 0.02 0.71 1.41 3/81 26611
/proc/meminfo: memFree=1458128/2055920 swapFree=4182236/4192956
[pid=26610] ppid=26608 vsize=915328 CPUtime=0.47
/proc/26610/stat : 26610 (java) R 26608 26610 26161 0 -1 0 7054 0 1 0 43 4 0 0 16 0 8 0 156517935 937295872 6793 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155770056 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26610/statm: 228832 6793 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915328

[startup+1.33258 s]
/proc/loadavg: 0.02 0.71 1.41 2/88 26618
/proc/meminfo: memFree=1433944/2055920 swapFree=4182236/4192956
[pid=26610] ppid=26608 vsize=915456 CPUtime=1.27
/proc/26610/stat : 26610 (java) R 26608 26610 26161 0 -1 0 8756 0 1 0 122 5 0 0 16 0 8 0 156517935 937426944 8494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073808346 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26610/statm: 228864 8494 2513 14 0 215334 0
[pid=26610/tid=26612] ppid=26608 vsize=915456 CPUtime=0.03
/proc/26610/task/26612/stat : 26612 (java) S 26608 26610 26161 0 -1 64 324 0 0 0 3 0 0 0 16 0 8 0 156517939 937426944 8494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26610/tid=26613] ppid=26608 vsize=915456 CPUtime=0
/proc/26610/task/26613/stat : 26613 (java) S 26608 26610 26161 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156517940 937426944 8494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26610/tid=26614] ppid=26608 vsize=915456 CPUtime=0
/proc/26610/task/26614/stat : 26614 (java) S 26608 26610 26161 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156517940 937426944 8494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26610/tid=26615] ppid=26608 vsize=915456 CPUtime=0
/proc/26610/task/26615/stat : 26615 (java) S 26608 26610 26161 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156517943 937426944 8494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26610/tid=26616] ppid=26608 vsize=915456 CPUtime=0.2
/proc/26610/task/26616/stat : 26616 (java) S 26608 26610 26161 0 -1 64 384 0 0 0 19 1 0 0 16 0 8 0 156517943 937426944 8494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26610/tid=26617] ppid=26608 vsize=915456 CPUtime=0
/proc/26610/task/26617/stat : 26617 (java) S 26608 26610 26161 0 -1 64 1 0 0 0 0 0 0 0 17 0 8 0 156517943 937426944 8494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26610/tid=26618] ppid=26608 vsize=915456 CPUtime=0
/proc/26610/task/26618/stat : 26618 (java) S 26608 26610 26161 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156517943 937426944 8494 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 915456

[startup+2.96973 s]
/proc/loadavg: 0.02 0.71 1.41 2/88 26618
/proc/meminfo: memFree=1433816/2055920 swapFree=4182236/4192956
[pid=26610] ppid=26608 vsize=915456 CPUtime=2.9
/proc/26610/stat : 26610 (java) R 26608 26610 26161 0 -1 0 8761 0 1 0 285 5 0 0 18 0 8 0 156517935 937426944 8498 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073797312 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26610/statm: 228864 8498 2513 14 0 215334 0
[pid=26610/tid=26612] ppid=26608 vsize=915456 CPUtime=0.03
/proc/26610/task/26612/stat : 26612 (java) S 26608 26610 26161 0 -1 64 324 0 0 0 3 0 0 0 16 0 8 0 156517939 937426944 8498 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26610/tid=26613] ppid=26608 vsize=915456 CPUtime=0
/proc/26610/task/26613/stat : 26613 (java) S 26608 26610 26161 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156517940 937426944 8498 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26610/tid=26614] ppid=26608 vsize=915456 CPUtime=0
/proc/26610/task/26614/stat : 26614 (java) S 26608 26610 26161 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156517940 937426944 8498 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26610/tid=26615] ppid=26608 vsize=915456 CPUtime=0
/proc/26610/task/26615/stat : 26615 (java) S 26608 26610 26161 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156517943 937426944 8498 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26610/tid=26616] ppid=26608 vsize=915456 CPUtime=0.21
/proc/26610/task/26616/stat : 26616 (java) S 26608 26610 26161 0 -1 64 388 0 0 0 20 1 0 0 16 0 8 0 156517943 937426944 8498 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26610/tid=26617] ppid=26608 vsize=915456 CPUtime=0
/proc/26610/task/26617/stat : 26617 (java) S 26608 26610 26161 0 -1 64 1 0 0 0 0 0 0 0 17 0 8 0 156517943 937426944 8498 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26610/tid=26618] ppid=26608 vsize=915456 CPUtime=0
/proc/26610/task/26618/stat : 26618 (java) S 26608 26610 26161 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156517943 937426944 8498 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 915456

[startup+6.26704 s]
/proc/loadavg: 0.10 0.71 1.41 2/88 26618
/proc/meminfo: memFree=1433816/2055920 swapFree=4182236/4192956
[pid=26610] ppid=26608 vsize=915456 CPUtime=6.21
/proc/26610/stat : 26610 (java) R 26608 26610 26161 0 -1 0 8761 0 1 0 615 6 0 0 25 0 8 0 156517935 937426944 8498 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073795366 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26610/statm: 228864 8498 2513 14 0 215334 0
[pid=26610/tid=26612] ppid=26608 vsize=915456 CPUtime=0.03
/proc/26610/task/26612/stat : 26612 (java) S 26608 26610 26161 0 -1 64 324 0 0 0 3 0 0 0 16 0 8 0 156517939 937426944 8498 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26610/tid=26613] ppid=26608 vsize=915456 CPUtime=0
/proc/26610/task/26613/stat : 26613 (java) S 26608 26610 26161 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156517940 937426944 8498 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26610/tid=26614] ppid=26608 vsize=915456 CPUtime=0
/proc/26610/task/26614/stat : 26614 (java) S 26608 26610 26161 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156517940 937426944 8498 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26610/tid=26615] ppid=26608 vsize=915456 CPUtime=0
/proc/26610/task/26615/stat : 26615 (java) S 26608 26610 26161 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156517943 937426944 8498 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26610/tid=26616] ppid=26608 vsize=915456 CPUtime=0.21
/proc/26610/task/26616/stat : 26616 (java) S 26608 26610 26161 0 -1 64 388 0 0 0 20 1 0 0 16 0 8 0 156517943 937426944 8498 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26610/tid=26617] ppid=26608 vsize=915456 CPUtime=0
/proc/26610/task/26617/stat : 26617 (java) S 26608 26610 26161 0 -1 64 1 0 0 0 0 0 0 0 17 0 8 0 156517943 937426944 8498 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26610/tid=26618] ppid=26608 vsize=915456 CPUtime=0
/proc/26610/task/26618/stat : 26618 (java) S 26608 26610 26161 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156517943 937426944 8498 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915456

[startup+12.7297 s]
/proc/loadavg: 0.17 0.71 1.41 2/88 26619
/proc/meminfo: memFree=1435608/2055920 swapFree=4182236/4192956
[pid=26610] ppid=26608 vsize=915456 CPUtime=12.66
/proc/26610/stat : 26610 (java) R 26608 26610 26161 0 -1 0 8764 0 1 0 1260 6 0 0 25 0 8 0 156517935 937426944 8500 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073828592 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26610/statm: 228864 8500 2513 14 0 215334 0
[pid=26610/tid=26612] ppid=26608 vsize=915456 CPUtime=0.03
/proc/26610/task/26612/stat : 26612 (java) S 26608 26610 26161 0 -1 64 324 0 0 0 3 0 0 0 16 0 8 0 156517939 937426944 8500 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26610/tid=26613] ppid=26608 vsize=915456 CPUtime=0
/proc/26610/task/26613/stat : 26613 (java) S 26608 26610 26161 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156517940 937426944 8500 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26610/tid=26614] ppid=26608 vsize=915456 CPUtime=0
/proc/26610/task/26614/stat : 26614 (java) S 26608 26610 26161 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156517940 937426944 8500 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26610/tid=26615] ppid=26608 vsize=915456 CPUtime=0
/proc/26610/task/26615/stat : 26615 (java) S 26608 26610 26161 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156517943 937426944 8500 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26610/tid=26616] ppid=26608 vsize=915456 CPUtime=0.21
/proc/26610/task/26616/stat : 26616 (java) S 26608 26610 26161 0 -1 64 390 0 0 0 20 1 0 0 16 0 8 0 156517943 937426944 8500 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26610/tid=26617] ppid=26608 vsize=915456 CPUtime=0
/proc/26610/task/26617/stat : 26617 (java) S 26608 26610 26161 0 -1 64 1 0 0 0 0 0 0 0 17 0 8 0 156517943 937426944 8500 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26610/tid=26618] ppid=26608 vsize=915456 CPUtime=0
/proc/26610/task/26618/stat : 26618 (java) S 26608 26610 26161 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156517943 937426944 8500 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 915456

[startup+25.5869 s]
/proc/loadavg: 0.30 0.72 1.40 2/88 26621
/proc/meminfo: memFree=1435608/2055920 swapFree=4182236/4192956
[pid=26610] ppid=26608 vsize=915456 CPUtime=25.51
/proc/26610/stat : 26610 (java) R 26608 26610 26161 0 -1 0 8764 0 1 0 2545 6 0 0 25 0 8 0 156517935 937426944 8500 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073810985 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26610/statm: 228864 8500 2513 14 0 215334 0
[pid=26610/tid=26612] ppid=26608 vsize=915456 CPUtime=0.03
/proc/26610/task/26612/stat : 26612 (java) S 26608 26610 26161 0 -1 64 324 0 0 0 3 0 0 0 16 0 8 0 156517939 937426944 8500 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26610/tid=26613] ppid=26608 vsize=915456 CPUtime=0
/proc/26610/task/26613/stat : 26613 (java) S 26608 26610 26161 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156517940 937426944 8500 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26610/tid=26614] ppid=26608 vsize=915456 CPUtime=0
/proc/26610/task/26614/stat : 26614 (java) S 26608 26610 26161 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156517940 937426944 8500 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26610/tid=26615] ppid=26608 vsize=915456 CPUtime=0
/proc/26610/task/26615/stat : 26615 (java) S 26608 26610 26161 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156517943 937426944 8500 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26610/tid=26616] ppid=26608 vsize=915456 CPUtime=0.21
/proc/26610/task/26616/stat : 26616 (java) S 26608 26610 26161 0 -1 64 390 0 0 0 20 1 0 0 16 0 8 0 156517943 937426944 8500 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26610/tid=26617] ppid=26608 vsize=915456 CPUtime=0
/proc/26610/task/26617/stat : 26617 (java) S 26608 26610 26161 0 -1 64 1 0 0 0 0 0 0 0 17 0 8 0 156517943 937426944 8500 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26610/tid=26618] ppid=26608 vsize=915456 CPUtime=0
/proc/26610/task/26618/stat : 26618 (java) S 26608 26610 26161 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156517943 937426944 8500 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 915456

Child status: 0
Real time (s): 40.2985
CPU time (s): 40.1209
CPU user time (s): 40.0459
CPU system time (s): 0.074988
CPU usage (%): 99.5592
Max. virtual memory (cumulated for all children) (KiB): 915456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 40.0459
system time used= 0.074988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8778
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= 1597
involuntary context switches= 1145

runsolver used 0.044993 s user time and 0.114982 s system time

The end

Launcher Data (download as text)

Begin job on node14 on Sat Jan  6 11:00:25 UTC 2007


IDJOB= 232092
IDBENCH= 6500
FILE ID= node14/232092-1168081222

PBS_JOBID= 3475832

Free space on /tmp= 66328 MiB

BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-25/rand-25-25-300-147-54021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/232092-1168081222/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node14/watcher-232092-1168081222 -o ROOT/results/node14/solver-232092-1168081222 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/232092-1168081222/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  bf88d62088459624c50cfbf8bcb9cc1f

RANDOM SEED= 478647386

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.227
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.227
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:       1458608 kB
Buffers:         58076 kB
Cached:         386824 kB
SwapCached:       3696 kB
Active:         142032 kB
Inactive:       355972 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1458608 kB
SwapTotal:     4192956 kB
SwapFree:      4182236 kB
Dirty:            1984 kB
Writeback:           0 kB
Mapped:          62476 kB
Slab:            84504 kB
Committed_AS:  4696284 kB
PageTables:       2016 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= 66328 MiB



End job on node14 on Sat Jan  6 11:01:14 UTC 2007