Trace number 226844

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 49.7224 49.8259

DiagnosticValue
CHECKS448740023
NODES270882

General information on the benchmark

Nametightness/tightness0.65/
rand-2-40-40-135-650-65_ext.xml
MD5SUM7ef1b211576735d3286234aa6bdf6c61
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 benchmark26.245
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables40
Number of constraints135
Maximum constraint arity2
Maximum domain size40
Number of constraints which are defined in extension135
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.32	   
0.32	   instance
0.32	     name=/tmp/evaluation/226844-1168080737/unknown.xml
0.35	   
0.35	   domains being loaded...
0.35	   
0.35	   variables being loaded...
0.39	     nbVariables=40  nbDomainTypes=1  minDomainSize=40  maxDomainSize=40
0.39	       =>  wckTime=0.097  cpuTime=0.09  mem=6M951
0.39	   
0.39	   relations being loaded...
0.50	   
0.50	   constraints being loaded...
0.58	     nbConstraints=135  nbRelationTypes=135  nbExtensionStructures=135  nbSharedExtensionStructures=0
0.58	     nbConflictsStructures=135  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=0  maxDegree=12  maxArity=2
0.58	       =>  wckTime=0.292  cpuTime=0.25  mem=15M730
0.62	   
0.62	   solver IterativeSystematicSolver being built... 
0.77	       =>  wckTime=0.479  cpuTime=0.37  mem=13M789
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.0020  cpuTime=0.0  mem=13M789
0.82	   
0.82	   search
0.82	     run=0  nbConstraintChecks=52363  nbPropagations=772  nbRevisions=4323  nbUselessRevisions=2683  nbAssignments=25
0.82	     nbFailedAssignments=9  nbBacktracks=12  nbVisitedNodes=44  nbRestartNogoods=0  mapSize=10  nbInferences=0
0.83	     nbTooLargeKeys=0
0.83	       =>  wckTime=0.051  cpuTime=0.03  mem=14M764
0.85	   
0.85	   search
0.85	     run=1  nbConstraintChecks=134603  nbPropagations=2652  nbRevisions=15139  nbUselessRevisions=9401  nbAssignments=68
0.85	     nbFailedAssignments=32  nbBacktracks=27  nbVisitedNodes=122  nbRestartNogoods=4  mapSize=24  nbInferences=0
0.85	     nbTooLargeKeys=0
0.85	       =>  wckTime=0.074  cpuTime=0.05  mem=14M764
0.86	   
0.86	   search
0.86	     run=2  nbConstraintChecks=200829  nbPropagations=5639  nbRevisions=31788  nbUselessRevisions=19734
0.86	     nbAssignments=116  nbFailedAssignments=51  nbBacktracks=51  nbVisitedNodes=203  nbRestartNogoods=12  mapSize=44
0.86	     nbInferences=0  nbTooLargeKeys=0
0.86	       =>  wckTime=0.09  cpuTime=0.06  mem=14M764
0.88	   
0.88	   search
0.88	     run=3  nbConstraintChecks=284976  nbPropagations=10045  nbRevisions=56009  nbUselessRevisions=34716
0.88	     nbAssignments=184  nbFailedAssignments=80  nbBacktracks=86  nbVisitedNodes=316  nbRestartNogoods=16  mapSize=71
0.88	     nbInferences=0  nbTooLargeKeys=0
0.88	       =>  wckTime=0.108  cpuTime=0.08  mem=14M764
0.91	   
0.91	   search
0.91	     run=4  nbConstraintChecks=477702  nbPropagations=17374  nbRevisions=97274  nbUselessRevisions=60189
0.91	     nbAssignments=299  nbFailedAssignments=138  nbBacktracks=137  nbVisitedNodes=524  nbRestartNogoods=21  mapSize=120
0.91	     nbInferences=0  nbTooLargeKeys=0
0.91	       =>  wckTime=0.139  cpuTime=0.11  mem=14M764
0.95	   
0.95	   search
0.95	     run=5  nbConstraintChecks=705832  nbPropagations=28658  nbRevisions=160781  nbUselessRevisions=99226
0.95	     nbAssignments=462  nbFailedAssignments=220  nbBacktracks=212  nbVisitedNodes=818  nbRestartNogoods=24  mapSize=184
0.95	     nbInferences=0  nbTooLargeKeys=0
0.95	       =>  wckTime=0.174  cpuTime=0.14  mem=14M764
1.01	   
1.01	   search
1.01	     run=6  nbConstraintChecks=1174563  nbPropagations=46450  nbRevisions=262711  nbUselessRevisions=161446
1.01	     nbAssignments=725  nbFailedAssignments=361  nbBacktracks=328  nbVisitedNodes=1307  nbRestartNogoods=28  mapSize=292
1.01	     nbInferences=0  nbTooLargeKeys=0
1.01	       =>  wckTime=0.238  cpuTime=0.2  mem=14M764
1.09	   
1.09	   search
1.09	     run=7  nbConstraintChecks=1681937  nbPropagations=72531  nbRevisions=411911  nbUselessRevisions=252952
1.09	     nbAssignments=1057  nbFailedAssignments=518  nbBacktracks=498  nbVisitedNodes=1906  nbRestartNogoods=31
1.09	     mapSize=436  nbInferences=0  nbTooLargeKeys=0
1.09	       =>  wckTime=0.313  cpuTime=0.27  mem=14M764
1.23	   
1.23	   search
1.23	     run=8  nbConstraintChecks=2673320  nbPropagations=113179  nbRevisions=648295  nbUselessRevisions=397938
1.23	     nbAssignments=1645  nbFailedAssignments=843  nbBacktracks=754  nbVisitedNodes=2986  nbRestartNogoods=41
1.23	     mapSize=662  nbInferences=0  nbTooLargeKeys=0
1.23	       =>  wckTime=0.456  cpuTime=0.4  mem=14M764
1.36	   
1.36	   search
1.36	     run=9  nbConstraintChecks=3635670  nbPropagations=170390  nbRevisions=976842  nbUselessRevisions=599000
1.36	     nbAssignments=2343  nbFailedAssignments=1151  nbBacktracks=1138  nbVisitedNodes=4204  nbRestartNogoods=52
1.36	     mapSize=962  nbInferences=1  nbTooLargeKeys=0
1.36	       =>  wckTime=0.589  cpuTime=0.53  mem=14M764
1.39	   
1.39	   INFO : Stopping hyperNogood (mapSize=1019, nbTooLargekeys=0, mem=14M764)
1.63	   
1.63	   search
1.63	     run=10  nbConstraintChecks=5914165  nbPropagations=261765  nbRevisions=1506272  nbUselessRevisions=923256
1.63	     nbAssignments=3643  nbFailedAssignments=1868  nbBacktracks=1714  nbVisitedNodes=6638  nbRestartNogoods=59
1.63	       =>  wckTime=0.861  cpuTime=0.79  mem=14M764
1.95	   
1.95	   search
1.95	     run=11  nbConstraintChecks=8560661  nbPropagations=396473  nbRevisions=2281815  nbUselessRevisions=1397079
1.95	     nbAssignments=5335  nbFailedAssignments=2692  nbBacktracks=2578  nbVisitedNodes=9681  nbRestartNogoods=68
1.95	       =>  wckTime=1.179  cpuTime=1.11  mem=14M764
2.52	   
2.52	   search
2.52	     run=12  nbConstraintChecks=13677994  nbPropagations=606573  nbRevisions=3498667  nbUselessRevisions=2140798
2.52	     nbAssignments=8065  nbFailedAssignments=4118  nbBacktracks=3877  nbVisitedNodes=14711  nbRestartNogoods=74
2.52	       =>  wckTime=1.746  cpuTime=1.67  mem=14M764
3.12	   
3.12	   search
3.12	     run=13  nbConstraintChecks=18904840  nbPropagations=906485  nbRevisions=5224751  nbUselessRevisions=3197558
3.12	     nbAssignments=11768  nbFailedAssignments=5870  nbBacktracks=5826  nbVisitedNodes=21288  nbRestartNogoods=81
3.12	       =>  wckTime=2.347  cpuTime=2.27  mem=14M764
4.41	   
4.41	   search
4.41	     run=14  nbConstraintChecks=31011957  nbPropagations=1385852  nbRevisions=8031518  nbUselessRevisions=4915785
4.41	     nbAssignments=18679  nbFailedAssignments=9859  nbBacktracks=8745  nbVisitedNodes=34327  nbRestartNogoods=94
4.41	       =>  wckTime=3.64  cpuTime=3.56  mem=14M764
5.86	   
5.86	   search
5.86	     run=15  nbConstraintChecks=44179322  nbPropagations=2081774  nbRevisions=12067299  nbUselessRevisions=7389705
5.86	     nbAssignments=27159  nbFailedAssignments=13956  nbBacktracks=13123  nbVisitedNodes=49638  nbRestartNogoods=110
5.86	       =>  wckTime=5.089  cpuTime=5.01  mem=14M764
8.43	   
8.43	   search
8.43	     run=16  nbConstraintChecks=68837779  nbPropagations=3137004  nbRevisions=18218423  nbUselessRevisions=11162559
8.43	     nbAssignments=41047  nbFailedAssignments=21271  nbBacktracks=19691  nbVisitedNodes=75062  nbRestartNogoods=115
8.43	       =>  wckTime=7.662  cpuTime=7.58  mem=14M764
12.19	   
12.19	   search
12.19	     run=17  nbConstraintChecks=103397683  nbPropagations=4727373  nbRevisions=27507865  nbUselessRevisions=16862198
12.19	     nbAssignments=61657  nbFailedAssignments=32024  nbBacktracks=29543  nbVisitedNodes=112802  nbRestartNogoods=129
12.19	       =>  wckTime=11.416  cpuTime=11.33  mem=14M764
17.30	   
17.30	   search
17.30	     run=18  nbConstraintChecks=149832479  nbPropagations=7047941  nbRevisions=41008492  nbUselessRevisions=25138366
17.30	     nbAssignments=90437  nbFailedAssignments=46020  nbBacktracks=44321  nbVisitedNodes=164499  nbRestartNogoods=145
17.30	       =>  wckTime=16.53  cpuTime=16.43  mem=14M764
25.63	   
25.63	   search
25.63	     run=19  nbConstraintChecks=226971178  nbPropagations=10546753  nbRevisions=61367131  nbUselessRevisions=37605474
25.63	     nbAssignments=135632  nbFailedAssignments=69040  nbBacktracks=66491  nbVisitedNodes=246561  nbRestartNogoods=158
25.63	       =>  wckTime=24.862  cpuTime=24.76  mem=14M764
37.74	   
37.74	   search
37.74	     run=20  nbConstraintChecks=338714064  nbPropagations=15790571  nbRevisions=91826948  nbUselessRevisions=56258678
37.74	     nbAssignments=203776  nbFailedAssignments=103927  nbBacktracks=99743  nbVisitedNodes=370380  nbRestartNogoods=172
37.74	       =>  wckTime=36.97  cpuTime=36.86  mem=14M764
49.76	   
49.76	   search
49.76	     run=21  nbConstraintChecks=448740023  nbPropagations=22753333  nbRevisions=132188596  nbUselessRevisions=80947313
49.76	     nbAssignments=270882  nbFailedAssignments=137150  nbBacktracks=133627  nbVisitedNodes=491130  nbRestartNogoods=183
49.76	       =>  wckTime=48.986  cpuTime=48.87  mem=14M764
49.76	   
49.76	   global
49.76	     nbConstraintChecks=448740023  nbPropagations=22753373  nbRevisions=132188596  nbUselessRevisions=80947313
49.76	     nbRestartNogoods=183  solvingWckTime=48.987  solvingCpuTime=48.87  expiredTime=no  totalExploration=yes
49.76	     nbFoundSolutions=0  globalCpuTime=49.29
49.76	       =>  wckTime=49.47  cpuTime=49.24  mem=14M764
49.76	   
49.76	s UNSATISFIABLE
49.76	d NODES 270882
49.76	d CHECKS 448740023
49.76	   
49.76	   totalWckTime=49.546  totalCpuTime=49.29

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/node45/watcher-226844-1168080737 -o ROOT/results/node45/solver-226844-1168080737 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/226844-1168080737/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.19 0.55 0.89 3/68 23433
/proc/meminfo: memFree=1410800/2055920 swapFree=4184004/4192956
[pid=23432] ppid=23430 vsize=1784 CPUtime=0
/proc/23432/stat : 23432 (java) R 23430 23432 22886 0 -1 0 346 0 0 0 0 0 0 0 18 0 1 0 156473868 1826816 140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/23432/statm: 454 146 111 14 0 99 0

