0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.35
0.36 instance
0.36 name=/tmp/evaluation/228587-1168299588/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.43 nbVariables=40 nbDomainTypes=1 minDomainSize=11 maxDomainSize=11
0.43 => wckTime=0.102 cpuTime=0.09 mem=6M951
0.43
0.43 relations being loaded...
0.52
0.52 constraints being loaded...
0.63 nbConstraints=414 nbRelationTypes=414 nbExtensionStructures=414 nbSharedExtensionStructures=0
0.63 nbConflictsStructures=414 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=8206 maxDegree=28
0.63 maxArity=2
0.63 => wckTime=0.302 cpuTime=0.22 mem=10M852
0.67
0.67 solver IterativeSystematicSolver being built...
0.84 => wckTime=0.511 cpuTime=0.36 mem=14M819
0.89
0.89 preprocessing
0.89 nbConstraintChecks=26600 nbPropagations=787 nbRevisions=4399 nbUselessRevisions=3432 nbSingletonTests=46
0.89 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=0 detectedInconsistency=no
0.89 => wckTime=0.055 cpuTime=0.03 mem=14M819
0.92
0.92 search
0.92 run=0 nbConstraintChecks=17943 nbPropagations=1186 nbRevisions=8930 nbUselessRevisions=7153 nbAssignments=23
0.92 nbFailedAssignments=6 nbBacktracks=10 nbVisitedNodes=36 nbRestartNogoods=0 mapSize=9 nbInferences=0
0.92 nbTooLargeKeys=0
0.92 => wckTime=0.078 cpuTime=0.04 mem=14M819
0.93
0.93 search
0.93 run=1 nbConstraintChecks=37818 nbPropagations=2801 nbRevisions=22910 nbUselessRevisions=18526 nbAssignments=53
0.93 nbFailedAssignments=13 nbBacktracks=26 nbVisitedNodes=80 nbRestartNogoods=2 mapSize=19 nbInferences=0
0.93 nbTooLargeKeys=0
0.93 => wckTime=0.095 cpuTime=0.05 mem=14M819
0.95
0.95 search
0.95 run=2 nbConstraintChecks=63804 nbPropagations=5015 nbRevisions=44007 nbUselessRevisions=35921 nbAssignments=92
0.95 nbFailedAssignments=23 nbBacktracks=49 nbVisitedNodes=139 nbRestartNogoods=5 mapSize=36 nbInferences=0
0.95 nbTooLargeKeys=0
0.95 => wckTime=0.109 cpuTime=0.06 mem=14M819
0.96
0.96 search
0.96 run=3 nbConstraintChecks=108539 nbPropagations=8132 nbRevisions=77026 nbUselessRevisions=63214
0.96 nbAssignments=150 nbFailedAssignments=37 nbBacktracks=84 nbVisitedNodes=227 nbRestartNogoods=7 mapSize=58
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.124 cpuTime=0.08 mem=14M819
0.99
0.99 search
0.99 run=4 nbConstraintChecks=179661 nbPropagations=12700 nbRevisions=127395 nbUselessRevisions=104535
0.99 nbAssignments=238 nbFailedAssignments=56 nbBacktracks=134 nbVisitedNodes=349 nbRestartNogoods=11 mapSize=96
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.146 cpuTime=0.1 mem=14M819
1.02
1.02 search
1.02 run=5 nbConstraintChecks=291013 nbPropagations=19280 nbRevisions=205684 nbUselessRevisions=168492
1.02 nbAssignments=366 nbFailedAssignments=102 nbBacktracks=210 nbVisitedNodes=570 nbRestartNogoods=14 mapSize=166
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.183 cpuTime=0.13 mem=14M819
1.06
1.06 search
1.06 run=6 nbConstraintChecks=424725 nbPropagations=28382 nbRevisions=320502 nbUselessRevisions=262912
1.06 nbAssignments=545 nbFailedAssignments=161 nbBacktracks=323 nbVisitedNodes=861 nbRestartNogoods=18 mapSize=253
1.06 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.22 cpuTime=0.17 mem=14M819
1.12
1.12 search
1.12 run=7 nbConstraintChecks=659035 nbPropagations=41709 nbRevisions=496443 nbUselessRevisions=407648
1.12 nbAssignments=815 nbFailedAssignments=252 nbBacktracks=495 nbVisitedNodes=1316 nbRestartNogoods=24 mapSize=396
1.12 nbInferences=0 nbTooLargeKeys=0
1.12 => wckTime=0.283 cpuTime=0.23 mem=14M819
1.23
1.23 search
1.23 run=8 nbConstraintChecks=1031419 nbPropagations=61669 nbRevisions=771099 nbUselessRevisions=634254
1.23 nbAssignments=1225 nbFailedAssignments=402 nbBacktracks=751 nbVisitedNodes=2017 nbRestartNogoods=31
1.23 mapSize=614 nbInferences=0 nbTooLargeKeys=0
1.23 => wckTime=0.388 cpuTime=0.32 mem=14M819
1.38
1.38 search
1.38 run=9 nbConstraintChecks=1611254 nbPropagations=91557 nbRevisions=1194149 nbUselessRevisions=982947
1.38 nbAssignments=1837 nbFailedAssignments=625 nbBacktracks=1137 nbVisitedNodes=3075 nbRestartNogoods=36
1.38 mapSize=957 nbInferences=0 nbTooLargeKeys=0
1.38 => wckTime=0.541 cpuTime=0.46 mem=14M819
1.41
1.41 INFO : Stopping hyperNogood (mapSize=1007, nbTooLargekeys=0, mem=14M819)
1.58
1.58 search
1.58 run=10 nbConstraintChecks=2440157 nbPropagations=136016 nbRevisions=1839732 nbUselessRevisions=1516660
1.58 nbAssignments=2765 nbFailedAssignments=971 nbBacktracks=1713 nbVisitedNodes=4653 nbRestartNogoods=39
1.58 => wckTime=0.738 cpuTime=0.64 mem=14M819
1.82
1.82 search
1.82 run=11 nbConstraintChecks=3580686 nbPropagations=201031 nbRevisions=2781039 nbUselessRevisions=2292954
1.82 nbAssignments=4092 nbFailedAssignments=1426 nbBacktracks=2580 nbVisitedNodes=6903 nbRestartNogoods=43
1.82 => wckTime=0.986 cpuTime=0.89 mem=14M819
2.19
2.19 search
2.19 run=12 nbConstraintChecks=5240401 nbPropagations=295711 nbRevisions=4169479 nbUselessRevisions=3440903
2.19 nbAssignments=6072 nbFailedAssignments=2093 nbBacktracks=3877 nbVisitedNodes=10222 nbRestartNogoods=53
2.19 => wckTime=1.353 cpuTime=1.25 mem=14M819
2.74
2.74 search
2.74 run=13 nbConstraintChecks=7726706 nbPropagations=434890 nbRevisions=6231351 nbUselessRevisions=5148697
2.74 nbAssignments=9028 nbFailedAssignments=3097 nbBacktracks=5824 nbVisitedNodes=15187 nbRestartNogoods=63
2.74 => wckTime=1.902 cpuTime=1.79 mem=14M819
3.62
3.62 search
3.62 run=14 nbConstraintChecks=11832253 nbPropagations=645420 nbRevisions=9358265 nbUselessRevisions=7734381
3.62 nbAssignments=13523 nbFailedAssignments=4666 nbBacktracks=8745 nbVisitedNodes=22817 nbRestartNogoods=68
3.62 => wckTime=2.785 cpuTime=2.67 mem=14M819
4.86
4.86 search
4.86 run=15 nbConstraintChecks=17421287 nbPropagations=957572 nbRevisions=14005124 nbUselessRevisions=11583364
4.86 nbAssignments=20183 nbFailedAssignments=6939 nbBacktracks=13124 nbVisitedNodes=34019 nbRestartNogoods=76
4.86 => wckTime=4.026 cpuTime=3.89 mem=14M819
6.78
6.78 search
6.78 run=16 nbConstraintChecks=26258795 nbPropagations=1425809 nbRevisions=20991481 nbUselessRevisions=17375847
6.78 nbAssignments=30133 nbFailedAssignments=10316 nbBacktracks=19693 nbVisitedNodes=50860 nbRestartNogoods=83
6.78 => wckTime=5.944 cpuTime=5.79 mem=14M819
9.66
9.66 search
9.66 run=17 nbConstraintChecks=39487758 nbPropagations=2127895 nbRevisions=31502221 nbUselessRevisions=26092431
9.66 nbAssignments=45324 nbFailedAssignments=15646 nbBacktracks=29550 nbVisitedNodes=76664 nbRestartNogoods=92
9.66 => wckTime=8.822 cpuTime=8.65 mem=14M819
14.14
14.14 search
14.14 run=18 nbConstraintChecks=60187291 nbPropagations=3189485 nbRevisions=47478668 nbUselessRevisions=39346120
14.14 nbAssignments=68262 nbFailedAssignments=23797 nbBacktracks=44329 nbVisitedNodes=115763 nbRestartNogoods=96
14.14 => wckTime=13.299 cpuTime=13.08 mem=14M819
20.82
20.82 search
20.82 run=19 nbConstraintChecks=91441368 nbPropagations=4791904 nbRevisions=71699843 nbUselessRevisions=59446694
20.82 nbAssignments=102534 nbFailedAssignments=35895 nbBacktracks=66497 nbVisitedNodes=174070 nbRestartNogoods=106
20.82 => wckTime=19.98 cpuTime=19.7 mem=14M819
27.35
27.35 search
27.35 run=20 nbConstraintChecks=121781045 nbPropagations=6922686 nbRevisions=103948868 nbUselessRevisions=86214750
27.35 nbAssignments=135602 nbFailedAssignments=47351 nbBacktracks=88110 nbVisitedNodes=230390 nbRestartNogoods=112
27.35 => wckTime=26.511 cpuTime=26.17 mem=14M819
27.35
27.35 global
27.35 nbConstraintChecks=121807645 nbPropagations=6923473 nbRevisions=103953267 nbUselessRevisions=86218182
27.35 nbRestartNogoods=112 solvingWckTime=26.512 solvingCpuTime=26.18 expiredTime=no totalExploration=yes
27.35 nbFoundSolutions=0 globalCpuTime=26.59
27.35 => wckTime=27.026 cpuTime=26.54 mem=14M819
27.35
27.35 s UNSATISFIABLE
27.35 d NODES 135602
27.35 d CHECKS 121807645
27.35
27.35 totalWckTime=27.108 totalCpuTime=26.59
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node4/watcher-228587-1168299588 -o ROOT/results/node4/solver-228587-1168299588 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/228587-1168299588/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.86 1.50 1.28 4/98 4124
/proc/meminfo: memFree=1253008/2055920 swapFree=4182144/4192956
[pid=4123] ppid=4121 vsize=1784 CPUtime=0
/proc/4123/stat : 4123 (java) D 4121 4123 3514 0 -1 0 165 0 0 0 0 0 0 0 18 0 1 0 178354354 1826816 136 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/4123/statm: 446 136 102 14 0 91 0
[startup+0.103699 s]
/proc/loadavg: 1.86 1.50 1.28 4/98 4124
/proc/meminfo: memFree=1253008/2055920 swapFree=4182144/4192956
[pid=4123] ppid=4121 vsize=913068 CPUtime=0.07
/proc/4123/stat : 4123 (java) S 4121 4123 3514 0 -1 0 2859 0 1 0 6 1 0 0 19 0 8 0 178354354 934981632 2605 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4123/statm: 228267 2605 1395 14 0 215168 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 913068
[startup+0.515739 s]
/proc/loadavg: 1.86 1.50 1.28 4/98 4124
/proc/meminfo: memFree=1253008/2055920 swapFree=4182144/4192956
[pid=4123] ppid=4121 vsize=915328 CPUtime=0.48
/proc/4123/stat : 4123 (java) R 4121 4123 3514 0 -1 0 6365 0 1 0 44 4 0 0 18 0 8 0 178354354 937295872 6104 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4123/statm: 228832 6104 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.34482 s]
/proc/loadavg: 1.86 1.50 1.28 3/105 4131
/proc/meminfo: memFree=1229208/2055920 swapFree=4182144/4192956
[pid=4123] ppid=4121 vsize=915456 CPUtime=1.3
/proc/4123/stat : 4123 (java) R 4121 4123 3514 0 -1 0 8669 0 1 0 125 5 0 0 24 0 8 0 178354354 937426944 8407 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073823834 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4123/statm: 228864 8407 2524 14 0 215334 0
[pid=4123/tid=4125] ppid=4121 vsize=915456 CPUtime=0.03
/proc/4123/task/4125/stat : 4125 (java) S 4121 4123 3514 0 -1 64 228 0 0 0 3 0 0 0 16 0 8 0 178354358 937426944 8407 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4126] ppid=4121 vsize=915456 CPUtime=0
/proc/4123/task/4126/stat : 4126 (java) S 4121 4123 3514 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 178354359 937426944 8407 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4127] ppid=4121 vsize=915456 CPUtime=0
/proc/4123/task/4127/stat : 4127 (java) S 4121 4123 3514 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178354359 937426944 8407 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4128] ppid=4121 vsize=915456 CPUtime=0
/proc/4123/task/4128/stat : 4128 (java) S 4121 4123 3514 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 178354362 937426944 8407 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4129] ppid=4121 vsize=915456 CPUtime=0.21
/proc/4123/task/4129/stat : 4129 (java) S 4121 4123 3514 0 -1 64 385 0 0 0 21 0 0 0 16 0 8 0 178354362 937426944 8407 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4130] ppid=4121 vsize=915456 CPUtime=0
/proc/4123/task/4130/stat : 4130 (java) S 4121 4123 3514 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 178354362 937426944 8407 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4131] ppid=4121 vsize=915456 CPUtime=0
/proc/4123/task/4131/stat : 4131 (java) S 4121 4123 3514 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 178354363 937426944 8407 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915456
[startup+2.98397 s]
/proc/loadavg: 1.86 1.50 1.28 3/105 4131
/proc/meminfo: memFree=1228824/2055920 swapFree=4182144/4192956
[pid=4123] ppid=4121 vsize=915456 CPUtime=2.92
/proc/4123/stat : 4123 (java) R 4121 4123 3514 0 -1 0 8697 0 1 0 287 5 0 0 25 0 8 0 178354354 937426944 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073844711 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4123/statm: 228864 8434 2524 14 0 215334 0
[pid=4123/tid=4125] ppid=4121 vsize=915456 CPUtime=0.03
/proc/4123/task/4125/stat : 4125 (java) S 4121 4123 3514 0 -1 64 228 0 0 0 3 0 0 0 16 0 8 0 178354358 937426944 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4126] ppid=4121 vsize=915456 CPUtime=0
/proc/4123/task/4126/stat : 4126 (java) S 4121 4123 3514 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 178354359 937426944 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4127] ppid=4121 vsize=915456 CPUtime=0
/proc/4123/task/4127/stat : 4127 (java) S 4121 4123 3514 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178354359 937426944 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4128] ppid=4121 vsize=915456 CPUtime=0
/proc/4123/task/4128/stat : 4128 (java) S 4121 4123 3514 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 178354362 937426944 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4129] ppid=4121 vsize=915456 CPUtime=0.23
/proc/4123/task/4129/stat : 4129 (java) S 4121 4123 3514 0 -1 64 393 0 0 0 23 0 0 0 16 0 8 0 178354362 937426944 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4130] ppid=4121 vsize=915456 CPUtime=0
/proc/4123/task/4130/stat : 4130 (java) S 4121 4123 3514 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 178354362 937426944 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4131] ppid=4121 vsize=915456 CPUtime=0
/proc/4123/task/4131/stat : 4131 (java) S 4121 4123 3514 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 178354363 937426944 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915456
[startup+6.26328 s]
/proc/loadavg: 1.87 1.51 1.28 3/105 4131
/proc/meminfo: memFree=1228248/2055920 swapFree=4182144/4192956
[pid=4123] ppid=4121 vsize=915456 CPUtime=6.17
/proc/4123/stat : 4123 (java) R 4121 4123 3514 0 -1 0 8703 0 1 0 612 5 0 0 25 0 8 0 178354354 937426944 8439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073804322 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4123/statm: 228864 8439 2524 14 0 215334 0
[pid=4123/tid=4125] ppid=4121 vsize=915456 CPUtime=0.03
/proc/4123/task/4125/stat : 4125 (java) S 4121 4123 3514 0 -1 64 228 0 0 0 3 0 0 0 16 0 8 0 178354358 937426944 8439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4126] ppid=4121 vsize=915456 CPUtime=0
/proc/4123/task/4126/stat : 4126 (java) S 4121 4123 3514 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 178354359 937426944 8439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4127] ppid=4121 vsize=915456 CPUtime=0
/proc/4123/task/4127/stat : 4127 (java) S 4121 4123 3514 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178354359 937426944 8439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4128] ppid=4121 vsize=915456 CPUtime=0
/proc/4123/task/4128/stat : 4128 (java) S 4121 4123 3514 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 178354362 937426944 8439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4129] ppid=4121 vsize=915456 CPUtime=0.23
/proc/4123/task/4129/stat : 4129 (java) S 4121 4123 3514 0 -1 64 393 0 0 0 23 0 0 0 16 0 8 0 178354362 937426944 8439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4130] ppid=4121 vsize=915456 CPUtime=0
/proc/4123/task/4130/stat : 4130 (java) S 4121 4123 3514 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 178354362 937426944 8439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4131] ppid=4121 vsize=915456 CPUtime=0
/proc/4123/task/4131/stat : 4131 (java) S 4121 4123 3514 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 178354363 937426944 8439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 915456
[startup+12.7519 s]
/proc/loadavg: 1.88 1.51 1.28 3/105 4131
/proc/meminfo: memFree=1227416/2055920 swapFree=4182144/4192956
[pid=4123] ppid=4121 vsize=915456 CPUtime=12.59
/proc/4123/stat : 4123 (java) R 4121 4123 3514 0 -1 0 8707 0 1 0 1254 5 0 0 25 0 8 0 178354354 937426944 8443 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073806457 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4123/statm: 228864 8443 2524 14 0 215334 0
[pid=4123/tid=4125] ppid=4121 vsize=915456 CPUtime=0.03
/proc/4123/task/4125/stat : 4125 (java) S 4121 4123 3514 0 -1 64 228 0 0 0 3 0 0 0 16 0 8 0 178354358 937426944 8443 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4126] ppid=4121 vsize=915456 CPUtime=0
/proc/4123/task/4126/stat : 4126 (java) S 4121 4123 3514 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 178354359 937426944 8443 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4127] ppid=4121 vsize=915456 CPUtime=0
/proc/4123/task/4127/stat : 4127 (java) S 4121 4123 3514 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178354359 937426944 8443 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4128] ppid=4121 vsize=915456 CPUtime=0
/proc/4123/task/4128/stat : 4128 (java) S 4121 4123 3514 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 178354362 937426944 8443 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4129] ppid=4121 vsize=915456 CPUtime=0.23
/proc/4123/task/4129/stat : 4129 (java) S 4121 4123 3514 0 -1 64 393 0 0 0 23 0 0 0 16 0 8 0 178354362 937426944 8443 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4130] ppid=4121 vsize=915456 CPUtime=0
/proc/4123/task/4130/stat : 4130 (java) S 4121 4123 3514 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 178354362 937426944 8443 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4131] ppid=4121 vsize=915456 CPUtime=0
/proc/4123/task/4131/stat : 4131 (java) S 4121 4123 3514 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 178354363 937426944 8443 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 915456
[startup+25.6261 s]
/proc/loadavg: 1.91 1.54 1.29 3/105 4131
/proc/meminfo: memFree=1226200/2055920 swapFree=4182144/4192956
[pid=4123] ppid=4121 vsize=915456 CPUtime=25.36
/proc/4123/stat : 4123 (java) R 4121 4123 3514 0 -1 0 8712 0 1 0 2530 6 0 0 25 0 8 0 178354354 937426944 8448 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073804176 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4123/statm: 228864 8448 2524 14 0 215334 0
[pid=4123/tid=4125] ppid=4121 vsize=915456 CPUtime=0.03
/proc/4123/task/4125/stat : 4125 (java) S 4121 4123 3514 0 -1 64 228 0 0 0 3 0 0 0 16 0 8 0 178354358 937426944 8448 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4126] ppid=4121 vsize=915456 CPUtime=0
/proc/4123/task/4126/stat : 4126 (java) S 4121 4123 3514 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 178354359 937426944 8448 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4127] ppid=4121 vsize=915456 CPUtime=0
/proc/4123/task/4127/stat : 4127 (java) S 4121 4123 3514 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178354359 937426944 8448 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4128] ppid=4121 vsize=915456 CPUtime=0
/proc/4123/task/4128/stat : 4128 (java) S 4121 4123 3514 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 178354362 937426944 8448 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4129] ppid=4121 vsize=915456 CPUtime=0.23
/proc/4123/task/4129/stat : 4129 (java) S 4121 4123 3514 0 -1 64 393 0 0 0 23 0 0 0 16 0 8 0 178354362 937426944 8448 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4130] ppid=4121 vsize=915456 CPUtime=0
/proc/4123/task/4130/stat : 4130 (java) S 4121 4123 3514 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 178354362 937426944 8448 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4123/tid=4131] ppid=4121 vsize=915456 CPUtime=0
/proc/4123/task/4131/stat : 4131 (java) S 4121 4123 3514 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 178354363 937426944 8448 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 27.3858
CPU time (s): 27.0829
CPU user time (s): 27.0139
CPU system time (s): 0.068989
CPU usage (%): 98.8941
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 27.0139
system time used= 0.068989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8805
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= 1669
involuntary context switches= 2427
runsolver used 0.046992 s user time and 0.094985 s system time
The end
Begin job on node4 on Mon Jan 8 23:39:48 UTC 2007
IDJOB= 228587
IDBENCH= 6211
FILE ID= node4/228587-1168299588
PBS_JOBID= 3502168
Free space on /tmp= 66311 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.2/rand-2-40-11-414-200-5_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/228587-1168299588/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-228587-1168299588 -o ROOT/results/node4/solver-228587-1168299588 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/228587-1168299588/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 289a8d532c0f6bbee74fabb6f2520bce
RANDOM SEED= 855589655
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.223
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.223
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1253488 kB
Buffers: 95588 kB
Cached: 535008 kB
SwapCached: 2552 kB
Active: 455792 kB
Inactive: 284372 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1253488 kB
SwapTotal: 4192956 kB
SwapFree: 4182144 kB
Dirty: 1768 kB
Writeback: 0 kB
Mapped: 129024 kB
Slab: 46740 kB
Committed_AS: 5968700 kB
PageTables: 2572 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= 66311 MiB
End job on node4 on Mon Jan 8 23:40:15 UTC 2007