[startup+0.104949 s]
/proc/loadavg: 0.19 0.55 0.89 3/68 23433
/proc/meminfo: memFree=1410800/2055920 swapFree=4184004/4192956
[pid=23432] ppid=23430 vsize=914988 CPUtime=0.08
/proc/23432/stat : 23432 (java) R 23430 23432 22886 0 -1 0 3088 0 1 0 7 1 0 0 22 0 8 0 156473868 936947712 2834 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23432/statm: 228747 2834 1457 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.513028 s]
/proc/loadavg: 0.19 0.55 0.89 3/68 23433
/proc/meminfo: memFree=1410800/2055920 swapFree=4184004/4192956
[pid=23432] ppid=23430 vsize=915328 CPUtime=0.5
/proc/23432/stat : 23432 (java) R 23430 23432 22886 0 -1 0 7774 0 1 0 45 5 0 0 16 0 8 0 156473868 937295872 7513 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073591907 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23432/statm: 228832 7513 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328

[startup+1.34017 s]
/proc/loadavg: 0.19 0.55 0.89 2/75 23440
/proc/meminfo: memFree=1385400/2055920 swapFree=4184004/4192956
[pid=23432] ppid=23430 vsize=915464 CPUtime=1.32
/proc/23432/stat : 23432 (java) R 23430 23432 22886 0 -1 0 9078 0 1 0 125 7 0 0 16 0 8 0 156473868 937435136 8816 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073739987 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23432/statm: 228866 8816 2513 14 0 215336 0
[pid=23432/tid=23434] ppid=23430 vsize=915464 CPUtime=0.03
/proc/23432/task/23434/stat : 23434 (java) S 23430 23432 22886 0 -1 64 254 0 0 0 3 0 0 0 16 0 8 0 156473871 937435136 8816 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23432/tid=23435] ppid=23430 vsize=915464 CPUtime=0
/proc/23432/task/23435/stat : 23435 (java) S 23430 23432 22886 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156473872 937435136 8816 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23432/tid=23436] ppid=23430 vsize=915464 CPUtime=0
/proc/23432/task/23436/stat : 23436 (java) S 23430 23432 22886 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156473872 937435136 8816 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23432/tid=23437] ppid=23430 vsize=915464 CPUtime=0
/proc/23432/task/23437/stat : 23437 (java) S 23430 23432 22886 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156473875 937435136 8816 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23432/tid=23438] ppid=23430 vsize=915464 CPUtime=0.18
/proc/23432/task/23438/stat : 23438 (java) S 23430 23432 22886 0 -1 64 372 0 0 0 17 1 0 0 15 0 8 0 156473875 937435136 8816 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23432/tid=23439] ppid=23430 vsize=915464 CPUtime=0
/proc/23432/task/23439/stat : 23439 (java) S 23430 23432 22886 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156473875 937435136 8816 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23432/tid=23440] ppid=23430 vsize=915464 CPUtime=0
/proc/23432/task/23440/stat : 23440 (java) S 23430 23432 22886 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156473875 937435136 8816 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) 915464

[startup+2.97847 s]
/proc/loadavg: 0.19 0.55 0.89 2/75 23440
/proc/meminfo: memFree=1385336/2055920 swapFree=4184004/4192956
[pid=23432] ppid=23430 vsize=915464 CPUtime=2.95
/proc/23432/stat : 23432 (java) R 23430 23432 22886 0 -1 0 9083 0 1 0 288 7 0 0 18 0 8 0 156473868 937435136 8820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073772967 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23432/statm: 228866 8820 2513 14 0 215336 0
[pid=23432/tid=23434] ppid=23430 vsize=915464 CPUtime=0.03
/proc/23432/task/23434/stat : 23434 (java) S 23430 23432 22886 0 -1 64 254 0 0 0 3 0 0 0 16 0 8 0 156473871 937435136 8820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23432/tid=23435] ppid=23430 vsize=915464 CPUtime=0
/proc/23432/task/23435/stat : 23435 (java) S 23430 23432 22886 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156473872 937435136 8820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23432/tid=23436] ppid=23430 vsize=915464 CPUtime=0
/proc/23432/task/23436/stat : 23436 (java) S 23430 23432 22886 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156473872 937435136 8820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23432/tid=23437] ppid=23430 vsize=915464 CPUtime=0
/proc/23432/task/23437/stat : 23437 (java) S 23430 23432 22886 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156473875 937435136 8820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23432/tid=23438] ppid=23430 vsize=915464 CPUtime=0.19
/proc/23432/task/23438/stat : 23438 (java) S 23430 23432 22886 0 -1 64 376 0 0 0 18 1 0 0 15 0 8 0 156473875 937435136 8820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23432/tid=23439] ppid=23430 vsize=915464 CPUtime=0
/proc/23432/task/23439/stat : 23439 (java) S 23430 23432 22886 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156473875 937435136 8820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23432/tid=23440] ppid=23430 vsize=915464 CPUtime=0
/proc/23432/task/23440/stat : 23440 (java) S 23430 23432 22886 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156473875 937435136 8820 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) 915464

[startup+6.27307 s]
/proc/loadavg: 0.34 0.57 0.90 2/75 23440
/proc/meminfo: memFree=1385336/2055920 swapFree=4184004/4192956
[pid=23432] ppid=23430 vsize=915464 CPUtime=6.26
/proc/23432/stat : 23432 (java) R 23430 23432 22886 0 -1 0 9084 0 1 0 618 8 0 0 25 0 8 0 156473868 937435136 8820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073767778 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23432/statm: 228866 8820 2513 14 0 215336 0
[pid=23432/tid=23434] ppid=23430 vsize=915464 CPUtime=0.03
/proc/23432/task/23434/stat : 23434 (java) S 23430 23432 22886 0 -1 64 254 0 0 0 3 0 0 0 16 0 8 0 156473871 937435136 8820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23432/tid=23435] ppid=23430 vsize=915464 CPUtime=0
/proc/23432/task/23435/stat : 23435 (java) S 23430 23432 22886 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156473872 937435136 8820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23432/tid=23436] ppid=23430 vsize=915464 CPUtime=0
/proc/23432/task/23436/stat : 23436 (java) S 23430 23432 22886 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156473872 937435136 8820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23432/tid=23437] ppid=23430 vsize=915464 CPUtime=0
/proc/23432/task/23437/stat : 23437 (java) S 23430 23432 22886 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156473875 937435136 8820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23432/tid=23438] ppid=23430 vsize=915464 CPUtime=0.19
/proc/23432/task/23438/stat : 23438 (java) S 23430 23432 22886 0 -1 64 376 0 0 0 18 1 0 0 16 0 8 0 156473875 937435136 8820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23432/tid=23439] ppid=23430 vsize=915464 CPUtime=0
/proc/23432/task/23439/stat : 23439 (java) S 23430 23432 22886 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156473875 937435136 8820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23432/tid=23440] ppid=23430 vsize=915464 CPUtime=0
/proc/23432/task/23440/stat : 23440 (java) S 23430 23432 22886 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156473875 937435136 8820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 915464

[startup+12.7462 s]
/proc/loadavg: 0.44 0.59 0.90 2/75 23443
/proc/meminfo: memFree=1385088/2055920 swapFree=4184004/4192956
[pid=23432] ppid=23430 vsize=915464 CPUtime=12.72
/proc/23432/stat : 23432 (java) R 23430 23432 22886 0 -1 0 9084 0 1 0 1264 8 0 0 25 0 8 0 156473868 937435136 8820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336160 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23432/statm: 228866 8820 2513 14 0 215336 0
[pid=23432/tid=23434] ppid=23430 vsize=915464 CPUtime=0.03
/proc/23432/task/23434/stat : 23434 (java) S 23430 23432 22886 0 -1 64 254 0 0 0 3 0 0 0 16 0 8 0 156473871 937435136 8820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23432/tid=23435] ppid=23430 vsize=915464 CPUtime=0
/proc/23432/task/23435/stat : 23435 (java) S 23430 23432 22886 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156473872 937435136 8820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23432/tid=23436] ppid=23430 vsize=915464 CPUtime=0
/proc/23432/task/23436/stat : 23436 (java) S 23430 23432 22886 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156473872 937435136 8820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23432/tid=23437] ppid=23430 vsize=915464 CPUtime=0
/proc/23432/task/23437/stat : 23437 (java) S 23430 23432 22886 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156473875 937435136 8820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23432/tid=23438] ppid=23430 vsize=915464 CPUtime=0.19
/proc/23432/task/23438/stat : 23438 (java) S 23430 23432 22886 0 -1 64 376 0 0 0 18 1 0 0 16 0 8 0 156473875 937435136 8820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23432/tid=23439] ppid=23430 vsize=915464 CPUtime=0
/proc/23432/task/23439/stat : 23439 (java) S 23430 23432 22886 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156473875 937435136 8820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23432/tid=23440] ppid=23430 vsize=915464 CPUtime=0
/proc/23432/task/23440/stat : 23440 (java) S 23430 23432 22886 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156473875 937435136 8820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 915464

[startup+25.5986 s]
/proc/loadavg: 0.60 0.62 0.90 3/87 23485
/proc/meminfo: memFree=1358816/2055920 swapFree=4184004/4192956
[pid=23432] ppid=23430 vsize=915464 CPUtime=25.55
/proc/23432/stat : 23432 (java) R 23430 23432 22886 0 -1 0 9084 0 1 0 2547 8 0 0 25 0 8 0 156473868 937435136 8820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073746505 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23432/statm: 228866 8820 2513 14 0 215336 0
[pid=23432/tid=23434] ppid=23430 vsize=915464 CPUtime=0.03
/proc/23432/task/23434/stat : 23434 (java) S 23430 23432 22886 0 -1 64 254 0 0 0 3 0 0 0 16 0 8 0 156473871 937435136 8820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23432/tid=23435] ppid=23430 vsize=915464 CPUtime=0
/proc/23432/task/23435/stat : 23435 (java) S 23430 23432 22886 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156473872 937435136 8820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23432/tid=23436] ppid=23430 vsize=915464 CPUtime=0
/proc/23432/task/23436/stat : 23436 (java) S 23430 23432 22886 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156473872 937435136 8820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23432/tid=23437] ppid=23430 vsize=915464 CPUtime=0
/proc/23432/task/23437/stat : 23437 (java) S 23430 23432 22886 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156473875 937435136 8820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23432/tid=23438] ppid=23430 vsize=915464 CPUtime=0.19
/proc/23432/task/23438/stat : 23438 (java) S 23430 23432 22886 0 -1 64 376 0 0 0 18 1 0 0 16 0 8 0 156473875 937435136 8820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23432/tid=23439] ppid=23430 vsize=915464 CPUtime=0
/proc/23432/task/23439/stat : 23439 (java) S 23430 23432 22886 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156473875 937435136 8820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23432/tid=23440] ppid=23430 vsize=915464 CPUtime=0
/proc/23432/task/23440/stat : 23440 (java) S 23430 23432 22886 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156473875 937435136 8820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.55
Current children cumulated vsize (KiB) 915464

Child status: 0
Real time (s): 49.8259
CPU time (s): 49.7224
CPU user time (s): 49.6255
CPU system time (s): 0.096985
CPU usage (%): 99.7924
Max. virtual memory (cumulated for all children) (KiB): 915464

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 49.6255
system time used= 0.096985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9092
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= 1751
involuntary context switches= 592

runsolver used 0.06299 s user time and 0.143978 s system time

The end

Launcher Data (download as text)

Begin job on node45 on Sat Jan  6 10:52:24 UTC 2007


IDJOB= 226844
IDBENCH= 6018
FILE ID= node45/226844-1168080737

PBS_JOBID= 3476166

Free space on /tmp= 66543 MiB

BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.65/rand-2-40-40-135-650-65_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/226844-1168080737/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node45/watcher-226844-1168080737 -o ROOT/results/node45/solver-226844-1168080737 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/226844-1168080737/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  7ef1b211576735d3286234aa6bdf6c61

RANDOM SEED= 694068052

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.259
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.259
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:       1411408 kB
Buffers:         49188 kB
Cached:         509472 kB
SwapCached:       2748 kB
Active:          53724 kB
Inactive:       519096 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1411408 kB
SwapTotal:     4192956 kB
SwapFree:      4184004 kB
Dirty:            2232 kB
Writeback:           0 kB
Mapped:          20176 kB
Slab:            57464 kB
Committed_AS:  2675136 kB
PageTables:       1596 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= 66541 MiB



End job on node45 on Sat Jan  6 10:53:23 UTC 2007